On the function in quantum mechanics which corresponds to a given function in classical mechanics. (Q564723)

Nach \textit{Weyl} (Gruppentheorie und Quantenmechanik, 1928; F.d.M. 54, 954) ist die der Funktion \(f(p,q)\) in gewöhnlichen Lage- und Impulskoordinaten zuzuordnende Funktion \(F(P,Q)\) in den \textit{Hermites}chen Operatoren \(P\) und \(Q (PQ - QP = \gamma 1)\), falls \[ f(p,q) = \int \int e^{i(\sigma p + \tau q)} \zeta (\sigma, \tau ) d\sigma d\tau \] (\textit{Fouriers}ches Integral), gegeben durch \[ F(P,Q) = \int \int e^{i(\sigma P + \tau Q)} \zeta (\sigma, \tau ) d\sigma d\tau. \] Verf. berechnet diese Funktion explizit für Polynome. Schreibt man das Polynom \(F(P,Q)\) unter Benutzung von \(PQ - QP = \gamma 1\) so um, daß in jedem Term die \(Q\)-Faktoren an linker Stelle stehen, wobei \(F_Q(P,Q)\) entstehe, so beweist Verf. \[ F_Q(p,q) = \exp \left (\frac {\gamma }{2}\frac {\partial ^2}{\partial p \partial q} f(p,q)\right ) = f(p,q) + \frac {\gamma }{2} \frac {\partial ^2 f(p,q)}{\partial p \partial q} + \left (\frac {\gamma }{2}\right )^2 \frac {1}{2!} \frac {\partial ^4 f(p,q)}{\partial p^2 \partial q^2} + \dots. \]