Drehimpuls des Dirac-Feldes

Ich gehe die Diskussion von Peskin & Shroeder über das Dirac-Feld durch und kämpfe mit ein paar Behauptungen, die sie über den Drehimpuls machen. Zunächst einmal ist der Drehimpulsoperator gegeben durch:

J = D 3 X ψ ( X ) [ X × ( ich ) + 1 2 Σ ] ψ ( X )

Wo Σ sind in der chiralen Darstellung die duplizierten Pauli-Matrizen: Σ ich = ( σ ich 0 0 σ ich ) . Nun behauptet das Buch:

  • Die Aufteilung des Drehimpulses in Spin- und Bahnanteile ist für relativistische Fermionen nicht einfach. Da der lineare Impuls des Feldes ist:

    P = D 3 X ψ ( X ) ( ich ) ψ ( X )
    Es scheint mir ganz natürlich, den ersten Begriff von zu interpretieren J als Bahndrehimpuls und der zweite als Spin. Warum gilt das nicht generell?

  • Der Drehimpulsoperator (zumindest die z -Komponente, obwohl ich denke, dass dies für jede Komponente gelten sollte) vernichtet den Vakuumzustand | 0 . Dies ist jedoch für mich nicht einfach, da es einen Begriff proportional zu geben wird A B | 0 beim Rechnen J z | 0 die ich nicht sehen kann, wie man storniert.

  • Für Staaten B 0 S | 0 , und unter der Annahme, dass das vorherige Ergebnis wahr ist, können wir schreiben:

    J z B 0 S | 0 = [ J z , B 0 S ] | 0
    Es soll dann einfach zu zeigen sein, dass der erste Term von J z (dh der orbitale Teil) trägt nicht zu diesem Ausdruck bei, aber ich weiß nicht, wie ich das beweisen soll.

Ich verwende die folgenden Konventionen für das Feld:

ψ ( X ) = D 3 P ( 2 π ) 3 1 2 E P S [ A P S u S ( P ) e ich P X + B P S v S ( P ) e ich P X ]

Ich weiß, dass ich nicht viele Ergebnisse angegeben habe, die ich selbst erhalten habe, aber das liegt daran, dass ich im Grunde nur schmutzige Berechnungen auf einem Stück Papier machen konnte, die für die Diskussion nicht nützlich erscheinen ...


BEARBEITEN (um nach der Antwort von Name YYY weitere Informationen bereitzustellen )

i) Zunächst einmal ist die z-Komponente des Drehimpulsoperators explizit in Form von Erzeugungs- und Vernichtungsoperatoren gegeben durch:

J z = D 3 X D 3 P D 3 k e ich ( P k ) X ( 2 π ) 6 4 E P E k × R , S [ B P R v R ( P ) + A P R u R ( P ) ] [ ( X × k ) z + Σ 3 2 ] [ A k S u S ( k ) + B k S v S ( k ) ]

wo ich auswerte T = 0 die Felder da, seiend J eine Erhaltungsgröße, die das Ergebnis nicht beeinflusst. Nun habe ich das Problem, dass ich mich nicht integrieren kann X (Weil ich eine habe X im Vektorprodukt), was der übliche Trick ist, um a zu erhalten δ ( 3 ) ( P k ) und verwenden Sie dann die Orthogonalitätsbeziehung zwischen den u 's und v 'S. Ohne diese bei der Bewerbung J z Zu | 0 , erhalten Sie Bedingungen des Formulars A P R B k S | 0 was nicht unbedingt verschwindet, da der Faktor ist u R ( P ) v S ( k ) - mit evtl. der Matrix Σ 3 in der Mitte im Spinterm.

ii) Nun zum verschwindenden Bahnanteil des Drehimpulses bei Einwirkung B 0 S | 0 , das heuristische Argument scheint mir ein bisschen zu schummeln ... Der Hamilton-Operator ist auch ein Skalar, und Sie können ihn mit einem Integral über alle möglichen Werte des Impulses erweitern, der ein Vektor ist. Ebenso könnte es möglich sein, den Drehimpuls des Nullimpulszustands mit einem Integral über alle möglichen Impulse zu entwickeln. Abgesehen davon konnte ich nachweisen, dass der Bahndrehimpuls nicht dazu beiträgt [ J z , A 0 T ] | 0 weil der einzige nicht verschwindende Kommutator (der auf das Vakuum wirkt) unter Verwendung des vorherigen Ausdrucks für J z Ist:

[ A P R A k S , A 0 T ] | 0 = ( 2 π ) 3 δ 3 ( k ) δ S T A P R | 0

aber das macht den Winkelanteil des Drehimpulses zu Null, da er das Vektorprodukt enthält X × k . Das Problem mit der B ist, dass der analoge nicht verschwindende Kommutator ist:

[ B P R B k S , B 0 T ] | 0 = ( 2 π ) 3 δ 3 ( P ) δ R T B k S | 0

und das enthält δ 3 ( P ) anstatt δ 3 ( k ) , also ist es nicht offensichtlich, wie man den Bahnanteil des Drehimpulses aufhebt ...

Ich hoffe, meine Probleme mit dieser Berechnung sind jetzt klarer ... Vielen Dank für Ihre Hilfe!

Um die Integration zu handhaben X Beachten Sie, dass der Differentialoperator nur auf die Exponentialfunktion wirkt. Ich kann durch einen Differentialoperator auf Schwung geschaltet werden

Antworten (1)

es scheint mir ganz natürlich, den ersten Term von J als Bahndrehimpuls und den zweiten als Spin zu interpretieren. Warum gilt das nicht generell?

Der Grund dafür ist, dass je relativistischer das Teilchen ist, desto weniger gut definiert ist die Definition des Spins. Formal hängt dies damit zusammen, dass das Quadrat des Pauli-Lubanski-Operators W ^ μ , die den Spin definiert S der Repräsentation (Ein-Teilchen-Zustand), wird für masselose Teilchen zu Null. Anstelle von Spin sind masselose Teilchen (wir können uns ein massives ultrarelativistisches Teilchen wie ein masseloses vorstellen) durch Helizität gekennzeichnet H ^ - die Projektion des Spins auf die Impulsrichtung - die nur zwei Werte annehmen kann:

H ^ W ^ P ^ | P | = ± S
Heuristisch kann man sich das folgendermaßen vorstellen: Wenn ein Teilchen (Boson oder Fermion mit beliebigem Spin, egal) ultrarelativistisch wird, dann wird aufgrund des relativistischen Aberrationseffekts die Verteilung der Spinprojektionen auf die Bewegungsrichtung nur noch parallel und antiparallel.

Dies ist jedoch für mich nicht einfach, da es einen Begriff proportional zu geben wird

Vergiss die Beziehungen nicht

u S ( P ) v S ' ( P ) = 0
Das ist wichtig, da diese Menge vorne steht
A S ' ( P ) B S ( P ) | 0

trägt nicht zu diesem Ausdruck bei, aber ich weiß nicht, wie ich das beweisen soll.

Da, wie Sie durch die Beantwortung Ihrer zweiten Frage gezeigt haben,

J ^ z | 0 = 0 ,
du darfst schreiben:
J ^ z A ^ S ( P ) | 0 J ^ z A ^ S ( P ) | 0 A ^ S ( P ) J ^ z | 0 [ J ^ z , A ^ S ( P ) ] | 0 ,
was den Zusammenhang beweist.

Oder Sie haben nach dem Beweis gefragt, dass der Orbitalteil keinen Beitrag zum Ein-Teilchen-Zustand mit Nullimpuls leistet? Dann ist es am einfachsten durch folgendes heuristisches Denken zu sehen: Da der Aus-Zustand Null Impuls hat, dann die Menge

L 0 = D 3 X Ψ ^ ( X ) [ X × ( ich ) ] Ψ ^ ( X ) A ^ S ( 0 ) | ,
ist von keinem Vektor abhängig. Da es sich jedoch per Definition um einen (Pseudo-)Vektor handelt, muss es von einem Vektor abhängen. Um diesen Widerspruch zu vermeiden, kommen wir zu der Aussage, dass diese Größe gleich Null ist.

Ok mit der ersten Antwort, aber die anderen beiden Argumente scheinen nicht wirklich überzeugend ... Ich werde meinen Beitrag mit einigen weiteren Berechnungen bearbeiten, damit Sie genau wissen, wo mein Problem liegt!