En utilisant l'identité de Campbell ou le commutateur est une constant on voit que.
donc
avec
je cherche
soit avec une integrale double
J'ai trouvé dans un livre que
En integrant sur dx je retrouve la definition usuelle de la fonction de Wigner.
Je peux donc exrprimer une fonction de Wigner en un point alpha comme etant une trace de rho P(alpha]
C'est la valeur moyenne de la parité
J'aimerai prouver que la matrice densité se retrouve de meme comme la somme sur l'espace des phases de W(alpha) P(alpha).
-----