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.
Similar content being viewed by others
Notes
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.
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.
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.
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.
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].
Here and below, the roles of \({\tilde{a}}\) and \({\tilde{a}}_j\) will be much different than their role in Remark 3.5.
References
Alazard, T., Burq, N., Zuily, C.: A stationary phase type estimate. Proc. Am. Math. Soc. 145(7), 2871–2880 (2017)
Pierre, H.: Bérard, On the wave equation on a compact Riemannian manifold without conjugate points. Math. Z. 155(3), 249–276 (1977)
Bonthonneau, Yannick: The \(\Theta \) function and the Weyl law on manifolds without conjugate points. Doc. Math. 22, 1275–1283 (2017)
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)
Bouzouina, A., Robert, D.: Uniform semiclassical estimates for the propagation of quantum observables. Duke Math. J. 111(2), 223–252 (2002)
Canzani, Y., Galkowski, J.: Weyl remainders: an application of geodesic beams, arXiv preprint arXiv:2010.03969 (2020)
Chazarain, J.: Formule de Poisson pour les variétés riemanniennes. Invent. Math. 24, 65–82 (1974)
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)
Combescure, Monique, Robert, Didier: Coherent States and Applications in Mathematical Physics. Theoretical and Mathematical Physics, Springer, Dordrecht (2012)
Duistermaat, J.J., Guillemin, V.W.: The spectrum of positive elliptic operators and periodic bicharacteristics. Invent. Math. 29(1), 39–79 (1975)
Green, L.W.: Surfaces without conjugate points. Trans. Am. Math. Soc. 76, 529–546 (1954)
Gutzwiller, Martin C.: Periodic orbits and classical quantization conditions. J. Math. Phys. 12(3), 343–358 (1971)
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)
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
Laptev, A., Sigal, I.M.: Global Fourier integral operators and semiclassical asymptotics. Rev. Math. Phys. 12(5), 749–766 (2000)
Meinrenken, Eckhard: Semiclassical principal symbols and Gutzwiller’s trace formula. Rep. Math. Phys. 31(3), 279–295 (1992)
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)
Oh, S., Lee, S.: Uniform stationary phase estimate with limited smoothness, arXiv preprint arXiv:2012.12572 (2020)
Robert, D: Autour de l’approximation semi-classique, Progress in Mathematics, vol. 68. Birkhäuser Boston Inc, Boston, MA (1987)
Robert, Didier: On the Herman–Kluk semiclassical approximation. Rev. Math. Phys. 22(10), 1123–1145 (2010)
Robbin, Joel, Salamon, Dietmar: The Maslov index for paths. Topology 32(4), 827–844 (1993)
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)
Swart, Torben, Rousse, Vidian: A mathematical justification for the Herman–Kluk propagator. Commun. Math. Phys. 286(2), 725–750 (2009)
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)
Tacy, M.: Stationary phase type estimates for low symbol regularity. Anal. Math. 46(3), 605–617 (2020)
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)
Van Vleck, J.H.: The correspondence principle in the statistical interpretation of quantum mechanics. Proc. Natl. Acad. Sci. USA 14(2), 178 (1928)
Yajima, Kenji: Smoothness and non-smoothness of the fundamental solution of time dependent Schrödinger equations. Commun. Math. Phys. 181(3), 605–629 (1996)
Zworski, M.: Semiclassical Analysis, Graduate Studies in Mathematics, vol. 138. American Mathematical Society, Providence (2012)
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
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04384-z