imported>Geek3 (Beispielbild) |
imported>Dogbert66 (Die letzte Textänderung von 2003:DA:E709:1AFB:A937:B819:D9B2:B8D8 wurde verworfen und die Version 199535890 von ChristophDemmer wiederhergestellt. Link funktioniert nicht - kein Mehrwert erkennbar.) |
||
Zeile 1: | Zeile 1: | ||
[[ | [[Datei:Wigner functions.jpg|mini|Wignerfunktionen von [[Fock-Zustand|Fock-Zuständen]] mit 0 (a), 1 (b) und 5 (c) [[Photon]]en.]] | ||
Die '''Wignerfunktion''' (Wigner-Quasi-[[Wahrscheinlichkeitsverteilung]]) wurde 1932 von [[Eugene Wigner]] eingeführt, um [[Quantenmechanik|Quantenkorrekturen]] der klassischen [[Statistische Mechanik|Statistischen Mechanik]] zu untersuchen. Das Ziel bestand darin, die [[Wellenfunktion]] der [[Schrödingergleichung]] durch eine Wahrscheinlichkeitsverteilung im [[Phasenraum]] zu ersetzen. Eine solche Verteilung wurde unabhängig 1931 von [[Hermann Weyl]] als [[Dichtematrix]] in der [[Darstellungstheorie]] gefunden. Ein weiteres Mal wurde sie durch J. Ville 1948 als quadratische (als Funktion des Signals) Darstellung der örtlichen Zeit-Frequenz Energie eines Signals entdeckt. Diese Verteilung ist auch unter den Namen „Wignerfunktion“, „Wigner-Weyl-Transformation“ oder „Wigner-Ville-Verteilung“ bekannt. Sie findet Anwendung in der Statistischen Mechanik, [[Quantenchemie]], [[Quantenoptik]], [[Optik|klassischen Optik]] und der [[Signalanalyse]] in einer Reihe von Gebieten | Die '''Wignerfunktion''' (Wigner-Quasi-[[Wahrscheinlichkeitsverteilung]]) wurde 1932 von [[Eugene Wigner]] eingeführt, um [[Quantenmechanik|Quantenkorrekturen]] der klassischen [[Statistische Mechanik|Statistischen Mechanik]] zu untersuchen. Das Ziel bestand darin, die [[Wellenfunktion]] der [[Schrödingergleichung]] durch eine Wahrscheinlichkeitsverteilung im [[Phasenraum]] zu ersetzen. Eine solche Verteilung wurde unabhängig 1931 von [[Hermann Weyl]] als [[Dichtematrix]] in der [[Darstellungstheorie]] gefunden. Ein weiteres Mal wurde sie durch J. Ville 1948 als quadratische (als Funktion des Signals) Darstellung der örtlichen Zeit-Frequenz Energie eines Signals entdeckt. Diese Verteilung ist auch unter den Namen „Wignerfunktion“, „Wigner-Weyl-Transformation“ oder „Wigner-Ville-Verteilung“ bekannt. Sie findet Anwendung in der Statistischen Mechanik, [[Quantenchemie]], [[Quantenoptik]], [[Optik|klassischen Optik]] und der [[Signalanalyse]], sowie in einer Reihe von Gebieten der [[Elektrotechnik]], [[Seismologie]], [[Biologie]] und Motorendesign. | ||
Ein klassisches Teilchen besitzt eine definierte Lage und Impuls und kann daher durch einen Punkt im Phasenraum dargestellt werden. Für ein [[Ensemble (Physik)|Ensemble]] von Teilchen lässt sich eine Wahrscheinlichkeitsverteilung definieren, die die Wahrscheinlichkeit angibt, mit der sich ein Teilchen an einem bestimmten Ort im Phasenraum befindet. Dies ist jedoch nicht für ein Quantenteilchen möglich, welches der [[Heisenbergsche Unschärferelation|Unschärferelation]] genügen muss. Stattdessen lässt sich eine Quasi-Wahrscheinlichkeitsverteilung definieren, die notwendigerweise nicht alle Eigenschaften einer gewöhnlichen Wahrscheinlichkeitsverteilung aufweist. Die Wignerverteilung kann zum Beispiel für nicht-klassische Zustände negative Werte annehmen und kann daher verwendet | Ein klassisches Teilchen besitzt eine definierte Lage und einen definierten Impuls und kann daher durch einen Punkt im Phasenraum dargestellt werden. Für ein [[Ensemble (Physik)|Ensemble]] von Teilchen lässt sich eine Wahrscheinlichkeitsverteilung definieren, die die Wahrscheinlichkeit angibt, mit der sich ein Teilchen an einem bestimmten Ort im Phasenraum befindet. Dies ist jedoch nicht für ein Quantenteilchen möglich, welches der [[Heisenbergsche Unschärferelation|Unschärferelation]] genügen muss. Stattdessen lässt sich eine Quasi-Wahrscheinlichkeitsverteilung definieren, die notwendigerweise nicht alle Eigenschaften einer gewöhnlichen Wahrscheinlichkeitsverteilung aufweist. Die Wignerverteilung kann zum Beispiel für nicht-klassische Zustände negative Werte annehmen und kann daher verwendet | ||
werden, um solche Zustände zu identifizieren. | werden, um solche Zustände zu identifizieren. | ||
Die Wignerverteilung | Die Wignerverteilung <math>P(x, p)</math> wird definiert als: | ||
:<math> P(x,p)=\frac{1}{\pi\hbar}\int_{-\infty}^{\infty}dy\, \psi^*(x+y)\psi(x-y)e^{2ipy/\hbar}</math> | :<math> P(x,p)=\frac{1}{\pi\hbar}\int_{-\infty}^{\infty}dy\, \psi^*(x+y)\psi(x-y)e^{2ipy/\hbar}</math> | ||
mit der Wellenfunktion | mit der Wellenfunktion <math>\psi</math> und dem Ort, <math>x</math>, sowie Impuls, <math>p</math>. Letztere können aber auch ein beliebiges Paar konjugierter Variablen sein (z. B. Real- und Imaginärteil des elektrischen Feldes oder Frequenz und Dauer eines Signals). Die Verteilung ist symmetrisch in <math>x</math> und <math>p</math>: | ||
:<math> P(x,p)=\frac{1}{\pi\hbar}\int_{-\infty}^{\infty}dq\, \phi^*(p+q)\phi(p-q)e^{-2ixq/\hbar}</math> | :<math> P(x,p)=\frac{1}{\pi\hbar}\int_{-\infty}^{\infty}dq\, \phi^*(p+q)\phi(p-q)e^{-2ixq/\hbar}</math> | ||
wobei | wobei <math>\phi</math> die [[Fouriertransformation|Fouriertransformierte]] von <math>\psi</math> ist. | ||
Für einen gemischten Zustand: | Für einen gemischten Zustand: | ||
Zeile 19: | Zeile 19: | ||
:<math> P(x,p)=\frac{1}{\pi\hbar}\int_{-\infty}^{\infty}dy\, \langle x-y| \hat{\rho} |x+y \rangle e^{2ipy/\hbar}</math> | :<math> P(x,p)=\frac{1}{\pi\hbar}\int_{-\infty}^{\infty}dy\, \langle x-y| \hat{\rho} |x+y \rangle e^{2ipy/\hbar}</math> | ||
wobei | wobei <math>\hat{\rho}</math> die Dichtematrix bezeichnet. | ||
== Mathematische Eigenschaften == | == Mathematische Eigenschaften == | ||
1. <math>P(x, p)</math> ist reell. | |||
1. | 2. Die Wahrscheinlichkeitsverteilungen von <math>x</math> und <math>p</math> ergeben sich aus: | ||
*<math>\int_{-\infty}^{\infty}dp\,P(x,p)=\langle x|\hat{\rho}|x \rangle </math>. Wenn sich das System durch einen [[Reiner Zustand|reinen Zustand]] beschreiben lässt, folgt <math>\int_{-\infty}^{\infty}dp\,P(x,p)= |\psi(x)|^2 </math>. | |||
*<math>\int_{-\infty}^{\infty}dx\,P(x,p)=\langle p|\hat{\rho}|p \rangle</math>. Wenn sich das System durch einen reinen Zustand beschreiben lässt, folgt <math>\int_{-\infty}^{\infty}dx\,P(x,p)=|\phi(p)|^2</math>. | |||
*<math>\int_{-\infty}^{\infty}dx\int_{-\infty}^{\infty}dp\,P(x,p)=\operatorname{Spur}(\hat{\rho})</math>. | |||
*Die Spur von <math>\hat{\rho}</math> ist gewöhnlich gleich 1. | |||
*Aus 1. und 2. folgt, dass <math>P(x,p)</math> an einigen Stellen negativ ist, falls es sich nicht um einen [[kohärenter Zustand|kohärenten Zustand]] (oder eine Mischung kohärenter Zustände) oder nicht um einen [[Gequetschter Zustand|gequetschten Vakuumzustand]] handelt. | |||
3. <math>P(x, p)</math> besitzt die folgenden Symmetrien: | |||
*Zeitumkehr: <math>\psi(x) \rightarrow \psi(x)^* \Rightarrow P(x,p) \rightarrow P(x,-p)</math>. | |||
* | *Raumspiegelung: <math>\psi(x) \rightarrow \psi(-x) \Rightarrow P(x,p) \rightarrow P(-x,-p)</math>. | ||
*<math>\ | |||
4. <math>P(x, p)</math> ist [[Galilei-Invarianz|Galilei-invariant]]: | |||
*<math>\psi(x) \rightarrow \psi(x+y) \Rightarrow P(x,p) \rightarrow P(x+y,p)</math>. | |||
*<math>\psi(x) \rightarrow \psi(x+y) \Rightarrow P(x,p) \rightarrow P(x+y,p)</math> | |||
*Sie ist nicht invariant unter der [[Lorentztransformation]]. | *Sie ist nicht invariant unter der [[Lorentztransformation]]. | ||
5. Die Bewegungsgleichung eines Punktes im Phasenraum ist ohne Kräfte klassisch: | 5. Die Bewegungsgleichung eines Punktes im Phasenraum ist ohne Kräfte klassisch: | ||
*<math>\frac{\partial P(x,p)}{\partial t}=\frac{-p}{m}\frac{\partial P(x,p)}{\partial x} | *<math>\frac{\partial P(x,p)}{\partial t}=\frac{-p}{m}\frac{\partial P(x,p)}{\partial x} | ||
</math> | </math>. | ||
6. Die Überlappung zweier Zustände berechnet sich als: | 6. Die Überlappung zweier Zustände berechnet sich als: | ||
*<math>|\langle \psi|\theta \rangle|^2=2\pi\hbar\int_{-\infty}^{\infty}dx\,\int_{-\infty}^{\infty}dp\,P_{\psi}(x,p)P_{\theta}(x,p)</math> | *<math>|\langle \psi|\theta \rangle|^2=2\pi\hbar\int_{-\infty}^{\infty}dx\,\int_{-\infty}^{\infty}dp\,P_{\psi}(x,p)P_{\theta}(x,p)</math>. | ||
7. Operatoren und Erwartungswerte (Mittelwerte) werden folgendermaßen berechnet: | 7. Operatoren und Erwartungswerte (Mittelwerte) werden folgendermaßen berechnet: | ||
*<math>A(x,p)=\int_{-\infty}^{\infty}dy\, \langle x-y/2| \hat{A} |x+y/2 \rangle e^{ipy/\hbar}</math> | *<math>A(x,p)=\int_{-\infty}^{\infty}dy\, \langle x-y/2| \hat{A} |x+y/2 \rangle e^{ipy/\hbar}</math>. | ||
*<math>\langle \psi|\hat{A}|\psi\rangle=Tr(\hat{\rho}\hat{A})=\int_{-\infty}^{\infty}dx\, \int_{-\infty}^{\infty}dp P(x,p)A(x,p) | *<math>\langle \psi|\hat{A}|\psi\rangle=Tr(\hat{\rho}\hat{A})=\int_{-\infty}^{\infty}dx\, \int_{-\infty}^{\infty}dp P(x,p)A(x,p) | ||
</math> | </math>. | ||
8. Damit | 8. Damit <math>P(x, p)</math> physikalische (positive) Dichtematrizen beschreibt, muss gelten: | ||
*<math>\int_{-\infty}^{\infty}dx\, \int_{-\infty}^{\infty}dp\, P(x,p)P_{\theta}(x,p)\ge 0</math> | *<math>\int_{-\infty}^{\infty}dx\, \int_{-\infty}^{\infty}dp\, P(x,p)P_{\theta}(x,p)\ge 0</math> | ||
wobei | | wobei <math>|\theta \rangle</math> ein reiner Zustand ist. | ||
== Anwendung | == Anwendung außerhalb der Quantenmechanik == | ||
* In der Modellierung optischer Systeme wie Teleskope oder Glasfasern in Geräten zur Telekommunikation füllt die Wignerfunktion die Lücke zwischen dem einfachen [[Raytracing#Weitere Anwendungsgebiete|Ray tracing]] und der vollständigen Wellenanalyse des Systems. Dabei wird in der Näherung kleiner Winkel (paraxial) <math>p / \hbar</math> durch <math>k=|k| \sin \theta \approx |k| \theta</math> ersetzt. In diesem Zusammenhang ist die Wignerfunktion die beste Näherung zu einer Beschreibung des Systems mit Hilfe von Strahlen mit dem Ort <math>x</math> und Winkel <math>\theta</math> unter Einschluss von Interferenzeffekten. Falls diese negative Werte an irgendeinem Punkt annimmt, lässt sich das System nicht mit der einfachen Raytracing-Methode beschreiben. | |||
* In der Modellierung optischer Systeme wie Teleskope oder Glasfasern in Geräten zur Telekommunikation füllt die Wignerfunktion die Lücke zwischen dem einfachen [[Raytracing#Weitere Anwendungsgebiete|Ray tracing]] und der vollständigen Wellenanalyse des Systems. Dabei wird in der Näherung kleiner Winkel (paraxial) <math>p / \hbar</math> durch | * In der Signalanalyse wird ein zeitabhängiges elektrisches Signal, mechanische Vibrationen oder Schallwellen durch die Wignerfunktion dargestellt. Dabei wird <math>x</math> durch die Zeit und <math>p / \hbar</math> durch die Kreisfrequenz <math>\omega = 2\pi f</math> ersetzt. Hierbei bezeichnet <math>f</math> die gewöhnliche Frequenz. | ||
* In der Signalanalyse wird ein zeitabhängiges elektrisches Signal, mechanische Vibrationen oder Schallwellen durch die Wignerfunktion dargestellt. Dabei wird | |||
* Auf dem Gebiet der ultraschnellen Optik werden [[Pulslaser|kurze Laserpulse]] durch die Wignerfunktion mittels der gleichen Substitution von Frequenz und Zeit charakterisiert. Bestimmte Pulseigenschaften wie ein [[Chirp]] (Änderung der Frequenz mit der Zeit) lassen sich durch die Wignerfunktion darstellen. | * Auf dem Gebiet der ultraschnellen Optik werden [[Pulslaser|kurze Laserpulse]] durch die Wignerfunktion mittels der gleichen Substitution von Frequenz und Zeit charakterisiert. Bestimmte Pulseigenschaften wie ein [[Chirp]] (Änderung der Frequenz mit der Zeit) lassen sich durch die Wignerfunktion darstellen. | ||
* In der Quantenoptik werden | * In der Quantenoptik werden <math>x</math> und <math>p / \hbar</math> durch <math>X</math> und <math>P</math> Quadraturen ersetzt, welche den Real- und Imaginärteil des elektrischen Feldes bezeichnen (siehe [[kohärenter Zustand]]). | ||
== Messung | == Messung == | ||
*[[Tomographie]] | *[[Tomographie]] | ||
*[[Homodyne Detektion]] | *[[Homodyne Detektion]] | ||
Zeile 68: | Zeile 66: | ||
== Weitere Quasi-Wahrscheinlichkeitsverteilungen == | == Weitere Quasi-Wahrscheinlichkeitsverteilungen == | ||
Die Wignerverteilung war die erste Quasi-Wahrscheinlichkeitsverteilung, aber viele weitere mit verschiedenen Vorteilen folgten, darunter: | |||
Die Wignerverteilung war die erste Quasi-Wahrscheinlichkeitsverteilung aber viele weitere mit verschiedenen Vorteilen folgten, darunter: | * [[Glauber P Darstellung]], | ||
* [[Glauber P Darstellung]] | * [[Husimi Q Darstellung]]. | ||
* [[Husimi Q Darstellung]] | |||
== Historische Anmerkung == | == Historische Anmerkung == | ||
Wie in der Einleitung angeführt, wurde die Wignerfunktion viele Male unabhängig in verschiedenen Zusammenhängen gefunden. Tatsächlich scheint es so, dass Wigner nicht wusste, dass diese Funktion selbst innerhalb der Quantentheorie zuvor von [[Werner Heisenberg|Heisenberg]] und [[Paul Dirac|Dirac]] eingeführt worden war. Diese sahen jedoch nicht deren Bedeutung und glaubten, dass diese Funktion lediglich eine Näherung der exakten quantenmechanischen Beschreibung des Systems war. Im Übrigen wurde Dirac später der Schwager von Wigner (siehe Literatur). | Wie in der Einleitung angeführt, wurde die Wignerfunktion viele Male unabhängig in verschiedenen Zusammenhängen gefunden. Tatsächlich scheint es so, dass Wigner nicht wusste, dass diese Funktion selbst innerhalb der Quantentheorie zuvor von [[Werner Heisenberg|Heisenberg]] und [[Paul Dirac|Dirac]] eingeführt worden war. Diese sahen jedoch nicht deren Bedeutung und glaubten, dass diese Funktion lediglich eine Näherung der exakten quantenmechanischen Beschreibung des Systems war. Im Übrigen wurde Dirac später der Schwager von Wigner (siehe Literatur). | ||
== Literatur == | == Literatur == | ||
*{{Literatur | *{{Literatur | ||
|Autor = E.P. Wigner | |Autor=E.P. Wigner | ||
|Titel = On the quantum correction for thermodynamic equilibrium | |Titel=On the quantum correction for thermodynamic equilibrium | ||
|Sammelwerk = Phys. Rev. | |Sammelwerk=Phys. Rev. | ||
|Band = 40 | |Band=40 | ||
| | |Datum=1932-06 | ||
|Seiten=749–759}} | |||
|Seiten = 749–759 | |||
}} | |||
*{{Literatur | *{{Literatur | ||
|Autor=H. Weyl | |||
|Titel = Quantenmechanik und Gruppentheorie | |Titel=Quantenmechanik und Gruppentheorie | ||
|Sammelwerk = Z. Phys. | |Sammelwerk=Z. Phys. | ||
|Band = 46 | |Band=46 | ||
| | |Datum=1927-06 | ||
|Seiten=1–46}} | |||
|Seiten = 1–46 | |||
}} | |||
*{{Literatur | *{{Literatur | ||
|Autor = H. Weyl | |Autor=H. Weyl | ||
|Titel = Gruppentheorie und Quantenmechanik | |Titel=Gruppentheorie und Quantenmechanik | ||
|Verlag = S. Hirzel | |Verlag=S. Hirzel | ||
|Ort = Leipzig | |Ort=Leipzig | ||
| | |Datum=1928}} | ||
}} | |||
*{{Literatur | *{{Literatur | ||
|Autor = H. Weyl | |Autor=H. Weyl | ||
|Titel = The Theory of Groups and Quantum Mechanics | |Titel=The Theory of Groups and Quantum Mechanics | ||
|Verlag = Dover | |Verlag=Dover | ||
|Ort = New York | |Ort=New York | ||
| | |Datum=1931}} | ||
}} | |||
*{{Literatur | *{{Literatur | ||
|Autor = J. Ville | |Autor=J. Ville | ||
|Titel = Théorie et Applications de la Notion de Signal Analytique | |Titel=Théorie et Applications de la Notion de Signal Analytique | ||
|Sammelwerk = Cables et Transmission | |Sammelwerk=Cables et Transmission | ||
|Band = 2 | |Band=2 | ||
|Nummer = 1 | |Nummer=1 | ||
| | |Datum=1948 | ||
|Seiten = 61–74 | |Seiten=61–74}} | ||
}} | |||
*{{Literatur | *{{Literatur | ||
|Autor = W. Heisenberg | |Autor=[[Werner Heisenberg|W. Heisenberg]] | ||
|Titel = Über die inkohärente Streuung von Röntgenstrahlen | |Titel=Über die inkohärente Streuung von Röntgenstrahlen | ||
|Sammelwerk = Physik. Zeitschr. | |Sammelwerk=Physik. Zeitschr. | ||
|Band = 32 | |Band=32 | ||
| | |Datum=1931 | ||
|Seiten = 737–740 | |Seiten=737–740}} | ||
}} | |||
*{{Literatur | *{{Literatur | ||
|Autor = P.A.M. Dirac | |Autor=[[Paul Dirac|P.A.M. Dirac]] | ||
|Titel = Note on exchange phenomena in the Thomas atom | |Titel=Note on exchange phenomena in the Thomas atom | ||
|Sammelwerk = Proc. Camb. Phil. Soc. | |Sammelwerk=Proc. Camb. Phil. Soc. | ||
|Band = 26 | |Band=26 | ||
| | |Datum=1930 | ||
|Seiten = 376–395 | |Seiten=376–395}} | ||
}} | |||
*{{Literatur | *{{Literatur | ||
|Autor = C. Zachos, D. Fairlie, T. Curtright | |Autor=C. Zachos, D. Fairlie, T. Curtright | ||
|Titel = Quantum Mechanics in Phase Space | |Titel=Quantum Mechanics in Phase Space | ||
|Verlag = World Scientific | |Verlag=World Scientific | ||
|Ort = Singapore | |Ort=Singapore | ||
| | |Datum=2005 | ||
|Seiten = 737–740 | |Seiten=737–740}} | ||
}} | |||
== Weblinks == | == Weblinks == | ||
* [http://qis.ucalgary.ca/quantech/wiggalery.php A gallery of Wigner functions] at Department of Physics and Astronomy, University of Calgary | * [http://qis.ucalgary.ca/quantech/wiggalery.php A gallery of Wigner functions] at Department of Physics and Astronomy, University of Calgary | ||
* [http://gerdbreitenbach.de/gallery/ A Gallery of Quantum States] | * [http://gerdbreitenbach.de/gallery/ A Gallery of Quantum States] | ||
* [http://www.spektrum.de/lexikon/physik/wigner-verteilung/15623/ Wigner-Verteilung] | |||
[[Kategorie:Quantenmechanik]] | [[Kategorie:Quantenmechanik]] |
Die Wignerfunktion (Wigner-Quasi-Wahrscheinlichkeitsverteilung) wurde 1932 von Eugene Wigner eingeführt, um Quantenkorrekturen der klassischen Statistischen Mechanik zu untersuchen. Das Ziel bestand darin, die Wellenfunktion der Schrödingergleichung durch eine Wahrscheinlichkeitsverteilung im Phasenraum zu ersetzen. Eine solche Verteilung wurde unabhängig 1931 von Hermann Weyl als Dichtematrix in der Darstellungstheorie gefunden. Ein weiteres Mal wurde sie durch J. Ville 1948 als quadratische (als Funktion des Signals) Darstellung der örtlichen Zeit-Frequenz Energie eines Signals entdeckt. Diese Verteilung ist auch unter den Namen „Wignerfunktion“, „Wigner-Weyl-Transformation“ oder „Wigner-Ville-Verteilung“ bekannt. Sie findet Anwendung in der Statistischen Mechanik, Quantenchemie, Quantenoptik, klassischen Optik und der Signalanalyse, sowie in einer Reihe von Gebieten der Elektrotechnik, Seismologie, Biologie und Motorendesign.
Ein klassisches Teilchen besitzt eine definierte Lage und einen definierten Impuls und kann daher durch einen Punkt im Phasenraum dargestellt werden. Für ein Ensemble von Teilchen lässt sich eine Wahrscheinlichkeitsverteilung definieren, die die Wahrscheinlichkeit angibt, mit der sich ein Teilchen an einem bestimmten Ort im Phasenraum befindet. Dies ist jedoch nicht für ein Quantenteilchen möglich, welches der Unschärferelation genügen muss. Stattdessen lässt sich eine Quasi-Wahrscheinlichkeitsverteilung definieren, die notwendigerweise nicht alle Eigenschaften einer gewöhnlichen Wahrscheinlichkeitsverteilung aufweist. Die Wignerverteilung kann zum Beispiel für nicht-klassische Zustände negative Werte annehmen und kann daher verwendet werden, um solche Zustände zu identifizieren.
Die Wignerverteilung $ P(x,p) $ wird definiert als:
mit der Wellenfunktion $ \psi $ und dem Ort, $ x $, sowie Impuls, $ p $. Letztere können aber auch ein beliebiges Paar konjugierter Variablen sein (z. B. Real- und Imaginärteil des elektrischen Feldes oder Frequenz und Dauer eines Signals). Die Verteilung ist symmetrisch in $ x $ und $ p $:
wobei $ \phi $ die Fouriertransformierte von $ \psi $ ist.
Für einen gemischten Zustand:
wobei $ {\hat {\rho }} $ die Dichtematrix bezeichnet.
1. $ P(x,p) $ ist reell.
2. Die Wahrscheinlichkeitsverteilungen von $ x $ und $ p $ ergeben sich aus:
3. $ P(x,p) $ besitzt die folgenden Symmetrien:
4. $ P(x,p) $ ist Galilei-invariant:
5. Die Bewegungsgleichung eines Punktes im Phasenraum ist ohne Kräfte klassisch:
6. Die Überlappung zweier Zustände berechnet sich als:
7. Operatoren und Erwartungswerte (Mittelwerte) werden folgendermaßen berechnet:
8. Damit $ P(x,p) $ physikalische (positive) Dichtematrizen beschreibt, muss gelten:
wobei $ |\theta \rangle $ ein reiner Zustand ist.
Die Wignerverteilung war die erste Quasi-Wahrscheinlichkeitsverteilung, aber viele weitere mit verschiedenen Vorteilen folgten, darunter:
Wie in der Einleitung angeführt, wurde die Wignerfunktion viele Male unabhängig in verschiedenen Zusammenhängen gefunden. Tatsächlich scheint es so, dass Wigner nicht wusste, dass diese Funktion selbst innerhalb der Quantentheorie zuvor von Heisenberg und Dirac eingeführt worden war. Diese sahen jedoch nicht deren Bedeutung und glaubten, dass diese Funktion lediglich eine Näherung der exakten quantenmechanischen Beschreibung des Systems war. Im Übrigen wurde Dirac später der Schwager von Wigner (siehe Literatur).