🔢 mathematics

Nonlocal parabolic De Giorgi classes

This paper investigates the local regularity of functions in the nonlocal parabolic De Giorgi class by establishing their local boundedness, Harnack inequalities, and Hölder continuity, ultimately proving a Liouville-type rigidity property and applying these methods to derive a sharp Harnack inequality for the nonlocal Trudinger equation.

Original authors: Simone Ciani, Kenta Nakamura

Published 2026-02-10

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Simone Ciani, Kenta Nakamura

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 understand the behavior of a very strange, invisible fluid that flows not just through space, but also jumps across vast distances instantly. This is the world of nonlocal parabolic equations, the subject of this paper.

The authors, Simone Ciani and Kenta Nakamura, are studying a specific "club" of mathematical functions (called the De Giorgi class) that describe how this fluid moves. Their goal is to prove that even though this fluid behaves in complex, long-range ways, it still follows some very orderly rules: it doesn't suddenly explode to infinity, and it doesn't have jagged, unpredictable spikes. It is smooth and predictable.

Here is a breakdown of their journey, using simple analogies:

1. The Problem: The "Long-Range" Ghost

In normal physics (like heat spreading through a metal rod), what happens at one point depends mostly on its immediate neighbors. But in this "nonlocal" world, a point can be influenced by a neighbor on the other side of the universe.

The authors call this influence the "Tail."

The Analogy: Imagine you are standing in a quiet room (your local area). In a normal room, the noise you hear comes from people right next to you. In this nonlocal room, you can also hear faint whispers from people in a different city. The "Tail" is a measure of how loud those distant whispers are.
The Challenge: If those distant whispers are too loud or chaotic, the person in the room might start screaming (the solution becomes infinite or breaks down). The authors had to prove that if the "whispers" (the Tail) are kept under control, the person in the room stays calm.

2. The First Discovery: Keeping the Temperature Stable

Theorem 1.1 (Local Boundedness)
The first thing the authors proved is that the fluid's temperature (or height) cannot suddenly shoot up to infinity, provided the distant whispers aren't too crazy.

The Metaphor: Think of a thermostat. Even if someone is shouting from a distant city, the thermostat in your living room won't suddenly decide to heat the house to 1,000 degrees. The authors found a precise formula that says: "The maximum temperature in your room is limited by the average temperature in the room plus a weighted sum of the distant shouts."
Why it's new: Previous methods were a bit rough. This paper provides a much sharper, more accurate "thermostat" that works even when the math gets very complicated (nonlinear).

3. The Second Discovery: The "Spread of Positivity"

Theorems 1.3 & 1.4 (Weak Harnack Inequalities)
Next, they looked at what happens if the fluid is positive (above zero) in one spot. Does it stay positive nearby?

The Analogy: Imagine a campfire in a foggy forest. If you see a spark in one spot, does it guarantee there is warmth nearby?
The "Expansion of Positivity": The authors proved that if the fluid is "positive" (warm) in a certain area, it forces the surrounding area to be warm too, eventually spreading out like a wave.
The Twist: Because of the "Tail" (the distant whispers), the spread isn't perfect. The authors had to add a "penalty term" to their math to account for the distant noise. If the distant noise is too loud, the warmth might not spread as far. But if the noise is controlled, the warmth spreads reliably.

4. The Grand Prize: The Full Harnack Inequality

Theorem 1.6
This is the "crown jewel" of the paper. By combining the "Thermostat" (boundedness) and the "Campfire" (spread of positivity), they proved the Full Harnack Inequality.

The Metaphor: This is the ultimate rule of the fluid. It says: "The hottest point in your neighborhood cannot be more than a certain multiple of the coldest point in the same neighborhood, plus a small correction for the distant whispers."
Significance: This proves that the fluid is incredibly well-behaved. It can't have a scorching hot spot right next to a freezing cold spot without a smooth transition in between. It rules out chaotic, jagged behavior.

5. The Final Proof: Smoothness and Rigidity

Theorem 1.8 & Corollary 1.9 (Hölder Continuity & Liouville Theorem)
Finally, they proved two things about the shape of the fluid:

Smoothness (Hölder Continuity): The fluid doesn't have sharp corners or jagged edges. It flows smoothly. If you zoom in, it looks like a gentle curve, not a jagged mountain range.
Rigidity (Liouville Theorem): If this fluid exists everywhere in the universe and never gets too hot or too cold (it's bounded), then it must be constant.
- The Analogy: Imagine a river that flows forever without ever changing its speed or direction. If it's bounded (doesn't speed up infinitely), the only way it can exist forever is if it's actually a still, flat lake. It can't be a flowing river; it has to be a constant, unchanging state.

6. The "Time-Gap" Phenomenon

One of the most interesting parts of the paper is a discussion about time.

The Concept: In this nonlocal world, information doesn't travel instantly. If you light a fire at time $T_1$ , the heat might not be felt at a specific spot until time $T_2$ .
The "Waiting Time": The authors show that there is a mandatory "waiting time" (a gap) between when you see a spark and when you can guarantee the whole area is warm. You can't skip this gap. This is different from some other types of math where things happen instantly.

Summary

In short, Ciani and Nakamura built a new set of mathematical tools to prove that a very complex, long-range fluid behaves nicely. They showed that:

It stays within reasonable limits (Boundedness).
Warmth spreads predictably (Expansion of Positivity).
The hottest and coldest spots in a neighborhood are related (Harnack Inequality).
The fluid is smooth, not jagged (Continuity).
If it's calm everywhere, it must be completely still (Rigidity).

They did this by creating a "De Giorgi machine"—a step-by-step process that chases down the "Tail" (the distant influence) and proves that as long as the distant influence is controlled, the local behavior is perfectly smooth and predictable.

Technical Summary: Nonlocal Parabolic De Giorgi Classes

Problem Statement
This paper investigates the local regularity theory for functions belonging to a specific energy class known as the nonlocal parabolic (p-homogenous) De Giorgi class, denoted as $PDG^{s,p}_{\pm}(\Omega_T, \gamma_{DG}, \varepsilon)$ . The study focuses on the local behavior of elements within this class, which serves as a natural framework for weak solutions to nonlocal parabolic equations, including the fractional heat equation and the nonlocal Trudinger equation.

The primary challenge addressed is the extension of classical De Giorgi–Nash–Moser theory to the nonlocal parabolic setting. Unlike the local case, nonlocal problems involve long-range interactions captured by "tail" terms, and the parabolic setting introduces a "time-gap" phenomenon where regularity estimates often require a waiting time between spatial and temporal scales. The authors aim to establish local boundedness, weak and full Harnack inequalities, and local Hölder continuity under optimal tail conditions, specifically handling the $L^{p-1+\varepsilon}$ integrability of the tail.

Methodology
The authors develop a series of De Giorgi-type iterations and measure-theoretical tools adapted to the nonlocal parabolic setting. The methodology avoids the complex Krylov–Safonov covering arguments often used in parabolic regularity, relying instead on purely measure-theoretical techniques reminiscent of the original De Giorgi approach.

Key methodological components include:

Refined Local Boundedness: The authors first establish an $L^\infty$ – $L^\nu$ local bound for $0 < \nu \le p$ . This is achieved through a time-dependent truncation method and Moser-type iteration, carefully handling the interaction between local energy terms and nonlocal tail terms.
Expansion of Positivity: A core part of the analysis involves proving "expansion of positivity" lemmas. These include a De Giorgi-type lemma (Critical Mass Lemma), a shrinking lemma, and a "power-like expansion of positivity." These lemmas propagate measure-theoretical information (positivity on a set of positive measure) to pointwise lower bounds, accounting for the influence of distant values via the tail.
Tail Control: The proofs rigorously control the nonlocal tail term, defined as $Tail(u; B_\rho)$ . The authors impose an optimal $L^{p-1+\varepsilon}$ condition on the tail, which is crucial for deriving the Harnack inequalities and Hölder continuity.
Induction for Hölder Continuity: To prove Hölder continuity, the authors employ an induction scheme on oscillation estimates. They utilize a "two-alternatives" argument (concentration of measure vs. oscillation reduction) and carefully estimate the decay of the oscillation, incorporating the tail contributions at each step.

Key Contributions and Results

Local Boundedness (Theorem 1.1): The paper provides a refined $L^\infty$ – $L^\nu$ local bound. Unlike previous results that relied on $L^\infty$ -tails, this result utilizes an $L^{p-1}$ -type tail average, offering a more quantitative and optimal estimate. The authors demonstrate that the $L^\infty$ -tail assumption in prior works cannot be simply replaced by an $L^{p-1}$ -tail without modification, providing a counterexample to a naive extension.
Weak Harnack Inequalities (Theorems 1.3 & 1.4): Two versions of nonlocal weak Harnack inequalities are proven.
- The first (Theorem 1.3) establishes a bound involving an $L^\beta$ -average of the solution and an $L^{p-1+\varepsilon}$ -tail.
- The second (Theorem 1.4) provides a stronger estimate, controlling the infimum of the solution by an average integral of a higher power ( $p-1$ ) and the tail of the positive part of the solution. This version improves upon previous results by better handling the long-range influences.
Full Harnack Inequality (Theorem 1.6): By chaining the local boundedness (Theorem 1.1) with the weak Harnack inequality (Theorem 1.4), the authors deduce a full nonlocal Harnack inequality. This estimate relates the supremum of a nonnegative solution in a smaller cylinder to its infimum in a later cylinder, plus a tail term.
Hölder Continuity (Theorem 1.8): The paper establishes the local Hölder continuity of functions in the nonlocal parabolic De Giorgi class. This is a significant result as, prior to this work, Hölder continuity for nonlocal parabolic De Giorgi classes was largely unestablished (having been known primarily for the elliptic case). The proof explicitly constructs a modulus of continuity that depends on the optimal $L^{p-1+\varepsilon}$ -tail condition.
Liouville-Type Rigidity (Corollary 1.9): As a consequence of the Hölder continuity, the authors prove that bounded global solutions to the equation in the whole space $\mathbb{R}^{N+1}$ must be constant.
Application to Nonlocal Trudinger Equation (Appendix D): The methodology is applied to the nonlocal Trudinger equation, $\partial_t(|u|^{p-2}u) + L_t u = 0$ . The authors prove that the same regularity results (local boundedness, Harnack inequalities) hold for nonnegative solutions to this doubly nonlinear equation, marking a state-of-the-art result for this specific class of equations.

Significance and Novelty
The paper claims several novelties and significant contributions to the field:

Avoidance of Covering Arguments: A major novelty is the derivation of weak Harnack estimates and Hölder continuity without relying on Krylov–Safonov type covering arguments. Instead, the authors utilize a De Giorgi–Nash–Moser framework adapted for nonlocal parabolic settings, which they argue is more versatile for future developments in nonlinear settings.
Optimal Tail Conditions: The results are established under optimal $L^{p-1+\varepsilon}$ tail conditions. The authors note that their results are new even for the linear case, showing that recent achievements by Kassmann and Weidner are structural properties valid regardless of the specific equation.
Parabolic vs. Elliptic Distinction: The work addresses the specific difficulties of the parabolic case, particularly the "time-gap" phenomenon, which does not occur in the elliptic setting. The authors develop a strategy distinct from the elliptic case to overcome the deadlock caused by this phenomenon.
Doubly Nonlinear Extension: The extension of these regularity results to the nonlocal Trudinger equation represents a significant step forward, as the doubly nonlinear nature of the time derivative ( $\partial_t(|u|^{p-2}u)$ ) requires careful handling of the energy estimates, which the authors successfully navigate.

In summary, the paper provides a comprehensive regularity theory for nonlocal parabolic De Giorgi classes, establishing fundamental properties like boundedness, Harnack inequalities, and Hölder continuity, and demonstrating their applicability to important nonlinear models like the nonlocal Trudinger equation.