Gesamtdrehimpuls des freien Dirac-Feldes in Bezug auf Erzeugungs- und Vernichtungsoperatoren

Bei der kanonischen Quantisierung für das Dirac-Feld beginnt man normalerweise damit, das Feld in die folgende Form zu erweitern:

ψ ( X ) = D 3 P ( 2 π ) 3 2 E P S { A ( P , S ) u ( P , S ) e ich P X + B ( P , S ) v ( P , S ) e ich P X } ,
Wo u ( P , S ) e ich P X Und v ( P , S ) e ich P X sind Lösungen für ebene Wellen mit positiver und negativer Energie für die Dirac-Gleichung, die auch Helizitäts-Eigenspinoren mit Eigenwert sind S . Indem man eine zeitgleiche Antikommutierungsbeziehung für den Feldoperator und den kanonischen Impuls auferlegt, gelangt man zu fermionischen Antikommutierungsbeziehungen, die erfüllt sind durch A ( P , S ) , B ( P , S ) und ihre hermitischen Konjugierten, wo sie als Schöpfungs- und Vernichtungsoperatoren physikalische Bedeutung erlangen.

Nachdem man eine weise Definition dessen eingeführt hat, was Vakuum bedeutet, kann man den Ausdruck für den Hamilton-Operator, den Impuls und die Ladung des Feldes in Bezug auf diese Erzeugungs- und Vernichtungsoperatoren aufschreiben. Zum Beispiel lautet der Ausdruck für Impuls

P μ = D 3 P S P μ [ A ( P , S ) A ( P , S ) + B ( P , S ) B ( P , S ) ] .

Wenn es jedoch um den Drehimpuls geht, scheinen die Lehrbücher ihn nur in Bezug auf angeben zu wollen ψ ( X ) , dh,

M μ v = D 3 X   ψ ( X ) [ ich ( X μ v X v μ ) + 1 2 σ μ v ] ψ ( X ) ,
Wo σ μ v ist der Satz von Matrizen, die das Verhalten des Dirac-Spinors bei der Lorentz-Transformation steuern. Ich weiß, dass der obige Ausdruck ein Sonderfall einer allgemeineren Formel ist, die aus dem Satz von Noether stammt, und ich frage mich, ob es einen ordentlichen Ausdruck dafür gibt M μ v bezüglich A ( P , S ) , B ( P , S ) und ihre hermiteschen Konjugierten. Ich habe versucht, in der Erweiterung zu ersetzen ψ ( X ) , aber es hat mich nicht sehr weit gebracht. Insbesondere, da sich zwischen den Spinoren ein Ableitungsoperator befindet u Und v , ich konnte keine orthogonalen Beziehungen anwenden und sehe nicht, wie ich weiter vorgehen soll.

Meine Frage ist also: Gibt es einen ordentlichen Ausdruck für den Gesamtdrehimpuls? M μ v des freien Dirac-Feldes ψ ( X ) in Bezug auf Schöpfungs- und Vernichtungsoperatoren A ( P , S ) ,   A ( P , S ) ,   B ( P , S ) , B ( P , S ) ? Wenn es einen solchen Ausdruck gibt, wie komme ich dann darauf? Vielen Dank für Ihre Hilfe!

ps Auf dieser Website gibt es eine verwandte, aber nicht identische Frage , auf die anscheinend keine zufriedenstellende Antwort gefunden wurde.


UPDATE: Für diejenigen, die daran interessiert sein könnten, habe ich Folgendes gefunden, nachdem @Numroks Antwort folgte:
M μ v = D 3 P S , S ' { A ( P , S ' ) u ( P , S ' ) 2 E P [ ich ( P v P μ P μ P v ) + 1 2 σ μ v ] A ( P , S ) u ( P , S ) 2 E P + B ( P , S ' ) v T ( P , S ' ) 2 E P [ ich ( P μ P v P v P μ ) 1 2 σ μ v T ] B ( P , S ) v ( P , S ) 2 E P } .
Wo / P 0 sollte als Null genommen werden, und alle / P ich mit ich Da es sich um einen räumlichen Index handelt, wirkt er auf alle P 0 = E P rechts davon. (Ich benutze die + , , , Unterschrift.) Ich bin mir nicht sicher, ob dies die einfachste Form ist, weil es mir immer noch etwas kompliziert erscheint. Ich hoffe, die Leute werden nicht zögern, zu kommentieren, wenn sie weitere Ideen oder Informationen haben.

Antworten (1)

Hinweise:

  1. Setze die erste Gleichung ein (Erweiterung von ψ ( X ) ) in das Drehimpulsintegral. Achten Sie darauf, den Spin auf den Leiteroperatoren ( A , B ) und Basisvektor ( u , v ).
  2. Wende die räumlichen Ableitungen auf die Exponentialterme an.
  3. Verwenden Sie Vertauschungsbeziehungen der Leiteroperatoren für das Dirac-Feld .
  4. Führen Sie eines der Integrale durch, um die resultierenden Delta-Funktionen loszuwerden.
  5. Verwenden Sie die Vollständigkeits- und Orthonormalitätsbeziehungen der Basisvektoren, möglicherweise die Dirac-Gleichung selbst.

Diese Hinweise sollen Sie durch die konzeptionellen Schritte führen, der Rest ist (hoffentlich) eine einfache Rechenübung.

Danke! Mir war nicht klar, dass man Antikommutierungsbeziehungen der Leiteroperatoren verwenden kann, bevor man irgendein Integral durchführt. Außerdem das Verschwinden der Begriffe, die beide betreffen A Und B , oder beides A Und B , ist für mich eher nicht trivial und ich musste Transformationseigenschaften von Dirac-Spinoren anwenden, um dies zu sehen.
Mein Ergebnis steht am Ende meiner ursprünglichen Frage.