Quantization problem and variational principle in the phase-space formulation of quantum mechanics

The problem of quantization in the phase-space formulation of quantum mechanics is considered. An integral equation for the phase-space eigenfunctions is derived which is equivalent to the standard eigenvalue equation for a quantum mechanical operator. A differential form is also given. A variational principle is derived for quasiprobability distributions. It is shown that the expected value of the classical Hamiltonian calculated with a trial quasiprobability distribution will be greater than the ground state energy only if the distribution is chosen from a certain class of functions. The notion of ψ-representability is introduced to classify these functions. They represent distributions which correspond to possible quantum mechanical states. Also, a general relation is given between different distribution functions.