REVIEW 3 major objections 4 minor 66 references
Logarithmic wave decay for short range wavespeed perturbations with radial regularity
T0 review · 3 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read This paper establishes logarithmic local energy decay for wave equations with short-range wavespeed perturbations and only mild radial regularity, in dimensions two and higher.
desk verdict A serious extension of logarithmic wave decay to short-range, radially regular wavespeeds, but the n=4 case rests on an unproven Lipschitz inheritance. 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 key machinery is the weighted resolvent for G=−c²Δ+V, especially its Hölder continuity at real λ. At low frequency, the paper factors the resolvent of G through the free resolvent using the identity relating (−c²Δ+V−λ²) to (−Δ+c^{−2}V−λ²), then uses a Neumann series convergent for small λ because δ0>2, plus known low-frequency expansions of the free resolvent (with a logarithmic correction in dimension two). Away from zero, a semiclassical rescaling h=|λ|^{−1} converts the problem into a Carleman estimate for −h²Δ+V_L+V_S+iW_L, where the phase φ is constructed as the solution of (φ′)² − hφ″ = ψ for a carefully chosen ψ, yielding a uniform estimate for all h∈(0,h0] that remains valid for
What would settle it
For dimension four, check whether the hypotheses (1.2)–(1.4) force c^{−2}V to be Lipschitz whenever V is Lipschitz; if one can produce a wavespeed c satisfying (1.2)–(1.4) and a Lipschitz V for which c^{−2}V is not Lipschitz, the low-frequency Lemma 2.1 would fail for that example, and the claimed Theorem 1.1 in n=4 would not follow from the given proof.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for any s>0, under the assumptions that the wavespeed c is bounded above and below, satisfies |1−c(x)| ≤ C⟨x⟩^{−δ0} with δ0>2, and has radial derivative bounded by C⟨x⟩^{−δ1} with δ1>1, and a nonnegative potential V with suitable decay, the weighted energy norm ∥∇⟨x⟩^{−s}u∥ + ∥⟨x⟩^{−s}∂_t u∥ is bounded by (C/(1+log t)) times the weighted Sobolev norm of the initial data. The proof reduces the wave decay to Hölder continuity of the resolvent ⟨x⟩^{−s}(G−λ²)^{−1}⟨x⟩^{−s} on the real axis, obtained in two frequency regimes: a low-frequency expansion via a Neumann series relating G to the free Laplacian, and a uniform high-frequency estimate from a Carleman estim
Load-bearing premise
In dimension four, the proof assumes the effective potential c^{−2}V is Lipschitz, but the paper's hypotheses only control the radial derivative of c, not its full gradient, and the paper does not show that c^{−2}V inherits Lipschitz continuity from V.
Editorial extensions
If this is right
- Theorem 1.1 removes the compact-support condition on the wavespeed from earlier logarithmic decay results, requiring only short-range decay and control of the radial derivative.
- In dimension two, the result yields logarithmic decay for wavespeed perturbations with zero potential, settling the case V≡0 there under mild regularity.
- Increasing the regularity of the initial data with respect to G converts the logarithmic factor into higher inverse powers of log t, giving refined decay.
- The Carleman estimate underlying the proof is uniform over all h∈(0,h0] and tolerates radial jump discontinuities of the wavespeed with controlled total variation, so the decay statement extends to such profiles.
- The resolvent estimate away from zero frequency holds for any dimension n≥2 given limsup |1−c|=0 and δ1>1, so the logarithmic decay away from zero frequency is universal in the short-range class.
Reading between the lines
- The n=4 case is conditional: the low-frequency argument requires c^{−2}V to be Lipschitz, but the stated hypotheses only bound the radial derivative of c, not its full gradient, and the paper does not prove that c^{−2}V inherits Lipschitz continuity from V.
- Because the low-frequency Neumann series needs δ0>2, one might expect that weakening the wavespeed decay to δ0≤2 would destroy the logarithmic rate; a natural test is whether power-law decay slower than quadratically can still yield some polylog decay.
- The uniform Carleman estimate may transfer to other settings with discontinuous coefficients, such as obstacle problems or metrics with bounded variation along rays, providing a tool for decay estimates there.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves logarithmic local energy decay for the wave equation with a variable wavespeed c(x) and a nonnegative potential V, in dimensions n≥2. The wavespeed is assumed to be a short-range perturbation of unity with only a radial derivative bound, rather than full Lipschitz regularity. The proof combines a low-frequency resolvent expansion based on the free resolvent and a Neumann series, a uniform semiclassical Carleman estimate away from zero frequency, and a Stone's formula argument to convert resolvent Hölder regularity into time decay of spectrally localized wave propagators. The main results are Theorem 1.1 (the decay estimate) and Theorem 1.2 (the underlying resolvent and spectral projection estimates).
Significance. If correct, the result is a meaningful advance: it relaxes the regularity assumptions on the wavespeed from Lipschitz to radial BV-type regularity and allows non-compactly supported perturbations. The paper is carefully organized and contains several useful ingredients: an explicit low-frequency Neumann-series expansion, Hölder continuity of the free weighted resolvent, and a Carleman estimate that is uniform in the semiclassical parameter without a smallness restriction. The arguments are parameter-free in the sense that no constants are fitted to match the conclusion. However, the central proof currently has several gaps that must be addressed before the main theorems can be considered established.
major comments (3)
- [§2.1, Lemma 2.1; Appendix C] The low-frequency argument for n≥3 applies Appendix C to the effective potential c^{-2}V. Appendix C, in the case n=4, requires the potential to be Lipschitz, i.e. ∂_{x_j}V∈L∞. The hypotheses (1.2)–(1.4) control only the radial derivative of c, not the full gradient. For W=c^{-2}V, ∂_{x_j}W = c^{-2}∂_{x_j}V − 2c^{-3}V∂_{x_j}c; the second term is not controlled by (1.4). Example coefficients c=1+εφ(r)g(θ) with discontinuous g show that c^{-2}V need not be Lipschitz under the stated assumptions. Thus the n=4 case of Theorem 1.1 is not established. The authors must either prove that c^{-2}V inherits Lipschitz regularity from the assumptions (which appears false in general) or supply a separate low-frequency argument for n=4.
- [§2.3, proof of Lemma 2.4] The proof of Lemma 2.4 breaks off after (2.27): the sentence “we have (2.27) so long as” is incomplete, and the limiting identity (2.24) is never justified. This is not a mere presentation issue: (2.24) is used to control the last line of (2.23), and without it the bound (2.17) is not proved. Since Corollary 2.5 and the away-from-zero Hölder continuity used in Section 3 depend on Lemma 2.4, the proof of Theorem 1.2 is incomplete.
- [§4, proof of Theorem 1.1] The proof explicitly establishes (1.5) only for s>1 (after taking η=1/2). The final claim that the result for arbitrary s>0 follows by “interpolate between (4.4) and the trivial bound” is only a sketch. The interpolation must be made precise: it involves weighted spaces with different s and the H^1 norm on the left, and it is not immediate that the constants remain acceptable as s→0. Since Theorem 1.1 states s>0, this step is load-bearing and needs a complete argument.
minor comments (4)
- [§1, Theorem 1.1] Typo: “there exsits” should be “there exists”. Also, the phrase “for anys > 0” is stated before the proof, but the proof only handles s>1 until the interpolation step; this should be flagged in the statement or proved.
- [§2.1, equation (2.3)] The operator identity leading to (2.3) uses c^{-2}λ^2, and the notation in (2.2) is somewhat compressed. Clarifying the order of multiplication operators would improve readability.
- [§3, proof of Theorem 1.2] The last displayed line before the conclusion contains an incomplete sentence: “The integrands in (3.2). But this does not hinder...” Please complete the sentence and check the final estimate.
- [Appendix C, equation (C.4)] The use of (2.11) in this appendix is not fully explicit: Corollary 2.3 is stated for the operator G=−c^2∆+V, while the appendix treats −∆+V. The specialization c≡1 should be stated.
Circularity Check
No circular derivation; minor self-citations are not load-bearing.
full rationale
The derivation chain is not circular. Theorem 1.1 is deduced from the resolvent-based Theorem 1.2 via the spectral theorem; Theorem 1.2 is obtained from Hölder continuity of ⟨x⟩^{-s}(G-λ²)^{-1}⟨x⟩^{-s}, split into low and nonzero frequency regimes. The low-frequency reduction in Lemma 2.1 is an explicit Neumann-series identity relating the full resolvent to the free/potential resolvent; no target bound is assumed. Appendix B derives the free-resolvent regularity from the Hankel/Macdonald kernel formulas and the parameter-free bound Lemma B.3 of [LLST25], which concerns only (-Δ-λ²)^{-1} and contains no wavespeed or logarithmic-decay statement; it is therefore independent support. Appendix C treats -Δ+V via the resolvent identity and a Fredholm uniqueness argument; the n≥5 bound is quoted from [LSV25], and the n=4 λ=0 argument is a direct differentiation of (C.6) under the stated Lipschitz hypothesis. The away-from-zero estimate rests on the Carleman estimate of Section 5, constructed from an ODE-based phase and a weight, adapted from [DadeH16] and [Ob24]; no self-cited result supplies the decay conclusion. There are no fitted parameters, no prediction equivalent to an input by construction, and no uniqueness theorem imported from the authors' prior work. The only noteworthy concern is a correctness gap, not circularity: Lemma 2.1 applies Appendix C to c^{-2}V, but the hypotheses (1.2)-(1.4) do not imply that c^{-2}V is Lipschitz in n=4, because ∂_{x_j}c is not controlled; this would affect the validity of the n=4 case, but it does not make the argument circular. Score 2 reflects the presence of minor self-citations (e.g., [LLST25], [Sh18], [LLST25, App. A]) that are not load-bearing.
Assumptions & free parameters
assumptions (5)
- domain assumption Wavespeed conditions (1.2)-(1.4): c,c^{-1}∈L∞, |1-c|≤C⟨x⟩^{-δ0} with δ0>2, |∂_r c|≤C⟨x⟩^{-δ1} with δ1>1
- domain assumption Potential conditions (1.6) and V≡0 for n=2, V Lipschitz for n=4
- standard math Self-adjointness of G=-c²∆+V on H²
- standard math Lemma B.1 (Ginibre-Moulin): weighted free resolvent continuity
- standard math Lemma B.3 ([LLST25, Lemma 3.2]): low frequency resolvent bound
Cite this review
Pith. "Pith review of Logarithmic wave decay for short range wavespeed perturbations with radial regularity." pith.science (2026). https://pith.science/paper/QIWUPWVC
@misc{pith2026250908957,
author = {Pith},
title = {Pith review of: Logarithmic wave decay for short range wavespeed perturbations with radial regularity},
year = {2026},
howpublished = {\url{https://pith.science/paper/QIWUPWVC}},
note = {Machine review of arXiv:2509.08957}
}
abstract
We establish logarithmic local energy decay for wave equations with a varying wavespeed in dimensions two and higher, where the wavespeed is assumed to be a short range perturbation of unity with mild radial regularity. The key ingredient is H\"older continuity of the weighted resolvent for real frequencies $\lambda$, modulo a logarithmic remainder in dimension two as $\lambda \to 0$. Our approach relies on a study of the resolvent in two distinct frequency regimes. In the low frequency regime, we derive an expansion for the resolvent using a Neumann series and properties of the free resolvent. For frequencies away from zero, we establish a uniform resolvent estimate by way of a Carleman estimate.
Reference graph
Works this paper leans on
-
[1]
Bellassoued
M. Bellassoued. Carleman estimates and distribution of resonances for the transparent obstacle and application to the stabilization. Asymptot. Anal., 35(3--4) (2003), 257--279
2003
-
[2]
Benomino
G. Benomino. The stable trapping phenomenon for black strings and black rings and its obstructions on the decay of linear waves. Anal. PDE 14(8) (2021), 2427–2496
2021
-
[3]
Bony and D
J.-F. Bony and D. H\"afner. Low frequency resolvent estimates for long range perturbations of the Euclidean Laplacian. Math. Res. Lett. 17(2) (2010), 303--308
2010
-
[4]
J. Bouclet. Low frequency estimates and local energy decay for asymptotically Euclidean Laplacians. Comm. Partial Differential Equations, 36(7) (2011), 1239--1286
2011
-
[5]
N. Burq. D\'ecroissance de l'\'energie locale de l'\'equation des ondes pour le probl\`eme ext\'erieur et absence de r\'esonance au voisinage du r\'eel. Acta Math., 180(1) (1998), 1--29
1998
-
[6]
N. Burq. Lower bounds for shape resonances widths of longe range Schr\"odinger operators. Amer. J. Math., (4)124 (2002), 677--735
2002
-
[7]
Burq and R
N. Burq and R. Joly. Exponential decay for the damped wave equation in unbounded domains. Commun. Contemp. Math. 18(6) (2016), article no. 1650012, 27pp
2016
-
[8]
Cardoso and G
F. Cardoso and G. Vodev. Uniform Estimates of the Resolvent of the Laplace-Beltrami Operator on Infinite Volume Riemannian Manifolds. II. Ann. Henri Poincar\'e 4(3) (2002), 673--691
2002
Show all 66 references
-
[9]
Cardoso and G
F. Cardoso and G. Vodev. High Frequency Resolvent Estimates and Energy Decay of Solutions to the Wave Equation.Canad. Math. Bull., (4)47 (2004), 504--514
2004
-
[10]
Christiansen and K
T. Christiansen and K. Datchev. Low energy resolvent expansions in dimension two. Commun. Am. Math. Soc. 5 (2025), 48--80
2025
-
[11]
A Coddington and N
E. A Coddington and N. Levinson. Theory of ordinary differential equations, McGraw-Hill, New York (1955)
1955
-
[12]
Christiansen, K
T.J. Christiansen, K. Datchev, P. Morales, and M. Yang. Unconditional wave decay in dimension two. Preprint arXiv:2507.03140 (2025)
2025 arXiv
-
[13]
Christiansen, K
T.J. Christiansen, K. Datchev, and M. Yang. From resolvent expansions at zero to long time wave expansions. Communications in Partial Differential Equations 50.4 (2025): 477-492
2025
-
[14]
Dafermos and I
M. Dafermos and I. Rodnianski. Lectures on Black Holes and Linear Waves. Clay Math. Proc. 17. American Mathematical Society, Providence (2013) 105--205
2013
-
[15]
K. Datchev. Quantitative limiting absorption principle in the semiclassical limit. Geom. Func. Anal. 24(3) (2014), 740--747
2014
-
[16]
Datchev and M
K. Datchev and M. de Hoop. Iterative reconstruction of the wave speed for the wave equation with bounded frequency boundary data. Inverse Problems 32(2) (2016), 025008, 21pp
2016
-
[17]
Datchev, J
K. Datchev, J. Galkowksi, and J. Shapiro. Semiclassical resolvent bounds for compactly supported radial potentials. J. Funct. Anal. 284(7), paper no. 109835 (2023), 28pp
2023
-
[18]
Datchev and L
K. Datchev and L. Jin. Exponential lower resolvent bounds far away from trapped sets. J. Spectr. Theory 10(2) (2020), 617-649
2020
-
[19]
Datchev, J
K. Datchev, J. Metcalfe, and M. Tohaneanu. On the interaction of metric trapping and a boundary. Proc. Amer. Math. Soc. 149(9) (2021), 3801–3812
2021
-
[20]
Datchev and J
K. Datchev and J. Shapiro. Exponential time decay for a one dimensional wave equation with coefficients of bounded variation. Math. Nachr. 296(11) (2023), 4978--4994
2023
-
[21]
http://dlmf.nist.gov/, Release 1.2.4 of 2025-03-15
NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/, Release 1.2.4 of 2025-03-15. A. B. Olde Daalhuis, D. W. Lozier, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds
2025
-
[22]
Dyatlov and M
S. Dyatlov and M. Zworski. Mathematical Theory of Scattering Resonances. Graduate Studies in Mathematics 200. American Mathematical Society, Providence, RI (2019)
2019
-
[23]
W. Faris. The product formula for semigroups defined by Friedrichs extensions. Pacific J. Math. 22(1) (1967), 47--70
1967
-
[24]
G. Folland. Real analysis: modern techniques and their applications, 2nd ed. Wiley, New York (1999)
1999
-
[25]
O. Gannot. Resolvent estimates for spacetimes bounded by killing horizons. Anal. PDE 12(2) (2019), 537--56
2019
-
[26]
Galkowski and J
J. Galkowski and J. Shapiro. Semiclassical resolvent bounds for weakly decaying potentials. Math. Res. Lett. 29(2) (2022), 373--398
2022
-
[27]
Galkowski and J
J. Galkowski and J. Shapiro. Semiclassical resolvent bounds for long range Lipschitz potentials. Int. Math. Res. Not. IMRN 2022(18) (2022), 14134--14150
2022
-
[28]
Hintz and M
P. Hintz and M. Zworski. Wave decay for star-shaped obstacles in ^3 : papers of Morawetz and Ralston revisited. Math. Proc. R. Ir. Acad. 117A(2) (2017), 47--62
2017
-
[29]
Holzegel and J
G. Holzegel and J. Smulevici. Decay Properties of Klein-Gordon Fields on Kerr-AdS Spacetimes. Comm. Pure Appl. Math. 66(11) (2013), 1751--1802
2013
-
[30]
Holzegel and J
G. Holzegel and J. Smulevici. Quasimodes and a lower bound on the uniform energy decay for Kerr-Ads spacetimes. Anal. PDE 7(5) (2014), 1057--1088
2014
-
[31]
A. Jensen. Spectral properties of Schr\"odinger operators and time decay of the wave functions results in L^2( ^m) , m 5 . Duke Math J. 47(1) (1980), 57--80
1980
-
[32]
Jensen and G
A. Jensen and G. Nenciu. A Unified approach to resolvent expansions at thresholds. Rev. Math. Phys. 13(6) (2001), 717--754
2001
-
[33]
Ginibre and M
J. Ginibre and M. Moulin. Hilbert space approach to the quantum mechanical three-body problem. Ann. Inst. H. Poincar\'e Sect. A (N.S.) 21(2) (1974), 97--145
1974
-
[34]
Gunasekaran and H
S. Gunasekaran and H. Kunduri. Slow decay of waves in gravitational solitons. Ann. Henri Poincar\'e 22(3) (2021), 821--872
2021
-
[35]
P. Hintz. Linear waves on asymptotically flat spacetimes. I. Preprint arXiv:2302.14647 (2023)
2023 arXiv
-
[36]
M. Keel, H. Smith, and C. Sogge. Almost global existence for some semilinear wave equations. J. Anal. Math. 87 (2002), 265--279
2002
-
[37]
Keir, Joe
J. Keir, Joe. Slowly decaying waves on spherically symmetric spacetimes and ultracompact neutron stars. Classical Quantum Gravity 33(13) (2016), 135009, 42 pages
2016
-
[38]
J. Keir. Wave propagation on microstate geometries. Ann. Henri Poincar\'e 21(3) (2020), 705--760
2020
-
[39]
Klainerman
S. Klainerman. Columbia lectures on the stability of Kerr. Preprint https://www.math.columbia.edu/ staff/columbia2023.pdf (2023)
2023
-
[40]
Larra\'in-Hubach, Y
A. Larra\'in-Hubach, Y. Li, J. Shapiro, and J. Tiller. Resolvent bounds for repulsive potentials. Preprint arXiv 2502.05614 (2025)
2025 arXiv
-
[41]
Larra\'in-Hubach, J
A. Larra\'in-Hubach, J. Shapiro, and G. Vodev. Exponential local energy decay of solutions to the wave equation with L^ electric and magnetic potentials. Preprint arXiv 2506.07058 (2025)
2025
-
[42]
P. Lax, C. Morawetz, R. Phillips. Exponential decay of solutions of the wave equation in the exterior of a star-shaped obstacle. Comm. Pure Appl. Math. 16 (1963), 477--486
1963
-
[43]
P. D. Lax and R. S. Phillips. Scattering Theory: Revised Edition. Academic Press, Boston (1989)
1989
-
[44]
Luk and S
J. Luk and S. Oh. Late time tail of waves on dynamic asymptotically flat spacetimes of odd space dimensions. Preprint arXiv:2404.02220 (2024)
2024 arXiv
-
[45]
Marzuola, J
J. Marzuola, J. Metcalfe, D. Tataru, M. Tohaneanu. Strichartz estimates on Schwarzschild black hole backgrounds. Communications in Mathematical Physics 293.1 (2010): 37-83
2010
-
[46]
Metcalfe, J
J. Metcalfe, J. Sterbenz, and D. Tataru. Local energy decay for scalar fields on time dependent non-trapping backgrounds. Am. Jurnal of Math. 142(3) (2020), 821--883
2020
-
[47]
Morawetz
C. Morawetz. The decay of solutions of the exerior initial-boundary value problem for the wave equation. Comm. Pure Appl. Math. 14 (1961), 561--569
1961
-
[48]
Morawetz
C. Morawetz. The limiting amplitude principle. Comm. Pure Appl. Math. 15 (1962), 349--361
1962
-
[49]
Moschidis
G. Moschidis. Logarithmic local energy decay for scalar waves on a general class of asymptotically flat spacetimes. Ann. PDE 2(1) (2016), article no. 5, 124 pages
2016
-
[50]
D. Obovu. Resolvent bounds for Lipschitz potentials in dimension two and higher with singularities at the origin. J. Spectr. Theory 14(1) (2024) 163--183
2024
-
[51]
Ortner and E
C. Ortner and E. Suli. A note on linear elliptic systems in ^d (2012), arXiv:1202.3970
2012 arXiv
-
[52]
J. Ralston. Trapped rays in spherically symmetric media and poles of the scattering matrix. Comm. Pure Appl. Math, 24(4) (1971), 571--582
1971
-
[53]
Rodnianski and T
I. Rodnianski and T. Tao. Effective limiting absorption principles, and applications. Commun. Math. Phys. 333(1) (2015), 1--95
2015
-
[54]
W. Schlag. On pointwise decay of waves. J. Math. Phys. 62(6), paper no 061509 (2021), 27 pp
2021
-
[55]
J. Shapiro. Local energy decay for Lipschitz wavespeeds. Comm. Partial Differential Equations 43 (5) (2018), 839--858
2018
-
[56]
J. Shapiro. Semiclassical resolvent bounds for short range L^ potentials with singularities at the origin. Asymptot. Anal. 136(3-4) (2024), 157--180
2024
-
[57]
D. Tataru. Local decay of waves on asymptotically flat stationary space-times Amer. J. Math. 135:2 (2013) 361--401
2013
-
[58]
G. Teschl. Mathematical methods in quantum mechanics, with applications to Schr\"odinger operators, 2nd ed. Graduate Studies in Mathematics 200. American Mathematical Society, Providence, RI (2014)
2014
-
[59]
Vainberg
B. Vainberg. Asymptotic methods in equations of mathematical physics. CRC Press, London (1989)
1989
-
[60]
A. Vasy. The black hole stability problem. Current Developments in Mathematics 2020. International Press, Boston (2022), 105--155
2020
-
[61]
G. Vodev. Local energy decay of solutions to the wave equation for short range potentials. Asymptot. Anal. 37(2) (2004), 175--187
2004
-
[62]
G. Vodev. Local energy decay of solutions to the wave equation for nontrapping metrics. Ark. Mat. 42(2) (2004), 379--397
2004
-
[63]
G. Vodev. Semiclassical resolvent estimates for short-range L^ potentials. Pure Appl. Anal. 1(2) (2019), 207--214
2019
-
[64]
G. Vodev. Semiclassical resolvent estimates for H\"older potentials. Pure Appl. Anal. 2(4) (2020), 841--860
2020
-
[65]
Vodev, Improved resolvent bounds for radial potentials
G. Vodev, Improved resolvent bounds for radial potentials. II. Arch. Math. 119(4) (2022), 427--438
2022
-
[66]
R. Wang. Exponential decay for damped Klein–Gordon equations on asymptotically cylindrical and conic manifolds. Ann. Inst. Fourier (Grenoble) 74(6) (2024), 2623--2666
2024
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.