A NOTE ON SOME MICROLOCAL ESTIMATES USED TO PROVE THE CONVERGENCE OF SPLITTING METHODS RELYING ON PSEUDO-SPECTRAL DISCRETIZATIONS

In [BCC20], we used some classical microlocal estimates to prove the convergence of our splitting methods (for example page A671). In this note, through Corollary 2 and Remark 1, we provide a detailed proof of these estimates. All the proofs rely on results presented in [NR10].