Wave front set for solutions to Schrödinger equations with long-range perturbed harmonic oscillators

In this paper we consider a Schrödinger operator with variable coefficients and harmonic potential. The perturbation is assumed to be long-range in a sense similar to the work of Nakamura (2009) [13]. We construct a modified propagator, and then by using this propagator and also the propagator of the unperturbed free harmonic oscillator we characterize the propagation of singularities for solutions to the equations.