- The paper establishes that controlling a single velocity component in critical Besov spaces ensures regularity of mild solutions, strictly improving previous criteria.
- It employs anisotropic decompositions, duality approaches, and refined Besov interpolation to manage nonlinearities beyond standard Sobolev embeddings.
- The work has significant implications for theoretical analysis and practical diagnostics in fluid dynamics, promoting componentwise regularity testing.
Critical One Component Regularity for 3D Navier-Stokes in LTp(B˙2,∞21+p2) Spaces
Introduction and Motivation
The regularity theory of the incompressible 3D Navier-Stokes equations remains a central open problem in PDE and mathematical fluid mechanics. A major line of research investigates conditional regularity criteria: which finite (or infinite) space-time quantities are sufficient to guarantee regularity of weak solutions up to a possibly singular time T∗. Among the sharpest results are the so-called "one component" criteria: is it sufficient to control a single component of the velocity field (or its projection) in a critical function space to preclude singularity formation?
The work under discussion establishes a new, strictly improved blow-up criterion for the Navier-Stokes system in terms of one component (or directional projection) of the velocity, formulated in space-time critical Besov spaces LTp(B˙2,∞21+p2), where 2<p<∞.
Problem Setting and Regularity Framework
Let v be a mild solution to the 3D incompressible Navier-Stokes equations on R3:
{∂tv+v⋅∇v−Δv+∇P=0, divv=0, v∣t=0=v0.
with v0∈H˙1/2 and initial vorticity Ω0∈Lr0, 1<r0<2.
The classical Prodi-Serrin-Ladyzhenskaya criteria assert that if T∗0 with T∗1, T∗2, then regularity up to T∗3 is guaranteed. More refined criteria concern critical spaces like T∗4 for velocity, or T∗5, and more recently, criteria that only require space-time control on a single velocity component or directional projection.
Main Result
Theorem:
If for some T∗6, and some unit vector T∗7,
T∗8
then the mild solution T∗9 is regular up to time LTp(B˙2,∞21+p2)0: that is,
LTp(B˙2,∞21+p2)1
and higher-order regularity follows for positive times.
Conversely, if LTp(B˙2,∞21+p2)2 develops a singularity at LTp(B˙2,∞21+p2)3, then for any unit vector LTp(B˙2,∞21+p2)4 and any LTp(B˙2,∞21+p2)5, the above integral must diverge. This gives a true one-component blow-up criterion in the critical space.
Strength of the claim: This criterion strictly improves earlier results in which the space LTp(B˙2,∞21+p2)6 was employed—indeed, the homogeneous Besov norm LTp(B˙2,∞21+p2)7 is strictly weaker than the corresponding Sobolev norm, as the embedding LTp(B˙2,∞21+p2)8 holds.
Method of Proof and Technical Innovations
The approach builds on, sharpens, and extends earlier works such as Chemin-Zhang [Chemin2016], [Zhang2017], Lei et al. [Lei2019], and Han et al. [Lei2019], which used anisotropic decompositions and fine harmonic analysis.
Anisotropic Biot–Savart Decomposition
The key is to decompose LTp(B˙2,∞21+p2)9 into horizontal and vertical components and relate the horizontal velocities to 2D vorticity and the vertical component via anisotropic Biot–Savart laws. The equations governing the evolution of the vertical vorticity and 2<p<∞0 (the third component) highlight the interaction mechanisms most relevant for one-component criteria.
Duality and Refined Besov-type Interpolation
To estimate nonlinear terms that cannot be handled by Sobolev embeddings alone, the authors develop a duality approach in the appropriate function spaces, exploiting interpolation inequalities, embedding relations between anisotropic and isotropic Besov spaces, and commutator/Bony paraproduct decompositions.
A key technical achievement is a refined estimate that allows control of quadratic nonlinearities (e.g., 2<p<∞1) using only the one-component norm 2<p<∞2 and suitable vorticity norms, even when these do not close under standard Sobolev machinery.
Complete Coverage of 2<p<∞3
Unlike previous results, this analysis applies for all 2<p<∞4 (excluding the endpoint 2<p<∞5), regardless of whether 2<p<∞6, and crucially, works with the endpoint-type Besov space parameter 2<p<∞7.
Avoidance of Full Norm Closure Limitation
For 2<p<∞8, where Hilbert-space interpolation fails to recover the critical norm, a sophisticated Bony decomposition and commutator estimate are needed, handling the lack of regularity in 2<p<∞9 and yielding closure via anisotropic product and embedding theorems.
Comparison with Previous Work
- Chemin–Zhang [Chemin2016]: Proved results for v0 for the one-component v1 case by anisotropic methods.
- Lei et al. [Lei2019]: Extended to v2, but with stronger norm assumptions.
- This paper: Strictly generalizes all these results, replacing v3 norms by the larger (less regular) Besov spaces v4.
Furthermore, the methods here clarify and overcome the technical blockages previously encountered—particularly for v5 near v6, and for divergence control in strongly anisotropic settings.
Implications and Consequences
Theoretical Insights
- Demonstrates that regularity can be characterized by an arbitrarily chosen directional component of the velocity in a minimal (i.e., least regular, largest possible) critical norm.
- Suggests that true singularities in Navier-Stokes solutions are necessarily reflected in every direction/component, in the sense of divergence of the corresponding Besov space-time norm.
Potential for Future Generalizations
- Opens a pathway to accessing endpoint cases (v7), which would require control over even weaker norms.
- The techniques developed can be adapted to study componentwise or directionwise criteria in related active scalar or fluid equations, possibly even in higher geometric settings or non-Euclidean domains.
- The approach may give heuristics for constructing candidate singularity blow-up scenarios by controlling or failing to control only a single component.
Practical Analytic Effects
- Enables 'reductionist' regularity testing in numerical or analytic studies: only a single directional projection (not the full velocity field) need be estimated in the sharpest critical norms.
- Justifies certain model reductions or experimental diagnostics that focus on individual flow directions in turbulence or computational simulations.
Conclusion
This paper provides a significant advancement in the conditional regularity theory for the 3D Navier-Stokes equations, proving that control of a single component of the velocity in the minimized critical norm v8 suffices to preclude singularity formation. The work strictly strengthens prior results and employs new analytic techniques in anisotropic harmonic analysis, duality, and Besov interpolation. The findings sharpen both our understanding of nonlinear fluid dynamics regularity and the technical framework available for further attacks on the core regularity problem. Future work may aim to resolve the remaining endpoint or even more singular cases, and to extend these ideas to other nonlinear evolution equations.
Reference:
"On the Critical One Components Regularity for the v9 Navier-Stokes System in R30 spaces" (2607.01587)