Inverse problem for harmonic oscillator perturbed by potential, characterization

Consider the perturbed harmonic oscillator Ty=-y''+x(2)y+q(x)y in L-2(R), where the real potential q belongs to the Hilbert space H={q', xq is an element of L-2(R)}. The spectrum of T is an increasing sequence of simple eigenvalues lambda(n)(q)=1+2n+mu(n), ngreater than or equal to0, such that mu(n)-->0 as n-->infinity. Let psi(n)(x,q) be the corresponding eigenfunctions. Define the norming constants nu(n)(q)=lim(xup arrowinfinity)log |psi(n) (x,q)/psi(n) (-x,q)|. We show that {mu(n)}(0)(infinity) is an element of H {nu(n)}(0)(infinity) is an element of H-0 for some real Hilbert space and some subspace H-0 subset of H. Furthermore, the mapping Psi:q-->Psi(q)=({lambda(n)(q)}(0)(infinity), {nu(n)(q)}(0)(infinity)) is a real analytic isomorphism between H and S x H-0, where S is the set of all strictly increasing sequences s={s(n)}(0)(infinity) such that s(n)=1+2n+h(n), {h(n)}(0)(infinity) is an element of H. 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 -y"py, p is an element of L-2(0,1), with Dirichlet boundary conditions on the unit interval. There is no literature about the spaces H,H-0. We obtain their basic properties, using their representation as spaces of analytic functions in the disk.