In mathematics, the Moyal product (also called the star product or Weyl-Groenewold product) is perhaps the best-known example of a phase-space star product. It is an associative, non-commutative product, ★, on the functions on ℝ2n, equipped with its Poisson bracket (with a generalization to symplectic manifolds, described below). It is a special case of the ★-product of the "algebra of symbols" of a universal enveloping algebra.
The Moyal product is named after José Enrique Moyal, but is also sometimes called the Weyl–Groenewold product as it was introduced by H. J. Groenewold in his 1946 doctoral dissertation, in a trenchant appreciation of the Weyl correspondence. Moyal actually appears not to know about the product in his celebrated article and was crucially lacking it in his legendary correspondence with Dirac, as illustrated in his biography. The popular naming after Moyal appears to have emerged only in the 1970s, in homage to his flat phase-space quantization picture.
The product for smooth functions f and g on ℝ2n takes the form
where each Cn is a certain bidifferential operator of order n characterized by the following properties (see below for an explicit formula):
Deformation of the pointwise product — implicit in the formula above.
Deformation of the Poisson bracket, called Moyal bracket.
The 1 of the undeformed algebra is also the identity in the new algebra.
The complex conjugate is an antilinear antiautomorphism.
Note that, if one wishes to take functions valued in the real numbers, then an alternative version eliminates the in condition 2 and eliminates condition 4.