Hierarchical Stability and Lyapunov Conditions for Linear PDEs

Abstract

Unlike ordinary differential equations (ODEs), linear partial differential equations (PDEs) admit multiple non-equivalent notions of stability. This variety makes interpretation of Lyapunov stability results challenging. \blue{To simplify this interpretation, we propose a unified framework for hierarchical classification of notions of stability and Lyapunov conditions. To do this, for classically well-posed PDEs with admissible boundary conditions}, we define a fundamental state on $L_2$ corresponding to the minimal information needed to uniquely forward propagate the solution. Stability notions and Lyapunov functions are then defined in terms of this fundamental state. This gives rise to a hierarchy of stability notions, the weakest being fundamental state to PDE state stability. Other stability notions and Lyapunov conditions may then be interpreted relative to this weakest notion. Hierarchies are established for: Lyapunov, exponential and finite-energy stability. Sufficient Lyapunov conditions are defined in terms of operator inequalities. Illustrative examples and computational tools are provided.