Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This work investigates the exact mathematical boundaries of exponential output-to-state stability (eOSS) for linear infinite-dimensional systems on Banach spaces with bounded output operators. Establishing these conditions is critical for robust observer design and state reconstruction in infinite-dimensional systems governed by partial differential equations. The authors prove that eOSS is strictly equivalent to having a coercive Lyapunov function in implication form, while showing via explicit counterexamples that classical detectability equivalences collapse unless the unstable subspace is finite-dimensional.
In infinite-dimensional Banach spaces, standard dualities between detectability and exponential output-to-state stability break down completely—unless the unstable subspace remains strictly finite-dimensional.
We study exponential output-to-state stability (eOSS) of linear infinite-dimensional systems in Banach spaces with bounded output operators. It is shown that eOSS is equivalent to the existence of a coercive eOSS Lyapunov function in implication form. Also exponential detectability guarantees the existence of a coercive eOSS Lyapunov function in dissipation form and therefore eOSS. Counterexamples demonstrate that the converse implications fail in general: exponential zero-detectability does not imply eOSS, eOSS does not imply the existence of an eOSS Lyapunov function in dissipation form, which, in turn, does not imply exponential detectability. If the unstable subspace is finite-dimensional, zero-detectability implies exponential detectability and yields equivalent characterizations of eOSS. The results are illustrated with a parabolic equation.