Existence of solutions for second order impulsive control problems with boundary conditions (Q2926560)

The paper (which has no relation to control except its title) deals with the linear boundary value problem NEWLINE\[NEWLINE\begin{cases} \ddot{x} = f(t)\;,\;t\neq t_k\;,\;t\in[0,t]\cr \triangle x(t_k) = U_k(t_k)\;,\;k=1,2,\dots,m \cr \triangle \dot{x}(t_k) = V_k(t_k)\;,\;k=1,2,\dots,m \cr x(0) = x(T) = 0\end{cases}NEWLINE\]NEWLINE whose solution is given by NEWLINE\[NEWLINEx(t) = \int_0^TG(t,s)f(s)ds - \sum_1^m{{\partial G}\over{\partial s}}(t,t_k) U_k(t_k) + \sum_1^mG(t,t_k)V_k(t_k)NEWLINE\]NEWLINE with \(G(t,s)\) being the Green functionNEWLINENEWLINEThen the following nonlinear problem is considered: NEWLINE\[NEWLINE\begin{cases}\ddot{x} = F(t,x,\dot{x})\;,\;t\in[0,T]\setminus\{t_1,\dots,t_m\}\cr \triangle x(t_k) = U_k(x(t_k))\;,\;k=1,2,\dots,m \cr \triangle \dot{x}(t_k) = V_k(x(t_k))\;,\;k=1,2,\dots,m \cr x(0) = x(T) = 0.\end{cases}NEWLINE\]NEWLINE Under the Lipschitz assumption for all aforementioned functions, the boundary value problem has a unique solution.