[论文解读] Symmetry results in the half space for a semi-linear fractional Laplace equation through a one-dimensional analysis

Begoña Barrios, Leandro M. Del Pezzo+2 more|arXiv (Cornell University)|Apr 9, 2017

Nonlinear Partial Differential Equations参考文献 30被引用 4

一句话总结

本论文通过一维分析方法，建立了半空间中半线性分数阶拉普拉斯方程有界解的对称性与一维结构结果。若一有界解在达到其上确界 ρ 时满足 f(ρ) = 0，则该解必为一维的，该结果通过粘性解理论与比较原理，将经典对称性结果推广至非局部分数阶情形。

ABSTRACT

In this paper we analyze the semi-linear fractional Laplace equation $$(-Δ)^s u = f(u) \quad ext{ in } \mathbb{R}^N_+,\quad u=0 \quad ext{ in } \mathbb{R}^N\setminus \mathbb{R}^N_+,$$ where $\mathbb{R}^N_+=\{x=(x',x_N)\in \mathbb{R}^N:\ x_N>0\}$ stands for the half-space and $f$ is a locally Lipschitz nonlinearity. We completely characterize one-dimensional bounded solutions of this problem, and we prove among other things that if $u$ is a bounded solution with $ρ:=\sup_{\mathbb{R}^N}u$ verifying $f(ρ)=0$, then $u$ is necessarily one-dimensional.

研究动机与目标

• 刻画半空间 ℝᴺ₊ 中半线性分数阶拉普拉斯方程的有界正解。
• 将局部拉普拉斯算子情形（s=1）下的经典对称性与单调性结果推广至非局部分数阶拉普拉斯算子情形（0<s<1）。
• 证明当有界解在达到其上确界 ρ 且满足 f(ρ)=0 时，其必为一维的。
• 建立一维分析框架，通过比较法与障碍函数法研究 N 维全空间问题。
• 利用上下解技术，在无界区域中建立粘性解的存在性与最大性结构。

提出的方法

• 分析 ℝ₊ 中分数阶拉普拉斯方程的一维版本，以刻画有界解。
• 运用粘性解理论与比较原理，建立解的单调性与对称性性质。
• 应用障碍函数 φ，其满足 (−Δ)ˢφ = 1 在 (0,1) 上，且在 (−∞,0) 上为零，在 (1,∞) 上为一，并将其延拓至 ℝᴺ₊ 中的条带区域。
• 采用上下解方法，并对 f 进行截断以保证有界性与解的存在性。
• 利用紧致性与正则性理论，在扩张区域上提取解的局部一致极限。
• 应用 [34, 13, 14] 中的提升与正则性结果，证明有界粘性解为经典解。

实验结果

研究问题

• RQ1 在何种条件下，半空间中分数阶拉普拉斯方程的有界解必为一维的？
• RQ2 局部情形（s=1）下的对称性结果能否推广至非局部分数阶情形（0<s<1）？
• RQ3 条件 f(ρ)=0 在保证有界解的一维对称性中起何作用？
• RQ4 如何通过一维分析推导高维半空间中的定性性质？
• RQ5 该非局部问题在无界区域中的粘性解的存在性与最大性结构为何？

主要发现

• 所有在半空间中达到其上确界 ρ 且满足 f(ρ)=0 的半线性分数阶拉普拉斯方程的有界解必为一维的。
• 本文对 ℝ₊ 中一维有界解的解结构给出了完整刻画。
• 即使 f(0)<0，解在 xₙ 方向的单调性仍可由一维分析继承。
• 在 ℝᴺ₊ 中，利用障碍函数与紧致性论证，存在一个介于上下解之间的最大粘性解。
• 通过截断 f 与在扩张区域上的极限过程，解的结构得以保持，从而保证在无界区域中解的存在性。
• 该结果将经典对称性结果从局部情形（s=1）推广至非局部分数阶情形（0<s<1）。