Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

On the integrability properties of Leray-Hopf solutions of the Navier-Stokes equations on $\mathbb{R}^3$

T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read Baire-generic L2 data have no L4-integrable weak solutions

desk verdict Solidly proved main theorem, but the advertised L^4 genericity result depends on Corollary 4.3, which is stated without proof. read the letter →

arxiv 2412.13066 v2 pith:6WHJTAW4 submitted 2024-12-17 math.AP

classification math.AP MSC 35Q3076D0535B6576D03
keywords Navier-StokesequationsLeray-HopfsolutionsBairecategoryscalinginvarianceL4integrabilityenergyequalityaprioriestimatesBesovspaces
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

This paper asks when weak solutions of the 3D Navier-Stokes equations can land in a prescribed supercritical integrability class $L^r(0,\infty;X)$. Its central answer is a scaling-driven dichotomy: whenever $5/(3r)+2/s<1$, only a meagre set of $L^2$ divergence-free data admits a weak solution in $\bigcup_{T>0}L^r(0,T;L^s)$, and in particular a Baire-generic datum has no weak solution in $\bigcup_{T>0}L^4(0,T;L^4)$. In the complementary window, existence for a non-meagre set is equivalent to a uniform-in-viscosity a priori estimate, so soft existence arguments alone cannot establish such integrability without proving a quantitative scaling bound. If the main theorem is right, global Navier-Stokes regularity would force uniqueness and the energy equality for a residual set of data, and global Euler regularity would force anomalous energy dissipation to fail for a residual set.

What carries the argument

The load-bearing construction is the family of sets $Y_M$ of initial data for which some weak solution satisfies the combined norm bound in (9) and (10). These sets are weakly-star sequentially closed for weak solutions (Proposition 2.17), so if their union is non-meagre, one of them contains a ball. Lemma 4.1, a translation-invariance rescaling lemma, moves that ball to the origin, and the exact $s$-homogeneity of $X$ together with the $2$-homogeneity of $Z$ rescales arbitrary data into it, producing the a priori estimate (10) with the viscosity exponent $3(5/(3r)+2/s-1)$. The same scaling, applied as $\nu\to 0$ or to the relaxed Euler system, turns any violation of the critical inequality into a zero solution of the relaxed equations with nonzero data, which is the contradiction that forces the critical-line conditions.

What would settle it

Construct an open ball in $L^2_\sigma$ for which every initial datum admits a weak solution with $\sup_\nu \|u^\nu\|_{L^4(0,T;L^4)}<\infty$, or exhibit a uniform-in-viscosity $L^4$ bound with a viscosity exponent different from the one in (10); either observation would contradict Theorem 1.2 and Corollary 4.3.

Watch

Extended reading notes

Core claim

The paper claims that for suitable $s$-homogeneous Banach spaces $X\subset S'$ and $2$-homogeneous data spaces $Z\hookrightarrow L^2_\sigma$, with $r,s\in(4/3,\infty]$ and $1<2/r+3/s<3/2$, integrability in $L^r(0,\infty;X)$ is controlled by the single scaling exponent $5/(3r)+2/s$. Theorem 1.2 shows that existence of a weak solution in $L^r(0,\infty;X)$ for a non-meagre set of data is equivalent to the a priori estimate (10), whose viscosity exponent is $-3(5/(3r)+2/s-1)$; this estimate forces $5/(3r)+2/s\ge 1$, and uniform-in-viscosity bounds force the equality $5/(3r)+2/s=1$. Applying this to $L^r(0,T;L^s)$ gives Corollary 4.3: for a Baire-generic $L^2_\sigma$ datum no weak solution belongs to $\bigcup_{T>0}L^4(0,T;L^4)$, and the same mechanism rules out other known sufficient conditions for the energy equality. As a separate application, the Besov classes $L^r(0,\infty;\dot B^{\beta_r}_{r,\infty})$ with $\beta_r=(11-3r)/(2r)$ and $5/3\le r\le 3$ are shown to be the only scale-compatible classes at the uniform-in-viscosity threshold.

Load-bearing premise

The argument needs the relevant solution classes to be closed under weak-star limits and the spaces $X$ and $Z$ to be exactly homogeneous under scaling, so that a non-meagre set of good data can be rescaled into a fixed ball; if a natural space is only approximately homogeneous or lacks that closure, the equivalence between generic existence and the a priori estimate may fail.

Editorial extensions

If this is right

  • For any $r,s$ with $5/(3r)+2/s<1$, only a meagre set of $L^2_\sigma$ data admits a weak solution in $\bigcup_{T>0}L^r(0,T;L^s)$; taking $r=s=4$ excludes $L^4(0,T;L^4)$ integrability for Baire-generic data.
  • Non-meagre global solvability in $L^r(0,\infty;X)$ is equivalent to the a priori estimate (10), so any proof of such integrability must establish a quantitative viscosity-scaling bound, not merely an existence argument.
  • Uniform-in-viscosity bounds in any supercritical class are possible only on the critical line $5/(3r)+2/s=1$, which singles out the Onsager-critical Besov spaces $L^r(0,\infty;\dot B^{\beta_r}_{r,\infty})$ as the natural threshold classes.
  • If global regularity holds for the Navier-Stokes equations, then for a Baire-generic datum the Leray-Hopf solution is unique and satisfies the energy equality at almost every time; if global regularity holds for the Euler equations, anomalous energy dissipation fails for a Baire-generic datum.
  • The energy-equality criteria of Lions ($L^4(0,T;L^4)$), Shinbrot, and the Besov-scale criteria are generically unavailable for Leray-Hopf solutions, even though each would be sufficient if it held.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference: the equivalence between generic existence and a uniform a priori estimate suggests a general meta-principle for scale-invariant PDEs: in supercritical classes, qualitative existence statements secretly contain quantitative bounds, so no-go results of this shape can be converted into necessary estimates that any successful method must prove.
  • Inference: the critical line $5/(3r)+2/s=1$ is exactly the Euler scaling relation, so the theorem gives a rigorous reason why the energy-dissipating part of an inviscid limit, if it exists, must be looked for at the Onsager threshold rather than in coarser supercritical norms.
  • Inference: a concrete testable extension would be to monitor the $L^4$ norm in high-resolution Galerkin or spectral truncations from generic data: the theorem predicts that uniform-in-viscosity boundedness can only hold with the specific viscosity exponent of (10), so any observed bound with a different exponent would contradict Corollary 4.3.
  • Inference: the by-product on residual uniqueness and energy equality suggests that known non-uniqueness constructions for forced or very weak solutions are compatible with a residual set of good behavior in the unforced Leray-Hopf class, provided global regularity holds.
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.

Referee Report

3 major / 4 minor

Summary. The paper studies generic integrability properties of weak and Leray--Hopf solutions of the 3D Navier--Stokes equations. Theorem 1.2 relates, for suitable $s$-homogeneous spaces $X$ and $2$-homogeneous spaces $Z$, the existence of weak solutions in $L^r(0,\infty;X)$ for a non-meagre set of data to uniform a priori estimates, via a Baire-category argument based on a translation lemma and weak-star compactness. Corollary 4.3 then claims that, for $5/(3r)+2/s<1$, generic data admit no weak solution in $\cup_{T>0}L^r(0,T;L^s)$, in particular ruling out $L^4(0,T;L^4)$ integrability for generic $L^2_\sigma$ data. Further results give a Besov-space corollary, time-weighted LPS equivalences, and conditional statements on generic uniqueness and energy equality under global regularity assumptions.

Significance. If the central claims are correct, the paper resolves, in the Baire-generic sense, the previously open question whether Leray--Hopf solutions belong to $\cup_{T>0}L^4(0,T;L^4)$, and it provides a clean scaling-based equivalence between existence of solutions in a given space and a priori bounds. The use of the nonlinear open-mapping/translation lemma from [40] is interesting and is developed in a self-contained way in Lemma 4.1; the Fatou lemma for Bochner--Besov spaces in Lemma 2.3 is also a useful explicit tool. However, the advertised headline result is contained in Corollary 4.3, which is stated without proof, and several load-bearing proof steps have gaps that need to be addressed before the main conclusions can be considered established.

major comments (3)
  1. [§4.3, Corollary 4.3] Corollary 4.3, which is the basis for the advertised generic failure of $\cup_{T>0}L^4(0,T;L^4)$, is stated without proof. It is not a direct consequence of Theorem 1.2: Theorem 1.2 concerns global membership in $L^r(0,\infty;X)$, whereas the corollary concerns the union over $T>0$ of $L^r(0,T;L^s)$. Passing from a non-meagre set of data admitting local solutions to the Baire ball $B(0,\varepsilon)$ and then to the first alternative of the corollary requires a separate scaling/restart argument, together with a check of the sign of $5/(3r)+2/s-1$; none of these steps appears in the text. Until this proof is supplied, the central claim about $L^4(0,T;L^4)$ is not established by the written argument.
  2. [§4.1, proof of (i)⇒(ii)] The viscosity rescaling is written with the wrong parameter. For a solution $u$ of the $\tilde\nu$-equation, $u_\lambda(x,t)=u(x/\lambda,t/\lambda)$ solves the $\nu$-equation only when $\lambda=\tilde\nu/\nu$, not when $\lambda=\nu/\tilde\nu$ as stated; with $\lambda=\nu/\tilde\nu$ it solves an equation with viscosity $\tilde\nu^2/\nu$ rather than $\nu$. Moreover, even for the correct choice of $\lambda$, the displayed identity $\|u_\lambda\|_{L^\infty(0,\infty;L^2)}+\sqrt{\nu}\|\nabla u_\lambda\|_{L^2(0,\infty;L^2)}=\lambda^{3/2}(\|u\|_{L^\infty(0,\infty;L^2)}+\sqrt{\tilde\nu}\|\nabla u\|_{L^2(0,\infty;L^2)})$ is not correct: the $L^2$ spatial norm scales as $\lambda^{3/2}$, while the $\sqrt{\nu}\|\nabla u_\lambda\|$ term scales with a different factor. Since this step is used to derive (9)--(10), the proof of the equivalence (i)$\Leftrightarrow$(ii) needs correction.
  3. [§4.2, proof of Corollary 1.3] The proof asserts that the sets $Y_M:=\{u_0\in L^2_\sigma\cap Z: \exists u\in N_\nu(u_0),\ \|u\|_{L^r(0,\infty;\dot B^{\beta_r}_{r,\infty})}\le M\}$ are closed, and then applies Lemma 4.1 to transfer a ball to the origin. But $N_\nu$ denotes the Leray--Hopf class, and Proposition 2.17 together with Remark 2.18 explicitly notes that this class is not known to be weakly-star sequentially closed; Proposition 2.17 only gives closure under strong convergence for Leray--Hopf solutions. Lemma 4.1 requires closure under the weak topology, because translations converge weakly and not strongly. Therefore the centering argument in Corollary 1.3 is unjustified as written.
minor comments (4)
  1. [§3, Remark 3.3] Remark 3.3 asserts a stronger generic nonexistence result for very weak solutions but states that the details are omitted; since this is an unproved claim, it should either be proved or explicitly marked as conditional and not part of the main results.
  2. [Definition 1.1] In the definition of $p$-homogeneous spaces, the notation $\approx_Z$ is used without explanation; the subscript $Z$ also collides with the later use of $Z$ as the space of initial data. Please clarify the intended meaning of the equivalence constant.
  3. [Lemma 2.3, proof] In the displayed inequalities of the proof of Lemma 2.3, the upper limit $T$ appears without prior definition; the statement concerns the interval $(0,\infty)$, so the limit should be $\infty$.
  4. [References] References [43] and [44] appear to be the same paper listed twice with identical title, journal, and page numbers; please merge or correct the entries.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Baire-category equivalence is proved from scaling and weak compactness, and the only self-citation is restated and proved in the text.

full rationale

The paper contains no step in which a claimed prediction reduces by construction to its input. Theorem 1.2's equivalence (i)⇔(ii) is derived: from a non-meagre existence set the author builds closed sets Y_M, applies the elementary Lemma 4.1 (stated and proved in Section 4.1, despite being attributed to [40]) to move a ball to the origin, and then obtains the a priori estimate (10) by explicit Navier-Stokes scaling. The estimate is therefore a consequence of the Baire hypothesis, not a fitted input. The same holds for Theorem 1.4 and Corollary 1.3, whose proofs use external results (Galdi, Tao, classical weak-strong uniqueness) and the proved Lemma 4.1. The self-citation [40] is not load-bearing: Lemma 4.1 is proved in the paper and the Euler result in §3 is stated as self-contained. The only notable gap is Corollary 4.3, which is asserted without proof after Proposition 4.2; the text says 'with a bit of work (see Corollary 4.3)' but does not exhibit the scaling/restart reduction from the global Theorem 1.2. This is an omitted proof, not a circular reduction, and it does not affect the circularity verdict.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted. The paper's central equivalence is between a qualitative existence statement and a quantitative a priori estimate, not a derivation of a constant from data. The author's prior work [40] supplies the functional-analytic template, but the key Lemma 4.1 is reproduced and proved here, and the target results are not assumed. The listed axioms are standard PDE background facts invoked from the literature.

assumptions (6)
  • standard math Baire category theorem is valid in the complete metric spaces L^2_sigma ∩ Z used throughout.
    Used in Section 4 to convert a non-meagre set of data into a closed ball containing a solution set.
  • domain assumption Leray-Hopf solutions with the strong energy inequality exist for every L^2 initial datum.
    Theorem 2.7 is imported from classical theory and is used to select solutions in the corollaries and Section 7.
  • domain assumption Weak solutions are weakly-star sequentially compact, with the limit solving the equations.
    Proposition 2.17 is the key closure property for the Baire argument; Remark 2.18 notes the analogous statement is not known for the Leray-Hopf class.
  • domain assumption Local H^1 well-posedness and Tao's a priori estimate for H^1 mild solutions.
    Theorems 2.13 and 2.14 are used in the proof of Theorem 1.4 to derive the uniform tail control estimates.
  • domain assumption Compact embedding of B^{β_p}_{p,∞}(K) into L^q(K) for q < 6p/(3p−5).
    Corollary 2.2 is used in Corollary 1.3 to pass from approximate solutions to a weak Euler solution via Aubin-Lions.
  • domain assumption Energy conservation and integrability properties of L^3(0,T;B^{1/3}_{3,∞}) weak solutions.
    Imported from Cheskidov-Constantin-Friedlander-Shvydkoy and used in the derivation of Corollary 1.3 and in the energy equality discussion.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the integrability properties of Leray-Hopf solutions of the Navier-Stokes equations on $\mathbb{R}^3$." pith.science (2026). https://pith.science/paper/6WHJTAW4

@misc{pith2026241213066,
  author       = {Pith},
  title        = {Pith review of: On the integrability properties of Leray-Hopf solutions of the Navier-Stokes equations on $\mathbbR^3$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6WHJTAW4}},
  note         = {Machine review of arXiv:2412.13066}
}
abstract

Let $r,s \in [2,\infty]$ and consider the Navier-Stokes equations on $\mathbb{R}^3$. We study the following two questions for suitable $s$-homogeneous Banach spaces $X \subset \mathcal{S}'$: does every $u_0 \in L^2_\sigma$ have a weak solution that belongs to $L^r(0,\infty;X)$, and are the $L^r(0,\infty;X)$ norms of the solutions bounded uniformly in viscosity? We show that if $\frac{2}{r} + \frac{3}{s} < \frac{3}{2}-\frac{1}{2r}$, then for a Baire generic datum $u_0 \in L^2_\sigma$, no weak solution $u^\nu$ belongs to $L^r(0,\infty;X)$. If $\frac{3}{2}-\frac{1}{2r} \leq \frac{2}{r} + \frac{3}{s} < \frac{3}{2}$ instead, global solvability in $L^r(0,\infty;X)$ is equivalent to the a priori estimate $\|u^\nu\|_{L^r(0,\infty;X)} \leq C \nu^{3-5/r-6/s} \|u_0\|_{L^2}^{4/r+6/s-2}$. Furthermore, we can only have $\limsup_{\nu \to 0} \|u^\nu\|_{L^r(0,\infty;Z)} < \infty$ for all $u_0 \in L^2_\sigma$ if $\frac{2}{r} + \frac{3}{s}= \frac{3}{2}-\frac{1}{2r}$. The above results and their variants rule out, for a Baire generic $L^2_\sigma$ datum, $L^4(0,T;L^4)$ integrability and various other known sufficient conditions for the energy equality. As another application, for suitable 2-homogeneous Banach spaces $Z \hookrightarrow L^2_\sigma$, each $u_0 \in Z$ has a Leray-Hopf solution $u \in L^3(0,\infty;\dot{B}_{3,\infty}^{1/3})$ if and only if a uniform-in-viscosity bound $\|u\|_{L^3(0,\infty;\dot{B}_{3,\infty}^{1/3})} \leq C \|u_0\|_Z^{2/3}$ holds. As a by-product we show that if global regularity holds for the Navier-Stokes equations, then for a Baire generic $L^2_\sigma$ datum, the Leray-Hopf solution is unique and satisfies the energy equality. We also show that if global regularity holds in the Euler equations, then anomalous energy dissipation must fail for a Baire generic $L^2_\sigma$ datum. These two results also hold on the torus $\mathbb{T}^3$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Remarks on smoothness and finite-time blowup solutions of the incompressible Navier-Stokes equation

    math.AP 2025-07 reject novelty 3.0 of 10

    The paper asserts finite-time blowup times for smooth 3D Navier-Stokes solutions, but the arguments only bound how long certain a priori estimates remain valid.

Reference graph

Works this paper leans on

61 extracted references · 53 canonical work pages · cited by 1 Pith paper

  1. [40]

    Guerra, L

    A. Guerra, L. Koch, and S. Lindberg, Nonlinear open mapping principles, with applications to the Jacobian equation and other scale-invariant PDEs , Adv. Math. 415 (2023), Paper No. 108869, 39

  2. [1]

    Albritton and T

    D. Albritton and T. Barker, Global weak Besov solutions of the Navier-Stokes equations and applications, Arch. Ration. Mech. Anal. 232 (2019), no. 1, 197–263

  3. [2]

    Albritton, E

    D. Albritton, E. Bru´ e, and M. Colombo, Non-uniqueness of Leray solutions of the forced Navier-Stokes equations , Ann. of Math. (2) 196 (2022), no. 1, 415–455

  4. [3]

    Armstrong and V

    S. Armstrong and V. Vicol, Anomalous diffusion by fractal homogenization , arXiv:2305.05048 (2023)

  5. [4]

    Bahouri, J.-Y

    H. Bahouri, J.-Y. Chemin, and R. Danchin, Fourier analysis and nonlinear partial differen- tial equations , Grundlehren der mathematischen Wissenschaften [Fundame ntal Principles of Mathematical Sciences], vol. 343, Springer, Heidelberg, 2 011

  6. [5]

    Barker, G

    T. Barker, G. Seregin, and V. ˇSver´ ak,On stability of weak Navier-Stokes solutions with large L3, ∞ initial data , Comm. Partial Differential Equations 43 (2018), no. 4, 628–651

  7. [6]

    L. C. Berselli and E. Chiodaroli, On the energy equality for the 3D Navier-Stokes equations , Nonlinear Anal. 192 (2020), 111704, 24

  8. [7]

    Braz e Silva, J

    P. Braz e Silva, J. P. Zingano, and P. R. Zingano, A note on the regularity time of Leray solutions to the Navier-Stokes equations , J. Math. Fluid Mech. 21 (2019), no. 1, Paper No. 8, 7

Show all 61 references
  1. [8]

    Bru´ e, M

    E. Bru´ e, M. Colombo, G. Crippa, C. De Lellis, and M. Sorel la, Onsager critical solutions of the forced Navier-Stokes equations , Commun. Pure Appl. Anal. 23 (2024), no. 10, 1350–1366

  2. [9]

    Bru` e and C

    E. Bru` e and C. De Lellis, Anomalous dissipation for the forced 3D Navier-Stokes equa tions, Comm. Math. Phys. 400 (2023), no. 3, 1507–1533

  3. [10]

    Buckmaster, C

    T. Buckmaster, C. de Lellis, L. Sz´ ekelyhidi, Jr., and V . Vicol, Onsager’s conjecture for admissible weak solutions , Comm. Pure Appl. Math. 72 (2019), no. 2, 229–274

  4. [11]

    Buckmaster and V

    T. Buckmaster and V. Vicol, Convex integration and phenomenologies in turbulence , EMS Surv. Math. Sci. 6 (2019), no. 1-2, 173–263

  5. [12]

    , Nonuniqueness of weak solutions to the Navier-Stokes equat ion, Ann. of Math. (2) 189 (2019), no. 1, 101–144

  6. [13]

    , Convex integration constructions in hydrodynamics , Bull. Amer. Math. Soc. (N.S.) 58 (2021), no. 1, 1–44

  7. [14]

    Burczak, L

    J. Burczak, L. Sz´ ekelyhidi, Jr., and B. W u, Anomalous dissipation and euler flows , arXiv:2310.02934 (2023)

  8. [15]

    Cheskidov, P

    A. Cheskidov, P. Constantin, S. Friedlander, and R. Shv ydkoy, Energy conservation and Onsager’s conjecture for the Euler equations , Nonlinearity 21 (2008), no. 6, 1233–1252

  9. [16]

    Cheskidov and X

    A. Cheskidov and X. Luo, Energy equality for the Navier-Stokes equations in weak-in -time Onsager spaces, Nonlinearity 33 (2020), no. 4, 1388–1403

  10. [17]

    , Sharp nonuniqueness for the Navier-Stokes equations , Invent. Math. 229 (2022), no. 3, 987–1054

  11. [18]

    Cheskidov and R

    A. Cheskidov and R. Shvydkoy, Ill-posedness of the basic equations of fluid dynamics in Besov spaces, Proc. Amer. Math. Soc. 138 (2010), no. 3, 1059–1067

  12. [19]

    Constantin, W

    P. Constantin, W. E, and E. S. Titi, Onsager’s conjecture on the energy conservation for solutions of Euler’s equation , Comm. Math. Phys. 165 (1994), no. 1, 207–209

  13. [20]

    Danchin and P

    R. Danchin and P. B. Mucha, Critical functional framework and maximal regularity in ac tion on systems of incompressible flows , M´ em. Soc. Math. Fr. (N.S.) (2015), no. 143, vi+151

  14. [21]

    De Lellis and L

    C. De Lellis and L. Sz´ ekelyhidi, Jr., The Euler equations as a differential inclusion , Ann. of Math. (2) 170 (2009), no. 3, 1417–1436

  15. [22]

    , On admissibility criteria for weak solutions of the Euler eq uations, Arch. Ration. Mech. Anal. 195 (2010), no. 1, 225–260

  16. [23]

    , Dissipative continuous Euler flows , Invent. Math. 193 (2013), no. 2, 377–407

  17. [24]

    , On turbulence and geometry: from Nash to Onsager , Notices Amer. Math. Soc. 66 (2019), no. 5, 677–685

  18. [25]

    , Weak stability and closure in turbulence , Philos. Trans. Roy. Soc. A 380 (2022), no. 2218, Paper No. 20210091, 16

  19. [26]

    T. D. Drivas, T. M. Elgindi, G. Iyer, and I.-J. Jeong, Anomalous dissipation in passive scalar transport, Arch. Ration. Mech. Anal. 243 (2022), no. 3, 1151–1180. 24 SAULI LINDBERG

  20. [27]

    T. D. Drivas and G. L. Eyink, An Onsager singularity theorem for Leray solutions of incom - pressible Navier-Stokes , Nonlinearity 32 (2019), no. 11, 4465–4482

  21. [28]

    T. M. Elgindi and K. Liss, Norm Growth, Non-uniqueness, and Anomalous Dissipation in Passive Scalars , Arch. Ration. Mech. Anal. 248 (2024), no. 6, Paper No. 120

  22. [29]

    Eyink, Onsager’s ‘ideal turbulence’ theory, J

    G. Eyink, Onsager’s ‘ideal turbulence’ theory, J. Fluid Mech. 988 (2024), Paper No. P1, 74

  23. [30]

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

  24. [31]

    Farwig, Y

    R. Farwig, Y. Giga, and P.-Y. Hsu, Initial values for the Navier-Stokes equations in spaces with weights in time , Funkcial. Ekvac. 59 (2016), no. 2, 199–216

  25. [32]

    Farwig and H

    R. Farwig and H. Sohr, Optimal initial value conditions for the existence of local strong solutions of the Navier-Stokes equations , Math. Ann. 345 (2009), no. 3, 631–642

  26. [33]

    Farwig, H

    R. Farwig, H. Sohr, and W. Varnhorn, On optimal initial value conditions for local strong solutions of the Navier-Stokes equations , Ann. Univ. Ferrara Sez. VII Sci. Mat. 55 (2009), no. 1, 89–110

  27. [34]

    C. L. Fefferman, Existence and smoothness of the Navier-Stokes equation , The millennium prize problems, Clay Math. Inst., Cambridge, MA, 2006, pp. 5 7–67

  28. [35]

    Frisch, Turbulence, Cambridge University Press, Cambridge, 1995, The legacy o f A

    U. Frisch, Turbulence, Cambridge University Press, Cambridge, 1995, The legacy o f A. N. Kolmogorov

  29. [36]

    G. P. Galdi, An introduction to the Navier-Stokes initial-boundary val ue problem, Fundamen- tal directions in mathematical fluid mechanics, Adv. Math. F luid Mech., Birkh¨ auser, Basel, 2000, pp. 1–70. [37] , On the relation between very weak and Leray-Hopf solutions t o Navie...

  30. [38]

    Gallagher, Profile decomposition for solutions of the Navier-Stokes eq uations, Bull

    I. Gallagher, Profile decomposition for solutions of the Navier-Stokes eq uations, Bull. Soc. Math. France 129 (2001), no. 2, 285–316

  31. [39]

    V. Giri, H. Kwon, and M. Novack, The L3-based strong onsager theorem, arXiv:2305.18509v2

  32. [41]

    Hopf, ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Gru ndgleichungen, Math

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

  33. [42]

    Isett, A proof of Onsager’s conjecture , Ann

    P. Isett, A proof of Onsager’s conjecture , Ann. of Math. (2) 188 (2018), no. 3, 871–963

  34. [43]

    Iskauriaza, G

    L. Iskauriaza, G. A. Ser¨ egin, and V. Shverak, L3, ∞-solutions of Navier-Stokes equations and backward uniqueness, Uspekhi Mat. Nauk 58 (2003), no. 2(350), 3–44

  35. [44]

    Nauk 58 (2003), no

    , L3, ∞-solutions of Navier-Stokes equations and backward unique ness, Uspekhi Mat. Nauk 58 (2003), no. 2(350), 3–44

  36. [45]

    Jia and V

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

  37. [46]

    P. G. Lemari´ e-Rieusset, A remark on weak-strong uniqueness for suitable weak soluti ons of the Navier-Stokes equations , Rev. Mat. Iberoam. 38 (2022), no. 7, 2217–2248

  38. [47]

    Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace , Acta Math

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

  39. [48]

    T. M. Leslie and R. Shvydkoy, Conditions implying energy equality for weak solutions of t he Navier-Stokes equations , SIAM J. Math. Anal. 50 (2018), no. 1, 870–890

  40. [49]

    J. L. Lions, Sur la r´ egularit´ e et l’unicit´ e des solutions turbulentes des ´ equations de Navier Stokes, Rend. Sem. Mat. Univ. Padova 30 (1960), 16–23

  41. [50]

    Masmoudi, Remarks about the inviscid limit of the Navier-Stokes syste m, Comm

    N. Masmoudi, Remarks about the inviscid limit of the Navier-Stokes syste m, Comm. Math. Phys. 270 (2007), no. 3, 777–788

  42. [51]

    Novack and V

    M. Novack and V. Vicol, An intermittent Onsager theorem , Invent. Math. 233 (2023), no. 1, 223–323

  43. [52]

    J. C. Robinson, J. L. Rodrigo, and W. Sadowski, The three-dimensional Navier-Stokes equa- tions, Cambridge Studies in Advanced Mathematics, vol. 157, Camb ridge University Press, Cambridge, 2016, Classical theory

  44. [53]

    Rusin and V

    W. Rusin and V. ˇSver´ ak,Minimal initial data for potential Navier-Stokes singular ities, J. Funct. Anal. 260 (2011), no. 3, 879–891

  45. [54]

    Schindler and K

    I. Schindler and K. Tintarev, An abstract version of the concentration compactness princ iple, Rev. Mat. Complut. 15 (2002), no. 2, 417–436. INTEGRABILITY PROPERTIES OF LERAY-HOPF SOLUTIONS 25

  46. [55]

    Seregin, Leray-Hopf solutions to Navier-Stokes equations with weak ly converging initial data, Mathematical aspects of fluid mechanics, London Math

    G. Seregin, Leray-Hopf solutions to Navier-Stokes equations with weak ly converging initial data, Mathematical aspects of fluid mechanics, London Math. Soc. Lecture Note Ser., vol. 402, Cambridge Univ. Press, Cambridge, 2012, pp. 251–258

  47. [56]

    Seregin and V

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

  48. [57]

    Shinbrot, The energy equation for the Navier-Stokes system , SIAM J

    M. Shinbrot, The energy equation for the Navier-Stokes system , SIAM J. Math. Anal. 5 (1974), 948–954

  49. [58]

    Shvydkoy, Lectures on the Onsager conjecture, Discrete Contin

    R. Shvydkoy, Lectures on the Onsager conjecture, Discrete Contin. Dyn. Syst. Ser. S 3 (2010), no. 3, 473–496

  50. [59]

    Tao, A quantitative formulation of the global regularity proble m for the periodic Navier- Stokes equation , Dyn

    T. Tao, A quantitative formulation of the global regularity proble m for the periodic Navier- Stokes equation , Dyn. Partial Differ. Equ. 4 (2007), no. 4, 293–302

  51. [60]

    , Structure and randomness , American Mathematical Society, Providence, RI, 2008, Pages from year one of a mathematical blog

  52. [61]

    PDE 6 (2013), no

    , Localisation and compactness properties of the Navier-Sto kes global regularity prob- lem, Anal. PDE 6 (2013), no. 1, 25–107

  53. [62]

    Wiedemann, Existence of weak solutions for the incompressible Euler eq uations, Ann

    E. Wiedemann, Existence of weak solutions for the incompressible Euler eq uations, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire28 (2011), no. 5, 727–730. Department of Mathematics and Statistics, University of Helsinki, P.O. Box 68, 00014 Helsingin yliopisto, Finland Email ...

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.