Nichthermitizität von Dirac Lagrange: Nullimpuls?

Der übliche Dirac Lagrangian ist L ( ψ , ψ ¯ ) = ψ ¯ ( ich ∂̸ M ) ψ . Die kanonischen Impulse sind

π = L ψ , 0 = ich ψ π ¯ = L ψ ¯ , 0 = 0

Die Tatsache, dass π ¯ = 0 wird in den Büchern, die ich gelesen habe, nirgendwo besprochen. Wenn wir das ignorieren und weitermachen, können wir schreiben { ψ ( T , X ) , π ( T , j ) } = ich δ ( X j ) , was eigentlich gleichbedeutend ist mit { ψ ( T , X ) , ψ ( T , j ) } = δ ( X j ) .

Wir können die Lösung des EOM schreiben als

ψ ( X ) = S D 3 P ( 2 π ) 3 2 E   B P S u S ( P ) e ich P X + C P S v S ( P ) e ich P X
Wo B , C sind Schöpfungs-Vernichtungsoperatoren.

Außerdem beweisen wir, dass bspw. { B S ( P ) , B T ( Q ) } = ( 2 π ) 3 δ S T δ ( P Q ) und eine ähnliche Beziehung für C P . Danach beweisen wir das leicht { H , C P } = ω P C P , was bedeutet, dass | P = C P | 0 , Und H | P = ω P | P , dh, | P hat Energie ω P .

So weit, ist es gut. Wenn wir diese Theorie jedoch von Grund auf studieren würden, müssten wir auch auferlegen { ψ ¯ ( T , X ) , π ¯ ( T , j ) } = ich δ ( X j ) , was als unmöglich ist π ¯ = 0 (Wir sollten diesen Kommutator auferlegen, weil die Felder sein sollen ψ Und ψ ¯ : sie sind als unabhängige Variablen zu betrachten)

Es ist leicht ersichtlich, dass dies mit der Tatsache zusammenhängt, dass der Lagrangian nicht-hermitesch ist. Wir können dies beheben, indem wir die Gesamtableitung subtrahieren ich 2 μ ( ψ ¯ γ μ ψ ) ; wir enden mit

L ( ψ , ψ ¯ ) = ich 2 ψ ¯ ∂̸ ψ ich 2 μ ψ ¯ γ μ ψ ψ ¯ M ψ

Aus diesem neuen Lagrangian erhalten wir die gleiche PDE (Dirac-Gleichung), wie wir erwarten sollten. Außerdem sind die konjugierten Impulse beide nicht Null:

π = L ψ , 0 = ich 2 ψ π ¯ = L ψ ¯ , 0 = ich 2 ψ

Es ist nicht schwer zu erkennen, dass dies zu demselben Hamiltonoperator wie zuvor führt. Das Problem kommt von der 1 2 Faktor ein π , π ¯ : Sie tauchen hier und da auf. Beispielsweise werden die kanonischen Kommutierungsbeziehungen geändert { ψ ( T , X ) , ψ ( T , j ) } = 2 δ ( X j ) , die wiederum äquivalent zu sind { B S ( P ) , B T ( Q ) } = 2 ( 2 π ) 3 δ S T δ ( P Q ) Und { H , C P } = 2 ω P C P .

Diese letzte Beziehung ist schrecklich: ein Zustand | P hat Energie gleich 2 ω P . Ich halte beide Ansätze für unbefriedigend, zumindest bis zu einem gewissen Punkt. Der erste ist der übliche Ansatz, aber der Lagrangian ist nicht hermitesch und der Impuls konjugiert zu ψ ¯ ist null, sodass eine systematische Verwendung des CCR nicht möglich ist. Der zweite behebt diese beiden Probleme, hat die gleiche Bewegungsgleichung und den gleichen Hamilton-Operator, aber die CCR sind um den Faktor zwei falsch, was dazu führt, dass die Teilchen Energie sind 2 ω P anstatt ω P .

Ich weiß, dass es in SE viele Fragen gibt, die dieser ähnlich sind, wie z

Falsche Vorzeichen-Antikommutierungsrelation für das Dirac-Feld?

Dirac-Gleichung als Hamiltonsches System

usw.

aber diese Leute fragten nach Schildern oder anderen Problemen. Meine Frage bezieht sich auf die Faktoren von 2 die hin und wieder auftaucht und das Energiespektrum der Theorie verändert.

Schließlich gibt es diese Frage von Lagrange zu Hamilton im Fermionischen Modell , die ziemlich nahe kommt, aber die Frage ist nicht klar (einige freie Indizes im Lagrange) und OP sagt, dass sich der Hamilton mit dem neuen Lagrange ändert. Es ist leicht zu erkennen, dass dies nicht stimmt: Der Hamiltonian ist derselbe, aber die CCR sind unterschiedlich (und darauf wird nicht eingegangen). Außerdem behaupten die Antworten, dass sich die Impulse nicht ändern, was meiner Meinung nach nicht stimmt. Sie sagen auch, dass die Felder so sind ψ / ψ ¯ , 0 0 , und dies wird nicht weiter erklärt (und ich weiß nicht einmal, ob es wahr ist oder nicht).

Also, kann bitte jemand Licht ins Dunkel bringen? Warum akzeptieren wir den ersten Ansatz ungeachtet seiner Mängel? Sollte das nicht der Fall sein π ¯ = 0 Verdacht erregen? Warum funktioniert der zweite Ansatz nicht richtig?

Antworten (1)

OP fragt, wie die singuläre Legendre-Transformation für eine Lagrange-Theorie von Dirac-Fermionen durchgeführt werden soll. Dies wurde bereits in meiner Phys.SE-Antwort hier mit der Faddeev-Jackiw-Methode durchgeführt . Allerdings will OP den traditionellen Dirac-Bergmann berücksichtigen 1 Analyse. Mögliche Komplikationen wurden in meiner Phys.SE-Antwort hier aufgeführt .

Wir gehen vom offensichtlich Wirklichen aus 2 Lagrangedichte

(1) L   =   ich 2 μ = 0 3 ( ψ ¯ γ μ μ ψ μ ψ ¯   γ μ ψ ) M ψ ¯ ψ   =   L 0 H ,

Wo

(2) L 0   :=   ich 2 ( ψ ψ ˙ ψ ˙ ψ ) , H   :=   ich 2 J = 1 3 ( ψ ¯ γ J J ψ J ψ ¯   γ J ψ ) + M ψ ¯ ψ .

Das erste Problem sind die komplexen Felder

(3) ψ a     ( ψ a 1 + ich ψ a 2 ) / 2 Und ψ a     ( ψ a 1 ich ψ a 2 ) / 2 ,

sind keine eigenständigen Felder. Am überzeugendsten ist es wohl, wenn wir die Theorie (1) mit Real- und Imaginärteil umschreiben, ψ 1 Und ψ 2 , bei denen es sich um zwei unabhängige Felder mit reellen Werten handelt. Dann

(4) L 0   =   ich 2 A = 1 2 ( ψ A ) T ψ ˙ A .

Definieren Sie nun imaginärwertige kanonische Impulse

(5) π A a   :=   R L ψ ˙ a A   =   ich 2 ψ a A

als recht 3 Derivat von L wrt. ψ ˙ a A . Die kanonischen zeitgleichen Super-Poisson-Klammern ungleich Null lauten

(6) { ψ a A ( X , T ) , π B β ( j , T ) } P B   =   δ B A δ a β   δ 3 ( X j ) .

[Merkwürdigerweise die kanonische Poisson-Klammer { , } selbst ist im fermionischen Sektor an sich imaginär.] Gl. (5) liefert zwei Hauptbeschränkungen

(7) χ A   :=   π A ich 2 ψ A     0 ,

die Einschränkungen zweiter Klasse sind

(8) Δ A B a β ( X j )   :=   { χ A a ( X , T ) , χ B β ( j , T ) } P B   =   ich δ A B   δ a β   δ 3 ( X j ) ,

mit inverser Matrix

(9) ( Δ 1 ) a β A B ( X j )   =   ich δ A B   δ a β   δ 3 ( X j ) .

Die Poisson-Klammer (6) sollte durch die Dirac-Klammer ersetzt werden . Die grundlegenden Dirac-Klammern lauten

(10) { ψ a A ( X , T ) , ψ β B ( j , T ) } D B   =   ich δ A B   δ a β   δ 3 ( X j ) .

Das Ergebnis (10) stimmt mit dem Faddeev-Jackiw-Verfahren überein, siehe z. B. Gl. (5') in meiner Phys.SE-Antwort hier , die auch die entsprechenden kanonischen Antikommutierungsbeziehungen (CARs) auflistet.

Verweise:

  1. A. Das, Vorlesungen über QFT, (2008); Kapitel 10.

--

1 Die Dirac-Bergmann-Analyse von Grassmann-ungerade Feldern wird auch in meiner Phys.SE-Antwort hier berücksichtigt .

2 Man kann zeigen, dass die Lagrange-Dichte (1) reell ist, indem man verwendet

(11) ( γ μ )   =   γ 0 γ μ γ 0 , ( γ 0 ) 2   =   1 .

Konventionen: In dieser Antwort werden wir verwenden ( + , , , ) Minkowski-Zeichenkonvention und Clifford-Algebra

(12) { γ μ , γ v } +   =   2 η μ v 1 4 × 4 .

3 Linke und rechte Ableitungen von Grassmann-ungerade Variablen werden auch in meiner Phys.SE-Antwort hier besprochen .