[论文解读] A maximum principle on unbounded domains and a Liouville theorem for fractional p-harmonic functions

Wenxiong Chen, Leyun Wu|arXiv (Cornell University)|May 24, 2019

Nonlinear Partial Differential Equations参考文献 22被引用 10

一句话总结

本文针对 R^n 上满足 p ≥ 2 且 0 < s < 1 的有界全局定义的分数阶 p-次调和函数，建立了 Liouville 定理，证明其必为常数。作者提出了一种新颖的最大值原理，适用于无界上半空间中的反对称函数，通过平面移动法结合对称性论证，表明任意有界解关于每条超平面均对称，从而强制其为常数。

ABSTRACT

In this paper, we establish the following Liouville theorem for fractional \emph{p}-harmonic functions. {\em Assume that $u$ is a bounded solution of $$(-\lap)^s_p u(x) = 0, \;\; x \in \mathbb{R}^n,$$ with $0

研究动机与目标

• 建立 R^n 上分数阶 p-Laplacian 方程的有界解的 Liouville 型定理。
• 解决分数阶 p-Laplacian 等非线性非局部算子缺乏对称性与最大值原理工具的问题。
• 为无界上半空间中的反对称函数发展一种新的最大值原理，以克服傅里叶分析与泊松表示等经典方法的失效。
• 通过证明有界解关于 R^n 中每条超平面对称，从而证明其为常数。
• 提出一种非传统方法处理 Liouville 定理，避免依赖傅里叶变换或泊松核等线性工具，这些工具在完全非线性的分数阶 p-Laplacian 情况下失效。

提出的方法

• 提出一种适用于无界上半空间中反对称函数的新最大值原理，这是证明的核心。
• 以新颖方式应用平面移动法，建立有界解关于任意超平面的对称性。
• 利用分数阶 p-Laplacian 的非线性结构，特别是算子 |u(x) - u(y)|^{p-2}(u(x) - u(y)) / |x - y|^{n+sp}，推导比较原理。
• 通过使用测试函数 ψ ∈ C₀^∞(R^n) 的扰动论证，分析分数阶 p-Laplacian 在小扰动下的行为。
• 利用关键不等式（引理 3）：若 t₂ ≥ t₁ 且 p > 2，则 G(t) = |t|^{p-2}t 满足 G(t₂) - G(t₁) ≥ C(t₂ - t₁)^{p-1}。
• 结合局部与全局估计：通过泰勒展开控制原点附近的奇异积分及其 O(|x-y|^2) 误差项，并利用衰减性与光滑性控制尾部。

实验结果

研究问题

• RQ1 能否在 R^n 上对满足 p ≥ 2 且 0 < s < 1 的分数阶 p-Laplacian 方程 (-Δ)_p^s u = 0 的有界解建立 Liouville 定理？
• RQ2 是否可能在不依赖傅里叶变换或泊松核等线性工具的前提下，证明有界解关于任意超平面对称？
• RQ3 能否在无界区域（特别是 R^n 中的上半空间）上建立并证明反对称函数的最大值原理？
• RQ4 处理分数阶 p-Laplacian 的完全非线性性，需要哪些新的分析工具？这些工具使得经典调和分析技术无法适用。
• RQ5 若一个解关于 R^n 中每条超平面对称，是否意味着该解必为常数？

主要发现

• 在 R^n 上满足 p ≥ 2 且 0 < s < 1 的有界解 u ∈ C_loc^{1,1} ∩ L_{sp}(R^n)，若满足 (-Δ)_p^s u = 0，则必为常数。
• 作者建立了一种适用于无界上半空间中反对称函数的新最大值原理，这是关键技术上的创新。
• 通过针对非局部、非线性算子改进的平面移动法，证明了解关于任意给定超平面对称。
• 证明依赖于对非线性项 G(t) = |t|^{p-2}t 的新不等式（引理 3），表明其满足单边 Hölder 型增长条件。
• 该方法避免了傅里叶变换与泊松表示等经典工具，这些工具因分数阶 p-Laplacian 的非线性而失效。
• 该结果将经典调和函数的 Liouville 定理及已知的 s-调和函数结果，推广至完全非线性的分数阶 p-Laplacian 情况。