Composition of Lorentz Transformations

Hacky
Messages
25
Reaction score
0
It is not intuitive, for me at least, why when relating the velocity of 3 inertial frames (Say F1, F2 moving at v1 with respect to F1, and F3 moving at v2 with respect to F2), one mulitplies the transforms of F2 and F3 to get the transform for F1 with respect to F3 to get v3. I understand why v3 does not equal v1+v2 and have seen some very understandable derivations of the velocity composition formula. But I have not been able to find the derivation of how mupltiplying two transforms leads to the third (and thus leads to v3).

Thanks, Howard
 
Last edited:
Physics news on Phys.org
Remember that you can make rotations in 3D multiplying diferent matrix, each one corresponding to a rotation along any selected axis, this is totally analogous, since lorentz transformations corresponds to rotations in four dimensions, with the lorentz metric.
 
Last edited:
Remember that a Lorentz transformation is just a linear transformation, like the ones you encounter in linear algebra. And the Lorentz transformation, like all linear transformations, has a matrix. You perform successive Lorentz transformations the same way you perform any successive linear transformations: By multiplying their matrices together.
 
Applying the transform once transforms all your vectors to the new co-ordinate system. So:

\vec{v'} = T_1\vec{v}.

The next transform will now transform our new vectors, so:

\vec{v''} = T_2\vec{v'} = T_2 T_1 \vec{v}.

I hope that explains it.
 
The strategy is essentially laid out here [using rapidities in 1+1 spacetime]
https://www.physicsforums.com/showpost.php?p=961838&postcount=13
...but you have to finish it off recognizing that the relative spatial velocity is c*tanh(theta_2-theta_1)... then use the hyperbolic trig identity. If you wish to avoid rapidities, you can use betas and gammas and various identities among them... but they are really hyperbolic trig identities.

The quickest way to motivate the velocity-composition [without explicitly using the transformations] uses the k-calculus.

For non-parallel velocity composition, you'll have to work with a larger more general version of the LT matrices (or else work with infinitesimals, or else do trig on a hyperbolic space).
 
Hacky said:
It is not intuitive, for me at least, why when relating the velocity of 3 inertial frames (Say F1, F2 moving at v1 with respect to F1, and F3 moving at v2 with respect to F2), one mulitplies the transforms of F2 and F3 to get the transform for F1 with respect to F3 to get v3. I understand why v3 does not equal v1+v2 and have seen some very understandable derivations of the velocity composition formula. But I have not been able to find the derivation of how mupltiplying two transforms leads to the third (and thus leads to v3).

Thanks, Howard

Do you understand how, in general, to compose arbitrary transforms?

Say transform T1 maps x->x', and transform T2 maps x'->x'', where x is a vector.

We can say x' = T1(x), and x''=T2(x').

The "composed" transform is a map from x->x''

x'' = T2(T1(x))

All you need to do for the specific case of the Lorentz transforms is work out the details.
 
I started reading a National Geographic article related to the Big Bang. It starts these statements: Gazing up at the stars at night, it’s easy to imagine that space goes on forever. But cosmologists know that the universe actually has limits. First, their best models indicate that space and time had a beginning, a subatomic point called a singularity. This point of intense heat and density rapidly ballooned outward. My first reaction was that this is a layman's approximation to...
Thread 'Dirac's integral for the energy-momentum of the gravitational field'
See Dirac's brief treatment of the energy-momentum pseudo-tensor in the attached picture. Dirac is presumably integrating eq. (31.2) over the 4D "hypercylinder" defined by ##T_1 \le x^0 \le T_2## and ##\mathbf{|x|} \le R##, where ##R## is sufficiently large to include all the matter-energy fields in the system. Then \begin{align} 0 &= \int_V \left[ ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g}\, \right]_{,\nu} d^4 x = \int_{\partial V} ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g} \, dS_\nu \nonumber\\ &= \left(...
In Philippe G. Ciarlet's book 'An introduction to differential geometry', He gives the integrability conditions of the differential equations like this: $$ \partial_{i} F_{lj}=L^p_{ij} F_{lp},\,\,\,F_{ij}(x_0)=F^0_{ij}. $$ The integrability conditions for the existence of a global solution ##F_{lj}## is: $$ R^i_{jkl}\equiv\partial_k L^i_{jl}-\partial_l L^i_{jk}+L^h_{jl} L^i_{hk}-L^h_{jk} L^i_{hl}=0 $$ Then from the equation: $$\nabla_b e_a= \Gamma^c_{ab} e_c$$ Using cartesian basis ## e_I...
Back
Top