Pith. sign in

REVIEW 2 major objections 4 minor 29 references

The IBVP for the Navier-Stokes equations in the half-space in a class of weighted Lebesgue spaces

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read The paper establishes local existence, uniqueness, and quantitative decay for half-space Navier-Stokes solutions with divergence-free initial data in a weighted Lebesgue space L^p_w(R^n_+), p>n, and global existence for suitably small data.

desk verdict The paper extends a worthwhile program to the half-space, but a central pointwise estimate is false for general weights with nonzero centers, so the main theorem is not established. read the letter →

arxiv 2608.04621 v1 pith:D7J7MYZ3 submitted 2026-08-05 math.AP

classification math.AP MSC 35Q3076D0376D05
keywords Navier-Stokesequationshalf-spaceinitial-boundaryvalueproblemweightedLebesguespacesStokessemigroupscale-invariantweightsmildsolutionsuniqueness
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 aims to show that the Navier-Stokes initial-boundary value problem in the upper half-space is locally well posed for initial data lying in a weighted Lebesgue space L^p_w(R^n_+), p>n, where the weight is a product of powers of distances to finitely many fixed interior points. The authors construct a smooth solution via integral representation formulas for velocity and pressure, prove quantitative L^q and pointwise decay estimates on a time interval determined by the data, and show the solution converges to the prescribed initial datum at t=0. They also prove uniqueness among solutions in this class, and global existence when the weighted norm is suitably small. If correct, this gives a half-space, boundary-value counterpart of the weighted Cauchy-problem theory and extends the Stokes semigroup analysis to the nonlinear Navier-Stokes system.

What carries the argument

The argument is carried by the half-space Green function G, the pressure kernels Q and K, and the scale-invariant metric (7) that measures weighted |x|^$\alpha$ decay, L^infty decay, L^q decay, and gradient decay. Solutions are built by successive approximation, u_m = G[u0] - S[u_{m-1}·nabla u_{m-1}], and the central estimates Lemmas 11-14 turn the convective term into quadratic expressions in this metric, while weighted Stokes semigroup estimates from the authors' earlier work control the linear term. The fixed point gives the a priori bound (10), and the t tending to 0 limit is obtained through an absolute-continuity argument that yields only a qualitative description of T(u0).

What would settle it

Check the two quoted kernel estimates directly for a weight whose singular point approaches the boundary: if the constant in (38) or (52) fails to stay bounded as the singular point approaches {x_n=0}, or if (52) fails for n=3 when |l'|=1, then the L^q and pointwise Lemmas 11-14 would not close and Theorem 1 would not follow as stated.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for divergence-free u0 in L^p_w(R^n_+), p>n, there exists a time T(u0)>0 and a smooth solution (u,π) of the Navier-Stokes IBVP, expressed by the representation formulas (8)-(9), satisfying the four-term estimate (10) with constants controlled by K(t,rho) and the weighted norm of u0, the limit (11) in the chosen metric, the dual-space convergence (12), and the pressure estimate (13). Theorem 2 asserts uniqueness of this solution in the class detected by Theorem 1. For suitably small weighted norm, the same results hold for all positive times.

Load-bearing premise

The load-bearing premise is that the pointwise kernel estimates (38) and (52), quoted without proof from earlier work, hold for all data and weights used here; if those estimates require extra restrictions on the weight singularities or on initial-data decay, the main theorem would not follow as stated.

Editorial extensions

If this is right

  • Every divergence-free initial datum in the weighted space produces a smooth Navier-Stokes flow on a short time interval, so this weighted Lebesgue space is an admissible initial-data class for the half-space problem.
  • The solution carries explicit spatial decay: for fixed t the estimate t^{n/(2p)}|x|^alpha |u(t,x)| is controlled by data-dependent quantities, so the velocity decays at least like |x|^{-(1-n/p)} away from the singular points.
  • When the weighted norm of the initial datum is suitably small, the same bounds hold for all t>0, giving global existence of smooth solutions in the small-data regime.
  • The pressure gradient belongs to L^r(eta,T;L^q) for r>1, q>n, with a bound quadratic in the same data-dependent quantity, so the pressure term inherits the regularity of the velocity construction.
  • Uniqueness holds within the class, meaning the solution constructed by the iteration is the only solution in that regularity class with the same initial datum.

Reading between the lines

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

  • The same iteration could plausibly be extended to weights whose singular points approach or reach the boundary, but only if the quoted pointwise kernel estimates (38) and (52) remain valid with constants independent of the distance from the singular points to {x_n=0}; checking that is a natural next step.
  • Because the proof does not give a quantitative lower bound for T(u0), a testable project is to track the constants in the algebraic fixed-point lemma and express T in terms of the local weighted mass K(t,rho) or a modulus of continuity of the absolute-continuity argument.
  • The metric-based iteration is not tied to a specific semigroup representation, so the same scheme may adapt to other parabolic initial-boundary value problems with similar boundary kernels, such as MHD or Boussinesq systems in a half-space.
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

2 major / 4 minor

Summary. The paper studies the initial-boundary value problem for the Navier-Stokes equations in the half-space R^n_+ with initial data in a weighted Lebesgue space L^p_w(R^n_+), where the weight is a product of powers of distances from finitely many fixed centers (Eq. (2)). The main results, Theorems 1 and 2, claim local existence for large divergence-free data and global existence for small data, together with L^q estimates, pointwise spatial decay of the form t^{n/(2p)}|x|^\alpha|u(t,x)| bounded by a quantity K(t,\rho), and uniqueness in the same class. The proof is built on a successive-approximation scheme in the metric (7), using the Stokes semigroup estimates developed in the authors' previous works and pointwise kernel estimates quoted from Solonnikov and Crispo-Maremonti.

Significance. If valid, the result would meaningfully extend the authors' earlier Cauchy-problem theory to the half-space for weights with multiple singular centers. The paper is well organized, the nonlinear-term decomposition in Section 4.2 is clearly structured, and the duality-based uniqueness argument follows a plausible known pattern. However, a load-bearing pointwise estimate is false for the general weight (2), and the advertised quantitative decay estimate is therefore not established. The claimed generalization to weights with arbitrary centers cannot be accepted on the present proof.

major comments (2)
  1. [Section 3, Lemma 4, Eq. (33)] The pointwise estimate (33) is false as stated for weights with centers away from the origin. Take n=3, p=6 (so alpha=1/2), w(y)=|y-\bar e_1|^{1/2}, and g(y)=|y-\bar e_1|^{-0.9} on B(\bar e_1,1), extended by zero. Then g belongs to L^p_w(R^3), and for fixed rho the right-hand side K_g(t,rho) of (5) is bounded uniformly in t. However, (H*g)(t,\bar e_1) is comparable to t^{-0.45} as t tends to 0, so t^{n/(2p)}|\bar e_1|^\alpha (H*g)(t,\bar e_1) behaves like t^{-0.2} and diverges, contradicting (33). The omitted proof in [20] is for the radial weight |y|^\alpha, for which the singular center coincides with the origin; for the general weight (2) there is no relation between |x| and w(x), so local singularities at nonzero centers are not controlled by the right-hand side of (33).
  2. [Section 4.1, Lemma 9, Eq. (69)] Lemma 9 inherits the same defect. The proof of (69) invokes the false estimate (33) for the odd heat-extension term, and the displayed argument does not perform a cancellation with the G^* term. With the same data as above, placed in the half-space with center \bar e_1=(1,0,1), say, the first term in the expression for phi(t,x) behaves like t^{-0.45} at x=\bar e_1, while K_g(t,rho) remains bounded. Consequently (69) fails. This is not a cosmetic gap: Lemmas 10, 15, 16, and 17 and the proof of Theorem 1 use (69) to control the |x|^\alpha component of the metric (7), to obtain (10), and to prove the limit property (11). The proof of the main theorem therefore does not go through for the class of weights announced in (2), and the asserted bound (10) is not supported for admissible data with integrable singularities at nonzero centers.
minor comments (4)
  1. [Section 4.2, Lemma 13] The displayed assumption in Lemma 13 is incomplete: the two suprema are written without the condition that they are finite, so the statement as displayed does not parse.
  2. [Section 5, after Eq. (92)] The symbol u_0 is used both for the initial datum and for the linear solution G[u_0]; this overloading makes the iteration estimates in Lemma 15 harder to follow.
  3. [Throughout] There are several typographical slips, including 'looking for' in the Introduction, 'corrisponding' in Lemma 17, and 'easly' in Lemma 14.
  4. [References] The reference list contains a formatting artifact in entry [2], where 'J., 41, pp. 1027-1076 (1992)' is attached after the title.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the main existence/uniqueness proof is an iteration built on independent linear estimates and kernel bounds, with only benign self-citation.

full rationale

Walking the derivation chain, Theorem 1 is obtained by the explicit approximation scheme (92), u_m = G[u0] - S[u_{m-1}·nabla u_{m-1}], and the quantitative bounds (94), (104)-(105) follow from Lemmas 9-14. These lemmas use the kernel estimates (38) and (52) quoted from Solonnikov [27] and Crispo-Maremonti [2], together with the linear Stokes semigroup estimates of the authors' earlier paper [3] (Theorem 5, Corollary 1) and the Gronwall lemma from [20] (Lemma 3). Those are not the target Navier-Stokes result; they are linear or whole-space tools with stated hypotheses that do not include Theorem 1, so the self-citation does not make the argument circular under the stated rules. The metric (7) and the quantity K(t,rho) are defined before the theorem, and the existence time T(u0) is constructed in (107) from K(t,rho), not fitted to the solution; the final estimate (10) has the same form as the metric because that is the a priori bound the iteration proves, not a definitional identity. Uniqueness (Theorem 2) is a standard duality argument within the class already shown to contain the constructed solution. The skeptical concern that pointwise estimates (33)/(69) may fail for weights with centers away from the origin is a potential mathematical correctness issue in a quoted or claimed estimate; even if valid, it would make the proof incorrect, not circular. No circular step can be exhibited by reduction of a claimed prediction to its own input, so the appropriate finding is no significant circularity; the modest score reflects the non-negligible but non-circular reliance on the authors' own prior work.

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

The paper pulls from prior work: the Helmholtz decomposition and Stokes semigroup bounds come from the authors' own [3], the kernel estimates from Solonnikov [27] and Crispo-Maremonti [2], and the iteration and Gronwall toolkit from [20] and [25]. These are structural pillars of the field rather than invented entities. There are no new free constants fit to data; the proof-device parameter rho is the only free choice. The weight exponents alpha_j are inputs of the framework and the theorem holds uniformly over them.

free parameters (1)
  • radius rho in the local norm (6) = chosen small, not quantified, e.g. rho = rho(u0, epsilon) in Lemma 17
    The existence time T(u0) is defined as sup_rho t(rho), and the estimates (10) and (13) depend on K(t,rho). The choice of rho is a proof device to make K small at t=0, not a data-fitted constant.
assumptions (5)
  • domain assumption Helmholtz decomposition L^q_w(R^n_+) = J^q_w + G^q_w for q in (1,infinity), Theorem 3
    Used to define the projection P and the integral formulation (8)-(9); proved in the authors' prior paper [3].
  • domain assumption Pointwise kernel estimates (38) for G* and Q, and (52) for K, with the stated decay in |x-y*|^2 + t and exponential in y_n^2/t
    Quoted from Solonnikov [27] and Crispo-Maremonti [2]; these estimates are the quantitative core of every L^q and pointwise estimate in Lemmas 5-14.
  • domain assumption Weighted heat semigroup estimates (32), (33) for the whole-space evolution with initial data in L^p_w
    Statement of Lemma 4, proved in the authors' prior work [3]; used in Lemma 9 via the odd extension representation.
  • domain assumption Generalized Gronwall inequality, Lemma 3
    Stated and quoted from [20]; used in the uniqueness proof to extend uniqueness from a small interval to the full existence interval.
  • domain assumption Solonnikov's convergence algebra lemma, Lemma 16
    Quoted from [25], Lemma 10.2; used to obtain uniform bounds for the iterative sequence in Lemma 17.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The IBVP for the Navier-Stokes equations in the half-space in a class of weighted Lebesgue spaces." pith.science (2026). https://pith.science/paper/D7J7MYZ3

@misc{pith2026260804621,
  author       = {Pith},
  title        = {Pith review of: The IBVP for the Navier-Stokes equations in the half-space in a class of weighted Lebesgue spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D7J7MYZ3}},
  note         = {Machine review of arXiv:2608.04621}
}
abstract

We study the initial-boundary value problem for the Navier-Stokes equations in the half-space with initial data belonging to a suitable weighted Lebesgue space. More precisely, we consider a weighted Lebesgue space associated with a weight function defined as a product of powers of the distances from finitely many fixed points. This framework was introduced in a previous work by A. P. Di Feola and V. Pane (J. Math. Anal. Appl. 558 (2026), 130390) for the study of the initial-boundary value problem for the Stokes system. The present paper completes that analysis and, at the same time, generalizes to the initial-boundary value problem the results obtained by Maremonti and Pane (J. Math. Fluid Mech. 27 (2025), Art. 2) for the Navier-Stokes Cauchy problem. We prove the existence (local) and uniqueness of a smooth solution and derive $L^q$-estimates, with $q>n$, together with the spatial asymptotic behavior of the velocity field.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [20]

    Maremonti, V

    P. Maremonti, V. Pane,The Navier–Stokes Cauchy Problem in a Class of Weighted Function Spaces, Journal of Mathematical Fluid Mechanics, Volume 27, (2025). 10.1007/s00021-025-00923-5

  2. [1]

    Crispo and P

    F. Crispo and P. Maremonti,A new proof of existence in theL 3-setting of solutions to the Navier-Stokes Cauchy problem., Interactions between elasticity and fluid mechanics, EMS Ser. Ind. Appl. Math., Vol. 3, Pag. 115-134, EMS Press, Berlin (2022)

  3. [2]

    Crispo and P

    F. Crispo and P. Maremonti,On the(x, t)asymptotic properties of solutions of the Navier-Stokes equations in the half-space, Journal of Mathematical Sciences, Vol. 136, No. 2, (2006). J., 41 , pp. 1027-1076 (1992)

  4. [3]

    A. P. Di Feola and V. Pane,Weighted estimates for the Stokes semigroup in the half-space, J. Math. Anal. Appl.558(2026), no. 2, Paper No. 130390; MR5018361

  5. [4]

    Farwig, H

    R. Farwig, H. Sohr,WeightedL q-theory for the Stokes resolvent in exterior domains, J. Math. Soc. Japan49(1997), no. 2, 251–288

  6. [5]

    Farwig, K

    R. Farwig, K. Tsuda,The time periodic problem for the Navier-Stokes equations on half spaces with moving boundary: Linear theory, Journal of Differential Equations, 411, 531–603 (2024) https://doi.org/10.1016/j.jde.2024.07.046

  7. [6]

    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)

  8. [7]

    Fr¨ ohlich,The Stokes Operator in WeightedL q-Spaces I: Weighted Estimates for the Stokes Resolvent Problem in a Half Space, J

    A. Fr¨ ohlich,The Stokes Operator in WeightedL q-Spaces I: Weighted Estimates for the Stokes Resolvent Problem in a Half Space, J. Math. Fluid Mech., Volume 5, 166–199 (2003), https://doi.org/10.1007/s00021-003-0080-8 30 A. P. Di Feola, V. Pane

Show all 29 references
  1. [8]

    Fr¨ ohlich,The Stokes operator in weightedL q-spaces II: weighted resolvent estimates and maximal L p-regularity, Math

    A. Fr¨ ohlich,The Stokes operator in weightedL q-spaces II: weighted resolvent estimates and maximal L p-regularity, Math. Ann. 339, 287—316 (2007). https://doi.org/10.1007/s00208-007-0114-2

  2. [9]

    G. P. Galdi, P. Maremonti,On the stability of steady-state solutions to the Navier-Stokes equations in the whole space, Journal of Mathematical Fluid Mechanics, Volume 25, 7 (2023). https://doi.org/10.1007/s00021-022-00748-6

  3. [10]

    G. P. Galdi,An introduction to the Mathematical Theory of the Navier-Stokes equations,Springer, New York, Volume 38 (1994)

  4. [11]

    Hunt,OnL(p, q)spaces, L’Enseignement Math´ ematique, Vol.12 (1966)

    R.A. Hunt,OnL(p, q)spaces, L’Enseignement Math´ ematique, Vol.12 (1966)

  5. [12]

    Kobayashi, T

    T. Kobayashi, T. Kubo,WeightedL p-Lq estimates of the Stokes semigroup in some unbounded domains, Tsukuba J. Math.3 7, no. 2, 179–205.(2013)

  6. [13]

    Kobayashi, T

    T. Kobayashi, T. Kubo,WeightedL p-Lq Estimates of the Stokes semigroup in Half-Space and its application to the Navier-Stokes equation, Recent Developments of Mathematical Fluid Mechanics., 337-349.(2016)

  7. [14]

    Koch, V.A

    H. Koch, V.A. Solonnikov,L p-Estimates for a Solution to the Nonstationary Stokes Equations, Journal of Mathematical Sciences,106, 3042-3072 (2001)

  8. [15]

    Kufner,Weighted Sobolev spaces, Teubner-Texte zur Mathematik, Teubner (1980)

    A. Kufner,Weighted Sobolev spaces, Teubner-Texte zur Mathematik, Teubner (1980)

  9. [16]

    O. A. Ladyˇ zenskaja, V.A. Solonnikov and N.N. Ural’ceva,Linear and quasilinear equations of parabolic type. Vol. 23. American Mathematical Society, Providence, RI (1968)

  10. [17]

    Maremonti,A remark on the Stokes problem in Lorentz space, Discrete and Continuous Dynamical Systems Series S, volume 6, N

    P. Maremonti,A remark on the Stokes problem in Lorentz space, Discrete and Continuous Dynamical Systems Series S, volume 6, N. 5, 1323-1342 (2013). 10.3934/dcdss.2013.6.1323

  11. [18]

    Luigi Vanvitelli

    P. Maremonti,Lecture Notes on Navier-Stokes equations., Department of Mathematics and Physics, Universit‘a degli Studi della Campania “Luigi Vanvitelli” (2012)

  12. [19]

    Maremonti,On theL p Helmholtz decomposition: a review of a result due to Solonnikov, Lithuanian Mathematical Journal,58(2018) 268-283, DOI 10.1007/s10986-018-9403-6

    P. Maremonti,On theL p Helmholtz decomposition: a review of a result due to Solonnikov, Lithuanian Mathematical Journal,58(2018) 268-283, DOI 10.1007/s10986-018-9403-6

  13. [21]

    Maremonti, F

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

  14. [22]

    Maremonti, G

    P. Maremonti, G. Starita,Nonstationary Stokes equations in a half-space with continuous initial data. J Math Sci127, 1886–1914 (2005), doi.org/10.1007/s10958-005-0149-4

  15. [23]

    Maremonti, V

    P. Maremonti, V. A. Solonnikov,Estimates for solutions of the nonstationary stokes problem in anisotropic Sobolev spaces with mixed norm. Journal of Mathematical Sciences,87, 3859-3877 (1997), https://doi.org/10.1007/BF02355828

  16. [24]

    L. Pick, A. Kufner, O. John and S. Fucik,Function Spaces, VOL. 1, 2nd Ed., De Gruyter (2012)

  17. [25]

    Solonnikov,Estimates of the solutions of the nonstationary Navier-Stokes system, Zap

    V.A. Solonnikov,Estimates of the solutions of the nonstationary Navier-Stokes system, Zap. Naucn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 38 (1973), 153-231 The IBVP for the Navier-Stokes equations in the half-space in a class of weighted Lebesgue spaces31

  18. [26]

    Solonnikov,On estimates of solutions of the non-stationary Stokes problem in anisotropic Sobolev spaces and on estimates for the resolvent of the Stokes operator., Russian Math

    V.A. Solonnikov,On estimates of solutions of the non-stationary Stokes problem in anisotropic Sobolev spaces and on estimates for the resolvent of the Stokes operator., Russian Math. Surveys, vol. 58, 331-365 (2003). https://doi.org/10.1070/RM2003v058n02ABEH000613

  19. [27]

    V.A. Solonnikov,On Nonstationary Stokes Problem and Navier–Stokes Problem in a Half-Space with Initial Data Nondecreasing at Infinity, Journal of Mathematical Sciences114, 1726—1740 (2003). https://doi.org/10.1023/A:1022317029111

  20. [28]

    E. M. Stein, G. Weiss,Introductionto Fourier Analysis on Euclidean Spaces, Princeton University Press, Princeton, NJ, 1990

  21. [29]

    Yamazaki,The Navier-Stokes equations in the weak-L n space with time dependent external force., Math

    M. Yamazaki,The Navier-Stokes equations in the weak-L n space with time dependent external force., Math. Ann.,317, 635-675 (2000)

Pith tools

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