Misplaced Pages

Four-vector

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

This is an old revision of this page, as edited by Laurascudder (talk | contribs) at 16:39, 6 April 2005 (switching to more standard ordering ala four-velocity etc.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 16:39, 6 April 2005 by Laurascudder (talk | contribs) (switching to more standard ordering ala four-velocity etc.)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In relativity, a four-vector is a vector in a four-dimensional real vector space, called Minkowski space, whose components transform like the space and time coordinates ( t , x , y , z ) {\displaystyle \left(t,x,y,z\right)} under spatial rotations and boosts (a change by a constant velocity to another inertial reference frame). The set of all such rotations and boosts, called Lorentz transformations and described by 4×4 matrices, forms the Lorentz group.


Mathematics of four-vectors

A point in Minkowski space is called an "event" and is described by the position four-vector defined as:

x a = ( c t , x , y , z ) {\displaystyle x^{a}=\left(ct,x,y,z\right)} ( a = 0 , 1 , 2 , 3 {\displaystyle a=0,1,2,3} )

where c is the speed of light.

The inner product of two four-vectors x and y is defined as:

x ⋅ y = x a η a b y b ( x 0 x 1 x 2 x 3 ) ( − 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 ) ( y 0 y 1 y 2 y 3 ) = − x 0 y 0 + x 1 y 1 + x 2 y 2 + x 3 y 3 {\displaystyle x\cdot y=x^{a}\eta _{ab}y^{b}\left({\begin{matrix}x^{0}&x^{1}&x^{2}&x^{3}\end{matrix}}\right)\left({\begin{matrix}-1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{matrix}}\right)\left({\begin{matrix}y_{0}\\y_{1}\\y_{2}\\y_{3}\end{matrix}}\right)=-x^{0}y_{0}+x^{1}y_{1}+x^{2}y_{2}+x^{3}y_{3}}

where η {\displaystyle \eta } is the Minkowski metric.

Examples of four-vectors in dynamics

When considering physical phenomena, differential equations arise naturally; however, when considering space and time derivatives of functions, it is unclear which reference frame these derivatives are taken with respect to. It is agreed that time derivatives are taken with respect to the proper time ( τ {\displaystyle \tau } ) in the given reference frame. It is then important to find a relation between this time derivative and another time derivative (taken in another inertial reference frame). This relation is provided by the time transformation in the Lorentz transformations and is:

d τ d t = 1 γ {\displaystyle {\frac {d\tau }{dt}}={\frac {1}{\gamma }}}

where γ {\displaystyle \gamma } is the gamma factor of relativity. Important four-vectors in relativity theory can now be defined, such as the four-velocity defined by:

U a := d x a d τ = d x a d t d t d τ = ( γ c , γ u ) {\displaystyle U^{a}:={\frac {dx^{a}}{d\tau }}={\frac {dx^{a}}{dt}}{\frac {dt}{d\tau }}=\left(\gamma c,\gamma \mathbf {u} \right)}

where u i = d x i d t {\displaystyle u^{i}={\frac {dx^{i}}{dt}}} ( i = 1 , 2 , 3 {\displaystyle i=1,2,3} ). Note that U a U a = − c 2 {\displaystyle U^{a}U_{a}=-c^{2}} . The four-acceleration is defined by:

A a := d U a d τ = ( γ γ ˙ c , γ γ ˙ u + γ 2 u ˙ ) {\displaystyle A^{a}:={\frac {dU^{a}}{d\tau }}=\left(\gamma {\dot {\gamma }}c,\gamma {\dot {\gamma }}\mathbf {u} +\gamma ^{2}\mathbf {\dot {u}} \right)}

Note that by direct calculation, it is always true that A a U a = 0 {\displaystyle A^{a}U_{a}=0} . The four-momentum is defined by:

P a = m o U a = ( m c , p ) {\displaystyle P^{a}=m_{o}U^{a}=\left(mc,\mathbf {p} \right)}

where m o {\displaystyle m_{o}} is the rest mass of the particle m = γ m o {\displaystyle m=\gamma m_{o}} and p = m u {\displaystyle \mathbf {p} =m\mathbf {u} } .

An important relation can be obtained by calculating the inner product of the four-momentum with itself in two different ways:

p 2 − m 2 c 2 = P a P a = m o 2 U a U a = − m o 2 c 2 {\displaystyle p^{2}-m^{2}c^{2}=P^{a}P_{a}=m_{o}^{2}U^{a}U_{a}=-m_{o}^{2}c^{2}}

The four-force is defined by:

F a = m o A a = ( γ m ˙ c , γ f ) {\displaystyle F^{a}=m_{o}A^{a}=\left(\gamma {\dot {m}}c,\gamma \mathbf {f} \right)}

where f = m o γ ˙ u + m 0 γ u ˙ {\displaystyle \mathbf {f} =m_{o}{\dot {\gamma }}\mathbf {u} +m_{0}\gamma \mathbf {\dot {u}} } .



Physics of four-vectors

It is possible to derive some important relations between energy, mass and momentum by using the formalism of four-vectors.

Deriving E=mc

Using the formalism of four-vectors, it is possible to derive an expression for the total energy of a particle. The kinetic energy of a particle ( K {\displaystyle K} ) is defined analogously to the classical definition, namely as:

d K d t = f ⋅ u {\displaystyle {\frac {dK}{dt}}=\mathbf {f} \cdot \mathbf {u} }

with f as above. Note that FUa=0 and expanding this out we get:

γ 2 ( f ⋅ u − m ˙ c 2 ) = 0 {\displaystyle \gamma ^{2}\left(\mathbf {f} \cdot \mathbf {u} -{\dot {m}}c^{2}\right)=0}

Hence,

d K d t = c 2 d m d t ⇒ K = m c 2 + S {\displaystyle {\frac {dK}{dt}}=c^{2}{\frac {dm}{dt}}\Rightarrow K=mc^{2}+S}

for some constant S. When the particle is at rest (u=0), we take it's kinetic energy to be zero (K=0); this gives,

S = − m 0 c 2 {\displaystyle S=-m_{0}c^{2}}

Thus, we interpret the total energy of the particle (E) as composed of it's kinetic energy K and it's rest energy m0c

E = m c 2 {\displaystyle E=mc^{2}}


Deriving E=pc+m0c

Using the relation E=mc, we can write the four-momentum as:

P a = ( E c , p ) {\displaystyle P^{a}=\left({\frac {E}{c}},\mathbf {p} \right)} .

Taking the inner product of the four-momentum with itself in two different ways, we obtain the relation:

p 2 − E 2 c 2 = P a P a = m o 2 U a U a = − m o 2 c 2 {\displaystyle p^{2}-{\frac {E^{2}}{c^{2}}}=P^{a}P_{a}=m_{o}^{2}U^{a}U_{a}=-m_{o}^{2}c^{2}}

i.e.

p 2 − E 2 c 2 = − m o 2 c 2 {\displaystyle p^{2}-{\frac {E^{2}}{c^{2}}}=-m_{o}^{2}c^{2}}

Hence,

E 2 = p 2 c 2 + m 0 2 c 4 {\displaystyle E^{2}=p^{2}c^{2}+m_{0}^{2}c^{4}}

This last relation is useful in many areas of physics.


Examples of four-vectors in electromagnetism

Examples of four-vectors in electromagnetism include the four-current defined by

J a = ( ρ c , j ) {\displaystyle J^{a}=\left(\rho c,\mathbf {j} \right)}

formed from the current and charge densities (j and ρ, respectively) and the electromagnetic four-potential defined by

A ~ a = ( ϕ c , A ) {\displaystyle {\tilde {A}}^{a}=\left({\frac {\phi }{c}},\mathbf {A} \right)} formed from the vector and scalar potentials (A and φ, respectively).

A plane wave can be described by the four-frequency, which is defined by:

K a = ( ω c , k ) {\displaystyle K^{a}=\left({\frac {\omega }{c}},\mathbf {k} \right)}

where k=2π n/λ (λ is the wavelength of the wave and n is a unit vector in the direction of travel of the wave) and ω= 2πf (f is the frequency of the wave). Note that:

K a K a = ( 2 π λ ) 2 ( n 2 − 1 ) = 0 {\displaystyle K^{a}K_{a}=\left({\frac {2\pi }{\lambda }}\right)^{2}\left(n^{2}-1\right)=0}

so that the four-frequency is always a null vector.

The laws of physics are also postulated to be invariant under Lorentz transformations. An object in an inertial reference frame will perceive the universe as if the universe were Lorentz-transformed so that the perceiving object is stationary.

See also

Category: