[论文解读] Symmetry via antisymmetric maximum principles in nonlocal problems of variable order

Sven Jarohs, Tobias Weth|arXiv (Cornell University)|Jun 24, 2014

Nonlinear Partial Differential Equations参考文献 14被引用 7

一句话总结

该论文通过一种新颖的反对称最大值原理，建立了具有变阶和各向异性的非局部方程的非负解的对称性和单调性性质。在核和非线性项的结构假设较弱的前提下，证明了在Steiner对称区域中，解关于 $x_1$-轴对称且在 $|x_1|$ 上严格递减，除非恒为零。

ABSTRACT

We consider the nonlinear problem \[(P) \;\; I u=f(x,u) ext{ in $Ω$,} \;\; u=0 ext{ on $\mathbb{R}^{N}\setminusΩ$ }\] in an open bounded set $Ω\subset\mathbb{R}^{N}$, where $I$ is a nonlocal operator which may be anisotropic and may have varying order. We assume mild symmetry and monotonicity assumptions on $I$, $Ω$ and the nonlinearity $f$ with respect to a fixed direction, say $x_1$, and we show that any nonnegative weak solution $u$ of $(P)$ is symmetric in $x_1$. Moreover, we have the following alternative: Either $u\equiv 0$ in $Ω$, or $u$ is strictly decreasing in $|x_1|$. The proof relies on new maximum principles for antisymmetric supersolutions of an associated class of linear problems.

研究动机与目标

• 将非局部方程对称性结果从分数阶拉普拉斯算子推广至具有变阶和各向异性的算子。
• 在有界且Steiner对称的区域中，建立非负解的对称性与严格单调性。
• 基于反对称函数的最大值原理，发展一个适用于广泛类非局部算子的一般性框架。
• 弱化对称性结果所需的假设，避免依赖格林函数或诺依曼到狄利克雷映射。
• 在核和非线性项的结构条件最小化的前提下，统一并推广现有的非局部问题对称性结果。

提出的方法

• 引入一个通过满足可积性条件 $(J1)$ 和 $x_1$-方向严格单调性的对称非负核 $J$ 定义的非局部算子 $I$。
• 通过变分形式 ${\mathcal{J}}(u,\varphi) = \int_\Omega f(x,u)\varphi\,dx$ 对所有测试函数 $\varphi \in {\mathcal{D}}(\Omega)$ 定义弱解。
• 在线性化设定下应用关于反对称超解的新最大值原理，以分析关于超平面 $H_\lambda$ 的反射 $v_\lambda = u - u^\lambda$。
• 基于反对称函数的强最小值原理，采用反证法证明：若 $v_\lambda > 0$ 几乎处处在 $\Omega_\lambda$ 中，则其在紧子集上严格为正。
• 利用连续性与连通性论证，将 $v_\lambda$ 的正性从 $\lambda = \ell$ 传播至 $\lambda = 0$，从而建立对称性。
• 依赖双线性形式 ${\mathcal{J}}(u,v) = \frac{1}{2}\int_{\mathbb{R}^N}\int_{\mathbb{R}^N} (u(x)-u(y))(v(x)-v(y))J(x-y)\,dx\,dy$ 的结构，推导能量估计与比较原理。

实验结果

研究问题

• RQ1 在何种条件下，具有变阶和各向异性核的非局部方程的非负解会关于超平面对称？
• RQ2 能否将移动平面法推广至缺乏尺度不变性或各向同性的非局部算子？
• RQ3 反对称最大值原理在证明非局部问题的对称性与单调性中起什么作用？
• RQ4 对核 $J$ 和非线性项 $f$ 的温和单调性与对称性假设，如何导致解的强定性性质？
• RQ5 在不假设径向对称性或显式格林函数的前提下，能否证明非平凡解在 $|x_1|$ 上的严格递减性？

主要发现

• 在Steiner对称区域 $\Omega$ 中，非局部问题 $(P)$ 的任意非负弱解 $u$ 关于 $x_1$-轴对称。
• 在给定的 $J$、$f$ 和 $\Omega$ 假设下，解 $u$ 在 $|x_1|$ 上严格递减，除非 $u \equiv 0$ 在 $\Omega$ 中。
• 证明依赖于关于反对称超解的新最大值原理，该原理确保：若 $v_\lambda \geq 0$ 几乎处处在 $H_\lambda$ 中，则 $v_\lambda > 0$ 几乎处处在 $\Omega_\lambda$ 的紧子集中。
• 该方法避免对显式格林函数或共形不变性的依赖，使其适用于分数阶拉普拉斯算子以外的广泛类非局部算子。
• 结果在最小假设下成立：$J$ 为偶函数，满足 $(J1)$ 和 $(J2)$，$\Omega$ 在 $x_1$ 上为Steiner对称，$f$ 为Carathéodory函数，且在 $x_1$ 上具有对称性与单调性。
• 解差 $v_\lambda = u - u^\lambda$ 关于 $H_\lambda$ 的反对称性是论证的核心，其在紧集上的正性通过反证法与连通性论证建立。