pith. sign in

arxiv: 2607.01587 · v1 · pith:7YVYDWPJnew · submitted 2026-07-02 · 🧮 math.AP

On the Critical One Components Regularity for the 3-D Navier-Stokes System in L^p_T(dot{B}^(frac 1 2+frac 2 p)_(2,infty)) spaces

Wei Luo , Zhanyang Yin , Pei Zheng This is my paper

Pith reviewed 2026-07-03 10:18 UTC · model grok-4.3

classification 🧮 math.AP
keywords Navier-Stokes equationsconditional regularityBesov spacesmild solutionsblow-up criteriondirectional projectionvorticity
0
0 comments X

The pith

If a 3D Navier-Stokes mild solution blows up at finite time, then for any direction the time integral of its projected velocity in a critical Besov space diverges.

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

The paper proves a conditional regularity criterion for mild solutions of the 3D incompressible Navier-Stokes system. Starting from initial velocity in Ḣ^{1/2} and vorticity in L^{r0} with 1 < r0 < 2, it shows that finite-time blowup at T* forces the integral from 0 to T* of the p-power of the Ḃ^{1/2 + 2/p}_{2,∞} norm of the directional projection (v(t) | e) to diverge, for every 2 < p < ∞ and every unit vector e. This sharpens earlier blowup criteria that used the full velocity field instead of one-dimensional projections. A reader would care because the result gives a practical, direction-independent test for detecting possible singularities without controlling the entire velocity vector.

Core claim

If the mild solution v associated with initial data v0 blows up at a finite time T*, then for any 2 < p < ∞ and any unit vector e in R^3, the integral ∫_0^{T*} ||(v(t)|e)_{R^3}||_{Ḃ^{1/2 + 2/p}_{2,∞}}^p dt blows up at T*.

What carries the argument

The blowup criterion given by divergence of the time integral of the Ḃ^{1/2 + 2/p}_{2,∞} norm of the directional projection (v|e) for every unit vector e.

If this is right

  • Finite value of the integral up to any time implies the solution stays regular at that time.
  • The criterion holds uniformly in every spatial direction.
  • The result applies directly to the class of mild solutions under the stated initial regularity.
  • It strengthens earlier criteria by replacing the full velocity with its one-dimensional projections.

Where Pith is reading between the lines

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

  • Numerical codes could monitor these directional integrals as an early-warning diagnostic for emerging singularities.
  • The projection-based form may link to partial regularity theories that already exploit one-dimensional information.
  • The same technique might extend to other evolution equations whose regularity is controlled by critical Besov norms.

Load-bearing premise

The initial vorticity belongs to L^{r0} for some r0 in (1,2) and the solution is a mild solution with initial velocity in Ḣ^{1/2}.

What would settle it

Exhibit a mild solution that reaches a singularity at T* while the integral of the projected Besov norm remains finite for some p greater than 2 and some direction e.

read the original abstract

We consider the conditional regularity of the mild solution $v$ of the $3-D$ incompressible Navier-Stokes equations with initial data $v_0\in \dot{H}^{\frac 1 2}$ and vorticity $\Omega_0\in L^{r_0}$ for some $r_0\in (1,2)$. We prove that if the solution associated with initial data $v_0$ blows up at a finite time $T^\ast$, then for any $2<p<\infty$, and any unit vectors $e$ in $\mathbb{R}^3$, the integral $$\int_0^{T^\ast}\left\Vert (v(t)|e)_{\mathbb{R}^3}\right\Vert_{\dot{B}^{\frac 1 2+\frac 2 p}_{2,\infty}}^p{\rm d}t$$ blows up at $T^\ast$. The conclusion improves the recent results in Chemin et al. (Arch Ration Mech Anal 224(3):871-905, 2017) and Han et al. (Arch. Rational Mech. Anal. 231:939-970, 2019).

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 / 0 minor

Summary. The manuscript establishes a conditional regularity criterion for mild solutions of the 3D incompressible Navier-Stokes system. Under the assumptions v_0 ∈ Ḣ^{1/2} and Ω_0 ∈ L^{r_0} for some r_0 ∈ (1,2), if a solution blows up at finite time T^*, then for every 2 < p < ∞ and every unit vector e the time integral ∫_0^{T^*} ||(v(t)·e)||_{Ḣ^{1/2+2/p}_{2,∞}}^p dt diverges. The result is presented as an improvement on the one-component criteria of Chemin et al. (2017) and Han et al. (2019).

Significance. If the derivation is correct, the criterion supplies a family of critical Besov-space blow-up tests that depend on a single velocity component. The additional L^{r_0} hypothesis on initial vorticity, however, narrows the class of admissible data relative to the purely critical Ḣ^{1/2} setting employed in the cited works, so the practical gain is modest unless the assumption can be removed.

major comments (1)
  1. [Setup and assumptions (abstract, §1)] Setup (abstract and §1): the hypothesis Ω_0 ∈ L^{r_0} (1 < r_0 < 2) is imposed from the outset to control low-frequency contributions in the a-priori estimates that convert a bounded integral into an extension past T^*. It is not shown whether this integrability is removable while retaining the mild-solution framework and the target Besov space; if it is essential, the stated improvement over Chemin et al. and Han et al. applies only to a strictly smaller data class than the standard critical Ḣ^{1/2} setting.

Simulated Author's Rebuttal

1 responses · 1 unresolved

We thank the referee for the careful reading and constructive comments. Below we respond point by point to the major comment on the setup and assumptions.

read point-by-point responses

  1. Referee: Setup (abstract and §1): the hypothesis Ω_0 ∈ L^{r_0} (1 < r_0 < 2) is imposed from the outset to control low-frequency contributions in the a-priori estimates that convert a bounded integral into an extension past T^*. It is not shown whether this integrability is removable while retaining the mild-solution framework and the target Besov space; if it is essential, the stated improvement over Chemin et al. and Han et al. applies only to a strictly smaller data class than the standard critical Ḣ^{1/2} setting.

    Authors: The assumption Ω_0 ∈ L^{r_0} (1 < r_0 < 2) is introduced precisely to obtain the low-frequency control required in the a-priori estimates that close the extension argument past T^*. Within the mild-solution framework and the specific Besov-space estimates employed, this integrability supplies the necessary decay that is not otherwise available from v_0 ∈ Ḣ^{1/2} alone. Our current proof does not establish removability of the assumption while preserving both the mild-solution setting and the target one-component criterion in Ḃ^{1/2 + 2/p}_{2,∞}. Consequently the improvement over Chemin et al. (2017) and Han et al. (2019) holds for the indicated data class. We will revise the abstract and introduction to state the data class explicitly and to note that whether the vorticity integrability can be removed remains open. revision: partial

standing simulated objections not resolved
  • Whether the Ω_0 ∈ L^{r_0} assumption can be removed while retaining the mild-solution framework and the target Besov-space criterion.

Circularity Check

0 steps flagged

No circularity; derivation is self-contained under stated assumptions

full rationale

The paper establishes a conditional regularity criterion for mild solutions of 3D Navier-Stokes under the explicit hypotheses v0 ∈ Ḣ^{1/2} and Ω0 ∈ L^{r0} (1 < r0 < 2). The claimed blow-up integral is derived from standard a-priori estimates in Besov spaces and the mild formulation; it does not reduce by construction to any fitted parameter, self-definition, or load-bearing self-citation. The cited works (Chemin et al. 2017, Han et al. 2019) are external and the result is presented as an improvement rather than a renaming or tautology. The vorticity integrability is an upfront modeling assumption, not smuggled in via circular reasoning.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is based on the stated setting. The result relies on standard function-space properties and the definition of mild solutions rather than new postulates.

axioms (2)
  • domain assumption The 3D incompressible Navier-Stokes equations admit mild solutions in Ḣ^{1/2} with vorticity in L^{r0} (r0∈(1,2)).
    Explicitly stated as the setting for the conditional regularity result.
  • standard math Standard properties and inequalities for the Besov spaces Ḃ^{s}_{2,∞} hold and can be applied to the velocity field.
    Invoked implicitly by the choice of the critical space in the integral criterion.

pith-pipeline@v0.9.1-grok · 5761 in / 1503 out tokens · 58611 ms · 2026-07-03T10:18:56.460429+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

28 extracted references · 21 canonical work pages

  1. [1]

    Fourier analysis and nonlinear partial differential equations , SERIES =

    Bahouri, Hajer and Chemin, Jean-Yves and Danchin, Rapha\". Fourier analysis and nonlinear partial differential equations , SERIES =. 2011 , PAGES =. doi:10.1007/978-3-642-16830-7 , URL =

    work page doi:10.1007/978-3-642-16830-7 2011

  2. [2]

    and Wolf, J

    Chae, D. and Wolf, J. , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00205-021-01636-5 , URL =

    work page doi:10.1007/s00205-021-01636-5 2021

  3. [3]

    Wang, Wendong and Wu, Di and Zhang, Zhifei , TITLE =. Ann. Inst. H. Poincar\'e. 2024 , NUMBER =. doi:10.4171/aihpc/77 , URL =

    work page doi:10.4171/aihpc/77 2024

  4. [4]

    Miller, Evan , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00205-019-01419-z , URL =

    work page doi:10.1007/s00205-019-01419-z 2020

  5. [5]

    and Peetre, J

    Lions, J.-L. and Peetre, J. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1964 , PAGES =

    1964

  6. [6]

    oran and L\

    Bergh, J\"oran and L\"ofstr\"om, J\"orgen , TITLE =. 1976 , PAGES =

    1976

  7. [7]

    Li, Dong , TITLE =. Rev. Mat. Iberoam. , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/rmi/1049 , URL =

    work page doi:10.4171/rmi/1049 2019

  8. [8]

    , TITLE =

    Cao, Chongsheng and Titi, Edriss S. , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2008 , NUMBER =. doi:10.1512/iumj.2008.57.3719 , URL =

    work page doi:10.1512/iumj.2008.57.3719 2008

  9. [9]

    Nonlinearity , FJOURNAL =

    Zhou, Yong and Pokorn\'y, Milan , TITLE =. Nonlinearity , FJOURNAL =. 2010 , NUMBER =. doi:10.1088/0951-7715/23/5/004 , URL =

    work page doi:10.1088/0951-7715/23/5/004 2010

  10. [10]

    Chemin, Jean-Yves and Zhang, Ping , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00220-007-0236-0 , URL =

    work page doi:10.1007/s00220-007-0236-0 2007

  11. [11]

    Paicu, Marius , TITLE =. Rev. Mat. Iberoamericana , FJOURNAL =. 2005 , NUMBER =. doi:10.4171/RMI/420 , URL =

    work page doi:10.4171/rmi/420 2005

  12. [12]

    and Ser\"egin, G

    Escauriaza, L. and Ser\"egin, G. A. and. Uspekhi Mat. Nauk , FJOURNAL =. 2003 , NUMBER =. doi:10.1070/RM2003v058n02ABEH000609 , URL =

    work page doi:10.1070/rm2003v058n02abeh000609 2003

  13. [13]

    Hopf, Eberhard , TITLE =. Math. Nachr. , FJOURNAL =. 1951 , PAGES =. doi:10.1002/mana.3210040121 , URL =

    work page doi:10.1002/mana.3210040121 1951

  14. [14]

    Uniqueness and smoothness of generalized solutions of

    Lad. Uniqueness and smoothness of generalized solutions of. Zap. Nau cn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) , FJOURNAL =. 1967 , PAGES =

    1967

  15. [15]

    Acta Math

    Leray, Jean , TITLE =. Acta Math. , FJOURNAL =. 1934 , NUMBER =. doi:10.1007/BF02547354 , URL =

    work page doi:10.1007/bf02547354 1934

  16. [16]

    Prodi, Giovanni , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 1959 , PAGES =. doi:10.1007/BF02410664 , URL =

    work page doi:10.1007/bf02410664 1959

  17. [17]

    Nonlinear

    Serrin, James , TITLE =. Nonlinear. 1963 , MRCLASS =

    1963

  18. [18]

    Chemin, Jean-Yves and Zhang, Ping and Zhang, Zhifei , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00205-017-1089-0 , URL =

    work page doi:10.1007/s00205-017-1089-0 2017

  19. [19]

    Han, Bin and Lei, Zhen and Li, Dong and Zhao, Na , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00205-018-1292-7 , URL =

    work page doi:10.1007/s00205-018-1292-7 2019

  20. [20]

    Chemin, Jean-Yves and Zhang, Ping , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2016 , NUMBER =. doi:10.24033/asens.2278 , URL =

    work page doi:10.24033/asens.2278 2016

  21. [21]

    Kozono, Hideo and Taniuchi, Yasushi , TITLE =. Math. Z. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002090000130 , URL =

    work page doi:10.1007/s002090000130 2000

  22. [22]

    Methods Appl

    Chen, Qionglei and Zhang, Zhifei , TITLE =. Methods Appl. Anal. , FJOURNAL =. 2006 , NUMBER =. doi:10.4310/MAA.2006.v13.n1.a6 , URL =

    work page doi:10.4310/maa.2006.v13.n1.a6 2006

  23. [23]

    An interior regularity of a weak solution to the

    Neustupa, Jir\'i. An interior regularity of a weak solution to the. Topics in mathematical fluid mechanics , SERIES =. 2002 , MRCLASS =

    2002

  24. [24]

    Electron

    He, Cheng , TITLE =. Electron. J. Differential Equations , FJOURNAL =. 2002 , PAGES =

    2002

  25. [25]

    Zhou, Yong , TITLE =. Monatsh. Math. , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s00605-004-0266-z , URL =

    work page doi:10.1007/s00605-004-0266-z 2005

  26. [26]

    Penel, Patrick and Pokorn\'y, Milan , TITLE =. Appl. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1023/B:APOM.0000048124.64244.7e , URL =

    work page doi:10.1023/b:apom.0000048124.64244.7e 2004

  27. [27]

    Kukavica, Igor and Ziane, Mohammed , TITLE =. J. Math. Phys. , FJOURNAL =. 2007 , NUMBER =. doi:10.1063/1.2395919 , URL =

    work page doi:10.1063/1.2395919 2007

  28. [28]

    SIAM Journal on Mathematical Analysis , volume=

    On the one time-varying component regularity criteria for 3-D Navier-Stokes equations , author=. SIAM Journal on Mathematical Analysis , volume=. 2024 , publisher=

    2024