Table of Contents
Fetching ...

Necessary conditions for turnpike property for generalized linear-quadratic problems

Roberto Guglielmi, Zhuqing Li

TL;DR

This work addresses the turnpike phenomenon for generalized linear-quadratic problems in infinite-dimensional spaces, connecting long-horizon optimal behavior to core system properties such as exponential stabilizability and exponential detectability. The authors derive several necessary conditions for turnpike behavior, show that the turnpike reference is the unique optimal steady state under mild assumptions, and establish sufficiency in the point-spectrum or finite-dimensional cases. They also prove an equivalence between exponential turnpike properties for generalized LQ and standard LQ problems, including a closed-loop feedback representation guided by a Riccati equation. Collectively, these results extend finite-dimensional turnpike theory to distributed-parameter settings and inform long-horizon design of optimal controls and MPC schemes.

Abstract

In this paper, we develop several necessary conditions of turnpike property for generalizaid linear-quadratic (LQ) optimal control problem in infinite dimensional setting. The term 'generalized' here means that both quadratic and linear terms are considered in the running cost. The turnpike property reflects the fact that over a sufficiently large time horizon, the optimal trajectories and optimal controls stay for most of the time close to a steady state of the system. We show that the turnpike property is strongly connected to certain system theoretical properties of the control system. We provide suitable conditions to characterize the turnpike property in terms of the detectability and stabilizability of the system. Subsequently, we show the equivalence between the exponential turnpike property for generalized LQ and LQ optimal control problems.

Necessary conditions for turnpike property for generalized linear-quadratic problems

TL;DR

This work addresses the turnpike phenomenon for generalized linear-quadratic problems in infinite-dimensional spaces, connecting long-horizon optimal behavior to core system properties such as exponential stabilizability and exponential detectability. The authors derive several necessary conditions for turnpike behavior, show that the turnpike reference is the unique optimal steady state under mild assumptions, and establish sufficiency in the point-spectrum or finite-dimensional cases. They also prove an equivalence between exponential turnpike properties for generalized LQ and standard LQ problems, including a closed-loop feedback representation guided by a Riccati equation. Collectively, these results extend finite-dimensional turnpike theory to distributed-parameter settings and inform long-horizon design of optimal controls and MPC schemes.

Abstract

In this paper, we develop several necessary conditions of turnpike property for generalizaid linear-quadratic (LQ) optimal control problem in infinite dimensional setting. The term 'generalized' here means that both quadratic and linear terms are considered in the running cost. The turnpike property reflects the fact that over a sufficiently large time horizon, the optimal trajectories and optimal controls stay for most of the time close to a steady state of the system. We show that the turnpike property is strongly connected to certain system theoretical properties of the control system. We provide suitable conditions to characterize the turnpike property in terms of the detectability and stabilizability of the system. Subsequently, we show the equivalence between the exponential turnpike property for generalized LQ and LQ optimal control problems.
Paper Structure (11 sections, 14 theorems, 161 equations)

This paper contains 11 sections, 14 theorems, 161 equations.

Key Result

Theorem 3.3

If the problem $(GLQ)_T$ satisfies the measure or exponential turnpike property at some steady state $(x_e,u_e)$, then following statements hold:

Theorems & Definitions (39)

  • Remark 2.1
  • Definition 2.2
  • Remark 2.3
  • Definition 2.4
  • Definition 3.1
  • Remark 3.2
  • Theorem 3.3
  • Corollary 3.4
  • Remark 3.5
  • Remark 3.6
  • ...and 29 more