REVIEW 3 major objections 5 minor 2 cited by
Morawetz type estimate for damped wave equation in $\mathbb{R}^n (n\geq 4)$ and its application
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read A Morawetz-type weighted energy estimate for the scale-invariant damped wave equation is proved, and it yields global weak solutions for the previously open $\mu=1$ case in dimensions $n\ge4$.
desk verdict The Morawetz estimate is real and its proof is careful; the advertised μ=1 global existence theorem is not actually proved in this version — Lemma 3.3 is deferred, the small-time decay (3.8) is asserted, and no fixed-point argument appears. 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 load-bearing object is the multiplier $X=(t+r)(\partial_t+\partial_r+\frac{n-1}{2r}+\frac{\mu}{2t})+|t-r|(\partial_t-\partial_r-\frac{n-1}{2r}+\frac{\mu}{2t})$, with $r=|x|$. The paper's viewpoint is that $\partial_t^2+\frac{\mu}{t}\partial_t$ is the radial Laplace operator in $1+\mu$ time dimensions, so the multiplier for the damped equation adds a $\mu/(2t)$ term to the classical wave-equation multiplier. Integrating $X\phi(\Box\phi+\frac{\mu}{t}\partial_t\phi)r^{n-1}t^\mu$ over the light cones produces positive boundary terms on time slices and light-cone surfaces, converting the damped wave operator into weighted $L^2$ energy control. This multiplier is then combined with Hankel-function solution representations, Littlewood-Paley decompositions, and the localization technique for weighted Strichartz estimates from [9] and [24] to obtain the linear estimates. The $\mu=1$ logarithmic singularity at zero frequency is handled by viewing the equation as an ultra-hyperbolic equation in $\mathbb{R}^{2+n}$ and applying Lorentz-type rotations to remove support restrictions.
What would settle it
Take the homogeneous equation (3.1) with $\mu=1$, $n=4$, and a fixed compactly supported datum, and compute, numerically or from the Hankel representation, the maximum of $(1+t)^{2}(1+|t-|x||)^{2-\delta}|v(t,x)|$ over $2\le t\le T_0$; if this quantity is unbounded, (3.8) is false and the proof's integrability argument collapses.
Extended reading notes
Core claim
The central claim, Theorem 1.1, is that for $n\ge4$, $\mu\in(0,2)$, and $\gamma>1$, the zero-data solution of the linear inhomogeneous problem (1.5) satisfies a weighted energy inequality. Written with $u=t-|x|$, it is $$\sup_{t_0<t\le T} $t^{{\mu/2}}$\Big(\|(1+|u|)^{1/2}\nabla_{t,x}\phi\|_{$L^{2}$(\mathbb{R}^n)}+\|(1+|u|)^{1/2}\phi/|x|\|_{$L^{2}$(\mathbb{R}^n)}+\|(1+|u|)^{1/2}\phi/t\|_{$L^{2}$(\mathbb{R}^n)}\Big)\le C\,\|(1+|u|)^{\gamma/2}(1+u)^{\gamma/2}$t^{{\mu/2}}$F\|_{$L^{2}$([t_0,T]\times\mathbb{R}^n)}.$$ This is the weighted $L^2$-$L^2$ endpoint the authors extract by choosing a multiplier adapted to the damping. Interpolating it with an $L^1$-$L^\infty$ estimate derived from Fourier integral representations of the solution gives the weighted Strichartz estimates for the linear equation. The application is Theorem 1.2: for $n\ge4$ and $p_{\mathrm{crit}}(n,1)<p\le p_{\mathrm{conf}}(n,1)$, the regular Cauchy problem (1.8) with small $C^\infty_c$ data admits a global weak solution $\phi$ with $|1+t^2-|x|^2|^\gamma t^{1/(p+1)}\phi\in L^{p+1}([2,\infty)\times\mathbb{R}^n)$ for some $\gamma$ in the interval $\frac{1}{p(p+1)}<\gamma<\frac{np-(n+2)}{2(p+1)}$.
Load-bearing premise
The argument rests on the pointwise decay bound $|v(t,x)|\le \epsilon C(1+t)^{-n/2}(1+|t-|x||)^{-n/2+\delta}$ for the homogeneous damped equation, particularly the small-time estimate (3.8) with exponent $n/2$, which the paper asserts without proof; if that decay is weaker than claimed, the weighted Strichartz lemma and Theorem 1.2 no longer follow.
Editorial extensions
If this is right
- With $\mu=1$ covered, the regular problem is now solved across $\mu\in(0,2)$ for $n\ge4$ in the range between the shifted Strauss exponent and the conformal exponent, so the critical exponent $p_{\mathrm{crit}}(n,1)$ is sharp for this parameter set.
- Since the estimate is stated for all $\mu\in(0,2)$, any nonlinearity that fits the weighted $L^2$ forcing norm can be treated by the same Picard iteration, not just the pure power nonlinearity $|u|^p$.
- The weighted Strichartz estimates carry the characteristic weight $(t^2-|x|^2)^\gamma$, which is exactly the weight required for the spacetime $L^{p+1}$ norm in Theorem 1.2, so the global existence statement is matched to the estimates rather than obtained by an ad hoc device.
- The small-time part of the proof uses the same Morawetz estimate directly, so the argument supplies a unified weighted $L^2$ framework for both the local and the long-time analysis of the damped equation.
Reading between the lines
- The paper's $(n+1+\mu)$-dimensional reading suggests trying the same multiplier for $\mu\ge2$ or non-integer damping; the multiplier formula is algebraic in $\mu$, so testing whether the restriction $0<\mu<2$ is essential would be a direct extension.
- The small-time decay assertion (3.8) is the part most worth checking independently; if it fails, only the small-time portion of Lemma 3.1 would need repair, not the large-time Fourier-integral analysis.
- The Lorentz-rotation argument used to remove the support restriction is dimension-agnostic, so the same strategy should give $\mu=1$ global existence in lower dimensions $n=2,3$, with only the numerology of the weights changed.
- The logarithmic singularity at zero frequency for $\mu=1$ is characteristic of other degenerate hyperbolic equations, suggesting the weighted estimates may transfer to those settings at the same parameter value.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a Morawetz-type L2-L2 estimate for the linear inhomogeneous wave equation with scale-invariant damping, Box phi + (mu/t) partial_t phi = F, in R^n with n >= 4 and mu in (0,2). The proof in Section 2 introduces a multiplier that is adapted to the damping term by viewing the operator as an (n+1+mu)-dimensional radial operator. The authors then use this estimate to derive weighted Strichartz estimates for the inhomogeneous problem and state, as Theorem 1.2, a sharp global existence result for the semilinear problem with mu = 1 in R^n (n >= 4) for p in (p_crit(n,1), p_conf(n,1)]. The paper claims that this closes the mu = 1 case, which was left open by the Tricomi-transform approach.
Significance. If fully established, the results are significant. The Morawetz-type estimate in Theorem 1.1 is new and the multiplier construction is an elegant way to handle the scale-invariant damping. Theorem 1.2 would complete the global existence picture for mu = 1 in high dimensions and, together with known blow-up results, would verify the conjectured critical exponent in that case. The self-contained proof of Theorem 1.1 in Section 2 is a strength of the paper. However, the route from the linear estimates to the nonlinear application is currently incomplete, so the central claim is not yet supported.
major comments (3)
- [Section 3.2, Lemma 3.3 and Eq. (3.18)] Lemma 3.3 is the q = 2 endpoint of Theorem 3.2, but its proof is omitted with only a reference to Lemma 3.1 in [24]. This is not a routine adaptation. The estimate (3.18) controls the inverse characteristic weight |t-|x||^{-1/2} on the function phi, whereas the proved Morawetz estimate (1.6) controls |t-|x||^{1/2} on the gradient and carries additional (1+|u|)^{gamma/2}(1+u)^{gamma/2} source weights. The passage between these two is precisely the delicate mu = 1 behavior caused by the logarithmic singularity in (3.5). Since (3.19) and the interpolation producing (3.16) depend on Lemma 3.3, Theorem 3.2 is not established as written.
- [Section 3, proof of Theorem 1.2] The promised application is not proved. After Lemma 3.4, the paper moves directly to the appendix, and no Picard iteration or fixed-point argument for Theorem 1.2 appears. There is no definition of the solution space, no estimate of the nonlinear term |phi|^p in the dual space required by the weighted Strichartz inequality (3.16), and no iteration argument. Theorem 1.2 is the main application stated in the abstract and introduction, so this is a load-bearing omission.
- [Section 3.1, Lemma 3.1 and Eq. (3.8)] The proof of the homogeneous weighted Strichartz estimate contains unproved technical claims. The small-time pointwise bound (3.8) asserts the decay (1+t)^{-n/2}(1+|t-|x||)^{-n/2}, which is stronger than the free-wave decay (3.7) from which it is said to follow, and no derivation is supplied. In the large-time part, the high-frequency contributions in Cases II.2 and II.3 are controlled with factors of the form 2^{delta j}, and the summation over j requires additional high-frequency decay that is not written down. The weighted L^q estimate (3.6) therefore needs a complete proof or a precise citation.
minor comments (5)
- [Notation before Theorem 1.1] The two characteristic variables are both denoted by u: the text writes 'u = t-|x|, u = t+|x|'. This makes the factors (1+|u|) and (1+u) in (1.6) ambiguous; please use distinct symbols, for example u and bar-u.
- [Proof of Lemma 2.1, Eq. (2.4)] The integration in (2.4) is written over R^3, but the statement is in R^n; this appears to be a typo.
- [Eqs. (3.9)-(3.10)] The expressions '|j|22nj' and similar are not typeset clearly; they should read |j|^2 2^{nj} or the intended power should be specified.
- [Section 3.2, Lemma 3.4] Several steps in the proof of Lemma 3.4, including the proofs of Lemmas 3.5 and 3.6 and the Lorentz-rotation reduction, are delegated to [9] with 'we omit the details'. More detail would improve the self-containedness of the paper, even if the arguments are standard.
- [Abstract] There is a typo in the abstract: 'etimate' should be 'estimate'.
Circularity Check
No circularity: the Morawetz estimate is proved from first principles and the application uses it as a black box; the unproved cited lemma is a proof gap, not a circular reduction.
full rationale
The core Morawetz estimate (Theorem 1.1) is not assumed. It is derived in Section 2 from an explicit multiplier identity, integration along characteristics, and the energy lemmas A.1-A.2, which are themselves proved from Wirth's Hankel-function representation. The application chain, Theorem 1.1 to the weighted Strichartz estimates in Theorem 3.2 to the global existence claim in Theorem 1.2, never re-inserts the conclusion as an input; the nonlinear step is described as a standard Picard iteration. The only self-citation that carries real weight is Lemma 3.3, whose proof is omitted with the sentence 'The proof of Lemma 3.3 is similar to that of Lemma 3.1 in [24], thus we omit the details.' This is a genuine gap in the written proof, as is the asserted small-time decay bound (3.8), but these are omissions rather than circularity: the cited Lemma 3.1 in [24] is a published free-wave estimate, not the damped equation's target bound, and no displayed equation in the paper is equal to an input by construction. Because no prediction or first-principles result reduces to its own assumptions, the circularity score is 0.
Assumptions & free parameters
assumptions (6)
- standard math Hardy inequality in R^n
- domain assumption Wirth's solution representation of the damped wave equation via Hankel functions [36, Theorem 2.1, Proposition 3.1]
- domain assumption Weighted Strichartz estimates and Lorentz rotation method of Georgiev, Lindblad and Sogge [9]
- domain assumption Pointwise decay estimates (3.8) and (3.12) for the homogeneous damped solution
- domain assumption Finite speed of propagation and the Duhamel representation from Palmieri [30]
- standard math Littlewood-Paley decomposition, Bernstein inequalities and stationary phase
Cite this review
Pith. "Pith review of Morawetz type estimate for damped wave equation in $\mathbb{R}^n (n\geq 4)$ and its application." pith.science (2026). https://pith.science/paper/2VRZKYAG
@misc{pith2026250505268,
author = {Pith},
title = {Pith review of: Morawetz type estimate for damped wave equation in $\mathbbR^n (n\geq 4)$ and its application},
year = {2026},
howpublished = {\url{https://pith.science/paper/2VRZKYAG}},
note = {Machine review of arXiv:2505.05268}
}
abstract
In this paper we establish a Morawetz type etimate for the linear inhomogeneous wave equation with time-dependent scale invariant damping in $\mathbb{R}^n (n\geq 4)$. The novelty is that we view the differential operator $\Box+\frac{\mu}{t}\partial_t$ as $n+1+\mu$ dimensional operator, then a well-matched multiplier is introduced. As an application, a sharp global existence result for the small data Cauchy problem of the semilinear wave equation \[ \partial_t^2u-\Delta u+\frac{\partial_tu}{t}=|u|^p,~~~t>t_0\geq 0 \] is obtained in $\mathbb{R}^n (n\geq 4)$.
Forward citations
Cited by 2 Pith papers
-
Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, III
For 2 < μ < 3 and p > 2, small initial data give a unique global solution to □u + (μ/t)∂_t u = |u|^p in two space dimensions.
-
Global existence of small data solutions to 3-D semilinear Euler-Poisson-Darboux equations
For the 3D Euler-Poisson-Darboux equation with μ ≥ 14/5, small-data global solutions exist whenever p > max{5/3, 1 + 2/μ}.
Reference graph
Works this paper leans on
-
[24]
N. Lai, Y . Zhou, An elementary proof of Strauss conjecture, J. Funct. Anal. 267 (2014), no. 5, 1364–1381. 28
work page 2014
-
[1]
D’Abbicco, The threshold of effective damping for semilinear wave equations, Math
M. D’Abbicco, The threshold of effective damping for semilinear wave equations, Math. Methods Appl. Sci. 38 (6) (2015), 1032–1045
work page 2015
-
[2]
D’Abbicco, Small data solutions for the Euler-Poisson-Darboux equation with a power non linearity, J
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
-
[3]
M. D’Abbicco, S. Lucente, NLWE with a special scale invariant damping in odd space dimension, Discrete Contin. Dyn. Syst., 10th AIMS Conference. Suppl., (2015), 312-319
work page 2015
-
[4]
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
work page 2015
-
[5]
A. Erdelyi, W. Magnus, F. Oberhettinger, F.G. Tricomi, Higher Transcendental Functions, vol. 2. McGraw-Hill, New York (1953)
work page 1953
-
[6]
M. Fan, N. Lai, H. Takamura, Nonexistence of global solutions to the Euler-Poisson-Darboux equation in Rn: subcritical case. Nonlinear Anal. 256 (2025), Paper No. 113781, 10 pp
work page 2025
-
[7]
M. Fan, N. Lai, H. Takamura, Blow-up of solutions to the Euler-Poisson-Darbox equation with critical power nonlinearity, submitted. 27
Show all 38 references
-
[8]
Fujita, On the blowing up of solutions of the Cauchy Problem for ut = ∆u +u1+α, J
H. Fujita, On the blowing up of solutions of the Cauchy Problem for ut = ∆u +u1+α, J. Fac. Sci. Univ. Tokyo 13 (1966), 109–124
1966
-
[9]
Georgiev, H
V . Georgiev, H. Lindblad, C. D. Sogge, Weighted Strichartz estimates and global existence for semi- linear wave equations, Amer. J. Math. 119 (1997), 1291–1319
1997
-
[10]
D. He, I. Witt, H. Yin, On the global solution problem for semilinear generalized Tricomi equations, I Calc. Var. Partial Differential Equations 56 (2017), no. 2, Paper No. 21, 24 pp
2017
-
[11]
D. He, I. Witt, H. Yin, On semilinear Tricomi equations with critical exponents or in two space dimen- sions, J. Differential Equations 263 (2017), no. 12, 8102–8137
2017
-
[12]
D. He, I. Witt, H. Yin, On the Strauss index of semilinear Tricomi equation, Commun. Pure Appl. Anal. 19 (2020), no. 10, 4817–4838
2020
-
[13]
D. He, I. Witt, H. Yin, On the global solution problem of semilinear generalized Tricomi equations, II, Pacific J. Math. 314 (2021), no. 1, 29–80
2021
-
[14]
D. He, I. Witt, H. Yin, Finite time blowup for the 1-D semilinear generalized Tricomi equation with subcritical or critical exponents, Methods Appl. Anal. 28 (2021), no. 3, 313–324
2021
-
[15]
D. He, Q. Li, H. Yin, Global small data weak solutions of 2-D semilinear wave equations with scale- invariant damping, II, arXiv:2503.19438
-
[16]
D. He, Y . Sun, K. Zhang, Global existence for small amplitude semilinear wave equations with time- dependent scale-invariant damping, arXiv:2501.01670
-
[17]
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
-
[18]
T. Imai, M. Kato, H. Takamura, K. Wakasa, The lifespan of solutions of semilinear wave equations with the scale invariant damping in two space dimensions, J. Differ. Equ. 269 (10) (2020) 8387–8424
2020
-
[19]
John, Blow-up of solutions of nonlinear wave equations in three space dimensions, Manuscripta Math
F. John, Blow-up of solutions of nonlinear wave equations in three space dimensions, Manuscripta Math. 28 (1979), 235–265
1979
-
[20]
M. Kato, M. Sakuraba, Global existence and blow-up for semilinear damped wave equations in three space dimensions, Nonlinear Anal. 182 (2019), 209–225
2019
-
[21]
Lai, Weighted L2-L2 estimate for wave equation in R3 and its applications
N. Lai, Weighted L2-L2 estimate for wave equation in R3 and its applications. The role of metrics in the theory of partial differential equations, Adv. Stud. Pure Math., 85, Math. Soc. Japan, Tokyo, 2020, 269-279
2020
-
[22]
N. Lai, N. Schiavone, M. Nico, H. Takamura, Heat-like and wave-like lifespan estimates for solutions of semilinear damped wave equations via a Kato’s type lemma. J. Differential Equations 269 (2020), no. 12, 11575–11620
2020
-
[23]
N. Lai, A. Palmieri, H. Takamura, A blow-up result for the semilinear Euler-Poisson-Darboux-Tricomi equation with critical power nonlinearity. arXiv:2405.16145
-
[25]
N. Lai, Y . Zhou, Global existence for semilinear wave equations with scaling invariant damping in 3-D, Nonlinear Anal. 210 (2021), Paper No. 112392, 12 pp
2021
-
[26]
Q. Li, D. Wang, H. Yin, Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, arXiv:2503.18677, Preprint, 2025
2025 arXiv
-
[27]
Y . Li, F. Guo, Global existence for the semilinear regular Euler-Poisson-Darboux-Tricomi equation, Journal of Differential Equations 431 (2025) 113211
2025
-
[28]
Lindblad, C
H. Lindblad, C. D. Sogge, On existence and scattering with minimal regularity for semilinear wave equations, J. Funct. Anal. 130 (1995), 357–426
1995
-
[29]
Palmieri, A global existence result for a semilinear scale-invariant wave equation in even dimension, Math
A. Palmieri, A global existence result for a semilinear scale-invariant wave equation in even dimension, Math. Methods Appl. Sci. 42 (8) (2019), 2680–2706
2019
-
[30]
Palmieri, Integral representation formulae for the solution of a wave equation with time-dependent damping and mass in the scale-invariant case, Math
A. Palmieri, Integral representation formulae for the solution of a wave equation with time-dependent damping and mass in the scale-invariant case, Math. Methods Appl. Sci. 44 (17) (2021), 13008–13039
2021
-
[31]
Palmieri, On the critical exponent for the semilinear Euler-Poisson-Darboux-Tricomi equation with power nonlinearity
A. Palmieri, On the critical exponent for the semilinear Euler-Poisson-Darboux-Tricomi equation with power nonlinearity. Preprint, arXiv:2105.09879v2, (2024)
2024 arXiv
-
[32]
Sideris, Nonexistence of global solutions to semilinear wave equations in high dimensions, J
T. Sideris, Nonexistence of global solutions to semilinear wave equations in high dimensions, J. Dif- ferential Equations 52 (1984), 378–406
1984
-
[33]
Strauss, Nonlinear scattering theory at low energy, J
W. Strauss, Nonlinear scattering theory at low energy, J. Funct. Anal. 41 (1981), 110–133
1981
-
[34]
Wakasa, The lifespan of solutions to semilinear damped wave equations in one space dimension, Commun
K. Wakasa, The lifespan of solutions to semilinear damped wave equations in one space dimension, Commun. Pure Appl. Anal. 15 (4) (2016)
2016
-
[35]
Wakasugi, Critical exponent for the semilinear wave equation with scale invariant damping, in: Fourier Analysis, Birkh¨auser, Cham, 2014, pp
Y . Wakasugi, Critical exponent for the semilinear wave equation with scale invariant damping, in: Fourier Analysis, Birkh¨auser, Cham, 2014, pp. 375–390
2014
-
[36]
Wirth,Solution representations for a wave equation with weak dissipation, Math
J. Wirth,Solution representations for a wave equation with weak dissipation, Math. Methods Appl. Sci. 27 (2004), no. 1, 101–124
2004
-
[37]
Yordanov, Q
B. Yordanov, Q. S. Zhang, Finite time blow up for critical wave equations in high dimensions, J. Funct. Anal. 231 (2006), 361–374
2006
-
[38]
Zhou, Blow up of solutions to semilinear wave equations with critical exponent in high dimensions, Chinese Ann
Y . Zhou, Blow up of solutions to semilinear wave equations with critical exponent in high dimensions, Chinese Ann. Math. Ser. B 28 (2007), no. 2, 205–212. 29
2007
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.