[論文レビュー] Sharp estimates for semi-stable radial solutions of semilinear elliptic equations

Salvador Villegas|ArXiv.org|Jun 8, 2009

Nonlinear Partial Differential Equations参考文献 9被引用数 4

ひとこと要約

本稿は、単位球における半線形楕円型方程式の半安定径対称解について、鋭い点ごとの推定を確立する。特に、ディリクレ境界条件を満たす方程式 $-\Delta u = \lambda f(u)$ の極値解について、$N \geq 10$ の場合、極値解およびその最初の3つの径方向微分係数が原点付近で最適な漸近的挙動を示すことを証明する。これにより、先行研究における $\sqrt{\left|\log|x|\right|}$ 要因が除去され、これらの境界の鋭さを示すために、$H^1$ 空間に属する非有界な解の広い族を構成する。

ABSTRACT

This paper is devoted to the study of semi-stable radial solutions $u\in H^1(B_1)$ of $-Δu=g(u) {in} B_1\setminus \{0\}$, where $g\in C^1(R)$ is a general nonlinearity and $B_1$ is the unit ball of $R^N$. We establish sharp pointwise estimates for such solutions. As an application of these results, we obtain optimal pointwise estimates for the extremal solution and its derivatives (up to order three) of the semilinear elliptic equation $-Δu=λf(u)$, posed in $B_1$, with Dirichlet data $u|_{\partial B_1}=0$, and a continuous, positive, nondecreasing and convex function $f$ on $[0,\infty)$ such that $f(s)/s o\infty$ as $s o\infty$.

研究の動機と目的

• 単位球 $B_1 \setminus \{0\}$ における $-\Delta u = g(u)$ の半安定径対称解について、鋭い点ごとの推定を確立すること。ここで $g \in C^1(\mathbb{R})$ である。
• 単位球内での方程式 $-\Delta u = \lambda f(u)$ の極値解 $u^*$ について、既存の推定を改善すること。ここで $f$ は非減少かつ凸であり、$s \to \infty$ のとき $f(s)/s \to \infty$ である。
• $N \geq 10$ の場合に、先行研究における $\sqrt{\left|\log|x|\right|}$ 要因の除去という未解決の問題を解消すること。
• $N \geq 10$ の場合に、半安定で径方向に減少する、非有界な $H^1(B_1)$ 解の広い族を構成し、導出された境界の鋭さを示すこと。

提案手法

• 半線形楕円型方程式の径方向常微分方程式形式の分析を通じて、径対称解の点ごとの推定を導出する。
• 問題を $\varphi(r)$ 及びその微分の挙動の解析に還元するために、$u_r = -r^{-N/2 + \sqrt{N-1} + 1} \varphi(r)$ を含む変換を用いる。
• 比較論的議論と漸近的解析を用いて、特に $N \geq 10$ の場合に、$r = 0$ に近い $u^*$ 及びその微分の成長を制御する。
• $C^2$ 関数 $h$ を用いた摂動枠組み（$h(0) = 0$、$h' \geq 0$、$h'' \leq 0$）を用い、与えられた点における $u_{rrr}$ の所望の挙動を持つ解を構成する。
• 解の族 $\{r_n\}$ および $\{M_n\}$ を構成することで、境界の鋭さを確立する。ここで $|u_{rrr}(r_n)| \geq M_n$ が非有界解に対して成り立つ。これにより、$\psi(r)$ が可積分な上界として存在しないことが示される。
• コンパクト台付き $v$ に対して $\int_{B_1} (|\nabla v|^2 - g'(u)v^2)\,dx \geq 0$ を満たす半安定性条件を用いて、解が半安定であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 $N \geq 10$ の場合に、極値解の先行推定における $\sqrt{\left|\log|x|\right|}$ 要因を除去できるか。
• RQ2 $N \geq 10$ の場合に、径対称解としての極値解 $u^*$ 及びその最初の3階微分係数の最適な点ごとの減衰率は何か。
• RQ3 極値解 $u^*$ 及びその微分係数の漸近的挙動は鋭いか。この鋭さは、非有界な $H^1$ 解の明示的構成によって示せるか。
• RQ4 すべての半安定で径方向に減少する $H^1$ 解について、$g, g' \geq 0$ かつ $N \geq 10$ の場合に、$|u_{rrr}(r)| \leq C\psi(r)$ を満たす普遍的な上界 $\psi(r)$ が存在するか。
• RQ5 $N \geq 10$ の場合に、原点付近における極値解の第三階径方向微分係数の正確な爆発率は何か。

主な発見

• $N < 10$ の場合、極値解はすべての $r \in [0,1]$ に対して $u^*(r) \leq C(1 - r)$ を満たし、境界での有界性およびホルダー連続性を示す。
• $N = 10$ の場合、極値解はすべての $r \in (0,1]$ に対して $u^*(r) \leq C|\log r|$ を満たし、鋭い対数的成長が確認される。
• $N > 10$ の場合、極値解は $u^*(r) \leq C(r^{-N/2 + \sqrt{N-1} + 2} - 1)$ を満たし、指数 $-N/2 + \sqrt{N-1} + 2$ のべき乗的爆発を示す。
• $N \geq 10$ の場合、最初の3つの径方向微分係数は $|\partial_r^k u^*(r)| \leq C r^{-N/2 + \sqrt{N-1} + 2 - k}$ を満たし、$C = C_N \min_{t \in [1/2,1]} |u_r^*(t)|$ である。これにより、最適な減衰率が証明される。
• $N \geq 10$ の場合、すべてのこのような解に対して $|u_{rrr}(r)| \leq C\psi(r)$ を満たす普遍的な $\psi(r)$ は存在しない。これにより、導出された境界の鋭さが証明される。
• $N \geq 10$ の場合、半安定で径方向に減少する、非有界な $H^1(B_1)$ 解の広い族が存在する。これは径対称プロファイルの摂動によって構成され、推定の最適性が示される。