KAM theory at the Quantum resonance

We consider the semiclassical operator Ĥ(ε,h):=H₀(hDₓ)+ε P̃₀ on L²(Rˡ), where the symbol of Ĥ(ε,h) corresponds to a perturbed classical Hamiltonian of the form: {align*} H(x,y,ε)=H₀(y)+ε P₀(x,y). {align*} Here, P̃₀=OpₕW(P₀) is a bounded pseudodifferential operator with a holomorphic symbol that decays to zero at infinity, and ε∈ R is a small parameter. We establish that for small |ε|<ε*, there exists a frequency ω(ε) satisfying condition {b}, such that the spectrum of Ĥ(ε,h) is given by the quantization formula: {align*} E(ny,Eᵤ,Eᵥ,ε,h)=ε(h,ε)+h∑ⱼ₌₁ᵈωⱼ(nyʲ+{ϑⱼ}{4})+ε/2(∑ⱼ₌₁^{d₀}λⱼ (nᵤʲ+1/2)+∑ⱼ₌₁^{d₀}λ̃ⱼ(nᵥʲ+1/2))+O(εexp(-ch1/α-1)), {align*} where α>1 is Gevrey index, ϑ represents the Maslov index of the torus. This spectral expression captures the detailed structure of the perturbed system, reflecting the influence of partial resonances in the classical dynamics. In particular, the resonance-induced quadratic terms give rise to clustering of eigenvalues, determined by the eigenvalues λⱼ and λ̃ⱼ of the associated quadratic form in the resonant variables. Moreover, the corresponding eigenfunctions exhibit semiclassical localization-quantum scarring-on lower-dimensional invariant tori formed via partial splitting under resonance.