Welches Erhaltungsgesetz entspricht Lorentz-Boosts?

Der Satz von Noether wird verwendet, um die Invarianz der Aktion unter bestimmten kontinuierlichen Transformationen mit konservierten Strömen in Beziehung zu setzen. Ein gängiges Beispiel ist, dass Translationen in der Raumzeit der Erhaltung des Viererimpulses entsprechen.

Beim Drehimpuls hat der Tensor (in der speziellen Relativitätstheorie) 3 unabhängige Komponenten für den klassischen Drehimpuls, aber 3 weitere unabhängige Komponenten, die meines Wissens Lorentz-Boosts darstellen. Welches Erhaltungsgesetz entspricht also der Invarianz unter Lorentz-Boosts?

Antworten (3)

Achtung: Dies ist eine lange und langweilige Ableitung. Wenn Sie nur am Ergebnis interessiert sind, springen Sie zum allerletzten Satz.

Der Satz von Noether kann auf viele Arten formuliert werden. Für die Zwecke Ihrer Frage können wir bequem die spezielle relativistische Lagrange-Formulierung eines Skalarfelds verwenden. Angenommen, wir erhalten eine Aktion

S [ ϕ ] = L ( ϕ ( X ) , μ ϕ ( X ) , ) D 4 X .

Nehmen wir nun an, die Wirkung ist unter einer infinitesimalen Transformation unveränderlich M : X μ X μ + δ X μ = X μ + ϵ A μ (Wir werden keine explizite Transformation der Felder selbst berücksichtigen). Dann erhalten wir einen Erhaltungsstrom

J μ = L ϕ , μ ϕ , v A v L A μ = ( L ϕ , μ ϕ , v L G μ v ) A v .
Wir erhalten eine Erhaltungsladung daraus, indem wir sie vermieten Q J 0 D 3 X seit von μ J μ = 0 wir haben das
Q T = D ich v J D 3 X = 0
was zu jeder Zeit gilt, wenn die Ströme ausreichend schnell abklingen.

Wenn die Transformation durch Übersetzung gegeben ist M v δ X μ = ϵ δ v μ wir erhalten vier konservierte Ströme

J μ v = L ϕ μ ϕ v L G μ v .

Dieses Objekt ist allgemein als Spannungsenergietensor bekannt T μ v und die zugehörigen Erhaltungsströme sind als Impulse bekannt P v . Außerdem ist der Erhaltungsstrom im Allgemeinen einfach gegeben durch J μ = T μ v A v .

Für eine Lorentz-Transformation haben wir

M σ τ δ X μ = ϵ ( G μ σ X τ G μ τ X σ )
(Beachten Sie, dass dies antisymmetrisch ist und es daher nur 6 unabhängige Parameter der Transformation gibt) und daher sind die konservierten Ströme die Drehimpulsströme
M σ τ μ = X τ T μ σ X σ T μ τ .
Schließlich erhalten wir den erhaltenen Drehimpuls als
M σ τ = ( X τ T 0 σ X σ T 0 τ ) D 3 X .

Beachten Sie, dass wir für Teilchen etwas weiter vorgehen können, da ihre zugehörigen Impulse und Drehimpulse nicht durch ein Integral gegeben sind. Deshalb haben wir einfach das P μ = T μ 0 Und M μ v = X μ P v X v P μ . Der Rotationsteil davon (in Form des üblichen Pseudovektors geschrieben) ist

L ich = 1 2 ϵ ich J k M J k = ( X × P ) ich
während wir für den Boost-Teil bekommen
M 0 ich = ( T P X E ) ich
das ist nichts anderes als der Massenmittelpunkt bei T = 0 (Wir können frei wählen T da die Menge erhalten bleibt) multipliziert mit γ da wir die Beziehungen haben E = γ M , P = γ M v . Beachten Sie die Ähnlichkeit mit der E , B Zerlegung des elektromagnetischen Feldtensors F μ v .

Nette Warnung am Anfang ;-) (+1)
Eine ähnliche Diskussion findet sich hier: math.ucr.edu/home/baez/boosts.html Weniger mathematisch versierte Leute finden es vielleicht besser lesbar.
Ich verstehe die Entscheidungsfreiheit nicht T = 0 . ich dachte P Und E unabhängig konserviert wurden.
Die drei zusätzlichen Komponenten des "winkelförmigen" 4-Impulses führen tatsächlich zur Äquivalenz zwischen Impuls und Energiefluss. Das heißt, ein Energiefluss hat Impuls, und Impuls ist äquivalent zum Energiefluss. Dies ist die "Äquivalenz von Masse und Energie" oder die Tatsache, dass Energie Trägheit hat. Siehe zB Eckart, doi.org/10.1103/PhysRev.58.919
Wie kann etwas, das eine Funktion von t ist, "konserviert" werden? Wenn t im Ausdruck erscheint, bedeutet das nicht unbedingt, dass die Menge nicht erhalten bleibt (auch bekannt als zeitunabhängig?

Um Mareks hervorragende Antwort zu ergänzen, stelle ich unten eine alternative Herleitung bereit und gebe so viele Zwischenschritte wie möglich an.

Für eine infinitesimale Verschiebung j μ = X μ + ξ μ , ändert sich ein Skalarfeld als

ϕ ( j ) = ϕ ( X ) + ξ μ μ ϕ ( X ) + . . .

Die Verschiebung durch infinitesimale Lorentz-Transformation Λ μ v Ist j μ = X μ + Λ μ v X v . In ähnlicher Weise ändert sich das Skalarfeld wie folgt:

ϕ ( j ) = ϕ ( X ) + Λ μ v X v μ ϕ ( X ) + . . .
Die Variation des Feldes bzgl Λ μ v Ist
δ ϕ δ Λ μ v = X v μ ϕ ( X ) X μ v ϕ ( X )
Der Grund dafür, dass auf der rechten Seite zwei Terme stehen, ist die infinitesimale Lorentz-Transformation Λ μ v ist antisymmetrisch, dh Λ v μ = Λ μ v , die nur 6 unabhängige Komponenten hat. (Sie können dies überprüfen, indem Sie verlangen, dass das Skalarprodukt nach der Transformation unverändert bleibt. j μ j μ = X μ X μ )

Verwendung des Prinzips der kleinsten Wirkung, Variation in Lagrange L Ist

δ L δ Λ μ v = N { L ϕ N δ ϕ N δ Λ μ v + L ( μ ϕ N ) δ ( μ ϕ N ) δ Λ μ v }
Anwendung der Bewegungsgleichung
L ϕ N μ L ( μ ϕ ) = 0
wir erhalten das Erhaltungsgesetz:
δ L δ Λ μ v = N μ [ L μ ϕ N δ ϕ δ Λ μ v ]
Ersetzen des Ausdrucks für δ ϕ / δ Λ μ v und ein ähnliches für δ L / δ Λ μ v , erhalten wir das endgültige Erhaltungsgesetz
μ J μ λ σ = 0
wo die konservative Strömung
J μ λ σ = X λ T μ σ X σ T μ λ
ist der Drehimpuls und
T μ v = L ( μ ϕ ) v ϕ G μ v L
ist der Schwung.

Eine direkte Antwort? Es hat keinen wirklichen Namen, wurde aber in der Literatur immer in 3-Vektor-Form als geschrieben 𝐊 , neben dem Drehimpuls 3-Vektor 𝐉 .

Jedes System, elementar oder zusammengesetzt, relativistisch oder nicht-relativistisch, das ein Ruhesystem besitzt (dh ein System, in dem der Impuls 𝐏 Ist 𝟎 ) und eine Schwerpunktposition, 𝐫 , kann es als "Tardyon" (oder "Bradyon") bezeichnet werden. Bei solchen Systemen zerfällt der Drehimpuls in 𝐉 = 𝐫 × 𝐏 + 𝐒 , Wo 𝐒 ist sein innerer Drehimpuls; dh sein Drehimpuls bezogen auf seine Massenmittelpunktsposition. Wenn das System elementar und nicht zusammengesetzt ist, wird diese Drehimpulskomponente als sein "Spin" bezeichnet. Der andere Teil, 𝐋 = 𝐫 × 𝐏 ist der "bahnförmige" Drehimpuls des Systems - das ist der Drehimpuls, den es aufgrund seiner Bewegung um den Ursprung hat 𝐫 = 𝟎 .

Die andere Menge zerfällt für solche Systeme als 𝐊 = M 𝐫 𝐏 T + 𝐓 . Dies hat keinen offiziellen Namen und ist (wie Sie sehen können) explizit zeitabhängig, aufgrund des Erscheinens von T für die Zeit. In Ermangelung eines besseren Namens kann man es wegen der Zeit- und Impulsabhängigkeit als „bewegtes Massenmoment“ bezeichnen 𝐏 .

Die Masse hier, M , ist selbst auch eine "bewegte" Masse. In der nicht-relativistischen Theorie ist es so M = M , gleich der Masse M des Systems in seinem eigenen Ruhesystem - seiner Ruhemasse. In der Relativitätstheorie hat es eine Abhängigkeit vom Impuls gegeben als

M = M 1 + 1 C 2 P 2 M 2 .
Heutzutage ist die "Gesamtenergie" E = M C 2 wird normalerweise in der relativistischen Literatur anstelle der bewegten Masse verwendet M , aber dies verdeckt die Diskussion darüber, was 𝐊 Ist; das ist nur, dass es das Massenmoment ist, das das System gehabt hätte T = 0 , wenn seine Position zurück projiziert wird T = 0 indem es so behandelt wird, als hätte es sich zwischen damals und der Gegenwart mit der Geschwindigkeit bewegt 𝐯 = 𝐏 / M .

Die zusätzliche Menge 𝐓 - ein Analogon des inneren Drehimpulses - abhängig ist 𝐒 . Für nicht-relativistische Tardyons gilt: 𝐓 = 𝟎 , während in Relativitätstheorie

𝐓 = 1 C 2 𝐏 × 𝐒 M + M = 𝐏 × 𝐒 M C 2 + E .
Die Tatsache, dass es nicht Null und spinabhängig ist, ist also ein rein relativistischer Effekt.

Dies kann sowohl im relativistischen als auch im nicht-relativistischen Fall gelöst werden 𝐫 in Bezug auf die kanonischen Größen 𝐉 , 𝐊 , 𝐏 Und M ; wobei das Ergebnis die klassische Version des Newton-Wigner-Operators für den Positionsvektor des Massenmittelpunkts ist.

Für alle Systeme – Tardyons, Luxons, Tachyonen – wenn kein innerer Drehimpuls vorhanden ist – genauer: wenn 𝐖 = 𝟎 , Wo 𝐖 M 𝐉 + 𝐏 × 𝐊 der Pauli-Lubanski 3-Vektor ist, dann erfolgt allein aufgrund dieser Tatsache eine Zerlegung in 𝐉 = 𝐫 × 𝐏 Und 𝐊 = M 𝐫 𝐏 T . Sie werden also "Spin 0" genannt, was ein Missbrauch der Terminologie ist, wenn das System kein Tardyon ist.

Tachyonen gehören zu einer Klasse, die Bezugsrahmen besitzt, in denen M = 0 , Aber 𝐏 𝟎 - ein Rahmen mit unendlicher Geschwindigkeit. In diesem Rahmen, Π 2 = P 2 ist das Quadrat eines Impulses, dessen Wert ist Π = P 1 M 2 C 2 / P 2 oder Π = P 1 E 2 / ( P C ) 2 . Das nicht-relativistische Äquivalent dieses Systemtyps hat keinen Namen, daher habe ich es "Synchron" genannt. Dementsprechend könnte man den unendlichen Geschwindigkeitsrahmen für ein Tachyon als "synchronen" Rahmen bezeichnen: Er erscheint darin nicht als eine sich in der Zeit bewegende Einheit, sondern nur als ein in einem Augenblick existierendes räumliches Objekt. Die nicht-relativistische Version, das „Synchron“, ist im Wesentlichen die sofortige Übertragung eines Nicht-Null-Impulses über den Raum: das „-on“ für die Dynamik der Fernwirkung.

Die Frage ist schlammig, wie 𝐉 Und 𝐊 zerlegen, außer im "Spin 0"-Fall.

Luxons haben weder einen "Synchron"-Rahmen mit unendlicher Geschwindigkeit noch einen Ruherahmen. Das kann nur passieren, wenn P = M C = E / C .

Ebenso ist hier die Frage nach dem Wie unklar 𝐉 Und 𝐊 zerfallen sollte, außer im "Spin 0"-Fall. Aber diesmal gibt es auch eine marginale Ausnahme für den Fall, wo 𝐖 Und 𝐏 ausrichten, mit einem festen Verhältnis 𝐖 = η 𝐏 . Auch diese Unterklasse hat keinen offiziellen Namen. Also habe ich es als den "helikalen" Fall bezeichnet - oder "Helion". Eine ähnliche Unterklasse existiert für die Synchron-Klasse; daher können helikale Synchrone als die nicht-relativistische Grenze von helikalen Luxonen betrachtet werden.

Photonen gehören zur helikalen Unterklasse.

Der Anteil η ist eine feste Eigenschaft des Systems und steht in direktem Zusammenhang mit der Komponente des Drehimpulses 𝐉 neben 𝐏 , die "Helizität" genannt wird, wobei ihr Wert ist η C .

Photonen haben keinen Spin. Sie haben Helizität.

Es ist möglich zu schreiben 𝐉 = 𝐫 × 𝐏 + η 𝐏 / M , Und 𝐊 = M 𝐫 𝐏 T Aber dieses mal, 𝐫 ist nicht ganz eine echte "Schwerpunktposition". Es ist möglich, es zu reparieren, um es "kanonisch" zu machen, aber nur auf Kosten der Herstellung 𝐫 eine singuläre Funktion der anderen kanonischen Größen 𝐉 , 𝐊 , 𝐏 Und M (oder E ).

Im Spin-0-Fall sind für ein nicht wechselwirkendes System alle kanonischen Größen zeitlich konstant – als Ausdruck der Erhaltungssätze für sie alle. Aber seit 𝐊 explizit zeitabhängig ist, macht seine Konstanz 𝐫 eine Funktion der Zeit: 𝐫 = 𝐫 0 + 𝐯 T , die eine Bewegung in einer konstanten Richtung mit einer konstanten Geschwindigkeit ausdrückt, befindet sich bei 𝐫 0 = 𝐊 / M zum Zeitpunkt T = 0 , bewegt sich mit konstanter Geschwindigkeit 𝐯 = 𝐏 / M . Also, das Erhaltungsgesetz für 𝐊 ist eigentlich nur das Trägheitsgesetz selbst.

Sie müssen herausfinden, was 𝐫 als Funktion der Zeit aussieht T für den Fall von Tardyons mit Spin, wo 𝐓 𝟎 .