Quantum mechanics

Algorithm

Control (management)

Philosophy

Pure mathematics

Discrete mathematics

Lebesgue measure

Applied mathematics

Telecommunications

Duality (order theory)

Data mining

Computer science

Mathematical optimization

Time horizon

Lebesgue integration

Physics

Database

Mathematics

Epistemology

Mathematical analysis

Artificial intelligence

Optimal control

Measure (data warehouse)

Property (philosophy)

Infinity

Dissipative system

State (computer science)

Frame (networking)

Mathematics of Control Signals and Systems

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 solution 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 solution remains essentially, during the time frame, close to an optimal solution of an associated static optimal control problem, except during a subset of time frame that is of small relative Lebesgue measure as the time horizon is large. Motivated by a specific example of optimal control problem for the heat equation with control constraints, we next 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.

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