[論文レビュー] On nonuniform exponential stability for skew-evolution semiflows on Banach spaces

Codruta Stoica, Mihail Megan|arXiv (Cornell University)|Feb 5, 2010

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

ひとこと要約

本稿は、バナッハ空間上のスケュー進化半流に非一様指数的安定性の積分的特徴付けとバーバシーン型条件を確立し、ダトコおよびロレヴィッチ型定理を非一様設定に一般化する。また、バーライ・ヴァルズの指数的安定性を導入し、進化コサイクルの指数的減衰がコサイクル作用素のノルムに関する可積分性条件と同値であることを証明する。

ABSTRACT

The paper considers some concepts of nonuniform asymptotic stability for skew-evolution semiflows on Banach spaces. The obtained results clarify differences between the uniform and nonuniform cases. Some examples are included to illustrate the results.

研究の動機と目的

• スケュー進化半流の均一安定性結果を非一様状況に拡張すること、特にバナッハ空間値動的システムの文脈において。
• 均一安定性と非一様指数的安定性の違いを、三変数依存性（時間、初期時刻、状態）の観点から明確化すること。
• バーライ・ヴァルズフレームワークにおける非一様指数的安定性の積分的特徴付け（ダトコおよびロレヴィッチの定理に類似）を提供すること。
• 指数的成長を示すスケュー進化半流に対して、バーバシーン型定理を非一様指数的安定性に一般化すること。
• 可測なコサイクルノルムと時間区間における可積分性を用いた指数的安定性の十分条件を確立すること。

提案手法

• スケュー進化半流を $ C(t,s,x,v) = (\varphi(t,s,x), \Phi(t,s,x)v) $ と定義し、$ \varphi $ を進化半流、$ \Phi $ を $ \varphi $ 上の進化コサイクルとする。
• 非一様指数的安定性を、$ \|\Phi(t,s,x)v\| \leq N(s)e^{-\alpha t}\|v\| $ による成長バウンドとして定義し、$ N(s) $ を非減少関数とする。
• バーライ・ヴァルズの非一様指数的安定性の概念を適用し、安定性が初期時刻と状態に依存する時間依存バウンドによって特徴づけられることを明確にする。
• 積分条件を導出：バーライ・ヴァルズ安定性に対して、$ \int_s^\infty e^{at}\|\Phi(t,s,x)v\|dt \leq Ne^{bs}\|v\| $ が成り立ち、$ a > 0 $、$ b \geq a $、$ N \geq 1 $ である。
• 可積分性を保証し双対性議論を適用するために、可測なコサイクル仮定（例：$ * $-強い可測性）を用いる。
• 双対性と $ \|\Phi(t,s,x)^*v^*\| $ を用いたノルム推定により、バーバシーン型条件を導出し、指数的減衰推定に至る。

実験結果

リサーチクエスチョン

• RQ1 スケュー進化半流の文脈において、非一様指数的安定性の概念は、その均一版とどのように異なるか？
• RQ2 非一様指数的安定性のスケュー進化半流に対して、ダトコおよびロレヴィッチの定理に類似した積分的条件を確立できるか？
• RQ3 コサイクルノルムの可積分性が非一様指数的安定性を示すために必要な条件は何か？
• RQ4 指数的成長を示すスケュー進化半流に対して、バーバシーン型定理を非一様状況に一般化できるか？
• RQ5 三変数依存性（時間、初期時刻、状態）は、非一様安定性と均一安定性の区別において、果たす役割は何か？

主な発見

• 定理 4.1 はダトコ型定理の非一様版を提供する：スケュー進化半流がバーライ・ヴァルズ指数的安定であるための必要十分条件は、ある $ N \geq 1 $、$ a > 0 $、$ b \geq a $ に対して $ \int_s^\infty e^{at}\|\Phi(t,s,x)v\|dt \leq Ne^{bs}\|v\| $ が成り立つことである。
• 定理 4.2 はロレヴィッチ型積分条件を提示する：指数的安定性が成り立つための必要十分条件は、ある $ F \in \mathcal{F} $、$ d > 0 $、および可測関数 $ R $ に対して $ \int_s^\infty F(e^{(t-s)d}\|\Phi(t,s,x)v\|)dt \leq R(s)F(\|v\|) $ が成り立つことである。
• 定理 5.1 はバーバシーン型条件を確立する：もし $ \int_s^t e^{(t-\tau)b}\|\Phi(t,\tau,\varphi(\tau,s,x))^*v^*\|d\tau \leq B(t)\|v^*\| $ が成り立つならば、$ \|\Phi(t,s,x)v\| \leq N(s)e^{-(t-s)b}\|v\| $ が成り立ち、指数的安定性が証明される。
• 関数 $ N(s) = M(s)e^{b+\omega(1)} + \frac{1}{K(s)} $、ただし $ K(s) = \int_0^1 \frac{du}{f_s(u)} $ は、コサイクルノルムの時間依存バウンドを提供する。
• 結果は [4] の均一安定性特徴付けを一般化し、既知の進化作用素に関する結果（例：[8]、[10]）を非一様設定に拡張する。
• 具体例により、非一様指数的安定性は均一指数的安定性よりも厳密に弱く、三変数依存性が非一様挙動を捉えるために不可欠であることが示される。