[論文レビュー] On normal stability for nonlinear parabolic equations

Jan Pruess, Gieri Simonett+1 more|arXiv (Cornell University)|Nov 11, 2008

Nonlinear Partial Differential Equations参考文献 16被引用数 3

ひとこと要約

本稿は、均衡集合が $C^1$-滑らかで通常安定な多様体をなす場合に、非線形および完全非線形放物型方程式の解が均衡に収束することを確立する。最大正則性理論と中心多様体理論を避ける直接的手法を用いて、初期データが通常安定な均衡の近傍にある場合に、解の全域的存在と、多様体上のある均衡への指数的収束を証明する。

ABSTRACT

We show convergence of solutions to equilibria for quasilinear and fully nonlinear parabolic evolution equations in situations where the set of equilibria is non-discrete, but forms a finite-dimensional $C^1$-manifold which is normally stable.

研究の動機と目的

• 均衡集合が非離散的 $C^1$-多様体である場合に、準線形および完全非線形放物型方程式における解の均衡への収束を確立すること。
• 中心多様体理論の技術的道具を用いない、一般化された線形化安定性の原理の直接的かつ簡素化された証明を提供すること。
• [26]における $L_p$-最大正則性アプローチを、より広いクラスの完全非線形放物型方程式へと拡張すること。
• 半単純なゼロ固有値および安定な固有値部分が、均衡多様体への収束に十分であることを示すこと。
• 初期データが均衡多様体の近傍にある場合に、収束が指数的かつ一様であることを示すこと。

提案手法

• 与えられた均衡 $u_*$ の周囲で変数変換 $v = u - u_*$ を行い、摂動方程式 $\dot{v} + Av = G(v)$ を得る。
• Banach空間設定 $\mathbb{E}_0(J)$ および $\mathbb{E}_1(J)$ における最大正則性理論を用いて、時間区間における解のノルムを制御する。
• 線形化 $A$ の核および安定固有値部分に対応するスペクトル射影 $P_c$ と $P_s$ を用いて、状態空間を中心部分空間と安定部分空間に分解する。
• 指数的重み $e^{\sigma t}$ を用いた重み付き関数空間における収縮写像を定義し、長時間挙動と減衰推定を保証する。
• 非線形写像 $\phi$ の非拡大性および非線形剰余項 $R(x,y)$ に対する推定を用いて、収縮の議論を閉じる。
• 安定成分 $y(t)$ の指数的減衰と中心成分 $x(t)$ が極限 $x_\infty$ に収束することを確立し、$v(t) \to v_\infty$ が $X_\gamma$-ノルムで成り立つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 完全非線形放物型方程式の解が、非離散的 $C^1$-多様体である均衡集合上の均衡に収束する条件は何か？
• RQ2 中心多様体理論を完全に用いずに、均衡への収束を証明できるか？
• RQ3 最大正則性は、通常安定な設定における収束証明を簡素化する上で果たす役割は何か？
• RQ4 線形化の半単純なゼロ固有値および安定な固有値部分の条件は、均衡多様体への収束に必要か？
• RQ5 解の指数的減衰率は、初期データおよび線形化作用素の固有値特性にどのように依存するか？

主な発見

• 初期データが多様体に十分近い場合、準線形および完全非線形放物型方程式の解は、通常安定な多様体上のある均衡に指数的に収束する。
• 収束率は指数的であり、ある $\omega > 0$ および $M > 0$ に対して、$|u(t) - u_\infty|_\gamma \leq M e^{-\omega t} |P_s v_0 - \phi(P_c v_0)|_\gamma$ が成り立つ。
• 中心多様体理論を回避するため、最大正則性と重み付き関数空間における直接的収縮議論を用いた証明がなされた。
• 均衡多様体 $\mathcal{E}$ は $u_*$ の近傍で局所的に一意であり、$u_*$ の近傍に他の均衡は存在しない。
• 線形化の半単純なゼロ固有値および安定な固有値部分の条件は、多様体への収束に必要であり、[26]における反例によって示された。
• 本手法は、幾何的発展方程式、相転移、自由境界問題など、広いクラスの問題に適用可能であり、一様収束結果が得られる。