Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Unconditional wave decay in dimension two

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read In two dimensions, for any self-adjoint operator of the form (1.1) with domain (1.2), the wave solution decomposes into explicit eigenvalue and zero-energy terms plus a remainder that decays faster than any power of $1/\log t$.

desk verdict A valuable extension of Burq's theorem with explicit zero-energy terms, but the proof of the central contour estimate has a parameter error that must be fixed before the result is fully established. read the letter →

arxiv 2507.03140 v1 pith:ZHOYB7F4 submitted 2025-07-03 math.AP math-phmath.MPmath.SP

T. J. Christiansen , K. Datchev , P. Morales , M. Yang This is my paper · ORCID
classification math.APmath-phmath.MPmath.SP MSC 35B4035L0535P25
keywords wavedecaylogarithmiclow-energyresolventexpansionzero-energyresonancesp-resonancesRobinboundaryconditionsdimensiontwoscatteringtheory
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

This paper proves that in two dimensions, the solution of the wave equation outside a compact scatterer decomposes into explicit terms from negative eigenvalues and zero-energy resonances plus a remainder that decays faster than any fixed power of $1/\log t$. Previous logarithmic decay results required the spectrum to be regular at zero energy, which excluded operators with variable coefficients, potentials, and Robin boundary conditions. The new theorem removes that requirement by using a low-energy resolvent expansion that is valid even when zero-energy $p$-resonances are present. The result covers any self-adjoint operator of the form (1.1) with domain (1.2), including arbitrary smooth obstacles with mixed Dirichlet and Robin boundary conditions.

What carries the argument

The load-bearing object is the low-energy resolvent expansion $\chi R(\lambda)\chi = \sum_{j,k} \chi A_{j,k}\chi\, \lambda^{\nu_j}\log^k(b_{j,k}\lambda)$, with $\nu_j\in\mathbb{R}$ and $b_{j,k}\notin i[0,\infty)$ (Assumption 3 of Theorem 2). This expansion organizes the singular behavior of the resolvent at $\lambda=0$; subtracting the corresponding contributions to the wave gives the explicit $u_d$ and $u_z$ terms, and the remainder is controlled by contour deformation using an exponential resolvent bound at high frequencies. A $p$-resonant state is a solution of $Pu=0$ that belongs to $L^q$ for $q>2$ but not to $L^2$, so it produces the borderline $t/\log t$ term in $u_z$.

What would settle it

Check the Robin obstacle example of Section 4.3 (a ball, $\sigma=1/\rho$) by computing the resolvent kernel near $\lambda=0$: the expansion (3.1) predicts two $p$-resonant states with logarithmic coefficients satisfying $\arg b = -\pi/2$. If the computed singularity contains a term $\lambda^\nu$ with $\nu$ non-real or a coefficient on $i[0,\infty)$, the imported low-energy expansion fails and Theorem 1 would not hold for that operator.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for any self-adjoint elliptic operator $P$ that equals the Laplacian outside a compact set in $\mathbb{R}^2$, with domain allowing Dirichlet, Neumann/Robin, or mixed boundary conditions, the wave solution with compactly supported initial velocity satisfies $u = u_d + u_z + u_r$. Here $u_d$ collects the finite hyperbolic contributions of negative eigenvalues, $u_z$ collects the zero-energy contributions (a linear $t\,\Pi_0 f$ term plus, when $p$-resonances exist, terms $J_m(t)U_{\omega_m}$ with $J_m(t)=t((\log t)^{-1}+O((\log t)^{-2}))$), and $u_r$ obeys $\lim_{t\to\infty}(\log t)^M \max_{x\in K}|\partial^\alpha u_r(x,t)|=0$ for every compact $K$, every $M$, and every multi-index $\alpha$. The novelty is that no assumption of regularity of the spectrum at zero is needed: the low-energy resolvent expansion (3.1) is valid in full generality, so the decomposition is unconditional.

Load-bearing premise

The argument assumes, on the authority of an earlier paper, that every operator in the class has a zero-energy resolvent expansion built only from real powers of $\lambda$ and logarithms of $b\lambda$ with $b$ outside the positive imaginary axis; if any admissible operator has a different zero-energy singularity, the unconditional decay claim collapses.

Editorial extensions

If this is right

  • For operators with no negative eigenvalues and no zero-energy resonances, the full local wave decays faster than $(\log t)^{-M}$ for every $M$; this is the unconditional two-dimensional version of the classical logarithmic decay theorem.
  • Variable coefficients, compactly supported potentials, and Robin or mixed boundary conditions are all covered, so obstacle problems that previously needed separate spectral-regularity hypotheses now fall under one result.
  • When zero-energy $p$-resonances are present, the solution has explicit terms of size $t/\log t$; these are the exact obstructions to decay, and everything after them decays logarithmically.
  • The abstract Theorem 2 yields a quantitative remainder bound $\|\chi u_r(t)\|_{D_q}=O(\log(t)^{-2(s+p-q)-1})\|f\|_{D_{p+s}}$, uniform for $t\ge 2$, so the rate is explicit in terms of Sobolev regularity.
  • The logarithmic rate is optimal at this level of generality, since quasimode constructions show that no faster universal decay can hold for arbitrary scatterers.

Reading between the lines

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

  • The same low-energy expansion framework should extend the unconditional result to the non-Euclidean scattering settings mentioned in the paper, such as conic and Aharonov–Bohm scattering, where analogous resolvent expansions hold.
  • The predicted $t/\log t$ zero-resonance term gives a concrete fingerprint for numerical experiments: for radial wells tuned to zeros of $J_0$, long-time wave tails should match this growth, while generic perturbations should show only logarithmic decay.
  • If a future counterexample exhibited an admissible operator whose low-energy resolvent expansion had a non-real exponent or a logarithmic coefficient on the forbidden ray $i[0,\infty)$, the 'unconditional' claim would need to be restricted; checking this class of expansions for variable Robin coefficients beyond the examples would settle the true scope.
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

2 major / 4 minor

Summary. The paper proves an unconditional logarithmic local energy decay statement for the wave equation in two dimensions. For a self-adjoint second-order operator P of the form (1.1) with domain (1.2), including compactly supported perturbations and possibly mixed Dirichlet/Robin boundary conditions, the solution is decomposed into a finite negative-eigenvalue part, a zero-energy part containing p-resonance contributions, and a remainder that decays faster than every inverse power of log(t). The proof is based on an abstract contour-deformation theorem (Theorem 2) that uses high-energy resolvent bounds from Burq and low-energy resolvent expansions from the authors' earlier papers [ChDa25] and [CDY25]. The paper also constructs several classes of operators with p-resonances at zero, including variable wave speed Schrödinger operators, Robin obstacles, radial wells, and delta-potential rings.

Significance. If the proof is completed, the main theorem is a significant and natural extension of Burq's logarithmic decay result: it removes the usual regularity assumption at zero energy and explicitly accounts for zero-energy p-resonances, which are known to arise in two dimensions with variable lower-order terms or Robin boundary conditions. The explicit asymptotic decomposition and the concrete examples in Section 4 are valuable and give a sharp picture of the possible zero-energy contributions. The reliance on the published theorems of [ChDa25] and [CDY25] is legitimate and does not appear circular, since those results are stated with explicit hypotheses and are independently published. However, the proof of the abstract expansion theorem currently contains a parameter-consistency error in the contour estimates that is load-bearing for the stated remainder bound; the central claim is likely repairable, but the manuscript as written does not close the proof.

major comments (2)
  1. [Section 2, proof of Theorem 2] The contour parameter choice is inconsistent. In the estimate for the R(-lambda+i0) term, the shifted integral is bounded by exp(-t gamma(r(t))) C exp(C' r(t)) r(t), with gamma(r) = (1/C) exp(-C' r) and r(t) = log(t)^A. The text states that the choice A > C' guarantees decay faster than any polynomial, but the relevant exponent is C' log(t)^A - (t/C) exp(-C' log(t)^A). For A > 1, t exp(-C' log(t)^A) tends to 0, so exp(-t gamma(r(t))) tends to 1 and the displayed bound diverges. For A = 1, the bound decays only when C' < 1. The vertical-segment estimate is also mis-stated: the bound C exp(C' log(t)^A)/t is not of size t^(C'/A - 1) except in the special case A = 1, and it tends to zero only when A < 1, or when A = 1 and C' < 1. Since Theorem 1 derives the logarithmic remainder from Theorem 2, this is an internal parameter-consistency problem in the proof. The argument can be repaired by choosing A < 1 and restating the remainder exponent in Theorem 2 as A(2(s+p-q)+1), or by proving that the constants in Assumption (2) can be chosen with C' < 1 and A = 1.
  2. [Section 3, first paragraph] The proof of Theorem 1 delegates Assumptions (1), the low-energy part of (2), and (3) to Theorem 1 of [ChDa25] without verifying in the present text that every operator (1.1) with domain (1.2) satisfies the hypotheses of that theorem. This is not a circularity objection, since [ChDa25] is published and its hypotheses are explicit, but it is load-bearing for the title claim 'unconditional': the scope of Theorem 1 is exactly the scope of the imported low-energy expansion. The paper should state the precise theorem from [ChDa25] that is being applied and explain why the variable-coefficient and mixed-boundary class (1.1)-(1.2) is covered, or include a short verification.
minor comments (4)
  1. [Section 2, proof of Theorem 2] Near the end of the proof, the text refers to 'Assumption 4'; this should be 'Assumption (3)'.
  2. [Theorem 2, statement] The statement assumes only s >= 0, but the displayed remainder bound O(1/log(t)^(2(s+p-q)+1)) is a decay rate only when 2(s+p-q)+1 > 0. The authors should state explicitly that s is chosen large enough, or assume s+p-q > 0.
  3. [Section 1, Theorem 1(i)] The notation 'Pi, . . . , Pi_{NE}' should read 'Pi_1, . . . , Pi_{NE}', and the symbol 'NEX' in the displayed formula appears to be a garbled version of 'N_E'.
  4. [Section 4.4, Remark 1] The sentence 'When a^2 < 0' is not meaningful for a real parameter a in the potential (4.2), since a^2 >= 0; the intended statement is presumably that positive potentials (or the sign convention V = +a^2 1_{r<R}) do not produce p-resonances.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper's central derivation rests on published low-energy resolvent expansions and internal contour estimates, with no reduction of its conclusions to its own inputs.

full rationale

The paper's claimed derivation chain is not circular. Theorem 1 is obtained by applying the abstract Theorem 2 with two imported premises: the high-energy exponential resolvent bound from Burq [Bur02] and the low-energy resolvent expansion from the authors' earlier paper [ChDa25]. Both are published results with explicit assumptions, and neither is defined in terms of the wave decay conclusion. In particular, [ChDa25] concerns resolvent expansions at zero energy, not wave decay, so citing it does not presuppose Theorem 1. The zero-energy contribution in Theorem 1 is computed from the resolvent coefficients via contour integrals and the cited evaluation in [CDY25, Lemma 2.3]; it is not fitted to the wave decay rate. The p-resonance examples in Section 4 are constructed directly, not used to tune predictions. The only notable reliance on the authors' own prior work is the low-energy expansion itself, but because that result is published, stated with explicit hypotheses, and concerns a different object (the resolvent), it counts as independent grounding under the review rules. The internal contour-deformation estimate in the proof of Theorem 2 has an apparent parameter inconsistency (the choice A > C' does not guarantee the claimed exponential decay), but this is a mathematical correctness concern, not a circular reduction of the conclusion to the inputs. No equation in the paper is equivalent to its input by construction, and no fitted quantity is renamed as a prediction. Hence the circularity score is 0.

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

The central claim rests mainly on two imported theorems from the same research group: the low-energy resolvent expansion [ChDa25] and the zero-energy wave expansion machinery [CDY25]. These are published peer-reviewed results with explicit assumptions, not fitted or ad hoc, but they are not re-derived here. The free-parameter list is empty because the theorem introduces no fitted constants; the p-resonant states in Section 4 are constructed explicitly, not postulated as new entities.

assumptions (4)
  • domain assumption Theorem 1 of [ChDa25]: low-frequency resolvent expansions in dimension two hold for operators of the class (1.1)-(1.2).
    Invoked in Section 3 to verify Assumptions (1), (2) low-energy part, and (3) of Theorem 2 for the operators of Theorem 1.
  • domain assumption Burq's exponential resolvent bound [Bur02, Theorem 3] applies to the operators in (1.1)-(1.2).
    Used in Section 3 to verify Assumption (2) of Theorem 2 for the obstacle problem.
  • standard math Stone's formula and the functional calculus for self-adjoint operators, along with standard Sobolev embedding.
    Used in the proof of Theorem 2 to express wave propagation via the resolvent and to convert Sobolev norms to pointwise bounds in Theorem 1.
  • domain assumption The classification of zero-energy states (G_{-1}, G_{-2}) and the resolvent expansion (3.1) from [CDY25, Section 3.4].
    Used in the proof of Theorem 1 part (ii) to identify the zero-energy contribution and the J_m terms.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Unconditional wave decay in dimension two." pith.science (2026). https://pith.science/paper/ZHOYB7F4

@misc{pith2026250703140,
  author       = {Pith},
  title        = {Pith review of: Unconditional wave decay in dimension two},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZHOYB7F4}},
  note         = {Machine review of arXiv:2507.03140}
}
read the original abstract

We extend Burq's logarithmic decay rate [Bur98] to general compactly supported scatterers in dimension two. The main novelty is using recent results on low-frequency expansions to remove the requirement that the spectrum be regular at zero. This allows us to include, among other examples, arbitrary smooth obstacles with variable boundary conditions.

Figures

Figures reproduced from arXiv: 2507.03140 by the authors.

Figure 1
Figure 1. The contours of integration. Here, Γ = Γ1± ∪ Γ2± ∪ Γη where Γ1± = {±r(t) + iy | −γ(r(t)) ≤ y ≤ 0}, Γ2± = {±x − iγ(r(t)) | η < x < r(t)}, Γ2,0 = {±x − iγ(r(t)) | −η < x < η}, r(t) = log(t) A , γ(λ) = 1 C e −C′ |Re λ| , C and C ′ are as in Assumption (2), A > C′ , and Γη consists of the semicircle from −η to iη to η, together with two vertical line segments: −η − iγ(r(t)) η − iγ(r(t)) [PITH_FULL_IMAGE:figures/full_fi… view at source ↗
Figure 2
Figure 2. The contour Γη. Theorem 2. Fix χ as above such that χ : Dq → Dq is bounded, and s ≥ 0. If χf = f ∈ Dp+s , then χu(t) = χ(ud(t) + uz(t) + ur(t)), [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Logarithmic wave decay for short range wavespeed perturbations with radial regularity

    math.AP 2025-09 conditional novelty 6.0 of 10

    The paper establishes logarithmic local energy decay for variable-coefficient wave equations with short range, radially regular wavespeed in n≥2.

Reference graph

Works this paper leans on

34 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [1]

    O. P. Bruno and M. A. Santana. Efficient time-domain scattering synthesis via frequency-domain singularity subtraction. Preprint, arXiv:2505.06189

    arXiv

  2. [2]

    N. Burq. Décroissance de l'énergie locale de l'équation des ondes pour le problème extérieur et absence de résonance au voisinage du réel. Acta Mathematica 180 (1998): 1--29

    work page 1998

  3. [3]

    N. Burq. Lower bounds for shape resonances widths of long range Schr\"odinger operators. American Journal of Mathematics 124:4 (2002): 677--735

    work page 2002

  4. [4]

    T. J. Christiansen and K. Datchev. Low energy resolvent expansions in dimension two. Communications of the American Mathematical Society. 5 (2025): 48--80

    work page 2025

  5. [5]

    T. J. Christiansen, K. Datchev, and C. Griffin. Persistence and disappearance of negative eigenvalues in dimension two. To appear in J. Spectral Theory. Preprint, arXiv:2401.04622

    work page Pith review arXiv

  6. [6]

    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

    work page 2025

  7. [7]

    Dafermos and I

    M. Dafermos and I. Rodnianski. Lectures on Black Holes and Linear Waves. Clay Mathematics Proceedings 17 (2013) 105--205

    work page 2013

  8. [8]

    Datchev, J

    K. Datchev, J. Galkowski, and J. Shapiro. Semiclassical resolvent bounds for compactly supported radial potentials. Journal of Functional Analysis 284 (2023) 109835

    work page 2023

Show all 34 references
  1. [9]

    Datchev, J

    K. Datchev, J. Metcalfe, J. Shapiro, and M. Tohaneanu. On the interaction of metric trapping and a boundary. Proceedings of the American Mathematical Society. 149:9 (2021): 3801--3812

    2021

  2. [10]

    http://dlmf.nist.gov/, Release 1.1.8 of 2022-12-15

    NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/, Release 1.1.8 of 2022-12-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

    2022

  3. [11]

    Dyatlov and M

    S. Dyatlov and M. Zworski. Mathematical Theory of Scattering Resonances. Grad. Stud. Math. 200. Amer. Math. Soc., 2019

    2019

  4. [12]

    Galkowski, and H.F

    J. Galkowski, and H.F. Smith. Restriction bounds for the free resolvent and resonances in lossy scattering. International Mathematics Research Notices 2015.16 (2015): 7473--7509

    2015

  5. [13]

    Graf and G

    O. Graf and G. Holzegel. Linear Stability of Schwarzschild-Anti-de Sitter spacetimes III: Quasimodes and sharp decay of gravitational perturbations. Preprint arXiv:2410.21994

    arXiv

  6. [14]

    Grasselli

    V. Grasselli. High frequency resolvent estimates for the magnetic Laplacian on non compact manifolds Preprint hal-0451301, 2024

    2024

  7. [15]

    P. Hintz. Linear waves on asymptotically flat spacetimes. I. Preprint arXiv:2302.14647 (2023)

    2023 arXiv

  8. [16]

    Hintz and G

    P. Hintz and G. Holzegel. Recent progress in general relativity. Proc. Int. Cong. Math. 5 (2022), 3924--3984

    2022

  9. [17]

    Holzegel and J

    G. Holzegel and J. Smulevici. Quasimodes and a lower bound on the uniform energy decay rate for Kerr-AdS spacetimes. Anal. PDE 7:5 (2014), 1057--1090

    2014

  10. [18]

    J. Keir. Slowly decaying waves on spherically symmetric spacetimes and ultracompact neutron stars. Classical Quantum Gravity 33:13 (2016), 135009, 42

    2016

  11. [19]

    Klainerman

    S. Klainerman. Columbia lectures on the stability of Kerr. Preprint https://www.math.columbia.edu/ staff/columbia2023.pdf, 2023

    2023

  12. [20]

    Larra\'in-Hubach, J

    A. Larra\'in-Hubach, J. Shapiro, and G. Vodev. Expoenetial local energy decay of solutions to the wave equations with L^ electric and magnetic potentials. arXiv:2506.07058

  13. [21]

    P. D. Lax and R. S. Phillips. Scattering Theory: Revised Edition. Academic Press, Inc. 1989

    1989

  14. [22]

    Le Rousseau, G

    J. Le Rousseau, G. Lebeau, and L. Robbiano. Elliptic Carleman Estimates and Applications to Stabilization and Controllability, Volume II. PNLDE Subseries in Control, Vol. 98. Birk\"auser 2022

    2022

  15. [23]

    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

  16. [24]

    C. J. Mero\ no, L. Potenciano-Machado and M. Salo, Resolvent estimates for the magnetic Schr\"odinger operator in dimensions 2, Rev. Mat. Complut. 33 (2020), 619--641

    2020

  17. [25]

    C. S. Morawetz. The decay of solutions of the exterior initial-boundary value problem for the wave equation. Communications on Pure and Applied Mathematics, 14 (1961), 561--568

    1961

  18. [26]

    Moschidis

    G. Moschidis. Logarithmic Local Energy Decay for Scalar Waves on a General Class of Asymptotically Flat Spacetimes. Ann. PDE 2:1 (2016), 124 pages

    2016

  19. [27]

    D. Obovu. Resolvent bounds for Lipschitz potentials in dimension two and higher with singularities at the origin, J. Spectral Theory 14 (2024), 163--183

    2024

  20. [28]

    J. V. Ralston. Solutions of the wave equation with localized energy. Communications on Pure and Applied Mathematics, 22 (1969), 807--823

    1969

  21. [29]

    W. Schlag. On pointwise decay of waves. J. Math. Phys. 62 (2021) 061509

    2021

  22. [30]

    J. Shapiro. Semiclassical resolvent bounds for short range L^ potentials with singularities at the origin. Asymptotic Analysis 136:3-4 (2024), 157--180

    2024

  23. [31]

    D. Tataru. Local decay of waves on asymptotically flat stationary space-times Amer. J. Math. 135:2 (2013) 361--401

    2013

  24. [32]

    Vainberg

    B. Vainberg. Asymptotic methods in equations of mathematical physics. CRC Press, 1989

    1989

  25. [33]

    A. Vasy. The black hole stability problem. Current Developments in Mathematics 2020 (2020), 105--155

    2020

  26. [34]

    G. Vodev. Semiclassical resolvent estimates for the magnetic Schr\"odinger operator. Preprint, arXiv:2501.07271

Pith tools

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