A H\"older estimate for the trajectories of the Navier-Stokes equations
Pith reviewed 2026-05-22 04:58 UTC · model grok-4.3
The pith
Navier-Stokes solutions in L^∞_t C^α_x have their space-time C^α norm and fluid trajectory C^{1/(1-α)} norm bounded independently of viscosity for times away from zero.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We demonstrate that for solutions in the class L^∞_t C^α_x, the C^α_{t,x} norm of the solution and the C^{1/(1-α)} norm of any fluid trajectory are estimated by the L^∞_t C^α_x norm independently of ν>0, for times bounded away from zero by a positive power of ν.
What carries the argument
Deriving the space-time Hölder continuity and the trajectory Hölder regularity directly from the spatial regularity assumption using viscosity-independent estimates for large enough times.
If this is right
- The predicted 1/3 scaling for Eulerian temporal structure functions holds.
- The predicted 1/2 scaling for Lagrangian temporal structure functions holds.
- These scaling laws are valid in the viscous case uniformly in the viscosity parameter.
- The estimates remain valid as viscosity approaches zero for times not too close to the initial time.
Where Pith is reading between the lines
- This approach could be applied to other viscous fluid models to obtain similar trajectory regularity results.
- High-Reynolds-number simulations might verify the trajectory Hölder exponents numerically.
- The uniformity in viscosity suggests a continuous transition from viscous to inviscid turbulence models away from t=0.
Load-bearing premise
The solution is assumed to belong to the function class L^∞_t C^α_x.
What would settle it
A counterexample solution in L^∞_t C^α_x where the trajectory regularity constant grows unbounded as viscosity goes to zero would disprove the independence of viscosity.
read the original abstract
We study solutions to the Navier-Stokes equations in the class $L^\infty_t C^\alpha_x$. Landau and Lifshitz [LL87] predicted that the Eulerian and Lagrangian temporal structure functions for turbulence exhibit $1/3$ and $1/2$ scaling laws, respectively. These laws were justified for the Euler equations in [Ise23,Ise25], assuming the spatial structure functions satisfies a $1/3$ scaling law. We demonstrate them in a viscous setting by proving that the $C^\alpha_{t,x}$-norm of the solution and the $C^{1/(1-\alpha)}$-norm of any fluid trajectory can be estimated by the $L^\infty_tC^\alpha_x$-norm independently of the viscosity parameter $\nu>0$, for times bounded away from zero by a positive power of $\nu$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to prove Hölder estimates for solutions of the Navier-Stokes equations belonging to L^∞_t C^α_x. It asserts that the C^α_{t,x} norm of the solution and the C^{1/(1-α)} norm of any fluid trajectory can be bounded by the L^∞_t C^α_x norm of the velocity, independently of the viscosity ν > 0, for times t bounded away from zero by a positive power of ν. This is presented as a viscous analogue of prior Euler-equation results, with the goal of justifying 1/3 and 1/2 scaling laws for Eulerian and Lagrangian structure functions.
Significance. If the central estimates were valid, the work would supply a viscosity-independent control on space-time and Lagrangian regularity from spatial Hölder data alone, extending the Euler results cited in the abstract. This could be relevant to turbulence scaling predictions of Landau-Lifshitz. The manuscript does not, however, contain machine-checked proofs, reproducible code, or parameter-free derivations that would strengthen its contribution.
major comments (1)
- [Abstract] Abstract and main theorem: the claimed bound on the C^{1/(1-α)}-norm of fluid trajectories is impossible for non-constant functions when α > 0. For such α the exponent satisfies 1/(1-α) > 1. Any map obeying |f(t) − f(s)| ≤ C |t − s|^γ with γ > 1 must be constant, because the difference quotient is bounded by C |t − s|^{γ−1} which tends to 0 as t → s. Fluid trajectories satisfy dX/dt = u(t, X(t)) with u not identically zero, so |X(t) − X(s)| ∼ |t − s| (Lipschitz at best). The lower bound t ≳ ν^β does not remove this local obstruction. This contradiction is load-bearing for the trajectory estimate that forms part of the central claim.
Simulated Author's Rebuttal
We thank the referee for their careful reading and for identifying a critical issue in the statement of our main results. We address the concern point by point below and outline the revisions we will make.
read point-by-point responses
-
Referee: [Abstract] Abstract and main theorem: the claimed bound on the C^{1/(1-α)}-norm of fluid trajectories is impossible for non-constant functions when α > 0. For such α the exponent satisfies 1/(1-α) > 1. Any map obeying |f(t) − f(s)| ≤ C |t − s|^γ with γ > 1 must be constant, because the difference quotient is bounded by C |t − s|^{γ−1} which tends to 0 as t → s. Fluid trajectories satisfy dX/dt = u(t, X(t)) with u not identically zero, so |X(t) − X(s)| ∼ |t − s| (Lipschitz at best). The lower bound t ≳ ν^β does not remove this local obstruction. This contradiction is load-bearing for the trajectory estimate that forms part of the central claim.
Authors: We agree with the referee that the claimed Hölder exponent 1/(1-α) > 1 for the fluid trajectories cannot hold for non-constant maps, as any function satisfying a Hölder condition with exponent strictly greater than 1 must be constant. This is a standard fact and directly contradicts the ODE satisfied by the trajectories. The error appears in the formulation of the main theorem and the abstract. We will revise the manuscript to replace the claimed exponent with the largest admissible value consistent with the estimates (specifically, the minimum of 1 and the formally derived exponent). The corrected statement will preserve the viscosity-independent bound for times bounded away from zero by a positive power of ν, while ensuring the exponent does not exceed 1. We will update the abstract, Theorem 1.1, the introduction, and all related discussions of Lagrangian regularity. These changes will be incorporated in the next version. revision: yes
Circularity Check
No significant circularity; direct estimate from assumed spatial regularity
full rationale
The paper assumes the solution belongs to L^∞_t C^α_x and derives the claimed C^α_{t,x} bound on the solution together with the C^{1/(1-α)} bound on trajectories directly from this spatial regularity, with the estimates independent of ν for t ≳ ν^β. No self-definitional reductions, no fitted parameters renamed as predictions, and no load-bearing self-citations that collapse the central claim back to its own inputs. The derivation is presented as a straightforward estimate and remains self-contained against the given assumption.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Solutions to the Navier-Stokes equations exist in the class L^∞_t C^α_x.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.2: C^{1/(1-α)}-norm of any fluid trajectory bounded by L^∞_t Ċ^α_x norm, independent of ν>0 for t ≳ ν^{(1-α)/(1+α)}
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Thin annulus lemma and (1+δ)-adic dissipation via maximum principle on |P_k u|^2
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Transactions of the American Mathematical Society , volume =
Isett, Philip , title =. Transactions of the American Mathematical Society , volume =. 2023 , doi =
work page 2023
-
[2]
Conti, Sergio and. h -principle and rigidity for. Nonlinear Partial Differential Equations , series =. 2012 , doi =
work page 2012
- [3]
- [4]
- [5]
-
[6]
SIAM Journal on Mathematical Analysis , volume =
Colombo, Maria and De Rosa, Luigi , title =. SIAM Journal on Mathematical Analysis , volume =. 2020 , doi =
work page 2020
-
[7]
Partial Differential Equations: Waves, Nonlinearities and Nonlocalities , editor =
Isett, Philip , title =. Partial Differential Equations: Waves, Nonlinearities and Nonlocalities , editor =. 2025 , doi =
work page 2025
- [8]
-
[9]
Landau, L. D. and Lifshitz, E. M. , title =
-
[10]
Regularity results for rough solutions of the incompressible
Colombo, Maria and. Regularity results for rough solutions of the incompressible. Nonlinearity , volume =. 2020 , doi =
work page 2020
-
[11]
Advances in Mathematics , volume =
Constantin, Peter and Vicol, Vlad and Wu, Jiahong , title =. Advances in Mathematics , volume =. 2015 , doi =
work page 2015
-
[12]
Applied Mathematics Letters , volume =
Wang, Yanqing and Mei, Xue and Liu, Jitao , title =. Applied Mathematics Letters , volume =. 2023 , doi =
work page 2023
- [13]
- [14]
- [15]
- [16]
-
[17]
Kolmogorov, A. N. , title =. Doklady Akademii Nauk SSSR , volume =
-
[18]
Inventiones Mathematicae , volume =
Dissipative continuous. Inventiones Mathematicae , volume =. 2012 , doi =
work page 2012
-
[19]
Annals of Mathematics , volume =
Isett, Philip , title =. Annals of Mathematics , volume =. 2018 , doi =
work page 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.