Was ist die Verbindung zwischen Poisson-Klammern und Kommutatoren?

Die Poisson-Klammer ist definiert als:

{ f , g }   :=   ich = 1 N [ f q ich g p ich f p ich g q ich ] .

Der Antikommutator ist definiert als:

{ a , b }   :=   a b + b a .

Der Kommutator ist definiert als:

[ a , b ]   :=   a b b a .

Was sind die Verbindungen zwischen ihnen allen?

Bearbeiten: Definiert die Poisson-Klammer auch eine Unschärferelation?

Antworten (5)

Poisson-Klammern spielen in der klassischen Mechanik mehr oder weniger die gleiche Rolle wie Kommutatoren in der Quantenmechanik. Beispielsweise ist die Hamilton-Gleichung in der klassischen Mechanik analog zur Heisenberg-Gleichung in der Quantenmechanik:

d f d t = { f , H } + f t d f ^ d t = ich [ f ^ , H ^ ] + f ^ t

wo H ist der Hamiltonoperator und f ist entweder eine Funktion der Zustandsvariablen q und p (in der klassischen Gleichung) oder ein Operator, der auf den Quantenzustand einwirkt | ψ (in der Quantengleichung). Der Hut zeigt an, dass es sich um einen Operator handelt.

Wenn Sie eine klassische Theorie in ihre Quantenversion umwandeln, müssen Sie außerdem alle Variablen als Operatoren neu interpretieren und dann den grundlegenden Operatoren eine Kommutierungsbeziehung auferlegen: [ q ^ , p ^ ] = C wo C ist etwas konstant. Um den Wert dieser Konstante zu bestimmen, können Sie gemäß der Formel die Poisson-Klammer der entsprechenden Größen in der klassischen Theorie als Motivation verwenden [ q ^ , p ^ ] = ich { q , p } . Zum Beispiel ist in der grundlegenden Quantenmechanik der Kommutator von Ort und Impuls [ x ^ , p ^ ] = ich , weil in der klassischen Mechanik { x , p } = 1 .

Antikommutatoren sind nicht direkt mit Poisson-Klammern verwandt, aber sie sind eine logische Erweiterung von Kommutatoren. Immerhin, wenn Sie den Wert fixieren können EIN ^ B ^ B ^ EIN ^ und daraus eine vernünftige Theorie zu machen, ist es natürlich, sich zu fragen, welche Art von Theorie man bekommen würde, wenn man den Wert festlegt EIN ^ B ^ + B ^ EIN ^ stattdessen. Dies spielt eine wichtige Rolle in der Quantenfeldtheorie, wo Ihnen die Fixierung des Kommutators eine Theorie der Bosonen und die Fixierung des Antikommutators eine Theorie der Fermionen liefert.

Diese Antwort ist meiner Meinung nach nicht sehr anspruchsvoll. Die Poisson-Klammer und der Kommutator erfüllen beide dieselben algebraischen Beziehungen und erzeugen Zeitentwicklung, aber die Poisson-Klammer in der klassischen Hamilton-Mechanik hat eine bestimmte Formel (genau wie der Kommutator). Wie bildet man das ausgehend von den Axiomen der QM ab? Siehe auch Satz von Groenewold.

Nach dem Thema Deformationsquantisierung die ersten paar Einträge im Lexikon zwischen

(0) Quantenmechanik Klassische Mechanik

lesen

(1) Operator f ^ Funktion/Symbol f ,

(2) Komposition f ^ g ^ Starprodukt f g ,
und

(3) Kommutator [ f ^ , g ^ ] Poisson-Klammer ich { f , g } P B + Ö ( 2 ) .

Beachten Sie, dass die Entsprechung (0) davon abhängt, welche Symbole man verwendet, zB Weyl-Symbole , und dass es im Allgemeinen Quantenkorrekturen höherer Ordnung geben könnte Ö ( 2 ) in der Identifikation (3).

Beispiel 1: (Grundlegende CCR )

(4) [ q ^ , p ^ ]   =   ich 1 { q , p } P B   =   1.

Beispiel 2:

(5) [ q ^ 2 , p ^ 2 ]   =   4 [ q ^ , p ^ ]   ( q ^ p ^ ) W { q 2 , p 2 } P B   =   4 { q , p } P B   q p ,
wo ( ) W steht für Weyl-Symmetrisierung von Operatoren. Siehe auch zB diesen Phys.SE Beitrag.

Beispiel 3:

(6) [ q ^ 3 , p ^ 3 ]   =   9 [ q ^ , p ^ ]   ( q ^ 2 p ^ 2 ) W + 3 2 [ q ^ , p ^ ] 3 { q 3 , p 3 } P B   =   9 { q , p } P B   q 2 p 2 .
Beachten Sie, dass es Quantenkorrekturen höherer Ordnung gibt Ö ( 3 ) in Gl. (6) auch nach Weyl-Symmetrisierung.

Tatsächlich beschreibt Gleichung (3) die berühmte Moyal-Klammer (MB) und die die Vervielfachung des PB ist von großer Bedeutung. Das heißt, als 0
.cont': nicht nur die Korrekturen höherer Ordnung verschwinden, sondern auch die Skala des Kommutators schrumpft, und die Unschärferelation verschwindet für den PB; es wäre für PBs da, wenn nur diese Neuskalierung nicht ein entscheidender Teil der Korrespondenz wäre! Aber es ist: vgl. Kapitel über die Unschärferelation in T. Curtright, D. Fairlie, & C. Zachos, A Concise Treatise on Quantum Mechanics in Phase Space , World Scientific, 2014.
.cont'. Da das nichtkommutative Produkt (2) der Durchschnitt eines Kommutators und eines Antikommutators ist, wird seine klassische Grenze durch die Hälfte der Grenze des Antikommutators geführt. Das klassische Analogon eines Antikommutators ist also ein langweiliges „doppeltes klassisches Produkt“, und es besteht keine Notwendigkeit, das Wasser mit Diskussionen über Antikommutatoren zu trüben: bloße Kommutatoren erfassen die Essenz der Nichtkommutativität in der Quantendeformation.

Sowohl der Kommutator (von Matrizen) als auch die Poisson-Klammer erfüllen die Jacobi-Identität, [ EIN , [ B , C ] ] + [ B , [ C , EIN ] ] + [ C , [ EIN , B ] ] = 0 .

Aus diesem Grund wurde Dirac von Heisenbergs Verwendung von Kommutatoren inspiriert, einen Stil der Hamilton-Jacobi-Dynamik der Quantenmechanik zu entwickeln, der die erste wirkliche Vereinigung von Heisenbergs Matrixmechanik mit Schrödingers Wellenmechanik lieferte. Die Jacobi-Identität ist auch das Grundgesetz der Lie-Algebren, die für Symmetriegruppen in der Quantentheorie nützlich sind.

In der klassischen Mechanik sind die dynamischen Variablen die Funktionen f im Phasenraum, und sie erhalten eine nicht-triviale algebraische Struktur aus der Poisson-Klammer. Sie sind die klassischen „Observables“. In der Quantenmechanik sind die Observablen Matrizen, das sind die dynamischen Variablen, aber sie erhalten durch den Kommutator eine ähnliche algebraische Struktur.

Wie bereits erwähnt, ist der Antikommutator nicht analog zur Poisson-Klammer, sondern ein deutlich neues Quantenphänomen ohne klassisches Analogon.

Könnten Sie genauer beschreiben, was Sie mit „neuem Quantenphänomen ohne klassisches Analogon“ meinen?

Bezüglich der Bedeutung der Observablen Impuls und Ort gibt es viele Gemeinsamkeiten zwischen klassischer und Quantenmechanik. Auf einige der algebraischen Beziehungen wurde hingewiesen.

Am Ende bleibt noch ein wichtiger Unterschied, der sich daran zeigt, dass die durch klassische Größen erzeugte Funktionenalgebra kommutativ ist

q · p = p · q ,
und der andere nicht
Q   P P   Q = Q   P [ Q , P   ] .
Man könnte fragen, ob es eine Struktur für die klassische Funktionenalgebra von gibt q und p mit einem Produkt, das der quantenmechanischen Algebra ähnelt Q und P . Dh gibt es ein Produkt, bezeichnen wir es mit   , wofür
q p p q = [ q   ,   p ]         [ Q , P   ] = Q   P P   Q .

Mehr zu Fragen in diesem Sinne findet sich unter Weyl-Quantisierung .

Das am meisten untersuchte Starprodukt ist das Moyal-Produkt , das per Definition erfüllt

[ f   ,   g ] = ich   { f , g } + Ö ( 2 ) .

Feldmedaillen werden für solche Sachen gewonnen.

Kommentar zur Antwort (v1): Es scheint so q , p in der letzten Gleichung sollen allgemeine Elemente der Funktionsalgebra bezeichnen. Notationell ist dies etwas unglücklich, da q , p bezeichnen normalerweise die grundlegenden kanonischen Variablen.
@Qmechanic: stimmt, danke.

Ich kenne keinen Zusammenhang zwischen Poisson-Klammer und Antikommutator, aber ich kenne den Zusammenhang zwischen Poisson-Klammer und Kommutator.

[ a ^ , b ^ ] = ich { a , b } Poisson

Feinheiten

Als Betreiber a ^ und b ^ Gegenstücke zu klassischen dynamischen Variablen sind, müssen sie ①Funktionen kanonischer Koordinaten und Impulse sein (Spin ausschließen, der nicht in eine Poisson-Klammer gesetzt werden kann) ②Hermitesche Operatoren (try [ x ^ p ^ , p ^ x ^ ] ).

Außerdem ist das Gleichheitszeichen nicht wirklich eine Gleichheit, da rhs kommutative Zahlen sind, während lhs nicht kommutative Operatoren sind, also müssen Sie vorsichtig sein, wenn Sie zwei Seiten in Beziehung setzen. Zum Beispiel die Quantenanalogie von x p ist weder x ^ p ^ oder p ^ x ^ , aber 1 2 ( p ^ x ^ + x ^ p ^ ) .

Kommentar zur Antwort (v1): Es könnte generell Korrekturen höherer Ordnung geben Ö ( 2 ) in Planck-Konstante auf der rechten Seite. der Identifikation [ a ^ , b ^ ]     ich { a , b } P B + Ö ( 2 ) .
@Qmechanic: Mit der Bearbeitung gibt es keine Korrekturen höherer Ordnung.
Zum Beispiel a ^ = x ^ 3 und b ^ = p ^ 3 dazu führen würde Ö ( 3 ) Korrekturen.
@Qmechanic: Erläutern Sie bitte.
@CR versuchen Sie einfach, diese Kommutatoren selbst zu berechnen / zu berechnen, und Sie werden das sehen 3 Begriff entstehen.