Können wir einen allgemeinen Lorentz-Boost in eine Rotation zerlegen, gefolgt von drei Boosts entlang der Koordinatenachsen?

Für β R 3 , mit 0 < | β | < 1 , lassen Sie uns den Lorentz-Boost mit Velocity bezeichnen β von

L β ( T , X ) := ( γ T γ β X , X + γ X γ β T ) , Wo    γ := 1 1 β 2 .
Hier X := X β β 2 β ist die Komponente von X in der Richtung von β , Und X := X X . (Die Lichtgeschwindigkeit ist normiert auf 1 ).

Gibt es eine räumliche Rotation? R Und a 1 , a 2 , a 3 ( 1 , 1 ) so dass

L β = L a 1 e 1 L a 2 e 2 L a 3 e 3 R ?

Eine Drehung kann jeden Einheitsvektor so bewegen, dass er mit jeder Achse zusammenfällt. Es gibt also eine Rotation, die sich dreht β zum e 3 Achse. Also ja; suchen Sie einfach nach einer solchen Drehung und wählen Sie dann aus a 3 = | β | Und a 2 = a 1 = 0 .
@Dwagg: Brauchst du nach dem Boost keine zweite Rotation?
Der Kommutator zweier Boost-Generatoren ist ein Rotationsgenerator. Und du hast L φ = exp ( ich φ B ) , Wo B = ( B X , B j , B z ) ist ein 3-Tupel von Boost-Generatoren. Ihre Frage ist dann, ob L φ = L a 1 e 1 L a 2 e 2 L a 3 e 3 R für einige angemessen a ich Und R . Die Antwort ist ja wegen der Baker-Campbell-Hausdorff-Formel.
Verwandte: Allgemeine Matrix Lorentz-Transformation . Durch Intuition gibt es unendlich viele Lösungen.
Kann der Downvoter bitte seine Gründe erklären?
Bei der Ausarbeitung einer Antwort auf Ihre Frage zeigen erste Ergebnisse, dass meine Intuition über unendlich viele Lösungen falsch ist. Das konnte ich mit Sicherheit beweisen β Es gibt eine und nur eine Triade ( a 1 , a 2 , a 3 ) und folglich eine Drehung R, die Ihre Gleichung erfüllt.
Die Ausarbeitung ist mühsam und langwierig. Aber ich werde eine Antwort in 2-3 Tagen posten.

Antworten (1)

(A) L ( β ) = R 1 L 3 ( a 3 ) L 2 ( a 2 ) L 1 ( a 1 )
(B) a 1 = β 1 , a 2 = β 2 1 β 1 2 , a 3 = β 3 1 ( β 1 2 + β 2 2 )
(C) R = Raumdrehung
===============================================

Geben Sie hier die Bildbeschreibung ein

Abbildung-01 3D

Aus Abbildung 01:

Lorentztransformation aus S { X j z ω , ω = C T } Zu S 1 { X 1 j 1 z 1 ω 1 , ω 1 = C T 1 }

(01) [ X 1 j 1 z 1 ω 1 ] = [ cosch ξ 0 0 Sünde ξ 0 1 0 0 0 0 1 0 Sünde ξ 0 0 cosch ξ ] [ X j z ω ] , Tanh ξ = a 1 = u 1 C
oder
(02) W 1 = L 1 W , L 1 = [ cosch ξ 0 0 Sünde ξ 0 1 0 0 0 0 1 0 Sünde ξ 0 0 cosch ξ ]

Lorentztransformation aus S 1 { X 1 j 1 z 1 ω 1 , ω 1 = C T 1 } Zu S 2 { X 2 j 2 z 2 ω 2 , ω 2 = C T 2 }

(03) [ X 2 j 2 z 2 ω 2 ] = [ 1 0 0 0 0 cosch η 0 Sünde η 0 0 1 0 0 Sünde η 0 cosch η ] [ X 1 j 1 z 1 ω 1 ] , Tanh η = a 2 = u 2 C
oder
(04) W 2 = L 2 W 1 , L 2 = [ 1 0 0 0 0 cosch η 0 Sünde η 0 0 1 0 0 Sünde η 0 cosch η ]

Lorentztransformation aus S 2 { X 2 j 2 z 2 ω 2 , ω 2 = C T 2 } Zu S 3 { X 3 j 3 z 3 ω 3 , ω 3 = C T 3 }

(05) [ X 3 j 3 z 3 ω 3 ] = [ 1 0 0 0 0 1 0 0 0 0 cosch ζ Sünde ζ 0 0 Sünde ζ cosch ζ ] [ X 2 j 2 z 2 ω 2 ] , Tanh ζ = a 3 = u 3 C
oder
(06) W 3 = L 3 W 2 , L 3 = [ 1 0 0 0 0 1 0 0 0 0 cosch ζ Sünde ζ 0 0 Sünde ζ cosch ζ ]

Beachten Sie, dass aufgrund der Standardkonfigurationen die Matrizen L 1 , L 2 , L 3 sind reell symmetrisch.

Aus Gleichungen (02) , (04) Und (06) wir haben

(07) W 3 = L 3 W 2 = L 3 L 2 W 1 = L 3 L 2 L 1 W W 3 = Λ W
Wo Λ die Zusammensetzung der drei Lorentz-Transformationen L 1 , L 2 , L 3
Λ = L 3 L 2 L 1 = (08) [ 1 0 0 0 0 1 0 0 0 0 cosch ζ Sünde ζ 0 0 Sünde ζ cosch ζ ] [ 1 0 0 0 0 cosch η 0 Sünde η 0 0 1 0 0 Sünde η 0 cosch η ] [ cosch ξ 0 0 Sünde ξ 0 1 0 0 0 0 1 0 Sünde ξ 0 0 cosch ξ ]
das ist
(09) Λ = L 3 L 2 L 1 = [ cosch ξ 0 0 Sünde ξ Sünde η Sünde ξ cosch η 0 Sünde η cosch ξ Sünde ζ cosch η Sünde ξ Sünde ζ Sünde η cosch ζ Sünde ζ cosch η cosch ξ cosch ζ cosch η Sünde ξ cosch ζ Sünde η Sünde ζ cosch ζ cosch η cosch ξ ]
Die Lorentz-Transformationsmatrix Λ ist nicht symmetrisch, also die Systeme S , S 3 sind nicht in der Standardkonfiguration. Aber es ist vernünftig, das anzunehmen
(10) Λ = R L
Wo L ist die symmetrische Lorentz-Transformationsmatrix aus S zu einem Zwischensystem S ' 3 in Standardkonfiguration dazu und mitbewegen S 3 , während R ist eine rein räumliche Transformation zwischen S ' 3 Und S 3 .

Unser Ziel wäre es nun, die symmetrische Lorentz-Transformationsmatrix auszudrücken L in Bezug auf die Schnelligkeiten ξ , η , ζ seit von (10)

(11) R = Λ L 1

Die Lorentz-Transformationsmatrix L , aus S zum Zwischensystem S 3 ' in der Standardkonfiguration dazu ist:

(12) L ( υ ) = [ 1 + ( γ 1 ) N X 2 ( γ 1 ) N X N j ( γ 1 ) N X N z γ υ X C ( γ 1 ) N j N X 1 + ( γ 1 ) N j 2 ( γ 1 ) N j N z γ υ j C ( γ 1 ) N z N X ( γ 1 ) N z N j 1 + ( γ 1 ) N z 2 γ υ z C γ υ X C γ υ j C γ υ z C γ ]
In (12)
(13.1) υ C = ( υ X C , υ j C , υ z C ) = ( Tanh ξ , Tanh η cosch ξ , Tanh ζ cosch ξ cosch η ) β = ( β 1 , β 2 , β 3 , ) (13.2) ( υ C ) 2 = ( υ X C ) 2 + ( υ j C ) 2 + ( υ z C ) 2 = 1 ( 1 cosch ξ cosch η cosch ζ ) 2 = γ 2 1 γ 2 (13.3) γ = ( 1 υ 2 C 2 ) 1 2 = cosch ξ cosch η cosch ζ = γ 1 γ 2 γ 3 (13.4) N = ( N X , N j , N z ) = υ / C υ / C = ( Sünde ξ cosch η cosch ζ , Sünde η cosch ζ , Sünde ζ ) cosch 2 ξ cosch 2 η cosch 2 ζ 1
Wo υ ist der Geschwindigkeitsvektor des Ursprungs Ö ' 3 ( Ö 3 ) gegenüber S (1) , N den Einheitsvektor entlang υ Und γ die entsprechende γ Faktor.

Also die Matrix L ( υ ) der Gleichung (12) als Funktion der Schnelligkeiten ξ , η , ζ ist (2)

L ( υ ) = L ( ξ , η , ζ ) = (14) [ 1 + Sünde 2 ξ cosch 2 η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ cosch η Sünde η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ cosch η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ cosch η cosch ζ Sünde ξ cosch η Sünde η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ 1 + Sünde 2 η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde η cosch ζ Sünde ξ cosch η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ 1 + Sünde 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde ζ Sünde ξ cosch η cosch ζ Sünde η cosch ζ Sünde ζ cosch ξ cosch η cosch ζ ]
während
L 1 ( υ ) = L ( υ ) = L ( ξ , η , ζ ) = (15) [ 1 + Sünde 2 ξ cosch 2 η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ cosch η Sünde η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ cosch η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ cosch η cosch ζ Sünde ξ cosch η Sünde η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ 1 + Sünde 2 η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde η cosch ζ Sünde ξ cosch η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ 1 + Sünde 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde ζ Sünde ξ cosch η cosch ζ Sünde η cosch ζ Sünde ζ cosch ξ cosch η cosch ζ ]

Aus Gleichungen (09) , (11) Und (15)

R = Λ L 1 = [ cosch ξ 0 0 Sünde ξ A B Sünde η Sünde ξ cosch η 0 Sünde η cosch ξ A B Sünde ζ cosch η Sünde ξ Sünde ζ Sünde η cosch ζ Sünde ζ cosch η cosch ξ A B cosch ζ cosch η Sünde ξ cosch ζ Sünde η Sünde ζ cosch ζ cosch η cosch ξ A B ] [ 1 + Sünde 2 ξ cosch 2 η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ cosch η Sünde η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ cosch η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ cosch η cosch ζ Sünde ξ cosch η Sünde η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ 1 + Sünde 2 η cosch 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde η cosch ζ Sünde ξ cosch η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde η cosch ζ Sünde ζ 1 + cosch ξ cosch η cosch ζ 1 + Sünde 2 ζ 1 + cosch ξ cosch η cosch ζ Sünde ζ Sünde ξ cosch η cosch ζ Sünde η cosch ζ Sünde ζ cosch ξ cosch η cosch ζ ] = (16) [ cosch ξ + cosch η cosch ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ Sünde η cosch ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ Sünde ζ 1 + cosch ξ cosch η cosch ζ 0 Sünde ξ Sünde η 1 + cosch ξ cosch η cosch η cosch η + cosch ζ cosch ξ 1 + cosch ξ cosch η cosch ζ cosch ξ Sünde η Sünde ζ 1 + cosch ξ cosch η cosch ζ 0 Sünde ξ cosch η Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde η Sünde ζ 1 + cosch ξ cosch η cosch η cosch ζ + cosch ξ cosch η 1 + cosch ξ cosch η cosch ζ 0 0 0 0 1 ]
(17) R = [ cosch ξ + cosch η cosch ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ Sünde η cosch ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ Sünde η 1 + cosch ξ cosch η cosch η cosch η + cosch ζ cosch ξ 1 + cosch ξ cosch η cosch ζ cosch ξ Sünde η Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde ξ cosch η Sünde ζ 1 + cosch ξ cosch η cosch ζ Sünde η Sünde ζ 1 + cosch ξ cosch η cosch η cosch ζ + cosch ξ cosch η 1 + cosch ξ cosch η cosch ζ ]
(18) R = [ cos θ + ( 1 cos θ ) M X 2 ( 1 cos θ ) M X M j + Sünde θ M z ( 1 cos θ ) M X M z Sünde θ M j ( 1 cos θ ) M j M X Sünde θ M z cos θ + ( 1 cos θ ) M j 2 ( 1 cos θ ) M j M z + Sünde θ M X ( 1 cos θ ) M z M X + Sünde θ M j ( 1 cos θ ) M z M j Sünde θ M X cos θ + ( 1 cos θ ) M z 2 ]
2 cos θ + 1 = T R A C e ( R ) = ( cosch ξ + cosch η + cosch ζ ) + ( cosch ξ cosch η + cosch η cosch ζ + cosch ζ cosch ξ ) ( 1 + cosch ξ cosch η cosch ζ ) (19) ( 1 + cosch ξ ) ( 1 + cosch η ) ( 1 + cosch ζ ) ( 1 + cosch ξ cosch η cosch ζ ) ( 1 + cosch ξ cosch η cosch ζ )
(20) cos θ = ( 1 + cosch ξ ) ( 1 + cosch η ) ( 1 + cosch ζ ) 2 ( 1 + cosch ξ cosch η cosch ζ ) 2 ( 1 + cosch ξ cosch η cosch ζ )
(21) cos θ = ( 1 + γ 1 ) ( 1 + γ 2 ) ( 1 + γ 3 ) 2 ( 1 + γ 1 γ 2 γ 3 ) 2 ( 1 + γ 1 γ 2 γ 3 ) , γ ȷ = ( 1 a ȷ ) 1 2 A B C D
(22.1) Sünde θ M X = ( 1 + cosch ξ ) Sünde η Sünde ζ 2 ( 1 + cosch ξ cosch η cosch ζ ) (22.2) Sünde θ M j = + ( 1 + cosch η ) Sünde ζ Sünde ξ 2 ( 1 + cosch ξ cosch η cosch ζ ) (22.3) Sünde θ M z = ( 1 + cosch ζ ) Sünde η Sünde ξ 2 ( 1 + cosch ξ cosch η cosch ζ )
Sünde θ = ( 1 + γ 1 ) 2 ( γ 2 2 1 ) ( γ 3 2 1 ) + ( 1 + γ 2 ) 2 ( γ 3 2 1 ) ( γ 1 2 1 ) + ( 1 + γ 3 ) 2 ( γ 1 2 1 ) ( γ 2 2 1 ) 2 ( 1 + γ 1 γ 2 γ 3 ) (23) γ ȷ = ( 1 a ȷ ) 1 2 , θ [ 0 , π ]
bräunen θ = ( 1 + γ 1 ) 2 ( γ 2 2 1 ) ( γ 3 2 1 ) + ( 1 + γ 2 ) 2 ( γ 3 2 1 ) ( γ 1 2 1 ) + ( 1 + γ 3 ) 2 ( γ 1 2 1 ) ( γ 2 2 1 ) ( 1 + γ 1 ) ( 1 + γ 2 ) ( 1 + γ 3 ) 2 ( 1 + γ 1 γ 2 γ 3 ) (24) γ ȷ = ( 1 a ȷ ) 1 2 , θ [ 0 , π ]
M = [ ( 1 + γ 1 ) ( γ 2 2 1 ) 1 2 ( γ 3 2 1 ) 1 2 , ( 1 + γ 2 ) ( γ 3 2 1 ) 1 2 ( γ 1 2 1 ) 1 2 , ( 1 + γ 3 ) 2 ( γ 1 2 1 ) 1 2 ( γ 2 2 1 ) 1 2 ] ( 1 + γ 1 ) 2 ( γ 2 2 1 ) ( γ 3 2 1 ) + ( 1 + γ 2 ) 2 ( γ 3 2 1 ) ( γ 1 2 1 ) + ( 1 + γ 3 ) 2 ( γ 1 2 1 ) ( γ 2 2 1 ) (25) γ ȷ = ( 1 a ȷ ) 1 2 , θ [ 0 , π ]

===============================================

Geben Sie hier die Bildbeschreibung ein Abbildung-02 3D


(1) siehe ANHANG C - Relativistische Addition von Geschwindigkeiten


(2) siehe ANHANG B – Die Matrix L


(3) Bauen a aus β


Beeindruckend. Das ist viel Arbeit. Es wird eine Weile dauern, bis ich es verdauen kann, aber vielen Dank für Ihre Zeit.
@Frobenius Schön! Eine kleine Frage: Welche Software/Paket verwenden Sie für die Grafik?
@JC: GeoGebra. Einer seiner Vorteile ist das Einfügen von Gleichungen L A T E X .