[論文レビュー] Asymptotic Estimates and Qualitatives Properties of an Elliptic Problem in Dimension Two

Khalil El Mehdi, Massimo Grossi|ArXiv.org|May 15, 2003

Advanced Mathematical Modeling in Engineering参考文献 11被引用数 5

ひとこと要約

本稿は、非線形性のべきが非常に大きい2次元の半線形楕円型方程式に対する最小エネルギー解の漸近的挙動を調査する。解をスケーリングし、その極限を分析することで、スケーリングされた解が $5c\mathbb{R}^2$ におけるLiouville型方程式 $-\Delta u = e^u$ の解に収束することを示し、指数 $p \to \infty$ の極限において、元の問題とこの極限問題との明確な関係を確立する。この結果により、単一のスパイクの形成が確認され、グリーン関数および極限方程式の正規化された解を用いてそのプロファイルが特徴づけられる。

ABSTRACT

In this paper we study a semilinear elliptic problem on a bounded domain in $\R^2$ with large exponent in the nonlinear term. We consider positive solutions obtained by minimizing suitable functionals. We prove some asymtotic estimates which enable us to associate a "limit problem" to the initial one. Usong these estimates we prove some quantitative properties of the solution, namely characterization of level sets and nondegeneracy.

研究の動機と目的

• 有界領域 $\Omega \subset \mathbb{R}^2$ における半線形楕円型問題 $-\Delta u + \lambda u = u^p$ の最小エネルギー解の漸近的挙動を、$p \to \infty$ のとき理解すること。
• 指数 $p$ が大きい場合の解の $L^\infty$ ノルムおよび集中プロファイルの明確な漸近的推定を導出すること。
• 解の発散挙動を支配する極限問題を同定すること。
• 極限プロファイルを用いて、レベル集合および非退化性の性質を定性的に特徴づけること。

提案手法

• 関数 $J_\lambda(u)$ を $H^1_0(\Omega)\setminus\{0\}$ 上で最小化することにより、最小エネルギー解 $u_{\lambda,p}$ を定式化する変分的最小化フレームワークの使用。
• 解の集中点にズームインするためのスケーリング：$\varphi_{\lambda,p}(x) = (p-1)\log\left(\frac{u_{\lambda,p}}{\|u_{\lambda,p}\|_\infty}\left(x_{\lambda,p} + \frac{x}{\sqrt{p-1}\|u_{\lambda,p}\|_\infty^{(p-1)/2}}\right)\right)$。
• 極限 $p_n \to \infty$ におけるスケーリングされた列 $\varphi_{\lambda,p_n}$ の分析により、$C^2_{\text{loc}}(\mathbb{R}^2)$ で $-\Delta u = e^u$ の解に収束することを示し、$e^u$ の全 $L^1$ ノルムが有限であることを確認。
• グリーン関数およびその正則部を用いて、集中点 $x_0$ が関数 $R(x) = g(x,x)$ の臨界点として特徴づけられることを示す。ここで $g$ はグリーン関数の正則部である。
• コンパクト性の議論およびSobolev型不等式を用いて、スケーリングされた関数の $L^p$ および $H^1$ ノルムを制御する。
• 半空間におけるLiouville型定理および解のプロファイルの減衰を用いた背理法により、非自明な極限が存在しないことを証明し、極限プロファイルの一意性および減衰性を確認する。

実験結果

リサーチクエスチョン

• RQ1 指数 $p \to \infty$ のとき、最小エネルギー解 $u_{\lambda,p}$ の $L^\infty$ ノルムの漸近的挙動はいかなるものか？
• RQ2 指数 $p$ が大きくなるにつれて、解は空間的にどのように集中するのか？ その集中プロファイルはどのようなものか？
• RQ3 スケーリングされた解の発散極限を支配する極限偏微分方程式は何か？
• RQ4 $p$ が大きい領域において、解のレベル集合はどのように振る舞うか？
• RQ5 最小エネルギー解は極限において非退化的であるか？ これは一意性および安定性にどのような意味を持つのか？

主な発見

• $p \to \infty$ のとき、最小エネルギー解の $L^\infty$ ノルムは $\|u_{\lambda,p}\|_\infty^{p-1} \to \infty$ を満たす。
• 適切なスケーリングの後、解は $C^2_{\text{loc}}(\mathbb{R}^2)$ で $-\Delta u = e^u$ の解に収束し、$\bar{\mu}^2 = 1/8$ を満たす。具体的には $U_{\bar{\mu},0}(x) = \log\left(\frac{8\bar{\mu}^2}{(1 + \bar{\mu}^2|x|^2)^2}\right)$ である。
• 集中点 $x_{\lambda,p}$ は、$\Omega$ 内の点 $x_0$ に収束し、$g$ がグリーン関数の正則部であるとき、関数 $R(x) = g(x,x)$ の臨界点として特徴づけられる。
• 解 $u_{\lambda,p}$ のレベル集合は、集中点の近傍で漸近的に球面的になる。また、解は極限において非退化的である。
• 極限問題は $5c\mathbb{R}^2$ 上のLiouville方程式であり、これは高次元における臨界定常および臨界指数問題の極限問題の2次元版として自然な対応を示す。
• 証明は、半空間におけるLiouville定理およびスケーリングされたプロファイルの減衰を用いた背理法に依拠しており、唯一の可能な極限がゼロであることが示され、正規化の条件を満たすためには集中点が無限遠に逸脱しなければならないことを裏付ける。