A Pair of Non-Isometric Potentials With the Same Semiclassical Invariants

Matthew West
2023-03-02
Abstract:We show that there exist pairs of non-isometric potentials for the 1D semiclassical Schrödinger operator whose spectra agree up to $O(h^\infty)$, yet their corresponding eigenvalues differ no less than exponentially. This result was conjectured by Guillemen and Hezari in [GH12], where they prove a very similar result, yet cannot remove the possibility of a subsequence $h_k\to 0$ where the ground state eigenvalues may agree.
Mathematical Physics,Classical Analysis and ODEs
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether there exist a pair of non - isometric potential functions in the one - dimensional semi - classical Schrödinger operator, whose spectra are the same at the $O(h^\infty)$ level, but their corresponding eigenvalues differ at least exponentially. Specifically, the paper explores whether there exist two different potential functions $V_+(x)$ and $V_-(x)$ such that the spectra of the semi - classical Schrödinger operators $H_+$ and $H_-$ defined by these potential functions are consistent at the $O(h^\infty)$ level, but their eigenvalues $E_j^+$ and $E_j^-$ are significantly different for all $h > 0$ and $j\in\mathbb{Z}_{\geq0}$, and this difference is at least exponential. ### Background and Motivation In the study of semi - classical Schrödinger operators, an important problem is the inverse spectral problem: if the spectra of two semi - classical Schrödinger operators are the same, are their potential functions isometric? Although some positive results already exist, these results can usually only distinguish spectra at the $O(h^N)$ level of finite or infinite order. To overcome this limitation, researchers have restricted the types of potential functions. For example, Datchev - Hezari - Ventura [DHV11] used $o(h^2)$ semi - classical trace invariants to prove that radially monotonic potential functions are spectrally determined among all other potential functions. For analytic potential functions with a unique global minimum, the knowledge of $O(h^\infty)$ of low - energy eigenvalues can determine the potential function, see [GU05] and [Hez09]. Colin de Verdière [CdV11] studied single - well potential functions and proposed the necessity of symmetry conditions. The main result of this paper provides a counterexample, proving the necessity of the symmetry conditions in [CdV11]. ### Main Results The main result of the paper is to prove that there exist a pair of non - isometric potential functions $V_\pm(x)\in C^\infty(\mathbb{R})$, the spectra of the semi - classical Schrödinger operators $H_\pm=-h^2\frac{d^2}{dx^2}+V_\pm(x)$ defined by them are consistent at the $O(h^\infty)$ level, but their eigenvalues $E_j^\pm$ are significantly different for all $h > 0$ and $j\in\mathbb{Z}_{\geq0}$, and this difference is at least exponential. Specifically, there exist constants $c_j, d_j, C_j, D_j>0$ such that: \[D_j e^{-d_j/h}\leq E_j^- - E_j^+\leq C_j e^{-c_j/h}\] ### Methods and Techniques The paper adopts the Agmon estimation method and proves the above results by constructing specific potential functions. The specific steps include: 1. **Spectral approximation**: Use the quantum - Birkhoff normal form or Bohr - Sommerfeld quantization method to prove that the spectra of the perturbed harmonic oscillator are consistent at the $O(h^\infty)$ level. 2. **Upper and lower bound estimates of eigenfunctions**: By constructing an appropriate function $\phi(x)$ and using the Hadamard variational formula, derive the local uniformly upper and lower bound estimates of eigenfunctions. 3. **Difference estimates of eigenvalues**: By using the Hadamard variational formula and the estimates of eigenfunctions, derive the difference estimates between eigenvalues. ### Conclusions This paper successfully constructs a pair of non - isometric potential functions and proves that their spectra are consistent at the $O(h^\infty)$ level, but their eigenvalues are significantly different. This result not only verifies the conjecture of Guillmen and Hezari [GH12], but also further provides an explicit lower bound for the eigenvalue difference.