[論文レビュー] Uniform a priori estimates for positive solutions of higher order Lane-Emden equations in $\mathbb{R}^n$

Wei Dai, Thomas Duyckaerts|arXiv (Cornell University)|May 24, 2019

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

ひとこと要約

本稿では、$\mathbb{R}^n$ 内の星型または厳密に凸な有界領域において、Navier境界条件を満たす高階のLane-Emden方程式の正の解について、一様な事前推定を確立する。これは、従来の2階の場合（$m=1$）の結果を一般の $m \geq 2$ に拡張したものである。一般化されたPohozaev型の恒等式とスケーリングの議論を用いて、$p \to p_c^-$ のとき、解の $L^\infty$-ノルムが一様に有界であることを証明し、存在性および爆発挙動の臨界閾値を確立する。

ABSTRACT

In this paper, we study the existence of uniform a priori estimates for positive solutions to Navier problems of higher order Lane-Emden equations \begin{equation*} (-Δ)^{m}u(x)=u^{p}(x), \qquad \,\, x\inΩ\end{equation*} for all large exponents $p$, where $Ω\subset\mathbb{R}^{n}$ is a star-shaped or strictly convex bounded domain with $C^{2m-2}$ boundary, $n\geq4$ and $2\leq m\leq\frac{n}{2}$. Our results extend those of previous authors for second order $m=1$ to general higher order cases $m\geq2$.

研究の動機と目的

• 2階の場合（$m=1$）の正の解に対する一様事前推定を、一般の $m \geq 2$ にまで拡張すること。
• 星型領域または厳密に凸領域において、$p$ が臨界定数 $p_c = \frac{n+2m}{n-2m}$ から下方に近づくとき、正の解の $L^\infty$-ノルムが一様に有界であることを確立すること。
• 星型領域において、$p \geq p_c$ のとき正の解が存在しないことを証明し、$m=1$ の古典的な非存在結果を高階の場合に一般化すること。
• 高階Navier問題に対して $C^{2m-2}$ 界面を持つ場合に、一般化されたPohozaev型の変分的恒等式を構築・適用すること。

提案手法

• Navier境界条件を満たす高階Navier問題 $(-\Delta)^m u = f(u)$ に対して、一般化されたPohozaev型の恒等式を導出すること。
• Pohozaev恒等式を用いて、星型領域の仮定の下で非負解に対するLiouville型定理を証明すること。
• スケーリング技法とGreenの表現公式を用いて、集中点における導関数 $(-\Delta)^k u(x_k)$ の点ごとの値を推定すること。
• 非同次Harnack不等式を用いて、最大点 $x=0$ 近傍での $u(x)$ の減衰を制御し、$L^\infty$-ノルムと小さな球内での $u$ の挙動を結びつけること。
• 最大値 $M = \|u\|_{L^\infty}$ と $p \to p_c^-$ における漸近的解析を用いて、$\int_{B_r(0)} \ln(1/|x|) u^p(x) dx$ の下界を構成すること。
• Pohozaev恒等式とGreenの表現の推定値を組み合わせることで、$M$ が一様に有界でない場合には矛盾が生じることを示し、これが主要な事前推定に至ること。

実験結果

リサーチクエスチョン

• RQ1 高階のLane-Emden方程式の正の解について、$m \geq 2$ の場合に $m=1$ のときと同様に、一様な事前推定を確立できるか？
• RQ2 星型または厳密に凸領域において、$m \geq 2$ のとき、$p \to p_c^-$ のとき正の解の $L^\infty$-ノルムの挙動はいかなるものか？
• RQ3 星型領域において $p \geq p_c$ のとき正の解が存在しないという事実は、$m=1$ の場合から高階の場合へと拡張可能か？
• RQ4 Pohozaev型の恒等式は、$m \geq 2$ の場合のNavier境界条件を扱うためにどのように一般化できるか？
• RQ5 スケーリングおよびHarnack型の推定値を用いて、$p$ に依存しない $L^\infty$-ノルムの一様な上界を導出できるか？

主な発見

• 高階のLane-Emden方程式の正の解の $L^\infty$-ノルムは、$p \to p_c^-$ のとき、$m \geq 2$ かつ $n \geq 4$、$m < n/2$ の下で、$p$ に依存せずに一様に有界のままである。
• 星型または厳密に凸で、$C^{2m-2}$ 界面を持つ領域 $\Omega$ に対して、すべての $p \in (1, p_c)$ に対して一様な事前推定 $\|u\|_{L^\infty(\overline{\Omega})} \leq e^C$ が成り立ち、$C$ は $p$ に依存しない。
• 高階Navier問題に対する一般化されたPohozaev恒等式は、繰り返しラプラシアンの微分に関する境界積分の和を含み、解の成長・減衰の構造を捉えている。
• 臨界に近い $p$ では、解は特定の点に集中し、最大値 $M = \|u\|_{L^\infty}$ は $M \leq e^C$ を満たすため、$p \to p_c^-$ のとき爆発しない。
• この手法は、Greenの表現と対数積分推定値の微妙なバランスに依存しており、$M$ が大きすぎると矛盾が生じる。
• 結果として、臨界定数 $p_c = \frac{n+2m}{n-2m}$ が、高階設定における正の解の存在性および一様有界性の鋭い閾値として機能することが確認された。