Skip to main content
Log in

The Van Vleck Formula on Ehrenfest Time Scales and Stationary Phase Asymptotics for Frequency-Dependent Phases

  • Published:
Communications in Mathematical Physics Aims and scope Submit manuscript

Abstract

The Van Vleck formula is a semiclassical approximation to the integral kernel of the propagator associated to a time-dependent Schrödinger equation. Under suitable hypotheses, we present a rigorous treatment of this approximation which is valid on Ehrenfest time scales, i.e. \(\hbar \)-dependent time intervals which most commonly take the form \(|t| \le c|\log \hbar |\). Our derivation is based on an approximation to the integral kernel often called the Herman–Kluk approximation, which realizes the kernel as an integral superposition of Gaussians parameterized by points in phase space. As was shown by Robert (Rev Math Phys 22(10):1123-1145, 2010) , this yields effective approximations over Ehrenfest time intervals. In order to derive the Van Vleck approximation from the Herman–Kluk approximation, we are led to develop stationary phase asymptotics where the phase functions depend on the frequency parameter in a nontrivial way, a result which may be of independent interest.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. This is a indeed a rough statement since we do not make any formal hypotheses on \({\hat{H}}\) at this stage. In particular, it is significant to have a hypothesis to ensure that \(\Xi _t (x,y)\) is a finite set (cf. Remark 6 following Theorem 1.2). Our results below will introduce a microlocal cutoff in momentum to achieve this.

  2. Here we treat the Maslov index in a manner consistent with [16], allowing it to take on a half-integer value. This means the expression here differs slightly from that in some other treatments, where the first factor is \((2\pi i\hbar )^{-\frac{d}{2}}\) instead of \((2\pi \hbar )^{-\frac{d}{2}}\) as we have here. This convention also agrees with the one in [21], where half-integer indices naturally appear for paths starting from the Maslov cycle.

  3. Not all of these works address (1.5) explicitly, but they are all at least small variations on it. For this reason, we do not attempt to compare the results themselves, and instead emphasize the methods behind them.

  4. The approximation seems closely related to those resulting from a wave packet transform such as the Bargmann or FBI transforms. But in the works cited here, the derivation of the amplitude a does not make significant use of such tools. Instead, (1.9) is viewed as an ansatz, and integration by parts is used to inductively determine \(a_0,a_1,a_2,\dots .\) Nonetheless, such transforms were used in [20] to obtain estimates on the error in the approximations.

  5. We state the \(\lambda <\frac{1}{4}\) hypothesis from [20] here, but in order to apply Theorem 1.1 towards the Van Vleck formula we use the stronger hypothesis \(24\lambda + 6 \delta < 1\) below.

  6. Here we display the effect of including all terms in the asymptotic expansion \(H \sim \sum _{j=0}^{\infty } \hbar ^j H_j\), whereas this is treated implicitly in [20, §3].

  7. Here and below, the roles of \({\tilde{a}}\) and \({\tilde{a}}_j\) will be much different than their role in Remark 3.5.

References

  1. Alazard, T., Burq, N., Zuily, C.: A stationary phase type estimate. Proc. Am. Math. Soc. 145(7), 2871–2880 (2017)

    Article  MathSciNet  Google Scholar 

  2. Pierre, H.: Bérard, On the wave equation on a compact Riemannian manifold without conjugate points. Math. Z. 155(3), 249–276 (1977)

    Article  MathSciNet  Google Scholar 

  3. Bonthonneau, Yannick: The \(\Theta \) function and the Weyl law on manifolds without conjugate points. Doc. Math. 22, 1275–1283 (2017)

    MathSciNet  MATH  Google Scholar 

  4. Bily, J.M., Robert, D., The semi-classical Van Vleck formula. Application to the Aharonov-Bohm effect, Long time behaviour of classical and quantum systems (Bologna, : Ser. Concr. Appl. Math., vol. 1, World Sci. Publ. River Edge, NJ 2001, 89–106 (1999)

  5. Bouzouina, A., Robert, D.: Uniform semiclassical estimates for the propagation of quantum observables. Duke Math. J. 111(2), 223–252 (2002)

    Article  MathSciNet  Google Scholar 

  6. Canzani, Y., Galkowski, J.: Weyl remainders: an application of geodesic beams, arXiv preprint arXiv:2010.03969 (2020)

  7. Chazarain, J.: Formule de Poisson pour les variétés riemanniennes. Invent. Math. 24, 65–82 (1974)

    Article  ADS  MathSciNet  Google Scholar 

  8. Combescure, M., Robert, D.: Semiclassical spreading of quantum wave packets and applications near unstable fixed points of the classical flow. Asymptot. Anal. 14(4), 377–404 (1997)

    MathSciNet  MATH  Google Scholar 

  9. Combescure, Monique, Robert, Didier: Coherent States and Applications in Mathematical Physics. Theoretical and Mathematical Physics, Springer, Dordrecht (2012)

    Book  Google Scholar 

  10. Duistermaat, J.J., Guillemin, V.W.: The spectrum of positive elliptic operators and periodic bicharacteristics. Invent. Math. 29(1), 39–79 (1975)

    Article  ADS  MathSciNet  Google Scholar 

  11. Green, L.W.: Surfaces without conjugate points. Trans. Am. Math. Soc. 76, 529–546 (1954)

    Article  MathSciNet  Google Scholar 

  12. Gutzwiller, Martin C.: Periodic orbits and classical quantization conditions. J. Math. Phys. 12(3), 343–358 (1971)

    Article  ADS  Google Scholar 

  13. Hagedorn, G.A., Joye, A.: Exponentially accurate semiclassical dynamics: propagation, localization, Ehrenfest times, scattering, and more general states. Ann. Henri Poincaré 1(5), 837–883 (2000)

    Article  ADS  MathSciNet  Google Scholar 

  14. Hörmander, L.: The analysis of linear partial differential operators. I, second ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 256, Springer, Berlin, 1990, Distribution theory and Fourier analysis

  15. Laptev, A., Sigal, I.M.: Global Fourier integral operators and semiclassical asymptotics. Rev. Math. Phys. 12(5), 749–766 (2000)

    Article  MathSciNet  Google Scholar 

  16. Meinrenken, Eckhard: Semiclassical principal symbols and Gutzwiller’s trace formula. Rep. Math. Phys. 31(3), 279–295 (1992)

    Article  ADS  MathSciNet  Google Scholar 

  17. Maslov, V.P., Fedoriuk, M.V., Semiclassical approximation in quantum mechanics, Mathematical Physics and Applied Mathematics, vol. 7, D. Reidel Publishing Co., Dordrecht-Boston, Mass., : Translated from the Russian by J, p. 5. Niederle and J, Tolar, Contemporary Mathematics (1981)

  18. Oh, S., Lee, S.: Uniform stationary phase estimate with limited smoothness, arXiv preprint arXiv:2012.12572 (2020)

  19. Robert, D: Autour de l’approximation semi-classique, Progress in Mathematics, vol. 68. Birkhäuser Boston Inc, Boston, MA (1987)

  20. Robert, Didier: On the Herman–Kluk semiclassical approximation. Rev. Math. Phys. 22(10), 1123–1145 (2010)

    Article  MathSciNet  Google Scholar 

  21. Robbin, Joel, Salamon, Dietmar: The Maslov index for paths. Topology 32(4), 827–844 (1993)

    Article  MathSciNet  Google Scholar 

  22. Rudin, W.: Principles of Mathematical Analysis, International Series in Pure and Applied Mathematics, Third ed., McGraw-Hill Book Co., New York-Auckland-Düsseldorf (1976)

  23. Swart, Torben, Rousse, Vidian: A mathematical justification for the Herman–Kluk propagator. Commun. Math. Phys. 286(2), 725–750 (2009)

    Article  ADS  MathSciNet  Google Scholar 

  24. Schubert, R., Vallejos, R., Toscano, F.: How do wave packets spread? Time evolution on Ehrenfest time scales. J. Phys. A 45(21), 215307, 28 (2012)

    Article  MathSciNet  Google Scholar 

  25. Tacy, M.: Stationary phase type estimates for low symbol regularity. Anal. Math. 46(3), 605–617 (2020)

    Article  MathSciNet  Google Scholar 

  26. Volovoy, A.V.: Improved two-term asymptotics for the eigenvalue distribution function of an elliptic operator on a compact manifold. Commun. Partial Differ. Equ. 15(11), 1509–1563 (1990)

    Article  MathSciNet  Google Scholar 

  27. Van Vleck, J.H.: The correspondence principle in the statistical interpretation of quantum mechanics. Proc. Natl. Acad. Sci. USA 14(2), 178 (1928)

    Article  ADS  Google Scholar 

  28. Yajima, Kenji: Smoothness and non-smoothness of the fundamental solution of time dependent Schrödinger equations. Commun. Math. Phys. 181(3), 605–629 (1996)

    Article  ADS  Google Scholar 

  29. Zworski, M.: Semiclassical Analysis, Graduate Studies in Mathematics, vol. 138. American Mathematical Society, Providence (2012)

    Book  Google Scholar 

Download references

Acknowledgements

The author is grateful to Didier Robert and Peter Miller for helpful comments on this work. He was supported in part by the National Science Foundation Grant DMS-1565436.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Matthew D. Blair.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Blair, M.D. The Van Vleck Formula on Ehrenfest Time Scales and Stationary Phase Asymptotics for Frequency-Dependent Phases. Commun. Math. Phys. 392, 517–543 (2022). https://doi.org/10.1007/s00220-022-04384-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00220-022-04384-z

Navigation