Mehler's formula and functional calculus Dedicated to Professor Jean-Yves Chemin on the Occasion of His 60th Birthday

We show that Mehler's formula can be used to handle several formulas involving the quantization of singular Hamiltonians. In particular, we diagonalize in the Hermite basis the Weyl quantization of the characteristic function of several domains of the phase space.