Converse Lyapunov theorem for input-to-state stability of infinite-dimensional systems
Abstract
We prove converse Lyapunov theorems for input-to-state stability (ISS) of a broad class of infinite-dimensional systems applicable to evolution equations in Banach spaces, boundary control systems, and delay systems. To this end, we employ a novel method that does not require constructing auxiliary closed-loop systems. We start by showing that ISS of a control system implies uniform global asymptotic stability of the same system with respect to trajectory-dominated inputs. Then, under an additional regularity requirement, we prove that an ISS Lyapunov function can be constructed. Based on our general result, we prove that for linear systems with unbounded ∞-admissible operators, ISS is equivalent to the existence of a Lipschitz continuous coercive ISS Lyapunov function.
Related
- On the Stability Analysis of Infinite-Dimensional Port-Hamiltonian Systems Within the Variational Framework
- BIBO stability in infinite dimensions: extensions and limitations of finite-dimensional theory
- Sampling with Autoregressive Clock Jitter: Infinite-Dimensional Stability Failure and Finite-Dimensional Conditioning
- A converse to the Erdős-Fuchs theorem
- A Converse to the Skoda L2 division theorem II
BibTeX
@misc{bachmann2026converse,
title = {{Converse Lyapunov theorem for input-to-state stability of infinite-dimensional systems}},
author = {Patrick Bachmann and Andrii Mironchenko},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.12601},
eprint = {2611.12601},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.12601},
}
RIS
TY - UNPB
TI - Converse Lyapunov theorem for input-to-state stability of infinite-dimensional systems
AU - Patrick Bachmann
AU - Andrii Mironchenko
PY - 2026
DA - 2026/11/09
PB - arXiv
DO - 10.48550/arxiv.2611.12601
UR - https://arxiv.org/abs/2611.12601
AB - We prove converse Lyapunov theorems for input-to-state stability (ISS) of a broad class of infinite-dimensional systems applicable to evolution equations in Banach spaces, boundary control systems, and delay systems. To this end, we employ a novel method that does not require constructing auxiliary closed-loop systems. We start by showing that ISS of a control system implies uniform global asymptotic stability of the same system with respect to trajectory-dominated inputs. Then, under an additional regularity requirement, we prove that an ISS Lyapunov function can be constructed. Based on our general result, we prove that for linear systems with unbounded ∞-admissible operators, ISS is equivalent to the existence of a Lipschitz continuous coercive ISS Lyapunov function.
ER -