[論文レビュー] Convergence to equilibrium for the semilinear parabolic equation with dynamical boundary condition

Hao Wu|arXiv (Cornell University)|Apr 26, 2012

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

ひとこと要約

本稿は、時間の経過に伴い、動的境界条件を伴う非線形放物型方程式のグローバル解が、単一の平衡状態に収束することを確立する。非線形性 $ f $ が解析的かつ下臨界成長を満たすと仮定し、エネルギー減衰解析と Łojasiewicz-Simon 不等式を用いて、$ H^1(\bar{u}) $-位相での収束を証明する。$ u \to 0 $ が $ L^2(\nu) $ で成り立つことにより、長期的安定性と定常解への収束が保証される。

ABSTRACT

This paper is concerned with the asymptotic behavior of the solution to the semilinear parabolic equation with dynamical boundary condition. Our main goal is to prove the convergence of a global solution to an equilibrium as time goes to infinity by means of a suitable Łojasiewicz--Simon type inequality.

研究の動機と目的

• 動的境界条件を伴う非線形放物型方程式のグローバル解が、時間の経過に伴い単一の平衡状態に収束することを確立すること。
• 非自己同次的または非ディリクレ型の設定において、Łojasiewicz-Simon 不等式の枠組みを放物型PDEに拡張すること。
• 非線形性 $ f $ が解析的かつ下臨界成長を満たし、適切な強制的条件（F3）が成り立つ場合、解が $ H^1(\bar{\nu}) $-ノルムで単一の平衡状態に収束することを証明すること。
• 高次元におけるコンパクト性の欠如に起因する課題を、エネルギー減衰と勾配流構造を用いて克服すること。
• ディリクレ境界条件から動的境界条件への収束結果の一般化を図ること。ここで境界の時間発展は内部ダイナミクスと結合されている。

提案手法

• 動的境界条件が誘導する $ H^1(\bar{\nu}) $-構造に適合した、放物型PDEに関連するエネルギー汎関数に特化した Łojasiewicz-Simon 不等式を用いる。
• 解の沿道で単調減少であるリャプノフ型エネルギー汎関数 $ E(u) = \frac{1}{2}\big(\norm{\nabla u}^2 + \norm{u}^2_{L^2(\nu)}\big) + \norm{F(u)}_{L^1(\nu)} $ を採用する。
• 精密化されたエネルギー減衰推定式：$ \frac{d}{dt}(E(u) - E(\bar{\nu}))^\theta + \frac{\theta}{2}(\norm{-\nabla u + f(u)}^2 + \norm{u_t}_{L^2(\nu)}) \to 0 $ を適用し、収束速度を制御する。ここで $ \theta \to (0, 1/2) $ である。
• 半群理論と不動点反復を用いて、動的境界設定に適合した $ C([0,\tau]; H^1(\bar{\nu})) \times C((0,\tau); H^2(\bar{\nu})) $ における局所的解の存在と一意性を確立する。
• 解の軌道が $ H^1(\bar{\nu}) $ でコンパクトであること、および $ u_t \to 0 $ が $ L^2(\nu) $ で成り立つことを利用して、収束する部分列を抽出する。
• 解の振動を排除し収束を確認するために、$ \norm{u - \bar{\nu}}_{H^1} < \beta_0 $ を満たす最大時刻 $ \bar{t}_n $ を根拠とした背理法を用いる。

実験結果

リサーチクエスチョン

• RQ1 高次元においても、動的境界条件を伴う非線形放物型方程式のグローバル解は、$ t \to \infty $ のとき単一の平衡状態に収束するか？
• RQ2 境界の時間発展が時間微分に依存する場合、動的境界条件を伴う放物型PDEに Łojasiewicz-Simon 不等式を拡張できるか？
• RQ3 非線形性 $ f $ が解析的かつ下臨界成長を満たすなどの条件下で、エネルギー汎関数が単一の平衡状態への収束を保証する条件は何か？
• RQ4 境界項 $ \nu u + u_t = 0 $ が、標準的なディリクレ条件やノイマン条件と比較して、長期的挙動に与える影響は何か？
• RQ5 コンパクトなグローバルアトラクタの仮定を外し、エネルギー減衰と勾配流構造に依存して収束結果を確立できるか？

主な発見

• 初期データ $ u_0 \to H^1(\bar{\nu}) $ に対して、問題は $ C([0,\infty); H^1(\bar{\nu})) \times C((0,\infty); H^2(\bar{\nu})) $ における一意なグローバル解を有する。また、境界値 $ \nu(u) \to C([0,\infty); H^{1/2}(\nu)) $ を有する。
• 初期データ $ u_0 \to L^{4n/(n-2)}(\nu) $ かつ $ \nu(u_0) \to L^{4n/(n-2)}(\nu) $ が $ n \to 3 $ を満たす場合、解は $ t \to \infty $ のとき $ H^1(\bar{\nu}) $-ノルムで平衡状態 $ \bar{\nu}(x) $ に収束する。
• 収束は強い：$ \norm{u(t) - \bar{\nu}}_{H^1(\bar{\nu})} + \norm{u_t(t)}_{L^2(\nu)} \to 0 $ が $ t \to \infty $ のとき成り立ち、状態と時間微分が極限で両方とも消えることを示す。
• 平衡状態 $ \bar{\nu}(x) $ は、$ \nu $ 内で $ -\nabla^2 \bar{\nu} + f(\bar{\nu}) = 0 $ を満たす強解であり、境界上では $ \nu \bar{\nu} + \bar{\nu} = 0 $ を満たす。
• 解が複数の平衡状態の近傍で無限に振動しないことを保証するため、エネルギー差 $ E(u) - E(\bar{\nu}) $ を制御するために Łojasiewicz-Simon 不等式が根拠となる。
• エネルギー汎関数 $ E(u) $ は単調減少であり、$ E(\bar{\nu}) $ に収束する。また、$ (E(u) - E(\bar{\nu}))^\theta $ を用いた減衰率の評価により、$ \norm{u_t} $ の可積分性が得られ、$ u(t) $ の収束が示される。