Pith. sign in

REVIEW 3 major objections 4 minor 36 references

Decay estimates for the compressible viscoelastic equations in an exterior domain

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

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

Pith's one-line read This paper proves that the compressible viscoelastic equations in an exterior domain have strong solutions whose perturbations decay at the rates O(t^{-3/4}) in L2, O(t^{-5/4}) for first spatial/time derivatives, and O(t^{-3/2}) in L∞.

desk verdict The main theorem is missing an L1 hypothesis the proof actually uses; the paper is serious and the fix is likely straightforward, but as written the central decay result is unsupported. read the letter →

arxiv 2506.07215 v1 pith:4AVSZ62Q submitted 2025-06-08 math.AP

Jieling Deng , Yong Wang , Jianquan Yang This is my paper
classification math.AP MSC 76A1035Q3535G55
keywords compressibleviscoelasticequationsexteriordomaindecayratesL2estimateslinearizedsemigrouplocalenergystrongsolutions
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 establishes that the three-dimensional compressible viscoelastic equations around a fixed obstacle return to equilibrium at specific polynomial rates, provided the initial perturbation is small in H4 and obeys a structural condition. It proves the solution itself decays at rate $t^{{-3/4}}$ in L2, its first spatial and time derivatives at $t^{{-5/4}}$, and its sup norm at $t^{{-3/2}}$, matching rates previously known for the whole-space problem. The proof proceeds by first deriving L2 decay estimates for the linearized system, combining local energy decay near the obstacle with whole-space spectral estimates, and then closing the nonlinear argument through Duhamel's formula.

What carries the argument

The object that carries the argument is the semigroup $e^{{tA}}$ generated by the linearization of the equations around (1,0,I), with A acting on U=(n,v,E). The mechanism is a two-region decomposition: near the obstacle the solution is controlled by a local energy decay estimate giving ||∂t^m $e^{{tA}}$U0||_{$W^{{1,2}}$_2(Ω_b)} ≤ C $t^{{-2-m}}$ ||U0||_{$W^{{1,0}}$_2}, while away from the obstacle the solution is controlled by whole-space estimates obtained from the Helmholtz decomposition v=-$Λ^{{-1}}$∇d-$Λ^{{-1}}$divω, which reduces the linear system to independent Fourier-analyzed 2×2 systems whose eigenvalue expansions produce the $t^{{-3/(2q)}}$ decay rates. The two pieces are stitched together with cut-off functions and Duhamel's formula.

What would settle it

For a fixed exterior domain such as the complement of a ball, with data concentrated near the boundary, compute the linearized semigroup numerically; if ||$e^{{tA}}$U0||_{$W^{{1,2}}$_2(Ω_b)} decays slower than $t^{{-2}}$ for compactly supported U0, Lemma 3.2 is false and the stated rates fail. Alternatively, exhibit small H4 data satisfying the compatibility and structural conditions but with a non-integrable algebraic tail, e.g., |U0(x)| ~ |x|^{-2}, whose solution decays slower than $t^{{-3/4}}$ in L2; that would refute Theorem 2.1 as stated.

Watch

Extended reading notes

Core claim

The central discovery is that, for the compressible viscoelastic system in the exterior of a bounded domain, solutions starting close to the equilibrium state (ρ,u,F)=(1,0,I) in H4, satisfying the second-order compatibility condition, and obeying the structural constraint ∇ρ0+divF0^T=0, decay at the optimal rates ||(ρ-1,u,F-I)(t)||_2=O($t^{{-3/4}}$), ||∂x(ρ,u,F)(t)||_{$W^{{1,2}}$_2}+||∂t(ρ,u,F)(t)||_{1,2}=O($t^{{-5/4}}$), and ||(ρ-1,u,F-I)(t)||_∞=O($t^{{-3/2}}$). The proof works through the linearized semigroup $e^{{tA}}$: a cut-off splits the solution into a compactly supported part governed by local energy decay near the obstacle and a far-field part whose decay comes from Fourier analysis of the coupled systems for the compressible and incompressible parts of the velocity.

Load-bearing premise

The argument collapses if the quoted local energy decay estimate (Lemma 3.2, taken from a companion preprint) is false, and it also silently uses L1 integrability of the initial perturbation in Section 6 even though Theorem 2.1 does not state that assumption.

Editorial extensions

If this is right

  • If Theorem 2.1 is correct, the critical decay rates known for the Cauchy problem on R^3 are recovered in exterior domains, so the boundary does not slow the asymptotic return to equilibrium.
  • The rates O(t^{-3/4}) for the L2 norm and O(t^{-3/2}) for the L∞ norm match the linear diffusion-wave structure, and the nonlinear iteration closes at exactly these orders.
  • The second-order compatibility condition and smallness of the H4 norm are sufficient for these rates, with higher regularity presumably giving correspondingly faster higher-derivative decay.
  • The structural constraint ∇ρ0+divF0^T=0, the linearized form of div(ρF^T)=0, keeps the linear system in the 2×2 split form; removing it would change the spectral structure and likely the rates.

Reading between the lines

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

  • The proof as written invokes Theorem 2.2 with q=1 in Section 6, which requires U0∈L1, yet Theorem 2.1 states only H4 smallness; if L1 integrability is genuinely needed, the theorem's statement is incomplete and the rates may fail for data with slow algebraic tails.
  • The local energy decay estimate quoted from the companion preprint is the single unproved input; any weakening of its t^{-2-m} decay would directly lower the final rates.
  • The same cut-off plus spectral-split strategy should apply to other dissipative systems with a diffusion-wave structure in exterior domains, such as compressible Navier-Stokes or magnetohydrodynamics, giving analogous optimal rates.
  • A numerical study of the semigroup for a simple obstacle, such as a ball, could test the local energy decay exponent directly and would also reveal whether the L1 assumption is avoidable.
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 the three-dimensional compressible viscoelastic equations posed in an exterior domain with no-slip boundary condition. The main result, Theorem 2.1, claims that under a second-order compatibility/regularity condition, the linearized structural identity ∇ρ0+divF0^T=0, and smallness of the H^4 norm of the perturbation, the solution decays as ∥(ρ-1,u,F-I)(t)∥_2=O(t^{-3/4}), the first spatial and temporal derivatives decay as O(t^{-5/4}), and the L∞ norm decays as O(t^{-3/2}). The proof proceeds by establishing linear semigroup estimates (Theorem 2.2) via a cut-off argument that combines local energy decay in the exterior domain with Fourier/spectral estimates in R^3, and then by a Duhamel bootstrap for the nonlinear problem in Section 6.

Significance. If the main theorem were valid, it would provide the first optimal decay rates for the compressible viscoelastic system in an exterior domain, extending known Cauchy-problem results of Hu-Wu and others to the boundary-value setting. The paper contains explicit decay rates, a transparent spectral analysis in R^3 following the Hu-Wu decomposition, and no fitted parameters; the claimed rates are falsifiable and in line with the expected diffusion-wave behavior. However, the central theorem is not established by the proof as written: two hypotheses required by the linear estimates are absent from Theorem 2.1, and a key local energy decay lemma is imported from an unreviewed companion preprint. These issues affect the foundation of the paper, so the significance is conditional and the current manuscript cannot be accepted.

major comments (3)
  1. [Section 6, Eqs. (6.7) and (6.16)] The proof of Theorem 2.1 invokes Theorem 2.2(A) with q=1, which requires U0∈L1, but the hypotheses of Theorem 2.1 (second-order compatibility/regularity, ∇ρ0+divF0^T=0, and small H^4 norm) do not imply U0∈L1 on an exterior domain. For Ω={|x|>1}, take a smooth ψ with ψ=ε/r for large r and ψ=0 near ∂Ω, and set v0=0, E0=∇ψ, n0=−Δψ. Then ∇n0+divE0^T=0, the H^4 norm can be made arbitrarily small by choosing ε small, but E0∼εr^{-2}, so U0∉L1. Consequently the q=1 estimates in (6.7) and (6.16), and all subsequent bounds for M2(t), M∞(t), and the Step 3 quantity M2(t), are unsupported. The theorem as stated is therefore not proved.
  2. [Section 2, Theorem 2.1; Section 4, Eqs. (4.4)-(4.6)] Theorem 2.1 omits the second structural condition in (1.3), namely F0^{lk}∂_lF0^{ij}=F0^{lj}∂_lF0^{ik} (or its linearized form ∂_{x_l}E0_{jk}=∂_{x_k}E0_{jl}). The linear estimates in Section 4, specifically the derivation of (4.4)-(4.6) and the reduction of the elastic part to a curl system, use this condition; the R^3 estimates of Theorem 4.1 and hence Theorem 2.2 depend on it. The '2nd order compatibility condition' defined in Section 1 is only a regularity condition and does not include this identity. Without adding the structural assumption, the linear decay estimates do not apply to the class of initial data considered in Theorem 2.1.
  3. [Section 3, Lemma 3.2] The local energy decay estimate of Lemma 3.2 is quoted from the companion preprint [35] and is not proved in this manuscript. This lemma is the foundation of the cut-off argument in Section 5 and therefore of Theorem 2.2; if the estimate in [35] is incorrect or unavailable, the main theorem collapses. The authors should either provide a proof of Lemma 3.2 or state explicitly that the main result is conditional on an unreviewed preprint. As it stands, a load-bearing part of the proof is outside the manuscript.
minor comments (4)
  1. [Section 1] The introduction mentions a 'positive parameter α' representing the speed of shear waves, but no α appears in the system (1.1); this appears to be a leftover from an earlier version and should be removed or defined.
  2. [Section 6, Step 1] The phrase 'Then, we consider t≤2' after already treating 0≤t≤2 appears to be a typo for 't≥2'.
  3. [Throughout] The symbol M2(t) is defined twice with different norms: once in Step 1 and again in Step 3. This overloaded notation makes the bootstrap argument harder to follow; distinct names, such as M2^{(1)}(t) and M2^{(2)}(t), should be used.
  4. [Throughout] There are numerous typos and grammar issues, e.g., 'hydrodnamics', 'diff-isomorphisms', 'wriiten', 'coeffcients', 'asme', and 'provides that'. A careful proofreading is needed.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: decay estimates follow from external linear semigroup estimates and a Duhamel bootstrap.

full rationale

The derivation in Theorem 2.1 is a standard Duhamel bootstrap: the nonlinear solution is written as U(t)=e^{tA}U0 + ∫ e^{(t-s)A}F(U)(s)ds, and the decay rates are obtained from the linear semigroup estimates in Theorem 2.2, which in turn are proved from the R^3 spectral estimates (Theorem 4.1) and the local-energy-decay estimate (Lemma 3.2) quoted from Ishigaki-Kobayashi [35] and Kobayashi [20]. None of these inputs is fitted to the target decay rates, and none is defined in terms of the conclusion. The cited [20] and [35] are authored by Kobayashi and by Ishigaki-Kobayashi, not by the present authors, so there is no self-citation chain and no uniqueness theorem imported from the authors. The paper contains no adjustable parameters, no quantity is renamed as a prediction, and the compatibility/divergence constraints are used as hypotheses, not derived from the conclusion. A separate correctness concern—not a circularity—is that Section 6 invokes Theorem 2.2(A) with q=1 (e.g., displays (6.7) and (6.16)), which requires U0∈L^1, while Theorem 2.1 only assumes small H^4; this is a possible missing hypothesis in the nonlinear argument, not a circular reduction of the theorem to its own input. Accordingly no circular step is identified.

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

The paper does not fit any constants or invent entities. Its central estimates depend on two imported semigroup results: Lemma 3.1 from Kobayashi [20] and Lemma 3.2 from Ishigaki-Kobayashi [35], plus known small-data existence for the nonlinear problem. The main unstated assumption is that U0 belongs to L1, used in Section 6 but missing from Theorem 2.1.

assumptions (5)
  • domain assumption Global existence and N_k bound for the nonlinear IBVP for small H4 data (Proposition 2.1)
    Stated without proof in Section 2; imported from prior well-posedness literature (Qian [27] and references). The nonlinear bootstrap in Section 6 assumes N_k can be made small.
  • domain assumption Local energy decay estimate of Lemma 3.2
    Quoted from Ishigaki-Kobayashi [35], a May 2025 preprint; not proved in this paper. It is the exterior-domain analogue of whole-space decay and is used in Steps 1 and 2 of Section 5.
  • domain assumption Resolvent and analytic semigroup estimates for the linearized operator A in the exterior domain (Lemma 3.1)
    Taken from Kobayashi [20]; used for small-time bounds and analyticity of e^{tA}.
  • domain assumption U0 belongs to L1 (used in Section 6 via q=1 linear estimates)
    The proof of Theorem 2.1 applies Theorem 2.2(A) with q=1, which requires U0 in L1; the theorem statement only assumes H4 smallness.
  • standard math Agmon-Douglis-Nirenberg elliptic regularity (Lemma 7.1) and Fourier multiplier theorems
    Standard PDE tools used in the appendix and in Section 4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Decay estimates for the compressible viscoelastic equations in an exterior domain." pith.science (2026). https://pith.science/paper/4AVSZ62Q

@misc{pith2026250607215,
  author       = {Pith},
  title        = {Pith review of: Decay estimates for the compressible viscoelastic equations in an exterior domain},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4AVSZ62Q}},
  note         = {Machine review of arXiv:2506.07215}
}
abstract

In this paper, we study the compressible viscoelastic equations in an exterior domain. We prove the $L_2$ estimates for the solution to the linearized problem and show the decay estimates for the solution to the nonlinear problem. In particular, we obtain the optimal decay rates of the solution itself and its spatial-time derivatives in the $L_2$-norm.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

36 extracted references · 35 canonical work pages

  1. [35]

    Local energy decay of solutions to the linearized compressible viscoelastic system around motionless state in an exterior domain

    Ishigaki Y . and Kobayashi T. Local energy decay of solutions to the linearized compressible vis- coelastic system around motionless state in an exterior domain.arxiv:2505.23169, 2025

    work page Pith review arXiv 2025

  2. [1]

    Agmon, A

    S. Agmon, A. Douglis, and L. Nirenberg. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. I.Comm. Pure Appl. Math., 12:623–727, 1959

    1959

  3. [2]

    Agmon, A

    S. Agmon, A. Douglis, and L. Nirenberg. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. II.Comm. Pure Appl. Math., 17:35–92, 1964

    work page 1964

  4. [3]

    Y . G. Bai and T. Zhang. The pointwise estimates of solutions for the 3D compressible viscoelastic fluids.J. Differential Equations, 356:336–374, 2023

    work page 2023

  5. [4]

    Chen and G

    Q. Chen and G. C. Wu. The 3D compressible viscoelastic fluid in a bounded domain.Commun. Math. Sci., 16(5):1303–1323, 2018

    work page 2018

  6. [5]

    X. F. Cui and X. P. Hu. Incompressible limit of three dimensional compressible viscoelastic sys- tems with vanishing shear viscosity.Arch. Ration. Mech. Anal., 245(2):753–807, 2022

    work page 2022

  7. [6]

    S. B. Fu, W. T. Huang, and F. Jiang. On temporal decay of compressible hookean viscoelastic fluids with relatively large elasticity coefficient.arxiv:2411.14882, 2024

    work page Pith review arXiv 2024

  8. [7]

    S. B. Fu, W. T. Huang, and W. W. Wang. Optimal temporal decay rates for the compressible viscoelastic flows.Anal. Appl. (Singap.), 21(5):1365–1389, 2023

    work page 2023

Show all 36 references
  1. [8]

    X. M. Gu, D. H. Wang, and F. Xie. Vanishing viscosity limit of compressible viscoelastic equations in half space.J. Differential Equations, 398:319–343, 2024

    2024

  2. [9]

    M. E. Gurtin.An Introduction to Continuum Mechanics, volume 158 ofMathematics in Science and Engineering. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1981

    1981

  3. [10]

    Han and R

    B. Han and R. Z. Zi. Dispersive effect and global well-posedness of the compressible viscoelastic fluids.J. Differential Equations, 269(11):9254–9296, 2020

    2020

  4. [11]

    X. P. Hu and D. H. Wang. Local strong solution to the compressible viscoelastic flow with large data.J. Differential Equations, 249(5):1179–1198, 2010

    2010

  5. [12]

    X. P. Hu and D. H. Wang. Global existence for the multi-dimensional compressible viscoelastic flows.J. Differential Equations, 250(2):1200–1231, 2011

    2011

  6. [13]

    X. P. Hu and D. H. Wang. The initial-boundary value problem for the compressible viscoelastic flows.Discrete Contin. Dyn. Syst., 35(3):917–934, 2015

    2015

  7. [14]

    X. P. Hu and G. C. Wu. Global existence and optimal decay rates for three-dimensional compress- ible viscoelastic flows.SIAM J. Math. Anal., 45(5):2815–2833, 2013. 26 JIELING DENG, YONG W ANG, AND JIANQUAN Y ANG

    2013

  8. [15]

    X. P. Hu and W. B. Zhao. Global existence of compressible dissipative elastodynamics systems with zero shear viscosity in two dimensions.Arch. Ration. Mech. Anal., 235(2):1177–1243, 2020

    2020

  9. [16]

    J. C. Huang, Z. A. Yao, and X. Y . You. Global well-posedness of the three-dimensional free bound- ary problem for viscoelastic fluids without surface tension.J. Differential Equations, 417:191–230, 2025

    2025

  10. [17]

    Ishigaki

    Y . Ishigaki. Diffusion wave phenomena andL p decay estimates of solutions of compressible vis- coelastic system.J. Differential Equations, 269(12):11195–11230, 2020

    2020

  11. [18]

    J. X. Jia and J. G. Peng. Optimal time decay rate for compressible viscoelastic equations in critical spaces.Appl. Anal., 96(12):2044–2064, 2017

    2017

  12. [19]

    J. X. Jia, J. G. Peng, and Z. D. Mei. Well-posedness and time-decay for compressible viscoelastic fluids in critical Besov space.J. Math. Anal. Appl., 418(2):638–675, 2014

    2014

  13. [20]

    Kobayashi

    T. Kobayashi. On a local energy decay of solutions for the equations of motion of compressible viscous and heat-conductive gases in an exterior domain inR 3.Tsukuba J. Math., 21(3):629–670, 1997

    1997

  14. [21]

    Kobayashi and Y

    T. Kobayashi and Y . Shibata. Decay estimates of solutions for the equations of motion of com- pressible viscous and heat-conductive gases in an exterior domain inR 3.Comm. Math. Phys., 200(3):621–659, 1999

    1999

  15. [22]

    Y . Li, R. Y . Wei, and Z. A. Yao. Optimal decay rates for the compressible viscoelastic flows.J. Math. Phys., 57(11):111506, 8, 2016

    2016

  16. [23]

    F. H. Lin, C. Liu, and P. Zhang. On hydrodynamics of viscoelastic fluids.Comm. Pure Appl. Math., 58(11):1437–1471, 2005

    2005

  17. [24]

    Y . Liu, S. Meng, J. Y . Wu, and T. Zhang. Global strong solutions for the multi-dimensional com- pressible viscoelastic flows with general pressure law.J. Math. Phys., 64(8):Paper No. 081506, 19, 2023

    2023

  18. [25]

    X. H. Pan and J. Xu. Global existence and optimal decay estimates of the compressible viscoelastic flows inL p critical spaces.Discrete Contin. Dyn. Syst., 39(4):2021–2057, 2019

    2021

  19. [26]

    X. H. Pan, J. Xu, and Y . Zhu. Global existence in critical spaces for non Newtonian compressible viscoelastic flows.J. Differential Equations, 331:162–191, 2022

    2022

  20. [27]

    J. Z. Qian. Initial boundary value problems for the compressible viscoelastic fluid.J. Differential Equations, 250(2):848–865, 2011

    2011

  21. [28]

    J. Z. Qian and Z. F. Zhang. Global well-posedness for compressible viscoelastic fluids near equi- librium.Arch. Ration. Mech. Anal., 198(3):835–868, 2010

    2010

  22. [29]

    Z. Tan, Y . Wang, and W. P. Wu. Mathematical modeling and qualitative analysis of viscoelastic conductive fluids.Anal. Appl. (Singap.), 18(6):1077–1117, 2020

    2020

  23. [30]

    D. H. Wang and F. Xie. Inviscid limit of compressible viscoelastic equations with the no-slip boundary condition.J. Differential Equations, 353:63–113, 2023

    2023

  24. [31]

    Y . Wang, R. Shen, W. P. Wu, and C. J. Zhang. On the initial-boundary value problem for the three- dimensional compressible viscoelastic fluids with the electrostatic effect.J. Differential Equations, 316:425–470, 2022

    2022

  25. [32]

    G. C. Wu, Z. S. Gao, and Z. Tan. Time decay rates for the compressible viscoelastic flows.J. Math. Anal. Appl., 452(2):990–1004, 2017

    2017

  26. [33]

    W. P. Wu and Y . Wang. On the half-space or exterior problems of the 3D compressible elastic Navier-Stokes-Poisson equations.SIAM J. Math. Anal., 55(4):2996–3043, 2023

    2023

  27. [34]

    F. Y . Xu, X. G. Zhang, Y . H. Wu, and L. S. Liu. The optimal convergence rates for the multi- dimensional compressible viscoelastic flows.ZAMM Z. Angew. Math. Mech., 96(12):1490–1504, 2016

    2016

  28. [36]

    Y . Zhu. Global classical solutions of 3D compressible viscoelastic system near equilibrium.Calc. Var. Partial Differential Equations, 61(1):Paper No. 21, 22, 2022. Decay estimates for the compressible viscoelastic equations 27 School ofMathematicalSciences, SouthChinaNormalUn...

    2022

Pith tools

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