[論文レビュー] On the fractional Lane-Emden equation

Louis Dupaigne, Juan Dávila+1 more|arXiv (Cornell University)|Apr 14, 2014

Nonlinear Partial Differential Equations参考文献 23被引用数 6

ひとこと要約

本稿は、$\mathbb{R}^n$ 上の分数階Lane-Emden方程式 $(-\Delta)^s u = |u|^{p-1}u$ に対して、有限モルス指数解を分類するリウヴィル型定理を確立する。$p < p_S(n)$ またはガンマ関数を含む特定のスペクトル条件が成り立つ場合、唯一の解は自明解 $u \equiv 0$ である。$p = p_S(n)$ の場合、解は有限エネルギーを持つ必要があり、さらに安定であれば恒等的に消える。この結果は、拡張法と安定性解析を用いて、非局所的分数階設定への古典的結果の拡張を達成している。

ABSTRACT

We classify solutions of finite Morse index of the fractional Lane- Emden equation

研究の動機と目的

• 局所的Lane-Emden方程式に対する古典的リウヴィル型定理を、$(-\Delta)^s$ を含む非局所的分数階設定に拡張すること。
• 分数階Lane-Emden方程式 $(-\Delta)^s u = |u|^{p-1}u$ の $\mathbb{R}^n$ 上の有限モルス指数解を分類すること。
• 特殊関数を含む安定性条件を用いて、非自明解の非存在の正確な閾値を特定すること。
• 不安定性条件が成り立たない場合に、径数的で有界かつ安定な解を構成し、基準の最適性を示すこと。

提案手法

• Caffarelli-Silvestreの拡張を用いて、非局所方程式を $\mathbb{R}^{n+1}_+$ 上の局所的特異係数楕円型問題に変換する。
• コンパクトな台を持つ $\varphi$ に対して、$p\int |u|^{p-1}\varphi^2 dx \leq \|\varphi\|_{\dot{H}^s}^2$ という安定性条件を適用する。
• エネルギー汎関数 $E(\lambda)$ の単調性と爆発解析を用いて、拡張解の消滅を示す。
• 最適定数 $\Lambda_{n,s} = 2^{2s} \Gamma(n+2s/4)^2 / \Gamma(n-2s/4)^2$ を持つハーディーの不等式を用いて、特異解の不安定性を分析する。
• 径数的対称性と動かす平面法を用いて、拡張問題における最小解の単調性および有界性を証明する。
• 拡張問題に対する最小解の族 $u_\lambda$ を構成し、極限を取ることで、$\mathbb{R}^{n+1}_+$ 上の有界で径数的かつ安定な解 $v$ を得る。

実験結果

リサーチクエスチョン

• RQ1 分数階Lane-Emden方程式 $(-\Delta)^s u = |u|^{p-1}u$ が有限モルス指数解において唯一自明解をもつような $p$ と $n$ の条件は何か？
• RQ2 ジョセフ＝ラングレン型指数はどのように分数階に一般化されるか。ガンマ関数条件は安定性を決定づける役割を果たすか？
• RQ3 特異解が安定である場合に、径数的で有界かつ安定な解を構成できるか。これは非存在閾値の最適性を示唆するか？
• RQ4 古典的リウヴィル結果が、拡張法を用いて、局所的ラプラシアンから分数階ラプラシアンへどの程度拡張可能か？

主な発見

• すべての $1 < p < p_S(n)$ に対して、分数階Lane-Emden方程式の有限モルス指数解は恒等的にゼロでなければならない。
• $p = p_S(n)$ の場合、任意の有限モルス指数解は有限の $\dot{H}^s$ エネルギーを持つ。さらに安定であれば、恒等的に消える。
• 不等式 $$p \frac{\Gamma(\frac{n}{2}-\frac{s}{p-1})\Gamma(s+\frac{s}{p-1})}{\Gamma(\frac{s}{p-1})\Gamma(\frac{n-2s}{2}-\frac{s}{p-1})} > \frac{\Gamma(\frac{n+2s}{4})^2}{\Gamma(\frac{n-2s}{4})^2}$$ が成り立つ場合、唯一の解は自明解である。
• この不等式が成り立たない場合、$u(r) \to 0$ ($r \to \infty$) を満たす正で、有界で、滑らかで、安定な径数的解 $u > 0$ が存在し、基準の最適性が示される。
• 特異解 $u_s(x) = A|x|^{-2s/(p-1)}$ は、上記のガンマ関数不等式が成り立つ場合に限り不安定である。
• 拡張問題におけるスケーリングされた最小解の極限は、有界で径数的かつ安定な解 $v$ を分数階方程式に対して与え、安定領域における存在を確認する。