Finite-Scale One-Component Regularity via Harmonic Pressure for the 3D Navier-Stokes Equations

This paper establishes a finite-scale one-component regularity mechanism for 3D Navier-Stokes suitable weak solutions by proving that smallness of the vertical velocity component yields a positive local regularity radius through harmonic pressure approximation, while further offering conditional logarithmic and power-type refinements via two-shadow and relaxed-shadowing comparison techniques.

The Gist

Imagine the three-dimensional Navier-Stokes equations as the ultimate rulebook for how fluids (like water or air) move. Mathematicians have been trying to solve a massive puzzle: Can these fluids suddenly develop a "singularity," a point where the speed becomes infinite and the math breaks down?

This paper, by Runlong Yu, doesn't solve the whole puzzle. Instead, it builds a sophisticated "safety net" to prove that under certain conditions, the fluid will stay smooth and well-behaved. The author organizes this safety net into three layers, moving from a guaranteed (but vague) safety zone to a more precise, conditional safety zone.

Here is the breakdown using everyday analogies:

The Core Problem: The "Vertical" Component

In a 3D fluid, the velocity has three parts: left-right, forward-backward, and up-down. The paper focuses on the up-down part (let's call it the "vertical component").

The intuition is simple: If the up-down movement is very small (almost flat), the fluid should behave like a 2D sheet. 2D fluids are known to be very stable and never break. The challenge is proving that "small up-down movement" actually forces the whole 3D fluid to stay smooth.

The Three Layers of the Safety Net

Layer 1: The Unconditional Guarantee (The "Black Box" Safety)

The Claim: If the fluid is generally calm (bounded energy) and the up-down movement is tiny, the fluid is definitely smooth in a small circle around the center.

The Analogy: Imagine you are trying to predict if a car will crash. You don't know the exact speed or the driver's mood, but you know the car is moving slowly and the road is flat. You can guarantee the car won't crash somewhere ahead, but you can't tell you exactly how far ahead that safe zone is.

• The Catch: The proof relies on a mathematical "compactness" argument. It's like saying, "If you keep shrinking the problem, it eventually looks like a perfect, smooth 2D sheet." This guarantees a safe zone exists, but the size of that zone is a "black box"—we know it's there, but we can't write down a simple formula for its size.

The Pressure Problem: The paper identifies a tricky obstacle: Pressure. In fluids, pressure can wiggle wildly in time even if the overall energy is low. It's like a drum skin that vibrates so fast it looks blurry, even though the total vibration energy is low. The author solves this by ignoring the "wiggly" part of the pressure (which is mathematically "harmonic") and only measuring the "smooth" part. This allows the proof to work without getting tripped up by those fast vibrations.

Layer 2: The Logarithmic Refinement (The "Rough Map")

The Claim: If we add a specific, prepared "comparison package" (a set of assumptions about how the fluid compares to a perfect 2D sheet), we can get a better estimate. Instead of just knowing a safe zone exists, we can say: "The safe zone is roughly the size of $1 / \log(\text{smallness})$."

The Analogy: This is like upgrading from "There is a safe zone" to "The safe zone is about the size of a city block." It's still not a precise address, but it's much more useful.

• The Mechanism: The author uses a "two-shadow" technique. Imagine trying to walk in the dark. You have a rough shadow (a blurry outline of where you are) and a smoothed shadow (a clearer outline). By comparing the real fluid to these shadows, the author can track errors more carefully. The "smoothing error" is kept small so it doesn't blow up the whole calculation.

Layer 3: The Power-Type Refinement (The "GPS")

The Claim: If we make even stronger assumptions (allowing the comparison fluid to be slightly "imperfect" but still smooth), we can get a power-law estimate. This means the safe zone size is proportional to a power of the smallness (e.g., $x^{0.5}$).

The Analogy: This is the GPS. Instead of "a city block," we can say, "The safe zone is exactly 500 meters."

• The Trick: The author relaxes the rules. Instead of forcing the comparison fluid to be a perfect 2D sheet (where the up-down pressure is zero), they allow the comparison fluid to have a little bit of up-down pressure, as long as it's smooth.
• The Payoff: Because the real fluid's up-down movement is tiny, it pairs up nicely with the comparison fluid's small imperfections. This allows the math to cancel out the errors and produce a precise, power-law formula for the safe zone.

Summary of the "Three-Layer" Strategy

1. Layer 1 (Unconditional): "We know a safe zone exists, but we can't measure it precisely because the math relies on a 'limit' process."
2. Layer 2 (Logarithmic): "If we assume we can compare the fluid to a specific smooth model, we can measure the safe zone using a logarithmic scale (better, but still slow)."
3. Layer 3 (Power): "If we assume the fluid behaves like a smooth, relaxed model, we can measure the safe zone with a precise power-law formula (the best possible estimate)."

The "Harmonic Pressure" Obstacle

A major part of the paper is dealing with pressure.

• The Problem: Pressure in fluids is determined by the velocity. Usually, if velocity is smooth, pressure is smooth. But pressure also has a "harmonic" part (like a pure tone) that can oscillate wildly in time without changing the total energy.
• The Solution: The author treats this harmonic pressure like a "ghost." They don't try to measure the ghost directly. Instead, they subtract it out (using a "quotient" space) and only measure the "real" pressure that comes from the fluid's motion. This prevents the wild time-oscillations from breaking the proof.

Conclusion

The paper doesn't prove that 3D fluids never break. Instead, it proves that if the vertical movement is small enough, the fluid must stay smooth in a specific region. It provides a roadmap:

• Without extra assumptions: We know a safe zone exists (but we don't know its exact size).
• With extra assumptions: We can calculate the exact size of that safe zone, getting closer and closer to a precise answer.

The work is a structural breakthrough in understanding how smallness in one direction stabilizes a complex 3D system, using a clever mix of "shadowing" techniques and pressure decomposition to bypass the mathematical obstacles that have stalled progress for decades.

Technical Summary

Technical Summary: Finite-Scale One-Component Regularity via Harmonic Pressure for the 3D Navier–Stokes Equations

Problem Statement
This paper investigates the local regularity of suitable weak solutions to the three-dimensional incompressible Navier–Stokes equations. The central challenge addressed is establishing regularity criteria based on the smallness of a single velocity component (specifically the vertical component $u_3$) at a critical scale. While previous work suggests that smallness in one component should force the flow toward a lower-dimensional structure (the "two-and-a-half-dimensional" limiting system), significant analytic difficulties remain. Specifically, the smallness of $u_3$ leaves the horizontal velocity $u_h$ largely uncontrolled, and the pressure term introduces a subtle obstruction: time-dependent harmonic pressures can exhibit bounded scale-invariant $L^{3/2}$-oscillation while their pointwise gradients become arbitrarily large, preventing standard compactness arguments from yielding explicit decay rates.

Methodology
The authors organize their analysis into three distinct layers, progressively refining the regularity mechanism from unconditional qualitative results to conditional quantitative estimates.

1. Unconditional Layer (Compactness): The first layer establishes a finite-scale regularity theorem without assuming explicit rates. The core methodology involves:

   • Limiting System Analysis: Analyzing the limiting system where $u_3 \to 0$, which yields a horizontal velocity $v_h$ satisfying a 2.5D system with full 3D diffusion but a pressure $q$ satisfying $\partial_3 q = 0$.
   • Harmonic Pressure Obstruction: Proving that within the limiting class, the full pressure gradient cannot be bounded solely by scale-invariant quantities due to time-concentrated harmonic oscillations.
   • Quotient Topology: To overcome this, the authors define an approximation topology modulo spatially harmonic functions. They prove that the solution $(u, p)$ can be approximated by a limiting solution $(v, q)$ and a harmonic corrector $h$ in a quotient space.
   • Compactness Argument: Using the Aubin–Lions lemma and the strong convergence of $u_3$, they demonstrate that the "harmonic-pressure excess" vanishes as the one-component quantity $C_3(1)$ tends to zero. This yields a qualitative modulus of continuity $\omega_{M,\theta}$.

2. Conditional Logarithmic Layer: The second layer seeks to replace the abstract compactness modulus with an explicit logarithmic rate. This requires a "prepared comparison package" (Assumption 7.3) involving a two-shadow stability estimate. The methodology employs a "rough shadow" (the limiting solution) and a "smoothed shadow" to propagate errors. Crucially, the smoothing error is kept outside the large Gronwall factor generated by the smoothed flow, allowing for a logarithmic decay rate of the form $|\log C_3(1)|^{-\sigma}$.

3. Conditional Relaxed-Shadowing Layer: The third layer aims for a power-type decay rate. It relaxes the comparison class from the strict limiting system (where $\partial_3 q = 0$) to smooth "no-stretching" horizontal flows $V = (v_h, 0)$ where the comparison pressure $\pi$ is allowed to have $\partial_3 \pi \neq 0$.

   • Residual Pairing: The vertical residual $(0, 0, \partial_3 \pi)$ in the full 3D equation is paired with the small component $u_3$ in the relative-energy identity.
   • Stability Inputs: This layer relies on two conditional inputs: a buffered strong bound for the relaxed flow (Assumption 8.3) and a localized relaxed weak–strong stability estimate (Assumption 8.5).
   • Pressure Reconstruction: By reconstructing the pressure via Calderón–Zygmund estimates relative to the relaxed flow, the authors derive a power-type decay estimate.

Key Contributions and Results

• Theorem 2.1 (Unconditional Finite-Scale Regularity): Under a fixed scale-invariant bound $\Phi(1) \le M$, there exist constants $\varepsilon^*(M)$ and $\rho^*(M)$ such that if the vertical component quantity $C_3(1) \le \varepsilon^*(M)$, the solution is regular in a cylinder of radius $\rho^*(M)$. This result is unconditional but qualitative, relying on the compactness modulus.
• Theorem 2.2 (Decay with Compactness Modulus): Provides a decay estimate for the combined velocity-pressure quantity $\Psi(r)$ involving the modulus $\omega_{M,\theta}(C_3(1))$.
• Theorem 2.4 (Conditional Logarithmic Refinement): Assuming a prepared comparison estimate (Assumption 7.3), the paper establishes a logarithmic decay rate for the regularity radius: $r_{reg}(0,0) \ge c |\log C_3(1)|^{-\sigma/3}$.
• Theorem 2.5 (Conditional Power-Type Refinement): Assuming buffered strong bounds and localized weak–strong stability (Assumptions 8.3 and 8.5), the paper establishes a power-type decay rate: $r_{reg}(0,0) \ge c \delta^{\Gamma/(\alpha+2)}$, where $\delta = C_3(1)$.

Significance and Claims
The paper claims to separate the unconditional existence of a finite-scale regularity radius from the quantitative mechanisms required to determine the rate of decay.

• Obstruction Identification: The work explicitly identifies the "genuine obstruction" posed by time-dependent harmonic pressures, which have bounded scale-invariant oscillation but unbounded gradients, necessitating the use of a quotient topology modulo harmonic functions.
• Mechanism Isolation: The authors do not claim to have proven the power-type theorem unconditionally. Instead, they isolate the specific quantitative stability mechanisms (buffered strong bounds and localized weak–strong stability) that, if proven, would upgrade the compactness modulus to a power-type rate.
• Modesty: The paper maintains a modest stance regarding the unconditional results, noting that the constants in Theorem 2.1 are qualitative. The logarithmic and power-type results are presented as conditional refinements that depend on specific stability estimates (Assumptions 7.3, 8.3, and 8.5) which are not proven within the text but are identified as the necessary next steps for a fully quantitative theory.

In summary, the paper provides a rigorous framework for one-component regularity that successfully handles the pressure obstruction via harmonic decomposition, establishes an unconditional finite-scale regularity result, and delineates the precise quantitative hurdles remaining to achieve explicit power-law decay rates.