[论文解读] 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

一句话总结

本文通过在 $\mathbb{R}^{n+1}_+$ 中的局部退化椭圆问题导出的哈密顿型等式与估计，建立了分数阶拉普拉斯方程 $(-\Delta)^s v = f(v)$ 在 $\mathbb{R}^n$ 中存在有界递增解（层解）时，非线性项 $f$ 所需的必要条件。主要贡献是建立了模迪卡不等式在非局部情形下的类比，证明了此类解存在的必要条件为 $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.

研究动机与目标

• 推导非线性项 $f$ 在 $\mathbb{R}^n$ 中 $(-\Delta)^s v = f(v)$ 存在有界递增（层）解的必要条件。
• 通过局部边界值公式，将模迪卡经典的点态不等式从拉普拉斯情形推广至分数阶拉普拉斯情形。
• 为分数阶拉普拉斯方程建立正则性、最大值、Liouville 与哈纳克原理。
• 为论文 [4] 中层解的存在性与定性性质奠定分析基础。
• 分析上半空间 $\mathbb{R}^{n+1}_+$ 中关联局部问题的哈密顿结构，其边界条件为非线性诺伊曼条件。

提出的方法

• 利用 Caffarelli-Silvestre 扩展，将非局部方程 $(-\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$ 是 $\mathbb{R}^n$ 中 $(-\Delta)^s v = f(v)$ 存在有界递增解（层解）的必要条件。
• 为局部扩展问题推导出类哈密顿型估计，将模迪卡不等式推广至非局部情形。
• 本文建立了分数阶拉普拉斯方程解的最大值原理，确保解在无穷远处边界上取到最大值。
• 证明了分数阶方程非负解的哈纳克型不等式，确保在紧集上具有统一的下界。
• 获得了分数阶方程解的正则性结果，表明在 $f$ 满足适当条件时，有界解为 $C^{2s+\alpha}$-赫尔德连续。
• Liouville 原理成立：若 $\mathbb{R}^n$ 中 $(-\Delta)^s v = f(v)$ 的有界解在某一方向单调，且 $f'(0) > 0$，则其必为常数；但本文表明，非平凡单调解的存在要求 $f'(0) \leq 0$。