Time quasi-periodic unbounded perturbations of Schrödinger operators and KAM methods

We eliminate by KAM methods the time dependence in a class of linear differential equations in ℓ2 subject to an unbounded, quasi-periodic forcing. This entails the pure-point nature of the Floquet spectrum of the operator H0 + ∈ P (ωt) for ∈ small. Here H0 is the one-dimensional Schrödinger operator p2 + V, V(x) ∼ |x|α, α > 2 for |x| → ∞, the time quasi-periodic perturbation P may grow as |x|β, β < (α - 2)/2, and the frequency vector ω is non resonant. The proof extends to infinite dimensional spaces the result valid for quasiperiodically forced linear differential equations and is based on Kuksin's estimate of solutions of homological equations with non-constant coefficients.