Inverse Problem for Harmonic Oscillator Perturbed by Potential,Characterization

Consider the perturbed harmonic oscillator Ty=-y+x²y+q(x)y in L²(), where the real potential q belongs to the Hilbert space H={q, xq L²()}. The spectrum of T is an increasing sequence of simple eigenvalues _n(q)=1+2n+_n, n 0, such that _n 0 as n. Let _n(x,q) be the corresponding eigenfunctions. Define the norming constants _n(q)=lim_xlog |_n (x,q)/_n (-x,q)|. We show that for some real Hilbert space and some subspace Furthermore, the mapping :q(q)=({_n(q)}₀, {_n(q)}₀) is a real analytic isomorphism between H and is the set of all strictly increasing sequences s={s_n}₀ such that The proof is based on nonlinear functional analysis combined with sharp asymptotics of spectral data in the high energy limit for complex potentials. We use ideas from the analysis of the inverse problem for the operator -ypy, p L²(0,1), with Dirichlet boundary conditions on the unit interval. There is no literature about the spaces We obtain their basic properties, using their representation as spaces of analytic functions in the disk.