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

一句话总结

本文在 $\mathbb{R}^2$ 中为形如 $Lu = f(u)$ 的半线性非局部方程建立了有界稳定解的 1D 对称性，其中 $L$ 是具有紧台支撑、对称核的广义非局部算子。通过一种不依赖 Caffarelli-Silvestre 扩展的 Liouville 型定理方法，证明了任意稳定解必为一维，将 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.

研究动机与目标

• 将 De Giorgi 型对称性结果推广至 $\mathbb{R}^2$ 中除分数阶拉普拉斯算子外的一般非局部算子。
• 在核 $K(y)$ 的最小假设下，为 $Lu = f(u)$ 的有界稳定解建立 1D 对称性。
• 开发一种基于 Liouville 定理的方法，避免使用 Caffarelli-Silvestre 扩展，为非局部对称性问题提供新方法。
• 验证关键假设 (H1)–(H3) 对一大类非局部算子成立，包括具有紧台支撑核的算子。
• 证明稳定解必为一维，将分数阶拉普拉斯算子情形下的已知结果推广至更广泛的非局部设定。

提出的方法

• 通过能量泛函的二阶变分引入稳定性的一种变分定义，要求对所有 $\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$。
• 应用 Harnack 不等式 (H2) 与 Hölder 正则性 (H3)，从 $\varphi_R$ 中提取局部收敛子列，得到 $\mathbb{R}^2$ 中满足 $L\varphi = f'(u)\varphi$ 的正解 $\varphi > 0$，并满足非变分稳定性条件。
• 通过测试函数 $\varphi_R^-$ 的论证证明 $\varphi_R \geq 0$，再利用强极大值原理得出严格正性。
• 证明 Harnack 不等式 (H2) 对满足下界 $K(y) \geq \lambda |y|^{-n-2s}$ 的紧台支撑核成立，使用对数引理与截断函数技术。

实验结果

研究问题

• RQ1 有界稳定解的 1D 对称性结果是否可从分数阶拉普拉斯算子推广至 $\mathbb{R}^2$ 中具有紧台支撑、对称核的一般非局部算子？
• RQ2 Liouville 定理方法是否可成功应用于非局部方程而无需依赖 Caffarelli-Silvestre 扩展？
• RQ3 在何种核 $K(y)$ 条件下，带有零阶项的 Harnack 不等式成立，以确保正则性与比较原理？
• RQ4 在满足 (H2) 与 (H3) 的一般非局部算子下，变分与非变分稳定性定义之间的等价性是否保持？
• RQ5 是否可通过线性化方程 $L\varphi = f'(u)\varphi$ 在 $\mathbb{R}^2$ 中存在正解 $\varphi > 0$ 来刻画解的稳定性？

主要发现

• 在假设 (H1)–(H3) 下，$\mathbb{R}^2$ 中 $Lu = f(u)$ 的任意有界稳定解 $u$ 必为一维，即存在 $a \in \mathbb{S}^1$ 使得 $u(x) = w(x \cdot a)$。
• 该证明在不使用 Caffarelli-Silvestre 扩展的前提下建立了 1D 对称性，是首个针对一般非局部算子的此类结果。
• Harnack 不等式 (H2) 对满足 $K(y) \geq \lambda |y|^{-n-2s}$ 的核在 $B_1$ 中成立，且在适当条件下可启用正则性与比较估计。
• Hölder 正则性 (H3) 确保解 $u$ 满足 $|\nabla u| \in L^\infty(\mathbb{R}^2)$，这对稳定性等价性与 Liouville 论证至关重要。
• 通过在截断区域上的极限论证，建立了 $\mathbb{R}^2$ 中 $L\varphi = f'(u)\varphi$ 的正解 $\varphi > 0$ 的存在性，从而确认了非变分稳定性条件。
• 该方法成功将 Liouville 定理方法应用于非局部方程，为水平集的平坦性与对称性结果提供了新途径。