REVIEW 3 major objections 4 minor 39 references
Compressible Navier--Stokes equations with a potential force: global well-posedness and optimal time-decay rates for arbitrarily large $L^2$ initial data
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For the compressible Navier–Stokes equations with a time-independent potential force, the paper proves global strong solutions with optimal time-decay rates even when the initial L2 norm is arbitrarily large.
desk verdict Genuine extension to unweighted potentials for CNS with large L2 data and optimal decay, but the lower-bound part rests on an unproved l2 frequency envelope step in Section 4.2. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by three devices: homogeneous endpoint energy estimates in $\dot H^{1/2-\delta}$ and $\dot H^3$ that keep the $L^2$ component out of every small coefficient; the Shizuta–Kawashima spectral structure, which produces the frequency-wise dissipation multiplier $|\xi|^2/(1+|\xi|^2)$ for the linearized system; and a negative-Besov propagation step that converts a finite $\dot B^s_{2,\infty}$ norm into a uniform low-frequency bound. For the lower bounds, a localized dyadic energy inequality preserves the size of one very low-frequency block until time $2^{-2j}$, while the decay-character condition selects blocks with bounded gaps so that the matching lower rate follows.
What would settle it
Compute the sharp constant sequence $b_j(t)$ for the pure quadratic products in (4.31)–(4.33) using Bony's paraproduct decomposition; if the optimal sequence has $\sum_j b_j(t)^2>1$ uniformly along some time sequence, then the unproved envelope step fails and the propagation lemma (4.43)–(4.46) is invalid. This is a dyadic calculation that can be carried out independently of the rest of the paper.
Extended reading notes
Core claim
The central claim is that for the Cauchy problem (1.1)–(1.2), whenever $\phi\in\dot B^{1/2}_{2,1}\cap\dot B^{9/2}_{2,1}$ and the initial perturbation is small in $\dot H^{1/2-\delta}\cap\dot H^3$ but not necessarily small in $L^2$, there is a unique global strong solution $(\varrho,\omega)\in C([0,\infty);H^3)$ satisfying the dissipative energy inequality (1.8). The paper further claims that if the initial perturbation is finite in the negative Besov space $\dot B^s_{2,\infty}$, $s\in[-\tfrac32,-1)$, then $\|\nabla^k(\rho-\rho_*,\omega)(t)\|_{L^2}\leq C(1+t)^{-(k-s)/2}$ for $k=0,1$, and that for initial data in the decay-character subclass $\dot B^s_{2,\infty}$ the same algebraic rates hold from below, so the decay is optimal.
Load-bearing premise
The decay proof assumes, without proof at (4.30)–(4.31), that all nonlinear product estimates can be bounded by a measurable frequency envelope whose squared terms sum to at most one; if only a cruder sup-over-frequency bound holds, the negative-Besov propagation and the decay rates do not close.
Editorial extensions
If this is right
- Under the theorem's hypotheses, arbitrarily large $L^2$ initial data still lead to a unique global strong $H^3$ solution; the mechanism is that the nonlinear smallness comes from higher-order homogeneous norms, not from the zero-order norm.
- A finite, not small, $\dot B^s_{2,\infty}$ norm of the initial perturbation is enough to force the density and velocity to decay at the rates $(1+t)^{-(k-s)/2}$ for $k=0,1$.
- At the endpoint $s=-\tfrac32$, $L^1$ initial data decay like $(1+t)^{-3/4}$ and $(1+t)^{-5/4}$ for the zeroth and first derivatives, respectively.
- When the initial data belong to the decay-character class, the upper bounds are sharp: matching lower bounds hold for the coupled density–velocity norm.
- Slowly oscillating low-frequency potentials, such as the explicit dyadic example $\phi^\sharp$ in the introduction, are admissible without any polynomial-weight condition.
Reading between the lines
- A natural but nontrivial next step is to replace the $\dot H^{1/2-\delta}\cap\dot H^3$ smallness by smallness in the critical space $\dot B^{1/2}_{2,\infty}$, keeping the same unweighted potential class; the linear spectral multiplier already supports the required low-frequency dissipation, so the difficulty is purely in the nonlinear energy estimates.
- The restriction to $k=0,1$ is structural: the stationary profile's third derivative appears without derivatives of the velocity in the continuity equation. If the potential decays fast enough that $\nabla^3\bar\rho$ belongs to a suitable $L^r$ space, second-derivative decay may close without the weighted Hardy mechanism of earlier work.
- Because the decay-character condition permits oscillatory low-frequency data with no nonzero mean, the matching lower bounds should extend beyond the $L^1$ nonzero-mass case of Corollary 1.5 to a broader class of roughly localized initial profiles.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the 3D barotropic compressible Navier–Stokes equations with a time-independent potential force near a nonconstant stationary state. The perturbation system (1.5) is analyzed by homogeneous energy estimates. The main results are: (i) global existence and uniqueness of H3 strong solutions when the initial perturbation is small in H^{1/2−δ}∩H^3 but has arbitrarily large L2 norm (Theorem 1.1); (ii) optimal decay rates for the zeroth and first derivatives under a finite, not necessarily small, B^s_{2,∞} norm of the data (Theorem 1.2); and (iii) matching lower bounds under a decay-character condition on the data (Theorem 1.4). The proofs combine a spectral semigroup estimate, low-frequency Besov propagation, a high-frequency Lyapunov inequality, and a localized dyadic energy inequality.
Significance. The paper advances the theory of compressible Navier–Stokes equations with potential forces by removing the polynomial weight condition (1.4) used in earlier works and by allowing the L2 norm of the initial perturbation to be arbitrarily large through spatial spreading. The energy framework in Section 3 is presented in detail with a genuine bootstrap closure, and the spectral estimate (4.8) is a legitimate derivation rather than a fitted assumption. The lower-bound theorem via decay characters is a useful strengthening of existing special-data optimality results. However, the missing justification of the ℓ2 frequency envelope in Section 4 currently prevents me from certifying Theorem 1.4.
major comments (3)
- [§4.2, Eqs. (4.31)–(4.33)] The existence of a measurable sequence (b_j(t)) with Σ_j b_j(t)^2 ≤ 1 satisfying (4.31)–(4.33), (4.37), and (4.39)–(4.42) is asserted without proof. The text between (4.30) and (4.31) states that one applies Lemmas 2.2 and 2.6 and then assembles the envelopes, but no formula for b_j is given and no verification of summability or pointwise behavior is provided. This is load-bearing: Theorem 1.4 uses r_j := ∫_0^∞ b_j(τ)^2 D_3(τ) dτ in (5.5)–(5.7), and the dominated-convergence argument in (5.6) requires both the normalization (5.3) and pointwise convergence b_j(τ)→0. Moreover, Lemma 2.2 as stated requires s_1+s_2 ≥ 0, whereas the product terms in (4.31)–(4.33) are measured at regularity s with s ∈ [−3/2,−1), so the cited lemma does not directly apply. A separate Bony-decomposition estimate exploiting the low-frequency factor 2^{(3/2−s)j} and the high-frequency D_3 control is needed. I request that this construction be written out in full.
- [§5, Eq. (5.6)] The assertion 'b_j(τ)→0 as j→−∞ for almost every τ' is unsupported. The normalization Σ_j b_j^2 ≤ 1 does not imply pointwise convergence, and no definition of b_j is given from which this limit could be read off. This pointwise limit is essential for the conclusion r_j→0 and hence for the small-error condition (5.12) that yields the lower bound (5.13)–(5.14). The authors should either prove the limit from an explicit definition of b_j or replace the dominated-convergence step in (5.6) with a direct estimate.
- [§4, Eqs. (4.42)–(4.46)] For the upper-bound part of Theorem 1.2, the proof actually uses only the bound b_j ≤ 1 (see the passage after (4.45), where b_j(τ)^2 ≤ 1 is invoked), not the ℓ2 normalization. I recommend the authors state this explicitly, since it decouples the correctness of Theorem 1.2 from the much stronger ℓ2 envelope needed for Theorem 1.4. As written, the reader cannot tell which properties of b_j are essential at each step.
minor comments (4)
- [§4.2, after Eq. (4.30)] In the displayed text immediately after (4.30), 'We Apply Lemmas 2.2 and 2.6' should be 'We apply Lemmas 2.2 and 2.6'.
- [§4.3, Eq. (4.60)] The inequality (1+t)^s ≲ (1+t)^{-(1−s)/2} is valid because s < −1, but this justification is not given; adding one sentence would help.
- [§2.1] In (4.31)–(4.33), the notation ∥(ϱ,ω)(t)∥_{\dot B^s_{2,\infty}} is used for the product norm of the vector-valued function; it would be helpful to define this convention explicitly in the notation section.
- [§4.1, Lemma 4.2] The endpoint case s = −3/2 in Lemma 4.2 is handled only parenthetically via the σ = 0 composition estimate in Lemma 2.1; a short explanation of the limiting argument would improve readability.
Circularity Check
No circularity: the derivation is self-contained, no fitted input is renamed as a prediction, and the only flagged weakness is an unproved ℓ2 frequency-envelope estimate in §4.2, which is a rigor gap rather than a circular reduction.
full rationale
Score 0. The main results are derived, not presupposed. The linear spectral estimate (4.8) is obtained by an energy calculation on the constant-coefficient system (4.4), and the low-frequency semigroup bounds (4.9)–(4.10) follow by dyadic summation. The upper decay rate (4.79) is closed through differential inequalities (4.48) and (4.63) together with the already-proved ḍ B^s_{2,∞} bound (4.47); none of these estimates is fitted to the target rate. The lower-bound theorem uses the decay-character class (1.11) imported from Brandolese [4], an external, non-self-cited source, and the reference list contains no self-citations by Ni, Wang, or Zhang. Theorem 1.1's 'large L2' feature is not circular: the smallness assumption (1.7) is on homogeneous positive-order norms only, and the H3 energy inequality (3.45) does not put ‖(ρ0,ω0)‖_{L2} into a small coefficient. I could not exhibit any equation that reduces by construction to its own input, nor any fitted parameter renamed as a prediction. The one genuine weakness is a missing proof, not a circular step: at the start of §4.2, between (4.30) and (4.31), the text asserts 'We apply Lemmas 2.2 and 2.6 to each nonlinear product, then assemble the finitely many measurable l2 frequency envelopes', yielding a sequence b_j(t) with Σ b_j(t)^2 ≤ 1 satisfying (4.31)–(4.33), (4.37), and (4.39)–(4.42). This ℓ2 envelope is not a direct consequence of Lemmas 2.2 and 2.6 as stated; the hypothesis s1+s2 ≥ 0 in Lemma 2.2 can fail for products such as div(ρω) when s ∈ [−3/2,−1). The envelope is also load-bearing for (5.6), where dominated convergence requires b_j(τ) → 0 to conclude r_j → 0 for Theorem 1.4. I flag this as an unverified step and a correctness risk, but it does not make the argument circular: the envelope is neither the target decay rate nor a fitted constant, and the surrounding proof does not assume the theorem's conclusion.
Assumptions & free parameters
free parameters (4)
- delta =
fixed but arbitrarily small in (0,1/2)
- epsilon_0 =
sufficiently small positive constant
- epsilon_1 =
0 < epsilon_1 < epsilon_0
- s =
s in [-3/2,-1)
assumptions (5)
- domain assumption Barotropic pressure P with P'(rho_infinity)>0; viscosity coefficients mu>0 and 3lambda+2mu>=0.
- standard math Local well-posedness and continuation criteria for strong H^3 solutions from references [5,6].
- standard math Littlewood-Paley theory, Besov space embeddings, Bony decomposition, and product laws as in reference [2].
- domain assumption The stationary profile is small in \dot B^{1/2}_{2,1} cap \dot B^{9/2}_{2,1}, controlled by epsilon_0 through (1.3) and (1.7).
- domain assumption Decay-character condition (1.12) for the lower-bound theorem.
Cite this review
Pith. "Pith review of Compressible Navier--Stokes equations with a potential force: global well-posedness and optimal time-decay rates for arbitrarily large $L^2$ initial data." pith.science (2026). https://pith.science/paper/DFSYCDTW
@misc{pith2026260800465,
author = {Pith},
title = {Pith review of: Compressible Navier--Stokes equations with a potential force: global well-posedness and optimal time-decay rates for arbitrarily large $L^2$ initial data},
year = {2026},
howpublished = {\url{https://pith.science/paper/DFSYCDTW}},
note = {Machine review of arXiv:2608.00465}
}
abstract
We study the Cauchy problem for the three-dimensional barotropic compressible Navier--Stokes equations with a time-independent potential force near a spatially nonconstant stationary state. The potential is controlled in unweighted homogeneous Besov spaces; in particular, no polynomial spatial-weight condition involving $(1+|x|)^j\nabla^j\phi$ is imposed. For initial data relative to the stationary state that are sufficiently small in $\dot H^{\frac12-\delta}\cap\dot H^3$, we establish the existence and uniqueness of a global strong solution in $H^3$, while allowing the initial $L^2$ norm to be arbitrarily large. If the initial data are bounded in $\dot B^s_{2,\infty}$ for $s\in[-\frac32,-1)$, then the solution and its first spatial derivative decay at the optimal rates $(1+t)^{-\frac{k-s}{2}}$ with $k=0$ and $1$, respectively. The analysis relies on refined homogeneous energy estimates and a frequency-localized description for the dissipative and asymptotic structures of the system.
Reference graph
Works this paper leans on
-
[9]
Deguchi, On the stability of stationary compressible Navier–Stokes flows in 3D,Math
N. Deguchi, On the stability of stationary compressible Navier–Stokes flows in 3D,Math. Ann.390 (2024) 4361–4404
work page 2024
-
[12]
J. Gao, M. Li, Z.-A. Yao, Optimal decay of compressible Navier–Stokes equations with or without potential force,J. Differential Equations342(2023) 63–120
work page 2023
-
[1]
R. A. Adams, J. J. F. Fournier,Sobolev Spaces, second ed., Elsevier/Academic Press, Amsterdam, 2003
work page 2003
-
[2]
H. Bahouri, J.-Y. Chemin, R. Danchin,Fourier Analysis and Nonlinear Partial Differential Equations, Grundlehren Math. Wiss.,343, Springer, Heidelberg, 2011
work page 2011
-
[3]
J. Bedrossian, V. Vicol,The Mathematical Analysis of the Incompressible Euler and Navier–Stokes Equa- tions: An Introduction, American Mathematical Society, Providence, RI, 2022
work page 2022
-
[4]
Brandolese, Characterization of solutions to dissipative systems with sharp algebraic decay,SIAM J
L. Brandolese, Characterization of solutions to dissipative systems with sharp algebraic decay,SIAM J. Math. Anal.48 (3)(2016) 1616–1633
work page 2016
-
[5]
Y. Cho, H. J. Choe, H. Kim, Unique solvability of the initial boundary value problems for compressible viscous fluid,J. Math. Pures Appl. (9)83 (2)(2004) 243–275
work page 2004
-
[6]
H. J. Choe, H. Kim, Strong solutions of the Navier–Stokes equations for isentropic compressible fluids, J. Differential Equations190 (2)(2003) 504–523
work page 2003
Show all 39 references
-
[7]
Danchin, J
R. Danchin, J. Xu, Optimal time-decay estimates for the compressible Navier–Stokes equations in the criticalL p framework,Arch. Ration. Mech. Anal.224 (1)(2017) 53–90
2017
-
[8]
Deckelnick, Decay estimates for the compressible Navier–Stokes equations in unbounded domains, Math
K. Deckelnick, Decay estimates for the compressible Navier–Stokes equations in unbounded domains, Math. Z.209 (1)(1992) 115–130
1992
-
[10]
R. Duan, H. Liu, S. Ukai, T. Yang, OptimalL p–Lq convergence rates for the compressible Navier–Stokes equations with potential force,J. Differential Equations238 (1)(2007) 220–233
2007
-
[11]
R. Duan, S. Ukai, T. Yang, H. Zhao, Optimal convergence rates for the compressible Navier–Stokes equations with potential forces,Math. Models Methods Appl. Sci.17 (5)(2007) 737–758. COMPRESSIBLE NA VIER–STOKES EQUATIONS WITH A POTENTIAL FORCE 35
2007
-
[13]
Y. Guo, Y. Wang, Decay of dissipative equations and negative Sobolev spaces,Comm. Partial Differential Equations37 (12)(2012) 2165–2208
2012
-
[14]
L. He, J. Huang, C. Wang, Global stability of large solutions to the 3D compressible Navier–Stokes equations,Arch. Ration. Mech. Anal.234 (3)(2019) 1167–1222
2019
-
[15]
D. Hoff, K. Zumbrun, Multi-dimensional diffusion waves for the Navier–Stokes equations of compressible flow,Indiana Univ. Math. J.44 (2)(1995) 603–676
1995
-
[16]
X. Hu, G. Wu, Optimal decay rates of isentropic compressible Navier–Stokes equations with discontinuous initial data,J. Differential Equations269(2020) 8132–8172
2020
-
[17]
Huang, J
X. Huang, J. Li, Z. Xin, Global well-posedness of classical solutions with large oscillations and vacuum to the three-dimensional isentropic compressible Navier–Stokes equations,Comm. Pure Appl. Math.65 (4)(2012) 549–585
2012
-
[18]
Iwabuchi, D
T. Iwabuchi, D. ´O hAodha, Optimal decay estimates for the radially symmetric compressible Navier– Stokes equations,J. Differential Equations441(2025) 113487
2025
-
[19]
T. Kato, G. Ponce, Commutator estimates and the Euler and Navier–Stokes equations,Comm. Pure Appl. Math.41 (7)(1988) 891–907
1988
-
[20]
Kawashima, A
S. Kawashima, A. Matsumura, T. Nishida, On the fluid-dynamical approximation to the Boltzmann equation at the level of the Navier–Stokes equation,Comm. Math. Phys.70 (2)(1979) 97–124
1979
-
[21]
C. E. Kenig, G. Ponce, L. Vega, Well-posedness and scattering results for the generalized Korteweg–de Vries equation via the contraction principle,Comm. Pure Appl. Math.46 (4)(1993) 527–620
1993
-
[22]
Liu, W.-K
T.-P. Liu, W.-K. Wang, The pointwise estimates of diffusion waves for the Navier–Stokes systems in odd multi-dimensions,Comm. Math. Phys.196 (1)(1998) 145–173
1998
-
[23]
Z. Luo, W. Yang, Optimal decay rates for the compressible Navier–Stokes equations with density- dependent viscosities,J. Differential Equations441(2025) 113483
2025
-
[24]
Matsumura, T
A. Matsumura, T. Nishida, The initial value problem for the equations of motion of compressible viscous and heat-conductive fluids,Proc. Japan Acad. Ser. A Math. Sci.55 (9)(1979) 337–342
1979
-
[25]
Matsumura, T
A. Matsumura, T. Nishida, The initial value problem for the equations of motion of viscous and heat- conductive gases,J. Math. Kyoto Univ.20 (1)(1980) 67–104
1980
-
[26]
Matsumura, T
A. Matsumura, T. Nishida, Initial-boundary value problems for the equations of motion of compressible viscous and heat-conductive fluids,Comm. Math. Phys.89 (4)(1983) 445–464
1983
-
[27]
Matsumura, M
A. Matsumura, M. Padula, Stability of stationary flow of compressible fluids subject to large external potential forces,Stab. Appl. Anal. Contin. Media2(1992) 183–202
1992
-
[28]
Okita, On the convergence rates for the compressible Navier–Stokes equations with potential force, Kyushu J
M. Okita, On the convergence rates for the compressible Navier–Stokes equations with potential force, Kyushu J. Math.68 (2)(2014) 261–286
2014
-
[29]
Oliver, E
M. Oliver, E. S. Titi, Remark on the rate of decay of higher-order derivatives for solutions to the Navier– Stokes equations inR n,J. Funct. Anal.172 (1)(2000) 1–18
2000
-
[30]
Ponce, Global existence of small solutions to a class of nonlinear evolution equations,Nonlinear Anal
G. Ponce, Global existence of small solutions to a class of nonlinear evolution equations,Nonlinear Anal. 9 (5)(1985) 399–418
1985
-
[31]
M. E. Schonbek, Lower bounds of rates of decay for solutions to the Navier–Stokes equations,J. Amer. Math. Soc.4 (3)(1991) 423–449
1991
-
[32]
Shizuta, S
Y. Shizuta, S. Kawashima, Systems of equations of hyperbolic–parabolic type with applications to the discrete Boltzmann equation,Hokkaido Math. J.14 (2)(1985) 249–275
1985
-
[33]
Shibata, K
Y. Shibata, K. Tanaka, On the steady flow of compressible viscous fluid and its stability with respect to initial disturbance,J. Math. Soc. Japan55 (3)(2003) 797–826
2003
-
[34]
Shibata, K
Y. Shibata, K. Tanaka, Rate of convergence of non-stationary flow to the steady flow of compressible viscous fluid,Comput. Math. Appl.53 (3–4)(2007) 605–623
2007
-
[35]
S. Ukai, T. Yang, H. Zhao, Convergence rate for the compressible Navier–Stokes equations with external force,J. Hyperbolic Differential Equations3 (3)(2006) 561–574
2006
-
[36]
Wang, Optimal convergence rates for the strong solutions to the compressible Navier–Stokes equations with potential force,Nonlinear Anal
W. Wang, Optimal convergence rates for the strong solutions to the compressible Navier–Stokes equations with potential force,Nonlinear Anal. Real World Appl.34(2017) 363–378. 36 J. NI, L. W ANG, AND Z. ZHANG
2017
-
[37]
Z. Xin, J. Xu, Optimal decay for the compressible Navier–Stokes equations without additional smallness assumptions,J. Differential Equations274(2021) 543–575
2021
-
[38]
Xu, A low-frequency assumption for optimal time-decay estimates to the compressible Navier–Stokes equations,Comm
J. Xu, A low-frequency assumption for optimal time-decay estimates to the compressible Navier–Stokes equations,Comm. Math. Phys.371 (2)(2019) 525–560
2019
-
[39]
J. Xu, S. Kawashima, The optimal decay estimates on the framework of Besov spaces for generally dissipative systems,Arch. Ration. Mech. Anal.218 (1)(2015) 275–315. (JKN)School of Mathematics, Nanjing University, Nanjing 210093, P. R. China Email address:jinkaini123@gmail.com (...
2015
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.