pith. sign in

arxiv: 1907.00256 · v1 · pith:M4AYWJ5Jnew · submitted 2019-06-29 · 🧮 math.AP

Global existence, regularity, and uniqueness of infinite energy solutions to the Navier-Stokes equations

Zachary Bradshaw , Tai-Peng Tsai This is my paper

Pith reviewed 2026-05-25 12:23 UTC · model grok-4.3

classification 🧮 math.AP
keywords Navier-Stokes equationslocal energy solutionsMorrey spacesglobal existenceregularityuniquenessinfinite energy solutionsLemarié-Rieusset
0
0 comments X

The pith

Local energy solutions to Navier-Stokes exist globally and stay regular when initial data is small at small or large scales in truncated Morrey quantities.

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

The paper proves global existence of local energy solutions for initial data that includes the critical L2-based Morrey space, provided the data is sufficiently small at small or large scales in truncated Morrey-type quantities. It further shows that these solutions are regular from the initial time onward and remain regular for large times. A small-large uniqueness result is established for data in the critical L2-based Morrey space. These statements extend the known theory for infinite-energy weak solutions and produce corollaries on regularity in Lebesgue, Lorentz, and Morrey spaces plus uniqueness for small discretely self-similar data.

Core claim

When the initial data satisfies a smallness condition at small or large scales measured by truncated Morrey-type quantities, local energy solutions in the sense of Lemarié-Rieusset to the Navier-Stokes equations exist globally, are initially and eventually regular, and obey small-large uniqueness in the critical L2-based Morrey space. Corollaries include eventual regularity in standard Lebesgue, Lorentz, and Morrey spaces, a new local generalized Von Wahl uniqueness criterion, and regularity plus uniqueness for solutions with small discretely self-similar data.

What carries the argument

Local energy solutions (in the sense of Lemarié-Rieusset) whose smallness is controlled by truncated Morrey-type quantities of the initial data at either small or large scales.

If this is right

  • Global existence holds for a class of data that includes the critical L2-based Morrey space.
  • Solutions with such small data are regular from the initial time and eventually regular.
  • Small-large uniqueness holds for data in the critical L2-based Morrey space.
  • Eventual regularity follows in Lebesgue, Lorentz, and Morrey spaces.
  • Regularity and uniqueness hold for local energy solutions with small discretely self-similar data.

Where Pith is reading between the lines

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

  • The scale-specific smallness condition could be tested against other weak solution classes to see whether the same global existence persists.
  • The results on discretely self-similar data suggest checking whether the smallness condition can be relaxed to hold only along a discrete sequence of scales.
  • The new local uniqueness criterion might be combined with existing blow-up criteria to produce hybrid regularity statements.
  • The distinction between small-scale and large-scale smallness raises the question of whether a solution can be continued when smallness holds only on one regime but not the other.

Load-bearing premise

The initial data satisfies a smallness condition at large or small scales measured by truncated Morrey-type quantities.

What would settle it

A local energy solution whose initial data is small in the truncated Morrey quantities yet develops a singularity in finite time would falsify the global existence and regularity claims.

read the original abstract

This paper addresses several problems associated to local energy solutions (in the sense of Lemari\'e-Rieusset) to the Navier-Stokes equations with initial data which is sufficiently small at large or small scales as measured using truncated Morrey-type quantities, namely: (1) global existence for a class of data including the critical $L^2$-based Morrey space; (2) initial and eventual regularity of local energy solutions to the Navier-Stokes equations with initial data sufficiently small at small or large scales; (3) small-large uniqueness of local energy solutions for data in the critical $L^2$-based Morrey space. A number of interesting corollaries are included, including eventual regularity in familiar Lebesgue, Lorentz, and Morrey spaces, a new local generalized Von Wahl uniqueness criteria, as well as regularity and uniqueness for local energy solutions with small discretely self-similar data.

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

3 major / 2 minor

Summary. The manuscript proves three main results for local energy solutions (in the sense of Lemarié-Rieusset) to the Navier-Stokes equations when the initial data is sufficiently small at small or large scales in truncated L²-based Morrey-type quantities: (1) global existence for data including the critical L²-Morrey space; (2) initial and eventual regularity; (3) small-large uniqueness in the critical Morrey space. Corollaries address eventual regularity in Lebesgue/Lorentz/Morrey spaces, a local generalized von Wahl uniqueness criterion, and regularity/uniqueness for small discretely self-similar data.

Significance. If the proofs are correct, the results meaningfully extend the local-energy framework to a larger class of infinite-energy data via scale-dependent smallness conditions, yielding new global existence, regularity, and uniqueness statements that are not covered by classical small-data theory in Ḣ^{1/2} or BMO^{-1}. The corollaries on eventual regularity and the generalized uniqueness criterion would be useful additions to the literature.

major comments (3)
  1. [§3] §3 (global existence theorem): the smallness hypothesis is stated in terms of truncated Morrey quantities at large scales, but the proof sketch does not clarify how the truncation radius interacts with the local energy inequality when the data is only small at infinity; a concrete estimate showing that the local energy remains controlled for all time is needed.
  2. [§4] §4 (regularity): the eventual regularity claim relies on a decay of the truncated Morrey norm as t→∞, but it is not shown that this decay is preserved by the local energy solution; the argument appears to use a bootstrap that may require an additional a-priori bound not stated in the local energy definition.
  3. [§5] §5 (small-large uniqueness): the uniqueness statement for data small in the critical Morrey space at large scales is proved by a difference estimate, yet the paper does not verify that the difference of two local energy solutions satisfies the same truncated smallness; this step is load-bearing for the “small-large” conclusion.
minor comments (2)
  1. [§2] Notation for the truncated Morrey norm M_{2,∞}^R is introduced without an explicit formula; add the definition in §2.
  2. Several corollaries are stated without proof sketches; either supply brief arguments or indicate they follow directly from the main theorems.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comments, which help clarify the exposition. We address each major point below. All comments can be addressed by adding explicit estimates and clarifications to the proofs; no standing objections remain.

read point-by-point responses

  1. Referee: [§3] §3 (global existence theorem): the smallness hypothesis is stated in terms of truncated Morrey quantities at large scales, but the proof sketch does not clarify how the truncation radius interacts with the local energy inequality when the data is only small at infinity; a concrete estimate showing that the local energy remains controlled for all time is needed.

    Authors: We agree the sketch is concise. The full argument in §3 selects the truncation radius R large enough that the Morrey smallness controls the far-field contribution via a cutoff test function in the local energy inequality; the resulting bound on the local energy is then uniform in time and proportional to the smallness parameter. We will insert an explicit lemma with this calculation (including the choice of cutoff and integration over annuli) in the revised version. revision: yes

  2. Referee: [§4] §4 (regularity): the eventual regularity claim relies on a decay of the truncated Morrey norm as t→∞, but it is not shown that this decay is preserved by the local energy solution; the argument appears to use a bootstrap that may require an additional a-priori bound not stated in the local energy definition.

    Authors: The decay follows from applying the local energy inequality over successively larger time intervals, which dissipates the L² mass at large scales and yields a time-dependent bound on the truncated Morrey norm. The bootstrap for regularity is closed by this bound together with the smallness assumption. We acknowledge the preservation step should be stated explicitly and will add a short proposition deriving the decaying bound directly from the local energy inequality without extra a-priori assumptions. revision: yes

  3. Referee: [§5] §5 (small-large uniqueness): the uniqueness statement for data small in the critical Morrey space at large scales is proved by a difference estimate, yet the paper does not verify that the difference of two local energy solutions satisfies the same truncated smallness; this step is load-bearing for the “small-large” conclusion.

    Authors: The difference w = u − v satisfies a linearised Navier–Stokes equation and inherits a local energy inequality (as established for differences of local energy solutions in the literature). Because the initial data coincide, the initial difference vanishes, so the truncated Morrey smallness at large scales passes to w by the same cutoff argument used for a single solution. We will add a brief verification paragraph making this inheritance explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents a mathematical proof of global existence, regularity, and uniqueness for local energy solutions to the Navier-Stokes equations under explicit smallness assumptions on initial data in truncated Morrey-type quantities. These smallness conditions are hypotheses, not outputs derived from the results themselves. The derivation relies on standard a priori estimates and fixed-point arguments in the local energy framework (Lemarié-Rieusset), without self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations that reduce the central claims to unverified inputs. The three main theorems are direct consequences of the stated assumptions and classical NS estimates, making the argument self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review based solely on the abstract; the paper invokes the existing theory of local energy solutions (Lemarié-Rieusset) and standard a priori estimates for Navier-Stokes. No free parameters or invented entities are visible in the abstract. Axioms are background functional-analytic results.

axioms (2)
  • domain assumption Local energy solutions exist and satisfy the local energy inequality as defined by Lemarié-Rieusset.
    Abstract states results for local energy solutions in that sense; the definition is taken as given from prior literature.
  • standard math Standard Calderón-Zygmund estimates and fixed-point arguments apply to the integral formulation of Navier-Stokes.
    Typical for existence proofs in this area; invoked implicitly for the small-data global existence claim.

pith-pipeline@v0.9.0 · 5682 in / 1503 out tokens · 22060 ms · 2026-05-25T12:23:41.878252+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

45 extracted references · 45 canonical work pages · 6 internal anchors

  1. [1]

    and Barker, T., Global weak Besov solution s of the Navier-Stokes equa- tions and applications

    Albritton, D. and Barker, T., Global weak Besov solution s of the Navier-Stokes equa- tions and applications. Arch. Ration. Mech. Anal., 232 (201 9), no. 1, 197-263

    work page

  2. [2]

    Barker, T., Uniqueness results for weak Leray-Hopf solu tions of the Navier-Stokes system with initial values in critical spaces. J. Math. Flui d Mech. 20 (2018), no. 1, 133-160

    work page 2018

  3. [3]

    On global solutions to the Navier-Stokes system with large $L^{3,\infty}$ initial data

    Barker, T. and Seregin, G., On global solutions to the Nav ier-Stokes system with large L3, ∞ initial data, preprint (arXiv:1603.03211)

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    Barraza, O., Self-similar solutions in weak Lp-spaces of the Navier-Stokes equations. Rev. Mat. Iberoamericana 12 (1996), 411-439

    work page 1996

  5. [5]

    Stochastic analysis and partial differential equations, 1-18, Contemp

    Biryuk, A., Craig, W., and Ibrahim, S., Construction of s uitable weak solutions of the Navier-Stokes equations. Stochastic analysis and partial differential equations, 1-18, Contemp. Math., 429, Amer. Math. Soc., Providence, RI, 2007

    work page 2007

  6. [6]

    and Tsai, T.-P., Forward discretely self-s imilar solutions of the Navier- Stokes equations II

    Bradshaw, Z. and Tsai, T.-P., Forward discretely self-s imilar solutions of the Navier- Stokes equations II. Ann. Henri Poincar´ e 18 (2017), no. 3, 1 095-1119

    work page 2017

  7. [7]

    and Tsai, T.-P., Rotationally corrected sc aling invariant solutions to the Navier-Stokes equations, Comm

    Bradshaw, Z. and Tsai, T.-P., Rotationally corrected sc aling invariant solutions to the Navier-Stokes equations, Comm. Partial Differential Equ ations 42 (2017), no. 7, 1065-1087

    work page 2017

  8. [8]

    and Tsai, T.-P., Discretely self-similar s olutions to the Navier-Stokes equations with Besov space data

    Bradshaw, Z. and Tsai, T.-P., Discretely self-similar s olutions to the Navier-Stokes equations with Besov space data. Arch. Ration. Mech. Anal. 2 29 (2018), no. 1, 53-77

    work page 2018

  9. [9]

    Bradshaw, Z. and Tsai, T.-P., Discretely self-similar s olutions to the Navier-Stokes equations with data in L2 loc satisfying the local energy inequality, Analysis and PDE, to appear (arXiv:1802.00038)

    work page internal anchor Pith review Pith/arXiv arXiv

  10. [10]

    Brandolese, L., Fine properties of self-similar solut ions of the Navier-Stokes equations. Arch. Ration. Mech. Anal. 192 (2009), no. 3, 375-401

    work page 2009

  11. [11]

    and Nirenberg, L., Partial regul arity of suitable weak solutions of the Navier-Stokes equations

    Caffarelli, L., Kohn, R. and Nirenberg, L., Partial regul arity of suitable weak solutions of the Navier-Stokes equations. Comm. Pure Appl. Math. 35 (1 982), no. 6, 771-831

    work page

  12. [12]

    Calder´ on, C. P. Existence of weak solutions for the Nav ier-Stokes equations with initial data in Lp. Trans. Amer. Math. Soc. 318 (1990), no. 1, 179-200

    work page 1990

  13. [13]

    and Planchon, F., Self-similar solutions f or Navier-Stokes equations in R3

    Cannone, M. and Planchon, F., Self-similar solutions f or Navier-Stokes equations in R3. Comm. Partial Differential Equations 21 (1996), no. 1-2, 179 -193

    work page 1996

  14. [14]

    Chae, D., and Wolf, J., Existence of discretely self-si milar solutions to the Navier- Stokes equations for initial value in L2 loc(R3), Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire (2017) https://doi.org/10.1016/j.anihpc.2017.10.001. 31

    work page doi:10.1016/j.anihpc.2017.10.001 2017

  15. [15]

    and Lemari´ eRieusset, G.L., Weak solutions for NavierStokes equations with initial data in weighted L2 spaces, pre-print, arxiv:1906.11038

    Fern´ andez-Dalgo, P.G. and Lemari´ eRieusset, G.L., Weak solutions for NavierStokes equations with initial data in weighted L2 spaces, pre-print, arxiv:1906.11038

    work page arXiv 1906

  16. [16]

    and Miyakawa, T., Navier-Stokes flows in R3 with measures as initial vorticity and the Morrey spaces, Comm

    Giga, Y. and Miyakawa, T., Navier-Stokes flows in R3 with measures as initial vorticity and the Morrey spaces, Comm. Partial Differential Equations 1 4 (1989), 577-618

    work page 1989

  17. [17]

    Gruji´ c, Z., Regularity of forward-in-time self-similar solutions to the 3D NSE, Discrete Contin. Dyn. Syst. 14 (2006), 837-843

    work page 2006

  18. [18]

    Hopf, E., ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen, Math. Nachr. 4 (1951), 213–231

    work page 1951

  19. [19]

    A., ˇSver´ ak, V.,L3, ∞ -solutions of Navier-Stokes equations and backward uniqueness

    Escauriaza, L., Seregin, G. A., ˇSver´ ak, V.,L3, ∞ -solutions of Navier-Stokes equations and backward uniqueness. (Russian) Uspekhi Mat. Nauk 58 (20 03), no. 2(350), 3–44; translation in Russian Math. Surveys 58 (2003), no. 2, 211–2 50

    work page 2003

  20. [20]

    Jia, H., Uniqueness of solutions to to Navier Stokes equ ation with small initial data in L3, ∞ (R3), preprint, arXiv:1409.8382

    work page internal anchor Pith review Pith/arXiv arXiv

  21. [21]

    and ˇSver´ ak, V., MinimalL3-initial data for potential Navier-Stokes singulari- ties

    Jia, H. and ˇSver´ ak, V., MinimalL3-initial data for potential Navier-Stokes singulari- ties. SIAM J. Math. Anal. 45 (2013), no. 3, 1448-1459

    work page 2013

  22. [22]

    and ˇSver´ ak, V., Local-in-space estimates near initial time fo r weak solutions of the Navier-Stokes equations and forward self-similar so lutions

    Jia, H. and ˇSver´ ak, V., Local-in-space estimates near initial time fo r weak solutions of the Navier-Stokes equations and forward self-similar so lutions. Invent. Math. 196 (2014), no. 1, 233-265

    work page 2014

  23. [23]

    and Tsai, T.-P., Short time regulari ty of Navier-Stokes flows with locally L3 initial data and applications, preprint, arXiv:1812.1050 9

    Kang, K., Miura, H. and Tsai, T.-P., Short time regulari ty of Navier-Stokes flows with locally L3 initial data and applications, preprint, arXiv:1812.1050 9

    work page arXiv

  24. [24]

    Kato, T., Strong solutions of the Navier-Stokes equati on in Morrey spaces. Bol. Soc. Brasil. Mat. (N.S.) 22 (1992), no. 2, 127-155

    work page 1992

  25. [25]

    and Seregin, G., Weak solutions to the Cauch y problem for the Navier- Stokes equations satisfying the local energy inequality

    Kikuchi, N. and Seregin, G., Weak solutions to the Cauch y problem for the Navier- Stokes equations satisfying the local energy inequality. N onlinear equations and spec- tral theory, 141-164, Amer. Math. Soc. Transl. Ser. 2, 220, A mer. Math. Soc., Provi- dence, RI, 2007

    work page 2007

  26. [26]

    and Tataru, D., Well-posedness for the Navier- Stokes equations

    Koch, H. and Tataru, D., Well-posedness for the Navier- Stokes equations. Adv. Math. 157 (1), 22–35 (2001)

    work page 2001

  27. [27]

    and Tsai, T.-P., Forward self-similar sol utions of the Navier-Stokes equations in the half space, Analysis & PDE 9(8), (2016), 181 1–1827

    Korobkov, M. and Tsai, T.-P., Forward self-similar sol utions of the Navier-Stokes equations in the half space, Analysis & PDE 9(8), (2016), 181 1–1827

    work page 2016

  28. [28]

    and Tsai, T.-P., Global Navier-Stokes flows for n on-decaying initial data with slowly decaying oscillation, preprint, arXiv:1811.0 3249

    Kwon H. and Tsai, T.-P., Global Navier-Stokes flows for n on-decaying initial data with slowly decaying oscillation, preprint, arXiv:1811.0 3249

    work page

  29. [29]

    Ladyˇ zenskaja, O. A. and Seregin, G., On partial regula rity of suitable weak solutions to the three-dimensional Navier-Stokes equations, J. Math . Fluid Mech. 1 (1999), no. 4, 356–387

    work page 1999

  30. [30]

    G.,Recent developments in the Navier-Stokes problem

    Lemari´ e-Rieusset, P. G.,Recent developments in the Navier-Stokes problem. Chapman Hall/CRC Research Notes in Mathematics, 431. Chapman Hall/ CRC, Boca Raton, FL, 2002. 32

    work page 2002

  31. [31]

    G., The Navier-Stokes equation s in the critical Morrey- Campanato space

    Lemari´ e-Rieusset, P. G., The Navier-Stokes equation s in the critical Morrey- Campanato space. Rev. Mat. Iberoam. 23 (2007), no. 3, 897-93 0

    work page 2007

  32. [32]

    G., Uniqueness for the Navier-S tokes problem: remarks on a theorem of Jean-Yves Chemin

    Lemari´ e-Rieusset, P. G., Uniqueness for the Navier-S tokes problem: remarks on a theorem of Jean-Yves Chemin. Nonlinearity 20 (2007), no. 6, 1475-1490

    work page 2007

  33. [33]

    G., The Navier-Stokes problem in the 21st century

    Lemari´ e-Rieusset, P. G., The Navier-Stokes problem in the 21st century . CRC Press, Boca Raton, FL, 2016

    work page 2016

  34. [34]

    Interpolation, extrapolation, Morrey spaces and local energy control for the Navier--Stokes equations

    Lemari´ e-Rieusset, P. G., Interpolation, extrapolation, Morrey spaces and local energy control for the Navier-Stokes equations, preprint, arXiv: 1901.05649

    work page internal anchor Pith review Pith/arXiv arXiv 1901

  35. [35]

    (French) Acta Math

    Leray, J., Sur le mouvement d’un liquide visqueux empli ssant l’espace. (French) Acta Math. 63 (1934), no. 1, 193-248

    work page 1934

  36. [36]

    Li, Jingyue, Global existence of uniformly locally ene rgy solutions for the incompress- ible fractional Navier-Stokes equations, preprint, arXiv :1901.03658

    work page internal anchor Pith review Pith/arXiv arXiv 1901

  37. [37]

    Pure Appl

    Lin, F., A new proof of the Caffarelli-Kohn-Nirenberg the orem, Comm. Pure Appl. Math. 51 (1998), no. 3, 241–257

    work page 1998

  38. [38]

    Local energy weak solutions for the Navier-Stokes equations in the half-space

    Maekawa, Y., Miura, H. and Prange, C., Local energy weak solutions for the Navier- Stokes equations in the half-space, arXiv:1711.04486

    work page internal anchor Pith review Pith/arXiv arXiv

  39. [39]

    and Terasawa, Y., The Navier-Stokes equati ons with initial data in uniformly local Lp spaces

    Maekawa, Y. and Terasawa, Y., The Navier-Stokes equati ons with initial data in uniformly local Lp spaces. Differential Integral Equations 19 (2006), no. 4, 369 -400

    work page 2006

  40. [40]

    In Turbulence and Navier-Stokes equations (Proc

    Scheffer, V., Turbulence and Hausdorff dimension. In Turbulence and Navier-Stokes equations (Proc. Conf., Univ. Paris-Sud, Orsay, 1975) , pages 174–183. Lecture Notes in Math., Vol. 565. Springer, Berlin, 1976

    work page 1975

  41. [41]

    Nonlinear Anal

    Seregin, G and ˇSver´ ak, V., On global weak solutions to the Cauchy problem f or the Navier-Stokes equations with large L3-initial data. Nonlinear Anal. 154 (2017), 269- 296

    work page 2017

  42. [42]

    Taylor, M., Analysis on Morrey spaces and applications to Navier-Stokes and other evolution equations. Comm. Partial Differential Equations 1 7 (1992), no. 9-10, 1407- 1456

    work page 1992

  43. [43]

    Tsai, T.-P., Forward discretely self-similar solutio ns of the Navier-Stokes equations. Comm. Math. Phys. 328 (2014), no. 1, 29-44

    work page 2014

  44. [44]

    Graduate Studies in Mathematics,

    Tsai, T.-P., Lectures on Navier-Stokes Equations . Graduate Studies in Mathematics,

    work page

  45. [45]

    American Mathematical Society, Providence, RI, 2018. Zachary Bradshaw, Department of Mathematics, University o f Arkansas, Fayetteville, AR 72701, USA; e-mail: zb002@uark.edu Tai-Peng Tsai, Department of Mathematics, University of Br itish Columbia, Vancouver, BC V6T 1Z2, Canada; e-mail: ttsai@math.ubc.ca 33

    work page 2018