A semi-classical trace formula for several commuting operators (Q4237901)

The authors study the joint spectrum of \(k\) semiclassical pseudodifferential operators \(A_1(h),\dots\), \(A_k(h)\) in \(\mathbb{R}^n\), \(k\leq n\), which commute to each other. Under suitable assumptions, in a compact neighborhood \(K\subset \mathbb{R}^k\) of a fixed level of energy \(E\in\mathbb{R}^k\), the joint spectrum consists of finitely many joint eigenvalues \(\lambda(h)= (\lambda_1(h),\dots, \lambda_k(h))\), and the trace corresponding to a fixed \(\zeta\) function in \(\mathbb{R}^k\) is defined by \[ \text{Tr}_\zeta(h)= \sum_{\lambda(h)\in K} \zeta((E- \lambda(h))/h). \] The authors relate the asymptotic behaviour as \(h\to 0\) of \(\text{Tr}_\zeta(h)\) to the periodic orbits of the joint Hamiltonian flow of the principal symbol \(a_0\) lying on the energy surface \(\Sigma= \{a_0= E\}\). As relevant reference, we quote \textit{V. Petkov} and \textit{G. Popov} [Ann. Inst. Henri Poincaré, Phys. Théor. 68, No. 1, 17-83 (1998)], concerning the case \(k= 1\).