[論文レビュー] Boundary blow-up solutions in the unit ball : asymptotics, uniqueness and symmetry (v3)

Ovidiu Costin, Louis Dupaigne|arXiv (Cornell University)|Mar 18, 2010

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

ひとこと要約

本稿は、一般の非線形関数 $f$ に対して、単位球内の境界吹き上がり解の完全な漸近展開を確立し、最小限の仮定の下で鋭い一意性および回転対称性の結果を証明する。McKennaの予想である一意性については、$f(t) = \tilde{f}(t) - \lambda_1 t$ で $\tilde{f}$ が非減少である場合、一意な大解が存在することを示すことによって解決する。

ABSTRACT

We calculate the full asymptotic expansion of boundary blow-up solutions, for any nonlinearity f. Our approach enables us to state sharp qualitative results regarding uniqueness and ra-dial symmetry of solutions, as well as a characterization of nonlinearities for which the blow-up rate is universal. Lastly, we study in more detail the standard nonlinearities f(u) = u^p, p > 1.

研究の動機と目的

• 任意の $C^1$ 非線形関数 $f$ に対して、単位球内における境界吹き上がり解の完全な漸近展開を導出すること。
• 非線形関数 $f$ の凸性や単調性を仮定しない条件下で、大解の鋭い一意性および回転対称性の結果を確立すること。
• 吹き上がり速度が解に依存せず一様である、すなわち普遍的であるような非線形関数を特定すること。
• $f(u) = u^p$, $p > 1$ の特定のケースを分析し、この場合における解の完全な漸近展開を導出すること。

提案手法

• 径数微分方程式の変換と繰り返し積分を用いて、$x \to \partial B$ のときの解 $u(x)$ の完全な漸近展開を導出する。
• 径数方程式 $u'' + \frac{N-1}{r}u' = f(u)$ を線形化・近似するために、$v_n = \sqrt{2F(u)}$ を用いた変数変換を導入する。
• 単位球の径数的構造を活用して偏微分方程式を常微分方程式に還元し、繰り返し精錬を適用することで、任意の次数まで項を求める。
• 最大値原理と比較論的議論を用いて、$f(t) + \lambda_1 t$ が非減少であるという条件下で一意性を証明する。
• 二つの解の差を制御するために、$\int_{u(x)}^\infty \frac{dt}{F(t)}$ を含む積分推定を用いる。
• $f(u) = u^p$ の場合、$F(u) = \frac{1}{2}u^{2q}$ と再パラメータライズし、$2q - 1 = p$ とし、帰納法を用いて $d = 1 - |x|$ のべき級数としての漸近級数を導出する。

実験結果

リサーチクエスチョン

• RQ1 非線形関数 $f$ にどのような条件を課すと、単位球内に境界吹き上がり解が存在するか？
• RQ2 追加の仮定なしに、任意の $C^1$ 非線形関数に対して、大解の完全な漸近展開を導出可能か？
• RQ3 解の一意性はいつ成立し、$f$ にどのような条件を課すと一意性が保証されるか？
• RQ4 非線形関数 $f(u) = u^p$, $p > 1$ の場合、解の境界近傍における正確な漸近的挙動は何か？
• RQ5 非線形関数 $f$ に最小限の仮定を課した場合、大解は回転対称性を満たすか？

主な発見

• 任意の $f \in C^1(\mathbb{R})$ で、Keller-Osserman 条件 $\int^\infty \frac{dt}{\sqrt{F(t)}} < \infty$ を満たす場合、境界に近づくとき $x \to \partial B$ において、任意の二つの大解 $u_1$ と $u_2$ の差は $|u_1(x) - u_2(x)| \leq C \int_{u_2(x)}^\infty \frac{dt}{F(t)}$ を満たす。
• $F(u_1) - F(u_2)$ は $B$ 上で有界であるため、大解の $F$-値は一様に近接している。
• もし $f(t) = \tilde{f}(t) - \lambda_1 t$ で $\tilde{f}$ が非減少であれば、単位球内に一意な大解が存在する。
• もし $f(u) = u^p$, $p > 1$ であれば、解は $d = 1 - |x|$ のべき級数として完全な漸近展開をもつ。その係数は $p$, $N$, 展開の次数にのみ依存する。
• 吹き上がり速度が普遍的であるのは、$f(u) = u^p$ で $p = 1 + \frac{2}{N-1}$ のとき、すなわち主項が解に依存しない臨界指数であるときである。
• 非線形関数 $f$ が線形補正を除いて単調増加である場合、すなわち $f(t) = \tilde{f}(t) - Kt$ で $\tilde{f}$ が増加関数であれば、$|\nabla(u_1 - u_2)|$ は $B$ 上で有界である。