pith. sign in

arxiv: 2606.08352 · v1 · pith:54WI7TABnew · submitted 2026-06-06 · 🧮 math.AP · math-ph· math.MP

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

Pith reviewed 2026-06-27 19:08 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MP MSC 35Q30
keywords Navier-Stokes equationspartial regularityone-component regularityharmonic pressureCaffarelli-Kohn-Nirenberg criterionsuitable weak solutionsscale-invariant boundsfinite-scale decay
0
0 comments X

The pith

Under a fixed scale-invariant bound on suitable weak solutions of 3D Navier-Stokes, smallness of the vertical velocity integral yields a positive lower bound on the local regularity radius at the origin.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes an unconditional finite-scale one-component regularity result for the 3D incompressible Navier-Stokes equations. Given a suitable weak solution satisfying the scale-invariant local bound Phi(1) = A(1) + E(1) + C(1) + D(1) <= M, smallness of C_3(1) equal to the integral of |u_3|^3 over the unit cylinder produces a positive lower bound on the regularity radius at the origin that depends only on M. The proof converts the one-component smallness into approximation by a two-and-a-half-dimensional limiting class, then obtains Caffarelli-Kohn-Nirenberg smallness at a smaller scale by measuring pressure approximation in the quotient by spatially harmonic functions. Two further conditional layers supply logarithmic and power-type refinements under extra stability assumptions on the comparison class. The unconditional theorem is isolated from the conditional layers, which instead identify the quantitative stability needed to upgrade the compactness modulus.

Core claim

Under the fixed scale-invariant local bound Phi(1) <= M, smallness of the critical vertical-component quantity C_3(1) = integral over Q_1 of |u_3|^3 dx dt yields a positive lower bound, depending only on M, for the local regularity radius at the origin. The argument converts one-component smallness into approximation by the two-and-a-half-dimensional limiting class and then into Caffarelli-Kohn-Nirenberg smallness at a smaller scale, with the pressure approximation measured in a quotient by spatially harmonic functions. This pressure topology accounts for the obstruction that time-dependent harmonic pressures may have bounded scale-invariant L^{3/2}-oscillation while their pointwise gradient

What carries the argument

Conversion of one-component smallness into approximation by the two-and-a-half-dimensional limiting class, followed by pressure approximation measured in the quotient by spatially harmonic functions to reach Caffarelli-Kohn-Nirenberg smallness at a smaller scale.

If this is right

  • The unconditional theorem separates cleanly from the logarithmic and power-type conditional assumptions.
  • A prepared two-shadow comparison package replaces the abstract compactness modulus by a logarithmic modulus and produces logarithmic finite-scale decay.
  • Enlarging the comparison class to smooth no-stretching horizontal flows V=(v_h,0) with partial_3 pi allowed to be nonzero pairs the vertical residual with the small component u_3 in the relative-energy identity.
  • Under buffered strong-flow and localized relaxed stability inputs, the relaxed-shadowing layer yields power-type relaxed harmonic approximation and power-type finite-scale decay.
  • The logarithmic and power-type layers together identify the quantitative stability mechanisms required to upgrade the compactness modulus.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The harmonic-pressure quotient may extend to other partial-regularity arguments that must handle time-dependent pressures with controlled oscillation but uncontrolled gradients.
  • If the conditional stability assumptions hold for typical numerical or physical approximations, the mechanism could yield explicit decay rates for regularity radii in simulations.
  • The separation of the unconditional result from the conditional layers suggests a modular strategy for strengthening one-component criteria in related fluid models.
  • Testing the conversion step in axisymmetric or two-and-a-half-dimensional reduced models would directly probe the two-and-a-half-dimensional limiting class used in the argument.

Load-bearing premise

The pressure approximation measured in the quotient by spatially harmonic functions converts into Caffarelli-Kohn-Nirenberg smallness at a smaller scale once the one-component smallness has been turned into approximation by the two-and-a-half-dimensional limiting class.

What would settle it

Existence of a suitable weak solution with Phi(1) <= M, C_3(1) arbitrarily small, yet with the local regularity radius at the origin equal to zero.

read the original abstract

We study a finite-scale one-component regularity mechanism for suitable weak solutions of the three-dimensional incompressible Navier--Stokes equations. The results are organized in three layers. The first layer is unconditional. Under a fixed scale-invariant local bound Phi(1)=A(1)+E(1)+C(1)+D(1) <= M, smallness of the critical vertical-component quantity C_3(1)=int_{Q_1} |u_3|^3 dx dt yields a positive lower bound, depending only on M, for the local regularity radius at the origin. The proof converts one-component smallness into approximation by the two-and-a-half-dimensional limiting class and then into Caffarelli--Kohn--Nirenberg smallness at a smaller scale. The pressure approximation is measured in a quotient by spatially harmonic functions. This pressure topology reflects a genuine obstruction: time-dependent harmonic pressures may have bounded scale-invariant L^{3/2}-oscillation while their pointwise gradients lie beyond the control provided by the available scale-invariant quantities. The second layer is a conditional logarithmic refinement. A prepared two-shadow comparison package replaces the abstract compactness modulus by a logarithmic modulus and gives a logarithmic finite-scale decay. The third layer is a conditional relaxed-shadowing refinement. The comparison class is enlarged to smooth no-stretching horizontal flows V=(v_h,0), with the comparison pressure allowed to have partial_3 pi not equal to 0. The resulting vertical residual pairs with the small component u_3 in the relative-energy identity. Under the buffered strong-flow and localized relaxed stability inputs stated below, this gives a power-type relaxed harmonic approximation and a power-type finite-scale decay. The unconditional theorem is separated from the logarithmic and power-type assumptions; the latter two layers identify the quantitative stability mechanisms needed to upgrade the compactness modulus.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript establishes a finite-scale one-component regularity mechanism for suitable weak solutions of the 3D incompressible Navier-Stokes equations. Under the scale-invariant bound Phi(1) = A(1) + E(1) + C(1) + D(1) <= M, smallness of the vertical-component quantity C_3(1) yields a positive lower bound (depending only on M) on the local regularity radius at the origin. The argument proceeds in three layers: an unconditional compactness reduction to a 2.5-dimensional limiting class followed by pressure control in a quotient by spatially harmonic functions to reach Caffarelli-Kohn-Nirenberg smallness; a conditional logarithmic refinement replacing the compactness modulus by a logarithmic modulus; and a conditional relaxed-shadowing refinement enlarging the comparison class to smooth no-stretching horizontal flows with a power-type decay under buffered strong-flow and localized relaxed stability assumptions. The unconditional result is separated from the conditional layers, which identify the quantitative stability mechanisms needed to upgrade the compactness modulus.

Significance. If the central claims hold, the work supplies a new partial-regularity criterion that isolates the role of a single velocity component and introduces a harmonic-pressure quotient topology designed to handle the obstruction that time-dependent harmonics can have controlled L^{3/2} oscillation yet uncontrolled gradients. The explicit separation of the unconditional theorem from the logarithmic and relaxed-shadowing layers, together with the identification of the compactness modulus as the sole non-quantitative ingredient, provides a clear roadmap for further quantitative improvements. The approach is internally consistent with the stated existence of an M-dependent positive radius and does not reduce the claimed lower bound to a fitted or self-referential parameter.

major comments (1)
  1. [Abstract, first layer] Abstract, first layer: the conversion from one-component smallness to 2.5D approximation and then to CKN smallness via the harmonic-pressure quotient is load-bearing for the unconditional claim that the regularity radius depends only on M. Explicit error estimates confirming that the quotient controls the required CKN quantities without introducing dependence outside M are needed to close the argument.
minor comments (2)
  1. [Abstract] The notation for the scale-invariant quantities A(1), E(1), C(1), D(1) that comprise Phi(1) is introduced without explicit definitions in the abstract; a brief parenthetical reminder of their standard meanings would improve readability.
  2. [Abstract] The manuscript flags the obstruction with time-dependent harmonics but does not indicate in the abstract where the full estimates verifying that the quotient circumvents this obstruction appear; a forward reference to the relevant section would help readers.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed report and the identification of the load-bearing step in the unconditional layer. We address the major comment below and will revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses
  1. Referee: [Abstract, first layer] Abstract, first layer: the conversion from one-component smallness to 2.5D approximation and then to CKN smallness via the harmonic-pressure quotient is load-bearing for the unconditional claim that the regularity radius depends only on M. Explicit error estimates confirming that the quotient controls the required CKN quantities without introducing dependence outside M are needed to close the argument.

    Authors: We agree that the argument requires explicit control on the error terms arising from the harmonic-pressure quotient. In the revised manuscript we will insert a new subsection (immediately following the compactness reduction) that derives quantitative bounds showing that the distance to the 2.5D class in the quotient topology produces an explicit smallness of the Caffarelli–Kohn–Nirenberg quantities at a smaller scale, with all constants depending only on the fixed scale-invariant bound M and the smallness parameter for C_3(1). These estimates close the unconditional claim without external dependence. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's derivation chain begins from the given scale-invariant bound Phi(1) <= M together with smallness of the independent quantity C_3(1) and proceeds by compactness to a 2.5-D limiting class, followed by pressure approximation measured in the quotient by spatially harmonic functions to obtain CKN smallness at a smaller scale. None of these steps reduces the claimed positive lower bound on the regularity radius to a fitted parameter, a self-referential definition, or a self-citation chain; the pressure quotient is constructed precisely to handle the stated obstruction without importing the target conclusion. The logarithmic and relaxed-shadow layers are explicitly conditional on extra assumptions and do not affect the unconditional claim. The argument therefore remains self-contained against external mathematical tools (compactness, harmonic-function estimates, CKN theory) that are not defined in terms of the output radius.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the class of suitable weak solutions and on the existence of a pressure quotient topology that converts one-component smallness into CKN smallness; no free parameters or new physical entities are introduced in the abstract.

axioms (1)
  • domain assumption The functions under study are suitable weak solutions of the three-dimensional incompressible Navier-Stokes equations.
    The abstract states that all results apply to this class.
invented entities (1)
  • harmonic pressure quotient topology no independent evidence
    purpose: To measure pressure approximation while allowing time-dependent harmonic pressures whose gradients escape scale-invariant control.
    Introduced in the first layer to handle the genuine obstruction noted in the abstract.

pith-pipeline@v0.9.1-grok · 5867 in / 1445 out tokens · 23339 ms · 2026-06-27T19:08:45.394635+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 6 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Schur Visibility and Anti-Phantom Reduction in One-Component Navier-Stokes Degeneration

    math.AP 2026-06 unverdicted novelty 7.0

    Proves the standard observable package is insufficient for quantitative trace rates in NS one-component degeneration and states a conditional dichotomy on relaxed Schur visibility versus an NS-realizable left-singular...

  2. Finite-Window Recursive Audit Chains for Navier-Stokes Generated Packages

    math.AP 2026-06 unverdicted novelty 5.0

    Develops a recursive finite-window audit chain framework with anti-phantom certificates and propagation theorems for Navier-Stokes generated packages.

  3. Strict 2.5D Shadows for One-Component Navier-Stokes Regularity

    math.AP 2026-06 unverdicted novelty 5.0

    Proves a conditional finite-scale reduction theorem deriving a lower bound on the regularity radius from smallness of the vertical velocity component under multiple structural assumptions for 3D Navier-Stokes.

  4. Finite-Chain CKN-Bad Scale Counting for Navier-Stokes: Standard PDE Closure and Canonical Detector Realization

    math.AP 2026-06 unverdicted novelty 4.0

    Proves a finite-chain CKN-bad scale counting theorem for 3D Navier-Stokes via standard PDE closure with one-component compactness and an amended canonical detector realization.

  5. Invisible Defect Cascades for Navier-Stokes Regularity

    math.AP 2026-06 unverdicted novelty 4.0

    The paper presents a conditional scale-critical defect-cascade reduction for the local regularity problem of the 3D incompressible Navier-Stokes equations that excludes invisible cascades to obtain CKN-scale regularit...

  6. Finite-Window Local-to-Clean Transfer and Anti-Phantom Detection for Sharp Navier-Stokes Packages

    math.AP 2026-06 unverdicted novelty 3.0

    Proves a local-to-clean detection theorem and anti-phantom principle ensuring baseline-visible defects in sharp Navier-Stokes packages are either detector-caught or charged to a quotient-residual ledger under listed c...

Reference graph

Works this paper leans on

35 extracted references · 26 canonical work pages · cited by 6 Pith papers

  1. [1]

    Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace,Acta Mathematica63(1934), 193–248

    J. Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace,Acta Mathematica63(1934), 193–248. DOI: https://doi.org/10.1007/BF02547354

  2. [2]

    Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichun- gen,Mathematische Nachrichten4(1951), 213–231

    E. Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichun- gen,Mathematische Nachrichten4(1951), 213–231. DOI: https://doi.org/10. 1002/mana.3210040121

  3. [3]

    Prodi, Un teorema di unicità per le equazioni di Navier–Stokes,Annali di Matematica Pura ed Applicata48(1959), 173–182

    G. Prodi, Un teorema di unicità per le equazioni di Navier–Stokes,Annali di Matematica Pura ed Applicata48(1959), 173–182. DOI: https://doi.org/10.1007/ BF02410664

  4. [4]

    Serrin, On the interior regularity of weak solutions of the Navier–Stokes equations,Archive for Rational Mechanics and Analysis9(1962), 187–195

    J. Serrin, On the interior regularity of weak solutions of the Navier–Stokes equations,Archive for Rational Mechanics and Analysis9(1962), 187–195. DOI: https://doi.org/10.1007/BF00253344

  5. [5]

    Scheffer, Partial regularity of solutions to the Navier–Stokes equations,Pacific Journal of Mathematics66(1976), no

    V. Scheffer, Partial regularity of solutions to the Navier–Stokes equations,Pacific Journal of Mathematics66(1976), no. 2, 535–552. DOI: https://doi.org/10.2140/ pjm.1976.66.535

  6. [6]

    Scheffer, Hausdorff measure and the Navier–Stokes equations,Communica- tions in Mathematical Physics55(1977), 97–112

    V. Scheffer, Hausdorff measure and the Navier–Stokes equations,Communica- tions in Mathematical Physics55(1977), 97–112. DOI: https://doi.org/10.1007/ BF01626512

  7. [7]

    Caffarelli, R

    L. Caffarelli, R. Kohn, and L. Nirenberg, Partial regularity of suitable weak solutions of the Navier–Stokes equations,Communications on Pure and Applied 25 Mathematics35(1982), no. 6, 771–831. DOI: https://doi.org/10.1002/cpa. 3160350604

  8. [8]

    Sohr and W

    H. Sohr and W. von Wahl, On the regularity of the pressure of weak solutions of Navier–Stokes equations,Archiv der Mathematik46(1986), no. 5, 428–439. DOI: https://doi.org/10.1007/BF01210782

  9. [9]

    Struwe, On partial regularity results for the Navier–Stokes equations,Com- munications on Pure and Applied Mathematics41(1988), no

    M. Struwe, On partial regularity results for the Navier–Stokes equations,Com- munications on Pure and Applied Mathematics41(1988), no. 4, 437–458. DOI: https://doi.org/10.1002/cpa.3160410404

  10. [10]

    Kozono and H

    H. Kozono and H. Sohr, Regularity criterion on weak solutions to the Navier– Stokes equations,Advances in Differential Equations2(1997), no. 4, 535–554. DOI: https://doi.org/10.57262/ade/1366741147

  11. [11]

    Lin, A new proof of the Caffarelli–Kohn–Nirenberg theorem,Communica- tions on Pure and Applied Mathematics51(1998), no

    F.-H. Lin, A new proof of the Caffarelli–Kohn–Nirenberg theorem,Communica- tions on Pure and Applied Mathematics51(1998), no. 3, 241–257. DOI: https: //doi.org/10.1002/(SICI)1097-0312(199803)51:3<241::AID-CPA2>3.0.CO;2-A

  12. [12]

    O. A. Ladyzhenskaya and G. A. Seregin, On partial regularity of suitable weak solu- tions to the three-dimensional Navier–Stokes equations,Journal of Mathematical Fluid Mechanics1(1999), 356–387. DOI: https://doi.org/10.1007/s000210050015

  13. [13]

    H. J. Choe and J. L. Lewis, On the singular set in the Navier–Stokes equations, Journal of Functional Analysis175(2000), no. 2, 348–369. DOI: https://doi.org/ 10.1006/jfan.2000.3582

  14. [14]

    G. A. Seregin and V. Šverák, Navier–Stokes equations with lower bounds on the pressure,Archive for Rational Mechanics and Analysis163(2002), no. 1, 65–86. DOI: https://doi.org/10.1007/s002050200199

  15. [15]

    Escauriaza, G

    L. Escauriaza, G. Seregin, and V. Šverák, L3,∞-solutions of Navier–Stokes equations and backward uniqueness,Russian Mathematical Surveys58(2003), no. 2, 211–250. DOI: https://doi.org/10.1070/RM2003v058n02ABEH000609

  16. [16]

    Penel and M

    P. Penel and M. Pokorný, Some new regularity criteria for the Navier–Stokes equations containing gradient of the velocity,Applications of Mathematics49 (2004), no. 5, 483–493. DOI: https://doi.org/10.1023/B:APOM.0000048124.64244. 7e

  17. [17]

    Kukavica and M

    I. Kukavica and M. Ziane, One component regularity for the Navier–Stokes equations,Nonlinearity19(2006), no. 2, 453–469. DOI: https://doi.org/10.1088/ 0951-7715/19/2/012

  18. [18]

    Kukavica and M

    I. Kukavica and M. Ziane, Navier–Stokes equations with regularity in one direction, Journal of Mathematical Physics48(2007), no. 6, 065203, 10 pp. DOI: https: //doi.org/10.1063/1.2395919. 26

  19. [19]

    G. A. Seregin, Estimates of suitable weak solutions to the Navier–Stokes equations in critical Morrey spaces,Journal of Mathematical Sciences143(2007), no. 2, 2961–2968. DOI: https://doi.org/10.1007/s10958-007-0178-2

  20. [20]

    G. A. Seregin, Local regularity for suitable weak solutions of the Navier–Stokes equations,Russian Mathematical Surveys62(2007), no. 3, 595–614. DOI: https: //doi.org/10.1070/RM2007v062n03ABEH004415

  21. [21]

    Gustafson, K

    S. Gustafson, K. Kang, and T.-P. Tsai, Interior regularity criteria for suitable weak solutions of the Navier–Stokes equations,Communications in Mathematical Physics273(2007), 161–176. DOI: https://doi.org/10.1007/s00220-007-0214-6

  22. [22]

    Vasseur, A new proof of partial regularity of solutions to Navier–Stokes equations,Nonlinear Differential Equations and Applications14(2007), 753–785

    A. Vasseur, A new proof of partial regularity of solutions to Navier–Stokes equations,Nonlinear Differential Equations and Applications14(2007), 753–785. DOI: https://doi.org/10.1007/s00030-007-6001-4

  23. [23]

    Zhou and M

    Y. Zhou and M. Pokorný, On a regularity criterion for the Navier–Stokes equations involving gradient of one velocity component,Journal of Mathematical Physics 50(2009), no. 12, 123514, 11 pp. DOI: https://doi.org/10.1063/1.3268589

  24. [24]

    Cao and E

    C. Cao and E. S. Titi, Global regularity criterion for the 3D Navier–Stokes equations involving one entry of the velocity gradient tensor,Archive for Rational Mechanics and Analysis202(2011), 919–932. DOI: https://doi.org/10.1007/ s00205-011-0439-6

  25. [25]

    Jia and V

    H. Jia and V. Šverák, Local-in-space estimates near initial time for weak solutions of the Navier–Stokes equations and forward self-similar solutions, Inventiones Mathematicae196(2014), 233–265. DOI: https://doi.org/10.1007/ s00222-013-0468-x

  26. [26]

    G. A. Seregin,Lecture Notes on Regularity Theory for the Navier–Stokes Equations, World Scientific, Hackensack, NJ, 2015. DOI: https://doi.org/10.1142/9314

  27. [27]

    Chemin and P

    J.-Y. Chemin and P. Zhang, On the critical one component regularity for 3-D Navier–Stokes system,Annales Scientifiques de l’École Normale Supérieure49 (2016), no. 1, 131–167. DOI: https://doi.org/10.24033/asens.2278

  28. [28]

    Chemin, P

    J.-Y. Chemin, P. Zhang, and Z. Zhang, On the critical one component regularity for 3-D Navier–Stokes system: general case,Archive for Rational Mechan- ics and Analysis224(2017), no. 3, 871–905. DOI: https://doi.org/10.1007/ s00205-017-1089-0

  29. [29]

    Guevara and N

    C. Guevara and N. C. Phuc, Local energy bounds and epsilon-regularity criteria for the 3D Navier–Stokes system,Calculus of Variations and Partial Differential Equations56(2017), no. 3, article no. 68, 16 pp. DOI: https://doi.org/10.1007/ s00526-017-1151-7. 27

  30. [30]

    Kukavica, W

    I. Kukavica, W. Rusin, and M. Ziane, An anisotropic partial regularity criterion for the Navier–Stokes equations,Journal of Mathematical Fluid Mechanics19 (2017), 123–133. DOI: https://doi.org/10.1007/s00021-016-0278-1

  31. [31]

    Wolf, On the local pressure of the Navier–Stokes equations and related systems, Advances in Differential Equations22(2017), no

    J. Wolf, On the local pressure of the Navier–Stokes equations and related systems, Advances in Differential Equations22(2017), no. 5/6, 305–338. DOI: https: //doi.org/10.57262/ade/1489802453

  32. [32]

    B. Han, Z. Lei, D. Li, and N. Zhao, Sharp one component regularity for Navier– Stokes,Archive for Rational Mechanics and Analysis231(2019), 939–970. DOI: https://doi.org/10.1007/s00205-018-1292-7

  33. [33]

    Barker and C

    T. Barker and C. Prange, Quantitative regularity for the Navier–Stokes equations via spatial concentration,Communications in Mathematical Physics385(2021), 717–792. DOI: https://doi.org/10.1007/s00220-021-04122-x

  34. [34]

    Kang and D

    K. Kang and D. D. Nguyen, Local regularity criteria in terms of one velocity com- ponent for the Navier–Stokes equations,Journal of Mathematical Fluid Mechanics 25(2023), article no. 10, 15 pp. DOI: https://doi.org/10.1007/s00021-022-00754-8

  35. [35]

    Albritton, T

    D. Albritton, T. Barker, and C. Prange, Epsilon regularity for the Navier–Stokes equations via weak–strong uniqueness,Journal of Mathematical Fluid Mechanics 25(2023), article no. 49, 12 pp. DOI: https://doi.org/10.1007/s00021-023-00780-0. 28