[論文レビュー] Asymptotic behavior of solutions of semilinear elliptic equations in unbounded domains: two approaches

Efendiev, Messoud, François Hamel|arXiv (Cornell University)|Jul 22, 2010

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

ひとこと要約

本稿は、境界にディリクレ条件を満たす第1象限または第2象限などの非有界領域における半線形楕円型方程式の非負有界解の漸近的挙動を調査する。最大原理、スライディング法、および新しいリウヴィル型定理に基づく純粋な偏微分方程式（PDE）的手法と、空間変数を時間的パラメータとして扱う力学系的手法の2つの異なる手法を用いて、無限遠における1次元的または定数型の極限的プロファイルの一意性と特徴付けを確立する。非線形項に特定の符号および単調性条件が満たされれば、初期データに依存せず、一意的なプロファイルへの収束が保証される。

ABSTRACT

In this paper, we study the asymptotic behavior as $x_1\ o+\\infty$ of solutions of semilinear elliptic equations in quarter- or half-spaces, for which the value at $x_1=0$ is given. We prove the uniqueness and characterize the one-dimensional or constant profile of the solutions at infinity. To do so, we use two different approaches. The first one is a pure PDE approach and it is based on the maximum principle, the sliding method and some new Liouville type results for elliptic equations in the half-space or in the whole space~$\\mathbb{R}^N$. The second one is based on the theory of dynamical systems.

研究の動機と目的

• 非有界領域（例：第1象限や第2象限）における半線形楕円型方程式の解のスケールが大きい空間的挙動を理解すること。
• 空間変数 $x_1 \to +\infty$ のときの解の極限的プロファイルを特定すること、特に1次元的または定数解に収束するかどうかを明らかにすること。
• 非線形項 $f$ に適切な構造的仮定がなされれば、$f(0) = 0$ であっても、初期データ $u_0$ にかかわらず、漸近的プロファイルの一意性を確立すること。
• 長期間の空間的挙動を解析するための2つの異なる解析的枠組み—PDEに基づく手法と力学系理論—を比較・対比すること。
• 非線形項 $f$ に関する所定の仮定のもとで、解が無限遠でゼロから一様に分離され、初期データに依存せず一意的なプロファイルに収束することを証明すること。

提案手法

• 最大原理とスライディング法を用いたPDEに基づく手法により、解と下解を比較し、単調性および収束性の性質を確立する。
• 半空間 $\mathbb{R}^{N-1} \times (0,\infty)$ および $\mathbb{R}^N$ におけるディリクレ境界条件を満たす楕円型方程式に対して、新たなリウヴィル型定理を導出する。これらは極限的プロファイルの一意性を証明する上で中心的な役割を果たす。
• 空間変数 $x_1$ を時間変数とみなす力学系的手法を採用し、解の流れを平行移動半群 $T_h u(x) = u(x + h e_1)$ を用いて分析する。
• 軌道力学系の枠組みにおいて、グローバルアトラクター $A_{\text{tr}}$ を構成し、$A_{\text{tr}} = \Pi_{\overline{\Omega}} K^+(\widetilde{\Omega})$ という表現式を用いて、アトラクターと解空間を関連付ける。
• コンパクトネスの議論とカントールの対角線法を用いて、平行移動された解の収束する部分列を抽出し、$C^{2,\beta}_{\text{loc}}$ および $C^{2,\beta}_b$ 位相における極限プロファイルの同定を行う。
• 表現式および平行移動に関する不変性を応用し、アトラクターが完全に不連結であることを証明し、$f(0) = 0$ であっても $u_0 \not\equiv 0$ のとき、すべての解が同じプロファイルに収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 非線形項 $f$ にどのような条件下で、非有界領域における半線形楕円型方程式の解が $x_1 \to +\infty$ のとき一意的な1次元的プロファイルに収束するか？
• RQ2 非線形項 $f(0) = 0$ であっても、初期データ $u_0 \not\equiv 0$ のとき、漸近的プロファイルは初期データに依存せず特徴付けられるか？
• RQ3 最大原理およびリウヴィル型定理は、非有界領域における極限的プロファイルの一意性と構造の証明において、果たす役割は何か？
• RQ4 力学系的手法とPDE手法の間で、強さと一般性の観点から、長期間の空間的挙動を捉える能力にどのような差があるか？特に、無限遠でのゼロからの分離を捉える能力について。
• RQ5 極限的プロファイルへの収束が、横方向変数 $(x', x_N)$ において一様に成り立つか、それとも局所的であるにとどまるか？

主な発見

• 任意の非負有界解 $u$ に対して、$\Omega = (0,\infty) \times \mathbb{R}^{N-2} \times (0,\infty)$ において $u_0 \not\equiv 0$ ならば、$\liminf_{R \to \infty} \inf_{(R,\infty) \times \mathbb{R}^{N-2} \times (R,\infty)} u \geq \mu$ が成り立つ。これは、解が無限遠でゼロから一様に分離されていることを示している。
• 解は $x_1 \to \infty$ のとき、任意の $A \in \mathbb{R}$, $B > 0$, $\beta \in [0,1)$ に対して、$[A,\infty) \times \mathbb{R}^{N-2} \times [0,B]$ 上のコンパクト集合で $C^{2,\beta}_b$ 位相において、一意的な1次元的プロファイル $V(x_N)$ に収束する。ここで $V$ は $V'' + f(V) = 0$ を満たし、$V(0) = 0$, $V(+\infty) = \mu$, かつ $V' > 0$ を満たす。
• PDE手法により、$f(0) = 0$ であっても、$\liminf_{s \to 0^+} f(s)/s > 0$ が成り立てば、すべての $u_0 \not\equiv 0$ に対して極限的プロファイルが $V(x_N)$ であることが示された。これは力学系手法では直接捉えられていない。
• 力学系手法により、平行移動半群に対してグローバルアトラクター $A_{\text{tr}}$ の存在が証明され、$A_{\text{tr}}$ が完全に不連結であることが示された。これは、すべての解が同じプロファイルに収束することを意味する。
• 表現式 $A_{\text{tr}} = \Pi_{\overline{\Omega}} K^+(\widetilde{\Omega})$ を用いることで、アトラクターが全空間 $\mathbb{R}^N_+$ における有界解の空間と関連づけられ、漸近的プロファイルの特徴付けが可能になった。
• PDE手法は、横方向変数における一様収束を含むより強い収束結果をもたらすが、力学系手法では局所的位相の使用のため、収束が局所的であるにとどまる。