[논문 리뷰] Exponential stability of the linearized viscous Saint-Venant equations using a quadratic Lyapunov function

Amaury Hayat, Nathan Lichtlé|arXiv (Cornell University)|2026. 03. 06.

Stability and Controllability of Differential Equations인용 수 0

한 줄 요약

이 논문은 물리 좌표에서 대각형 2차 Lyapunov 함수를 구성하고 작은 점성에서 경계 조건이 L2 노름에서의 안정성을 보장함을 확인함으로써 정상 상태 주위의 선형화된 점성 Saint-Venant 시스템의 지수적 안정성을 증명한다.

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.

연구 동기 및 목표

• Navier-Stokes 방정식에서 도출된 점성 Saint-Venant 모델의 안정성 연구에 동기를 부여한다.
• 정상 상태 주위에서 점성 Saint-Venant 시스템을 선형화하고 안정성에 대한 조건을 구성한다.
• 명시적인 2차 Lyapunov 함수 를 구성하고 점성 하에서의 적합성을 분석한다.
• L2 노름에서 지수적 안정성을 보장하는 명시적 충분 조건인 경계 조건에 기반한 기준을 확립한다.

제안 방법

• 점도 항 mu와 수정된 마찰 항 f(H,V)를 갖는 점성 Saint-Venant 시스템을 모델링한다.
• 아래 임계 이하 흐름 가정에서 안정 상태 (H*, V*) 주위에서 선형화한다.
• Q가 대각이며 QB를 대칭으로 만들도록 선택된 W(y)=int_0^L y^T Q(x) y dx인 2차 Lyapunov 함수를 제안한다.
• 작은 mu에 대해 Lyapunov 도함수가 음의 정정(negative definite)인 조건을 도출한다.
• Sylvester의 기준과 경계 항 분석을 사용하여 mu-의존 안정성 경계를 얻는다.
• 지정된 경계 계수 아래 충분히 작은 점성 mu에 대해 L2 노름에서 섭동이 지수적으로 감소함을 보인다.

실험 결과

연구 질문

• RQ1 선형화된 점성 Saint-Venant 시스템이 정상 상태 주위에서 2차 Lyapunov 함수로 지수적 안정성을 보장할 수 있는가?
• RQ2 점성이 작을 때 선형화된 시스템에 대한 어떤 경계 조건 제약이 지수적 안정성을 보장하는가?
• RQ3 점성 하에서 물리 좌표에 대해 Lyapunov 함수가 대각이어야 하는가, 그리고 이것이 이전 비점성 결과에 어떤 영향을 미치는가?
• RQ4 점성 및 정상 상태의 성질이 Lyapunov 도함수의 부호와 정의성에 어떤 영향을 미치는가?
• RQ5 L2에서 지수적 안정성을 보장하는 경계 계수에 대한 정확한 매개변수 범위는 무엇인가?

주요 결과

• 점성 시스템에 대한 2차 Lyapunov 함수는 물리 좌표에서 대각이어야 한다.
• 작은 mu에 대해 지수적 안정성을 보장하는 명시적 경계 조건 범위가 존재하며, 본 논문은 (b0^-, b0^+)의 구간에 있는 b0, 음의 구간 밖의 b1, 그리고 (c1^-, c1^+)의 구간에 있는 c1의 경계 값을 제공한다.
• Lyapunov 함수는 L2 노름과 동등하여 명시적 감소율 gamma로 L2에서의 안정성을 보장한다.
• 제안된 조건과 작은 mu 하에서 Lyapunov 함수의 도함수는 음의 정의적이며 지수적 감소를 산출한다.
• mu -> 0에 따라 이전의 점성-비점성 분석과 일치하는 안정성 거동을 복원하지만, 대각성의 필요성 때문에 일부 비점성 Lyapunov 함수는 점성 경우로 확장되지 않는다.