[論文レビュー] Non degeneracy of the bubble in the critical case for non local equations

Juan Dávila, Manuel del Pino+1 more|arXiv (Cornell University)|Feb 1, 2013

Nonlinear Partial Differential Equations参考文献 10被引用数 8

ひとこと要約

本稿は、臨界的状況における分数階ソボレフ不等式の極値関数の非退化性を確立し、バブル解の周囲における線形化方程式のすべての有界解が、スケーリングおよび平行移動不変性の生成子によって張られることを証明する。証明では、非局所方程式を球面上の積分方程式に変換するためのステレオグラフィック射影が用いられ、$mathbb{S}^N$ 上の積分作用素のスペクトル理論により、線形化問題の解として唯一の一次の球面調和関数が得られることを確認する。

ABSTRACT

We prove the nondegeneracy of the extremals of the fractional Sobolev inequality as solutions of a critical semilinear nonlocal equation involving the fractional Laplacian.

研究の動機と目的

• 臨界的分数階ソボレフ不等式の極値関数の線形非退化性を確立すること。
• 分数階バブル解の周囲における線形化方程式の有界解が、スケーリングおよび平行移動不変性によって生成されることを示すこと。
• 局所的状況（$s=1$）における古典的非退化性結果を、非局所的分数階設定（$0<s<1$）に拡張すること。
• 非局所的設定における線形化作用素の核の一意性について、厳密なスペクトル理論的根拠を提供すること。

提案手法

• ステレオグラフィック射影を用いて非局所方程式を $mathbb{R}^N$ から球面 $\mathbb{S}^N$ に写像し、積分構造を保存する。
• ステレオグラフィック射影のヤコビアンを用いて、$\mathbb{S}^N$ 上の関数の言語に積分方程式を再定式化する。
• 元の式を $L^2(\mathbb{S}^N)$ 上のコンパクトな積分作用素に変換するための変換関数 $h = J^{2s/N} \circ S^{-1} \tilde{\phi}$ を定義する。
• リーマン型核を有する積分作用素のスペクトル理論を適用し、$\mathbb{S}^N$ 上での固有値と固有空間を特定する。
• $L^2(\mathbb{S}^N)$ の球面調和関数 $H_l$ への既知の分解を用いて、解空間を分析する。
• 有界解が唯一 $l=1$ の球面調和関数に対応することを示し、これは問題の物理的対称性に対応する。

実験結果

リサーチクエスチョン

• RQ1 臨界的状況における分数階ソボレフ不等式の極値関数は非退化的か？
• RQ2 分数階バブル解の周囲における線形化作用素の核の構造は何か？
• RQ3 局所的状況（$s=1$）における非退化性は、非局所的分数階状況（$0<s<1$）に拡張可能か？
• RQ4 線形化方程式の有界解は、スケーリングおよび平行移動の対称性に由来するものしか存在しないか？
• RQ5 球面上の積分作用素のどのスペクトル的性質が、線形化問題の解空間を決定するか？

主な発見

• 極値関数 $w_{\mu,\xi}(x) = \alpha_{N,s} \left( \frac{\mu}{\mu^2 + |x - \xi|^2} \right)^{\frac{N-2s}{2}}$ は、その線形化核がスケーリングおよび平行移動不変性の生成子によってちょうど張られるという意味で非退化的である。
• すべての有界解 $(-\Delta)^s \phi = p w^{p-1} \phi$（$p = \frac{N+2s}{N-2s}$）は、$\frac{N-2s}{2}w + x \cdot \nabla w$ および $\partial_{x_i} w$（$1 \leq i \leq N$）の線形結合として表される。
• 球面 $\mathbb{S}^N$ 上の変換関数 $h$ は、コンパクトな自己随伴作用素を伴う積分方程式を満たし、その非ゼロ固有値は唯一 $l=1$ の球面調和関数に対応する。
• 変換方程式における固有値 $a$ は、積分作用素の固有値 $e_1$ と一致し、$H_1$-関数のみが方程式を満たすことが確認される。
• 有界性 $\phi$ は、$|x|$ が大きいとき $|\phi(x)| \leq C / |x|^{N-2s}$ のような減衰を示し、$h$ が $\mathbb{S}^N$ 上で連続的かつ有界であることを保証する。
• 解空間は正確に $N+1$ 次元であり、これは $H_1$ の次元と一致し、元の式の対称性によって生成される。