Vom Lagrange- zum Hamilton-Operator im Fermionischen Modell

Beim Übergang von einem gegebenen Lagrange- zum Hamilton-Operator für ein fermionisches Feld verwenden wir die folgende Formel.

H = Σ ich π ich ϕ ich ˙ L
Wo π ich = L ϕ ich ˙ In einem Lagrangian mit fermionischen Feldern, gegeben durch:
L = 1 2 ( ψ ich ¯ ψ J ˙ ψ ich ¯ ˙ ψ J )
eine direkte Berechnung ergibt π ψ J = 1 2 ψ ich ¯ Und π ψ ich ¯ = 1 2 ψ J . Sondern beim Hinzufügen einer totalen Ableitung 1 2 D D T ( ψ ich ¯ ψ J ) zum Lagrangian (was immer möglich ist, da sich die Aktion nicht ändert), sondern π ist anders geworden. Also ändert sich auch der Hamiltonoperator. Wie lösen wir das Problem?

Antworten (2)

Die kanonischen Impulse ändern sich nicht, wenn Sie der Lagrange-Funktion eine totale Ableitung hinzufügen.

Die jeweilige Gesamtableitung, die Sie zur Lagrange-Funktion hinzufügen wollten, sowie die Lagrange-Funktion selbst sind frei ich , J Indizes. Sie haben sicherlich etwas anderes gemeint, denn der Lagrange sollte keine freien Indizes wie diesen haben. Lassen Sie mich annehmen, dass Sie beide Ausdrücke gemeint haben, die mit der Summe und dem Vorfaktor summiert werden sollen ich J C ich J . Vielleicht meinten Sie wirklich, dass der Lagrange-Operator ein Monom für feste Werte von ist ich , J .

Aber darum geht es hier nicht. Der für Ihre Frage relevante Fehler ist, dass Sie einen Phasenraum mit Koordinaten betrachtet haben ψ J , ψ ¯ ich , π ψ ich , Und π ψ ¯ J , und Sie denken, dass sie unabhängige Koordinaten im Phasenraum sind. Das wären zu viele Phasenraumkoordinaten für ein so begrenztes System.

Nun, sie sind nicht unabhängig. Die richtige Ableitung unter Verwendung einer beliebigen Form des Lagrange-Operators wird Ihnen helfen π ψ ich = ψ ¯ ich (ohne eine Hälfte; und Gleichungen, die durch einfache Konjugationen aus dieser erhalten werden können!), so bedeutet es, dass das "Gleiche" nicht differenziert ist ψ 's sind auch ihre eigenen Momente.

Wenn Sie die Lagrange-Funktion so umschreiben, dass die redundante Notation eliminiert wird, dh Sie glauben nicht, dass abhängige Koordinaten tatsächlich unabhängig sind (dies ist der Fehler, der dazu geführt hat, dass die kanonischen Impulse 1/2 ihrer sind richtigen Wert; zum Beispiel haben Sie falsch verwendet ψ ¯ ich ˙ / ψ J = 0 , was nicht stimmt, in der ersten von Ihnen erwähnten Dynamik), das werden Sie sehen

L ψ ˙ J = ψ ¯ ich
wenn ich deine verwirrende Nicht-Summierung übernehme ich , J . Es gibt keinen Faktor von 1/2. Um dieses Ding ohne Probleme herzuleiten, ist es in der Tat hilfreich, zuerst die Lagrange-Funktion umzuschreiben als ψ ¯ ich ψ ˙ J durch Addition der entsprechenden Gesamtableitung. Dieses Formular ist einzigartig, weil es keine enthält ψ ¯ ich ˙ und nein ψ J , wird also nur als Funktion der unabhängigen 1/2 der Freiheitsgrade ausgedrückt.

Der Hamilton-Operator ist natürlich Null, wenn der fermionische Lagrange-Operator nur den kinetischen Term mit der Zeitableitung enthält.

+1 Gute Antwort. Was ist der korrekte Wert der partiellen Ableitung, mit der das OP einen Fehler gemacht hat?
Entschuldigung für die schlampige Art, die Frage zu stellen. Ich glaube, ich war dabei in Eile, eigentlich hat Lagrange eine Summierung über alle Indizes.
Lieber @Prathyush, ich weiß nicht, wie ich diese Frage beantworten soll. Der Lagrange-Operator muss zunächst in eine Form umgeschrieben werden, in der nur die vorher festgelegten unabhängigen Koordinaten und Geschwindigkeiten erscheinen ...

Es ist nicht ganz klar, was Lagrangian OP im Sinn hat. Hier nehmen wir an, dass die Lagrange-Funktion lautet

(1) L   =   ich 2 G ICH J ( ψ ¯ ICH ψ ˙ J ψ ¯ ˙ ICH ψ J ) + 1 2 H ICH J ( ψ ¯ ICH ψ ˙ J + ψ ¯ ˙ ICH ψ J ) ,

Wo ψ ICH ein komplexes Skalarfeld mit ungeraden Grassmann-Werten ist, und ψ ¯ ICH ist der komplex konjugierte Körper. (Diese Wahl ist teilweise von einer der anderen Phys.SE-Fragen von OP inspiriert.) Die Metriken sind konstant

(2) G J ICH   =   G ICH J   =   G ¯ J ICH , H J ICH   =   H ICH J   =   H ¯ J ICH .

Der zweite Term in der Lagrange-Funktion (1) ist ein totaler Ableitungsterm. Dies ist nur zum Spaß enthalten, um zu sehen, wie dies den Quantisierungsprozess nicht beeinflusst. Um den Hamilton-Formalismus abzuleiten, verwenden wir eine Grassmann-ungerade Version dieser Phys.SE -Antwort. (Wir empfehlen dem Leser, sich mit dem geraden Grassmann-Modell in dieser Antwort vertraut zu machen, bevor er versucht, das ungerade Grassmann-Modell in dieser Antwort zu verstehen.)

Die kanonischen Antikommutierungsbeziehungen (CAR) lauten

(3) { ψ ICH , π J } P B   =   δ J ICH   =   { ψ ¯ ICH , π ¯ J } P B ,

(4) { ψ ¯ ICH , π J } P B   =   0   =   { ψ ICH , π ¯ J } P B .

Die ungeraden Grassmann-Impulse sind durch rechte Ableitungen der Lagrange-Funktion gegeben

(5) π ICH   :=   L R ψ ˙ ICH   =   1 2 ψ ¯ J ( ich G J ICH + H J ICH ) ,

(6) π ¯ ICH   :=   L R ψ ¯ ˙ ICH   =   1 2 ( ich G ICH J H ICH J ) ψ J .

Der Hamiltonoperator ist identisch Null,

(7) H   :=   π ICH ψ ˙ ICH + π ¯ ICH ψ ¯ ˙ ICH L   =   0.

Die Gleichungen (5) und (6) ergeben zwei Hauptbeschränkungen

(8) 0     χ ICH   :=   π ICH 1 2 ψ ¯ J ( ich G J ICH + H J ICH ) ,

(9) 0     χ ¯ ICH   :=   π ¯ ICH 1 2 ( ich G ICH J H ICH J ) ψ J .

Sie sind wiederum Beschränkungen zweiter Klasse,

(10) { χ ICH , χ ¯ J } P B   =   ich G ICH J   =   { χ ¯ ICH , χ J } P B ,

(11) { χ ICH , χ J } P B   =   0   =   { χ ¯ ICH , χ ¯ J } P B ,

unabhängig von der H ICH J metrisch.

Die Dirac-Klammer wird

(12) { F , G } D B   :=   { F , G } P B ich { F , χ ICH } P B G ICH J { χ ¯ J , G } P B ich { F , χ ¯ ICH } P B G ICH J { χ J , G } P B .

Mit anderen Worten, die Dirac-Antikommutierungsbeziehungen werden

(13) { ψ ICH , ψ ¯ J } D B   =   ich G ICH J   =   { ψ ¯ ICH , ψ J } D B ,

(14) { ψ ICH , ψ J } D B   =   0   =   { ψ ¯ ICH , ψ ¯ J } D B ,

in Übereinstimmung mit der Faddeev-Jackiw-Methode. Die entsprechenden Operator-Antikommutierungsbeziehungen lauten

(15) { ψ ^ ICH , ψ ¯ ^ J } +   =   G ICH J   =   { ψ ¯ ^ ICH , ψ ^ J } + ,

(16) { ψ ^ ICH , ψ ^ J } +   =   0   =   { ψ ¯ ^ ICH , ψ ¯ ^ J } + .

Kommentar zur Antwort (v1): Beachten Sie das ψ ¯ ICH bezeichnet das komplexe Konjugat von ψ ICH . Insbesondere gibt es keinen versteckten Dirac-Index oder γ 0 -Matrix in diesem Modell.