Phase space quantum mechanics (Q765765)

The aim of this paper is to present in a systematic way the phase space quantum mechanics in a canonical regime as a natural deformation of classical Hamiltonian mechanics for a general class of gauge equivalent deformations by following the ideas introduced in the so-called paper [\textit{F. Bayen, M. Flato, C. Frønsdal, A. Lichnerowicz} and \textit{D. Sternheimer}, Ann. Phys. 111, 61--110 (1978; Zbl 0377.53024)]. More precisely, the deformation of the point-wise product of observables to an appropriate noncommutative \(\star\)-product and the deformation of the Poisson bracket to an appropriate Lie bracket are the key elements in introducing the quantization of classical Hamiltonian systems. The formalism of the phase space quantum mechanics is presented in a very systematic way for the case of any smooth Hamiltonian function and for a very wide class of deformations. The considered class of deformations and the corresponding products contains as a special case all deformations which can be found in the literature devoted to the subject of the phase space quantum mechanics. Fundamental properties of \(\star\)-products of observables, associated with the considered deformations are presented as well. Moreover, a space of states containing all admissible states is introduced, where the admissible states are appropriate pseudo-probability distributions defined on the phase space. It is proved that the space of states is endowed with a structure of a Hilbert algebra with respect to the \(\star\)-multiplication. The most important result of the paper shows that developed formalism is more fundamental than the axiomatic ordinary quantum mechanics which appears in the presented approach as the intrinsic element of the general formalism. The equivalence of two formulations of quantum mechanics is proved by observing that the Wigner-Moyal transform has all properties of the tensor product. This observation allows writing many previous results found in the literature in a transparent way, from which the equivalence of the two formulations of quantum mechanics follows naturally. In addition, examples of a free particle and a simple harmonic oscillator illustrating the formalism of the deformation quantization and its classical limit are given.