The effect of geometric focusing on dispersive estimates for Schr\"odinger and wave equations
Pith reviewed 2026-06-27 15:55 UTC · model grok-4.3
The pith
Each multiplicity of conjugate points within distance π on cone boundaries causes a |t|^{1/2} loss in long-time Schrödinger dispersive decay.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On non-trapping asymptotically conic manifolds and metric cones, the long-time dispersive decay for the Schrödinger and wave equations is governed by the multiplicity of conjugate points within distance π on the boundary Y of the cone X0, with each such multiplicity producing a |t|^{1/2} loss in decay order and a half-order regularity shift, except that pairs exactly at distance π cause no loss when the Legendre submanifold satisfies the admissible condition.
What carries the argument
The multiplicity of conjugate points within distance π on the boundary Y, which quantifies geometric focusing intensity and fixes the precise loss terms in the dispersive estimates.
If this is right
- The long-time decay order decreases by |t|^{1/2} for every additional multiplicity of conjugate points inside distance π.
- The Sobolev regularity index in the estimate shifts by one half for each such multiplicity.
- The admissible condition on the Legendre submanifold eliminates the loss for specific pairs at distance π.
- The estimates remain valid after small changes to the metric and after adding potentials.
Where Pith is reading between the lines
- The same focusing classification may apply to other dispersive equations on asymptotically conic geometries.
- Euclidean space, which has no conjugate points, recovers the standard decay rates with no geometric losses.
- Explicit spherical cones could serve as test cases to verify when the admissible condition holds and losses are avoided.
Load-bearing premise
The manifolds are non-trapping and asymptotically conic, and wave propagation on the Legendre submanifold satisfies the admissible condition that prevents loss for certain pairs at distance π.
What would settle it
An explicit computation of the Schrödinger dispersive estimate on a concrete metric cone containing two conjugate points at distance π, checking whether the observed decay rate matches the predicted loss or the admissible-condition exemption.
Figures
read the original abstract
We classify the long-time decay rate in dispersive estimates for the Schr\"odinger and wave equations on non-trapping asymptotically conic manifolds and exact metric cones in terms of the intensity of geometric focusing. Letting $X_0$ be a metric cone, one of our main results demonstrates that each multiplicity of conjugate points within distance $\pi$ on $Y=\partial X_0$ leads to a $|t|^{1/2}$-loss in the long-time decay order and a half-order shift in the regularity index in the dispersive estimate for the Schr\"odinger equation. Unexpectedly, conjugate point pairs on $Y$ at distance $\pi$ do not cause loss when the Legendre submanifold carrying the wave propagation satisfies a natural admissible condition that we propose. In sum, we give a robust framework for proving dispersive estimates that is stable under geometric perturbations and also accommodates perturbations by potentials.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript classifies long-time decay rates in dispersive estimates for the Schrödinger and wave equations on non-trapping asymptotically conic manifolds and exact metric cones in terms of the multiplicity of conjugate points on Y = ∂X0 within distance π. Each such multiplicity is claimed to produce a |t|^{1/2} loss in the decay order together with a half-order shift in the regularity index for the Schrödinger equation; conjugate-point pairs at exactly distance π cause no loss when the Legendre submanifold satisfies a proposed admissible condition. The framework is asserted to be stable under geometric perturbations and to accommodate potential perturbations.
Significance. If the derivations are complete, the explicit geometric classification of focusing losses supplies a concrete, checkable criterion for decay rates that is stable under perturbations. This is a substantive contribution to the literature on dispersive estimates on non-compact manifolds, as it replaces case-by-case analysis with a uniform multiplicity count and isolates a verifiable exception via the admissible condition on the wavefront set.
major comments (2)
- [Abstract, main results paragraph] Abstract and main-results paragraph: the admissible condition on the Legendre submanifold is load-bearing for the exception at distance π, yet its precise definition, the verification that it is checkable from the geometry, and the proof that it eliminates the |t|^{1/2} loss are not supplied in the abstract; without these details the exception cannot be assessed as non-ad-hoc.
- [Main results / dispersive estimate section] The central claim that each multiplicity within distance π produces exactly a |t|^{1/2} loss and half-order regularity shift relies on the non-trapping and asymptotically conic hypotheses together with the admissible condition; the manuscript must exhibit the precise propagation statement on the Legendre submanifold that converts multiplicity into the loss (presumably in the section containing the main dispersive estimate).
minor comments (1)
- [Introduction] Notation for the link Y = ∂X0 and the distance π should be introduced once with a forward reference to the geometric setup.
Simulated Author's Rebuttal
We thank the referee for their thorough review and valuable suggestions. We respond to each major comment below.
read point-by-point responses
-
Referee: [Abstract, main results paragraph] Abstract and main-results paragraph: the admissible condition on the Legendre submanifold is load-bearing for the exception at distance π, yet its precise definition, the verification that it is checkable from the geometry, and the proof that it eliminates the |t|^{1/2} loss are not supplied in the abstract; without these details the exception cannot be assessed as non-ad-hoc.
Authors: The admissible condition is proposed and defined in the main body of the manuscript. We agree that the abstract would benefit from a concise statement of the condition to clarify the exception. In the revised manuscript, we will include a short description of the admissible condition in the abstract, along with a note that it is verifiable from the geometry. The full details and proof are contained in the subsequent sections. revision: yes
-
Referee: [Main results / dispersive estimate section] The central claim that each multiplicity within distance π produces exactly a |t|^{1/2} loss and half-order regularity shift relies on the non-trapping and asymptotically conic hypotheses together with the admissible condition; the manuscript must exhibit the precise propagation statement on the Legendre submanifold that converts multiplicity into the loss (presumably in the section containing the main dispersive estimate).
Authors: The propagation statement on the Legendre submanifold is stated explicitly in the main dispersive estimate theorem and the associated lemmas in the relevant section. We will revise the main results paragraph to include a direct reference to this statement, ensuring the conversion from multiplicity to the loss is clearly linked. revision: yes
Circularity Check
No significant circularity; derivation grounded in geometric assumptions
full rationale
The paper classifies long-time dispersive decay rates for Schrödinger and wave equations on non-trapping asymptotically conic manifolds and cones in terms of conjugate point multiplicity on the link Y=∂X0. The central claims rest on standard geometric hypotheses (non-trapping, asymptotic conicity) plus a proposed admissible condition on the Legendre submanifold that removes loss in the distance-π case. No equations or results are shown to reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the admissible condition is presented as an independent, checkable restriction rather than an ansatz smuggled from prior work. The derivation chain therefore remains self-contained against external geometric benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Manifolds are non-trapping and asymptotically conic
- ad hoc to paper Wave propagation satisfies admissible condition on Legendre submanifold
invented entities (1)
-
admissible condition on Legendre submanifold
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Local energy decay for several evolution equations on asymptotically Euclidean manifolds.Ann
Jean-Fran¸cois Bony and Dietrich H¨ afner. Local energy decay for several evolution equations on asymptotically Euclidean manifolds.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 45(2):311–335, 2012. 2, 7
2012
-
[2]
Sharp resolvent and time-decay estimates for dispersive equations on asymptotically Euclidean backgrounds.Duke Math
Jean-Marc Bouclet and Nicolas Burq. Sharp resolvent and time-decay estimates for dispersive equations on asymptotically Euclidean backgrounds.Duke Math. J., 170(11):2575–2629, 2021. 2, 7, 9
2021
-
[3]
Strichartz estimates for long range perturbations.Amer
Jean-Marc Bouclet and Nikolay Tzvetkov. Strichartz estimates for long range perturbations.Amer. J. Math., 129(6):1565–1609, 2007. 9
2007
-
[4]
´Equations aux D´ eriv´ ees Partielles
Nicolas Burq, Patrick G´ erard, and Nikolay Tzvetkov. The Schr¨ odinger equation on a compact manifold: Strichartz estimates and applications. InJourn´ ees “ ´Equations aux D´ eriv´ ees Partielles” (Plestin-les-Gr` eves, 2001), pages Exp. No. V, 18. Univ. Nantes, Nantes, 2001. 9
2001
-
[5]
Damping oscillatory integrals.Invent
Michael Cowling, Shaun Disney, Giancarlo Mauceri, and Detlef M¨ uller. Damping oscillatory integrals.Invent. Math., 101(2):237–260, 1990. 8
1990
-
[6]
Mathematics: Theory & Applications
Manfredo Perdig˜ ao do Carmo.Riemannian geometry. Mathematics: Theory & Applications. Birkh¨ auser Boston, Inc., Boston, MA, 1992. 89
1992
-
[7]
J. J. Duistermaat and L H¨ ormander. Fourier integral operators. ii.Acta Mathematica, pages 183–269, 1972. 9
1972
-
[8]
Fontelos, and Ana Primo
Luca Fanelli, Veronica Felli, Marco A. Fontelos, and Ana Primo. Time decay of scaling critical electromagnetic Schr¨ odinger flows.Comm. Math. Phys., 324(3):1033–1067, 2013. 6
2013
-
[9]
Jesse Gell-Redman, Sean Gomes, and Andrew Hassell. Propagation of singularities and Fredholm analysis of the time-dependent Schr¨ odinger equation.arXiv preprint arXiv:2201.03140, 2022. 25
-
[10]
Ginibre and G
J. Ginibre and G. Velo. Generalized Strichartz inequalities for the wave equation.J. Funct. Anal., 133(1):50–68,
-
[11]
Dispersive equations on asymptotically conical manifolds: time decay in the low-frequency regime.Ann
Viviana Grasselli. Dispersive equations on asymptotically conical manifolds: time decay in the low-frequency regime.Ann. Global Anal. Geom., 63(2):Paper No. 17, 43, 2023. 7
2023
-
[12]
Resolvent at low energy and Riesz transform for Schr¨ odinger operators on asymptotically conic manifolds
Colin Guillarmou and Andrew Hassell. Resolvent at low energy and Riesz transform for Schr¨ odinger operators on asymptotically conic manifolds. I.Math. Ann., 341(4):859–896, 2008. 9, 10, 13
2008
-
[13]
Uniform sobolev estimates for non-trapping metrics.Journal of the Institute of Mathematics of Jussieu, 13(3):599–632, 2014
Colin Guillarmou and Andrew Hassell. Uniform sobolev estimates for non-trapping metrics.Journal of the Institute of Mathematics of Jussieu, 13(3):599–632, 2014. 32
2014
-
[14]
Resolvent at low energy III: The spectral measure.Trans
Colin Guillarmou, Andrew Hassell, and Adam Sikora. Resolvent at low energy III: The spectral measure.Trans. Amer. Math. Soc., 365(11):6103–6148, 2013. 3, 7, 8, 9, 10, 11, 15, 32, 39, 40
2013
-
[15]
Restriction and spectral multiplier theorems on asymp- totically conic manifolds.Anal
Colin Guillarmou, Andrew Hassell, and Adam Sikora. Restriction and spectral multiplier theorems on asymp- totically conic manifolds.Anal. PDE, 6(4):893–950, 2013. 8, 9, 10, 13, 26, 29, 32, 35, 39, 40, 42, 44, 46
2013
-
[16]
Guillemin
V. Guillemin. Sojourn times and asymptotic properties of the scattering matrix.Publ. Res. Inst. Math. Sci., 12(suppl):69–88, 1976/77. 25
1976
-
[17]
Guillemin and G
V. Guillemin and G. Uhlmann. Oscillatory integrals with singular symbols.Duke Math. J., 48(1):251–267, 1981. 9
1981
-
[18]
Andrew Hassell and Qiuye Jia. The scattering map for the Schr¨ odinger operator on curved spaces.arXiv preprint arXiv:2601.20225, 2026. 51 GEOMETRIC FOCUSING AND DISPERSIVE ESTIMATES 93
-
[19]
A Strichartz inequality for the Schr¨ odinger equation on non- trapping asymptotically conic manifolds.Comm
Andrew Hassell, Terence Tao, and Jared Wunsch. A Strichartz inequality for the Schr¨ odinger equation on non- trapping asymptotically conic manifolds.Comm. Partial Differential Equations, 30(1-3):157–205, 2005. 58
2005
-
[20]
Sharp Strichartz estimates on nontrapping asymptotically conic manifolds.Amer
Andrew Hassell, Terence Tao, and Jared Wunsch. Sharp Strichartz estimates on nontrapping asymptotically conic manifolds.Amer. J. Math., 128(4):963–1024, 2006. 9
2006
-
[21]
The spectral projections and the resolvent for scattering metrics.Journal d’Analyse Mathematique, 79:241–298, 1999
Andrew Hassell and Andr´ as Vasy. The spectral projections and the resolvent for scattering metrics.Journal d’Analyse Mathematique, 79:241–298, 1999. 8, 9, 10, 15, 16, 18, 19, 22, 23, 25, 40, 49
1999
-
[22]
The resolvent for laplace-type operators on asymptotically conic spaces
Andrew Hassell and Andr´ as Vasy. The resolvent for laplace-type operators on asymptotically conic spaces. Annales de l’institut Fourier, 51(5):1299–1346, 2001. 8, 9, 10, 15, 16, 19, 22, 25, 27
2001
-
[23]
The Schr¨ odinger propagator for scattering metrics.Annals of Mathematics, pages 487–523, 2005
Andrew Hassell and Jared Wunsch. The Schr¨ odinger propagator for scattering metrics.Annals of Mathematics, pages 487–523, 2005. 9
2005
-
[24]
The semiclassical resolvent and the propagator for non-trapping scattering metrics.Adv
Andrew Hassell and Jared Wunsch. The semiclassical resolvent and the propagator for non-trapping scattering metrics.Adv. Math., 217(2):586–682, 2008. 7, 9, 10, 13, 15, 16, 17, 24, 25, 26, 27, 28, 29, 30, 32, 39, 40, 50, 59
2008
-
[25]
Global-in-time strichartz estimates on nontrapping, asymptotically conic manifolds.Analysis & PDE, 9(1):151–192, 2016
Andrew Hassell and Junyong Zhang. Global-in-time strichartz estimates on nontrapping, asymptotically conic manifolds.Analysis & PDE, 9(1):151–192, 2016. 9, 13, 14, 24, 26, 32, 48, 62, 71, 72, 75, 85
2016
-
[26]
Fourier integral operators
Lars H¨ ormander. Fourier integral operators. I.Acta Mathematica, 127(none):79 – 183, 1971. 9, 48
1971
-
[27]
Springer Science & Business Media, 2003
Lars H¨ ormander.The analysis of linear partial differential operators I: Distribution theory and Fourier analysis. Springer Science & Business Media, 2003. 66
2003
-
[28]
Springer,
Lars H¨ ormander.The analysis of linear partial differential operators IV: Fourier integral operators. Springer,
-
[29]
Dispersion for the wave equation outside a cylinder inR 3.J
Felice Iandoli and Oana Ivanovici. Dispersion for the wave equation outside a cylinder inR 3.J. Funct. Anal., 286(9):Paper No. 110377, 50, 2024. 9
2024
-
[30]
Determining metrics from the scattering map of the time-dependent Schr\"odinger equation
Qiuye Jia. Determining metrics from the scattering map of the time-dependent Schr¨ odinger equation.arXiv preprint arXiv:2604.20160, 2026. 25
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[31]
Qiuye Jia and Junyong Zhang. Pointwise dispersive estimates for schrodinger and wave equations in a conical singular space.arXiv preprint arXiv:2411.16029, 2024. 4, 5, 6, 8
-
[32]
Qiuye Jia and Junyong Zhang. Strichartz estimates for the schr¨ odinger equation in high dimensional critical electromagnetic fields.arXiv preprint arXiv:2412.02296, 2024. 4
-
[33]
Qiuye Jia and Junyong Zhang. Decay and Strichartz estimates for critical electromagnetic wave equations on conic manifolds.arXiv preprint arXiv:2506.09635, 2025. 4
-
[34]
PhD thesis, Massachusetts Institute of Technology, 1994
Mark S Joshi.A precision calculus of paired Lagrangian distributions. PhD thesis, Massachusetts Institute of Technology, 1994. 9
1994
-
[35]
L. V. Kapitanski˘ i. Estimates for norms in Besov and Lizorkin-Triebel spaces for solutions of second-order linear hyperbolic equations.Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 171:106–162, 185–186,
-
[36]
Endpoint Strichartz estimates.Amer
Markus Keel and Terence Tao. Endpoint Strichartz estimates.Amer. J. Math., 120(5):955–980, 1998. 9
1998
-
[37]
Dispersive estimates for principally normal pseudodifferential operators.Comm
Herbert Koch and Daniel Tataru. Dispersive estimates for principally normal pseudodifferential operators.Comm. Pure Appl. Math., 58(2):217–284, 2005. 2
2005
-
[38]
Damping oscillatory integrals of convex analytic functions.arXiv preprint arXiv:2505.15492, 2025
Sanghyuk Lee and Sewook Oh. Damping oscillatory integrals of convex analytic functions.arXiv preprint arXiv:2505.15492, 2025. 8
-
[39]
R. B. Melrose and G. A. Uhlmann. Lagrangian intersection and the Cauchy problem.Comm. Pure Appl. Math., 32(4):483–519, 1979. 9
1979
-
[40]
Scattering metrics and geodesic flow at infinity.Inventiones Mathematicae, 124(1):389–436, 1996
Richard Melrose and Maciej Zworski. Scattering metrics and geodesic flow at infinity.Inventiones Mathematicae, 124(1):389–436, 1996. 4, 5, 8, 9, 10, 15, 18, 22, 25, 49, 55
1996
-
[41]
Melrose.The Atiyah-Patodi-Singer index theorem, volume 4 ofResearch Notes in Mathematics
Richard B. Melrose.The Atiyah-Patodi-Singer index theorem, volume 4 ofResearch Notes in Mathematics. A K Peters, Ltd., Wellesley, MA, 1993. 9, 10
1993
-
[42]
Richard B. Melrose. Spectral and scattering theory for the Laplacian on asymptotically Euclidian spaces. In Spectral and scattering theory (Sanda, 1992), volume 161 ofLecture Notes in Pure and Appl. Math., pages 85–130. Dekker, New York, 1994. 3, 9
1992
-
[43]
Melrose.Geometric scattering theory
Richard B. Melrose.Geometric scattering theory. Stanford Lectures. Cambridge University Press, Cambridge,
-
[44]
On some estimates for the wave equation inL p andH p.J
Akihiko Miyachi. On some estimates for the wave equation inL p andH p.J. Fac. Sci. Univ. Tokyo Sect. IA Math., 27(2):331–354, 1980. 9
1980
-
[45]
Gerd Mockenhaupt, Andreas Seeger, and Christopher D. Sogge. Local smoothing of Fourier integral operators and Carleson-Sj¨ olin estimates.J. Amer. Math. Soc., 6(1):65–130, 1993. 9
1993
-
[46]
Peral.L p estimates for the wave equation.J
Juan C. Peral.L p estimates for the wave equation.J. Functional Analysis, 36(1):114–145, 1980. 9
1980
-
[47]
Low frequency asymptotics and local energy decay for the Schr¨ odinger equation.J
Julien Royer. Low frequency asymptotics and local energy decay for the Schr¨ odinger equation.J. Eur. Math. Soc. (JEMS), 27(8):3149–3190, 2025. 2, 7, 9
2025
-
[48]
W. Schlag. On pointwise decay of waves.J. Math. Phys., 62(6):Paper No. 061509, 27, 2021. 2 94 QIUYE JIA AND JUNYONG ZHANG
2021
-
[49]
Sogge, and Elias M
Andreas Seeger, Christopher D. Sogge, and Elias M. Stein. Regularity properties of Fourier integral operators. Ann. of Math. (2), 134(2):231–251, 1991. 9
1991
-
[50]
Hart F. Smith. A parametrix construction for wave equations withC 1,1 coefficients.Ann. Inst. Fourier (Greno- ble), 48(3):797–835, 1998. 9
1998
-
[51]
Sogge and Elias M
Christopher D. Sogge and Elias M. Stein. Averages of functions over hypersurfaces inR n.Invent. Math., 82(3):543–556, 1985. 8
1985
-
[52]
Strichartz estimates for a Schr¨ odinger operator with nonsmooth coefficients
Gigliola Staffilani and Daniel Tataru. Strichartz estimates for a Schr¨ odinger operator with nonsmooth coefficients. Comm. Partial Differential Equations, 27(7-8):1337–1372, 2002. 9
2002
-
[53]
Stein.Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 of Princeton Mathematical Series
Elias M. Stein.Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 of Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 1993. With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III. 67
1993
-
[54]
Dispersive estimates and optimality for Schr¨ odinger equations on product cones.Forum Math., 38(4):1043–1059, 2026
Kouichi Taira. Dispersive estimates and optimality for Schr¨ odinger equations on product cones.Forum Math., 38(4):1043–1059, 2026. 7
2026
-
[55]
Strichartz estimates for second order hyperbolic operators with nonsmooth coefficients
Daniel Tataru. Strichartz estimates for second order hyperbolic operators with nonsmooth coefficients. II.Amer. J. Math., 123(3):385–423, 2001. 9
2001
-
[56]
Strichartz estimates for second order hyperbolic operators with nonsmooth coefficients
Daniel Tataru. Strichartz estimates for second order hyperbolic operators with nonsmooth coefficients. III.J. Amer. Math. Soc., 15(2):419–442, 2002. 9
2002
-
[57]
Parametrices and dispersive estimates for Schr¨ odinger operators with variable coefficients.Amer
Daniel Tataru. Parametrices and dispersive estimates for Schr¨ odinger operators with variable coefficients.Amer. J. Math., 130(3):571–634, 2008. 2
2008
-
[58]
Resolvent near zero energy on Riemannian scattering (asymptotically conic) spaces.Pure Appl
Andr´ as Vasy. Resolvent near zero energy on Riemannian scattering (asymptotically conic) spaces.Pure Appl. Anal., 3(1):1–74, 2021. 11
2021
-
[59]
Resolvent near zero energy on Riemannian scattering (asymptotically conic) spaces, a Lagrangian approach.Comm
Andr´ as Vasy. Resolvent near zero energy on Riemannian scattering (asymptotically conic) spaces, a Lagrangian approach.Comm. Partial Differential Equations, 46(5):823–863, 2021. 11
2021
-
[60]
Distribution of resonances for asymptotically Euclidean manifolds.Journal of Differential Geometry, 55(1):43–82, 2000
Jared Wunsch and Maciej Zworski. Distribution of resonances for asymptotically Euclidean manifolds.Journal of Differential Geometry, 55(1):43–82, 2000. 14
2000
-
[61]
Strichartz estimates and nonlinear wave equation on nontrapping asymptotically conic manifolds
Junyong Zhang. Strichartz estimates and nonlinear wave equation on nontrapping asymptotically conic manifolds. Adv. Math., 271:91–111, 2015. 9 Mathematical Sciences Institute, the Australian National University; Email address:Qiuye.Jia@anu.edu.au; Junyong Zhang Department of Mathematics, Beijing Institute of Technology, Beijing 100081 Email address:zhang ...
2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.