Pith. sign in

REVIEW 5 minor 32 references

Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, III

T0 review · 0 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For the 2-D damped wave equation, global small-data solutions exist for all $\mu>2$ and $p>2$, closing the last open range of the scale-invariant damping conjecture.

desk verdict The paper closes the last open range 2<μ<3 for the 2-D scale-invariant damping conjecture; the proof is technical but the key estimate checks out, with the completeness claim as the only real caveat. read the letter →

arxiv 2507.08274 v2 pith:OF35K5FW submitted 2025-07-11 math.AP

Qianqian Li , Huicheng Yin This is my paper · ORCID
classification math.AP MSC 35L7035L6535L67
keywords scale-invariantdampingglobalexistenceweaksolutionsBesselfunctionsHankelvectorfieldmethodKlainerman-SobolevinequalityFujitaexponent
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 the final open range of the two-dimensional scale-invariant damping conjecture: for $2<\mu<3$ and $p>2$, the semilinear wave equation $\square u+\frac{\mu}{t}\partial_t u=|u|^p$ has a unique global small-data solution in the Sobolev classes $C([1,\infty);H^2)\cap C^1([1,\infty);H^1)\cap C^2([1,\infty);L^2)$. Combined with earlier results for $\mu=2$, $\mu\ge3$, and $0<\mu<2$, this settles the proposed threshold: above it global existence holds, while below it known blow-up results apply. The proof is explicit: it writes the linearized solution with Bessel and Hankel functions, splits frequencies into three zones, and converts sharp time-decay estimates into a contraction mapping. A sympathetic reader should care because scale-invariant damping is the borderline regime where damping neither vanishes nor fully dissipates, and two space dimensions make the Strauss-versus-Fujita threshold delicate.

What carries the argument

The machine that carries the proof is the explicit Fourier representation of the linear damped-wave propagator. For $\rho=-(\mu-1)/2\in(-1,-1/2)$, the multipliers $\Psi_0,\Psi_1$ in (2.4)-(2.5) are built from Hankel functions $H^\pm_\rho$, and the frequency space is split into $A_1=\{|\xi|\ge1\}$, $A_2=\{|\xi|\le1\le t|\xi|\}$, and $A_3=\{t|\xi|\le1\}$. In each zone, standard Bessel asymptotics give the size of $\Psi_0,\Psi_1$ and their $t$- and $\xi$-derivatives; these feed the homogeneous estimates (3.2), (3.52) and the inhomogeneous estimates (4.3), (4.4) in the $Z$-norms generated by the vector fields $\partial,L_0,L_j,\Omega_{12}$. The final contraction argument converts the linear decay into global existence for the nonlinear equation.

What would settle it

Evaluate $\partial_t\Psi_1(t,\tau,\xi)$ numerically in the intermediate zone $\tau|\xi|\le1\le t|\xi|$ for $\mu$ close to $3$; if the ratio $|\partial_t\Psi_1|\,/(t^{-1}\tau)$ grows without bound as $t\to\infty$ for some fixed $\tau,\xi$, then Lemma 4.1 and Theorem 1.1 would fail.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for $2<\mu<3$ and $p>2$, there is $\varepsilon_0>0$ such that for $0<\varepsilon<\varepsilon_0$ the problem with data $(\varepsilon u_0,\varepsilon u_1)$ admits a unique global solution in the stated regularity classes. The paper's own framing is that this closes the conjecture for $\mu\ge2$, where global existence should hold exactly at the Fujita exponent $p_f(2)=2$. It does so by proving uniform-in-time decay of the linear propagator in the three frequency zones $A_1,A_2,A_3$, then using Duhamel's principle to show the nonlinear map is contractive on a closed ball in the norm $\|u\|_{X(T)}=\sup_t(t^{-(\delta-1)}\|u\|_{Z,1,2}+t\|\partial u\|_{Z,1,2})$. The theorem is an extension result: it adds the missing interval $2<\mu<3$ to previously known cases.

Load-bearing premise

The whole theorem rests on one linear decay estimate: the derivative of the damped wave solution starting at time $\tau$ may grow at most like $t^{-1}\tau$, uniformly over all frequencies for every $2<\mu<3$; if that estimate fails in the intermediate frequency zone, the Duhamel integral no longer converges and global existence does not follow.

Editorial extensions

If this is right

  • Every nonvanishing damping strength $\mu>2$ now has global small-data solutions for every $p>2$, matching the Fujita exponent $p_f(2)=2$.
  • Together with the paper's companion results, the full open question (A) is resolved: $0<\mu<2$ requires $p>p_s(2+\mu)$, while $\mu\ge2$ requires only $p>2$.
  • The solution exists for all $t\ge1$ with uniform bounds on $t\|\partial u\|_{Z,1,2}$, so no singularity or energy concentration develops at any finite time.
  • The explicit Bessel estimates provide a template for the remaining endpoint $\mu=1$, which the paper announces is handled by a companion preprint with threshold $p>1+\sqrt2$.

Reading between the lines

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

  • A natural extension not treated here is to weaken the nonlinearity near the critical power $p=2$ by a logarithmic factor; the paper's integrability condition $p>2$ is used only to make a time integral converge, so the same three-zone machinery may survive such a perturbation.
  • One testable consequence that the paper does not formulate is an explicit dependence of $\varepsilon_0$ on $p$: tracking the constants in Proposition 5.1 should show $\varepsilon_0$ shrinking as $p\downarrow2$, which could be compared with the known blow-up threshold.
  • The proof suggests that the damping coefficient need not be exactly $\mu/t$; the same Hankel-function estimates should tolerate small time-dependent perturbations of $\mu/t$, although the paper does not address such perturbations.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper proves a global small-data existence theorem for the 2-D semilinear wave equation with scale-invariant damping, □u + (μ/t)∂_t u = |u|^p, in the previously open parameter range 2<μ<3 and p>2. The proof combines an explicit Fourier representation of the linear propagator in terms of Bessel and Hankel functions, a three-frequency-zone analysis, vector-field weighted norms of the type introduced in [21], and a Duhamel contraction argument in a space X(T). Theorem 1.1 states that for compactly supported smooth initial data of sufficiently small amplitude, a unique global solution exists in C([1,∞);H^2)∩C^1([1,∞);H^1)∩C^2([1,∞);L^2). The key analytic input is the decay estimate (4.4) for the inhomogeneous linear problem, together with the nonlinear estimates in Section 5 that reduce the required integrability to p>2.

Significance. If correct, Theorem 1.1 closes the last open range in the two-dimensional scale-invariant damping conjecture for μ≥2, namely 2<μ<3, since the cases μ=2 and μ≥3 are already covered by [2,3]. The proof is largely self-contained and has the desirable feature that the central decay estimate (4.4) is checked explicitly in all three frequency zones A1, A2, A3; the contraction argument then depends only on the condition p>2, which is exactly the Fujita exponent in two dimensions. The paper also gives explicit Bessel-function expressions and detailed pointwise bounds, so the main line of the proof is verifiable. The principal caveat is that the abstract's 'solved completely' assertion relies on the forthcoming paper [12] for the case μ=1, which is outside the present manuscript and not independently verifiable; this affects the completeness claim but not the validity of Theorem 1.1.

minor comments (5)
  1. [Section 4, Eq. (4.11)] There is a typo in (4.11): the displayed identity should read ‖|ξ_j| v̂‖_{L^2} = t^{-1}‖t|ξ_j| v̂‖_{L^2}, not t^{-1}‖t|ξ_j| ∂_t v̂‖_{L^2}. The subsequent bound uses (4.10) for ‖t|ξ_j| v̂‖, so the argument itself is unaffected, but the formula as written is incorrect.
  2. [Abstract and Remark 1.1] The assertion that the open question 'has been solved completely' is supported by the forthcoming paper [12] for the case μ=1, together with the preprints [11,19]. Since [12] is not yet available for independent verification, the completeness claim should be stated conditionally, for example by saying that the remaining case is treated in [12], rather than presenting the full conjecture as settled in this paper.
  3. [Section 5, between (5.1) and (5.22)] The fixed-point argument is carried out in the space X(T), whose norm controls u, ∂u and their first-order vector-field derivatives in L^2, but Theorem 1.1 asserts H^2 regularity. The passage from the X(T)-bound to u∈C([1,∞);H^2)∩C^1([1,∞);H^1)∩C^2([1,∞);L^2) is not demonstrated in the text; it is only referred to as in [21] or §4 of [3]. A short argument using finite speed of propagation and the elliptic invertibility of the vector fields {L0, Lj, Ω} on ∂u, or a precise statement of the applicable regularity result from [3], should be included.
  4. [Section 5, Eq. (5.20)] In the contraction estimate (5.20), the product estimate for ‖|u-v|(|u|+|v|)^{p-1}‖_{Z,1,(1+ε1,2)} suppresses the term where the vector field differentiates (|u|+|v|)^{p-1}. This term can be bounded by the same right-hand side because |u-v|≤|u|+|v| and the derivative of (|u|+|v|)^{p-1} is (p-1)(|u|+|v|)^{p-2}∂(|u|+|v|), but the step is not written out and should be made explicit for the contraction estimate to be fully self-contained.
  5. [Section 3, Eqs. (3.58)-(3.60)] The estimates for ∂_t^2 Ψ0 and ∂_t^2 Ψ1 in the low-frequency zone A3 are stated without derivation. Since the relevant Bessel functions have singular small-argument asymptotics and the claimed bounds rely on cancellations between determinant terms, a one-line derivation or a precise reference to the Bessel identities used would improve readability and verifiability.

Circularity Check

1 steps flagged · score 2.0 of 10

Theorem 1.1 is derived self-containedly from Bessel-function asymptotics and standard energy/vector-field estimates; no fitted parameter is renamed as a prediction. The only circularity-adjacent issue is that the paper's ``solved completely'' completeness claim leans on the authors' own forthcoming paper [12] for the μ=1 case.

  1. self citation load bearing [Abstract and Remark 1.1]
    "In forthcoming paper, for μ=1 and p>p_s(2+μ)=p_s(3)=1+√2, the global solution u is also obtained. Therefore, collecting our series of conclusions together with partial results from others, this open question has been solved completely. ... Collecting the results in [19] and [11] (for 0<μ<2 but μ≠1, p>p_s(2+μ)), [12] (for μ=1, p>p_s(2+μ)=1+√2) together with Theorem 1.1 in the paper (for 2<μ<3 and p>2), [3, Theorem 2] (for μ=2 and p>2) and [2, Theorem 2] (for μ≥3 and p>2), then the Open question (A) has been solved completely."

    The statement that the open question is 'solved completely' relies for the missing case μ=1 on reference [12], a forthcoming paper by the same three authors that is not externally verifiable from the present manuscript. This self-citation is load-bearing only for the completeness/abstract claim, not for Theorem 1.1, which is proved here independently for 2<μ<3. The present theorem does not reduce to [12] or to any fitted input; the circularity concern is therefore minor and limited to the completeness assertion.

full rationale

The core derivation chain for Theorem 1.1 is self-contained. Section 2 obtains the solution representation (2.3)--(2.6) from the standard Bessel/Hankel expression of [32, Theorem 2.1], and Lemma 2.2 quotes the classical asymptotic estimates (2.22)--(2.25) from the NIST handbook [24] and Watson [31]; these are external and machine-independent standard results. Lemmas 3.1 and 3.2 prove the homogeneous estimates (3.2) and (3.52) by checking the three frequency zones A1, A2, A3 with the Bessel bounds; Lemma 4.1 derives the inhomogeneous estimates (4.3) and (4.4) in the same way, with the parameter τ appearing from the initial time, and Proposition 5.1 combines these with Duhamel's principle and the fixed-point norm (5.1). The contraction argument in Section 5 uses only p>2, the Klainerman-Sobolev inequality, and the choice of δ(ε1) small; no 'prediction' is a refitted or renamed input. Equation (4.11) contains a harmless typo (∂_t appears twice), but the surrounding estimates (4.9)--(4.10) already supply the needed bound. The only genuine caveat is the completeness claim, which depends on the authors' forthcoming [12] for μ=1; that is a self-citation gap in the 'solved completely' assertion and does not compromise the independent proof of Theorem 1.1. Consistent with the rubric, this warrants score 2 rather than a higher score.

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

The central claim rests on standard mathematical tools: explicit Fourier representation of the damped wave equation, Bessel/Hankel asymptotics, Klainerman-Sobolev inequality, and Sobolev embedding. No free parameters are fitted to data; the auxiliary parameter ε1 is a proof constant chosen sufficiently small. No new entities are introduced.

assumptions (4)
  • standard math The solution representation of the linear damped wave equation via Hankel functions (Wirth [32, Theorem 2.1])
    Used in Section 2, equations (2.3)-(2.5), to express the Fourier multiplier for the homogeneous and inhomogeneous problem.
  • standard math Asymptotic estimates for Bessel and Hankel functions as z → ∞ and z → 0 (NIST [24], Watson [31])
    Used throughout Lemmas 2.2, 3.1, 3.2 and 4.1 to derive decay in the three frequency zones A1, A2, A3.
  • standard math Klainerman-Sobolev inequality (Klainerman [16])
    Invoked in inequality (5.12) to bound the sup norm of u in terms of weighted Z-norms.
  • standard math Sobolev embedding on the unit circle S^1 (H^1(S^1) ⊂ L^∞(S^1))
    Used in (5.11) to control the angular norm in the weighted spaces.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, III." pith.science (2026). https://pith.science/paper/OF35K5FW

@misc{pith2026250708274,
  author       = {Pith},
  title        = {Pith review of: Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, III},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OF35K5FW}},
  note         = {Machine review of arXiv:2507.08274}
}
abstract

For the $2$-D semilinear wave equation with scale-invariant damping $\square u+\frac{\mu}{t}\partial_tu=|u|^p$, where $t\geq 1$, $\mu>0$ and $p>1$, it is conjectured that the global small data weak solution $u$ exists when $p>p_{s}(2+\mu) =\frac{\mu+3+\sqrt{\mu^2+14\mu+17}}{2(\mu+1)}$ for $0<\mu\leq 2$ and $p>p_f(2)=2$ for $\mu\geq 2$. In our previous papers, the global small solution $u$ has been obtained for $p>p_{s}(2+\mu)$ and $0<\mu<2$ but $\mu\not=1$. In the present paper, by the vector field method together with the delicate analysis on the Bessel functions, we will show the global existence of small solution $u$ for $p>2$ and $\mu>2$. In forthcoming paper, for $\mu=1$ and $p>p_{s}(2+\mu)=p_{s}(3)=1+\sqrt 2$, the global solution $u$ is also obtained. Therefore, collecting our series of conclusions together with partial results from others, this open question has been solved completely.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 28 canonical work pages

  1. [12]

    Preprint (2025)

    He Daoyin, Li Qianqian, Yin Huicheng, Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, IV . Preprint (2025)

    work page 2025

  2. [21]

    Li Ta-tsien, Yu Xin, Life-span of classical solutions to fully nonlinear wave equations. Comm. Partial Differential Equations 16 (1991), 909-940

    work page 1991

  3. [1]

    D’Abbicco, Small data solutions for the Euler-Poisson-Darboux equation with a power non- linearity

    M. D’Abbicco, Small data solutions for the Euler-Poisson-Darboux equation with a power non- linearity. J. Differential Equations 286 (2021), 531-556

    work page 2021

  4. [2]

    D’Abbicco, The threshold of effective damping for semilinear wave equations

    M. D’Abbicco, The threshold of effective damping for semilinear wave equations. Math. Meth- ods Appl. Sci. 38 (6) (2015), 1032-1045

    work page 2015

  5. [3]

    D’Abbicco, S

    M. D’Abbicco, S. Lucente, M. Reissig, A shift in the Strauss exponent for semilinear wave equations with a not effective damping. J. Differential Equations 259 (2015), 5040-5073. 28

    work page 2015

  6. [4]

    Alinhac, The null condition for quasilinear wave equations in two space dimensions I

    S. Alinhac, The null condition for quasilinear wave equations in two space dimensions I. Invent. Math. 145 (2001), no. 3, 597-618

    2001

  7. [5]

    Alinhac, The null condition for quasilinear wave equations in two space dimensions, II

    S. Alinhac, The null condition for quasilinear wave equations in two space dimensions, II. Amer. J. Math. 123 (2001), no. 6, 1071-1101

    work page 2001

  8. [6]

    Alinhac, An example of blowup at infinity for a quasilinear wave equations

    S. Alinhac, An example of blowup at infinity for a quasilinear wave equations. Asterisque 284 (2003), 1-91

    work page 2003

Show all 32 references
  1. [7]

    Ding Bingbing, Liu Yingbo, Yin Huicheng, The small data solutions of general 3D quasilinear wave equations, I. SIAM J. Math. Anal. 47 (2015), no. 6, 4192-4228

    2015

  2. [8]

    Ding Bingbing, Xin Zhouping, Yin Huicheng, On global smooth solutions to the 2D isentropic and irrotational Chaplygin gases with short pulse data. Adv. Math. 476 (2025), Article 110362, 92 pp

    2025

  3. [9]

    Fujita, On the blowing up of solutions of the Cauchy Problem for ut = ∆u + u1+α

    H. Fujita, On the blowing up of solutions of the Cauchy Problem for ut = ∆u + u1+α. J. Fac. Sci. Univ. Tokyo13 (1966), 109-124

    1966

  4. [10]

    Preprint (2025), arXiv:2505.05268

    He Daoyin, Lai Ning-An, Morawetz type estimate for damped wave equation in Rn(n ≥ 4) and its application. Preprint (2025), arXiv:2505.05268

    2025 arXiv

  5. [11]

    Preprint (2025), arXiv:2503.19438

    He Daoyin, Li Qianqian, Yin Huicheng, Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, II. Preprint (2025), arXiv:2503.19438

    2025 arXiv

  6. [13]

    H ¨ormander, Lectures on nonlinear hyperbolic equations

    L. H ¨ormander, Lectures on nonlinear hyperbolic equations. Mathematiques & Applications, V ol. 26, Springer-Verlag, Heidelberg, 1997

    1997

  7. [14]

    Ikeda, M

    M. Ikeda, M. Sobajima, Life-span of solutions to semilinear wave equation with time-dependent critical damping for specially localized initial data. Math. Ann. 372 (3-4) (2018), 1017-1040

    2018

  8. [15]

    T. Imai, M. Kato, H. Takamura, K. Wakasa, The lifespan of solutions of semilinear wave equa- tions with the scale-invariant damping in two space dimensions. J. Differential Equations 269 (2020), no. 10, 8387-8424

    2020

  9. [16]

    Klainerman, Uniform decay estimates and Lorentz invariance of the classical wave equation

    S. Klainerman, Uniform decay estimates and Lorentz invariance of the classical wave equation. Comm. Pure Appl. Math. 38 (1985), 321-332

    1985

  10. [17]

    Klainerman, G

    S. Klainerman, G. Ponce, Global small amplitude solutions to nonlinear evolution equations. Comm. Pure Appl. Math. 36 (1983), no. 1, 133-141

    1983

  11. [18]

    Takamura, K

    Lai Ning-An, H. Takamura, K. Wakasa, Blow-up for semilinear wave equations with the scale invariant damping and super-Fujita exponent. J. Differential Equations 263 (9) (2017), 5377- 5394

    2017

  12. [19]

    Preprint (2025), arXiv:2503.18677

    Li Qianqian, Wang Dinghuai, Yin Huicheng, Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, I. Preprint (2025), arXiv:2503.18677. 29

    2025 arXiv

  13. [20]

    Li Ta-tsien, Chen Yun-mei, Initial value problems for nonlinear wave equations. Comm. Partial Differential Equations 13 (1988), no. 4, 383-422

    1988

  14. [22]

    Lindblad, On the lifespan of solutions of nonlinear wave equations with small initial data

    H. Lindblad, On the lifespan of solutions of nonlinear wave equations with small initial data. Comm. Pure Appl. Math. 43 (1990), 445-472

    1990

  15. [23]

    Lindblad, Global solutions of quasilinear wave equations

    H. Lindblad, Global solutions of quasilinear wave equations. Amer. J. Math. 130 (2008), 115- 157

    2008

  16. [24]

    Olver, D.W

    F.W.J. Olver, D.W. Lozier, R.F. Boisvert, C.W. Clark, NIST Handbook of Mathematical Func- tions. U.S. Department of Commerce, Washington, 2010

    2010

  17. [25]

    Palmieri, On the critical exponent for the semilinear Euler-Poisson-Darboux-Tricomi equa- tion with power nonlinearity

    A. Palmieri, On the critical exponent for the semilinear Euler-Poisson-Darboux-Tricomi equa- tion with power nonlinearity. J. Differential Equations 437 (2025), Article 113309

    2025

  18. [26]

    Palmieri, M

    A. Palmieri, M. Reissig, A competition between Fujita and Strauss type exponents for blow-up of semi-linear wave equations with scale-invariant damping and mass. J. Differential Equations 266 (2-3) (2019), 1176-1220

    2019

  19. [27]

    Palmieri, Tu Ziheng, A blow-up result for a semilinear wave equation with scale-invariant damping andmass and nonlinearity of derivative type

    A. Palmieri, Tu Ziheng, A blow-up result for a semilinear wave equation with scale-invariant damping andmass and nonlinearity of derivative type. Calc. Var. PDE 60 (2021), Paper No. 72, 23 pp

    2021

  20. [28]

    Strauss, Nonlinear scattering theory at low energy

    W. Strauss, Nonlinear scattering theory at low energy. J. Funct. Anal. 41 (1981), 110-133

    1981

  21. [29]

    Differential Integral Equations 32 (2019), no

    Tu Ziheng, Lin Jiayun, Life-span of semilinear wave equations with scale-invariant damping: critical Strauss exponent case. Differential Integral Equations 32 (2019), no. 5-6, 249-264

    2019

  22. [30]

    Wakasugi, Critical exponent for the semilinear wave equation with scale invariant damping, in: Fourier Analysis

    Y . Wakasugi, Critical exponent for the semilinear wave equation with scale invariant damping, in: Fourier Analysis. Birkh¨auser, Cham, 2014, pp. 375-390

    2014

  23. [31]

    Watson, A treatise on the theory of Bessel functions

    G.N. Watson, A treatise on the theory of Bessel functions. Cambridge University Press, 1922

    1922

  24. [32]

    Wirth, Solution representations for a wave equation with weak dissipation

    J. Wirth, Solution representations for a wave equation with weak dissipation. Math. Methods Appl. Sci. 27 (2004), no. 1, 101-124

    2004

Pith tools

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