Diophantine tori and pragmatic calculation of quasimodes for operators with integrable principal symbol (Q2198322)

The authors study the asymptotic eigenfunctions (quasimodes) of a semi-classical Weyl pseudo-differential operator. According to a well-known method (see [\textit{V. Ivrii}, Microlocal analysis and precise spectral asymptotics. Berlin: Springer (1998; Zbl 0906.35003)]), under the assumption of complete integrability for the Hamiltonian, the phase space is foliated into a family of invariant tori, so that one can study the quasimodes. The authors observe that such an approach is not very efficient for practical calculations and they propose a new method for operators with integrable principal symbol. As an example, they consider the case of a two weakly coupled oscillators. A Diophantine torus is then chosen and their algorithm can be applied. By using a mathematical software like Wolfram Mathematica, the quasimodes can be explicitly constructed.