[論文レビュー] Nonautonomous equations, generalized dichotomies and stable manifolds

António J. G. Bento, César Silva|ArXiv.org|May 29, 2009

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

ひとこと要約

本稿は、Banach空間における非線形摂動を受ける非自己同型線形微分方程式に対して、任意の増大関数 $\mu(t)$ によって定義される一般化された非一様分岐条件の下で、グローバルな $C^1$ 安定多様体の存在を確立する。従来の研究が指数関数的または多項式的分岐に限定されていたのに対し、著者らは非一様指数的および多項式的ケースを含むより広い分岐のクラスを導入し、適切な関数空間における不動点議論により不変多様体の存在を証明する。主な結果は、Gronwallの補題に依存せずに、小さな非線形摂動に対しても安定多様体の保存が保証されることである。

ABSTRACT

Assuming the existence of a general nonuniform dichotomy for the evolution operator of a non-autonomous ordinary linear differential equation in a Banach space, we establish the existence of invariant stable manifolds for the semiflow generated by sufficiently small nonlinear perturbations of the linear equation. The family of dichotomies considered satisfies a general growth rate given by some increasing differentiable function, allows situations for which the classical Lyapunov exponents are zero, and contains the nonuniform exponential dichotomies as a very particular case. In addition we also give explicit examples of linear equations that admit all the possible considered dichotomies.

研究の動機と目的

• 非一様指数的分岐を超えて、増大関数 $\mu(t)$ によって定義されるより広いクラスの非一様成長率にまで安定多様体理論を拡張すること。
• この一般化された分岐条件の下で、非自己同型線形方程式の小さな非線形摂動に対して、グローバルな $C^1$ 不変安定多様体の存在を証明すること。
• 非一様指数的および多項式的分岐を含む、すべての考察対象の分岐を満たす線形方程式の明示的例を提示すること。
• 解の推定においてGronwallの補題に依存する制限を克服し、数学的帰納法を用いることで推定を行うこと。

提案手法

• 著者らは、増大関数 $\mu(t)$ を用いて一般化された非一様分岐を定義し、指数的および多項式的分岐を一般化する。
• 候補となる安定多様体を表す連続的かつ有界でリーマン連続な写像の空間 $\mathcal{X}$ を構成する。
• 非線形作用素 $\Phi$ を $\mathcal{X}$ 上に定義し、摂動された力学系から導かれる不動点方程式の解に $\phi$ を写像する。
• 作用素 $\Phi$ の唯一の不動点の存在を、$\mu(t)$、$\mu'(t)$、および分岐の境界に依存する推定に基づく収縮写像議論によって証明する。
• 積分推定と発展作用素および非線形項の境界を用いて収縮性を確立し、Gronwallの補題を避けるために帰納法を用いる。
• 得られた不動点は、安定部分空間上の $C^1$ グラフを定義し、半群の下で不変かつグローバルに定義可能であることが示される。

実験結果

リサーチクエスチョン

• RQ1 非指数的分岐である非自己同型線形方程式に対し、安定多様体理論を非一様分岐へ拡張できるか？
• RQ2 成長率関数 $\mu(t)$ にどのような条件を課すと、小さな非線形摂動下でも $C^1$ 安定多様体の存在が保証されるか？
• RQ3 非指数的成長が存在する状況において、Gronwallの補題に依存しない収縮議論をどのように構築できるか？
• RQ4 考察対象の一般化分岐をすべて満たす線形方程式の明示的例は存在するか？
• RQ5 古典的リャプノフ指数がゼロである場合でも、安定多様体が存在しうるのか？

主な発見

• 本稿は、増大関数 $\mu(t)$ によって定義される一般化された非一様分岐条件の下で、非自己同型線形ODEの非線形摂動に対してグローバルな $C^1$ 安定多様体の存在を確立する。
• Gronwallの補題に依存せず、推定式 (41) の主要な推定を数学的帰納法により証明することで、収縮議論の根拠を確保する。
• 安定多様体はグローバルに定義されており、$C^1$ であることが示され、解写像のグラフは多様体の $C^1$ パarametrization である。
• 作用素 $\Phi$ の収縮定数は $\frac{3CD\delta}{|a-b-2\varepsilon|}$ で抑えられ、$\delta < \frac{|a-b-2\varepsilon|}{3CD}$ のとき、唯一の不動点が保証される。
• 理論は非一様指数的および多項式的分岐を特別なケースとして含み、著者らはこれらすべての分岐を満たす線形方程式の明示的例を提示する。
• 古典的リャプノフ指数がゼロである場合でも、理論はその状況を扱えることが示され、指数的減衰や増大がなくても安定多様体が存在しうることを示している。