Advanced Search

We extend our recent results on propagation of semiclassical resolvent estimates through trapped sets when a priori polynomial resolvent bounds hold. Previously we obtained non-trapping estimates in trapping situations when the resolvent was sandwiched between cutoffs $\chi$ microlocally supported away from the trapping: $\parallel \chi R_h(E+i0)\chi \parallel =𝒪\left(h^{-1}\right)$, a microlocal version of a result of Burq and Cardoso-Vodev. We now allow one of the two cutoffs, $\tilde{\chi }$, to be supported at the trapped set, giving $\parallel \chi R_h(E+i0)\tilde{\chi }\parallel =𝒪\left(\sqrt{a\left(h\right)}{h}^{-1}\right)$ when the a priori bound is $\parallel \tilde{\chi }{R}_h(E+i0)\tilde{\chi }\parallel =𝒪\left(a\left(h\right)h^{-1}\right)$.

Motivated by the study of resolvent estimates in the presence of trapping, we prove a semiclassical propagation theorem in a neighborhood of a compact invariant subset of the bicharacteristic flow which is isolated in a suitable sense. Examples include a global trapped set and a single isolated periodic trajectory. This is applied to obtain microlocal resolvent estimates with no loss compared to the nontrapping setting.