Hamilton-Formalismus für Dirac-Spinoren

Lassen Sie uns den Dirac-freien Lagrangian haben:

L = Ψ ¯ ( ich γ μ μ M ) Ψ .
Ich kann es umschreiben als
L = ich Ψ 0 Ψ H D , H D = Ψ ( ich ( a ^ ) + β M ) Ψ , a ^ = γ 0 γ .
Hier H D ist die Hamiltonsche Dichte. Ist es möglich, Hamilton-Gleichungen und Poisson-Klammern für Spinoren zu erstellen (z. B. Ψ kann die kanonische Koordinate und sein Ψ der kanonische Impuls sein)?

Beziehen Sie sich auf die Quantenfeldtheorie oder die klassische Feldtheorie?
@Hunter: Zuerst möchte ich die klassischen Beziehungen erhalten und danach die Poisson-Klammern quantisieren.
@Hunter: und natürlich muss dieser Formalismus den Antikommutierungsbeziehungen für Erstellungs- und Zerstörungsoperatoren entsprechen. Aber ich kann mir keine solchen kanonischen Variablen vorstellen, die diese Bedingungen erfüllen würden. Insbesondere verstehe ich nicht, wie kanonische Poisson-Klammern Antikommutierungsbeziehungen für einen Operator ergeben können.

Antworten (2)

Die Hamiltonsche Dichte für jedes klassische Feld ist gegeben durch:

H = π ϕ ˙ L
Wo π ist die kanonische Impulsdichte:
π ( X , T ) = L ϕ ˙ ( X , T )
In der klassischen Punktteilchenmechanik die Poisson-Klammern für zwei Funktionen F Und G sind definiert als:
{ F , G } P B = F Q J G P J F P J G Q J
Wo Q J sind die verallgemeinerten Koordinaten und P J sind die kanonischen Impulse. Deutlich:
(1) { Q , P } P B = 1
In der Feldtheorie die Poisson-Klammer für zwei Funktionale F Und G zu gleichen Zeiten ist definiert als:
{ F ( T ) , G ( T ) } P B = D 3 X ( δ F δ ϕ ( X , T ) δ G δ π ( X , T ) δ F δ π ( X , T ) δ G δ ϕ ( X , T ) )
Nun, unter Verwendung der Regeln der funktionalen Differenzierung, ist es leicht zu sehen, dass:
{ ϕ ( X , T ) , π ( j , T ) } P B = δ 3 ( X j )
das ist die klassische Feldversion der Gleichung ( 1 ) .

Darüber hinaus können wir gemäß Diracs Quantisierungsregel über das folgende Rezept zwischen der klassischen Punktteilchenmechanik und der Quantenmechanik hin und her gehen:

klassische Mechanik Quantenmechanik { A , B } P B 1 ich [ A , B ]
vorausgesetzt, die Größen, die wir betrachten, existieren in der klassischen Welt (zum Beispiel hat der quantenmechanische Spin kein klassisches Äquivalent und daher funktioniert die Regel nicht). Um zwischen der klassischen Feldtheorie und der operationalen Formulierung der Quantenfeldtheorie hin und her zu gehen, verwenden wir die Regel:
Klassische Feldtheorie Quantenfeldtheorie { A , B } P B 1 ich [ A , B ]
wo der Index bedeutet den normalen Kommutator und ist relevant für bosonische Felder, und die + Der Index impliziert den Antikommutator, der für fermionische Felder (wie das Dirac-Feld) relevant ist.

Haben Spinoren nicht die Besonderheit, dass wir die Dirac-Klammer berücksichtigen müssen? Der Lagrangian hat schließlich eine lineare Geschwindigkeit ... Ich erinnere mich vage daran, dies in Henneaux und Teitelboims Quantization of Gauge Systems gelesen zu haben ...
Danke schön! Aber können wir das Zeichen "+" (Antikommutator) in der Entsprechung von Poisson und der Dirac-Klammer erhalten? Kann dies als Ergebnis der grasmanischen Natur der Spinoren geschehen?
@AlexNelson Ich habe keine Ahnung, weil ich (noch) keine Einschränkungen in der Quantenfeldtheorie untersucht habe (außer der Einschränkung von Gauß). Es würde mich interessieren, darüber zu lesen, wenn Sie Lust haben, eine Antwort zu schreiben :).
@AndrewMcAddams Ich bin mir nicht sicher, was Ihre Frage ist. Ich musste googeln, was Dirac-Klammern sind, und habe das noch nicht im Detail studiert (siehe den Beitrag oben). Ich hatte den Eindruck, Sie wollten das Quantisierungsverfahren von Poisson-Klammern bis zu (Anti-) Kommutierungsregeln kennenlernen. Wenn dies nicht zutrifft (vielleicht habe ich Ihre Frage falsch interpretiert und kann Ihre eigentliche Frage nicht beantworten), lösche ich meine Antwort gerne.
@Hunter, versteh mich nicht falsch, deine Antwort ist eine großartige Übersicht für die meisten Felder. Ich wünschte, ich hätte Ihre Antwort zur Hand, als ich anfing, Feldtheorie zu lernen :) Aber klassische Spinoren sind an guten Tagen verrückt ... Ich werde versuchen, meine Notizen dazu auszugraben, wenn es die Zeit erlaubt (es kann Wochen dauern), da ich Ich selbst wäre daran interessiert, dies neu zu lernen. Inzwischen habe ich diesen Preprint gefunden: "Poisson Bracket for Fermion Fields" arXiv:1211.4231
@Hunter: Nein, deine Frage ist sehr nützlich für mich. Es bleibt nur eine "dunkle Seite": die "Möglichkeit", die Antikommutierungsrelationen für Körper direkt aus den Poisson-Klammern für Spinoren zu erhalten. Ich hoffe, ich werde es bekommen.
@AlexNelson so viel zu lernen, nicht genug Zeit. Danke aber für den Link, werde mir das auf jeden Fall anschauen.
@AndrewMcAddams danke, ich werde es dann nicht löschen :). Wenn ich Sie richtig verstehe, möchten Sie die Antikommutierungsbeziehungen aus der Poisson-Klammer "ableiten"? Ich glaube nicht, dass dies möglich ist. Ich glaube, dass die Antikommutierungsrelationen (ebenso wie die Kommutierungsrelationen) in der QFT einfach Postulate sind.
@Hunter: Ich denke intuitiv, dass das Korrespondenzprinzip in einem Fall von Spinoren bereits Postulate enthält, die uns Antikommutierungsbeziehungen geben, aber ich beweise das immer noch nicht. Also werde ich das in nächster Zeit prüfen. [:)].
@Hunter, ein weiterer guter Vorabdruck: "On the Hamilton-Jacobi formalism for fermionic systems" arXiv:math-ph/0311016 . Ich hoffe, Sie nehmen meine Kommentare nicht negativ auf, ich hatte eigentlich gehofft, Sie könnten mein Gedächtnis auffrischen: Sie erklären die Dinge sehr gut!
@AlexNelson nein, ich habe deine Kommentare überhaupt nicht negativ aufgenommen. Ich lerne wirklich gerne und deshalb schätze ich Ihren Kommentar nur. Es ist immer gut, sich möglicher Vorbehalte bewusst zu sein.
@Hunter: Es scheint, dass ich es gezeigt habe. Können Sie bitte nachsehen?
@AndrewMcAddams Sicher, ich wäre sehr interessiert. Wo postest du es?
@Hunter: Leider habe ich mich geirrt: Spinors-Komponente sind keine Grasman-Zahlen (auch nicht im klassischen Limit), solange wir keine Antikommutierungsbeziehungen verwenden.

Der klassische Lagrange für das freie Elektronenfeld ist

L = D 3 X ( ich ψ ψ T + ich ψ a R ψ X R M ψ β ψ )   .
Die q sind Q ich ( T ) Q ( A , X ) ψ A ( T , X ) und so sind die Geschwindigkeiten Q ˙ ich ( T ) ψ A ( T , X ) T . Variieren der Geschwindigkeiten,
δ L = D 3 X ich ψ δ ( ψ T )
zeigt, dass die konjugierten Impulse - die P ich ( T ) - Sind ich ψ . Der klassische Hamiltonoperator ist
H = D 3 X ( ich ψ a R ψ X R + M ψ β ψ )
Die PBs entsprechen [ Q ich , P J ] P B = δ J ich Sind,
[ ψ A ( T , X ) , ich ψ B ( T , j ) ] P B = δ B A δ ( X j )
Die Anwendung von Diracs Quantisierungsregel auf das obige PB ergibt den Kommutator,
[ ψ A ( T , X ) , ψ B ( T , j ) ] = δ B A δ ( X j )
und das ψ sind jetzt Operatoren. Wenn man jedoch den klassischen Hamilton-Operator mit diesem Kommutator quantisiert, gibt es keinen Grundzustand, aber man kann den klassischen Hamilton-Operator mit dem Antikommutator quantisieren,
[ ψ A ( T , X ) , ψ B ( T , j ) ] + = δ B A δ ( X j )
Es scheint, dass die Quantendynamik des Elektronenfelds immer noch mit Kommutatoren zusammenhängt. In der klassischen Theorie
ψ T = [ ψ , H ] P B
und die Anwendung von Diracs Quantisierungsregel ergibt,
ψ T = [ ψ , H ]
Wo ψ Und H sind Operatoren. Alles sieht konsistent aus, weil das Aufschreiben des Quanten-EoM direkt aus dem Quanten-Hamilton-Operator (mit dem Antikommutator quantisiert)
ψ T = ich [ ψ , H ]
zeigt, dass die letzten beiden Gleichungen identisch sind. Notiere dass der H in der letzten Gleichung ist der quantisierte Hamilton-Operator, der vom klassischen Hamilton-Operator durch die Verwendung des Antikommutators geändert wurde, während das H in der vorletzten Gleichung der klassische Hamilton-Operator ist, bei dem alle Felder einfach zu Operatoren hochgestuft wurden. Dies ist mein Verständnis des Begriffs des klassischen Elektronenfelds, das aus der Lektüre von Abschnitt 11 von Diracs „Lectures on Quantum Field Theory“ stammt.