[論文レビュー] An infinite dimensional Duffing-like evolution equation with linear dissipation and an asymptotically small source term

Marina Ghisi, Massimo Gobbino+1 more|arXiv (Cornell University)|Oct 23, 2017

Nonlinear Dynamics and Pattern Formation参考文献 12被引用数 9

ひとこと要約

本稿は、線形減衰項と小さな漸近的に消える源項を伴う無限次元のダフィング型発展方程式を研究する。初期データおよび外力が十分に小さい場合、すべての解は3つの可能な漸近的状態（2つの非自明な安定平衡点または原点）のいずれかに収束することを証明する。これは、非局所的非線形減衰項および源項を有する抽象的双曲型偏微分方程式への古典的ダフィング挙動の拡張である。

ABSTRACT

We consider an abstract nonlinear second order evolution equation, inspired by some models for damped oscillations of a beam subject to external loads or magnetic fields, and shaken by a transversal force. When there is no external force, the system has three stationary positions, two stable and one unstable, and all solutions are asymptotic for $t$ large to one of these stationary solutions.We show that this pattern extends to the case where the external force is bounded and small enough, in the sense that solutions can exhibit only three different asymptotic behaviors.

研究の動機と目的

• ヒルバート空間の枠組みにおいて、2階非線形発展方程式の長時間漸近的挙動を分析すること。
• 3つの平衡点（2つの安定、1つの不安定）を特徴とする古典的ダフィング方程式のダイナミクスを、非局所的非線形性を有する無限次元設定に拡張すること。
• 外力が小さい場合でも、3分岐の漸近的構造が保たれることを確立すること、すなわち抽象的非局所PDEに対しても成立すること。
• 初期データおよび外力が小さい条件下で、解が3つの可能な平衡点のいずれかに収束することを厳密に証明すること。
• スペクトル射影および強制性推定を用いた関数解析的枠組みを構築し、方程式内の非線形結合を扱うこと。

提案手法

• 空間微分をモデル化する自己共役正定値作用素 A を用いた抽象的ヒルバート空間における方程式の定式化。
• スペクトル分解およびスケーリングを用いて、最初の固有空間における摂動付きダフィング型方程式に問題を還元。
• エネルギー推定および線形化作用素 L の強制性を用いて、非線形剰余項を制御。
• エネルギー減衰推定を用いたリャプノフ型議論を適用し、平衡点への収束を示す。
• 安定および不安定部分空間（H_+ および H_-）への分解を用いて、各平衡点付近の力学を分離。
• 初期データおよび外力の小さな仮定を用いた不動点議論と収縮推定を用いて、収束を保証。

実験結果

リサーチクエスチョン

• RQ1 古典的ダフィング方程式の3平衡点漸近的構造は、非局所的非線形性および無限次元双曲型PDE設定でも保持されるか？
• RQ2 初期データおよび外力項にどのような条件を課すと、解が原点または ±σ₀e₁ のいずれかの平衡点に収束し、混沌的または有界でない挙動を示さないか？
• RQ3 線形減衰項および非線形非局所源項の存在が、解の長期的安定性にどのように影響するか？
• RQ4 外力項の小ささが、外力なしの系の定性的な挙動をどの程度保つのか？
• RQ5 強制性およびスペクトル分解技術を用いて、非線形非斉次無限次元発展系における平衡点への収束を証明できるか？

主な発見

• 初期データおよび外力が十分に小さい場合、ダフィング型方程式のすべての解は、原点または2つの非自明な対称的平衡点のいずれかに強く収束する。
• 収束はエネルギーノルムにおいて一様である：lim_{t→∞} (|u'(t)|² + |Au(t)|²) = 0 であり、これは定常解への強い収束を意味する。
• 漸近的挙動は位相的に安定である：初期条件に応じて、すべての十分に大きな t において解は3つの平衡点のいずれかに近いままである。
• 外力項 f(t) が有界であり、limsup_{t→∞} |f(t)|² < ∞ を満たすものとし、初期データに対しても追加の小さな条件を課す限り、結果は成り立つ。
• 証明は線形化作用素の強制性および非線形剰余項を初期エネルギーの小ささによって制御するための事前推定に依存する。
• 外力が時間に依存しても漸近的に小さい限り、初期データが十分に小さい限り、3分岐構造（原点および2つの対称的平衡点）は維持される。