We review some of the difficulties previously encountered in defining the phase operator for finite quantum systems. We then propose the Wigner-Weyl quantization of the angle function φ on phase space as the phase operator, and derive a closed expression for its matrix elements with respect to the Hermite functions. We also determine the quantization of elφ, which turns out to be a weighted shift operator, its spectrum and that of its adjoint. This is done in the framework of quantization of a certain symbol class of phase space distributions, specialized to those which depend on one variable only. After recalling some results for the position and momentum variables, we apply the scheme to functions of radius or angle. We give necessary and sufficient conditions for operators obtained by quantizing functions of the angle to be elements of ℒ+ [S(R)] and ℒ+ [S(R), _L_2(R)], and a sufficient condition for boundedness. We then consider the associated questions of commutation relations and uncertainties for operators in ℒ+ [S(R), _L_2(R)], which we define as bilinear forms. As must be the case, the commutator between our phase operator and the number operator exhibits noncanonical terms. Not surprisingly, the Poisson bracket of their phase space symbols also exhibits a noncanonical term.
Cite this article
Daniel A. Dubin, Mark A. Hennings, Thomas B. Smith, Quantization in Polar Coordinates and the Phase Operator. Publ. Res. Inst. Math. Sci. 30 (1994), no. 3, pp. 479–532DOI 10.2977/PRIMS/1195165908