2025-11-10T03:06:09.057731

On a fractional Alt-Caffarelli-Friedman-type monotonicity formula

Ferrari, Giovagnoli, Merlino
In this note, by exploiting mean value properties of $s$-harmonic functions, we introduce some monotonicity formulas in the nonlocal setting. We take into account intrinsically nonlocal functionals mimicking those introduced by Alt, Caffarelli and Friedman in the seminal work [Alt-Caffarelli-Friedman, Trans. Amer. Math. Soc. (1984)]. Our approach is purely nonlocal and does not rely on the extension technique. As a byproduct we also established interior nonlocal gradient estimates and a nonlocal analogue of the Bochner identity.
academic

On a fractional Alt-Caffarelli-Friedman-type monotonicity formula

基本信息

  • 论文ID: 2509.25891
  • 标题: On a fractional Alt-Caffarelli-Friedman-type monotonicity formula
  • 作者: Fausto Ferrari, Davide Giovagnoli, Enzo Maria Merlino
  • 分类: math.AP (Analysis of PDEs)
  • 发表时间: 2025年10月13日 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2509.25891

摘要

本文通过利用ss-调和函数的平均值性质，在非局部设定中引入了一些单调性公式。作者考虑了本质上非局部的泛函，模仿Alt、Caffarelli和Friedman在开创性工作中引入的泛函。该方法是纯非局部的，不依赖于扩展技术。作为副产品，还建立了内部非局部梯度估计和Bochner恒等式的非局部类似物。

研究背景与动机

研究问题

本文旨在建立分数阶拉普拉斯算子框架下的Alt-Caffarelli-Friedman (ACF)型单调性公式的非局部对应物。经典的ACF单调性公式在自由边界问题中发挥重要作用，特别是在证明两相Bernoulli型椭圆自由边界问题解的正则性方面。

问题重要性

  1. 理论完整性: 填补了分数阶偏微分方程理论中单调性公式的空白
  2. 应用价值: 为非局部自由边界问题提供了新的分析工具
  3. 方法创新: 提供了不依赖Caffarelli-Silvestre扩展技术的纯非局部方法

现有方法局限性

  • 大多数分数阶算子的正则性结果通过扩展算子的单调性公式建立
  • 缺乏经典单相泛函JACFJ_{ACF}的直接非局部对应物
  • 在非局部框架中，梯度平方∣∇u∣2|\nabla u|^2的合适替代品尚未确定

研究动机

受到26中局部设定思想的启发，作者将ACF泛函的单调递增行为与(次)调和函数的(次)平均值性质联系起来，发展了纯非局部的分析方法。

核心贡献

  1. 建立了两种非局部ACF单调性公式：
    • 基于GuG_u函数的版本 (定理1.1)
    • 基于分布Riesz分数梯度∣∇su∣2|\nabla^s u|^2的版本 (定理1.4)
  2. 证明了s→1−s \to 1^-时的稳定性：
    • 两种非局部泛函都收敛到经典的局部ACF泛函 (定理1.2, 1.5)
  3. 建立了内部非局部梯度估计 (定理1.3)
  4. 发展了非局部Bochner型恒等式：
    • 为GuG_u和∣∇su∣2|\nabla^s u|^2建立了相应的恒等式
  5. 提供了非局部Liouville型定理的新证明 (定理5.4)

方法详解

任务定义

研究目标是为分数阶拉普拉斯算子(−Δ)s(-\Delta)^s建立类似于经典ACF泛函的单调性公式： JACF(u,R):=1R2∫BR∣∇u∣2∣x∣n−2dxJ_{ACF}(u,R) := \frac{1}{R^2}\int_{B_R} \frac{|\nabla u|^2}{|x|^{n-2}} dx

核心方法框架

1. 非局部泛函的构造

基于分数阶拉普拉斯算子的Poisson核： Krs(0,y):=an,s(r2∣y∣2−r2)s1∣x−y∣nK_r^s(0,y) := a_{n,s}\left(\frac{r^2}{|y|^2-r^2}\right)^s \frac{1}{|x-y|^n}

定义非局部ACF泛函： JACFs(u,R):=1R1+s∫0Rrs∫Rn∖BrKrs(0,y)gu(y)dydrJ^s_{ACF}(u,R) := \frac{1}{R^{1+s}}\int_0^R r^s \int_{\mathbb{R}^n \setminus B_r} K_r^s(0,y) g_u(y) dy dr

其中gug_u是∣∇u∣2|\nabla u|^2的非局部替代品。

2. 两种gug_u的选择

选择一：GuG_u函数Gu(y):=Cn,s∫Rn(u(y)−u(η))2∣y−η∣n+2sdηG_u(y) := C_{n,s} \int_{\mathbb{R}^n} \frac{(u(y)-u(\eta))^2}{|y-\eta|^{n+2s}} d\eta

该函数与分数阶拉普拉斯算子的变分形式密切相关： ∫RnGu(y)dy=[u]Ws,2(Rn)2\int_{\mathbb{R}^n} G_u(y) dy = [u]_{W^{s,2}(\mathbb{R}^n)}^2

选择二：分布Riesz分数梯度∣∇su(y)∣2=∑i=1n(∫Rn(yi−ηi)(u(y)−u(η))∣y−η∣n+s+1dy)2|\nabla^s u(y)|^2 = \sum_{i=1}^n \left(\int_{\mathbb{R}^n} \frac{(y_i-\eta_i)(u(y)-u(\eta))}{|y-\eta|^{n+s+1}} dy\right)^2

技术创新点

1. 纯非局部方法

不依赖Caffarelli-Silvestre扩展技术，直接在原空间中工作。

2. 平均值性质的利用

通过ss-调和函数的平均值性质建立单调性： 如果gug_u是ss-次调和的，则Ms(gu,r)(0)=∫Rn∖BrKrs(0,y)gu(y)dyM^s(g_u, r)(0) = \int_{\mathbb{R}^n \setminus B_r} K_r^s(0,y) g_u(y) dy关于rr单调递增。

3. 尺度不变性

两种泛函都在变换uλ(x)=1λsu(λx)u_\lambda(x) = \frac{1}{\lambda^s}u(\lambda x)下保持不变： JACFs(uλ,Rλ)=JACFs(u,R)J^s_{ACF}\left(u_\lambda, \frac{R}{\lambda}\right) = J^s_{ACF}(u,R)

主要定理与结果

定理1.1 (GuG_u的单调性公式)

设s∈(0,1)s \in (0,1)，ε,δ>0\varepsilon, \delta > 0。假设u∈Clocs+ε(Rn)∩Ls2(Rn)u \in C^{s+\varepsilon}_{loc}(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n)且 Gu∈Cloc2s+δ(Rn)∩Ls1(Rn),(−Δ)sGu≤0 在原点附近G_u \in C^{2s+\delta}_{loc}(\mathbb{R}^n) \cap L^1_s(\mathbb{R}^n), \quad (-\Delta)^s G_u \leq 0 \text{ 在原点附近} 则映射R↦JACFs(u,R)R \mapsto J^s_{ACF}(u,R)在RR足够小时单调递增。

定理1.2 (稳定性)

在定理1.1的假设下，当s→1−s \to 1^-时： JACFs(u,R)→2nωn1R2∫BR(0)∣∇u∣2∣y∣n−2dyJ^s_{ACF}(u,R) \to \frac{2}{n\omega_n} \frac{1}{R^2} \int_{B_R(0)} \frac{|\nabla u|^2}{|y|^{n-2}} dy

定理1.3 (内部非局部梯度估计)

设u∈Cloc2(Rn)∩Ls2(Rn)u \in C^2_{loc}(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n)满足

(-\Delta)^s u = f & \text{在 } B_1 \\ u = 0 & \text{在 } \mathbb{R}^n \setminus B_1 \end{cases}$$ 其中$f \in L^\infty(B_1)$。若$G_u \in C^{2s+\delta}_{loc}(\mathbb{R}^n) \cap L^1_s(\mathbb{R}^n)$且$(-\Delta)^s G_u \leq 0$在$B_1$中，则 $$\|G_u\|^{1/2}_{L^\infty(B_{1/2})} \leq C_0(\|u\|_{L^\infty(B_1)} + \|f\|_{L^\infty(B_1)})$$ ## 非局部Bochner恒等式 ### 命题5.1 (非局部Bochner公式) 对于$u \in C^3(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n)$，有： $$(-\Delta)^s G_u(x) = 2C_{n,s} \int_{\mathbb{R}^n} \frac{(u(x)-u(x-z))(-\Delta)^s_x(u(x)-u(x-z))}{|z|^{n+2s}} dz$$ $$- C_{n,s}^2 \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \frac{(u(x)-u(x-z)-u(y)+u(y-z))^2}{|x-y|^{n+2s}|z|^{n+2s}} dy dz$$ ### 命题5.2 (收敛性) 当$s \to 1^-$时，上述非局部Bochner公式收敛到经典的Bochner恒等式： $$\frac{1}{2}\Delta|\nabla f|^2 = \|D^2 f\|^2 + \langle\nabla f, \nabla(\Delta f)\rangle$$ ## 应用与推论 ### 非局部Liouville定理 (定理5.4) 设$u \in C^3(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n)$满足$(-\Delta)^s u = 0$在$\mathbb{R}^n$中。若$u$有界，则$u$为常数。 **证明思路**：利用$G_u$的$s$-次调和性和单调性公式，结合梯度估计得出$G_u(0) = 0$，从而$u$为常数。 ### 改进的单调性条件 (定理1.6) 对于$|\nabla^s u|^2$的情况，利用$\nabla^s$与$(-\Delta)^s$的交换性，可以在更弱的条件下建立单调性： 若$(-\Delta)^s u = f$且$\langle\nabla^s u, \nabla^s f\rangle \leq 0$，则相应的泛函单调递增。 ## 技术难点与创新 ### 1. 奇点处理 在建立非局部Bochner恒等式时，需要处理积分中的奇点。通过三阶Taylor展开和精细的积分估计解决了交换积分与分数阶拉普拉斯算子顺序的问题。 ### 2. 渐近分析 证明了当$s \to 1^-$时，非局部量收敛到相应的局部量： - $G_u(x)/2 \to |\nabla u(x)|^2$ - $\nabla^s u \to \nabla u$ - 非局部Bochner恒等式收敛到局部版本 ### 3. 函数空间理论 建立了合适的函数空间框架，确保所有积分的收敛性和算子的良定义性。 ## 相关工作 ### 经典ACF理论 - Alt, Caffarelli, Friedman (1984)：原始ACF单调性公式 - Caffarelli系列工作：自由边界问题中的应用 ### 分数阶算子理论 - Caffarelli-Silvestre扩展方法 - 非局部自由边界问题的最新进展 - 分数阶梯度理论的发展 ### 单调性公式的推广 - 各种算子上的单调性公式 - Carnot群上的推广 - 几何分析中的应用 ## 结论与讨论 ### 主要结论 1. 成功建立了分数阶拉普拉斯算子的ACF型单调性公式 2. 提供了纯非局部的分析方法，不依赖扩展技术 3. 建立了非局部与局部理论之间的桥梁 ### 局限性 1. $G_u$的$s$-次调和性条件在实际应用中难以验证 2. 函数的正则性要求较高 3. 尚未在自由边界问题中得到具体应用 ### 未来方向 1. 在非局部自由边界问题中的应用 2. 放宽正则性和$s$-次调和性条件 3. 推广到更一般的非局部算子 ## 深度评价 ### 优点 1. **理论创新**：首次建立了纯非局部的ACF单调性公式 2. **方法新颖**：不依赖扩展技术的直接方法 3. **结果完整**：包含单调性、稳定性、梯度估计等多个方面 4. **技术精湛**：非局部Bochner恒等式的建立技术含量很高 ### 不足 1. **适用条件严格**：$s$-次调和性条件限制了应用范围 2. **实际应用有限**：尚未展示在自由边界问题中的具体效用 3. **计算复杂性**：实际验证条件的困难 ### 影响力 1. **理论贡献**：为非局部分析提供了重要工具 2. **方法论意义**：展示了纯非局部方法的可行性 3. **后续研究**：为相关领域提供了新的研究方向 ### 适用场景 1. 分数阶椭圆方程的正则性理论 2. 非局部自由边界问题 3. 分数阶变分问题的分析 ## 参考文献 主要参考了Alt-Caffarelli-Friedman的原始工作、分数阶算子理论的基础文献，以及最近在非局部分析方面的进展，共包含47篇重要参考文献。