arxiv: 2605.03220 · v2 · submitted 2026-05-04 · 🧮 math.AP · gr-qc

Recognition: 2 theorem links

· Lean Theorem

Late-time tails for linear waves on radially symmetric stationary spacetimes of two space dimensions

Onyx Gautam

Authors on Pith no claims yet

Pith reviewed 2026-05-13 05:58 UTC · model grok-4.3

classification 🧮 math.AP gr-qc

keywords late-time asymptoticswave equationtwo space dimensionsMinkowski perturbationsenergy estimatesnull coordinatesradial symmetrystationary spacetimes

0 comments

The pith

The leading late-time term for linear waves on radially symmetric stationary perturbations of two-dimensional Minkowski space is proportional to u to the minus one-half times v to the minus one-half.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that solutions to the wave equation on these perturbed spacetimes have the same leading late-time asymptotics as the flat-space solution u^{-1/2}v^{-1/2} in double null coordinates. This result holds for stationary, radially symmetric backgrounds that are close to Minkowski space. A reader would care because the finding shows how curvature effects remain subdominant for wave tails in this two-dimensional setting, extending known behavior from flat space and from black-hole spacetimes. The argument relies on physical-space methods that control the solution through weighted energy estimates.

Core claim

We show that the leading-order term in the late-time asymptotics of solutions to the linear wave equation on radially symmetric stationary perturbations of (2 + 1)-dimensional Minkowski space is proportional to u^{-1/2}v^{-1/2} (which solves the wave equation on Minkowski space), where u and v are double null coordinates. Our proof adapts the physical space techniques in the work of Gajic on the wave equation with an inverse-square potential on the Schwarzschild spacetime. In particular, we extend the r^p-weighted energy estimates of Dafermos--Rodnianski to two space dimensions.

What carries the argument

The r^p-weighted energy estimates extended to two space dimensions, which bound the solution and isolate the leading u^{-1/2}v^{-1/2} term in double null coordinates.

If this is right

The leading decay matches the flat Minkowski solution even after the introduction of the stationary radial perturbation.
The asymptotics are controlled uniformly for the entire class of such backgrounds.
The same physical-space energy method yields the precise leading term without requiring Fourier analysis.
The result supplies a baseline decay rate for wave propagation on these two-dimensional spacetimes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The leading term may persist for a wider class of non-stationary or weakly non-radial perturbations if similar weighted estimates hold.
Numerical evolution of the wave equation on an explicit perturbed metric could measure the proportionality constant directly.
The technique suggests that curvature corrections enter only at higher order in the late-time expansion for symmetric two-dimensional backgrounds.

Load-bearing premise

The r^p-weighted energy estimates of Dafermos-Rodnianski can be extended to two space dimensions for radially symmetric stationary perturbations without losing the required decay control.

What would settle it

An explicit computation of the late-time expansion on a concrete example metric, such as a small radial stationary perturbation, that checks whether the coefficient of the leading term is indeed proportional to u^{-1/2}v^{-1/2}.

Figures

Figures reproduced from arXiv: 2605.03220 by Onyx Gautam.

**Figure 1.** Figure 1: A summary of the proof of the pointwise estimate for φb0 that, together with estimates for φ≥1, implies that the late-time asymptotics of φ are described by φmink. Acknowledgements. We thank Dejan Gajic, Georgios Moschidis, and Igor Rodnianski for helpful discussions. We thank Jonathan Luk and Sung-Jin Oh for pointing out references. We thank Dejan Gajic and Igor Rodnianski for comments on the manuscript. … view at source ↗

read the original abstract

We show that the leading-order term in the late-time asymptotics of solutions to the linear wave equation on radially symmetric stationary perturbations of $(2 + 1)$-dimensional Minkowski space is proportional to $u^{-1/2}v^{-1/2}$ (which solves the wave equation on Minkowski space), where $u$ and $v$ are double null coordinates. Our proof adapts the physical space techniques in the work of Gajic (arXiv:2203.15838) on the wave equation with an inverse-square potential on the Schwarzschild spacetime. In particular, we extend the $r^p$-weighted energy estimates of Dafermos--Rodnianski (arXiv:0910.4957) to two space dimensions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper adapts r^p-weighted estimates to show that linear waves on 2D radial stationary perturbations of Minkowski space have the same leading late-time tail as flat space.

read the letter

The main point is that on these radially symmetric stationary 2D spacetimes the leading late-time behavior of solutions to the linear wave equation is proportional to u^{-1/2} v^{-1/2}, exactly as on Minkowski. They reach this by extending the physical-space r^p energy estimates from Dafermos-Rodnianski and Gajic's inverse-square work to the two-dimensional setting, treating the stationary perturbation as lower-order coefficients that can be absorbed without spoiling the decay hierarchy. This is new: prior tail results of this precision were mostly in three or more dimensions, and the 2D radial stationary case had not been handled before. The argument stays close to the existing machinery and uses the radial symmetry to simplify the commutators, which is a clean move. The abstract indicates the estimates close at the required orders, so the central claim looks plausible on the basis of the cited techniques. One soft spot worth verifying in the details is the change in radial measure. In two dimensions the volume element is r dr rather than r^2 dr, which alters the boundary terms and the positivity in the weighted integrals. If the perturbation produces commutator errors that sit at the same scaling as the target term, the p=1 endpoint could be harder to reach than in higher dimensions. The paper states that the extension works, but the full estimates will show whether extra decay or a modified weight is needed. This is a paper for people already working on precise asymptotics for waves on black-hole backgrounds or their perturbations. A reader who knows the Dafermos-Rodnianski method will follow it without trouble and may use the 2D case as a test bed for other lower-dimensional problems. It is a focused technical extension that is grounded enough to deserve a serious referee rather than a desk rejection. I would send it out for peer review.

Referee Report

1 major / 2 minor

Summary. The manuscript proves that the leading late-time asymptotic term for solutions of the linear wave equation on radially symmetric stationary perturbations of (2+1)-dimensional Minkowski space is proportional to u^{-1/2}v^{-1/2} in double-null coordinates. The argument adapts the physical-space methods of Gajic (arXiv:2203.15838) for the wave equation with inverse-square potential and extends the r^p-weighted energy estimates of Dafermos-Rodnianski (arXiv:0910.4957) to two spatial dimensions.

Significance. If the 2D extension of the estimates is valid, the result supplies a precise, parameter-free leading tail that matches the flat-space solution, thereby confirming the expected decay rate on a broad class of 2D stationary backgrounds. This fills a dimensional gap between the well-studied 3D and higher-dimensional cases and supplies a concrete benchmark for future nonlinear or non-stationary extensions.

major comments (1)

[r^p-weighted estimates section] The central step is the extension of the r^p-weighted estimates to two dimensions (the section containing the 2D version of the Dafermos-Rodnianski hierarchy). Because the radial volume element is r dr rather than r^2 dr, the integration-by-parts identities acquire different boundary terms at r=0 and the bulk positivity for p=1 must be re-verified; the manuscript should exhibit the precise commutator estimates that absorb the lower-order coefficients coming from the stationary perturbation without losing the endpoint.

minor comments (2)

[Theorem 1.1] In the statement of the main theorem, the proportionality constant multiplying u^{-1/2}v^{-1/2} should be made explicit (or shown to be determined by initial data) rather than left as an unspecified factor.
[Introduction] Notation for the double-null coordinates u and v is introduced without a displayed definition; a short paragraph recalling u = t-r, v = t+r (or the precise 2D analogue) would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of our work and for the detailed comment on the r^p-weighted estimates. We address the point below and have revised the manuscript accordingly.

read point-by-point responses

Referee: [r^p-weighted estimates section] The central step is the extension of the r^p-weighted estimates to two dimensions (the section containing the 2D version of the Dafermos-Rodnianski hierarchy). Because the radial volume element is r dr rather than r^2 dr, the integration-by-parts identities acquire different boundary terms at r=0 and the bulk positivity for p=1 must be re-verified; the manuscript should exhibit the precise commutator estimates that absorb the lower-order coefficients coming from the stationary perturbation without losing the endpoint.

Authors: We agree that the two-dimensional radial measure r dr necessitates a separate verification of the integration-by-parts identities and positivity properties. In the revised manuscript we have inserted explicit calculations of the 2D identities, confirming that all boundary terms at r=0 vanish for solutions with the assumed regularity. For the p=1 case we re-derive the bulk term and show that the leading positive contribution survives after the lower-order terms generated by the stationary perturbation are absorbed. We have also added the precise commutator estimates for the perturbation coefficients, demonstrating that they remain controllable at the endpoint p=1 without loss of the hierarchy. These additions appear in the section on r^p-weighted energies. revision: yes

Circularity Check

0 steps flagged

No circularity: proof adapts independent external techniques

full rationale

The derivation extends r^p-weighted energy estimates from the independently cited Dafermos-Rodnianski work (arXiv:0910.4957) and adapts physical-space methods from the cited Gajic paper (arXiv:2203.15838) to radially symmetric stationary perturbations of 2+1 Minkowski space. These are external references with no indicated author overlap or self-citation chain. The leading u^{-1/2}v^{-1/2} asymptotic is obtained by applying the extended estimates to isolate the Minkowski solution term, without any reduction to fitted parameters, self-definitional inputs, or load-bearing self-citations. The paper is self-contained against the cited benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the domain assumption that the spacetime is a radially symmetric stationary perturbation of Minkowski space together with the technical assumption that the r^p-weighted energy estimates extend to two dimensions; no free parameters or new entities are introduced.

axioms (2)

domain assumption The spacetime is a radially symmetric stationary perturbation of (2+1)-dimensional Minkowski space
Stated explicitly in the title and abstract as the geometric setting.
ad hoc to paper The r^p-weighted energy estimates of Dafermos-Rodnianski extend to two space dimensions
This extension is the key step invoked in the abstract to adapt Gajic's techniques.

pith-pipeline@v0.9.0 · 5418 in / 1209 out tokens · 61835 ms · 2026-05-13T05:58:20.024639+00:00 · methodology

Review history (3 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (D=3 forced by non-trivial circle linking) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We extend the r^p-weighted energy estimates of Dafermos–Rodnianski to two space dimensions... leading-order term ... u^{-1/2}v^{-1/2}
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean none (pure analytic estimates; no J-cost or recognition ladder) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The main new steps ... extension of the r^p-weighted energy method ... resolution of the difficulty caused by the inverse-square potential with critical constant −1/4 by introducing Ψ0 := r^{1/2}∂r φ0

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

A vector field approach to almost-sharp decay for the wave equation on spherically symmetric, stationary spacetimes

[AAG18a] Y Angelopoulos, S Aretakis, and D Gajic. “A vector field approach to almost-sharp decay for the wave equation on spherically symmetric, stationary spacetimes”. en. In:Ann. PDE4.2 (Dec. 2018). [AAG18b] Yannis Angelopoulos, Stefanos Aretakis, and Dejan Gajic. “Late-time asymptotics for the wave equation on spherically symmetric, stationary spacetim...

work page doi:10.1007/s00023-023-01328-8.url:http://dx.doi.org/10.1007/s00023-023-01328-8 2018
[2]

Decay Estimates for the One-dimensional Wave Equation with an Inverse Power Potential

[DS10] Roland Donninger and Wilhelm Schlag. “Decay Estimates for the One-dimensional Wave Equation with an Inverse Power Potential”. In:International Mathematics Research Notices(Mar. 2010).issn: 1687-0247.doi: 10.1093/imrn/rnq038.url:http://dx.doi.org/10.1093/imrn/rnq038. [EG13] M. Burak Erdo˘ gan and William R. Green. “Dispersive estimates for Schr¨ odi...

work page doi:10.1093/imrn/rnq038.url:http://dx.doi.org/10.1093/imrn/rnq038 2010
[3]

[GK25] Dejan Gajic and Lionor Kehrberger.Linear and nonlinear late-time tails on dynamical black hole spacetimes via time integrals

arXiv:2412.17927 [gr-qc].url:https://arxiv.org/abs/2412.17927. [GK25] Dejan Gajic and Lionor Kehrberger.Linear and nonlinear late-time tails on dynamical black hole spacetimes via time integrals

work page arXiv
[4]

Time decay estimates for the wave equation with potential in dimension two

arXiv:2511.23242 [gr-qc].url:https://arxiv.org/abs/2511.23242. [Gre14] William R. Green. “Time decay estimates for the wave equation with potential in dimension two”. In:Journal of Differential Equations257.3 (Aug. 2014), pp. 868–919.issn: 0022-0396.doi: 10.1016/j.jde.2014.04.020.url: http://dx.doi.org/10.1016/j.jde.2014.04.020. [GVdM24] Dejan Gajic and M...

work page doi:10.1016/j.jde.2014.04.020.url: 2014
[5]

A sharp version of Price’s law for wave decay on asymptotically flat spacetimes

arXiv: 2401.13047 [math.AP] .url: https://arxiv.org/abs/ 2401.13047. [Hin22] Peter Hintz. “A sharp version of Price’s law for wave decay on asymptotically flat spacetimes”. In:Comm. Math. Phys.389.1 (2022), pp. 491–542. [Hin23] Peter Hintz.Linear waves on asymptotically flat spacetimes. I

work page arXiv 2022
[6]

A local energy estimate for 2-dimensional Dirichlet wave equations

arXiv: 2302.14647 [math.AP] .url: https: //arxiv.org/abs/2302.14647. [HM23] Kellan Hepditch and Jason Metcalfe. “A local energy estimate for 2-dimensional Dirichlet wave equations”. In: Involve, a Journal of Mathematics16 (Aug. 2023), pp. 483–492.doi:10.2140/involve.2023.16.483. [Ike25] Ryo Ikehata.Local energy decay for 2-D wave equations with variable c...

work page doi:10.2140/involve.2023.16.483 2023
[7]

A unified approach to resolvent expansions at thresholds

arXiv: 2509 . 13640 [math.AP].url:https://arxiv.org/abs/2509.13640. [JN01] Arne Jensen and Gheorghe Nenciu. “A unified approach to resolvent expansions at thresholds”. In:Reviews in Mathematical Physics13.06 (2001), pp. 717–754.doi:10.1142/S0129055X01000843. [Kop10] E A Kopylova. “Dispersive estimates for the 2D wave equation”. en. In:Russ. J. Math. Phys....

work page doi:10.1142/s0129055x01000843 2001
[8]

The rp-weighted energy method of Dafermos and Rodnianski in general asymptotically flat spacetimes and applications

arXiv:2404.02220 [gr-qc]. [Mos] Georgios Moschidis. personal communication. [Mos16] Georgios Moschidis. “The rp-weighted energy method of Dafermos and Rodnianski in general asymptotically flat spacetimes and applications”. In:Annals of PDE2.6 (2016), pp. 1–194. [Mou09] Simon Moulin. “High frequency dispersive estimates in dimension two”. en. In:Ann. Henri...

work page arXiv 2016
[9]

Decay of linear waves on higher-dimensional Schwarzschild black holes

[Sch13] Volker Schlue. “Decay of linear waves on higher-dimensional Schwarzschild black holes”. In:Analysis & PDE6.3 (July 2013), pp. 515–600.issn: 2157-5045.doi: 10.2140/apde.2013.6.515 .url: http://dx.doi.org/10.2140/ apde.2013.6.515. [Sch21] W. Schlag. “On pointwise decay of waves”. In:Journal of Mathematical Physics62.6 (June 2021).issn: 1089-7658. do...

work page doi:10.2140/apde.2013.6.515 2013
[10]

Department of Mathematics, Princeton University Email address:onyxg@princeton.edu 59

arXiv: 1712.07684 [math.AP].url:https://arxiv.org/abs/1712.07684. Department of Mathematics, Princeton University Email address:onyxg@princeton.edu 59

work page arXiv