[論文レビュー] Asymptotic behaviour for a diffusion equation governed by nonlocal interactions

Armel Andami Ovono|arXiv (Cornell University)|Apr 29, 2010

Advanced Mathematical Modeling in Engineering参考文献 10被引用数 4

ひとこと要約

本稿は、非局所的積分関数に依存する拡散係数を有する非局所的非線形放物型PDEの漸近的挙動を調査する。$L^\infty$ 評価のためのモーザー反復法とコンパクト性の議論を用いて、グローバルアトラクタの存在を確立し、一意的なグローバル定常解の分岐が安定解から成ることを証明する。これにより、回転対称性と非増加性 $a$ の下で、解がこの分岐へ長時間にわたって収束することが保証される。

ABSTRACT

In this paper we study the asymptotic behaviour of a nonlocal nonlinear parabolic equation governed by a parameter. After giving the existence of unique branch of solutions composed by stable solutions in stationary case, we gives for the parabolic problem $L^\infty $ estimates of solution based on using the Moser iterations and existence of global attractor. We finish our study by the issue of asymptotic behaviour in some cases when $t o \infty$.

研究の動機と目的

• 非局所的放物型PDEの解の長時間挙動を解析すること。
• 一般の $L^2$ 初期値および外力データのもとで弱解の存在と一意性を確立すること。
• 一意的なグローバル定常解の分岐が安定解から成ることを証明すること。
• コンパクト性および吸収集合の議論を用いて、$H^1_0(\Omega)$ におけるグローバルアトラクタの存在を示すこと。
• 回転対称性および $a$ の非増加性の下で、解の漸近的安定性を示すこと。

提案手法

• 弱解の存在を示すために、シュアウトシュの不動点定理を用いる。
• $L^2$ および $H^1$ 界から $L^\infty$ 評価を導くために、モーザー反復法を適用する。
• エネルギー推定とポincare-Sobolev不等式を用いて、$H^1_0(\Omega)$ における吸収集合を確立する。
• $H^1_0$ から $L^2$ へのコンパクト埋め込みを用いて、$t$ が十分に大きいときの半群 $S(t)$ の一様コンパクト性を証明する。
• 極値解 $u_0$ および $u_d$ を用いた比較原理を適用し、すべての $t \geq 0$ で $u_0 \leq u \leq u_d$ が成り立つことを確立する。
• $a$ の非増加性を用いて、拡散項の差の符号変化を制御し、$u_d - u$ の負の部分の減衰を保証する。

実験結果

リサーチクエスチョン

• RQ1 非局所問題における一意的なグローバル定常解分岐は、すべて安定解から成るか？
• RQ2 放物型問題は $H^1_0(\Omega)$ にグローバルアトラクタを有するか？
• RQ3 非局所的拡散のもとで、モーザー反復法を用いて $L^\infty$ 界を導出できるか？
• RQ4 $t \to \infty$ のとき、解はどのように漸近的に振る舞うか？
• RQ5 解 $u(t)$ が安定なグローバル分岐へ収束するための条件は何か？

主な発見

• 文献[3]で以前に同定された、一意的なグローバル定常解分岐が、すべて安定解から成ることを証明した（定理3.8）。
• $L^2$ および $H^1$ 界に基づいて、モーザー反復法を用いて解の $L^\infty$ 評価を確立した。
• $H^1_0(\Omega)$ に吸収集合が存在し、これは半群 $S(t)$ に対してグローバルアトラクタの存在を示唆する。
• 仮定 $f,g \geq 0$ および $u_0 \leq u^0 \leq u_d$ の下で、すべての $t \geq 0$ で $u_0 \leq u(t) \leq u_d$ が成り立つ。これにより有界性が保証される。
• 解 $u(t)$ は $t \to \infty$ のとき、安定なグローバル分岐へ収束するが、$L^2$ ノルムはリャプノフ関数でないため、収束解析は非自明である。
• 理論的直観の正当化のため、数値的検証が次なる重要なステップであると提言される。