High-energy asymptotics for finite-interval Schrödinger operators with Gaussian white-noise potential
We study the one-dimensional Schrödinger operator on a fixed interval with Gaussian white-noise potential, \[ H_ω=-\frac{\dd^2}{\dd x^2}+ρ\dot B_x(ω), \] under Dirichlet boundary conditions. The operator is defined pathwise through the quasi-derivative realization of Sturm--Liouville operators with distributional potentials. Let $λ_n$ be the Dirichlet eigenvalues, $λ_n^+=\max\{λ_n,0\}$, and $k_n=\sqrt{λ_n^+}$. For every finite $p$, we prove the high-energy expansion \[ k_n=\frac{nπ}{L} +\fracρ{nπ}\int_0^L \sin^2\left(\frac{nπs}{L}\right)\,\dd B_s +O_{L^p(Ω)}(n^{-2}). \] Consequently, almost surely, $λ_n>0$ for all sufficiently large $n$ and, for every $\varepsilon>0$, \[ k_n=\frac{nπ}{L}+O(n^{-1+\varepsilon}). \] We also obtain first-order eigenfunction asymptotics with explicit Brownian stochastic-integral corrections. In particular, for the $L^2(0,L)$-normalized Dirichlet eigenfunction $φ_n$, with a fixed sign convention, \[ \sup_{0\le x\le L} \left|φ_n(x)-\sqrt{\frac{2}{L}}\sin(k_n x)\right| =O(n^{-1+\varepsilon}) \] almost surely. The proofs use stochastic Prüfer coordinates, stochastic Volterra expansions, the Burkholder--Davis--Gundy inequality, and a Borel--Cantelli argument. The estimates provide a first step toward KAM-type small-divisor analysis for Hamiltonian PDEs with white-noise spatial potentials.