Why is 4-velocity Vector u'=dx^i/ds?

  • Context: Graduate 
  • Thread starter Thread starter yukcream
  • Start date Start date
  • Tags Tags
    Vector
Click For Summary

Discussion Overview

The discussion centers on the definition and properties of the 4-velocity vector in the context of special relativity, specifically why it is expressed as \( u' = \frac{dx^i}{ds} \) where \( ds = c dt \sqrt{1 - \frac{v^2}{c^2}} \) instead of \( \frac{dx^i}{dt} \). Participants also explore the nature of the 4-acceleration vector and the dimensionality of the 4-velocity.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants argue that \( \frac{dx^i}{dt} \) does not transform correctly under Lorentz transformations, thus it cannot be a 4-vector.
  • Others propose that \( u^i = \frac{dx^i}{ds} \) transforms correctly and is dimensionless, serving as a unit 4-vector tangent to the particle's worldline.
  • There is a suggestion that the 4-velocity being dimensionless is a matter of convention, and not universally accepted.
  • Participants discuss the definition of the 4-acceleration vector as \( a^i = \frac{d}{ds} u^i \) and express a desire to rewrite it in terms of \( v, c, \) and \( x^i \).
  • Some contributions emphasize the need for 4-vectors to maintain Lorentz invariance, suggesting that proper time is the only invariant time for differentiation.
  • There are questions about how to express the components of the 4-acceleration vector, both spatial and temporal, and how they relate to the proper time and coordinate time.

Areas of Agreement / Disagreement

Participants express differing views on the dimensionality of the 4-velocity and the conventions used in its definition. There is no consensus on whether the dimensionless nature of the 4-velocity is a convention or a necessity, and the discussion on the formulation of the 4-acceleration remains unresolved.

Contextual Notes

Some participants note that the transformation properties of quantities under Lorentz transformations are crucial for defining tensors, and there are references to the need for invariant quantities in the context of special relativity. The discussion includes various mathematical expressions and assumptions that may not be universally agreed upon.

Who May Find This Useful

This discussion may be of interest to students and professionals in physics, particularly those studying special relativity, as well as individuals exploring the mathematical foundations of 4-vectors and their applications in theoretical physics.

yukcream
Messages
59
Reaction score
0
I want to know why the 4-velocity vector of a particle is
u'=dx^i/ds where ds=cdt sqrt{1-v^2/c^2}
not dx^i/dt?

also can anyone show me the divide of the 4-acceleration vector,i.e
a' = d^2x'/ds^2?! I don't konw how to write it back in terms of v,c &x^i !

In addition why the 4-velocity vector is a dimesnsionless quantity? what does it really mean?

thx for help
yukyuk
 
Physics news on Phys.org
One can show that the quantity [tex]\frac{dx^i}{dt}[/tex] doesn't transform correctly under a Lorentz Transformation. Hence, it is not a 4-vector.

The quantity [tex]u^i=\frac{dx^i}{ds}[/tex] where [tex]ds=cdt \sqrt{1-v^2/c^2}[/tex] does transform correctly.
As you have noticed, this quantity is dimensionless. Thus, [tex]u^i[/tex] can be regarded as a certain unit 4-vector, namely, the unit timelike 4-vector tangent to the particle's worldline. This normalization is convenient because it absorbs some pesky factors of c. An important role of this unit timelike 4-vector is that it helps decompose ["write as a vector sum"] tensorial quantities into timelike and spacelike parts ["components"] in the frame of the particle.

The 4-acceleration is [tex]a^i = \frac{d}{ds}u^i=\frac{d}{ds}\frac{d}{ds} x^i[/tex]. This can also be written as [tex]a^i=u^a \nabla_a u^i[/tex]. To write this in component form, apply the chain rule to [tex]a^i =\frac{d}{ds}\frac{d}{ds} x^i[/tex]. For simplicity, you'll want to assume that all of the motion is in the x-direction.

Here are some sites to look at
http://farside.ph.utexas.edu/teaching/em/lectures/node115.html
http://vishnu.mth.uct.ac.za/omei/gr/chap2/node4.html
 
Last edited by a moderator:
Making it unitless is merely someones convention. Not everyone does that. The displacement four-vector [tex]dx^{\mu }[/tex]Is a rank one tensor, a four-vector and in fact the way dx transforms is usually taken as the definition for what constitutes a tensor. [tex]ds=cd\tau[/tex] and ds is obviously invariant and so in that sense so is [tex]d\tau[/tex] and tensor multiplied or divided by an invariant remains a tensor and so defining [tex]U^{\mu }[/tex] by [tex]U^{\mu } = dx^{\mu} /d\tau[/tex] or dx/ds in your case guarantees that you have defined a four-vector. This is then named the velocity four-vector, or 4-velocity vector in your terms. dx/dt is not a four-vector simply because it does not transform like a tensor. The covariant derivative of a tensor is also a tensor and so [tex]A^{\mu } = DU^{\mu }/d\tau[/tex] defines a four-vector called the acceleration four-vector, or in your terms the 4-acceleration vector. For intertial frames in special relativity this can be written [tex]A^{\mu } = d^{2}x^{\mu }/d\tau ^2[/tex] To write it in terms of v, [tex]A^{\mu } = (\gamma d/dt)(\gamma dx^{\mu }/dt)[/tex]
[tex]A^{\mu } = \gamma (\gamma (d^{2}x^{\mu }/dt^{2}) + (dx^{\mu }/dt)(d\gamma /dv)(dv/dt))[/tex]
[tex]A^{\mu } = \gamma (\gamma (d^2x^{\mu }/dt^{2}) + (dx^{\mu }/dt)((v/c^{2})(\gamma ^{3}))dv/dt)[/tex]
[tex]A^{\mu } = \gamma ^{2}(a^{\mu } + \gamma ^{2}v^{\mu }((v/c^{2})dv/dt)[/tex]
[tex]A^{\mu } = \gamma ^{2}(a^{\mu } + \gamma ^{2}v^{\mu }(\mathbf{v}\cdot \mathbf{a}/c^{2}))[/tex]

(Im choosing [tex]\mathbf{v}\cdot \mathbf{a}[/tex] to represent the ordinary three component dot product of coordinate velocity and coordinate acceleration and using v and a to represent those even when I choose to give them a fourth element as indicated by the greek index.)
 
Last edited:
yukcream said:
I want to know why the 4-velocity vector of a particle is
u'=dx^i/ds where ds=cdt sqrt{1-v^2/c^2}
not dx^i/dt?

also can anyone show me the divide of the 4-acceleration vector,i.e
a' = d^2x'/ds^2?! I don't konw how to write it back in terms of v,c &x^i !

In addition why the 4-velocity vector is a dimesnsionless quantity? what does it really mean?

thx for help
yukyuk

ds, usually written as [itex]d \tau[/itex], is the proper time of the particle.

The reason that the 4-velocity is the derivative of distance with respect to proper time is to ensure that the 4-velocity is a 4-vector.

4-vectors must have an invariant Lorentz interval. Taking the derivative of (ct,x,y,z) with respect to coordiante time t does not give an invariant lorentz interval, it gives a coordinate dependent quantity. (x,y,z,t) is a 4-vector because it's Lorentz interval is invariant for all observers. To maintain this Lorentz invariance, we have to differentiate with a Lorentz invariant time. The only time available that fits this bill is the proper time of the particle.

I'm usually used to assuming c=1 when dealing with 4-vectors, so I'll let someone else explain the conventions usually used when c is not assumed to be 1.

Note that the "length", i.e. the Lorentz interval, of the 4-velocity is a constant. This implies that the 4-velocity and the 4-acceleration are always perpendicular.

You've already written down the expression for 4-acceleration

[tex] \left(<br /> \frac{d^2 t}{d \tau^2}, \frac{d^2 x}{d \tau^2}, \frac{d^2 y}{d \tau^2}, \frac{d^2 z}{d \tau^2}\right)[/tex]

(modulo some factors of 'c'), so I'm not sure what your question is. Here you write t,x,y,z as functions of [itex]\tau.[/itex]. If instead you have x(t), y(t), z(t), you need to find [itex]\tau(t)[/itex], which you can do from the definition of the Lorentz interval, then you need to change varabiles to find x,y, and z in terms of tau, rather than t.
 
yukcream said:
I want to know why the 4-velocity vector of a particle is
u'=dx^i/ds where ds=cdt sqrt{1-v^2/c^2}
not dx^i/dt?

also can anyone show me the divide of the 4-acceleration vector,i.e
a' = d^2x'/ds^2?! I don't konw how to write it back in terms of v,c &x^i !

In addition why the 4-velocity vector is a dimesnsionless quantity? what does it really mean?

thx for help
yukyuk

yukcream - In special relatity should keep in mind that is must be possible to express all of the mathematical quanties used in laws of nature which does not depend on the form of coordinate system chosen. In order for this to work properly each component must have the same dimension.

That the 4-vecocity is dimensionless is a matter of choice and nothing else.

Pete
 
Last edited:
To pervect:
My problem is I don't know how to write a^i as the vector form, like
{gamma, vgamma} for u^i, the 4-velocity vectors!
where gamma= 1/sqrt[1-v^2/c^2]

To Trilairian:
Thank you very much for showing me the divide step by step! I think the dt there is represent the proper time, right?

One more question, does Trilairian's divide give me the spatial component of the 4-acceleration vextor? How about the temporal component?

P.S: :smile: Thanks for all who answered my question!

yukyuk
 
yukcream said:
To pervect:
My problem is I don't know how to write a^i as the vector form, like
{gamma, vgamma} for u^i, the 4-velocity vectors!
where gamma= 1/sqrt[1-v^2/c^2]

To Trilairian:
Thank you very much for showing me the divide step by step! I think the dt there is represent the proper time, right?
You're welcome. The [tex]\tau[/tex] refers to proper time. The t refers to coordinate time(your coordinate's time).

One more question, does Trilairian's divide give me the spatial component of the 4-acceleration vextor? How about the temporal component?

P.S: :smile: Thanks for all who answered my question!

yukyuk
It gives both. For the temporal component plug in [tex]\mu = 0[/tex] and use [tex]a^{0} = 0[/tex], and [tex]v^{0} = c[/tex]. (But take note that it seems your instruction uses c = 1, whereas I make no such demand. Such trivial differences in definitions tend to vary from one author to another.)
 
Last edited:
yukcream said:
To pervect:
My problem is I don't know how to write a^i as the vector form, like
{gamma, vgamma} for u^i, the 4-velocity vectors!
where gamma= 1/sqrt[1-v^2/c^2]

Let us suppose you have a particle.

You plot the coordinates of the particle as a function of it's proper time, [itex]\tau[/itex].

You do this by specifying four functions

[itex]\left( t(\tau), x(\tau), y(\tau), z(\tau) \right)[/itex]

Then you can easily compute it's 4-velocity, which is the derivative of the above expression with respect to tau, and it's 4-acceleration, which is the second derivative of the above expression with respect to tau, i.e.

4 velocity [tex]u^i = \frac{d x^i}{d \tau}[/tex]

4 acceleration [tex]a^i = \frac{d^2 x^i}{d \tau^2}[/tex]

Now (this may be your question?) sometimes you have instead only

(x(t), y(t), z(t)), rather than the above 4 functions.

You then have to compute [itex]\tau[/itex] by the relationship

[tex] d\tau^2 = dt^2 - dx^2 - dy^2 - dz^2[/tex]

(This is assuming a flat metric - if you are doing general relativity, you havea to use the more general expression

[tex]d\tau^2 = g_{ab} dx^a dx^b[/tex]

where you sum over a=0..3 and b=0..3)

It may be worthwile to re-write the above expression to explicitly solve for tau in a Miknowskian space-time, one with a global Lorentz metric:

[tex]\tau = \int \sqrt{1 - \left( \frac{dx}{dt} \right)^2 - \left( \frac{dy}{dt} \right)^2 - \left( \frac{dz}{dt} \right)^2 } dt[/tex]

This gives you [itex]\tau(t)[/itex]. You then have to invert this expression to find [itex]t(\tau)[/itex]. Then you can compute the other expressions by substitution, which are [itex]x(t(\tau)), y(t(\tau), z(t(\tau))[/itex]

Fortunately, this does not have to be done very often. Usually, one can specify the a^i directly, then find u^i and x^i, and then (if one is interested), convert them into coordinate form via taking [itex]x(t) = x(t(\tau))[/itex], etc.
 
To Trilairian

I know it is too late to ask you, still hope you will answer this!
why a^o is zero? du^0/dt not equal zero ~ where t is the popertime~
why v^o = c? v^0 actually is 1/{1-(v^2/c^2)}

yukyuk
 
  • #10
yukcream said:
To Trilairian

I know it is too late to ask you, still hope you will answer this!
why a^o is zero? du^0/dt not equal zero ~ where t is the popertime~
why v^o = c? v^0 actually is 1/{1-(v^2/c^2)}

yukyuk
You may want to have a look at http://www.rfjvanlinden171.freeler.nl/4vectors/index.html (of myself). It doesn't encompass acceleration 4-vectors but gives some general considerations regarding the physical interpretation of Minkowski 4-vector components that may answer your other questions.
 
Last edited by a moderator:
  • #11
To Mortimer:

Thanks for your article but I hope to read an article more related to 4 acceleration as I get in trouble in writing out the component form of 4- acceleration vector~

yukyuk
 
  • #12
yukcream said:
To Trilairian

I know it is too late to ask you, still hope you will answer this!
why a^o is zero? du^0/dt not equal zero ~ where t is the popertime~
why v^o = c? v^0 actually is 1/{1-(v^2/c^2)}

yukyuk

If I am understanding the notation correctly, I believe that a^0=0 and v^0=c corresponds to evaluating those 4-vectors in the instantaneous rest-frame of the object being accelerated. In that frame, v is a purely temporal 4-vector (i.e., the spatial velocity is zero, and so gamma is one), and a is a purely spatial 4-vector.
 
  • #13
yukcream said:
To Trilairian

I know it is too late to ask you, still hope you will answer this!
why a^o is zero? du^0/dt not equal zero ~ where t is the popertime~
why v^o = c? v^0 actually is 1/{1-(v^2/c^2)}

yukyuk
I am using Uppercase A and U for four-vector acceleration and four-vector velocity. I am using lower case [tex]a^{\mu }[/tex] and [tex]v^{\mu }[/tex] for coordinate acceleration and coordinate velocity and extending their definitions to include a fourth element in the instances where a greek index is used.
[tex]v^{\mu } = dx^{\mu }/dt[/tex]
[tex]a^{\mu } = dv^{\mu }/dt[/tex]
For the fourth element:
[tex]v^{0} = dx^{0}/dt[/tex]
[tex]v^{0} = dct/dt[/tex]
[tex]v^{0} = c[/tex]
[tex]a^{0} = dv^{0}/dt[/tex]
[tex]a^{0} = dc/dt[/tex]
[tex]a^{0} = 0[/tex]
 
  • #14
Trilairian said:
I am using Uppercase A and U for four-vector acceleration and four-vector velocity. I am using lower case [tex]a^{\mu }[/tex] and [tex]v^{\mu }[/tex] for coordinate acceleration and coordinate velocity and extending their definitions to include a fourth element in the instances where a greek index is used.
[tex]v^{\mu } = dx^{\mu }/dt[/tex]
[tex]a^{\mu } = dv^{\mu }/dt[/tex]
For the fourth element:
[tex]v^{0} = dx^{0}/dt[/tex]
[tex]v^{0} = dct/dt[/tex]
[tex]v^{0} = c[/tex]
[tex]a^{0} = dv^{0}/dt[/tex]
[tex]a^{0} = dc/dt[/tex]
[tex]a^{0} = 0[/tex]
As an example this is how you calculate the time element of the acceleration four-vector.
[tex]A^{\mu } = \gamma ^{2}(a^{\mu } + \gamma ^{2}v^{\mu }(\mathbf{v}\cdot \mathbf{a}/c^{2}))[/tex]
[tex]A^{0} = \gamma ^{2}(a^{0} + \gamma ^{2}v^{0}(\mathbf{v}\cdot \mathbf{a}/c^{2}))[/tex]
[tex]A^{0} = \gamma ^{2}(0 + \gamma ^{2}c(\mathbf{v}\cdot \mathbf{a}/c^{2}))[/tex]
[tex]A^{0} = \gamma ^{4}(\mathbf{v}\cdot \mathbf{a}/c)[/tex]
 
  • #15
what will be the result of [tex]\mathbf{v}\cdot\mathbd{a}[/tex]?
will it be zero as velcoity and acceleration are orthognal to each other!
 
  • #16
Last edited by a moderator:
  • #17
I have read an article it states that the time-component of 4 acceleration vector is zero, as in 4 velocity vector, [tex]v^{0}=v[/tex] so [tex]a^{0}=0[/tex]. But in fact it is not correct! It should be a non zero quality.
yukyuk
 
  • #18
yuk,

Because the four velocity is orthogonal to the four acceleration, the time component of the four acceleration will be zero in the rest frame of the particle (where the four velocity has only a time component). This is probably what the article meant, but who knows?
 
  • #19
yukcream said:
what will be the result of [tex]\mathbf{v}\cdot\mathbd{a}[/tex]?
will it be zero as velcoity and acceleration are orthognal to each other!
They aren't generally orthogonal. You are mixing them up with Four-vector acceleration [tex]A^{\mu }[/tex] and four-vector velocity [tex]U^{\mu }[/tex]. These are not the same things as coordinate acceleration [tex]a^{i }[/tex] and coordinate velocity [tex]v^{i }[/tex]. You need to look more carefully at the notation that I am using. I clearly defined things and the way I did so caps makes a difference.
 
Last edited:
  • #20
yukcream said:
I have read an article it states that the time-component of 4 acceleration vector is zero,
No you didn't. It said the time component of the coordinate acceleration is zero, not of the four-vector acceleration.
as in 4 velocity vector, [tex]v^{0}=v[/tex]
1st [tex]v^{\mu }[/tex] was not the four-vector velocity, [tex]U^{\mu }[/tex] was.
2nd that isn't what was said. What was said wat the time component of the coordinate velocity was c. [tex]v^{0} = c[/tex]
...[tex]a^{0}=0[/tex]. But in fact it is not correct! It should be a non zero quality.
yukyuk
No, that is correct. You're confusing it with [tex]A^{0}[/tex]. I clearly defined my notation. Feel free to reread it.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 53 ·
2
Replies
53
Views
4K
Replies
31
Views
4K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 28 ·
Replies
28
Views
3K