[論文レビュー] Linearized stability analysis of nonlinear partial differential equations

Rasha Al Jamal, Amenda Chow+1 more|arXiv (Cornell University)|Sep 18, 2015

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

ひとこと要約

本稿は、非線形無限次元系におけるラプラウンの間接法を統一的枠組みで確立し、非線形 $C_0$-半群のフレシェ微分可能性が、線形化安定性が非線形安定性を意味することを示すために不可欠であることを証明している。主な貢献は、フレシェ微分可能性のための新しい十分条件の確立と、クーラン＝シヴァシンスキー方程式への応用であり、半群がフレシェ微分可能であれば、線形化系の指数的安定性が非線形系の局所的指数的安定性を示すことを示している。

ABSTRACT

Lyapunov's indirect method is an attractive method for analyzing stability of non-linear systems since only the stability of the corresponding linearized system needs to be determined. Unfortunately, the proof for finite-dimensional systems does not generalize to infinite-dimensions. In this paper a unified approach to Lyapunov's indirect method for infinite-dimensional system is described. It is shown how existing sufficient conditions fit this framework and a new sufficient condition is presented.

研究の動機と目的

• 有限次元から無限次元系へのラプラウンの間接法の一般化の欠如に対処すること。
• 無限次元において、線形化系の安定性が非線形系の安定性を反映するための必要条件を特定すること。
• 非線形無限次元系によって生成される $C_0$-半群のフレシェ微分可能性のための新しい十分条件を確立すること。
• クーラン＝シヴァシンスキー方程式のような非準線形偏微分方程式に、この枠組みを適用可能であることを示すこと。これらの方程式は、従来の仮定を満たさない。
• 線形化不安定性または指数的安定性が、非線形系に対しても同様に成立する条件を明確にすること。

提案手法

• 非線形時不変系 $\dot{z}(t) = F(z(t))$ をバナッハ空間で定式化し、$F$ が稠密に定義され、$C_0$-半群を生成することを前提とする。
• ラプラウンの間接法が成立するための鍵となる要件として、非線形 $C_0$-半群 $S(t)$ の平衡点におけるフレシェ微分可能性の概念を導入する。
• 線形化系を $\dot{z} = (A - dJ(z_0))z$ と定義し、$A$ を線形部の生成作用素、$dJ(z_0)$ を非線形作用素 $J$ のゲートオー微分とする。
• リエススペクトル作用素に対するスペクトル決定的成長性を適用し、特にクーラン＝シヴァシンスキー方程式の線形化系の安定性を分析する。
• 線形化系と非線形ダイナミクスを結ぶために、$S(t)$ のフレシェ微分の生成作用素を用い、線形化生成作用素が半群の微分に一致することを保証する。
• ラサールの不変性原理とラプラウン関数を用いて、周期的境界条件を満たすクーラン＝シヴァシンスキー方程式などの特定の例で安定性を検証する。

実験結果

リサーチクエスチョン

• RQ1 線形化無限次元系の安定性が、元の非線形系の安定性を意味するのはどのような条件下か？
• RQ2 フレシェ微分可能性が、無限次元系におけるラプラウンの間接法を正当化する上で果たす役割は何か？
• RQ3 クーラン＝シヴァシンスキー方程式のような非準線形偏微分方程式に対しても、ラプラウンの間接法を適用可能か？
• RQ4 非線形偏微分方程式によって生成される半群のフレシェ微分可能性を保証する新しい十分条件は何か？
• RQ5 半群がフレシェ微分可能である場合、線形化作用素のスペクトルが非線形系の安定性をどのように決定するか？

主な発見

• 非線形系によって生成される $C_0$-半群 $S(t)$ のフレシェ微分可能性は、無限次元系におけるラプラウンの間接法が有効であるための必要十分条件である。
• クーラン＝シヴァシンスキー方程式において、不安定化パラメータ $\nu > 1$ であれば、すべての定常平衡点は局所的指数的安定である。これは、線形化作用素のすべての固有値の実部が厳密に負であるためである。
• $\nu < 1$ の場合、線形化系は不安定であり、スペクトルに正の実部を持つ固有値を含むため、非線形系も不安定である。
• クーラン＝シヴァシンスキー方程式の線形化生成作用素 $A - dJ(z_0)$ は、固有値 $\lambda_n = n^2(1 - \nu n^2) - i n z_e$ を持つリエススペクトル作用素であり、スペクトル解析の手法を確認している。
• クーラン＝シヴァシンスキー方程式の $C_0$-半群 $S(t)$ は、非線形性が連続でなく、かつ準線形でもないにもかかわらず、任意の $z_0 \in L^2(-\pi, \pi)$ でフレシェ微分可能である。
• 線形化系が僅かに漸近的安定である場合、ラプラウンの間接法は非線形系の安定性または不安定性を結論づけない。これは、線形化系において指数的安定性が必須であることを示している。