[論文レビュー] Exponential stability of general 1-D quasilinear systems with source terms for the $C^1$ norm under boundary conditions

Amaury Hayat|arXiv (Cornell University)|Jan 8, 2018

Stability and Controllability of Differential Equations被引用数 9

ひとこと要約

本稿では、境界条件のもとで一般の1次元準線形双曲型系に源項を含む場合、基本的$C^1$リャプノフ関数と呼ばれる新しいクラスのリャプノフ関数を導入することで、$C^1$ノルムにおける指数的安定性を確立した。著者らは、指数的安定性が成立するための必要十分条件として、系の構造に関する内因的条件と境界制御条件の両方が満たされることを証明した。この結果は、$p \geq 1$ に対して $C^p$ ノルムへも拡張可能であり、流体動力学や集団モデルなどの物理系において重要な非一様安定状態の安定化を可能にする。

ABSTRACT

We address the question of the exponential stability for the $C^{1}$ norm of general 1-D quasilinear systems with source terms under boundary conditions. To reach this aim, we introduce the notion of basic $C^{1}$ Lyapunov functions, a generic kind of exponentially decreasing function whose existence ensures the exponential stability of the system for the $C^{1}$ norm. We show that the existence of a basic $C^{1}$ Lyapunov function is subject to two conditions: an interior condition, intrinsic to the system, and a condition on the boundary controls. We give explicit sufficient interior and boundary conditions such that the system is exponentially stable for the $C^{1}$ norm and we show that the interior condition is also necessary to the existence of a basic $C^{1}$ Lyapunov function. Finally, we show that the results conducted in this article are also true under the same conditions for the exponential stability in the $C^{p}$ norm, for any $p\geq1$.

研究の動機と目的

• 非一様安定状態が存在する場合に、特に$C^1$ノルムにおける安定性結果が不足している現状に対処すること。
• 源項を無視できない物理モデルにおいて、非一様安定状態と源項を扱える強固なリャプノフ関数に基づくフレームワークを構築すること。
• $C^1$ノルムにおける指数的安定性の必要十分条件を特定し、系の内因的性質と境界制御要件の区別を明確にすること。
• $C^1$ノルムからの安定性結果を、すべての$p \geq 1$ に対して$C^p$ノルムへ拡張することにより、非線形偏微分方程式への広範な適用可能性を確保すること。

提案手法

• 基本的$C^1$リャプノフ関数—特定の指数的減少関数であり、$C^1$指数的安定性を保証するもの—の概念を導入した。
• このようなリャプノフ関数の存在に対する十分条件を導出し、系の双曲的構造および源項に関する内因的条件と境界制御条件の組み合わせから成る。
• 非一様安定状態$\mathbf{Y}^*$周りの摂動に帰着するため、非線形変換$\mathbf{u} = N(x)(\mathbf{Y} - \mathbf{Y}^*)$を用いて問題を変換した。これにより、$C^1$フレームワークでの解析が可能になった。
• エネルギー型推定と、$f_i(x)$および指数的重み$e^{-2\mu s_i x}$を含む重み付きノルムを用いて、時間微分と空間微分を制御した。
• 漸近展開と$m$に関する一様有界性を用いた境界項の詳細な解析により、摂動下でも安定性が保証されることを示した。
• $C^p$ノルムへの拡張のために、系を高階微分へと持ち上げ、状態ベクトル$\mathbf{y} = (\mathbf{u}, \partial_t\mathbf{u}, \dots, \partial_t^{q-1}\mathbf{u})$のためのリャプノフ関数を構築した。

実験結果

リサーチクエスチョン

• RQ1 一般の1次元準線形双曲型系に源項を含む場合、境界条件のもとで$C^1$ノルムにおける指数的安定性が成立する条件は何か？
• RQ2 基本的$C^1$リャプノフ関数の存在に必要な、系の構造的性質は何か？また、それが十分条件であるか？
• RQ3 境界制御は、このような系の指数的安定性にどのように影響を与えるか？どのような形を取るべきか？
• RQ4 $C^1$安定性結果を、すべての$p \geq 1$ に対して高階$C^p$ノルムへ拡張できるか？
• RQ5 一般の場合において、基本的$C^1$リャプノフ関数の存在に、内因的条件が必要であるか？

主な発見

• $C^1$ノルムにおける指数的安定性は、系の構造に関する内因的条件と境界制御条件が両方満たされる場合に限り保証される。
• 内因的条件は、基本的$C^1$リャプノフ関数の存在にとって必要かつ十分であり、安定性の鋭い特徴付けを確立した。
• 境界制御条件により、境界でのエネルギー散逸が内部ダイナミクスと源項を打ち消すのに十分に強いことが保証される。
• 結果は、すべての$p \geq 1$ に対して$C^p$ノルムへ拡張可能であり、高階微分の指数的減衰を保証するための同じ構造的条件と境界条件が有効である。
• 形が$V = \sum_{k=0}^q V_{k+1}$、$V_{k+1} = \left| \sqrt{f_i}(\partial_t^k \mathbf{u})_i \right|_0$ であるリャプノフ関数は、$C^q$ノルムにおける指数的減衰を保証する。
• 証明により、漸近展開において$m$に依存しない一様有界性が確立され、非線形領域においてもロバストで有効であることが示された。