2025-11-18T21:58:13.118940

Sobolev regularity for the perturbed fractional 1-Laplace equations in the subquadratic case

Li, Zhang
This work investigates the Sobolev regularity of solutions to perturbed fractional 1-Laplace equations. Under the assumption that weak solutions are locally bounded, we establish that the regularity properties are analogous to those observed in the superquadratic case. By introducing the threshold $\frac{p-1}{p}$, we divide the range of the parameter $s_p$ into two distinct scenarios. Specifically, for any $s_p\in \left(0, \frac{p-1}{p}\right]$ and $q\ge p$, we demonstrate that the solutions possess $W_{\rm loc}^{γ, q}$-regularity for all $γ\in \left(0, \frac{s_p p}{p-1}\right)$ and the $W_{\rm loc}^{1, q}$-regularity for any $s_p\in \left(\frac{p-1}{p}, 1\right)$ and $q\ge p$, respectively. Our analysis relies on the nonlocal finite-difference quotient method combined with a Moser-type iteration scheme, which provides a systematic approach to the regularity theory for such nonlocal and singular problems.
academic

Sobolev regularity for the perturbed fractional 1-Laplace equations in the subquadratic case

基本信息

  • 论文ID: 2510.14346
  • 标题: Sobolev regularity for the perturbed fractional 1-Laplace equations in the subquadratic case
  • 作者: Dingding Li, Chao Zhang (哈尔滨工业大学数学学院)
  • 分类: math.AP (数学分析-偏微分方程)
  • 发表时间: 2025年10月16日
  • 论文链接: https://arxiv.org/abs/2510.14346v1

摘要

本文研究扰动分数阶1-拉普拉斯方程在次二次情况下弱解的Sobolev正则性。在弱解局部有界的假设下，作者建立了类似于超二次情况的正则性性质。通过引入阈值p−1p\frac{p-1}{p}，将参数sps_p的范围分为两种不同的情形。具体地，对于sp∈(0,p−1p]s_p \in \left(0, \frac{p-1}{p}\right]和q≥pq \geq p，证明了解具有Wlocγ,qW^{\gamma,q}_{\text{loc}}正则性，其中γ∈(0,sppp−1)\gamma \in \left(0, \frac{s_p p}{p-1}\right)；对于sp∈(p−1p,1)s_p \in \left(\frac{p-1}{p}, 1\right)和q≥pq \geq p，证明了Wloc1,qW^{1,q}_{\text{loc}}正则性。分析方法依赖于非局部有限差分商方法结合Moser型迭代格式。

研究背景与动机

问题的重要性

本文研究的核心方程是扰动分数阶1-拉普拉斯方程： (−Δ1)s1u+(−Δp)spu=0在Ω中(-\Delta_1)^{s_1}u + (-\Delta_p)^{s_p}u = 0 \quad \text{在} \Omega \text{中}

其中s1,sp∈(0,1)s_1, s_p \in (0,1)，p∈(1,2)p \in (1,2)（次二次情况），Ω⊂RN\Omega \subset \mathbb{R}^N是有界区域。

研究动机

  1. 填补理论空白：作者之前在23中研究了超二次情况(p≥2p \geq 2)，本文完善了次二次情况的理论
  2. 非均匀增长问题：该方程可视为(p,q)(p,q)增长问题的特例，具有不同的增长结构
  3. 实际应用：经典版本在流体力学和材料科学中有应用
  4. 技术挑战：1-结构的非严格凸性带来独特的分析困难

现有方法的局限性

  • 分数阶1-拉普拉斯算子的弱解表述需要使用集值符号函数
  • 能量可能不连续，解的存在性需要小性条件
  • 传统的变分方法难以直接应用

核心贡献

  1. 建立了次二次情况下的完整正则性理论：证明了两个主要定理，覆盖参数sps_p的不同范围
  2. 引入关键阈值p−1p\frac{p-1}{p}：这个阈值决定了梯度∇u\nabla u的存在性，不同于分数阶pp-拉普拉斯方程的阈值p−2p\frac{p-2}{p}
  3. 发展了系统的分析方法：结合非局部有限差分商技术和Moser型迭代
  4. 获得最优正则性结果：在各自参数范围内获得了几乎最优的Sobolev和Hölder正则性

方法详解

任务定义

研究弱解u∈Wlocs1,1(Ω)∩Wlocsp,p(Ω)∩Lsppp−1(RN)u \in W^{s_1,1}_{\text{loc}}(\Omega) \cap W^{s_p,p}_{\text{loc}}(\Omega) \cap L^{p-1}_{s_p p}(\mathbb{R}^N)的正则性，其中弱解满足：

  1. 存在函数Z∈L∞(RN×RN)Z \in L^{\infty}(\mathbb{R}^N \times \mathbb{R}^N)使得Z∈sgn(u(x)−u(y))Z \in \text{sgn}(u(x)-u(y))
  2. 对任意测试函数ϕ\phi，积分恒等式(1.4)成立

核心技术方法

1. 非局部有限差分商技术

定义差分算子τhu(x):=u(x+h)−u(x)\tau_h u(x) := u(x+h) - u(x)，通过控制 ∫Br∣τhu∣qdx\int_{B_r} |\tau_h u|^q dx 的增长来建立正则性。

2. 能量估计（命题3.3）

建立关键不等式： ∫Br∫Br∣Jqp+1(τhu(x))−Jqp+1(τhu(y))∣p∣x−y∣N+spp22+σ(1−p2)dxdy\int_{B_r} \int_{B_r} \frac{\left|J_{\frac{q}{p}+1}(\tau_h u(x)) - J_{\frac{q}{p}+1}(\tau_h u(y))\right|^p}{|x-y|^{N+\frac{s_p p^2}{2}+\sigma(1-\frac{p}{2})}} dx dy≤(C(R−r)N+spp+1)p2⋯\leq \left(\frac{C}{(R-r)^{N+s_p p+1}}\right)^{\frac{p}{2}} \cdots

其中Jγ(a):=∣a∣γ−2aJ_\gamma(a) := |a|^{\gamma-2}a。

3. Moser型迭代格式

定义序列γi\gamma_i： γ0=γ,γi+1=γi(1−p22q+p2q)+spp22q\gamma_0 = \gamma, \quad \gamma_{i+1} = \gamma_i\left(1-\frac{p^2}{2q}+\frac{p}{2q}\right) + \frac{s_p p^2}{2q}

通过迭代提升正则性指标。

技术创新点

  1. 处理1-结构的奇异性：通过引入集值函数ZZ处理u(x)−u(y)∣u(x)−u(y)∣\frac{u(x)-u(y)}{|u(x)-u(y)|}的不可微性
  2. 新的阈值分析：发现p−1p\frac{p-1}{p}是决定梯度存在性的关键阈值
  3. 改进的能量估计：相比超二次情况，次二次情况的局部正则性估计依赖更多参数

实验设置

本文为纯理论研究，不涉及数值实验。所有结果都是通过严格的数学证明获得的。

主要技术工具

  • 引理2.5-2.6：代数不等式，用于处理非线性项
  • 引理2.7-2.11：有限差分技术的基础引理
  • 引理3.1：处理非局部pp-增长项的积分估计

主要结果

定理1.3（情况1：sp∈(0,p−1p]s_p \in (0, \frac{p-1}{p}]）

对于局部有界弱解uu，有u∈Wlocσ,q(Ω)u \in W^{\sigma,q}_{\text{loc}}(\Omega)，其中q≥pq \geq p，sp≤σ<sppp−1s_p \leq \sigma < \frac{s_p p}{p-1}。

估计： [u]Wσ,q(Br)q≤C(T+[u]Wsp,p(BR)+1)q(R−r)κ[u]^q_{W^{\sigma,q}(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa}

定理1.4（情况2：sp∈(p−1p,1)s_p \in (\frac{p-1}{p}, 1)）

对于局部有界弱解uu，有u∈Wloc1,q(Ω)u \in W^{1,q}_{\text{loc}}(\Omega)，q≥pq \geq p。

估计： ∥∇u∥Lq(Br)q≤C(T+[u]Wsp,p(BR)+1)q(R−r)κ\|\nabla u\|^q_{L^q(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa}

Hölder正则性推论

推论1.5：sp∈(0,p−1p]s_p \in (0, \frac{p-1}{p}]时，u∈Cloc0,γ(Ω)u \in C^{0,\gamma}_{\text{loc}}(\Omega)，γ∈(0,sppp−1)\gamma \in (0, \frac{s_p p}{p-1})

推论1.6：sp∈(p−1p,1)s_p \in (\frac{p-1}{p}, 1)时，u∈Cloc0,γ(Ω)u \in C^{0,\gamma}_{\text{loc}}(\Omega)，γ∈(0,1)\gamma \in (0,1)

梯度的正则性

推论1.8：当sp∈(p−1p,1)s_p \in (\frac{p-1}{p}, 1)且q≥2q \geq 2时， u∈Wloc1+α,q(Ω),α∈(0,p2q(spp−p+1))u \in W^{1+\alpha,q}_{\text{loc}}(\Omega), \quad \alpha \in \left(0, \frac{p}{2q}(s_p p - p + 1)\right)

相关工作

经典情况

  • Giga-Tsubouchi 19：证明了凸弱解的梯度连续性
  • Tsubouchi 35：去除凸性条件，建立内部C1C^1正则性
  • De Filippis-Mingione 13：研究接近线性增长的泛函

分数阶情况

  • 作者前期工作23：超二次情况(p≥2p \geq 2)的完整理论
  • Brasco-Lindgren系列工作6,7：分数阶pp-拉普拉斯方程的正则性理论
  • Garain-Lindgren 18：分数阶pp-拉普拉斯方程的次二次情况

结论与讨论

主要结论

  1. 完善了理论体系：结合之前的超二次结果，形成了完整的扰动分数阶1-拉普拉斯方程正则性理论
  2. 揭示了关键阈值：p−1p\frac{p-1}{p}的重要性，体现了1-结构对问题的本质影响
  3. 获得最优结果：在技术限制下获得了几乎最优的正则性

局限性

  1. 局部有界性假设：需要预先假设弱解的局部有界性
  2. 迭代限制：在sp∈(p−1p,1)s_p \in (\frac{p-1}{p}, 1)情况下，差分商技术无法无限迭代
  3. 参数依赖：次二次情况的估计依赖更多参数，常数可能不够精确

未来方向

  1. 去除有界性假设：研究是否能从弱解定义直接获得有界性
  2. 边界正则性：扩展到边界附近的正则性分析
  3. 最优性：研究所获得的正则性指标是否最优

深度评价

优点

  1. 理论完整性：填补了次二次情况的理论空白，与超二次情况形成完整体系
  2. 技术创新：巧妙处理1-结构的奇异性，发展了适用的分析技术
  3. 结果精确：获得了几乎最优的正则性指标和精确的估计
  4. 方法系统：建立了处理此类问题的系统方法论

不足

  1. 预设条件较强：局部有界性假设限制了结果的一般性
  2. 技术复杂性：证明过程涉及大量技术细节，可读性有待提高
  3. 应用局限：主要是理论结果，实际应用价值有限

影响力

  1. 学术价值：为非局部奇异椭圆方程理论做出重要贡献
  2. 方法论意义：所发展的技术可推广到其他相关问题
  3. 完整性：与现有文献形成完整的理论框架

适用场景

  • 非局部变分问题的正则性分析
  • 具有不同增长结构的椭圆方程研究
  • 图像处理等应用中的非局部模型分析

参考文献

论文引用了38篇相关文献，主要包括：

本文为扰动分数阶1-拉普拉斯方程的正则性理论提供了重要的理论贡献，技术方法具有创新性，结果具有最优性，是该领域的重要进展。