🔢 mathematics

Hölder regularity for the parabolic perturbed fractional 1-Laplace equations

This paper establishes the local spatial Hölder continuity and Sobolev regularity of weak solutions to parabolic perturbed fractional 1-Laplace equations by employing finite difference quotients, energy estimates, and a decomposition of nonlocal integrals, marking the first development of a regularity theory for such nonlocal parabolic equations.

Original authors: Dingding Li, Chao Zhang

Published 2026-03-31

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Dingding Li, Chao Zhang

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to predict the weather in a chaotic city. You have two different types of weather systems colliding:

The "Instant Neighbor" System: A force where if one person in the city sneezes, everyone immediately feels a tiny ripple, no matter how far away they are. This is the Fractional 1-Laplacian. It's like a super-sensitive, non-local gossip network where the whole city reacts instantly to a single change.
The "Smooth Flow" System: A force that tries to smooth out the city's temperature, like wind spreading heat evenly. This is the Fractional p-Laplacian. It's the standard, well-behaved physics we are used to.

The paper by Dingding Li and Chao Zhang tackles a very difficult math problem: What happens when you mix these two systems together in a time-evolving equation?

Specifically, they are studying a "Parabolic Perturbed Fractional 1-Laplace Equation." That's a mouthful, but here is the simple breakdown:

The Core Problem: The "Rough Edge"

In mathematics, some equations are "smooth" (like a polished marble statue), and others are "rough" (like a jagged rock).

The Smooth System (the $p$ -part) is easy to handle. Mathematicians have known how to predict its behavior for decades.
The Rough System (the 1-part) is the troublemaker. It represents a situation where the rules change abruptly. Think of it like a traffic light that doesn't just turn green or red, but suddenly flips based on a chaotic, non-local rule. Because it's "non-smooth," standard mathematical tools (like trying to smooth it out with a sponge) break down.

The authors ask: If we mix a smooth flow with this jagged, chaotic, non-local force, does the solution (the weather pattern) stay predictable, or does it turn into total chaos?

The Solution: A "Zoom-In" Strategy

The authors prove that yes, the solution remains predictable and smooth enough. Even with the jagged 1-force, the solution doesn't break; it just becomes "rougher" than usual, but still follows a specific pattern of smoothness called Hölder Continuity.

To prove this, they used a clever strategy involving three main steps:

1. The "Difference Quotient" (The Microscope)

Instead of looking at the whole city at once, they looked at the difference between two points very close to each other.

Analogy: Imagine trying to see if a road is bumpy. Instead of driving the whole highway, you take a tiny step forward and measure the difference in height between your left foot and your right foot. By doing this repeatedly, they could measure how "jagged" the solution was without needing to know the exact shape of the jagged rock.

2. The "Split Personality" (Local vs. Non-Local)

The equation has two parts: things happening right next to you (Local) and things happening far away (Non-Local).

Analogy: Imagine a party. The "Local" part is the conversation happening at your specific table. The "Non-Local" part is the noise from the DJ across the room.
The authors realized they couldn't treat the whole party as one block. They had to split the problem:
- They handled the "table conversation" (Local) using standard math.
- They handled the "DJ noise" (Non-Local) by treating it as a "tail" (a long-distance influence) and bounding how loud it could get.
- By separating them, they could control the chaos of the 1-force without letting it ruin the whole calculation.

3. The "Iterative Ladder" (Climbing Up)

They didn't get the perfect answer in one go. They started with a rough estimate and kept climbing a ladder.

Analogy: Imagine you are trying to reach a high shelf. You can't jump straight there. So, you jump to a low box, then a medium box, then a high box.
In the math, they proved the solution was "smooth enough" to jump to the next level of smoothness. They did this over and over (iteration) until they proved the solution was smooth enough to be Hölder continuous.

What is "Hölder Continuity"?

This is the paper's main victory. It's a fancy way of saying: "The solution changes in a controlled, predictable way."

If a function is continuous, it doesn't have sudden jumps (no teleporting).
If it is Hölder continuous, it doesn't just avoid jumps; it also avoids being too steep. It has a "speed limit" on how fast it can change.

The authors calculated exactly what that "speed limit" is. They found that the smoothness depends on the "strength" of the two forces ( $s_1$ and $s_p$ ) and the exponent $p$ .

The Catch: The presence of the "Rough 1-Force" makes the solution less smooth than if it were just the "Smooth Flow." It acts like a brake, limiting how smooth the final result can be.

Why Does This Matter?

This is the first time anyone has successfully built a theory for this specific type of mixed equation.

Real World: These equations model things like fluid flow in complex materials, image processing (removing noise while keeping edges sharp), and even financial markets where sudden, non-local shocks occur.
The Takeaway: The authors showed that even when you mix a chaotic, non-local force with a standard one, the system doesn't collapse. It settles into a predictable, albeit slightly rougher, state. They provided the exact "recipe" (the formulas) to calculate exactly how smooth that state will be.

Summary in One Sentence

Li and Zhang proved that even when you mix a chaotic, long-distance "gossip" force with a standard smoothing force in a time-evolving system, the result remains predictably smooth, and they figured out exactly how smooth it is by using a clever "microscope" technique to separate local and distant effects.

1. Problem Statement

The paper investigates the regularity of weak solutions to a class of parabolic perturbed fractional 1-Laplace equations. The governing equation is given by:
$\partial_t u + (-\Delta_1)^{s_1}u + (-\Delta_p)^{s_p}u = 0$
defined in a domain $\Omega \times I$ , where:

$p \in (1, +\infty)$ is the growth exponent.
$s_1, s_p \in (0, 1)$ are the fractional differentiability indices.
$(-\Delta_1)^{s_1}$ is the fractional 1-Laplacian, defined via a Cauchy principal value integral involving the sign function. This operator corresponds to non-differentiable 1-growth.
$(-\Delta_p)^{s_p}$ is the fractional $p$ -Laplacian, corresponding to standard $p$ -growth.

The equation represents a nonlocal evolution problem with $(1, p)$ -growth. The authors aim to establish the local Hölder continuity of weak solutions in both spatial and temporal variables, a result that was previously an open problem for this specific nonlocal structure.

2. Methodology

The authors employ a combination of finite difference quotients, energy estimates, and iterative arguments. The methodology is tailored to handle the specific challenges posed by the non-differentiable 1-growth term and the nonlocal nature of the operators.

Key Technical Strategies:

Decomposition of Nonlocal Integrals:
A central step involves decomposing the nonlocal integral terms into local (within a ball) and nonlocal (outside the ball, involving the "tail") components. This allows the authors to handle the singularities and the influence of the boundary conditions separately.
Difference Quotient Technique:
To derive Sobolev regularity, the authors utilize difference quotients $\tau_h u(x) = u(x+h) - u(x)$ .
- They establish a Caccioppoli-type inequality for the difference quotients.
- A crucial challenge is the auxiliary function $Z \in \text{sgn}(u(x,t) - u(y,t))$ associated with the 1-Laplacian. Since $Z$ lacks pointwise regularity and may be discontinuous, the authors cannot use standard mollification directly on the 1-structure. Instead, they develop a tailored mollification strategy in the time direction (Lemma 2.10) to ensure the stability of the weak formulation when the solution itself is part of the test function.
Iterative Regularity Improvement:
The proof proceeds in two main stages:
- Spatial Regularity: Using the difference quotient method, they iteratively improve the Sobolev regularity of the solution. They distinguish between the super-quadratic case ( $p \ge 2$ ) and the sub-quadratic case ( $1 < p < 2$ ), deriving specific energy estimates for each.
- Temporal Regularity: Once spatial Hölder continuity is established, the authors use the equation's structure to derive time regularity. They balance the contributions of the two operators ( $(-\Delta_1)^{s_1}$ and $(-\Delta_p)^{s_p}$ ) to determine the optimal time Hölder exponent.
Handling the 1-Growth Term:
Unlike classical $p$ -Laplace equations, the 1-growth term prevents the direct use of standard approximation techniques. The authors prove that the 1-structure acts as a "nonlinear switch" whose influence on regularity exponents is independent of the parameter $s_1$ but strictly limits the admissible range of Hölder exponents compared to standard $(p, q)$ -growth problems.

3. Key Contributions and Results

Main Theorem (Theorem 1.3)

The paper establishes that locally bounded weak solutions $u$ are locally Hölder continuous in the parabolic domain $\Omega_I$ . Specifically:

Spatial Regularity: The solution is spatially $\alpha$ -Hölder continuous with:
$0 < \alpha < \min\left\{1, \frac{s_p p}{p-1}\right\}$
Temporal Regularity: The solution is temporally $\gamma$ -Hölder continuous, where $\gamma$ depends on $s_1, s_p, p$ , and the spatial exponent $\alpha$ . The exponent $\Gamma$ (the upper bound for $\gamma$ ) is given by:
$\Gamma = \begin{cases} \frac{1}{\max\{s_1, s_p\} + 1} & \text{if } s_p \ge \frac{p-1}{p} \\ \frac{s_p p}{(p-1)\max\{s_1, s_p\} + s_p p} & \text{if } 0 < s_p < \frac{p-1}{p} \end{cases}$

Specific Findings:

Sobolev Regularity: The authors prove that weak solutions belong to $L^q_{loc}(I; W^{\alpha, q}_{loc}(\Omega))$ for the super-quadratic case and $L^q_{loc}(I; W^{1, q}_{loc}(\Omega))$ for the sub-quadratic case (under certain conditions on $s_p$ ).
Quantitative Estimates: All derived estimates are quantitative and depend only on the structural parameters of the equation ( $N, p, s_1, s_p$ ) and the local boundedness of the solution (including the nonlocal tail).
Optimality: The authors argue that the obtained Hölder exponents are essentially optimal under the current assumptions, limited primarily by the discontinuous nature of the auxiliary function $Z$ in the 1-Laplacian term.

4. Significance

First Regularity Theory: To the best of the authors' knowledge, this is the first work to develop a regularity theory for parabolic equations with mixed $(1, p)$ -growth in a nonlocal setting.
Bridging Gaps: It extends the regularity theory from local parabolic perturbed 1-Laplacians and fractional $p$ -Laplacians to their nonlocal, mixed-growth counterparts.
Methodological Innovation: The paper introduces novel techniques for handling the non-differentiable 1-growth term in a nonlocal context, specifically through the decomposition of integrals and the careful construction of mollified test functions that respect the sub-differential structure of the 1-Laplacian.
Impact on Nonlinear Analysis: The results highlight the restrictive effect of the 1-growth term on regularity, distinguishing $(1, p)$ -growth problems from classical $(p, q)$ -growth frameworks and providing a foundation for future studies on image processing models (where 1-Laplacians are common) and fluid mechanics involving nonlocal effects.

5. Conclusion

Li and Zhang successfully prove the local Hölder continuity of weak solutions to parabolic perturbed fractional 1-Laplace equations. By overcoming the difficulties associated with the non-differentiable 1-growth and nonlocal interactions, they provide a rigorous quantitative framework that characterizes the regularity of solutions in terms of the equation's structural parameters. This work fills a significant gap in the theory of nonlocal evolution equations with non-standard growth.