Die Weyl-Quantisierung ist eine Methode in der Quantenmechanik, um systematisch einen quantenmechanischen Hermiteschen Operator umkehrbar auf eine klassische Verteilung im Phasenraum abzubilden. Daher wird sie auch Phasenraum-Quantisierung genannt.
Die dieser Quantisierungsmethode zugrundeliegende wesentliche Korrespondenzabbildung von Phasenraumfunktionen auf Operatoren im Hilbertraum wird Weyl-Transformation genannt. Sie wurde zuerst 1927 von Hermann Weyl[1] beschrieben.
Im Gegensatz zu Weyls ursprünglicher Absicht ein konsistentes Quantisierungsschema zu finden, bildet diese Abbildung nur eine Darstellungsänderung. Sie muss klassische und quantenmechanische Größen nicht verbinden: Die Phasenraum-Verteilung darf auch von der Planckschen Konstante h abhängen. In einigen bekannten Fällen, die einen Drehimpuls beinhalten, ist das so.
Die Umkehrung dieser Weyl-Transformation ist die Wignerfunktion. Sie bildet aus dem Hilbertraum in die Phasenraumdarstellung ab. Dieser umkehrbare Wechsel der Darstellung erlaubt es, Quantenmechanik im Phasenraum auszudrücken, wie es in den 1940er Jahren von Groenewold und Moyal vorgeschlagen wurde.[2][3]
Im Folgenden wird die Weyl-Transformation am 2-dimensionalen Euklidischen Phasenraum dargestellt. Die Koordinaten des Phasenraums seien (q,p); ferner sei f eine Funktion, die überall im Phasenraum definiert ist. Die Weyl-Transformation von f ist durch den folgenden Operator im Hilbertraum gegeben (größtenteils analog zur Delta-Distribution):
Nun werden die Operatoren P und Q als Generatoren einer Lie-Algebra, der Heisenberg-Algebra genommen:
Dabei ist $ \hbar $ das reduzierte Plancksche Wirkungsquantum. Ein allgemeines Element einer Heisenberg-Algebra kann geschrieben werden als
Die Exponentialfunktion eines Elementes einer Lie-Algebra ist dann ein Element der korrespondierenden Lie-Gruppe:
ein Element der Heisenberg-Gruppe. Gegeben sei eine spezielle Gruppendarstellung Φ der Heisenberggruppe, dann bezeichnet
das Element der entsprechenden Darstellung des Gruppenelements g.
Die Inverse der obigen Weylfunktion ist die Wignerfunktion, welche den Operator Φ zurück zur Phasenraumfunktion f bringt:
Im Allgemeinen hängt die Funktion f von der Planck-Konstante h ab und kann quantenmechanische Prozesse gut beschreiben, sofern sie mit dem unten aufgeführten Sternprodukt richtig zusammengesetzt ist.[4]
Zum Beispiel ist die Wignerfunktion eines quantenmechanischen Operators für ein Drehimpulsquadrat (L²) nicht identisch mit dem klassischen Operator, sondern enthält zusätzlich den Term $ -{\frac {3}{2}}\hbar ^{2} $, welcher dem nichtverschwindenden Drehimpuls des Grundzustands einer Bohrschen Umlaufbahn entspricht.
Die typische Darstellung einer Heisenberg-Gruppe erfolgt durch die Generatoren ihrer Lie-Algebra: Ein Paar selbstadjungierter Operator (hermitesch) auf einem Hilbertraum $ {\mathcal {H}} $, so dass ihr Kommutator, ein zentrales Element der Gruppe, das Identitätselement auf dem Hilbertraum ergibt (die kanonische Vertauschungsrelation)
Der Hilbertraum kann als Menge von quadratisch integrierbaren Funktionen über der reellen Zahlengerade (ebene Wellen) oder einer beschränkteren Menge, wie beispielsweise des Schwartz-Raum angenommen werden. Abhängig vom beteiligten Raum, folgen verschiedene Eigenschaften:
Die Weyl-Quantisierung wird in größerer Allgemeinheit in Fällen untersucht, wo der Phasenraum eine Symplektische Mannigfaltigkeit oder möglicherweise eine Poisson-Mannigfaltigkeit ist. Verwandte Strukturen sind zum Beispiel Poisson–Lie-Gruppen und die Kac-Moody-Algebren.