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.
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.