A Local Quantum Version of the Kolmogorov Theorem

Consider in L²(&R;^l) the operator family H(ɛ):=P₀(ℏ,ω)+ɛQ₀. P₀ is the quantum harmonic oscillator with diophantine frequency vector ω, Q₀ a bounded pseudodifferential operator with symbol holomorphic and decreasing to zero at infinity, and ɛ ∈ &R;. Then there exists ɛ*>0 with the property that if |ɛ|<ɛ* there is a diophantine frequency ω(ɛ) such that all eigenvalues E_n(ℏ,ɛ) of H(ɛ) near 0 are given by the quantization formula where α is an l-multi-index.