Download this article
 Download this article For screen
For printing
Recent Issues
Volume 7, Issue 4
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 4
Volume 6, Issue 3
Volume 6, Issue 2
Volume 6, Issue 1
Volume 5, Issue 4
Volume 5, Issue 3
Volume 5, Issue 2
Volume 5, Issue 1
Volume 4, Issue 4
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Issue 4
Volume 3, Issue 3
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 4
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 4
Volume 1, Issue 3
Volume 1, Issue 2
Volume 1, Issue 1
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
 
Subscriptions
 
ISSN 2578-5885 (online)
ISSN 2578-5893 (print)
Author Index
To Appear
 
Other MSP Journals
Full semiclassical asymptotics near transition points

Ethan Sussman

Vol. 7 (2025), No. 4, 1019–1110
Abstract

We construct complete asymptotic expansions of solutions of the one-dimensional semiclassical Schrödinger equation near transition points. There are three main novelties:

  1. Transition points of order κ 2 (i.e., trapped points — the simple turning point is κ = 1, the simple pole is κ = 1) are handled.

  2. Various terms in the operator are allowed to have controlled singularities of a form compatible with the geometric structure of the problem (some applications are given in the text).

  3. The term-by-term differentiability of the expansions with respect to the semiclassical parameter is included.

We prove that any solution to the semiclassical ODE with initial data of exponential type is of exponential-polyhomogeneous type on a suitable manifold-with-corners compactifying the h 0+ regime. Consequently, such a solution has an atlas of full asymptotic expansions in terms of elementary functions, and these expansions are well-behaved. The Airy and Bessel functions show up in the expected way, as the asymptotic data at one boundary edge. We are able to handle cases that Langer and Olver could not because the framework of polyhomogeneous functions on manifolds-with-corners provides more flexibility (two matched h 0+ expansions, possibly with logarithms, in this case) than that employed by Langer and Olver (one uniform h 0+ expansion without logarithms). We work entirely in the C category. No analyticity is ever assumed, nor proven.

Keywords
transition point, WKB, Liouville–Green
Mathematical Subject Classification
Primary: 34E20
Secondary: 34D05, 34E13
Milestones
Received: 13 February 2024
Revised: 25 March 2025
Accepted: 11 August 2025
Published: 10 October 2025
Authors
Ethan Sussman
Department of Mathematics
Northwestern University
Evanston, IL
United States