[論文レビュー] Nonlinear equations for fractional Laplacians I: Regularity, maximum principles, and Hamiltonian estimates

Xavier Cabré, Yannick Sire|QRU Quaderns de Recerca en Urbanisme|Dec 3, 2010

Nonlinear Partial Differential Equations参考文献 25被引用数 557

ひとこと要約

本稿は、非線形関数 $f$ に対して、${\mathbb{R}^n}$ における分数階ラプラシアン方程式 $(-\Delta)^s v = f(v)$ の有界かつ単調増加解（層解）の存在を保証するための必要条件を、${\mathbb{R}^{n+1}_+}$ における局所的退化型楕円型問題から導出されたハミルトニアン型等式および推定式を用いて確立する。主な貢献は、モディカの不等式の非局所的類似として、このような解の存在にあたって $f'(0) \leq 0$ が必要条件であることを証明することであり、正則性および最大値原理への影響を含む。

ABSTRACT

This is the first of two articles dealing with the equation $(-\\Delta)^{s} v= f(v)$ in $\\mathbb{R}^{n}$, with $s\\in (0,1)$, where $(-\\Delta)^{s}$ stands for the fractional Laplacian ---the infinitesimal generator of a L\\'evy process. This equation can be realized as a local linear degenerate elliptic equation in $\\mathbb{R}^{n+1}_+$ together with a nonlinear Neumann boundary condition on $\\partial \\mathbb{R}^{n+1}_+=\\mathbb{R}^{n}$. In this first article, we establish necessary conditions on the nonlinearity $f$ to admit certain type of solutions, with special interest in bounded increasing solutions in all of $\\mathbb{R}$. These necessary conditions (which will be proven in a follow-up paper to be also sufficient for the existence of a bounded increasing solution) are derived from an equality and an estimate involving a Hamiltonian ---in the spirit of a result of Modica for the Laplacian. In addition, we study regularity issues, as well as maximum and Harnack principles associated to the equation.

研究の動機と目的

• ${\mathbb{R}^n}$ における方程式 $(-\Delta)^s v = f(v)$ の有界かつ単調増加（層）解の存在に必要な非線形関数 $f$ の条件を導出すること。
• 局所的境界値問題の定式化を用いて、ラプラシアンに対するモディカの古典的点での不等式を分数階ラプラシアン設定に拡張すること。
• 分数階ラプラシアン方程式に対して正則性、最大値、リウヴィル、ハルナックの原理を確立すること。
• 同伴論文 [4] における層解の存在および定性的性質の解析的基盤を築くこと。
• 上半空間 ${\mathbb{R}^{n+1}_+}$ における関連局所問題のハミルトニアン構造を分析すること。

提案手法

• カファレッリ＝シルベスツレの拡張を用いて、非局所方程式 $(-\Delta)^s v = f(v)$ を ${\mathbb{R}^{n+1}_+}$ における局所的退化型楕円型問題に定式化すること。
• 係数 $a = 1 - 2s$ を用いて、分数階のべき $s$ と退化型楕円型方程式における重み $y^a$ を結びつけること。
• 局所問題の解 $u(x,y)$ に対して、モディカの不等式に類似したハミルトニアン型等式および推定式を導出すること。
• 円柱領域におけるテスト関数 $\xi_R = \varphi_R(x)h_R(y)$ を用いた変分的および比較的議論により、$f'(0)$ を推定すること。
• 固有関数の漸近的挙動と重み付き積分を用いて、層解の存在にあたって $f'(0) \leq 0$ が必要条件であることを示すこと。
• 局所的拡張および重み付きソボレフ空間の技法を用いて、分数階方程式の解の正則性および最大値原理を確立すること。

実験結果

リサーチクエスチョン

• RQ1 ${\mathbb{R}^n}$ における方程式 $(-\Delta)^s v = f(v)$ の有界かつ単調増加解（層解）の存在に必要な非線形関数 $f$ の条件は何か？
• RQ2 分数階ラプラシアンに対して、モディカの点での不等式 $\frac{1}{2}|\nabla v|^2 \leq G(v)$ の非局所的類似が確立可能か？
• RQ3 ${\mathbb{R}^{n+1}_+}$ における局所的拡張問題のハミルトニアン構造は、解の存在および定性的挙動にどのように寄与するか？
• RQ4 ${\mathbb{R}^n}$ における分数階ラプラシアン方程式の解に対して、どのような正則性および最大値原理が成立するか？
• RQ5 $f'(0) \leq 0$ は層解の存在に必要条件であるか？ 重み付きPDE技法を用いてその証明は可能か？

主な発見

• 有界かつ単調増加解（層解）の存在にあたって $f'(0) \leq 0$ が必要であることが、円柱領域における重み付き積分の極限議論を用いて証明された。
• 局所的拡張問題に対してハミルトニアン型推定式が導出され、非局所設定へのモディカの不等式の一般化が達成された。
• 分数階ラプラシアン方程式の解に対して最大値原理が確立され、解が無限遠における境界で最大値をとることを保証する。
• 非負解に対してハルナック型不等式が証明され、コンパクト集合内での一様な下界が保証された。
• 非線形関数 $f$ に適切な条件が満たされれば、有界解が $C^{2s+\alpha}$-ホルダー連続であることを示す正則性結果が得られた。
• リウヴィルの原理が成立する：${\mathbb{R}^n}$ における方程式 $(-\Delta)^s v = f(v)$ の有界解で、ある方向に単調な解は $f'(0) > 0$ の場合に限り定数であるが、本稿では非自明な単調解の存在にあたって $f'(0) \leq 0$ が必須であることを示した。