Abstract:SIAM Journal on Control and Optimization, Volume 62, Issue 1, Page 271-296, February 2024. There are three different forms of adjoint inclusions that appear in the most advanced necessary optimality conditions for optimal control problems involving differential inclusions: Euler–Lagrange inclusion (with partial convexification) [A. D. Ioffe, J. Optim. Theory Appl., 182 (2019), pp. 285–309], fully convexified Hamiltonian inclusion [F. H. Clarke, Mem. Amer. Math. Soc., 173 (2005), 816], and partially convexified Hamiltonian inclusion [P. D. Loewen and R. T. Rockafellar, SIAM J. Control Optim., 34 (1996), pp. 1496–1511], [A. D. Ioffe, Trans. Amer. Math. Soc., 349 (1997), pp. 2871–2900], [R. B. Vinter, SIAM J. Control Optim., 52 (2014), pp. 1237–1250] (for convex-valued differential inclusions in the first two references). This paper addresses all three types of necessary conditions for problems with (in general) nonconvex-valued differential inclusions. The first of the two main theorems, with the Euler–Lagrange inclusion, is equivalent to the main result of [A. D. Ioffe, J. Optim. Theory Appl., 182 (2019), pp. 285–309] but proved in a substantially different and much more direct way. The second theorem contains conditions that guarantee necessity of both types of Hamiltonian conditions. It seems to be the first result of such a sort that covers differential inclusions with possibly unbounded values and contains the most recent results of [F. H. Clarke, Mem. Amer. Math. Soc., 173 (2005), 816] and [R. B. Vinter, SIAM J. Control Optim., 52 (2014), pp. 1237–1250] as particular cases. And again, the proof of the theorem is based on a substantially different approach.

Second order necessary condition for a strong minimum in the classical problem of calculus of variations

Necessary and sufficient conditions for one-dimensional variational problems with applications to elasticity

Necessary conditions for a minimum in variational problems with delay in the presence of degeneracies

Maximum Principle for variational problems with scalar argument

Dual Kuhn-Tucker necessary conditions for strict minima of order two for nonsmooth vector optimization problems with inequality and equality constraints

Existence and Monotonicity Property of Minimizers of a Nonconvex Variational Problem with a Second-Order Lagrangian

No-gap second-order conditions for minimization problems in spaces of measures

Second-order optimality conditions for general nonconvex optimization problems and variational analysis of disjunctive systems

Second-order sufficient conditions in optimal control of evolution systems

Maximum Principles for Optimal Control Problems with Differential Inclusions

The Lavrentiev phenomenon

Controllability and necessary second-order optimality conditions in optimal control problems

Second-Order Necessary/Sufficient Conditions for Optimal Control Problems in the Absence of Linear Structure

Existence, uniqueness and characterisation of local minimisers in higher order Calculus of Variations in $\mathrm L^{\infty}$

No-gap second-order optimality conditions for optimal control of a non-smooth quasilinear elliptic equation

A necessary and sufficient condition for a second-order superintegrable system with $(n+1)$-parameter potential to extend to a non-degenerate second-order superintegrable system

Variational Properties of Decomposable Functions. Part II: Strong Second-Order Theory

Strong maximum principle for generalized solutions to equations of the Monge-Ampère type

Local minima in Newton's aerodynamical problem and inequalities between norms of partial derivatives

Stability of the Caffarelli-Kohn-Nirenberg inequality: the existence of minimizers