Matrix-theoretic \(h\)-admissible operators with operator symbol (Q928534)

The author studies the spectrum and the resolvant of operators of the form \(P=-h^2\Delta_x-\Delta_y+V(x,y)\) on \(L^2(\mathbb R_x^n\times \mathbb R_y^p)\) for \(h\) small, and the construction of the asymptotic expansion of the eigenvalues and eigenfunctions of \(P\) in fractional powers of \(h\) in the case of \(h\)-admissible matrix operators with operator symbol. A class of formal operators with locally regular symbols is introduced. A space of formal series and formal matrix symbols is defined on an open set of \(\mathbb R^n\). Weyl's quantification defined on the space of formal series has a meaning for a formal symbol, thanks to the stationary phase theorem and is stable under the composition product.