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

Basic Information

• Paper ID: 2510.14346
• Title: Sobolev regularity for the perturbed fractional 1-Laplace equations in the subquadratic case
• Authors: Dingding Li, Chao Zhang (School of Mathematics, Harbin Institute of Technology)
• Classification: math.AP (Mathematical Analysis - Partial Differential Equations)
• Publication Date: October 16, 2025
• Paper Link: https://arxiv.org/abs/2510.14346v1

Abstract

This paper investigates the Sobolev regularity of weak solutions to perturbed fractional 1-Laplace equations in the subquadratic case. Under the assumption that weak solutions are locally bounded, the authors establish regularity properties analogous to the superquadratic case. By introducing a critical threshold $\frac{p-1}{p}$, the range of parameter $s_p$ is divided into two distinct cases. Specifically, for $s_p \in \left(0, \frac{p-1}{p}\right]$ and $q \geq p$, solutions are shown to possess $W^{\gamma,q}_{\text{loc}}$ regularity with $\gamma \in \left(0, \frac{s_p p}{p-1}\right)$; for $s_p \in \left(\frac{p-1}{p}, 1\right)$ and $q \geq p$, $W^{1,q}_{\text{loc}}$ regularity is established. The analytical approach relies on nonlocal finite difference quotient methods combined with Moser-type iteration schemes.

Research Background and Motivation

Importance of the Problem

The core equation studied in this paper is the perturbed fractional 1-Laplace equation: $(-\Delta_1)^{s_1}u + (-\Delta_p)^{s_p}u = 0 \quad \text{in } \Omega$

where $s_1, s_p \in (0,1)$, $p \in (1,2)$ (subquadratic case), and $\Omega \subset \mathbb{R}^N$ is a bounded domain.

Research Motivation

1. Filling theoretical gaps: The authors previously studied the superquadratic case ($p \geq 2$) in 23; this paper completes the theory for the subquadratic case
2. Non-uniformly elliptic growth problems: The equation can be viewed as a special case of $(p,q)$-growth problems with distinct growth structures
3. Practical applications: Classical versions have applications in fluid mechanics and materials science
4. Technical challenges: The non-strict convexity of the 1-structure introduces unique analytical difficulties

Limitations of Existing Methods

• The weak formulation of the fractional 1-Laplace operator requires set-valued sign functions
• Energy may be discontinuous; existence of solutions requires smallness conditions
• Traditional variational methods are difficult to apply directly

Core Contributions

1. Established complete regularity theory for the subquadratic case: Two main theorems are proved, covering different ranges of parameter $s_p$
2. Introduced critical threshold $\frac{p-1}{p}$: This threshold determines the existence of gradient $\nabla u$, differing from the threshold $\frac{p-2}{p}$ in fractional $p$-Laplace equations
3. Developed systematic analytical methods: Combining nonlocal finite difference quotient techniques with Moser-type iteration
4. Obtained optimal regularity results: Nearly optimal Sobolev and Hölder regularity within respective parameter ranges

Methodology Details

Problem Setup

Study the regularity of weak solutions $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)$, where weak solutions satisfy:

1. There exists a function $Z \in L^{\infty}(\mathbb{R}^N \times \mathbb{R}^N)$ such that $Z \in \text{sgn}(u(x)-u(y))$
2. For any test function $\phi$, the integral identity (1.4) holds

Core Technical Methods

1. Nonlocal Finite Difference Quotient Technique

Define the difference operator $\tau_h u(x) := u(x+h) - u(x)$; establish regularity by controlling the growth of $\int_{B_r} |\tau_h u|^q dx$

2. Energy Estimates (Proposition 3.3)

Establish the key inequality: $\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$$\leq \left(\frac{C}{(R-r)^{N+s_p p+1}}\right)^{\frac{p}{2}} \cdots$

where $J_\gamma(a) := |a|^{\gamma-2}a$.

3. Moser-Type Iteration Scheme

Define the sequence $\gamma_i$: $\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}$

Enhance regularity indices through iteration.

Technical Innovations

1. Handling singularities of the 1-structure: Address the non-differentiability of $\frac{u(x)-u(y)}{|u(x)-u(y)|}$ by introducing set-valued functions $Z$
2. Novel threshold analysis: Discover that $\frac{p-1}{p}$ is the critical threshold determining gradient existence
3. Improved energy estimates: Compared to the superquadratic case, local regularity estimates in the subquadratic case depend on more parameters

Experimental Setup

This is purely theoretical research with no numerical experiments. All results are obtained through rigorous mathematical proofs.

Main Technical Tools

• Lemmas 2.5-2.6: Algebraic inequalities for handling nonlinear terms
• Lemmas 2.7-2.11: Foundational lemmas for finite difference techniques
• Lemma 3.1: Integral estimates for nonlocal $p$-growth terms

Main Results

Theorem 1.3 (Case 1: $s_p \in (0, \frac{p-1}{p}]$)

For locally bounded weak solutions $u$, we have $u \in W^{\sigma,q}_{\text{loc}}(\Omega)$ with $q \geq p$ and $s_p \leq \sigma < \frac{s_p p}{p-1}$.

Estimate: $[u]^q_{W^{\sigma,q}(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa}$

Theorem 1.4 (Case 2: $s_p \in (\frac{p-1}{p}, 1)$)

For locally bounded weak solutions $u$, we have $u \in W^{1,q}_{\text{loc}}(\Omega)$ with $q \geq p$.

Estimate: $\|\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 Regularity Corollaries

Corollary 1.5: For $s_p \in (0, \frac{p-1}{p}]$, $u \in C^{0,\gamma}_{\text{loc}}(\Omega)$ with $\gamma \in (0, \frac{s_p p}{p-1})$

Corollary 1.6: For $s_p \in (\frac{p-1}{p}, 1)$, $u \in C^{0,\gamma}_{\text{loc}}(\Omega)$ with $\gamma \in (0,1)$

Gradient Regularity

Corollary 1.8: When $s_p \in (\frac{p-1}{p}, 1)$ and $q \geq 2$, $u \in W^{1+\alpha,q}_{\text{loc}}(\Omega), \quad \alpha \in \left(0, \frac{p}{2q}(s_p p - p + 1)\right)$

Related Work

Classical Case

• Giga-Tsubouchi 19: Proved gradient continuity for convex weak solutions
• Tsubouchi 35: Removed convexity condition and established interior $C^1$ regularity
• De Filippis-Mingione 13: Studied functionals with nearly linear growth

Fractional Case

• Authors' prior work 23: Complete theory for superquadratic case ($p \geq 2$)
• Brasco-Lindgren series 6,7,14,17: Foundational regularity theory for fractional $p$-Laplace equations
• Garain-Lindgren 18: Subquadratic case of fractional $p$-Laplace equations

Conclusions and Discussion

Main Conclusions

1. Perfected the theoretical framework: Combined with previous superquadratic results, forms a complete regularity theory for perturbed fractional 1-Laplace equations
2. Revealed critical threshold: The importance of $\frac{p-1}{p}$ reflects the essential influence of the 1-structure on the problem
3. Obtained optimal results: Nearly optimal regularity within technical constraints

Limitations

1. Local boundedness assumption: Requires pre-assuming local boundedness of weak solutions
2. Iteration constraints: In the case $s_p \in (\frac{p-1}{p}, 1)$, difference quotient techniques cannot iterate indefinitely
3. Parameter dependence: Estimates in the subquadratic case depend on more parameters; constants may lack precision

Future Directions

1. Remove boundedness assumption: Investigate whether boundedness can be derived directly from the weak solution definition
2. Boundary regularity: Extend analysis to regularity near the boundary
3. Optimality: Study whether the obtained regularity indices are optimal

In-Depth Evaluation

Strengths

1. Theoretical completeness: Fills the theoretical gap for the subquadratic case, forming a complete system with the superquadratic case
2. Technical innovation: Skillfully handles singularities of the 1-structure and develops applicable analytical techniques
3. Precise results: Obtains nearly optimal regularity indices and precise estimates
4. Systematic methodology: Establishes systematic methodology for handling such problems

Weaknesses

1. Strong preset conditions: Local boundedness assumption limits generality of results
2. Technical complexity: Proofs involve extensive technical details; readability could be improved
3. Limited applications: Primarily theoretical results with limited practical applicability

Impact

1. Academic value: Makes important contributions to nonlocal singular elliptic equation theory
2. Methodological significance: Developed techniques are generalizable to related problems
3. Completeness: Forms a complete theoretical framework with existing literature

Applicable Scenarios

• Regularity analysis of nonlocal variational problems
• Study of elliptic equations with different growth structures
• Analysis of nonlocal models in applications such as image processing

References

The paper cites 38 related references, primarily including:

• 4-7,14,17,18: Foundational literature on fractional Sobolev spaces and finite difference techniques
• 19,35: Regularity theory for classical perturbed 1-Laplace equations
• 22,23: Authors' prior related work
• 25,26: Marcellini's pioneering work on $(p,q)$-growth problems

This paper provides important theoretical contributions to regularity theory for perturbed fractional 1-Laplace equations, with innovative technical methods and optimal results, representing significant progress in the field.