Pith. sign in

REVIEW 3 major objections 3 minor 42 references

An $L^p$-theory for global weak solutions to the Navier-Stokes equations in exterior domains

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

Pith's one-line read For any L^p initial datum, 2<p<3, the Navier–Stokes equations in an exterior domain admit a global weak solution that is regular a.e. in time and from some explicit time onward.

desk verdict The existence result for L^p data in exterior domains is a real and likely correct contribution, but Theorem 1's claim of L^3-based eventual regularity is not supported by the proof—only L^2-based regularity for w is established. read the letter →

arxiv 2607.21282 v1 pith:RMUFHA5F submitted 2026-07-23 math.AP

classification math.AP MSC 35Q3035B6535D3076D05
keywords Navier-StokesequationsexteriordomainsL^pinitialdataglobalweaksolutionspartialregularitystructuretheoremStokessemigroupestimatesdatumdecomposition
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 proves that for the Navier–Stokes equations in an exterior domain (also covering the whole space and the half-space) every initial datum in the Lebesgue space L^p with 2

What carries the argument

The argument is carried by three mechanisms. First, a decomposition lemma (Lemma 1) writes any f∈L^p as f1+f2 with f1 in a higher Lebesgue space and f2 in a lower one, with norms controlled by a parameter ρ; applied with exponents 3 and 2, it makes the L^3-projected part of the initial datum arbitrarily small while keeping the L^2 remainder finite. Second, the imported small-L^3 global regularity theory for the background problem, based on sharp L^q–L^r decay estimates for the Stokes semigroup in exterior domains, supplies a globally regular solution v with explicit time decay. Third, the perturbed problem for w is solved by a standard finite-dimensional approximation scheme, and its partial

What would settle it

Check whether the sharp gradient decay bound for the Stokes semigroup in exterior domains stated in Lemma 5 holds for all exterior domains with C^2 boundary: exhibit one datum V0∈J^q with q>3 and one time t≥1 such that ‖∇e^{tA}V0‖_r decays strictly slower than C t^{-1/2−(3/2)(1/q−1/r)}; then the integrability of ∇v used in the proof of the perturbed problem fails, and the global existence construction collapses.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for p∈(2,3) and u0∈L^p(Ω), where Ω is an exterior domain, the whole space, or a half-space, there exists a weak solution u to the Navier–Stokes initial-boundary value problem, and this solution satisfies a structure theorem of the classical kind. Specifically, there are a time θ≥0 and a sequence of open intervals (θ_l,T_l) such that the complement of their union together with [θ,∞) in (0,∞) has zero Lebesgue measure, and u is regular on [θ,∞) and on every (θ_l,T_l). The proof splits the datum u0=v0+w0 with v0 small in L^3 and w0 in L^2, solves a globally regular problem for v, and solves for w a perturbed Navier–Stokes problem with extra linear terms. The key

Load-bearing premise

The construction rests on imported sharp L^q–L^r decay estimates for the Stokes semigroup in exterior domains and the small-L^3 global regularity theory built on them; if those decay estimates fail, the background solution v lacks the integrability needed and the perturbed problem's energy inequality collapses.

Editorial extensions

If this is right

  • Every L^p datum with 2<p<3, in an exterior domain, the whole space, or a half-space, produces at least one global weak solution, with no smallness or finite-energy condition.
  • The solution is smooth after the explicit time θ ≤ η^{-2}(1−c̃‖P3v0‖_3)^{-1}‖P2w0‖_2^4, and the singular times before θ form a set of measure zero.
  • For t>θ, the solution obeys the decay estimates of Corollary 1: ‖u(t)‖_q ≤ C t^{-(3/2)(1/p−1/q)} for all q∈[p,∞], with gradient decay for q∈[p,3] in exterior domains and for all q∈[p,∞] in the Cauchy and half-space cases.
  • The construction gives a counterpart for supercritical L^p data of the classical L^2 structure theorem: the solution is regular a.e. in time and eventually regular.
  • The approximating sequence for the perturbed component is uniquely determined, a feature not available in earlier constructions for L^3 or L^{3,∞} data.

Reading between the lines

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

  • The explicit bound on θ involves a trade-off: making the L^3 part of the datum small forces the L^2 remainder (and hence ‖P2w0‖_2) to be large, delaying the guaranteed regularization time. An optimized choice of the splitting parameter ρ would presumably give a bound on θ depending only on ‖u0‖_p.
  • The same decomposition and perturbed-problem strategy should extend to data in L^q with q>3, pairing a local strong solution for the L^q part with the same L^2 perturbed problem, provided the nonlinear term w·∇w can still be absorbed by the energy inequality; the obstruction is again the positivity condition on the background solution.
  • The structure-theorem proof only needs integrability of a(t)=‖v(t)‖_∞^2+‖∇v(t)‖_3^2, so the argument would transfer to other settings (e.g., small data in Besov or Lorentz spaces) where such a background solution with integrable a(t) exists.
  • Because the weak formulation accepts data that are not even weakly divergence-free, the theorem could be useful for coupled fluid–structure or interface problems where only a weak trace of the initial velocity is available.
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 / 3 minor

Summary. The paper constructs a global weak solution to the 3D Navier-Stokes initial boundary value problem in exterior domains (and in the whole space/half-space) for initial data in L^p, p∈(2,3). The construction follows Calderón's decomposition: u0=v0+w0 with v0 a small L^3 part and w0 an L^2 part. The field v is taken to be the small global L^3 regular solution of the Navier-Stokes problem, while w solves a perturbed Navier-Stokes problem with L^2 initial data. Existence of w is obtained by the Faedo-Galerkin method with energy estimates, and a structure theorem is claimed for w: after an explicit time θ and on a countable union of intervals whose complement has zero measure, w is regular in an L^2-based sense. The main theorem asserts that the full solution u=v+w is regular in the stronger L^3-based sense of Definition 2 on [θ,∞) and a.e. in time, and a decay corollary follows.

Significance. If the main theorem were established, the paper would give a genuinely new L^p-theory for global weak solutions in exterior domains, including eventual regularity from an explicit time. The decomposition strategy is natural and the energy estimates for the perturbed problem are mostly coherent. The authors are also careful to record imported semigroup results and to separate the small-L^3 theory from the L^2 perturbative part. However, the headline regularity claim is currently not supported by the proof: the regularity proved for w is only L^2-based, and the step from that to the L^3-based regularity of u=v+w is missing. Since this is the advertised conclusion, the paper requires substantial revision.

major comments (3)
  1. [§5, Step 2; Theorem 6, Eq. (41); Definition 2] Theorem 6 establishes for w only L^2-based regularity: w∈C(θ_l,T_l;J^{1,2})∩L^2(θ_l,T_l;W^{2,2}), w_t∈L^2(θ_l,T_l;L^2), and analogously on [θ,∞). Definition 2 requires for u: u∈C([0,T);J^3), u∈L^∞(η,T;J^{1,3}∩W^{2,3}), u_t∈L^∞(η,T;L^3), and ∇π_u∈L^∞(η,T;L^3). The proof simply says that since v has these properties and w has (41), the sum u=v+w inherits them. This is not established. The L^2-in-time bounds on D^2w and w_t do not give L^∞-in-time L^3 bounds; w is not shown to belong to J^{1,3}∩W^{2,3}, and w(θ) is not shown to lie in J^3 as required at the left endpoint of [θ,∞).
  2. [Theorem 6, proof of (43)] The contradiction chain used to prove the existence of t_n has a squaring error. The display begins with ||P2w0||_2 but the final inequality only yields ||P2w0||_2 < ||P2w0||_2^2, which is not a contradiction when ||P2w0||_2≤1. Replacing the left-hand side by ||P2w0||_2^2 makes the algebra correct and gives a contradiction by the energy estimate (42). This is likely a typo, but it is load-bearing for the explicit θ and for the eventual regularity argument.
  3. [Corollary 1] The decay estimates in Corollary 1 are deduced from the L^3-regularity of u on [θ,∞). Since that L^3-regularity is not established (see first major comment), the corollary — in particular the exterior-domain gradient decay for q≤3 — is also unsupported. The argument would need to be revisited once the regularity gap is resolved.
minor comments (3)
  1. [Throughout] There are several typographical slips: 'Thereom 4' in the paragraph before Corollary 1; 'Going back to (57)' in the proof of Theorem 2 should refer to (18); the notation ΩR is ambiguous when defined as Ω\B_R. These are minor and can be fixed in a revision.
  2. [§4.3] In the proof of Theorem 6, the weak limit of the approximating sequence is denoted by the same symbol w as the weak solution constructed earlier. This makes the sentence 'we get w≡w' confusing; please use different notations for the limit and the solution.
  3. [Definition 3(c)] The energy inequality is stated as 'for all t≥s for s=0 and for a.a. s≥0'. This wording is awkward; please state separately the cases s=0 and s>0.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the construction is a genuine two-step decomposition relying on external prior theory, with no fitted input presented as a prediction.

full rationale

The central construction u = v + w is not defined in terms of the desired regularity conclusion. Lemma 1 splits u0 into a small L^3 part and an L^2 part; v is obtained from the external small-L^3 Navier-Stokes theory (Kato [20], Iwashita [19], Maremonti [29]) together with imported Stokes semigroup estimates (Lemma 5, [27,38]); w is obtained as a Leray-Hopf solution of the genuinely perturbed problem (4). There is no parameter fitted to a data subset and then renamed as a prediction: the threshold ||P3v0||_3 < ξ0 and the time θ are derived from the energy inequality and smallness assumption, not chosen to match a regularity output. The partial-regularity argument for w is supplied in the text (Lemmas 15-16 and Theorem 6) starting from the a priori estimate (35); the citation to [33] at the beginning of Section 4.3 is an acknowledgment of proof ideas rather than a load-bearing citation, since the estimates used are proved here. The known possible gap raised by a skeptical reader — Theorem 6 gives L^2-based regularity for w while Definition 2 requires L^3-based regularity for u=v+w — is a potential correctness gap in the inference 'we easily conclude', not circular reasoning, because the L^3 regularity claim is not obtained by defining L^3 regularity to be the L^2 conclusion. The imported results are prior theorems with stated assumptions that do not include Theorem 1, so they count as independent support rather than circular inputs. Score 0.

Assumptions & free parameters 2 free parameters · 5 assumptions · 0 invented entities

No new particles, forces, dimensions, or conserved quantities are introduced. The only new object is the decomposition v0+w0 of the initial datum and the associated perturbed problem for w, which are mathematical constructions, not postulated entities.

free parameters (2)
  • η = arbitrary, η∈(0,(1-ec||P3v0||_3)^{-1/2}||P2w0||_2^2)
    Auxiliary parameter in Theorems 3 and 6; the explicit regularity onset θ = η^{-2}(1-ec||P3v0||_3)^{-1}||P2w0||_2^4 depends on η. Any allowed value works, so it is not fitted to data.
  • ρ (truncation threshold in Lemma 1) = ρ = (ξ0/(2 c(3) ||u0||_p^{p/3}))^{3/(3-p)}
    Chosen by hand in proof of Theorem 1 to force ||P3v0||_3 < ξ0. This is a deterministic auxiliary choice, not an empirical fit.
assumptions (5)
  • domain assumption Global small-L3 regular solution theory for the Navier-Stokes problem (3) in exterior domains (Kato [20], Iwashita [19], Maremonti [29]), including decay estimates (13)-(15).
    The whole construction rests on the existence and decay of v; the paper proves only subsidiary properties in the appendix, citing the main statement.
  • domain assumption Sharp Lq-Lr estimates for the Stokes semigroup in exterior domains (Lemma 5, estimate (8)), including the restriction μ1=3/(2q) for q>3 at large times.
    Used to prove Lemma 9 properties, Lemma 10 estimates, and the decay of v in exterior domains; imported from [27,38].
  • standard math Maximal Lq regularity for the nonstationary Stokes problem with forcing (Lemma 7, from [38]).
    Used in Lemma 13 to bound the pressure π_1^n via Lemma 10.
  • ad hoc to paper Leray-Hopf existence and partial regularity framework, including the new proof of the Théorème de Structure in the authors' preprint [33].
    Theorem 6's structure theorem for w follows ideas from [33] (Maremonti-Palma, arXiv:2512.05598), an unpublished companion paper; the relevant proof is not reproduced.
  • standard math Interpolation/Gagliardo-Nirenberg inequalities in exterior domains (Lemma 3, from [8]) and the embedding cW^{1,2}→L^6 (Remark 5).
    Needed for the Ladyzhenskaya-type estimates in Lemma 10, Lemma 11, and the energy inequality.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An $L^p$-theory for global weak solutions to the Navier-Stokes equations in exterior domains." pith.science (2026). https://pith.science/paper/RMUFHA5F

@misc{pith2026260721282,
  author       = {Pith},
  title        = {Pith review of: An $L^p$-theory for global weak solutions to the Navier-Stokes equations in exterior domains},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RMUFHA5F}},
  note         = {Machine review of arXiv:2607.21282}
}
abstract

In this paper, we consider the Navier-Stokes initial boundary value problem in exterior domains with initial data in the Lebesgue space $L^p$, $p\in (2,3)$, and show the existence of a global weak solution. For the quoted solution, we also furnish a structure theorem. In particular, we see that the weak solution becomes regular after a certain instant of time and it is also regular a. e. in time. Although a general $L^p$-theory for local strong/mild solutions is well-established in the literature, a corresponding theory for global weak solutions in exterior domains seems to be new. Of course, our results hold in the particular cases of the Cauchy problem and the initial boundary value problem in a half-space.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references

  1. [1]

    A., Fournier, J.J.F.,Sobolev spaces

    Adams R. A., Fournier, J.J.F.,Sobolev spaces. Second Edition, Pure and Applied Mathematics (Amsterdam) 140, 2003, Elsevier

  2. [2]

    Bradshaw Z., Chernobai M., Tsai T.,Global Navier-Stokes flows in intermediate spaces, J. Diff. Eq.,429, 50-87, (2025)

  3. [3]

    Bradshaw Z., Kucavica I.,Existence of suitable weak solutions to the Navier-Stokes equations for intermittent data, J. Math. Fluid Mech.,22, 3 (2020)

  4. [4]

    Bradshaw Z., Kukavica I.,Global Weak Solutions of the Navier–Stokes Equations for Inter- mittent Initial Data in Half-Space, Arch. Ration. Mech. Anal.,245, 321-371 (2022)

  5. [5]

    Kukavica I., Tsai T.,Existence of Global Weak Solutions to the Navier-Stokes Equations in Weighted Spaces, Indiana Univ

    Bradshaw Z. Kukavica I., Tsai T.,Existence of Global Weak Solutions to the Navier-Stokes Equations in Weighted Spaces, Indiana Univ. Math. J.,71, No. 1, 191-212 (2022)

  6. [6]

    Calder´ on C.,Existence of Weak Solutions for the Navier-Stokes Equations with Initial Data inL p, Trans. Amer. Math. Soc.,318, No. 1, 179-200 (1990)

  7. [7]

    R., Maremonti P.,Some New Properties of a Suitable Weak Solution to the Navier–Stokes Equations, Waves in Flow, Advances in Mathematical Fluid Mechanics (2018)

    Crispo F., Grisanti C. R., Maremonti P.,Some New Properties of a Suitable Weak Solution to the Navier–Stokes Equations, Waves in Flow, Advances in Mathematical Fluid Mechanics (2018)

  8. [8]

    Crispo F., Maremonti P.,An interpolation inequality in exterior domains, Rend. Sem. Mat. Univ. Padova,112, 11-39 (2004)

Show all 42 references
  1. [9]

    P., Pane V.,Weighted Estimates for the Stokes Semigroup in the half-space, J

    Di Feola A. P., Pane V.,Weighted Estimates for the Stokes Semigroup in the half-space, J. Math. Anal. Appl., 2026,558:130390

  2. [10]

    B., Jones B

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

  3. [11]

    B., Lewis J

    Fabes E. B., Lewis J. E., Rivi` ere N. M.,Boundary Value Problems for the Navier-Stokes Equations, Indiana Univ. Math. J.,99, No. 3, 626-668 (1977)

  4. [12]

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

  5. [13]

    P.,An Introduction to the Navier-Stokes Initial-Boundary Value Problem, Adv

    Galdi G. P.,An Introduction to the Navier-Stokes Initial-Boundary Value Problem, Adv. Math. Fluid Mech., Fundamental directions in mathematical fluid mechanics, 1-70

  6. [14]

    P.,An Introduction to the Mathematical Theory of the Navier-Stokes Equations, Vol I, Second edition, Springer Monographs in Mathematics, Springer (2011)

    Galdi G. P.,An Introduction to the Mathematical Theory of the Navier-Stokes Equations, Vol I, Second edition, Springer Monographs in Mathematics, Springer (2011). 35

  7. [15]

    P., Maremonti P.,On the Stability of Steady-State Solutions to the Navier–Stokes Equations in the Whole Space, J

    Galdi G. P., Maremonti P.,On the Stability of Steady-State Solutions to the Navier–Stokes Equations in the Whole Space, J. Math. Fluid Mech.,25:7 (2023)

  8. [16]

    Giga Y.,Solutions for Semilinear Parabolic Equations inL p and Regularity of Weak Solutions of the Navier-Stokes System, J. Diff. Eq.,61, 186-212 (1986)

  9. [17]

    Giga Y., Miyakawa T.,Solutions inL r of the Navier-Stokes Initial Value Problem, Arch. Ration. Mech. Anal.,89, 267-281 (1985)

  10. [18]

    G.,The Navier-Stokes Equations: On the Existence, Regularity and Decay of Solutions, Indiana Univ

    Heywood J. G.,The Navier-Stokes Equations: On the Existence, Regularity and Decay of Solutions, Indiana Univ. Math. J.,29, No. 5, 639-681 (1980)

  11. [19]

    Ann.,285, 265-288 (1989)

    Iwashita H.,L q-Lr estimates for solutions of the nonstationary Stokes equations in exterior domains and the Navier-Stokes initial value problem inL q spaces, Math. Ann.,285, 265-288 (1989)

  12. [20]

    Kato T.,StrongL p Solutions of the Navier-Stokes Equations inR m, with Applications to Weak Solutions, Math Z.,187, 471-480 (1984)

  13. [21]

    Kozono H.,GlobalL n Solution and Its Decay Property for the Navier-Stokes Equations in Half-SpaceR n +, J. Diff. Eq.,79, 79-88 (1989)

  14. [22]

    Kwon H., Tsai T.,Global Navier–Stokes Flows for Non-decaying Initial Data with Slowly Decaying Oscillation, Comm. Math. Phys.,375, 1665-1715 (2020)

  15. [23]

    A.,The mathematical theory of viscous incompressible flow, Gordon and Breach Science Publishers, New York (1963)

    Ladyzhenskaya O. A.,The mathematical theory of viscous incompressible flow, Gordon and Breach Science Publishers, New York (1963)

  16. [24]

    Lemari´ e-Rieusset PG.,Recent developments in the Navier-Stokes problem, Chapman & Hall/CRC (2002)

  17. [25]

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

  18. [26]

    Maremonti P.,Asymptotic stability theorems for viscous fluid motions in exterior domains, Rend. Sem. Mat. Univ. Padova,71, 35-72 (1984)

  19. [27]

    Maremonti P.,A Remark on the Stokes Problem with Initial Data inL 1, J. Math. Fluid Mech.,13, 469-480 (2011)

  20. [28]

    Maremonti P.,On weak D-solutions to the non-stationary Navier–Stokes equations in a three- dimensional exterior domain, Ann. Univ. Ferrara,60, 209-223 (2014)

  21. [29]

    Cont, Dyn

    Maremonti P.,A note on the Navier-Stokes IBVP with small data inL n, Disc. Cont, Dyn. Sys. S,9, No. 1, 255-267 (2016). 36

  22. [30]

    161-194 (2017)

    Maremonti P.,Weak Solutions to the Navier–Stokes Equations with Data inL(3,∞), Math- ematics of Nonlinear Phenomena-Analysis and Computation, pp. 161-194 (2017)

  23. [31]

    Math., Amer

    Maremonti P.,On an interpolation inequality involving the Stokes operator, Mathematical analysis in fluid mechanics selected recent results, Contemp. Math., Amer. Math. Soc., Prov- idence, RI,710, 203-209 (2018)

  24. [32]

    Maremonti P.,On the weak solutions to the Navier-Stokes equations: a possible gap related to the energy equality, Arxiv:2512.04654v1

  25. [33]

    Maremonti P., Palma F.,A new proof of the Th´ eor` eme de Structure related to a weak solution to the Navier-Stokes equations, Arxiv: 2512.05598v1

  26. [34]

    Maremonti P., Palma F.,On the interaction between a rigid-body and a viscous-fluid: existence of a weak solution and a suitable Th´ eor` eme de Structure, Arxiv: 2602.11787

  27. [35]

    Maremonti P., Pane V.,The Navier–Stokes Cauchy Problem in a Class of Weighted Function Spaces, J. Math. Fluid Mech., 2025,27:23

  28. [36]

    Maremonti P., Shimizu S.,Global existence of solutions to 2-D Navier–Stokes flow with non- decaying initial data in half-plane, J. Diff. Eq.,265, 5352-5382 (2018)

  29. [37]

    Maremonti P., Shimizu S.,Global existence of weak solutions to 3D Navier-Stokes IBVP with non-decaying initial data in exterior domains, J. Diff. Eq.,269, 1612-1635 (2020)

  30. [38]

    A.,On nonstationary Stokes problem in exterior domains, Ann

    Maremonti P., Solonnikov V. A.,On nonstationary Stokes problem in exterior domains, Ann. Sc. Norm. Sup. Pisa Cl. Sci.,24, No. 3, 395-449 (1997)

  31. [39]

    Sem, Mat

    Prodi G.,Teoremi di tipo locale per il sistema di Navier-Stokes e stabilit` a delle soluzioni stazionarie, Rend. Sem, Mat. Univ. Padova,32, 374-397 (1962)

  32. [40]

    Anal.,154, 269-296 (2017)

    Seregin G., Sverak V.,On global weak solutions to the Cauchy problem for the Navier–Stokes equations with largeL 3-initial data, Nonlin. Anal.,154, 269-296 (2017)

  33. [41]

    A.,Estimates for solutions of nonstationary Navier-Stokes equations, J

    Solonnikov V. A.,Estimates for solutions of nonstationary Navier-Stokes equations, J. Soviet. Math.,8, 467-528 (1977)

  34. [42]

    Pure and Appl

    Ukai S.,A solution formula for the stokes equations inR n +, Comm. Pure and Appl. Math., 40(5), 611-621 (1987)

Pith tools

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