[論文レビュー] Entire solutions to semilinear nonlocal equations in $\\RR^2$

Xavier Ros‐Oton, Yannick Sire|arXiv (Cornell University)|May 26, 2015

Advanced Mathematical Physics Problems参考文献 13被引用数 4

ひとこと要約

本稿では、コンpactに台を持つ対称核を備えた一般の非局所作用素 $L$ を持つ、$\mathbb{R}^2$ 上の非線形非局所方程式 $Lu = f(u)$ の有界な安定解に対して1次元対称性を確立する。Caffarelli-Silvestre拡張に依存せぬリウヴィル型定理の手法を用いて、任意の安定解が1次元的であることを証明する。これは、核関数に自然な構造的仮定を課した広範な非局所作用素クラスに、De Giorgi型結果を拡張するものである。

ABSTRACT

We consider entire solutions to $L u= f(u)$ in $\\RR^2$, where $L$ is a general nonlocal operator with kernel $K(y)$. Under certain natural assumtions on the operator $L$, we show that any stable solution is a 1D solution. In particular, our result applies to any solution $u$ which is monotone in one direction. Compared to other proofs of the De Giorgi type results on nonlocal equations, our method is the first successfull attempt to use the Liouville theorem approach to get flatness of the level sets.

研究の動機と目的

• $\mathbb{R}^2$ 上の一般非局所作用素に対して、分数ラプラシアンを超えるDe Giorgi型対称性結果を拡張すること。
• 核関数 $K(y)$ に対して最小限の仮定を課したもとで、$Lu = f(u)$ の有界安定解に対して1次元対称性を確立すること。
• Caffarelli-Silvestre拡張に依存しないリウヴィル定理に基づくアプローチを構築し、非局所対称性問題に対する新たな手法を提供すること。
• 仮定 (H1)–(H3) が、台がコンパクトな核を備えた広範な非局所作用素のクラスにおいて成り立つことを確認すること。
• 安定解が必然的に1次元的であることを証明し、分数ラプラシアンに対する既知の結果をより広範な非局所設定へ一般化すること。

提案手法

• エネルギー汎関数の第二変分を用いた安定性の変分的定義を導入し、任意の $\psi \in C_c^\infty(\mathbb{R}^2)$ に対して $\int f'(u)\psi^2 \leq \mathcal{E}(\psi, \psi)$ が成り立つことを要請する。
• 仮定 (H2) および (H3) の下で、変分的安定性と非変分的安定性の定義が同値であることを確立し、$|\nabla u| \in L^\infty$ を保証する。
• $B_R$ 内の切断された固有値問題に対して、正の解 $\varphi_R$ の列を構成し、$\varphi_R(0) = 1$ となるように正規化する。これは比較論法と強最大原理を用いる。
• ハルナック不等式 (H2) と Hölder 正則性 (H3) を適用し、$\varphi_R$ の局所収束部分列を抽出する。これにより、$\mathbb{R}^2$ 上で $L\varphi = f'(u)\varphi$ を満たし、正の解 $\varphi > 0$ が得られ、非変分的安定性条件を満たす。
• $\varphi_R^-$ をテスト関数として用い、$\varphi_R \geq 0$ を示し、その後強最大原理により厳密な正性を導出する。
• 対数的補題とカットオフ関数技術を用いて、$B_1$ 内で $K(y) \geq \lambda |y|^{-n-2s}$ を満たすコンパクトに台を持つ核関数に対して、ハルナック不等式 (H2) が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 有界な安定解の1次元対称性結果は、分数ラプラシアンを超えて、$\mathbb{R}^2$ 上のコンパクトに台を持つ対称核を備えた一般非局所作用素へ拡張可能か？
• RQ2 Caffarelli-Silvestre拡張に依存しないリウヴィル定理の手法が、非局所方程式に成功裏に適用可能か？
• RQ3 核関数 $K(y)$ がどのような条件下で、零次項を含むハルナック不等式が成り立ち、正則性および比較原理が保証されるか？
• RQ4 仮定 (H2) および (H3) を満たす一般非局所作用素に対して、変分的安定性と非変分的安定性の定義の同値性は保たれるか？
• RQ5 非線形化方程式 $L\varphi = f'(u)\varphi$ が $\mathbb{R}^2$ 上に正の解 $\varphi > 0$ を持つことによって、解の安定性が特徴づけられるか？

主な発見

• 仮定 (H1)–(H3) の下で、$\mathbb{R}^2$ 上の $Lu = f(u)$ の任意の有界安定解 $u$ は1次元的である。すなわち、ある $a \in \mathbb{S}^1$ に対して $u(x) = w(x \cdot a)$ と表せる。
• Caffarelli-Silvestre拡張を一切用いないことで、一般非局所作用素に対して初めて1次元対称性の証明が達成された。
• 核関数が $K(y) \geq \lambda |y|^{-n-2s}$ を満たす場合、$B_1$ 内で適切な条件下でハルナック不等式 (H2) が成り立つ。これにより、正則性および比較推移が可能になる。
• Hölder 正則性 (H3) により、解 $u$ に対して $|\nabla u| \in L^\infty(\mathbb{R}^2)$ が保証され、これは安定性の同値性およびリウヴィル論法に不可欠である。
• 切断領域上の極限論法により、$\mathbb{R}^2$ 上で $L\varphi = f'(u)\varphi$ を満たす正の解 $\varphi > 0$ の存在が確立され、非変分的安定性条件が裏付けられる。
• 本手法により、非局所方程式に対してリウヴィル定理のアプローチが成功裏に適用され、レベル集合の平坦性および対称性結果への新たな道筋が提供された。