[論文レビュー] Global Stability properties for a class of dissipative phenomena via one or several Liapunov functionals

Armando D’Anna, Gaetano Fiore|arXiv (Cornell University)|Nov 7, 2003

Stability and Controllability of Differential Equations参考文献 7被引用数 7

ひとこと要約

本稿では、誤差許容誤差に依存する適応型リャプノフ関数を用いて、非定常力項を伴う3階準線形PDEの解のグローバル安定性、有界性、吸引性を確立する。原点の各近傍に特化したパラメータ化されたリャプノフ関数を構築することで、力項が有界でなくても、超伝導、粘弾性、量子力学的モデルにおける先行研究を改善し、大域的かつ一様漸近的安定性を証明する。

ABSTRACT

We find some new results regarding the existence, uniqueness, boundedness, stability and attractivity of the solutions of a class of initial-boundary-value problems characterized by a quasi-linear third order equation which may have non-autonomous forcing terms. The class includes equations arising in Superconductor Theory, Quantum Mechanics and in the Theory of Viscoelastic Materials.

研究の動機と目的

• 非定常力項を伴う3階準線形PDEの解のグローバル安定性、有界性、吸引性を確立すること。
• 力関数fに対する従来の仮定を弱める、特にfが有界でなくてもよいように、誤差依存のリャプノフ関数を導入すること。
• 1階ODEのHaleの補題を一般化し、PDEの文脈における吸引性および有界性の解析を支援すること。
• 誤差サイズσに適応するパラメータ化されたリャプノフ関数を用いて、零解の均一漸近的安定性を大域的に証明すること。

提案手法

• パラメータγに依存するリャプノフ関数Wγを構築し、γ(σ)によって誤差許容誤差σに適合させることで、半径σの球内での安定性を保証する。
• PDEを積分微分方程式に再定式化し、fの局所リプシッツ連続性の下で解の存在および一意性を示すために不動点定理を適用する。
• 時間微分の推定によりリャプノフ関数に対する微分不等式を導出し、ε、c、γに関する適切な条件下で負定値性を示す。
• fのL²ノルムに対する時間平均の上界を導入することで、fが点毎に有界である必要を緩和する。
• 比較原理および漸近的解析を用いて、リャプノフ関数が時間の負のべき乗以上に減少することを示し、準一様漸近的安定性を示す。
• Wδが2c²²および2D(γ+1)と比較される2ケースの解析に基づき、解ノルムのべき乗則による減衰推定を得る。

実験結果

リサーチクエスチョン

• RQ1 非定常力項が有界でない場合でも、3階準線形PDEの解のグローバル安定性および吸引性を確立できるか？
• RQ2 誤差サイズσに応じてリャプノフ関数をどのように調整すれば、大域的かつ一様安定性を保証できるか？
• RQ3 力関数fにどのような条件を課すれば、fが大域的に有界でなくても有界性および吸引性が保証されるか？
• RQ4 超伝導および粘弾性材料に由来する方程式に対し、fに関する仮定を弱める条件下でも安定性結果を拡張可能か？
• RQ5 提案された適応型リャプノフ関数フレームワーク下での解の減衰速度はいかほどか？

主な発見

• 任意のσ > 0に対して、δ(σ) > 0が存在し、初期エネルギーd(u₀, u₁) < δ(σ)ならば、すべてのt ≥ t₀で解がσの範囲内に留まることを証明し、一様安定性を確立する。
• 零解は大域的かつ準一様漸近的安定である。これは、初期データが誤差許容誤差に依存する近傍内にある限り、t → ∞ で解が0に収束することを意味する。
• 解ノルムの減衰速度は、あるτ ∈ (0,1)に対して、(t − t₀)⁻⁽¹⁺τ⁾/⁽¹⁻τ⁾以上であることが、リャプノフ関数のべき乗則推定から導かれる。
• γに依存するリャプノフ関数を導入することで、fの有界性仮定を撤廃し、fの事前限界がなくても安定性解析が可能になる。
• 1階ODEのHaleの補題を3階PDEのクラスに一般化し、高次散乱系における吸引性解析のための新たなツールを提供する。
• fの局所リプシッツ連続性の下で、解の存在および一意性を確立し、従来のグローバルリプシッツ連続性を要件としていなかった結果を改善する。