A remark on very weak suitable solutions and Leray solutions of the Navier-Stokes equations

Oscar Jarr\'in

A remark on very weak suitable solutions and Leray solutions of the Navier-Stokes equations

T0 review · 0 major / 4 minor · reviewed 2026-07-12 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Very weak suitable Navier-Stokes solutions become Leray solutions under a local Morrey bound on velocity.

desk verdict Clean technical note that upgrades very-weak suitable solutions to Leray solutions under local Morrey control; solid unification of known criteria, not a breakthrough. read the letter →

arxiv 2607.03602 v1 pith:CCVZHGFP submitted 2026-07-03 math.AP

Oscar Jarrín This is my paper · ORCID

classification math.AP MSC 35Q3035B3035B45

keywords Navier-StokesequationsveryweaksolutionssuitableLeraylocalMorreyspacesenergyinequalityuniquenessregularity

topics Navier-Stokes Regularity

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper asks when a very weak solution of the three-dimensional Navier-Stokes equations is actually a Leray solution: an energy-class weak solution that satisfies the global energy inequality. It introduces “very weak suitable solutions,” which satisfy only the minimal integrability needed to write the local energy inequality in the distributional sense and for which the associated defect measure is non-negative. Within this class the author proves that membership of the velocity in a local Morrey space M^{p,γ} (with 3 ≤ p < 9/2 and a decay condition γ/p − 3/p + 2/3 < 0), together with L² initial data and a mild continuity-in-time assumption, is enough to recover the global energy inequality. Local Morrey spaces contain the classical Ladyzhenskaya–Prodi–Serrin spaces as well as Lorentz, homogeneous Morrey and parabolic Morrey spaces, so the result unifies and extends several earlier criteria. Once the solution is known to be Leray, additional local Morrey assumptions yield uniqueness and smoothness on a possibly smaller time interval.

What carries the argument

The local energy inequality tested against carefully chosen cut-off functions that are radial in space and approximate the indicator of a time interval; after integration by parts the non-negative defect measure and the local Morrey control make every remainder vanish as the spatial cut-off radius tends to infinity, yielding the global energy inequality.

What would settle it

Exhibit a very weak suitable solution that lies in the stated local Morrey space, has L² initial data, yet fails to satisfy the global energy inequality (or fails to be weakly continuous in L²_loc).

Watch

Extended reading notes

Core claim

A very weak suitable solution (u,P) of the Navier–Stokes equations on [0,T]×ℝ³ becomes a Leray solution whenever the initial velocity lies in L², the map t ↦ u(t,·) is weakly continuous in L²_loc for t>0 and strongly continuous at t=0, and u belongs to the local Morrey space M^{p,γ}_{t,x} for parameters satisfying 0<γ<3≤p<∞ and γ/p − 3/p + 2/3 <0.

Load-bearing premise

The velocity must already be weakly continuous in L² on every compact set for positive times and strongly continuous at time zero; without this continuity the passage from the local energy inequality to the global energy inequality fails.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This paper does exactly what the title promises: it defines very weak suitable solutions (velocity in L3_loc, pressure in L3/2_loc so the local energy inequality makes distributional sense, plus non-negative measure µ) and proves that local Morrey membership M^{p,γ} with the natural scaling γ/p − 3/p + 2/3 < 0, plus the usual L2 initial data and a continuity hypothesis, turns them into Leray solutions on [0,T]. The cut-off argument (test function α_{t0,t1,ε} φ_R, then R o∞) is standard but carefully executed; Lemmas 4.1–4.2 close cleanly by Hölder and the Morrey norm, and the pressure identification (Prop. 1.1) via Riesz transforms on weighted L^p is independent and useful on its own.

What is actually new is the very-weak-suitable class itself and the systematic use of local Morrey spaces as the ambient setting. The embeddings recover the classical L^p_t L^q_x, Lorentz, homogeneous Morrey and (for T≤2) parabolic Morrey criteria that appear in Foias, Fabes–Jones–Rivière, Giga, Galdi, Ding–Tan, etc. The three corollaries on uniqueness/regularity under an extra Morrey assumption are straightforward but correctly derived from Galdi’s theorems once the energy inequality is in hand.

The only real soft spot is the a-priori continuity hypothesis in Theorem 1.1(1): weak L2_loc continuity for t>0 and strong continuity at t=0. It is stated explicitly and is needed to pass to the limit after testing, so it is not hidden; still, it is an extra assumption that pure very-weak solutions need not satisfy. The range ends up restricted to 3≤p<9/2, and the T≤2 restriction for parabolic Morrey is purely technical. None of this breaks the argument.

The math is elementary functional analysis done carefully; citations are appropriate and non-circular. This is for people who already work on weak-solution theory for Navier–Stokes and care about the precise functional setting that upgrades very-weak to Leray. It deserves a serious referee and should appear as a short note. I would bring it to reading group only if we are deep in Morrey-space fluid dynamics that week; otherwise it is a useful reference rather than a must-read.

Referee Report

0 major / 4 minor

Summary. The paper introduces very weak suitable solutions of the 3D Navier–Stokes equations: distributional solutions with u in L^{3}_loc and P in L^{3/2}_loc such that the local energy defect measure μ defined by (6) is a non-negative locally finite measure. Theorem 1.1 states that if, in addition, u_{0} ∈ L^{2}(ℝ^{3}), the map t ↦ u(t,·) is weakly continuous in L^{2}_loc for t > 0 and strongly continuous at t = 0, and u belongs to the local Morrey space M^{p,γ}_{t,x}([0,T]×ℝ^{3}) for 0 < γ < 3 ≤ p < ∞ satisfying γ/p − 3/p + 2/3 < 0, then (u,P) is a Leray solution on [0,T] (and hence globally by the classical Leray program). The proof proceeds by testing the local energy inequality with carefully chosen cut-offs (20), obtaining the local energy estimates of Lemmas 4.1–4.2, and letting the spatial radius R → ∞ under the scaling condition (8). Proposition 1.1 identifies the pressure via Riesz transforms under a weaker Morrey assumption, and three corollaries give uniqueness and smoothness under an extra Morrey condition (16). Embeddings into Lebesgue, Lorentz, homogeneous Morrey and parabolic Morrey spaces are recorded in the appendix.

Significance. The result supplies a clean, scale-invariant sufficient condition that upgrades a very weak suitable solution to a Leray solution inside a functional class strictly larger than the classical L^p_t L^q_x spaces used in earlier works (Foias, Fabes–Jones–Riviere, Giga, Galdi, Ding–Tan). Local Morrey spaces simultaneously contain Lorentz, homogeneous Morrey and (for short times) parabolic Morrey spaces, so the theorem unifies several previously separate settings. The proofs are fully written out, rely only on standard Riesz-transform bounds and real interpolation of Morrey spaces, and contain no free parameters or circular normalizations. The corollaries on uniqueness and regularity, while conditional on an extra Morrey assumption, are natural and correctly deduced from classical Serrin-type criteria. The contribution is therefore a useful technical remark that enlarges the known range of spaces in which the very-weak-to-Leray passage holds.

minor comments (4)

In the statement of Theorem 1.1 the range 3 ≤ p < 9/2 is only deduced later from the combination of 0 < γ < 3 and (8); it would help the reader if this restriction were stated explicitly already in the theorem.
Lemma 1.1 requires T ≤ 2 for a purely technical reason (to guarantee √(T/2) ≤ 1 ≤ R). A short remark that the restriction is harmless because the local-to-global extension argument of Theorem 1.1 only needs a positive-time interval would clarify the scope.
Several typographical slips appear: “Cafarelli-Konh-Niremberg” (p. 3), “Theoem 5.2” (p. 15), and occasional missing spaces after commas. A light copy-edit would remove them.
In the proof of Lemma 4.1 the intermediate exponent is written “2/q” instead of “2/p”; the subsequent algebra is correct, but the notation should be consistent.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.1 is a direct cut-off argument from the distributional local-energy inequality plus the Morrey norm definition; background space properties are independent tools.

full rationale

The derivation chain of the central claim (Theorem 1.1) proceeds as follows: start from the non-negative measure μ defined by the local energy inequality (6) that is part of the very-weak-suitable hypothesis; insert the explicit cut-off test function Φ=α_{t0,t1,ε}(t)φ_R(x) of (20); pass to the limit ε o0 using the stated continuity assumption of Theorem 1.1(1) to obtain the localized energy balance (21); control the two remainder integrals over the annulus C_R by Hölder and the definition (7) of the local Morrey norm, which produces the powers R^{-1/3} and R^{3(γ/p-3/p+2/3)} (Lemmas 4.1–4.2); the scaling hypothesis γ/p-3/p+2/3<0 then lets R o+∞ and yields the global energy inequality (3). Pressure identification (Proposition 1.1) is proved independently by mollification and the fact that a tempered distribution that is harmonic and belongs to a weighted L^{p/2} space must vanish. All steps are self-contained algebraic estimates; none reduces by construction to its own input, none fits a free parameter to data, and none imports a uniqueness theorem whose only justification is a prior paper by the same author. Self-citations ([9],[10],[11]) supply only standard operator bounds on the ambient Morrey spaces and are not load-bearing for the passage from local to global energy. Corollaries 1.2–1.3 simply invoke the classical Ladyzhenskaya–Prodi–Serrin criterion from Galdi’s monograph once the solution is already known to be Leray. Consequently the paper contains no circular step.

Assumptions & free parameters 0 free parameters · 3 assumptions · 1 invented entities

The paper rests on the classical distributional formulation of Navier-Stokes, the definition of local Morrey spaces, and standard operator bounds (Riesz transforms, Hardy-Littlewood maximal function) on weighted L^p. No free parameters are fitted. The only invented entity is the intermediate solution class itself, introduced for the purpose of the theorem.

assumptions (3)

domain assumption The Navier-Stokes equations hold in the distributional sense (Definition 1.1) and the local energy inequality defines a non-negative Radon measure (Definition 1.3).
Taken as the starting point of the whole theory; no derivation is offered.
standard math Riesz transforms and the Hardy-Littlewood maximal operator are bounded on L^p_t(L^p_γ)_x for 0<γ<3 and 1<p<∞ (Lemma 2.2).
Cited from earlier works of the author and classical harmonic analysis; used to identify the pressure and to close Morrey estimates.
standard math Local Morrey spaces arise by real interpolation between L^p and weighted L^p (sketch after Lemma 2.2).
Standard real-interpolation fact used to transfer operator bounds.

invented entities (1)

very weak suitable solution
purpose: Intermediate class between very weak and suitable Leray solutions that makes the local energy inequality meaningful under minimal integrability.
Defined in Definition 1.3; the main theorem shows that membership in a local Morrey space upgrades it to a Leray solution. No independent experimental handle is claimed.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A remark on very weak suitable solutions and Leray solutions of the Navier-Stokes equations." pith.science (2026). https://pith.science/paper/CCVZHGFP

@misc{pith2026260703602,
  author       = {Pith},
  title        = {Pith review of: A remark on very weak suitable solutions and Leray solutions of the Navier-Stokes equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CCVZHGFP}},
  note         = {Machine review of arXiv:2607.03602}
}

read the original abstract

We introduce the notion of very weak suitable solutions for the Navier--Stokes equations. Here, the velocity and the pressure satisfy minimal conditions that make sense of the local energy inequality in the distributional setting. A well-known but still relevant question is to find sufficient conditions ensuring that very-weak solutions are in fact Leray solutions. Exploiting the \emph{local} energy inequality within the general framework of \emph{local} Morrey spaces, we establish such conditions. Local Morrey spaces provide a general framework that contains other useful functional settings in the theoretical analysis of the Navier--Stokes equations, such as Lebesgue, Lorentz, homogeneous Morrey, and parabolic Morrey spaces. As a by-product, we also derive some sufficient conditions to study the uniqueness and regularity of the resulting Leray solutions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 1 linked inside Pith

[1]

Bradshaw, Kukavica I

Z. Bradshaw, Kukavica I. and T.P. Tsai.Existence of global weak solutions to the Navier-Stokes equations in weighted spacesarXiv:1910.06929v1 (2019)

arXiv 1910
[2]

Caffarelli, R

L. Caffarelli, R. Kohn and L. Nirenberg.Partial regularity of suitable weak solutions of the Navier– Stokes equations. Comm. Pure Appl. Math., 35:771-831 (1982)

1982
[3]

Chamorro.Espacios de Lebesgue y de Lorentz

D. Chamorro.Espacios de Lebesgue y de Lorentz. Vol. 3., ediciones AMARUN (2018)

2018
[4]

Chamorro and J

D. Chamorro and J. He.On the partial regularity theory for the MHD equations. Journal of Mathematical Analysis and Applications, Volume 494, Issue 1, (2021)

2021
[5]

Chamorro and C

D. Chamorro and C. Mˆ ındril˘a.A new approach for the regularity of weak solutions of the 3D Boussinesq system. Nonlin- earity 37, 065019 (2024)

2024
[6]

Chamorro and D

D. Chamorro and D. Llerena.Partial regularity and -norm concentration effects around possible blow-up points for the micropolar fluid equations. Nonlinear Differ. Equ. Appl. 32, 55 (2025)

2025
[7]

Ding and W

H. Ding and W. Tan.On the very weak solution to the Navier–Stokes equations. Nonlinearity 37, 125018 (2024)

2024
[8]

Fabes, B.F

E.B. Fabes, B.F. Jones and N.M. Riviere.The initial value problem for the Navier-Stokes equations with data inL p . Arch. Rational Mech. Anal. 45, 222–240 (1972)

1972

Show all 24 references

[9]

P. G. Fern´ andez-Dalgo and O. Jarr´ ın.Weak–strong uniqueness in weightedL2 spaces and weak suitable solutions in local Morrey spaces for the MHD equations. J. Differential Equations 273, 864–915 (2021)

2021
[10]

P. G. Fern´ andez-Dalgo and P.G. Lemari´ e-Rieusset.Weak Solutions for Navier–Stokes Equations with Initial Data in WeightedL 2 Spaces. Arch. Rational Mech. Anal. 237, 347–382 (2020)

2020
[11]

P. G. Fern´ andez-Dalgo and P.G. Lemari´ e-Rieusset.Characterisation of the pressure term in the incompressible Navier–Stokes equations on the whole space. Discrete and Continuous Dynamical Systems - S, 14(8): 2917-2931 (2021)

2021
[12]

Foias.Une remarque sur l’unicit´ e des solutions des ´ equations de Navier–Stokes en dimensionn

C. Foias.Une remarque sur l’unicit´ e des solutions des ´ equations de Navier–Stokes en dimensionn. Bull. Soc. Math. France, 89, 1–8 (1961)

1961
[13]

Galdi.An introduction to the Navier-Stokes initial-boundary value problem

G. Galdi.An introduction to the Navier-Stokes initial-boundary value problem. Fundamental directions in mathematical fluid mechanics, 1-70, Adv. Math. Fluid Mech., Birkh¨ auser, Basel, (2000)

2000
[14]

Galdi.On the relation between very weak and Leray–Hopf solutions to Navier–Stokes equations

G. Galdi.On the relation between very weak and Leray–Hopf solutions to Navier–Stokes equations. Proc. Amer. Math. Soc. 147: 5349-5359 (2019)

2019
[15]

Galdi.On the energy equality for distributional solutions to Navier-Stokes equationsProc

G. Galdi.On the energy equality for distributional solutions to Navier-Stokes equationsProc. Am. Math. Soc. 147 785–92 (2019)

2019
[16]

Giga.Solutions for semilinear parabolic equations inL p and regularity of weak solutions of the Navier-Stokes system

Y. Giga.Solutions for semilinear parabolic equations inL p and regularity of weak solutions of the Navier-Stokes system. J. Differential Equations, 62: 186–212 (1986)

1986
[17]

Hopf.Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen

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

1951
[18]

Kato.Strong Solutions of the Navier-Stokes Equation in Morrey Spaces

T. Kato.Strong Solutions of the Navier-Stokes Equation in Morrey Spaces. Bol. Soc. Bras. Mat., Vol. 22, No. 2: 127-155 (1992)

1992
[19]

Kukavica.On partial regularity for the Navier-Stokes equations

I. Kukavica.On partial regularity for the Navier-Stokes equations. Discrete Contin. Dyn. Syst. 21(3):717-728, (2008)

2008
[20]

Ladyzhenskaya.Uniqueness and smoothness of generalized solutions of Navier-Stokes equations

O. Ladyzhenskaya.Uniqueness and smoothness of generalized solutions of Navier-Stokes equations. Zap. Naucn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 5 169–85 (1967)

1967
[21]

Lemari´ e-Rieusset.The Navier-Stokes Problem in the 21st Century, Chapman & Hall/CRC, (2016)

P.-G. Lemari´ e-Rieusset.The Navier-Stokes Problem in the 21st Century, Chapman & Hall/CRC, (2016)

2016
[22]

Leray.Sur le mouvements d’un liquide visqueux emplissant l’espace

J. Leray.Sur le mouvements d’un liquide visqueux emplissant l’espace. Acta Math., 63: 193–248 (1934)

1934
[23]

Prodi.Un teorema di unicit´ a per le equazioni di Navier-Stokes

G. Prodi.Un teorema di unicit´ a per le equazioni di Navier-Stokes. Ann. Mat. Pure Appl. 48 173–82 (1959)

1959
[24]

Serrin.On the interior regularity of weak solutions of the Navier-Stokes equations

J. Serrin.On the interior regularity of weak solutions of the Navier-Stokes equations. Arch. Ration. Mech. Anal. 9 187–95 (1962). Email address:oscar.jarrin@udla.edu.ec

1962

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.

[1] [1]

Bradshaw, Kukavica I

Z. Bradshaw, Kukavica I. and T.P. Tsai.Existence of global weak solutions to the Navier-Stokes equations in weighted spacesarXiv:1910.06929v1 (2019)

arXiv 1910

[2] [2]

Caffarelli, R

L. Caffarelli, R. Kohn and L. Nirenberg.Partial regularity of suitable weak solutions of the Navier– Stokes equations. Comm. Pure Appl. Math., 35:771-831 (1982)

1982

[3] [3]

Chamorro.Espacios de Lebesgue y de Lorentz

D. Chamorro.Espacios de Lebesgue y de Lorentz. Vol. 3., ediciones AMARUN (2018)

2018

[4] [4]

Chamorro and J

D. Chamorro and J. He.On the partial regularity theory for the MHD equations. Journal of Mathematical Analysis and Applications, Volume 494, Issue 1, (2021)

2021

[5] [5]

Chamorro and C

D. Chamorro and C. Mˆ ındril˘a.A new approach for the regularity of weak solutions of the 3D Boussinesq system. Nonlin- earity 37, 065019 (2024)

2024

[6] [6]

Chamorro and D

D. Chamorro and D. Llerena.Partial regularity and -norm concentration effects around possible blow-up points for the micropolar fluid equations. Nonlinear Differ. Equ. Appl. 32, 55 (2025)

2025

[7] [7]

Ding and W

H. Ding and W. Tan.On the very weak solution to the Navier–Stokes equations. Nonlinearity 37, 125018 (2024)

2024

[8] [8]

Fabes, B.F

E.B. Fabes, B.F. Jones and N.M. Riviere.The initial value problem for the Navier-Stokes equations with data inL p . Arch. Rational Mech. Anal. 45, 222–240 (1972)

1972