[论文解读] Neumann problems for $p$-harmonic functions, and induced nonlocal operators in metric measure spaces

Luca Capogna, Josh Kline+3 more|Aaltodoc (Aalto University)|Apr 1, 2022

Nonlinear Partial Differential Equations被引用 7

一句话总结

本文在满足Poincaré不等式的双倍度量测度空间中有界域中，建立了p-Laplacian的Neumann问题的存在性、全局Hölder正则性及稳定性。通过双曲填充和Caffarelli–Silvestre的延拓方法，即使在不具有2-Poincaré不等式的情况下，也在紧致双倍度量测度空间上构造了分数阶p-Laplacian $(-\Delta_p)^\theta$（$0<\theta<1$），并证明了非齐次方程$(-\Delta_p)^\theta u = f$的存在性、正则性、Harnack不等式及稳定性。结果统一并推广了欧氏空间、黎曼流形及Carnot群情形下的先前工作。

ABSTRACT

Following ideas of Caffarelli and Silvestre in~\cite{CS}, and using recent progress in hyperbolic fillings, we define fractional $p$-Laplacians $(-Δ_p)^θ$ with $0

研究动机与目标

• 在满足$p$-Poincaré不等式的双倍度量测度空间有界域中，建立p-Laplacian Neumann问题的存在性、全局Hölder正则性及稳定性。
• 将Caffarelli–Silvestre的分数阶Laplacian构造方法推广至一般紧致双倍度量测度空间，即使不满足2-Poincaré不等式。
• 通过扩展空间中Neumann问题的边界解，定义并分析此类空间上$0<\theta<1$的分数阶$p$-Laplacian $(-\Delta_p)^\theta$。
• 通过验证扩展空间中加倍性质与Poincaré不等式等关键几何与分析性质，使新构造与现有文献（特别是[32]）保持一致。
• 在Neumann问题中去除对右端项$f$有界性的假设，推广[53]中的先前结果。

提出的方法

• 使用双曲填充构造一个局部紧致但非紧致的双倍度量测度空间$(X,d,\mu)$，其支持1-Poincaré不等式，且与边界$Z=\partial X$为双Lipschitz同胚。
• 应用p-Laplacian Neumann问题的弱形式：对所有Sobolev函数$\phi$，有$\int_\Omega |\nabla u|^{p-2}\nabla u \cdot \nabla \phi\,d\mu = \int_{\partial\Omega} \phi f\,d\nu$。
• 通过球内迭代与衰减估计，建立解在Neumann数据$f$扰动下的全局Hölder正则性与稳定性。
• 通过扩展问题在$X$中的Dirichlet-to-Neumann映射，构造$Z$上的分数阶$p$-Laplacian $(-\Delta_p)^\theta$，使用延拓方法。
• 验证边界上诱导测度$\mu_\omega$的加倍性质与2-Poincaré不等式，确保分数阶算子的有效性。
• 在球$B(x,r_n)$中使用迭代衰减估计，其中$r_n \to R/2$，依赖于$L^p$-范数与截断技术，证明解的有界性。

实验结果

研究问题

• RQ1 能否在不支持2-Poincaré不等式的紧致双倍度量测度空间中定义分数阶$p$-Laplacian？
• RQ2 在支持$p$-Poincaré不等式的双倍度量测度空间中，p-Laplacian的Neumann问题是否具有全局Hölder正则性与稳定性？
• RQ3 能否通过双曲填充将Caffarelli–Silvestre延拓方法推广至非欧氏度量测度空间？
• RQ4 本文构造的分数阶$p$-Laplacian是否与欧氏与黎曼情形下的已知定义一致？
• RQ5 能否去除Neumann问题中对右端项$f$有界性的假设？

主要发现

• 在加倍与$p$-Poincaré不等式结构假设下，p-Laplacian Neumann问题对边界上$L^q$-数据$f$具有全局Hölder正则性与稳定性。
• 在任意紧致双倍度量测度空间$Z$上，即使不具有2-Poincaré不等式，也通过扩展问题的Dirichlet-to-Neumann映射构造了分数阶$p$-Laplacian $(-\Delta_p)^\theta$。
• 当$p=2$时，所构造的分数阶Laplacian与文献中经典定义一致，验证了希尔伯特情形下方法的有效性。
• 该构造依赖于对$Z$的双曲填充，以生成一个支持1-Poincaré不等式的空间$X$，且$Z$与$\partial X$为双Lipschitz同胚，从而实现延拓方法。
• 本文去除了Neumann问题中对$f$有界性的假设，通过在半径递减的球中使用迭代衰减估计，证明了解在$B(x,R/2)$中有界。
• 该方法导出了$(-\Delta_p)^\theta u = f$在$Z$中解的Harnack不等式与稳定性，且迭代过程中具有明确的衰减速率。