In the pseudodifferential operator theory, we can define a pseudodifferential operator by $$a(x,D)u=(2\pi)^{n}\int{a(x,\xi)e^{i\langle xy,\xi \rangle}u(y)dyd\xi}$$ with $a(x,\xi)$ belong to some particular function space (denoted by $S^m$).In the Weyl calculus one adopts the symmetric compromise $$a^{w}(x,D)u=(2\pi)^{n}\int{a((\frac{x+y}{2}),\xi)e^{i\langle xy,\xi \rangle}u(y)dyd\xi}$$ again defined in the weak sense. From this one can see that the adjoint of $a^w$ is equal to $\bar a^{w}$. In particular, $a^w$ is its own adjoint when a is real valued. Is this convenience making Weyl calculus more applicable for physics? In mathematics, are there other reasons to the motivation of Weyl calculus? Furthermore, Can anyone show some problems which are solved by using this tool?

12$\begingroup$ Off topic, but I really like the tag "pseudodifferentialopera". $\endgroup$ – Gunnar Þór Magnússon May 1 '12 at 12:43

1$\begingroup$ was it cutoff because of the number of characters? that's hilarious. $\endgroup$ – Abdelmalek Abdesselam Feb 28 '13 at 22:44

2$\begingroup$ In addition to answers below, G. Folland's "Harmonic Analysis on Phase Space" exhibits and explains the relation between the Weyl map from symbols to operators (as opposed to KohnNirenberg) in terms of function algebras on Heisenberg groups. $\endgroup$ – paul garrett Feb 28 '13 at 22:53
It is true that the initial motivation for Hermann Weyl in 1926 was linked to quantum mechanics and his convention was indeed ensuring that realvalued Hamiltonians get quantized by (formally) selfadjoint operators.
On the other hand, the symplectic invariance of the Weyl calculus was discovered much later by André Weil: for $\chi\in Sp(n)$ ($Sp(n)$ is the linear symplectic group), there exists $U\in Mp(n)$ ($Mp(n)$ is the metaplectic group) such that $$ (a\circ \chi)^w=U^* a^w U. $$ There are many generalizations of that formula where $\chi$ is a canonical transformation not necessarily linear and the equality is replaced by some asymptotic equivalence. This result is as important as the change of variable formula in integrals.

$\begingroup$ thank you very much for the historical references.By the way,what does Mp(n) mean ? In hormander's book,U is a unitary tansformation in $L^{2}(V)$,where $a \in \varphi'(W)$,and $W=V \oplus V'$. are these two expression essentially equivalent ? $\endgroup$ – user23078 May 1 '12 at 14:02

$\begingroup$ The metaplectic group is a double cover of the symplectic group and it has a representation as a subgroup of the group of unitary transformations of $L^2(\mathbb R^n)$. $\endgroup$ – Bazin May 2 '12 at 13:35
In the Weyl calculus there is closer agreement between operator and symbol composition than in the standard KohnNirenberg calculus. For example, $(a^w)^2\equiv (a^2)^w$ holds modulo order zero if $a$ has order one and is realvalued. Similarly, $(f\circ a)^w$ approximates $f(a^w)$, which is defined by the functional calculus, to higher order than the corresponding construction using the standard calculus. This is related to the symplectic invariance properties of the Weyl calculus, more specifically to the appearance of the Poisson bracket on the subprincipal level of the composition formula. Note that the Poisson bracket $\{f\circ a,a\}$ vanishes for realvalued symbols $a$.