REVIEW 2 major objections 4 minor 42 references
Turnpike property of linear quadratic control problems with unbounded control operators
T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper proves that the exponential turnpike property holds for linear quadratic control problems with unbounded control operators, provided the control operator is admissible and the observation operator is coercive.
desk verdict Genuine extension with a load-bearing observability gap in the Yosida approximation step. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery has two parts. First, the infinite-horizon optimal semigroup S_{8,opt}(t), which maps an initial state to the state reached at time t by the optimal trajectory of the infinite-horizon LQ problem, is the object whose exponential decay (ensured by (H2)) sets the turnpike rate. Second, the identity of Proposition 1.3: with P the infinite-horizon Riccati operator, the quantity g(t)=y_{T,opt}(T−t)−ȳ−P(x_{T,opt}(T−t)−x̄) evolves as g(t)=S^*_{8,opt}(t)g(0). This identity is proved for bounded B by direct differentiation, and for unbounded B by approximating B with B_k=J_kB, establishing convergence of the optimal controls, states, and adjoints (Lemmas 3.1, 4.3), and passing to the limit. A final energy estimate using the parallelogram identity converts the semigroup decay into the turnpike inequality.
What would settle it
Solve explicitly the linear quadratic problem for a one-dimensional heat equation with boundary control and an observation satisfying (H1) and (H2), e.g., observation over a nonempty open subinterval, and verify whether the quantity sup_{t∈[T0,T−T0]} |x_{T,opt}(t)−x̄| decays like $e^{{−λT}}$ with λ the decay rate of S_{8,opt}; a failure of this decay would falsify the quantitative claim of Theorem 1.1.
Extended reading notes
Core claim
The central result is Theorem 1.1: under (H1) finite-time observability of (A,C) and (A*,B*) plus kernel conditions, and (H2) the coercivity estimate C*C ≥ δ Id for some δ>0, for every T>T0 and every x0,z∈H the optimal state, adjoint, and control of the finite-horizon problem (1.2) satisfy the exponential turnpike inequality (1.9) with constants c,λ depending only on A,B,C. Here (x̄,ū,ȳ) is the unique stationary triple given by Proposition 1.1. The decay rate λ can be taken as the decay rate of the optimal infinite-horizon semigroup S_{8,opt}, and is optimal in the exponential rate. The proof's core is the convergence of the approximate problems obtained by replacing B with the Yosida approximation B_k=J_kB, and the identity (Proposition 1.3) expressing the finite-horizon error in terms of the adjoint of S_{8,opt}.
Load-bearing premise
The load-bearing premise is assumption (H2), C*C ≥ δ Id, which forces the optimal infinite-horizon semigroup to decay exponentially; without it, the proof's rate and bound do not go through, and this coercivity fails for common point or trace observations.
Editorial extensions
If this is right
- The exponential turnpike property now holds for a general class of infinite-dimensional LQ systems with unbounded admissible control operators, not just for 1D hyperbolic systems or analytic semigroups.
- The decay rate λ in the turnpike estimate is the decay rate of the optimal infinite-horizon semigroup, so the estimate is optimal in the exponent whenever that semigroup decays exactly exponentially.
- For unbounded B, the control estimate is in L2 on intervals away from the endpoints, not pointwise, reflecting the limited regularity of admissible controls.
- The proof avoids differential and algebraic Riccati equations for unbounded B, instead using the infinite-horizon semigroup and convergence of Yosida approximations.
- The paper also clarifies that existing extension claims for unbounded B via multiplier techniques rest on an erroneous domain argument, pointing to the Yosida route as a sound alternative.
Reading between the lines
- If the role of (H2) is only to guarantee exponential decay of S_{8,opt}, as the paper remarks, then any sufficient condition for that decay (for instance, exponential stabilizability and detectability in the appropriate sense) should yield the same turnpike theorem; this could be tested by re-running the proof with such a condition.
- The convergence of the Yosida-approximated problems suggests a numerical strategy: compute turnpike bounds for bounded-control approximations B_k and pass to the limit, potentially giving explicit rates for boundary-controlled PDEs.
- The h/g identity separates the turnpike mechanism from Riccati theory and indicates that, in other optimal control settings (e.g., with state constraints or nonlinear dynamics), the decay of the infinite-horizon optimal semigroup is the quantity that controls the turnpike rate.
- The noted flaw in the multiplier-based extension [12, Lemma 6] suggests that domain intersections like D(A)∩D(BKB) cannot be assumed; the Yosida approximation sidesteps this but may impose a price in terms of the coercivity of the observation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an exponential turnpike estimate for linear-quadratic optimal control problems whose control operator B is admissible and possibly unbounded. The main result, Theorem 1.1, asserts that, under finite-time observability of (A,C) and (A*,B*), kernel conditions, and the strong observation condition C*C ≥ δ I, the optimal state, adjoint state, and control of the finite-horizon problem (1.2) stay exponentially close to the stationary solution (x̄,ū,ȳ) except near the endpoints. The proof strategy follows Porretta–Zuazua: it replaces B by a Yosida-regularized bounded operator B_k = J_k B, proves convergence of the associated stationary problems and finite-horizon optimal control problems, establishes a relation g(t) = S_{∞,opt}^*(t)g(0) between finite-horizon adjoint shifts and the infinite-horizon optimal semigroup, and then derives the turnpike estimate via observability and parallelogram identities.
Significance. If the main theorem is correct, the paper is a substantial contribution: it extends the exponential turnpike property to unbounded admissible control operators without relying on the differential Riccati equation, and it provides explicit dependence of the constants on the initial data and target. The proof is structurally transparent, with the core Proposition 1.3 treated in detail, and the paper is careful to distinguish pointwise-in-time estimates for the control from the L2 estimate that is natural in the unbounded case. The explicit critique of the multiplier technique in [12] is also useful. The main caveat is the restrictive assumption C*C ≥ δ I, which the authors themselves note can be replaced by any condition guaranteeing exponential decay of S_{∞,opt}; as stated, the theorem excludes many natural observation operators such as point or trace observations.
major comments (2)
- [Section 3.2, Corollary 3.1] The proof that (A, B_k) is finite-time observable whenever (A, B) is, is not valid. The displayed chain uses the observability inequality (1.6) for (A*,B*) with ξ replaced by J_k^*ξ, but (1.6) has ||e^{T0 A}ξ|| on the right-hand side, not ||ξ||; even ignoring that mismatch, the final step ||J_k^*ξ||^2 ≥ c_k||ξ||^2 requires J_k^* = k(kI - A*)^{-1} to be bounded below. This is false for unbounded A*: for example, if A = -diag(n) on ℓ², then ||J_k^* e_n|| → 0 as n → ∞. Consequently the existence of the approximate Lagrange multipliers ȳ_k, which underpins Lemma 3.1 and the construction in Section 4.2, is not established. Since Proposition 1.3 and hence Theorem 1.1 rely on this approximation, the gap is load-bearing and needs to be repaired, either by proving observability of (A, B_k) under additional assumptions or by choosing a different approximation scheme.
- [Section 4.2, Lemma 4.2] Lemma 4.2 is used to obtain the differential equation for h_k that is essential for the passage from the approximate problems to the limit g(t) = S_{∞,opt}^*(t)g(0). Its proof, however, is summarized only by 'The details are omitted.' The omitted approximation argument is precisely the kind of delicate step needed when B is unbounded, and the lemma has no external reference. The authors should supply the full argument or a precise reference to a proof in the literature.
minor comments (4)
- [Section 1.1, Eq. (1.6)] The observability inequality for (A*,B*) is written with the right-hand side ||e^{T0 A}ξ||, but the proofs in Sections 3 and 5 appear to use the stronger inequality with ||ξ|| on the right-hand side. If the displayed form is not a typo, the intended definition should be clarified; if it is a typo, it should be corrected.
- [Remark 1.4] The pointwise control estimate for bounded B is written with e^{-pT-t}; this appears to be a typo for e^{-λ(T-t)} or a similarly defined exponential factor.
- [Abstract and Remark 1.3] The abstract describes the assumptions as 'quite general and natural', but Assumption (H2) C*C ≥ δI excludes many standard observations, including point and trace observations. Remark 1.3 appropriately notes that H2 can be replaced, but the wording of the abstract should be tempered or the theorem stated with a weaker sufficient condition.
- [Throughout] There are several typographical errors and OCR artifacts, e.g., 'TURNPIKE PROPER TY' and 'QUADRA TIC' in the running title and abstract. These should be corrected in revision.
Circularity Check
No significant circularity: the main theorem follows from external Riccati/observability inputs and an approximation argument; no fitted quantity is relabeled as a prediction.
full rationale
The central claim (Theorem 1.1) is an estimate bounding optimal trajectories by the stationary triple, with decay rate λ taken as the decay rate of the infinite-horizon optimal semigroup S8,opt from Proposition 1.2. That decay rate is not tuned to the turnpike inequality; it is obtained from the algebraic Riccati operator P imported from [10] and the sufficient condition C*C ≥ δ id. The paper does not fit parameters to the turnpike data and then 'predict' the same quantity. Approximate stationary triples (xbar_k, ubar_k, ybar_k) are defined through Corollary 3.1 and shown in Lemma 3.1 to converge to the original triple using observability and optimality; this is an approximation step, not a definitional identity. The only self-citation is Lemma 2.1 from [24] (same first author), an integration-by-parts/duality lemma used repeatedly; it is a general tool published independently, and its content is not the present turnpike conclusion, so by Rule 4 it does not raise the circularity score. The manuscript also states its own limitation (Remark 1.3) that (H2) is only a sufficient condition for exponential decay of S8,opt; that is an honest scoping statement, not a circularity. The skeptic concern about Corollary 3.1 (whether Yosida approximation preserves observability) is a mathematical correctness risk, not a circular-reasoning defect: even if the approximation argument failed, the claimed reduction would not be equivalent to its inputs by construction.
Assumptions & free parameters
assumptions (4)
- domain assumption Finite cost condition and exponential decay of the infinite-horizon optimal semigroup S_8,opt under C*C >= delta*Id (Proposition 1.2, from [10]).
- standard math Lemma 2.1 (duality identity for weak solutions, cited from [24, Lemma 3.1], the first author's earlier work).
- standard math Algebraic Riccati equation theory: existence of P in Lemma 1.1 and the identity (2.13) for bounded B, cited from [10].
- standard math Yosida approximation properties: J_k defined by (1.16) is a sequence of bounded operators converging strongly to the identity with J_k* commuting with A*; observability of (A,B_k) inherited from (A,B).
Cite this review
Pith. "Pith review of Turnpike property of linear quadratic control problems with unbounded control operators." pith.science (2026). https://pith.science/paper/EIQP3YPM
@misc{pith2026250601605,
author = {Pith},
title = {Pith review of: Turnpike property of linear quadratic control problems with unbounded control operators},
year = {2026},
howpublished = {\url{https://pith.science/paper/EIQP3YPM}},
note = {Machine review of arXiv:2506.01605}
}
read the original abstract
We establish the turnpike property for linear quadratic control problems for which the control operator is admissible and may be unbounded, under quite general and natural assumptions. The turnpike property has been well studied for bounded control operators, based on the theory of differential and algebraic Riccati equations. For unbounded control operators, there are only few results, limited to some special cases of hyperbolic systems in dimension one or to analytic semigroups. Our analysis is inspired by the pioneering work of Porretta and Zuazua \cite{PZ13}. We start by approximating the admissible control operator with a sequence of bounded ones. We then prove the convergence of the approximate problems to the initial one in a suitable sense. Establishing this convergence is the core of the paper. It requires to revisit in some sense the linear quadratic optimal control theory with admissible control operators, in which the roles of energy and adjoint states, and the connection between infinite-horizon and finite-horizon optimal control problems with an appropriate final cost are investigated.
Reference graph
Works this paper leans on
-
[12]
Differential Equations 268 (2020), no
Lars Gr¨ une, Manuel Schaller, and Anton Schiela, Exponential sensitivity and turnpike analysis for linear qua- dratic optimal control of general evolution equations , J. Differential Equations 268 (2020), no. 12, 7311–7341. MR 4079009
work page 2020
-
[1]
Veljko Aˇ skovi´ c, Emmanuel Tr´ elat, and Hasnaa Zidani,Linear quadratic optimal control turnpike in finite and infinite dimension: two-term expansion of the value function , Systems & Control Letters 188 (2024), 105803
work page 2024
-
[2]
Alain Bensoussan, Giuseppe Da Prato, Michel C. Delfour, and Sanjoy K. Mitter, Representation and control of infinite dimensional systems , second ed., Systems & Control: Foundations & Applications, Birkh¨ auser Boston, Inc., Boston, MA, 2007. MR 2273323
work page 2007
-
[3]
Haim Brezis, Functional analysis, Sobolev spaces and partial differential equations , Universitext, Springer, New York, 2011. MR 2759829
work page 2011
-
[4]
Marco Cirant and Alessio Porretta, Long time behavior and turnpike solutions in mildly non-monotone mean field games , ESAIM Control Optim. Calc. Var. 27 (2021), Paper No. 86, 40. MR 4294187
work page 2021
-
[5]
136, American Mathematical Society, Providence, RI, 2007
Jean-Michel Coron, Control and nonlinearity , Mathematical Surveys and Monographs, vol. 136, American Mathematical Society, Providence, RI, 2007. MR 2302744
work page 2007
-
[6]
Ruth F. Curtain and Hans Zwart, An introduction to infinite-dimensional linear systems theory, Texts in Applied Mathematics, vol. 21, Springer-Verlag, New York, 1995. MR 1351248
work page 1995
-
[7]
194, Springer-Verlag, New York, 2000, With contributions by S
Klaus-Jochen Engel and Rainer Nagel, One-parameter semigroups for linear evolution equations, Graduate Texts in Mathematics, vol. 194, Springer-Verlag, New York, 2000, With contributions by S. Brendle, M. Campiti, T. Hahn, G. Metafune, G. Nickel, D. Pallara, C. Perazzoli, A. Rhandi, S. Romanelli and R. Schnaubelt. MR 1721989
work page 2000
Show all 42 references
-
[8]
An overview of discrete-time and continuous-time results, Numerical control
Timm Faulwasser and Lars Gr¨ une, Turnpike properties in optimal control. An overview of discrete-time and continuous-time results, Numerical control. Part A, Handb. Numer. Anal., vol. 23, North-Holland, Amsterdam, 2022, pp. 367–400
2022
-
[9]
Franco Flandoli, A new approach to the lqr problem for hyperbolic dynamics with boundary control , Distributed Parameter Systems: Proceedings of the 3rd International Conference Vorau, Styria, July 6–12, 1986, Springer, 1987, pp. 89–111
1986
-
[10]
Franco Flandoli, Irena Lasiecka, and Roberto Triggiani, Algebraic Riccati equations with nonsmoothing observa- tion arising in hyperbolic and Euler-Bernoulli boundary control problems , Ann. Mat. Pura Appl. (4) 153 (1988), 307–382. MR 1008349
1988
-
[11]
31 (2022), 135–263
Borjan Geshkovski and Enrique Zuazua, Turnpike in optimal control of PDEs, ResNets, and beyond , Acta Numer. 31 (2022), 135–263. MR 4436586 TURNPIKE PROPERTY OF LINEAR CONTROL SYSTEMS 23
2022
-
[13]
Control Signals Systems 33 (2021), no
Martin Gugat, On the turnpike property with interior decay for optimal control problems , Math. Control Signals Systems 33 (2021), no. 2, 237–258. MR 4258869
2021
-
[14]
Hante, On the turnpike phenomenon for optimal boundary control problems with hyperbolic systems, SIAM J
Martin Gugat and Falk M. Hante, On the turnpike phenomenon for optimal boundary control problems with hyperbolic systems, SIAM J. Control Optim. 57 (2019), no. 1, 264–289. MR 3902445
2019
-
[15]
90 (2016), 61–70
Martin Gugat, Emmanuel Tr´ elat, and Enrique Zuazua, Optimal Neumann control for the 1D wave equation: finite horizon, infinite horizon, boundary tracking terms and the turnpike property , Systems Control Lett. 90 (2016), 61–70. MR 3470447
2016
-
[16]
Control Signals Systems 36 (2024), no
Roberto Guglielmi and Zhuqing Li, Necessary conditions for turnpike property for generalized linear-quadratic problems, Math. Control Signals Systems 36 (2024), no. 4, 799–829. MR 4803014
2024
-
[17]
Control Optim
Zhong-Jie Han and Enrique Zuazua, Slow decay and turnpike for infinite-horizon hyperbolic linear quadratic problems, SIAM J. Control Optim. 60 (2022), no. 4, 2440–2468. MR 4468608
2022
-
[18]
142 (2020), 104733, 9
Gontran Lance, Emmanuel Tr´ elat, and Enrique Zuazua, Shape turnpike for linear parabolic PDE models , Sys- tems Control Lett. 142 (2020), 104733, 9. MR 4117485
2020
-
[19]
164, Springer-Verlag, Berlin, 1991
Irena Lasiecka and Roberto Triggiani, Differential and algebraic Riccati equations with application to boundary/- point control problems: continuous theory and approximation theory , Lecture Notes in Control and Information Sciences, vol. 164, Springer-Verlag, Berlin, 1991. MR 1132440
1991
-
[20]
Irena Lasiecka and Roberto Triggiani, Control theory for partial differential equations: Volume 1, abstract parabolic systems: Continuous and approximation theories , Cambridge University Press, 2000
2000
-
[21]
Irena Lasiecka and Roberto Triggiani, Control theory for partial differential equations: volume 2, abstract hyperbolic-like systems over a finite time horizon: continuous and approximation theories , Cambridge University Press, 2000
2000
-
[22]
Lions, Optimal control of systems governed by partial differential equations , Die Grundlehren der mathe- matischen Wissenschaften, vol
J.-L. Lions, Optimal control of systems governed by partial differential equations , Die Grundlehren der mathe- matischen Wissenschaften, vol. Band 170, Springer-Verlag, New York-Berlin, 1971, Translated from the French by S. K. Mitter. MR 271512
1971
-
[23]
Luenberger, Optimization by vector space methods , John Wiley & Sons, Inc., New York-London- Sydney, 1969
David G. Luenberger, Optimization by vector space methods , John Wiley & Sons, Inc., New York-London- Sydney, 1969. MR 238472
1969
-
[24]
Hoai-Minh Nguyen, Stabilization of control systems associated with a strongly continuous group, ESAIM Control Optim. Calc. Var., https://doi.org/10.1051/cocv/2024093
-
[25]
Hoai-Minh Nguyen, Rapid and finite-time boundary stabilization of a KdV system , arXiv preprint arXiv:2409.11768 (2024)
2024 arXiv
-
[26]
Hoai-Minh Nguyen, Rapid stabilization and finite time stabilization of the bilinear Schr¨ odinger equation , arXiv preprint arXiv:2405.10002 (2024)
2024
-
[27]
44, Springer-Verlag, New York, 1983
Agmon Pazy, Semigroups of linear operators and applications to partial differential equations , Applied Mathe- matical Sciences, vol. 44, Springer-Verlag, New York, 1983
1983
-
[28]
Control Optim
Alessio Porretta and Enrique Zuazua, Long time versus steady state optimal control , SIAM J. Control Optim. 51 (2013), no. 6, 4242–4273. MR 3124890
2013
-
[29]
Dietmar Salamon, Infinite-dimensional linear systems with unbounded control and observation: a functional analytic approach, Trans. Amer. Math. Soc. 300 (1987), no. 2, 383–431. MR 876460
1987
-
[30]
Control 12 (1974), 500–508
Marshall Slemrod, A note on complete controllability and stabilizability for linear control systems in Hilbert space, SIAM J. Control 12 (1974), 500–508. MR 353107
1974
-
[31]
103, Cambridge University Press, Cambridge, 2005
Olof Staffans, Well-posed linear systems, Encyclopedia of Mathematics and its Applications, vol. 103, Cambridge University Press, Cambridge, 2005. MR 2154892
2005
-
[32]
Control Optim
Jingrui Sun and Jiongmin Yong, Turnpike properties for mean-field linear-quadratic optimal control problems , SIAM J. Control Optim. 62 (2024), no. 1, 752–775. MR 4706041
2024
-
[33]
MR 4826581
Emmanuel Tr´ elat,Control in finite and infinite dimension , SpringerBriefs on PDEs and Data Science, Springer, Singapore, 2024. MR 4826581
2024
-
[34]
Emmanuel Tr´ elat, Gengsheng Wang, and Yashan Xu,Characterization by observability inequalities of control- lability and stabilization properties , Pure Appl. Anal. 2 (2020), no. 1, 93–122. MR 4041279
2020
-
[35]
Control Optim
Emmanuel Tr´ elat, Can Zhang, and Enrique Zuazua,Steady-state and periodic exponential turnpike property for optimal control problems in Hilbert spaces , SIAM J. Control Optim. 56 (2018), no. 2, 1222–1252. MR 3780737
2018
-
[36]
Differential Equations 258 (2015), no
Emmanuel Tr´ elat and Enrique Zuazua,The turnpike property in finite-dimensional nonlinear optimal control , J. Differential Equations 258 (2015), no. 1, 81–114. MR 3271298
2015
-
[37]
[Birkh¨ auser Advanced Texts: Basel Textbooks], Birkh¨ auser Verlag, Basel, 2009
Marius Tucsnak and George Weiss, Observation and control for operator semigroups , Birkh¨ auser Advanced Texts: Basler Lehrb¨ ucher. [Birkh¨ auser Advanced Texts: Basel Textbooks], Birkh¨ auser Verlag, Basel, 2009. MR 2502023 24 H.-M. NGUYEN AND E. TR ´ELAT
2009
-
[38]
Control Optim
George Weiss and Richard Rebarber, Optimizability and estimatability for infinite-dimensional linear systems , SIAM J. Control Optim. 39 (2000), no. 4, 1204–1232. MR 1814273
2000
-
[39]
33 (1998), no
George Weiss and Hans Zwart, An example in linear quadratic optimal control, Systems Control Lett. 33 (1998), no. 5, 339–349. MR 1623882
1998
-
[40]
MR 2348543
Jerzy Zabczyk, Mathematical control theory, Modern Birkh¨ auser Classics, Birkh¨ auser Boston, Inc., Boston, MA, 2008, An introduction, Reprint of the 1995 edition. MR 2348543
2008
-
[41]
Zaslavski, Turnpike properties in the calculus of variations and optimal control , Nonconvex Opti- mization and its Applications, vol
Alexander J. Zaslavski, Turnpike properties in the calculus of variations and optimal control , Nonconvex Opti- mization and its Applications, vol. 80, Springer, New York, 2006. MR 2164615
2006
-
[42]
Zaslavski, Turnpike theory of continuous-time linear optimal control problems , Springer Optimiza- tion and Its Applications, vol
Alexander J. Zaslavski, Turnpike theory of continuous-time linear optimal control problems , Springer Optimiza- tion and Its Applications, vol. 104, Springer, Cham, 2015. MR 3362209 (H.-M. Nguyen) Sorbonne Universit´e, Universit´e Paris Cit´e, CNRS, INRIA, Laboratoire Jacques-...
2015
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.