Integral and measure-turnpike properties for infinite-dimensional optimal control systems

Emmanuel Trélat (1, 2) , Can Zhang (3, 2)

1 CaGE - Control And GEometry
2 SU - Sorbonne Université
3 School of Mathematics and Statistics [Wuhan University]

We first derive a general integral-turnpike property around a set for infinite-dimensional non-autonomous optimal control problems with any possible terminal state constraints, under some appropriate assumptions. Roughly speaking, the integral-turnpike property means that the time average of the distance from any optimal trajectory to the turnpike set converges to zero, as the time horizon tends to infinity. Then, we establish the measure-turnpike property for strictly dissipative optimal control systems, with state and control constraints. The measure-turnpike property, which is slightly stronger than the integral-turnpike property, means that any optimal (state and control) solution remains essentially, along the time frame, close to an optimal solution of an associated static optimal control problem, except along a subset of times that is of small relative Lebesgue measure as the time horizon is large. Next, we prove that strict strong duality, which is a classical notion in optimization, implies strict dissipativity, and measure-turnpike. Finally, we conclude the paper with several comments and open problems.

Mots clés: State and control constraints; Measure-turnpike; Strict dissipativity; Strong duality

Domaines: Optimisation et contrôle [math.OC]

Emmanuel Trélat, Can Zhang. Integral and measure-turnpike properties for infinite-dimensional optimal control systems. Mathematics of Control, Signals, and Systems, 2018, 30 (1), pp.30:3. ⟨hal-01519490⟩