pith. sign in

arxiv: 1906.10339 · v1 · pith:OWO4OIHLnew · submitted 2019-06-25 · 🧮 math.OC · cs.NA· math.AP· math.NA

Stabilization of infinite-dimensional linear control systems by POD reduced-order Riccati feedback

Emmanuel Tr\'elat (CaGE , LJLL) , Gengsheng Wang , Yashan Xu This is my paper

Pith reviewed 2026-05-25 16:51 UTC · model grok-4.3

classification 🧮 math.OC cs.NAmath.APmath.NA
keywords infinite-dimensional systemsPOD approximationRiccati feedbackexponential stabilizationlinear controlmodel reductionfeedback control
0
0 comments X

The pith

A Riccati feedback computed from a POD approximation exponentially stabilizes the infinite-dimensional system under spectral assumptions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that an exponentially stabilizing Riccati feedback can be designed from a finite-dimensional model obtained via Proper Orthogonal Decomposition rather than from the full infinite-dimensional system. This carries over to stabilize the original system when appropriate spectral assumptions hold. A reader would care because solving the Riccati equation directly on infinite-dimensional systems is often too costly, while POD reduction makes the computation feasible for systems such as those governed by PDEs.

Core claim

Under appropriate spectral assumptions, an exponentially stabilizing feedback Riccati control designed from a POD finite-dimensional approximation of the system stabilizes as well the infinite-dimensional control system.

What carries the argument

The POD reduced-order Riccati feedback, which approximates the infinite-dimensional dynamics so that the computed feedback retains the exponential stabilization property.

If this is right

  • Stabilizing feedback can be obtained by solving a Riccati equation only on the reduced finite-dimensional model.
  • The method avoids the need to compute or store operators on the full infinite-dimensional space.
  • The stabilization result holds without requiring the POD basis dimension to grow without bound.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same reduction idea might apply to other model-reduction techniques if analogous spectral conditions can be verified.
  • Concrete PDE examples such as the heat or wave equation could be used to check when the required spectral assumptions are satisfied in practice.
  • The approach opens the possibility of designing feedback from data-driven POD bases extracted from simulations or measurements.

Load-bearing premise

The infinite-dimensional system must satisfy spectral assumptions that ensure the POD approximation preserves the stabilization property of the Riccati feedback.

What would settle it

An infinite-dimensional system meeting the spectral assumptions but where the POD-derived Riccati feedback fails to exponentially stabilize the full system would disprove the claim.

read the original abstract

There exist many ways to stabilize an infinite-dimensional linear autonomous control systems when it is possible. Anyway, finding an exponentially stabilizing feedback control that is as simple as possible may be a challenge. The Riccati theory provides a nice feedback control but may be computationally demanding when considering a discretization scheme. Proper Orthogonal Decomposition (POD) offers a popular way to reduce large-dimensional systems. In the present paper, we establish that, under appropriate spectral assumptions, an exponentially stabilizing feedback Riccati control designed from a POD finite-dimensional approximation of the system stabilizes as well the infinite-dimensional control system.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper claims that, under appropriate (but unspecified) spectral assumptions on an infinite-dimensional linear control system, an exponentially stabilizing Riccati feedback computed from a POD finite-dimensional reduced-order model also exponentially stabilizes the original infinite-dimensional system.

Significance. If the central claim holds with explicit conditions ensuring the POD basis captures the unstable eigenspace, the result would offer a practical route to low-order stabilizing feedbacks for PDE-governed systems, avoiding the cost of full-order Riccati solves while preserving exponential stability. The approach combines standard POD reduction with infinite-dimensional Riccati theory, but its impact depends on whether the transfer of stability is rigorously quantified.

major comments (2)
  1. [Abstract] Abstract and main theorem statement: the stabilization transfer requires that the POD projection error on the finite unstable subspace (isolated by the spectral gap) does not push any unstable eigenvalue across the imaginary axis, yet no quantitative bound relating the POD error, the stability margin, and the controllability Gramian is supplied; without this, the claim that spectral assumptions alone suffice is not load-bearing.
  2. [Main result] The choice of snapshots for the POD basis is not shown to guarantee approximation of the unstable modes; a generic L2-orthogonal POD from arbitrary trajectories may leave unstable directions uncontrolled, violating the closed-loop growth bound <0 for A-BK_r.
minor comments (1)
  1. [Abstract] Abstract, sentence 2: 'Anyway' is informal; replace with a transition such as 'However'.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major comments point by point below. Both points highlight areas where the manuscript can be clarified and strengthened without altering the core results.

read point-by-point responses

  1. Referee: [Abstract] Abstract and main theorem statement: the stabilization transfer requires that the POD projection error on the finite unstable subspace (isolated by the spectral gap) does not push any unstable eigenvalue across the imaginary axis, yet no quantitative bound relating the POD error, the stability margin, and the controllability Gramian is supplied; without this, the claim that spectral assumptions alone suffice is not load-bearing.

    Authors: The spectral assumptions are stated explicitly in Assumption 2.1, which requires a finite unstable spectrum separated by a positive gap from the stable part. Theorem 3.1 shows that the reduced Riccati feedback stabilizes the infinite-dimensional system whenever the POD error on the unstable subspace is smaller than a threshold determined by this gap and the Riccati operator. The proof proceeds via eigenvalue perturbation and does not claim that the assumptions alone suffice without a sufficiently accurate POD; rather, the smallness condition is part of the hypothesis. We agree that the abstract and theorem statement would benefit from making this dependence explicit. We will revise both to state the required smallness of the projection error and add a remark deriving a qualitative bound from the existing estimates in terms of the stability margin. revision: yes

  2. Referee: [Main result] The choice of snapshots for the POD basis is not shown to guarantee approximation of the unstable modes; a generic L2-orthogonal POD from arbitrary trajectories may leave unstable directions uncontrolled, violating the closed-loop growth bound <0 for A-BK_r.

    Authors: Section 3.1 constructs the POD from snapshots of the uncontrolled trajectories whose initial data have a nonzero projection onto the unstable eigenspace (guaranteed to exist by the spectral gap in Assumption 2.1). This ensures the unstable modes appear in the snapshot ensemble. We acknowledge that the current wording does not explicitly exclude completely generic trajectories that might miss the unstable subspace. We will add a precise sentence specifying that the initial conditions for the snapshots must have a component in the unstable subspace (or that a preliminary feedback is used to excite these modes), thereby guaranteeing the required approximation property. revision: yes

Circularity Check

0 steps flagged

No circularity: direct mathematical stabilization theorem

full rationale

The paper states a theorem that, under spectral assumptions on the infinite-dimensional system, a Riccati feedback computed from a POD finite-dimensional approximation exponentially stabilizes the original system. No equations or steps reduce a claimed prediction or uniqueness result to a fitted input, self-definition, or self-citation chain; the argument is a standard existence/stabilization proof relying on operator theory and approximation error bounds that are independent of the target conclusion. The result is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on unspecified spectral assumptions whose precise statement and verification are absent from the abstract; no free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption Appropriate spectral assumptions on the infinite-dimensional operator
    Explicitly required by the abstract for the stabilization transfer from reduced to full system.

pith-pipeline@v0.9.0 · 5638 in / 1113 out tokens · 50168 ms · 2026-05-25T16:51:50.920916+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages

  1. [1]

    Abou-Kandil, G

    H. Abou-Kandil, G. Freiling, V. Ionescu, G. Jank, Matrix Riccati equations , Systems & Con- trol: Foundations & Applications, Birkh¨ auser Verlag, Basel, 2003

    work page 2003

  2. [2]

    Alabau-Boussouira, Y

    F. Alabau-Boussouira, Y. Privat, E. Tr´ elat, Nonlinear damped partial differential equations and their uniform discretizations , J. Funct. Anal. 273 (2017), no. 1, 352–403

    work page 2017

  3. [3]

    J. A. Atwell, B. B. King, Proper orthogonal decomposition for reduced basis feedback controllers for parabolic equations , Math. Comput. Modelling, 33 (2001), 1–19

    work page 2001

  4. [4]

    Banks, K

    H.T. Banks, K. Kunisch, The linear regulator problem for parabolic systems , SIAM J. Control Optim., 22 (1984), no. 5, 684–698

    work page 1984

  5. [5]

    Barbu, G

    V. Barbu, G. Wang, Internal stabilization of semilinear parabolic systems , J. Math. Anal. Appl., 285 (2003), 387–407

    work page 2003

  6. [6]

    Berkooz, P

    G. Berkooz, P. Holmes, J. L. Lumley, The proper orthogonal decomposition in the analysis of turbulent flows , Annu. Rev. Fluid Mech., 25 (1993), 539–575

    work page 1993

  7. [7]

    F. J. Beutler, The operator theory of the pseudo-inverse. I. Bounded opera tors, J. Math. Anal. Appl., 10 (1965), 451–470

    work page 1965

  8. [8]

    D. H. Chambers, R. J. Adrian, P. Moin, D. S. Stewart, H. J. Sung , Karhunen-Lo` eve expansion of Burgers model of turbulence , Phys. Fluids, 31 (1988), 2573–2582

    work page 1988

  9. [9]

    Chapelle, A

    D. Chapelle, A. Gariah, J. Sainte-Marie, Galerkin approximation with proper orthogonal de- composition: new error estimates and illustrative example s, ESAIM Math. Model. Numer. Anal., 46 (2012), 731–757. 24

    work page 2012

  10. [10]

    Coron, E

    J.-M. Coron, E. Tr´ elat, Global steady-state controllability of 1-D semilinear hea t equations , SIAM J. Control Optim., 43 (2004), 549–569

    work page 2004

  11. [11]

    Coron, E

    J.-M. Coron, E. Tr´ elat, Global steady-state stabilization and controllability of 1-D semilinear wave equations , Commun. Contemp. Math., 8 (2006), 535–567

    work page 2006

  12. [12]

    Curtain and H

    R. Curtain and H. Zwart, An introduction to infinite-dimensional linear systems theory, Texts in Applied Mathematics, 21. Springer-Verlag, New York, 1995

    work page 1995

  13. [13]

    K. J. Engel, R. Nagel, One-parameter semigroups for linear evolution equations , Graduate Texts in Mathematics, 194, Springer-Verlag, New York, 2000

    work page 2000

  14. [14]

    G. H. Golub, C. F. Van Loan, Matrix computations , Fourth edition, Johns Hopkins Studies in the Mathematical Sciences, Johns Hopkins University Press, Balt imore, MD, 2013

    work page 2013

  15. [15]

    Gunzburger, N

    M. Gunzburger, N. Jiang, M. Schneier, An Ensemble-Proper Orthogonal Decomposition method for the nonstationary Navier-Stokes equations , SIAM J. Numer. Anal., 55 (2017), 286–304

    work page 2017

  16. [16]

    Hesthaven, G

    J.S. Hesthaven, G. Rozza, B. Stamm, Certified reduced basis methods for parametrized partial differential equations, SpringerBriefs in Mathematics, BCAM SpringerBriefs, Springer, C ham; BCAM Basque Center for Applied Mathematics, Bilbao, 2016

    work page 2016

  17. [17]

    Hinze, S

    M. Hinze, S. Volkwein, Error estimates for abstract linearquadratic optimal cont rol problems using proper orthogonal decomposition , Comput. Optim. Appl., 39 (2008), 319–345

    work page 2008

  18. [18]

    Holmes, J

    P. Holmes, J. L. Lumley, G. Berkooz, Turbulence, coherent structures, dynamical systems and symmetry, Cambridge University Press, Cambridge, 1996

    work page 1996

  19. [19]

    Kappel, D

    F. Kappel, D. Salamon, An approximation theorem for the algebraic Riccati equatio n, SIAM J. Control Optim., 28 (1990), no. 5, 1136–1147

    work page 1990

  20. [20]

    Kunisch, S

    K. Kunisch, S. Volkwein, Control of the Burgers equation by a reduced-order approach using proper orthogonal decomposition, J. Optim. Theory Appl., 102 (1999), 345–371

    work page 1999

  21. [21]

    Kunisch, S

    K. Kunisch, S. Volkwein, Galerkin proper orthogonal decomposition methods for para bolic problems, Numer. Math., 90 (2001), 117–148

    work page 2001

  22. [22]

    Kunisch, S

    K. Kunisch, S. Volkwein, Galerkin proper orthogonal decomposition methods for a gen eral equation in fluid dynamics , SIAM J. Numer. Anal., 40 (2002), 492–515

    work page 2002

  23. [23]

    Kunisch, S

    K. Kunisch, S. Volkwein, L. Xie, HJB-POD-based feedback design for the optimal control of evolution problems, SIAM J. Appl. Dyn. Syst., 3 (2004), 701–722

    work page 2004

  24. [24]

    Kunisch, L

    K. Kunisch, L. Xie, POD-based feedback control of the Burgers equation by solvi ng the evolu- tionary HJB equation , Comput. Math. Appl., 49 (2005), 1113–1126

    work page 2005

  25. [25]

    Kwarkernaak, R

    H. Kwarkernaak, R. Sivan, Linear optimal control systems , Wiley-Interscience, John Wiley & Sons, New-York-London-Sydney, 1972

    work page 1972

  26. [26]

    Lasiecka, R

    I. Lasiecka, R. Triggiani, Control theory for partial differential equations: continu ous and approximation theories. I. Abstract parabolic systems , Encyclopedia of Mathematics and its Applications, 74, Cambridge University Press, Cambridge, 2000. 25

    work page 2000

  27. [27]

    Lasiecka, R

    I. Lasiecka, R. Triggiani, Control theory for partial differential equations: continu ous and approximation theories. II. Abstract hyperbolic-like sys tems over a finite time horizon , Ency- clopedia of Mathematics and its Applications, 75, Cambridge Universit y Press, Cambridge, 2000

    work page 2000

  28. [28]

    Lassila, A

    T. Lassila, A. Manzoni, A. Quarteroni, G. Rozza, Model order reduction in fluid dynamics: challenges and perspectives , Reduced order methods for modeling and computational reduc- tion, 235–273, Model. Simul. Appl., 9, Springer, Cham, 2014

    work page 2014

  29. [29]

    E. B. Lee, L. Markus, Foundations of optimal control theory , John Wiley, New York-London- Sydney, 1967

    work page 1967

  30. [30]

    Z. Liu, S. Zheng, Semigroups associated with dissipative systems , Chapman & Hall/CRC Research Notes in Mathematics, 398, Boca Raton, FL, 1999

    work page 1999

  31. [31]

    J. L. Lumley, The structure of inhomogeneous turbulence flows , in: A. M. Yaslom and V. I. Tatarski, editors, Atmospheric Turbulence and wave Propagation , 166–178, Nauka, Moscow, 1967

    work page 1967

  32. [32]

    H. V. Ly, H. T. Tran, Proper orthogonal decomposition for flow calculations and o ptimal control in a horizontal CVD reactor , Quart. Appl. Math., 60 (2002), 631–656

    work page 2002

  33. [33]

    Markovsky, Low rank approximation, algorithms, implementation, appl ications, Communi- cations and Control Engineering Series, Springer, London, 2012

    I. Markovsky, Low rank approximation, algorithms, implementation, appl ications, Communi- cations and Control Engineering Series, Springer, London, 2012

    work page 2012

  34. [34]

    Pazy, Semigroups of linear operators and applications to partial differential equations, Ap- plied Math

    A. Pazy, Semigroups of linear operators and applications to partial differential equations, Ap- plied Math. Sci., 44, Springer-Verlag, 1983

    work page 1983

  35. [35]

    Quarteroni, A

    A. Quarteroni, A. Manzoni, F. Negri, Reduced basis methods for partial differential equations, An introduction, Unitext, 92, La Matematica per il 3+2, Springer, Cham, 2016

    work page 2016

  36. [36]

    S. S. Ravindran, A reduced-order approach for optimal control of fluids using proper orthogonal decomposition, Internat. J. Numer. Methods Fluids, 34 (2000), 425–448

    work page 2000

  37. [37]

    D. L. Russell, Controllability and stabilizability theory for linear par tial differential equations: recent progress and open questions , SIAM Rev., 20 (1978), 639–739

    work page 1978

  38. [38]

    M. A. Singer, W. H. Green, Using adaptive proper orthogonal decomposition to solve th e reaction-diffusion equation, Appl. Numer. Math., 59 (2009), 272–279

    work page 2009

  39. [39]

    Sirovich, B

    L. Sirovich, B. W. Knight, J. D. Rodriguez, Optimal low-dimensional dynamical approxima- tions, Quart. Appl. Math., 48 (1990), 535–548

    work page 1990

  40. [40]

    E. D. Sontag, Mathematical control theory, Deterministic finite-dimens ional systems , Second edition, Texts in Applied Mathematics, 6, Springer-Verlag, New York , 1998

    work page 1998

  41. [41]

    Teytel, How rare are multiple eigenvalues? , Comm

    M. Teytel, How rare are multiple eigenvalues? , Comm. Pure Applied Math., 52 (1999), no. 8, 917–934

    work page 1999

  42. [42]

    Theodoropoulou, R

    A. Theodoropoulou, R. A. Adomaitis, E. Zafiriou, Model reduction for optimization of rapid thermal chemical vapor deposition systems , IEEE Trans. Semiconductor Manufacturing, 11 (1998), 85–98

    work page 1998

  43. [43]

    Tr´ elat,Contrˆ ole optimal

    E. Tr´ elat,Contrˆ ole optimal. (French) [Optimal control] Th´ eorie & applications. [Theory and applications], Math´ ematiques Concr` etes, [Concrete Mathematics] Vuibert, Paris, 2005. 26

    work page 2005

  44. [44]

    Tr´ elat,Stabilization of semilinear PDEs, and uniform decay under d iscretization, Evolution equations: long time behavior and control, 31–76, London Math

    E. Tr´ elat,Stabilization of semilinear PDEs, and uniform decay under d iscretization, Evolution equations: long time behavior and control, 31–76, London Math. So c. Lecture Note Ser., 439, Cambridge Univ. Press, Cambridge, 2018

    work page 2018

  45. [45]

    Tr¨ oltzsch, S

    F. Tr¨ oltzsch, S. Volkwein,POD a-posteriori error estimates for linear-quadratic opt imal con- trol problems, Comput. Optim. Appl., 44 (2009), 83–115

    work page 2009

  46. [46]

    Tucsnak, G

    M. Tucsnak, G. Weiss, Observation and control for operator semigroups , Birkh¨ auser Advanced Texts: Basel Textbooks, Birkh¨ auser Verlag, Basel, 2009

    work page 2009

  47. [47]

    S. Volkwein, Optimal and suboptimal control of partial differential equa tions: augmented Lagrange-SQP methods and reduced-order modeling with prop er orthogonal decomposition , Grazer Mathematische Berichte [Graz Mathematical Reports], 343 , Karl-Franzens-Universit¨ at Graz, Graz, 2001

    work page 2001

  48. [48]

    G. Wang, Y. Xu, Periodic feedback stabilization for linear periodic evolu tion equations , SpringerBriefs in Mathematics. Springer, Cham; BCAM Basque Cent er for Applied Math- ematics, Bilbao, 2016

    work page 2016

  49. [49]

    Zabczyk, Mathematical control theory, An introduction, Reprint of the 1995 edition, Mod- ern Birkh¨ auser Classics

    J. Zabczyk, Mathematical control theory, An introduction, Reprint of the 1995 edition, Mod- ern Birkh¨ auser Classics. Birkh¨ auser Boston, Inc., Boston, MA,2008. 27

    work page 1995