Born-Jordan Pseudodifferential Operators and the Dirac Correspondence: Beyond the Groenewold-van Hove Theorem

Quantization procedures play an essential role in microlocal analysis, time-frequency analysis and, of course, in quantum mechanics. Roughly speaking the basic idea, due to Dirac, is to associate to any symbol, or observable, a(x,xi) an operator Op(a), according to some axioms dictated by physical considerations. This led to the introduction of a variety of quantizations. They all agree when the symbol a(x,xi)=f(x) depends only on x or a(x,xi)=g(xi) depends only on xi: Op(f otimes 1)u=fu, Op(1 otimes g)u= F^-1(g Fu) where F stands for the Fourier transform. Now, Dirac aimed at finding a quantization satisfying, in addition, the key correspondence [Op(a),Op(b)]=i Op({a,b}) where [ , ] stands for the commutator and { , } for the Poisson brackets, which would represent a tight link between classical and quantum mechanics. Unfortunately, the famous Groenewold-van Hove theorem states that such a quantization does not exist, and indeed most quantization rules satisfy this property only approximately. Now, in this note we show that the above commutator rule in fact holds for the Born-Jordan quantization, at least for symbols of the type f(x)+g(xi). Moreover we will prove that, remarkably, this property completely characterizes this quantization rule, making it the quantization which best fits the Dirac dream.