REVIEW 1 major objections 4 minor 39 references
Appearance of Strauss-type exponent in semilinear wave equations with time-dependent speed of propagation
T0 review · 1 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper proves that arbitrarily small nonnegative data blow up in finite time for semilinear wave equations with time-dependent speed and integrable damping, whenever the nonlinearity lies below the He–Witt–Yin/Strauss threshold.
desk verdict Genuinely new lifespan estimate via a clean WKB/test-function argument, but the abstract overclaims full sub-Strauss blowup in high dimensions where the local existence theorem doesn't reach. 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 rests on a conservative quantity for the linear equation $\partial_t(e^{B(t)}\partial_t v)-e^{B(t)}a(t)^2\Delta v=0$: for any solution $\Phi$ of the linear equation, $e^{B(t)}\int(\partial_t v\,\Phi-v\,\partial_t\Phi)\,dx$ is constant in time. The paper chooses $\Phi(x,t)=m(t)\varphi(x)$, with $\varphi(x)=\int_{S^{N-1}}e^{x\cdot\omega}dS(\omega)$ (so $\Delta\varphi=\varphi>0$) and $m$ the decaying solution of $m''+b\,m'=a^2m$. Lemma 3.4, via the Liouville–Green (WKB) approximation of Lemma 2.1, gives $m(t)\asymp a(t)^{-1/2}e^{-A(t)}$ and $m'(t)\asymp -a(t)^{1/2}e^{-A(t)}$, making $\Phi$ concentrate near the light cone $|x|=A(t)$. Inserting this $\Phi$ into the test-function identity of Lemma 3.1 and using a carefully cut-off test function $\psi_R$ yields a lower bound on the weighted $L^p$ norm of $u$, which together with a first mass estimate gives the lifespan bound.
What would settle it
For a covered case such as $N=3$, $\alpha=0$, $p=1.5$, with small nonnegative compact data, a numerical or rigorous construction of a global solution, or of a lifespan growing faster than $\varepsilon^{-2p(p-1)/\gamma_S(3,p)}$, would contradict the theorem. Alternatively, for $N=10$ and $p=1.36$ (between the local-existence cap $4/3$ and $p_S(10)\approx1.383$), finding a global strong solution would show that the abstract's sweeping sub-Strauss statement needs the solution-class restriction.
Extended reading notes
Core claim
The central claim is that the Strauss-type exponent governs blowup for the whole family $\partial_t^2 u - a(t)^2\Delta u + b(t)\partial_t u = |u|^p$, not just for the constant-speed equation. Concretely, Theorem 1.2 shows that for strong solutions with nonnegative data, $\varepsilon \le C\, T^{-(p^2+1)/(p(p-1))} A(T)^{N/p} \left(\int_0^T a(t)^{p'/2}(1+A(t))^{N-1-(N-1)p'/2}\,dt\right)^{1/p'}$. When $a(t)\sim(1+t)^\alpha$ and $b(t)\sim(1+t)^{-\beta}$ with $\alpha>-1$ and $\beta>1$, Corollary 1.3 converts this into $T_\varepsilon\le C\,\varepsilon^{-2p(p-1)/((1+\alpha)\gamma(N,\alpha;p))}$ for all $1<p<p_{\mathrm{HWY}}(N,\alpha)$, where $\gamma(N,\alpha;p)=2+\left(\frac{N+1-3\alpha}{1+\alpha}\right)p-\left(\frac{N-1+\alpha}{1+\alpha}\right)p^2$. Thus the same exponent that appears for the generalized Tricomi equation appears for variable speeds, and for $\alpha=0$ it reduces to the Strauss exponent $p_S(N)$, so the result contains the classical small-data blowup for sub-Strauss powers.
Load-bearing premise
The load-bearing premise is that the solution is a strong solution for which the nonlinear term $|u|^p$ is regular enough, meaning $p$ satisfies the local-well-posedness restriction (1.7); in high dimensions this range ends below the Strauss threshold, so the theorem's blowup conclusion is not asserted for the remaining sub-Strauss powers without an extra existence argument.
Editorial extensions
If this is right
- For $a(t)\sim(1+t)^\alpha$ with $\alpha>-1$ and integrable damping, the finite-time blowup interval is $1<p<p_{\mathrm{HWY}}(N,\alpha)$; the earlier condition based only on $\sigma=1+\alpha$ is sharpened to the Strauss-type threshold.
- Setting $\alpha=0$ recovers the classical sub-Strauss blowup for the constant-speed wave equation, and setting $b\equiv 0$ recovers a slightly generalized version of the subcritical Tricomi lifespan estimate.
- The lifespan upper bound has the same $\varepsilon$-power as in the generalized Tricomi theory, so the time-dependent speed does not change the blowup rate.
- The support of the data enters only through fixed constants, so the blowup mechanism is independent of the detailed shape of $f$ and $g$ as long as they are nonnegative and not identically zero.
Reading between the lines
- The authors explicitly leave the critical case $p=p_{\mathrm{HWY}}(N,\alpha)$ open; a natural extension of the same conservative-quantity estimate would give an exponential lifespan upper bound, which they indicate as forthcoming.
- Because the proof only treats $H^2$ strong solutions with $p$ satisfying (1.7), in high dimensions (starting at $N=9$ for $\alpha=0$) the theorem does not cover powers just below the Strauss exponent; extending local well-posedness or passing to weaker solutions would close that gap.
- The same $\Phi$-based conservative quantity may apply to weakly coupled systems of such equations, where the Strauss-type exponent is typically replaced by a curve in $(p,q)$.
- One could test numerically whether the lifespan exponent matches the predicted $2p(p-1)/((1+\alpha)\gamma(N,\alpha;p))$ for intermediate $\alpha$, which is not yet covered by other methods.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper considers the Cauchy problem for semilinear wave equations ∂_t^2 u - a(t)^2 Δu + b(t)∂_t u = |u|^p with small nonnegative compactly supported data. Under assumptions that a(t) is positive and b(t) is nonnegative and integrable, it proves upper bounds for the lifespan of strong solutions via a test-function method based on conservative quantities for the linear equation. The test functions are constructed from a special solution of the separated linear equation using the Liouville–Green (WKB) approximation. For coefficients behaving like a(t)~(1+t)^α and b(t)~(1+t)^{-β}, the authors derive the Strauss/HWY-type exponent pHWY(N,α) and the lifespan estimate T_ε ≤ C ε^{-2p(p-1)/((1+α)γ(N,α;p))} for subcritical p.
Significance. The test-function framework is clean and the WKB construction is explicit. The paper gives a unified derivation of Strauss-type blow-up for a class of time-dependent speeds, recovering the classical wave and generalized Tricomi cases, and it provides explicit lifespan bounds. The proof of Theorem 1.2 is a chain of well-controlled estimates (Lemmas 3.1, 3.2, 3.4) with no free parameters or post-hoc exclusions. The main caveat is the local well-posedness restriction (1.7), which narrows the claimed sub-Strauss range in high dimensions; this is a correctness-risk concern for the advertised scope rather than an internal inconsistency.
major comments (1)
- [Proposition 1.1 and Eq. (1.7); Corollary 1.3; Remark 1.2(iv)] The advertised sub-Strauss blow-up range is not fully covered for N≥9. Corollary 1.3 requires p to satisfy (1.7), i.e., p≤(N−2)/(N−4) for N≥5, while for a≡1, b≡0 it claims p<pHWY(N,0)=pS(N). For N=10, pS(10)=(11+√193)/18≈1.383 exceeds 4/3, and the same phenomenon occurs for all N≥9 when α is close to 0 or negative. The gap is not a defect in the test-function argument, which only uses integration by parts and L^p bounds, but it means the local well-posedness result in Proposition A.1, proved via the Liouville transform and contraction mapping in H^1×L^2, is the limiting step: |f|^p∈H^1 for f∈H^2 fails for p above (N−2)/(N−4). Since the abstract and Remark 1.2(iv) advertise the Strauss exponent as the outcome of the method, the paper needs either an extension of local well-posedness to weaker solution classes covering 1<p<pHWY(N,α), or a revised statement that explicitly restricts the sub-Strauss claim to the dimensions and α-ranges in which (1.7) is not binding.
minor comments (4)
- [Proposition A.1] The line 'supp u1 ⊂ B(0, r0+∫_0^t a(r)dr)' should read 'supp u(t) ⊂ ...', since u1 denotes the initial velocity.
- [Introduction] There is a typo in the sentence 'the the integral of e^{B(t)}(∂_t v Φ − v ∂_t Φ) is independent of t'; delete the duplicated article.
- [Section 3, proof of the second estimate] The statement that 'the conditions (A1) and (A3) also give the boundedness of 1/((1+t)a(t))' is terse; a one-line proof (using (a^{-1})'→0 to get a^{-1}(t)=o(t)) would improve readability.
- [Corollary 1.3] It would be helpful to state explicitly that the power-type estimates on a and b imply the assumptions (A2)–(A3) needed for Lemma 3.4 and Theorem 1.2.
Circularity Check
No circular derivation: lifespan bound follows from a self-contained test-function argument; the Strauss-type exponent emerges from an integral threshold, not from a fitted input.
full rationale
The derivation chain is self-contained. Theorem 1.2's lifespan bound is obtained by combining Lemma 3.1, which is proved directly via differentiation and integration by parts, with the explicit cutoff ψ_R of (3.3), the estimates in Lemma 3.2, Proposition 3.3 derived from the Φ≡1 conservation law, and the separated solution Φ_*=m_*(t)φ(x) whose asymptotic decay is established in Lemma 3.4 from the Liouville–Green Lemma 2.1. Substituting the power-type behavior a(t)~(1+t)^α and A(t)~(1+t)^{1+α} into the theorem's integral threshold yields a power of R whose negativity is exactly the condition γ(N,α;p)>0; the lifespan exponent 2p(p-1)/((1+α)γ(N,α;p)) is an algebraic consequence of that computation, not an assumed or fitted parameter. The cited works [10], [20], and [26] are used as tools or comparisons, and the key estimates are re-proved inside the paper, so no load-bearing claim reduces to an unverified self-citation. The only notable limitation is that Proposition 1.1 requires p to satisfy (1.7); for N≥9 this restricts the range covered by Corollary 1.3 and leaves part of the sub-Strauss interval unproved (e.g., N=10, α=0 leaves 4/3 < p < p_S(10)). That is a completeness gap concerning the solution class, not a circularity.
Assumptions & free parameters
assumptions (4)
- standard math Liouville-Green approximation (Lemma 2.1) for ODEs y'' = V y
- standard math Local well-posedness of strong solutions under (1.7) via contraction mapping
- standard math Yordanov-Zhang cone estimate for phi(x) = integral_{S^{N-1}} e^{x.omega} dS
- domain assumption Power-type behavior of a(t) and b(t) in Corollary 1.3 satisfies (A1)-(A3)
Cite this review
Pith. "Pith review of Appearance of Strauss-type exponent in semilinear wave equations with time-dependent speed of propagation." pith.science (2026). https://pith.science/paper/RW52SGVJ
@misc{pith2026241208834,
author = {Pith},
title = {Pith review of: Appearance of Strauss-type exponent in semilinear wave equations with time-dependent speed of propagation},
year = {2026},
howpublished = {\url{https://pith.science/paper/RW52SGVJ}},
note = {Machine review of arXiv:2412.08834}
}
read the original abstract
In this paper, blowup phenomenon for the semilinear wave equation with time-dependent speed of propagation and scattering damping is considered under the smallness of initial data. Our result contains small data blowup for sub-Strauss exponent for the simplest semilinear wave equation and also the one for semilinear generalized Tricomi equation. Key ingredient is so-called test function method (developed in Ikeda--Sobajima--Wakasa [10]) with a certain conservative quantity via a special solution with the Liouville--Green (or WKB) approximation.
Reference graph
Works this paper leans on
- [10]
-
[1]
D’Abbicco, The threshold of effective damping for semilinear wave equati ons Math
M. D’Abbicco, The threshold of effective damping for semilinear wave equati ons Math. Methods Appl. Sci. 38 (2015), 1032–1045. MR3338131
work page 2015
-
[2]
D’Abbicco, Small data solutions for the Euler-Poisson-Darboux equati on with a power nonlinearity, J
M. D’Abbicco, Small data solutions for the Euler-Poisson-Darboux equati on with a power nonlinearity, J. Differential Equations 286 (2021), 531–556. MR4234816
work page 2021
-
[3]
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. MR3377518
work page 2015
-
[4]
V. Georgiev, H. Lindblad, C. Sogge, Weighted Strichartz estimates and global existence for semilinear wave equations , Amer. J. Math. 119 (1997), 1291–1319. MR1481816
work page 1997
-
[5]
D. He, I. Witt, H. Yin, On the global solution problem for semilinear generalized T ricomi equations, I, Calc. Var. Partial Differential Equations 56 (2017), no.2, Paper No. 21, 24 pp. MR3606779
work page 2017
-
[6]
D. He, I. Witt, H. Yin, On semilinear Tricomi equations with critical exponents or in two space dimensions, J. Differential Equations 263 (2017), 8102–8137. MR3710680
work page 2017
-
[7]
D. He, I. Witt, H. Yin, On the Strauss index of semilinear Tricomi equation , Commun. Pure Appl. Anal. 19 (2020), 4817–4838. MR4147332
work page 2020
Show all 39 references
-
[8]
D. He, I. Witt, H. Yin, Finite time blowup for the 1-D semilinear generalized Trico mi equation with subcritical or critical exponents , Methods Appl. Anal. 28 (2021), 313–324. MR4440468
2021
-
[9]
Ikeda, M
M. Ikeda, M. Sobajima, Life-span of solutions to semilinear wave equation with time - dependent critical damping for specially localized initia l data, Math. Ann. 372 (2018), 1017–
2018
-
[11]
John, Blow-up of solutions of nonlinear wave equations in three sp ace dimensions , Manuscripta Math
F. John, Blow-up of solutions of nonlinear wave equations in three sp ace dimensions , Manuscripta Math. 28 (1979), 235–268. MR0535704
1979
-
[12]
N.A. Lai, A. Palmieri, H. Takamura, A blow-up result for the semilinear Euler-Poisson- Darboux-Tricomi equation with critical power nonlinearit y, arXiv:2405.16145. 17
-
[13]
N.A. Lai, H. Takamura, Blow-up for semilinear damped wave equations with subcriti cal exponent in the scattering case , Nonlinear Anal. 168 (2018), 222–237. MR3759477
2018
-
[14]
N.A. Lai, H. Takamura, K. Wakasa, Blow-up for semilinear wave equations with the scale invariant damping and super-Fujita exponent , J. Differential Equations 263 (2017), 5377–
2017
-
[15]
J. Lin, K. Nishihara, J. Zhai, Critical exponent for the semilinear wave equation with time - dependent damping, Discrete Contin. Dyn. Syst. 32 (2012), 4307–4320. MR2966748
2012
-
[16]
Matsumura, On the asymptotic behavior of solutions of semi-linear wave equations, Publ
A. Matsumura, On the asymptotic behavior of solutions of semi-linear wave equations, Publ. Res. Inst. Math. Sci. 12 (1976/77), 169–189. MR0420031
1976
-
[17]
Asymptotics and special functions,
F.W.J. Olver, “Asymptotics and special functions,” Co mputer Science and Applied Math- ematics, Academic Press, New York-London, 1974. MR0435697
1974
-
[18]
Palmieri, Blow-up results for semilinear damped wave equations in Ein stein–de Sitter spacetime, Z
A. Palmieri, Blow-up results for semilinear damped wave equations in Ein stein–de Sitter spacetime, Z. Angew. Math. Phys. 72 (2021), no.2, Paper No. 64, 31 pp. MR4227872
2021
-
[19]
Palmieri, Lifespan estimates for local solutions to the semilinear wav e equation in Ein- stein–de Sitter spacetime , Appl
A. Palmieri, Lifespan estimates for local solutions to the semilinear wav e equation in Ein- stein–de Sitter spacetime , Appl. Anal. 102 (2023), 3577–3608. MR4618658
2023
-
[20]
Sobajima, G
M. Sobajima, G. Metafune, An elementary proof of asymptotic behavior of solutions of u′′ = V u, Proceedings of Equadiff 14. Bratislava: Slovak University of Technology in Bratislava, SPEKTRUM STU Publishing, 2017. 369–376. http://eudml.org/doc/294913
2017
-
[21]
Strauss, Nonlinear scattering theory at low energy , J
W.A. Strauss, Nonlinear scattering theory at low energy , J. Functional Analysis 41 (1981), 110–133. MR0614228
1981
-
[22]
Todorova, B
G. Todorova, B. Yordanov, Critical exponent for a nonlinear wave equation with damping , J. Differential Equations 174 (2001), 464–489. MR1846744
2001
-
[23]
Tsutaya, Y.Wakasugi, Blow up of solutions of semilinear wave equations in Friedma nn– Lema ˆ ıtre–Robertson–Walker spacetimeJ
K. Tsutaya, Y.Wakasugi, Blow up of solutions of semilinear wave equations in Friedma nn– Lema ˆ ıtre–Robertson–Walker spacetimeJ. Math. Phys. 61 (2020), no. 9, 091503, 21 pp. MR4144104
2020
-
[24]
Tsutaya, Y
K. Tsutaya, Y. Wakasugi, On heatlike lifespan of solutions of semilinear wave equati ons in Friedmann-Lema ˆ ıtre-Robertson-Walker spacetime, J. Math. Anal. Appl. 500 (2021), no.2, Paper No. 125133, 13 pp. MR4234230
2021
-
[25]
Tsutaya, Y.Wakasugi, Blow-up of solutions of semilinear wave equations in accele rated expanding Friedmann–Lema ˆ ıtre–Robertson–Walker spacetime, Rev
K. Tsutaya, Y.Wakasugi, Blow-up of solutions of semilinear wave equations in accele rated expanding Friedmann–Lema ˆ ıtre–Robertson–Walker spacetime, Rev. Math. Phys. 34 (2022), no. 2, Paper No. 2250003, 16 pp. MR4386954
2022
-
[26]
Tsutaya, Y.Wakasugi, Blow up of solutions of semilinear wave equations with time- dependent propagation speed and damping , to appear in: Advanced Studies in Pure Math- ematics
K. Tsutaya, Y.Wakasugi, Blow up of solutions of semilinear wave equations with time- dependent propagation speed and damping , to appear in: Advanced Studies in Pure Math- ematics
-
[27]
Z. Tu, J. Lin, A note on the blowup of scale invariant damping wave equation with sub- Strauss exponent, preprint (2017). arXiv:1709.00866 18
2017 arXiv
-
[28]
Z. Tu, J. Lin, Life-span of semilinear wave equations with scale-invarian t damping: critical Strauss exponent case , Differential Integral Equations 32 (2019), 249–264. MR3938339
2019
-
[29]
Z. Tu, J. Lin, Lifespan of semilinear generalized Tricomi equation with St rauss type expo- nent, preprint (2019). arXiv:1903.11351v2
2019 arXiv
-
[30]
Wakasa, B
K. Wakasa, B. Yordanov, On the nonexistence of global solutions for critical semili near wave equations with damping in the scattering case , Nonlinear Anal. 180 (2019), 67–74. MR3872791
2019
-
[31]
Wakasugi, Critical exponent for the semilinear wave equation with scal e invariant damp- ing, Fourier analysis, 375–390
Y. Wakasugi, Critical exponent for the semilinear wave equation with scal e invariant damp- ing, Fourier analysis, 375–390. Trends Math. Birkh¨ auser/Springer, Cham, 2014. MR3362030
2014
-
[32]
Wirth, Solution representations for a wave equation with weak diss ipation, Math
J. Wirth, Solution representations for a wave equation with weak diss ipation, Math. Meth- ods Appl. Sci. 27 (2004), 101–124. MR2023397
2004
-
[33]
Wirth, Asymptotic properties of solutions to wave equations with t ime-dependent dissi- pation, Ph.D
J. Wirth, Asymptotic properties of solutions to wave equations with t ime-dependent dissi- pation, Ph.D. Thesis, TU Bergakademie Freiberg, 2005
2005
-
[34]
Wirth, Wave equations with time-dependent dissipation
J. Wirth, Wave equations with time-dependent dissipation. I. Non-effe ctive dissipation , J. Differential Equations 222 (2006), 487–514. MR2208294
2006
-
[35]
Wirth, Wave equations with time-dependent dissipation
J. Wirth, Wave equations with time-dependent dissipation. II. Effectiv e dissipation, J. Dif- ferential Equations 232 (2007), 74–103. MR2281190
2007
-
[36]
Wirth, Scattering and modified scattering for abstract wave equati ons with time-dependent dissipation, Adv
J. Wirth, Scattering and modified scattering for abstract wave equati ons with time-dependent dissipation, Adv. Differential Equations 12 (2007), 1115–1133. MR2362265
2007
-
[37]
Yordanov, Q.S
B. Yordanov, Q.S. Zhang, Finite time blow up for critical wave equations in high dimen sions, J. Funct. Anal. 231 (2006), 361–374. MR2195336
2006
-
[38]
Zhang, A blow-up result for a nonlinear wave equation with damping: the critical case , C
Q.S. Zhang, A blow-up result for a nonlinear wave equation with damping: the critical case , C. R. Acad. Sci. Paris S´ er. I Math. 333 (2001), 109–114. MR1847355
2001
-
[39]
Zhou, Blow up of solutions to semilinear wave equations with criti cal exponent in high dimensions, Chinese Ann
Y. Zhou, Blow up of solutions to semilinear wave equations with criti cal exponent in high dimensions, Chinese Ann. Math. Ser. B 28 (2007), 205–212. MR2316656 19
2007
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.