🔢 mathematics

Liouville Theorems Above the Critical $9/2$ Threshold for Stationary Navier-Stokes Equations

This paper establishes new Liouville-type theorems for the stationary Navier-Stokes equations in $\mathbb{R}^3$ by proving that the classical $L^{9/2}$ integrability condition can be relaxed to a variable exponent $L^{9/2+\varepsilon(\cdot)}$ , demonstrating that triviality is enforced purely by asymptotic behavior at infinity.

Original authors: Gaston Vergara-Hermosilla

Published 2026-04-09

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Gaston Vergara-Hermosilla

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 solve a massive, never-ending puzzle of fluid flow (like water swirling in a giant ocean) that stretches out forever in every direction. This is the world of the Stationary Navier-Stokes equations.

In this world, there is a famous, stubborn rule known as the Liouville Theorem. It basically says: "If the fluid flow is calm enough and follows certain rules, the only possible solution is that the fluid is completely still (zero velocity) everywhere."

For decades, mathematicians have been trying to prove this rule holds true under the weakest possible conditions. Think of it like a security guard at a club trying to figure out who is allowed inside. The guard has a strict rule: "You must be wearing a specific type of shirt (integrability condition) to be considered 'safe' (trivial)."

The Old Rule: The "9/2" Shirt

For a long time, the best security guard (a mathematician named G. Galdi) said: "To prove the fluid is still, you must wear a shirt that is at least size 9/2 everywhere in the entire universe."

If the fluid's energy (measured by how "big" the numbers get) fits inside this 9/2 size limit everywhere, then the fluid must be zero. But what if the fluid is slightly bigger than 9/2 in some places? The old rule said, "Nope, we can't be sure. The fluid might be moving."

The New Discovery: The "Shape-Shifting" Shirt

The author of this paper, Gastón Vergara-Hermosilla, has found a clever way to relax this rule. He asks: What if we don't need a uniform shirt size everywhere? What if the shirt can change its size depending on where you are?

Here is the breakthrough, explained with an analogy:

1. The "Zoom Lens" Analogy

Imagine looking at the fluid through a special camera lens.

Close to the center (near the origin): The lens is zoomed in tight. Here, the fluid is very well-behaved. We know from basic physics (Sobolev embedding) that the fluid is "small" enough to fit in a size 6 shirt. This is a very strict, small size.
Far away (at infinity): As you zoom out to the horizon, the fluid gets more spread out. The old rule demanded it still fit in a size 9/2 shirt even out there.

Vergara-Hermosilla says: "We don't need the fluid to fit in a size 9/2 shirt everywhere. We just need it to fit in a shirt that is slightly larger than 9/2 as we go further out, but gets smaller and smaller the further we go."

He proposes a variable exponent (a variable shirt size).

Near the center, the shirt size is 6 (very strict).
As you move away, the shirt size slowly shrinks from 6 down toward 9/2.
Crucially, it never quite hits 9/2; it always stays just a tiny bit above it (like 9/2 + a tiny bit of epsilon).

2. The "Asymptotic" Secret

The most exciting part of this paper is that what happens in the middle doesn't matter as much as what happens at the edge.

Imagine a party in a giant hall.

Old Rule: Everyone in the entire hall must be whispering (low energy) to prove the party is actually empty.
New Rule: We don't care how loud the party is in the center of the room. We only care about the people standing at the very back wall, near the exit. If the people at the exit are whispering just a tiny bit better than the critical threshold, then the whole party must be empty.

The author proves that if the fluid behaves "well enough" at infinity (even if that "well enough" is a moving target that gets closer and closer to the critical limit), the fluid must be zero everywhere. The "triviality" (the fact that the fluid is still) is enforced purely by the behavior at the horizon.

Why is this a big deal?

Think of the 9/2 threshold as a cliff edge.

If you are at 9/2, you might fall off (the solution might not be zero).
If you are at 6, you are safe on a plateau (the solution is definitely zero).
For a long time, we didn't know if you could stand on the very edge of the cliff (9/2) and still be safe.

This paper says: "You don't need to stand on the edge. You can stand just a tiny step back from the edge, but that step can get smaller and smaller as you walk further away. As long as you are technically 'above' the edge, even by a microscopic amount that shrinks as you go, you are safe."

The "Variable Exponent" Tool

To do this, the author used a mathematical tool called Lebesgue spaces with variable exponents.

Standard Math: Usually, we measure things with a single ruler (e.g., "Is this less than 5?").
This Paper: The author uses a rubber ruler. The ruler stretches and shrinks depending on where you are measuring. Near the center, the ruler is short (strict). Far away, it stretches out, but it always stays just a little bit shorter than the "danger zone."

This flexibility allowed him to capture the fluid's behavior in a single, smooth mathematical framework, proving that the fluid cannot sustain any motion if it respects this flexible, shrinking rule at infinity.

Summary

In simple terms: We used to think we needed a strict, unchanging rule to prove a fluid is still. This paper shows that a flexible rule—one that gets slightly more lenient as you go further out, but never quite gives up—is enough to prove the fluid is completely motionless.

It's like saying you don't need to be a perfect athlete to win the race; you just need to be slightly better than the average runner, as long as you keep that tiny advantage all the way to the finish line.

1. Problem Statement

The paper addresses a central open problem in the mathematical theory of fluid dynamics regarding the Stationary Navier-Stokes equations in $\mathbb{R}^3$ :
$-\Delta u + u \cdot \nabla u + \nabla P = 0, \quad \nabla \cdot u = 0$
where $u$ is the velocity field and $P$ is the pressure.

The Core Question (Problem 1.1):
Does any solution $u \in \dot{H}^1(\mathbb{R}^3)$ (the homogeneous Sobolev space) that decays to zero at infinity ( $u(x) \to 0$ as $|x| \to \infty$ ) necessarily vanish identically ( $u \equiv 0$ )?

Context and Previous Results:

Galdi (1994): Proved that if $u \in L^{9/2}(\mathbb{R}^3)$ , then $u \equiv 0$ . This is considered the "critical" integrability threshold.
Chae & Wolf (2017): Improved this to a logarithmic improvement: $u \in L^{9/2}$ with a specific logarithmic weight implies triviality.
Lerner (2024): Relaxed the condition by separating low and high frequencies, requiring $u$ to be in $L^{9/2}$ only for its low-frequency component.
The Gap: It remains unknown if the global $L^{9/2}$ condition can be relaxed to a condition strictly "above" $9/2$ (i.e., $L^{9/2+\epsilon}$ ) without frequency decomposition, or if the condition can be localized entirely to the behavior at infinity.

2. Methodology

The author employs a novel approach using Lebesgue spaces with variable exponents ( $L^{p(\cdot)}$ ) to unify different integrability regimes within a single functional framework.

Key Technical Tools:

Variable Exponent Spaces ( $L^{p(\cdot)}$ ): Instead of a fixed exponent $p$ , the integrability condition is defined by a function $p(x)$ . This allows the author to impose a stronger integrability condition (like $L^6$ ) near the origin and a weaker condition (approaching $L^{9/2}$ ) at infinity.
Log-Hölder Continuity: The variable exponent $p(x)$ is constructed to satisfy the log-Hölder continuity condition. This is crucial because it ensures the boundedness of the Riesz transforms in these spaces. Since the pressure $P$ is recovered from the velocity $u$ via Riesz transforms ( $P = \sum R_i R_j (u_i u_j)$ ), this boundedness allows the author to control the pressure solely based on the velocity field's integrability, avoiding the need for separate assumptions on $P$ .
Cutoff Function Analysis: The proof utilizes a standard cutoff function $\phi_R$ to localize the energy estimates. The author carefully analyzes the decay of error terms ( $I_1(R)$ and $I_2(R)$ ) arising from the Laplacian and the nonlinear convection term as $R \to \infty$ .
Asymptotic Estimates: The proof relies on precise asymptotic estimates of the variable exponent $p(x)$ as $|x| \to \infty$ . Specifically, it shows that if $p(x)$ approaches $9/2$ at a rate of $O(1/|x|)$ , the error terms in the energy identity vanish.

3. Key Contributions and Results

Theorem 1.1 (Main Result)

The author proves that if a solution $u \in \dot{H}^1(\mathbb{R}^3)$ satisfies a variable integrability condition $u \in L^{p(\cdot)}(\mathbb{R}^3)$ , where the exponent is defined as:
$p(x) = \begin{cases} 6 & \text{if } |x| < R_0 \\ \frac{9}{2} + \frac{3}{2}\frac{R_0}{|x|} & \text{if } |x| \ge R_0 \end{cases}$
then $u \equiv 0$ .

Significance: This interpolates between the Sobolev embedding regime ( $L^6$ ) near the origin and the critical regime ( $L^{9/2}$ ) at infinity. It shows that the "critical" threshold does not need to be uniform globally; it can be approached asymptotically from above.

Corollary 1.1 (Localized Liouville Theorem)

A direct consequence is that the integrability condition need only hold at infinity. If $u \in \dot{H}^1(\mathbb{R}^3)$ and the variable exponent condition holds only for $|x| \ge R_0$ (with no assumptions on $u$ inside the ball $B(0, R_0)$ other than $u \in \dot{H}^1$ ), then $u \equiv 0$ .

Significance: This highlights that the mechanism enforcing triviality is purely asymptotic. The behavior of the solution inside any compact set does not affect the global uniqueness, provided the decay at infinity is sufficiently controlled.

Theorem 1.2 (General Uniqueness in Variable Spaces)

A more general theorem is established for any variable exponent $p(x)$ that:

Equals 6 on a ball $B(0, R_0)$ .
Is continuous, radially decreasing, and $p(x) \ge 9/2$ .
Satisfies a decay condition $|p(x) - 9/2| \le C/|x|$ for large $|x|$ .
If $u \in L^{p(\cdot)}(\mathbb{R}^3)$ , then $u \equiv 0$ .

4. Technical Significance

Relaxation of Global Conditions: The paper demonstrates that the strict global $L^{9/2}$ condition is not necessary. The "critical" nature of the exponent can be relaxed to a spatially varying exponent that is strictly greater than $9/2$ everywhere but approaches $9/2$ at infinity.
Physical Space vs. Frequency Space: Unlike Lerner's recent work which relies on frequency decomposition (separating low/high frequencies), this approach is formulated entirely in physical space. It controls the spatial decay directly without spectral analysis.
Handling the Pressure Term: A major difficulty in Liouville problems is controlling the pressure $P$ . By utilizing the specific class of variable exponents ( $P_{log}$ ) where Riesz transforms are bounded, the author successfully closes the energy estimates using only the velocity field $u$ , avoiding the need for coupled assumptions on $P$ .
Interpolation of Regimes: The result effectively bridges the gap between the local regularity provided by Sobolev embeddings ( $L^6$ ) and the global decay requirements ( $L^{9/2}$ ), showing that a smooth transition between these regimes is sufficient for uniqueness.

5. Conclusion

Gastón Vergara-Hermosilla establishes a new Liouville-type theorem that significantly relaxes the integrability requirements for stationary Navier-Stokes solutions in $\mathbb{R}^3$ . By introducing variable exponent Lebesgue spaces, the author proves that triviality follows from integrability conditions that are strictly stronger than $L^{9/2}$ near the origin and asymptotically approach $L^{9/2}$ at infinity. This result confirms that the rigidity of the stationary Navier-Stokes equations is determined by the asymptotic behavior of the solution at infinity, rather than a uniform global integrability constraint.