Integral and measure-turnpike properties for infinite-dimensional optimal control systems
- 37 Downloads
Abstract
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.
Keywords
Measure-turnpike Strict dissipativity Strong duality State and control constraintsMathematics Subject Classification
49J20 49K20 93D20Notes
Acknowledgements
We would like to thank Prof. Enrique Zuazua for fruitful discussions and valuable suggestions on this subject. We acknowledge the financial support by the grant FA9550-14-1-0214 of the EOARD-AFOSR. The second author was partially supported by the National Natural Science Foundation of China under grants 11501424.
References
- 1.Anderson BDO, Kokotovic PV (1987) Optimal control problems over large time intervals. Automatica 23:355–363MathSciNetCrossRefMATHGoogle Scholar
- 2.Artstein Z, Leizarowitz A (1985) Tracking periodic signals with the overtaking criterion. IEEE Trans Autom Control 30:1123–1126CrossRefMATHGoogle Scholar
- 3.Barbu V, Pavel NH (1996) Periodic optimal control in Hilbert space. Appl Math Optim 33:169–188MathSciNetCrossRefMATHGoogle Scholar
- 4.Boyd SP, Vandenberghe L (2004) Convex optimization. Cambridge University Press, CambridgeCrossRefMATHGoogle Scholar
- 5.Brogliato B, Lozano R, Maschke B, Egeland O (2007) Dissipative systems analysis and control, 2nd edn. Springer, LondonCrossRefMATHGoogle Scholar
- 6.Carlson DA, Haurie A, Jabrane A (1987) Existence of overtaking solutions to infinite-dimensional control problems on unbounded time intervals. SIAM J Control Optim 25:1517–1541MathSciNetCrossRefMATHGoogle Scholar
- 7.Carlson DA, Haurie AB, Leizarowitz A (1991) Infinite horizon optimal control, 2nd edn. Springer, New YorkCrossRefMATHGoogle Scholar
- 8.Diehl M, Amrit R, Rawlings JB (2011) A Lyapunov function for economic optimizing model predictive control. IEEE Trans Autom Control 56:703–707MathSciNetCrossRefMATHGoogle Scholar
- 9.Damm T, Grüne L, Stieler M, Worthmann K (2014) An exponential turnpike theorem for dissipative discrete time optimal control problems. SIAM J Control Optim 52:1935–1957MathSciNetCrossRefMATHGoogle Scholar
- 10.Daniele P, Giuffrè S, Idone G, Maugeri A (2007) Infinite dimensional duality and applications. Math Ann 339:221–239MathSciNetCrossRefMATHGoogle Scholar
- 11.Dorfman R, Samuelson PA, Solow R (1958) Linear programming and economic analysis. McGraw-Hill, New YorkMATHGoogle Scholar
- 12.Faulwasser T, Korda M, Jones CN, Bonvin D (2017) On turnpike and dissipativity properties of continuous-time optimal control problems. Automatica 81:297–304MathSciNetCrossRefMATHGoogle Scholar
- 13.Grüne L (2013) Economic receding horizon control without terminal constraints. Automatica 49:725–734MathSciNetCrossRefMATHGoogle Scholar
- 14.Grüne L, Müller M (2016) On the relation between strict dissipativity and turnpike properties. Syst Control Lett 90:45–53MathSciNetCrossRefMATHGoogle Scholar
- 15.Gaitsgory V, Rossomakhine S (2006) Linear programming approach to deterministic long run average problems of optimal control. SIAM J Control Optim 44:2006–2037MathSciNetCrossRefMATHGoogle Scholar
- 16.Gugat M, Trélat E, Zuazua E (2016) Optimal Neumann control for the 1D wave equation: finite horizon, infinite horizon, boundary tracking terms and the turnpike property. Syst Control Lett 90:61–70MathSciNetCrossRefMATHGoogle Scholar
- 17.Ito K, Kunisch K (2008) Lagrange multiplier approach to variational problems and applications, advances in design and control, vol 15. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PAGoogle Scholar
- 18.Li X, Yong J (1995) Optimal control theory for infinite-dimensional systems. Systems and control: foundations and applications. Birkhäuser Boston Inc, BostonGoogle Scholar
- 19.Lou H, Wang W Turnpike properties of optimal relaxed control problems (preprint)Google Scholar
- 20.Mckenzie LW (1963) Turnpike theorems for a generalized Leontief model. Econometrica 31:165–180CrossRefMATHGoogle Scholar
- 21.Pazy A (1983) Semigroups of linear operators and applications to partial differential equations. Springer, New YorkCrossRefMATHGoogle Scholar
- 22.Porretta A, Zuazua E (2013) Long time versus steady state optimal control. SIAM J Control Optim 51:4242–4273MathSciNetCrossRefMATHGoogle Scholar
- 23.Porretta A, Zuazua E (2016) Remarks on long time versus steady state optimal control. Mathematical Paradigms of Climate Science, Springer International Publishing, pp 67–89Google Scholar
- 24.Quincampoix M, Renault J (2011) On the existence of a limit value in some nonexpansive optimal control problems. SIAM J Control Optim 49:2118–2132MathSciNetCrossRefMATHGoogle Scholar
- 25.Rapaport A, Cartigny P (2004) Turnpike theorems by a value function approach. ESAIM: Control Optim Calc Var 10:123–141MathSciNetCrossRefMATHGoogle Scholar
- 26.Samuelson PA (1976) The periodic turnpike theorem. Nonlinear Anal 1(1):3–13MathSciNetCrossRefMATHGoogle Scholar
- 27.Tröltzsch F (2010) Optimal control of partial differential equations. Theory, methods and applications. Graduate Studies in Mathematics, vol 112. American Mathematical SocietyGoogle Scholar
- 28.Trélat E, Wang L, Zhang Y (2016) Impulse and sampled-data optimal control of heat equations, and error estimates. SIAM J Control Optim 54:2787–2819MathSciNetCrossRefMATHGoogle Scholar
- 29.Trélat E, Zhang C, Zuazua E Steady-state and periodic exponential turnpike property for optimal control problems in Hilbert spaces. SIAM J Control Optim (accepted)Google Scholar
- 30.Trélat E, Zuazua E (2015) The turnpike property in finite-dimensional nonlinear optimal control. J Differ Equ 258:81–114MathSciNetCrossRefMATHGoogle Scholar
- 31.Wang G (2008) \(L^\infty \)-Null controllability for the heat equation and its consequences for the time optimal control problem. SIAM J Control Optim 47:1701–1720MathSciNetCrossRefMATHGoogle Scholar
- 32.Willems JC (1972) Dissipative dynamical systems, part I: general theory. Arch Ration Mech Anal 45:321–351CrossRefMATHGoogle Scholar
- 33.Zaslavski AJ (2000) Existence and structure of optimal solutions of infinite-dimensional control problems. Appl Math Optim 42:291–313MathSciNetCrossRefMATHGoogle Scholar
- 34.Zaslavski AJ (2006) Turnpike properties in the calculus of variations and optimal control, vol 80. Springer, New YorkMATHGoogle Scholar
- 35.Zaslavski AJ (2015) Turnpike theory of continuous-time linear optimal control problems. Springer Optimization and Its Applications, vol 104. Springer, ChamGoogle Scholar
- 36.Zanon M, Grüne L, Diehl M (2017) Periodic optimal control, dissipativity and MPC. IEEE Trans Autom Control 62:2943–2949MathSciNetCrossRefMATHGoogle Scholar