Unified Lyapunov Method for ISS of PDEs: A Tutorial on Constructing Generalized Lyapunov Functionals for Parabolic and Hyperbolic Equations
Pith reviewed 2026-05-09 14:57 UTC · model grok-4.3
The pith
Generalized Lyapunov functionals that depend explicitly on external inputs establish input-to-state stability estimates in L^q spaces for parabolic and hyperbolic PDEs.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The generalized Lyapunov method relies on generalized Lyapunov functionals that depend on the external input to derive explicit input-to-state stability estimates in L^q spaces for the three PDE classes through direct accounting for boundary disturbances, providing greater flexibility than classical input-independent Lyapunov functionals especially for Dirichlet-type conditions.
What carries the argument
Generalized Lyapunov functionals (GLFs), input-dependent functionals that serve as the core tool in the generalized Lyapunov method to establish ISS bounds by incorporating disturbances directly into the functional.
If this is right
- ISS estimates hold in every L^q space with q in [2, infinity] for each of the three PDE classes once the corresponding GLF is built.
- The constructions handle mixed nonlinear boundary disturbances and Dirichlet-type inputs more directly than classical Lyapunov theorems.
- Step-by-step GLF construction applies uniformly across the parabolic, first-order hyperbolic, and second-order hyperbolic cases.
- The method supports explicit derivation of decay rates and gain functions for the ISS property in these systems.
- Remaining open problems include extending the constructions to wider PDE families and integrating them into controller design.
Where Pith is reading between the lines
- The same input-dependent construction pattern may simplify boundary controller synthesis for fluid or structural systems governed by these PDEs.
- Numerical approximation schemes for evaluating the constructed functionals could turn the analytic ISS bounds into practical verification tools.
- Links to integral input-to-state stability or other robustness notions might emerge by modifying the same GLF forms.
- The tutorial's approach could reduce reliance on semigroup or operator-theoretic methods when only ISS rather than full asymptotic stability is required.
Load-bearing premise
Suitable generalized Lyapunov functionals can be systematically constructed for the nonlinear parabolic, first-order hyperbolic, and wave equations to produce the stated ISS estimates in L^q spaces.
What would settle it
A concrete PDE instance from one of the three classes for which no input-dependent functional yields a valid ISS estimate, or a simulation showing the system fails to satisfy the derived ISS bound despite the constructed functional.
Figures
read the original abstract
This tutorial provides an overview of the generalized Lyapunov method (GLM) for analyzing input-to-state stability (ISS) of partial differential equations (PDEs). We begin by revisiting the classical Lyapunov method and the standard ISS-Lyapunov theorem, highlighting their limitations when applied to systems with complex boundary disturbances. In contrast, the GLM, based on the concept of generalized Lyapunov functionals (GLFs) that explicitly depend on the external input, offers greater flexibility and efficiency, particularly for PDEs with Dirichlet-type disturbances. The main objective of this tutorial is to demonstrate how to systematically construct GLFs to establish ISS estimates in $L^q$ spaces with any $q\in[2,\infty]$ for different PDEs. Specifically, we consider three representative classes of PDEs: (i) an $N$-dimensional nonlinear parabolic equation with mixed nonlinear boundary disturbances, (ii) a first order nonlinear hyperbolic equation with boundary disturbances, and (iii) a second order linear hyperbolic equation, i.e., a wave equation, with boundary damping and disturbances. For each case, we provide step-by-step constructions of appropriate GLFs and derive explicit ISS estimates, illustrating the general applicability of the GLM. Finally, we discuss open challenges and future directions, including the systematic construction of GLFs for broader classes of PDEs and their applications in controller design.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper is a tutorial on the generalized Lyapunov method (GLM) for input-to-state stability (ISS) of PDEs. It reviews limitations of the classical Lyapunov method and standard ISS-Lyapunov theorem for systems with complex boundary disturbances, then introduces generalized Lyapunov functionals (GLFs) that explicitly depend on external inputs. The main contribution consists of step-by-step constructions of such GLFs for three representative classes—N-dimensional nonlinear parabolic equations with mixed nonlinear boundary disturbances, first-order nonlinear hyperbolic equations with boundary disturbances, and second-order linear hyperbolic (wave) equations with boundary damping and disturbances—yielding explicit ISS estimates in L^q spaces for arbitrary q ∈ [2, ∞]. The manuscript concludes with a discussion of open challenges and future directions.
Significance. If the constructions are rigorous and the estimates tight, the tutorial could provide a useful resource for researchers in infinite-dimensional control theory by offering concrete guidance on handling Dirichlet-type disturbances and obtaining ISS in multiple L^q norms. The explicit, step-by-step format and coverage of both parabolic and hyperbolic cases are strengths that may facilitate applications in controller design. However, the significance is tempered by whether the GLM constitutes a genuine unified framework or primarily a collection of tailored examples.
major comments (2)
- Abstract: The central claim that the GLM enables 'systematic construction' of GLFs with 'general applicability' across PDE classes is load-bearing for the title and abstract but rests on three distinct, case-specific constructions rather than a single overarching theorem or algorithm that derives the GLF form directly from the PDE structure and disturbance type. Without such a general procedure, the constructions risk appearing illustrative rather than unified, weakening the assertion of a 'unified' method.
- Sections on the three PDE classes (parabolic, first-order hyperbolic, wave equation): The explicit ISS estimates are asserted to hold in L^q for any q ∈ [2, ∞], yet the manuscript supplies no general error bounds, tightness analysis, or cross-validation against standard energy methods. This is load-bearing because the tutorial's value hinges on the estimates being both explicit and verifiable; case-by-case derivations alone do not automatically confirm they are sharper or more flexible than existing approaches.
Simulated Author's Rebuttal
We thank the referee for the constructive and detailed report on our tutorial manuscript. The comments help clarify how to better present the unified aspects of the generalized Lyapunov method. We respond point by point to the major comments below.
read point-by-point responses
-
Referee: Abstract: The central claim that the GLM enables 'systematic construction' of GLFs with 'general applicability' across PDE classes is load-bearing for the title and abstract but rests on three distinct, case-specific constructions rather than a single overarching theorem or algorithm that derives the GLF form directly from the PDE structure and disturbance type. Without such a general procedure, the constructions risk appearing illustrative rather than unified, weakening the assertion of a 'unified' method.
Authors: The GLM is unified at the methodological level by the consistent use of generalized Lyapunov functionals that explicitly incorporate external inputs to overcome limitations of classical Lyapunov functions when handling boundary disturbances. The tutorial illustrates this unified principle through systematic, step-by-step constructions for three representative classes (parabolic, first-order hyperbolic, and wave equations), each following the same core strategy of designing input-dependent functionals suited to the system structure and disturbance type. We do not claim or provide a single algorithmic procedure that automatically generates the GLF for arbitrary PDEs, as the manuscript explicitly lists the development of such a general procedure as an open challenge. To address the concern, we will revise the abstract and introduction to more precisely state that the GLM provides a unified framework demonstrated via systematic constructions for key PDE classes, rather than implying a fully general derivation algorithm. revision: partial
-
Referee: Sections on the three PDE classes (parabolic, first-order hyperbolic, wave equation): The explicit ISS estimates are asserted to hold in L^q for any q ∈ [2, ∞], yet the manuscript supplies no general error bounds, tightness analysis, or cross-validation against standard energy methods. This is load-bearing because the tutorial's value hinges on the estimates being both explicit and verifiable; case-by-case derivations alone do not automatically confirm they are sharper or more flexible than existing approaches.
Authors: The explicit ISS estimates in L^q spaces (q ∈ [2, ∞]) are obtained rigorously from the differential inequalities satisfied by the constructed GLFs in each case, and the derivations themselves serve as the verification. The manuscript does not include general error bounds, a dedicated tightness analysis, or systematic cross-validation against classical energy methods, as its primary aim is to demonstrate the construction process and resulting explicit estimates rather than comparative sharpness. We will add a concise discussion in the concluding section outlining how the obtained estimates compare to standard energy approaches for the specific systems considered and note that a comprehensive tightness study lies beyond the tutorial's scope. revision: partial
- A single overarching theorem or algorithm that derives the precise form of the GLF directly from arbitrary PDE structure and disturbance type, which the manuscript identifies as an open challenge for future work.
Circularity Check
No circularity; tutorial presents explicit constructions building on standard ISS-Lyapunov theorem without self-referential reductions.
full rationale
The paper revisits the classical Lyapunov method and standard ISS-Lyapunov theorem as external foundations, then provides step-by-step constructions of input-dependent generalized Lyapunov functionals for three specific PDE classes to derive ISS estimates in L^q spaces. No equations or steps in the abstract or description reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations. The claim of systematic construction is illustrated via case-specific examples rather than derived tautologically from prior results by the same authors. The derivation chain remains self-contained against external benchmarks like the standard ISS theorem, with no evidence of renaming known results or smuggling ansatzes via self-citation.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
- [1]
-
[2]
F. B. Argomedo, C. Prieur, E. Witrant, and S. Bremond. A strict control Lyapunov function for a diffusion equation with time-varying distributed coefficients. IEEE Transactions on Automatic Control, 58(2):290–303, 2013
work page 2013
-
[3]
F. B. Argomedo, E. Witrant, and C. Prieur. D1-input-to-state stability of a time-varying nonhomogeneous diffusive equation subject to boundary disturbances. In 2012 American Control Conference, pages 2978–2983, Montreal, Que, Oct. 2012
work page 2012
-
[4]
D. Armbruster, D. E. Marthaler, C. Ringhofer, K. Kempf, and T. C. Jo. Continuum model for a re-entrant factory. Operations Research, 54(5):933–950, 2006
work page 2006
-
[5]
J. Auriol and F. Di Meglio. Robust output feedback stabilization for two heterodirectional linear coupled hyperbolic PDEs. Automatica, 115, 2020. Art. no. 108896
work page 2020
-
[6]
A. V. Balakrishnan. On superstability of semigroups . in: M. P. Polis, et al. (Eds.), Systems Modelling and Optimization Proceedings of the 18th IFIP Conference, Chapman and Hall, 1999
work page 1999
-
[7]
A.V. Balakrishnan. Vibrating systems with singualr mass-inertia matrices. In First Interna- tional Conference on: Nonlinear Problems in Aviation and Aerospace , pages 23–32, Daytona Beach, FL, USA, May 1996
work page 1996
-
[8]
Y. Bi, J. Zheng, and G. Zhu. Input-to-state stabilisation of 1-D time-varying parabolic PDEs involving Dirichlet boundary disturbances by static backstepping control. Journal of Control and Decision, 2025. DOI: 10.1080/23307706.2025.2477632
-
[9]
Y. Bi, J. Zheng, and G. Zhu. Input-to-state stabilization of 1-D parabolic PDEs un- der output feedback control. IEEE Transactions on Automatic Control , 2025. DOI: 10.1109/TAC.2025.3627268. 26
-
[10]
H. Damak. Input-to-state stability and integral input-to-state stability of non-autonomous infinite-dimensional systems. International Journal of Systems Science , 52(10):2100–2113, 2021
work page 2021
-
[11]
H. Damak. Input-to-state stability of non-autonomous infinite-dimensional control systems. Mathematical Control and Related Fields , 13(3):1212–1225, 2022
work page 2022
-
[12]
S. Dashkovskiy and A. Mironchenko. On the uniform input-to-state stability of reaction diffusion systems. In the 49th IEEE Conference on Decision and Control , pages 6547–6552, Atlanta, Georgia, USA, Dec. 2010
work page 2010
-
[13]
S. Dashkovskiy and A. Mironchenko. Input-to-state stability of infinite-dimensional control systems. Mathematics of Control, Signals, and Systems , 25(1):1–35, 2013
work page 2013
-
[14]
S. Dashkovskiy and A. Mironchenko. Input-to-state stability of nonlinear impulsive systems. SIAM Journal on Control and Optimization , 51(3):1962–1987, 2013
work page 1962
-
[15]
L. C. Evans. Partial Differential Equations . American Mathematical Society, Providence, Rhode Island, 2010
work page 2010
- [16]
- [17]
- [18]
- [19]
- [20]
- [21]
-
[22]
B. Jayawardhana, H. Logemann, and E. P. Ryan. Infinite-dimensional feedback systems: The circle criterion and input-to-state stability. Communications in Information and Systems , 8(4):413–444, 2008
work page 2008
-
[23]
I. Karafyllis and Z. P. Jiang. A vector small-gain theorem for generalnon-linear control systems. IMA Journal of Mathematical Control and Information , 28(3):309–344, 2011
work page 2011
-
[24]
I. Karafyllis and M. Krstic. On the relation of delay equations to first-order hyperbolic partial differential equations. ESAIM: Control, Optimisation and Calculus of Variations , 20(3):894– 923, 2014
work page 2014
-
[25]
I. Karafyllis and M. Krstic. Input-to-state stability with respect to boundary disturbances for the 1-D heat equation. In the 55th IEEE Conference on Decision and Control , pages 2247–2252, Las Vegas, USA, Dec. 2016
work page 2016
-
[26]
I. Karafyllis and M. Krstic. ISS with respect to boundary disturbances for 1-D parabolic PDEs. IEEE Transactions on Automatic Control , 61(12):3712–3724, Dec. 2016. 27
work page 2016
-
[27]
I. Karafyllis and M. Krstic. ISS in different norms for 1-D parabolic PDEs with boundary disturbances. SIAM Journal on Control and Optimization , 55(3):1716–1751, 2017
work page 2017
-
[28]
I. Karafyllis and M. Krstic. Input-to-State Stability for PDEs . Springer-Verlag, London, 2018
work page 2018
-
[29]
I. Karafyllis and M. Krstic. ISS estimates in the spatial sup-norm for nonlinear 1-D parabolic PDEs. ESAIM: Control, Optimisation and Calculus of Variations , 27(57):1–23, 2021
work page 2021
-
[30]
I. Karafyllis and M. Krstic. Damping-robustness of various 1-D wave PDEs under boundary feedback control. IFAC-PapersOnLine, 55(30):31–36, 2022
work page 2022
-
[31]
I. Karafyllis and M. Krstic. ISS-based robustness to various neglected damping mechanisms for the 1-D wave PDE. Mathematics of Control, Signals, and Systems , 35:741–779, 2023
work page 2023
-
[32]
M. Krstic and A. Smyshlyaev. Boundary Control of PDEs: A Course on Backstepping Designs . Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 2008
work page 2008
-
[33]
P. O. Lamare, J. Auriol, F. Di Meglio, and U. F. Aarsnes. Robust output regulation of 2 × 2 hyperbolic systems: Control law and input-to-state stability. In 2018 Annual American Control Conference (ACC), pages 1732–1739, Milwaukee, WI, USA, June 2018
work page 2018
-
[34]
H. Lhachemi, D. Saussi´ e, G. Zhu, and R. Shorten. Input-to-state stability of a clamped-free damped string in the presence of distributed and boundary disturbances. IEEE Transactions on Automatic Control, 65(3):1248–1255, 2020
work page 2020
-
[35]
H. Lhachemi and R. Shorten. ISS property with respect to boundary disturbances for a class of Riesz-spectral boundary control systems. Automatica, 109, 2019. Art. no. 108504
work page 2019
- [36]
-
[37]
M. L. Marca, D. Armbruster, M. Herty, and C. Ringhofer. Control of continuum models of production systems. IEEE Transactions on Automatic Control , 55(11):2511–2526, 2010
work page 2010
-
[38]
F. Mazenc and C. Prieur. Strict Lyapunov functions for semilinear parabolic partial differential equations. Mathematical Control and Related Fields , 1(2):231–250, 2011
work page 2011
-
[39]
A. Mironchenko. Local input-to-state stability: characterizations and counterexamples. Sys- tems & Control Letters , 87:23–28, 2016
work page 2016
-
[40]
A. Mironchenko. Input-to-state stability of distributed parameter systems. 2023. arXiv:2302.00535
-
[41]
A. Mironchenko. Input-to-state Stability: Theory and Applications . Communications and Control Engineering. Springer, Switzerland, 2023
work page 2023
-
[42]
A. Mironchenko and H. Ito. Construction of Lyapunov functions for interconnected parabolic systems: An iISS approach. SIAM Journal on Control and Optimization , 53(6):3364–3382, 2015
work page 2015
-
[43]
A. Mironchenko and H. Ito. Characterizations of integral input-to-state stability for bilinear systems in infinite dimensions. Mathematical Control and Related Fields , 6(3):447–466, 2016
work page 2016
-
[44]
A. Mironchenko, I. Karafyllis, and M. Krstic. Monotonicity methods for input-to-state stability of nonlinear parabolic PDEs with boundary disturbances. SIAM Journal on Control and Optimization, 57(1):510–532, 2019
work page 2019
-
[45]
A. Mironchenko and C. Prieur. Input-to-state stability of infinite-dimensional systems: Recent results and open questions. SIAM Review, 62(3):529–614, 2020. 28
work page 2020
-
[46]
A. Mironchenko and F. L. Schwenninger. Coercive quadratic converse ISS Lyapunov theorems for linear analytic systems. 2023. arXiv:2303.15093
-
[47]
A. Mironchenko and F. Wirth. Characterizations of input-to-state stability for infinite- dimensional systems. IEEE Transactions on Automatic Control , 63(6):1692 – 1707, 2018
work page 2018
-
[48]
Y. Orlov. Nonsmooth Lyapunov Analysis in Finite and Infinite Dimensions . Springer Nature, Switzerland AG, 2020
work page 2020
-
[49]
A. Pisano and Y. Orlov. On the ISS properties of a class of parabolic DPS’ with discontinuous control using sampled-in-space sensing and actuation. Automatica, 81:447–454, 2017
work page 2017
-
[50]
C. Prieur and F. Mazenc. ISS Lyapunov functions for time-varying hyperbolic partial differ- ential equations. In the 50th IEEE Conference on Decision and Control and European Control Conference, pages 4915–4920, Orlando, FL, USA, Dec. 2011
work page 2011
-
[51]
C. Prieur and F. Mazenc. ISS-Lyapunov functions for time-varying hyperbolic systems of balance laws. Mathematics of Control, Signals, and Systems , 21(1):111–134, 2012
work page 2012
-
[52]
F. Schwenninger. Input-to-state stability for parabolic boundary control: Linear and semi-linear systems, volume 277 of Kerner J., Laasri H., Mugnolo D. (eds) Control Theory of Infinite- Dimensional Systems. Operator Theory: Advances and Applications. Birkh¨ auser, Cham, 2020
work page 2020
-
[53]
E. D. Sontag. Smooth stabilization implies coprime factorization. IEEE Transactions on Automatic Control, 34(4):435–443, 1989
work page 1989
-
[54]
E. D. Sontag. Further facts about input to state stabilization. IEEE Transactions on Auto- matic Control, 35(4):473–476, 1990
work page 1990
-
[55]
A. Tanwani, C. Prieur, and S. Tarbouriech. Disturbance-to-state stabilization and quantized control for linear hyperbolic systems. 2017. arXiv:1703.00302
work page internal anchor Pith review arXiv 2017
-
[56]
A. R. Teel. Connections between Razumikhin-type theorems and the ISS nonlinear small-gain theorem. IEEE Transactions on Automatic Control , 43(7):960–964, 1998
work page 1998
-
[57]
J. Zheng, Y. Bi, and G. Zhu. Input-to-state stabilization of parabolic PDEs with variable coefficients and Dirichlet boundary disturbances: A tutorial on closed-form backstepping con- troller design and stability analysis. Annual Reviews in Control , 60, 2025. Art. no. 101032
work page 2025
-
[58]
J. Zheng, H. Lhachemi, G. Zhu, and D. A Saussie. ISS with respect to boundary and in- domain disturbances for a coupled beam-string system. Mathematics of Control, Signals, and Systems, 2018. doi: 10.1007/s00498-018-0228-y
-
[59]
J. Zheng and G. Zhu. Input-to-state stability with respect to boundary disturbances for a class of semi-linear parabolic equations. Automatica, 97:271–277, 2018
work page 2018
-
[60]
J. Zheng and G. Zhu. Input-to-state stability with respect to different boundary disturbances for Burgers’ equation. In the 23rd International Symposium on Mathematical Theory of Net- works and Systems , pages 562–569, Hong Kong, China, July 2018
work page 2018
-
[61]
J. Zheng and G. Zhu. ISS with respect to in-domain and boundary disturbances for a gen- eralized Burgers’ equation. In the 57th IEEE Conference on Decision and Control , pages 3758–3764, Miami Beach, FL, USA, Dec. 2018
work page 2018
-
[62]
J. Zheng and G. Zhu. A De Giorgi iteration-based approach for the establishment of ISS prop- erties for Burgers’ equation with boundary and in-domain disturbances. IEEE Transactions on Automatic Control, 64(8):3476–3483, 2019
work page 2019
-
[63]
J. Zheng and G. Zhu. A maximum principle-based approach for input-to-state stability anal- ysis of parabolic equations with boundary disturbances. In the 58th IEEE Conference on Decision and Control, pages 4977–4983, Nice, France, Dec. 2019. 29
work page 2019
-
[64]
J. Zheng and G. Zhu. Input-to-state stability for a class of 1-D nonlinear parabolic PDEs with nonlinear boundary conditions. SIAM Journal on Control and Optimization, 58(4):2567–2587, 2020
work page 2020
-
[65]
J. Zheng and G. Zhu. ISS-like estimates for nonlinear parabolic PDEs with variable coefficients on higher dimensional domains. Systems & Control Letters , 146, 2020. Art. no. 104808
work page 2020
-
[66]
J. Zheng and G. Zhu. Approximations of Lyapunov functionals for ISS analysis of a class of higher dimensional nonlinear parabolic PDEs. Automatica, 125:109414, 2021
work page 2021
-
[67]
J. Zheng and G. Zhu. Input-to-state stability in different norms for 1-D parabolic PDEs. In the 60th IEEE Conference on Decision and Control , pages 4026–4031, Austin, Texas, Dec. 2021
work page 2021
-
[68]
J. Zheng and G. Zhu. Global ISS for the viscous Burgers’ equation with Dirichlet boundary disturbances. IEEE Transactions on Automatic Control , 69(10):7174–7181, 2024
work page 2024
-
[69]
J. Zheng and G. Zhu. Generalized Lyapunov functionals for the input-to-state stability of infinite-dimensional systems. Automatica, 172, 2025. Art. no. 112005
work page 2025
-
[70]
J. Zheng, G. Zhu, and S. Dashkovskiy. Relative stability in the sup-norm and input-to- state stability in the spatial sup-norm for parabolic PDEs. IEEE Transactions on Automatic Control, 67(10):5361–5375, 2022. Jun Zheng Guchuan Zhu School of Mathematics Department of Electrical Engineering Southwest Jiaotong University Polytechnique Montr´ eal Chengdu, 6...
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.