Exponential stability of the linearized viscous Saint-Venant equations using a quadratic Lyapunov function

TL;DR

This paper establishes exponential stability of the linearized viscous Saint-Venant equations by constructing a quadratic Lyapunov function and deriving conditions on boundary parameters for small viscosities.

Contribution

It introduces explicit conditions for quadratic Lyapunov functions ensuring stability of viscous Saint-Venant equations, extending previous non-viscous analyses.

Findings

Existence of a diagonal quadratic Lyapunov function for viscous case

Explicit boundary parameter conditions for stability

Stability proven in the $L^2$ norm for small viscosities

Abstract

In this work, we investigate the exponential stability of the viscous Saint-Venant equations by adding to the standard hyperbolic Saint-Venant equations a viscosity term coming from the higher order approximation of the Saint-Venant equations from Navier-Stokes equations. The inclusion of viscosity transforms these equations into more complex second-order partial differential equations, accurately modeling the behavior of real-world fluids that inherently possess viscosity. We construct an explicit quadratic Lyapunov function and demonstrate that it must be diagonal in physical coordinates, revealing that certain quadratic Lyapunov functions effective in non-viscous cases become inadequate when viscosity is introduced. We find explicit sufficient conditions on the parameters of the boundary conditions such that for small viscosities a quadratic Lyapunov function exists. This result ensures the exponential stability of the linearized system around the steady-state solutions in the $L^2$ norm.