A refinement on existence results in nonconvex optimal control (Q5947219)

The authors study the existence of relaxed and classical solutions to the control problem: Minimize \( I(u)=\int_0^T F(t,x(t),u(t)) dt + G(x(T)) \), where \(u\in L^p(0,T;{\mathbb R}^m)\), \(u(t)\in K\), and \(x\) is the solution of the differential equation \(x'=f(t,x,u)\), \(x(0)=x_0\). Setting \({\mathcal F}(t,x,u)=(F(t,x,u) , f(t,x,u))\) and \({\mathcal M}(t,x,\varphi)= \{\lambda \in K \mid H(t,x,\lambda,\varphi) = \text{{inf}}_{u\in K}H(t,x,u,\varphi)\}\), where \(H\) is the Hamiltonian function of the problem, it is proved that if \(\text{{co}}({\mathcal F}(t,x,{\mathcal M}(t,x,\varphi)))\subset {\mathcal F}(t,x,K)\), then the control problem admits classical solutions. This result is next used together with optimality conditions of the relaxed problem to give another sufficient condition for the existence of classical solutions. These results refine previous existence theorems obtained by Balder, Mordukhovich, Roubiček, Raymond, and others.