[論文レビュー] Geometric theory of inertial manifolds for compact cocycles in Banach spaces

Mikhail Anikushin|arXiv (Cornell University)|Dec 7, 2020

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

ひとこと要約

本稿は、バナッハ空間におけるコンパクトなコサイクルのための慣性多様体の幾何学的理論を構築し、二次的リャプノフ汎関数に関する圧縮条件の下で、その存在および主要な性質（指数的追従性、滑らかさ、正規双曲性）を確立する。この枠組みは、半線形放物型方程式の古典的結果を一般化し、ODE、遅延微分方程式、境界制御付き系へと拡張可能であり、低次元ダイナミクスにおける圧縮性の検証には周波数定理が用いられる。

ABSTRACT

We present a geometric theory of inertial manifolds for compact cocycles (non-autonomous dynamical systems), which satisfy a certain squeezing property with respect to a family of quadratic Lyapunov functionals in a Banach space. Under general assumptions we show that these manifolds posses classical properties such as exponential tracking, differentiability and normal hyperbolicity. Our theory includes and largely extends classical studies for semilinear parabolic equations by C. Foias, G. R. Sell and R. Temam (based on the Spectral Gap Condition) and by G. R. Sell and J. Mallet-Paret (based on the Spatial Averaging) and their further developments. Besides semilinear parabolic equations our theory can be applied also to ODEs, ODEs with delay (extending the inertial manifold theories of Yu. A. Ryabov, R. D. Driver and C. Chicone for delay equations with small delays), parabolic equations with delay and parabolic equations with boundary controls (nonlinear boundary conditions). In applications, the squeezing property can be verified with the aid of various versions of the Frequency Theorem, which provides optimal (in some sense) and flexible conditions. This flexibility gives a possibility in applications to obtain conditions for low-dimensional dynamics, including, in particular, developments of the Poincare-Bendixson theory and convergence theorems from a series of papers by R. A. Smith.

研究の動機と目的

• 非-autonomous力学系（コンパクトなコサイクル）のバナッハ空間における慣性多様体の幾何学的理論を確立すること。
• スペクトルギャップや空間平均に基づく古典的慣性多様体理論を、ODE、遅延微分方程式、境界制御付き放物型PDEを含むより広い方程式クラスへと拡張すること。
• 二次的リャプノフ汎関数に関する圧縮性が、古典的性質を有する慣性多様体の存在を保証する統一的枠組みを提供すること。
• 周波数定理を用いて圧縮条件の検証を可能とし、低次元ダイナミクスに向けた柔軟かつ最適な条件を提供すること。
• 非線形力学系における収束定理およびPoincaré-Bendixson型結果への応用を拡張すること。

提案手法

• バナッハ空間内での二次的リャプノフ汎関数の族を用いて圧縮性を形式化し、ダイナミクスが有限次元の遅い多様体へ収縮することを保証する。
• 一般仮定の下で幾何学的手法を用いて、指数的追従性および滑らかさを含む慣性多様体の存在を証明する。
• 周波数定理を主要な解析的道具として用い、放物型方程式や遅延付き系を含むさまざまな設定において圧縮条件の検証を行う。
• 線形化コサイクルを多様体上に制限したときのスペクトル性質を分析することで、慣性多様体の正規双曲性を確立する。
• コサイクル構造を時間依存の発展とみなすことにより、非-autonomous系へと理論を拡張し、幾何学的・解析的構造を保つ。
• ODE、遅延微分方程式、非線形境界条件を伴う放物型PDEにこの枠組みを適用し、古典的半線形放物型方程式を超える広範な適用可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 バナッハ空間におけるコンパクトなコサイクルが、指数的追従性および滑らかさを有する慣性多様体をもつ一般的条件は何か？
• RQ2 古典的スペクトルギャップおよび空間平均条件は、慣性多様体のための単一の幾何学的枠組み内でどのように統合・一般化できるか？
• RQ3 半線形放物型方程式を超えるどの種の力学系において、二次的リャプノフ汎関数に関する圧縮性を検証・適用できるか？
• RQ4 周波数定理は、多様な力学系において圧縮条件の検証に柔軟かつ最適な道具としてどの程度機能するか？
• RQ5 この理論は、無限次元系におけるPoincaré-Bendixson型結果および収束定理の拡張を支援できるか？

主な発見

• 本理論は、二次的リャプノフ汎関数に関する圧縮条件の下で、バナッハ空間におけるコンパクトなコサイクルの慣性多様体の存在を確立する。
• これらの慣性多様体は、古典的性質を有する：軌道の指数的追従性、C^1-滑らかさ、正規双曲性。
• 本理論は、Foias, Sell, Temam（スペクトルギャップ）およびMallet-Paret, Sell（空間平均）の古典的結果を、非-autonomousおよびより一般の系へと一般化・拡張する。
• 理論は、ODE、遅延微分方程式（Ryabov, Driver, Chiconeによる小遅延拡張を含む）、遅延付き放物型方程式、非線形境界制御付き放物型方程式へ適用可能である。
• 圧縮条件は周波数定理を用いて検証可能であり、低次元ダイナミクスに最適かつ柔軟な基準を提供する。
• 本アプローチにより、収束定理およびPoincaré-Bendixson型結果の新たな展開が可能となり、特に周波数定理の適用可能性の観点から顕著である。