Massive objects moving too fast

  • Thread starter Coughlan
  • Start date
In summary: Use the Minkowski metric. For gravity, it is the same as the Euclidean metric.Express all vectors as four-vectors.Express all scalar quantities as four-scalars.Express all partial derivatives as four-gradient (or four-divergence or four-laplacian).Express all coordinate transformations as Lorentz transformations.Express all quantities with zero components as scalars, and all quantities with one component as four-vectors, and all quantities with two components as four-tensors.Write the classical Lagrangian (or Hamiltonian) as a four-scalar.Write the classical action as a four-integral.Apply the principle of least action to derive the classical equations of motion.Quantize the equations of motion in
  • #36
radar?

1effect said:
So, how do you measure "the velocity, V, of the system as a whole." ?

Erm … well, if it's a rocket, for example, you could use radar … :smile:

Am I missing something? :confused:
 
Physics news on Phys.org
  • #37
tiny-tim said:
Erm … well, if it's a rocket, for example, you could use radar … :smile:

Am I missing something? :confused:

Yes, you are missing quite a bit, it is a system of particles each one having its own speed [tex]v_i[/tex]. So, how do you measure [tex]V[/tex]?
 
  • #38
M²=E²-P² is the square norm of a four vector, a scalar. Scalars are invariant.
[tex](\Sigma E)^2 -( \Sigma P)^2[/tex] is the square norm of a sum of four vectors.
Sums of four vectors are four vectors, therefore the square norm is also invariant.
Invariant mass has two important properties:
1. It is not additive - m!=m1+m2 in general
2. It is, well, invariant.
 
  • #39
Ich said:
M²=E²-P² is the square norm of a four vector, a scalar. Scalars are invariant.
[tex](\Sigma E)^2 -( \Sigma P)^2[/tex] is the square norm of a sum of four vectors.
Sums of four vectors are four vectors, therefore the square norm is also invariant.

I know that the energy-momentum four vector is frame - invariant. I am not clear how you are getting that the sum of four vectors is also frame invariant. How do you get rid of the terms dependent of velocities?
 
  • #40
You just measure it!

1effect said:
it is a system of particles each one having its own velocity [tex]\vec{v}_i[/tex]. So, how do you measure [tex]\vec{V}[/tex]?

You just measure it!

For example, if the system is the system of particles that make up a rocket, or that make up a box full of hot gas, then you just measure the velocity [tex]\vec{V}[/tex] of the outside of the rocket, or of the box! :smile:

How would you measure the velocity [tex]\vec{V}[/tex] of a box containing hot gas? :confused:

(Measure the velocities of all the individual molecules, and then take an average, perhaps?)

(The relevance is that you may have two identical boxes of gas, one hot and one cold, and want to know what the "inertial mass", ie resistance to acceleration, of each is at various velocities [tex]\vec{V}[/tex].)
 
  • #41
tiny-tim said:
You just measure it!

For example, if the system is the system of particles that make up a rocket, or that make up a box full of hot gas, then you just measure the velocity [tex]\vec{V}[/tex] of the outside of the rocket, or of the box! :smile:

How would you measure the velocity [tex]\vec{V}[/tex] of a box containing hot gas? :confused:

(Measure the velocities of all the individual molecules, and then take an average, perhaps?)

(The relevance is that you may have two identical boxes of gas, one hot and one cold, and want to know what the "inertial mass", ie resistance to acceleration, of each is at various velocities [tex]\vec{V}[/tex].)

One more time, this is a system of particles of random velocities [tex]v_i[/tex], there is no "box".
 
  • #42
Flies are random … but flywheels aren't!

1effect said:
One more time, this is a system of particles of random velocities [tex]v_i[/tex], there is no "box".

1effect, when you joined this thread at post #29, you were commenting on Dr Greg's post, in which he commented on a rotating flywheel:

DrGreg said:
Yes, it has increased invariant mass. A rotating flywheel has more invariant mass than an identical non-rotating wheel (one reason why "rest mass" isn't such a good name).

For the benefit of anyone who doesn't know why, the invariant mass mtot of a collection of particles can be defined by

[tex](\Sigma E)^2 = m_{tot}^2 c^4 + ||\Sigma \textbf{p}||^2 c^2 [/tex].

which reduces to

[tex]\Sigma E = m_{tot} c^2 [/tex]

in the box's frame, where the total momentum is zero. For each individual particle of invariant mass m,

[tex]E^2 = m^2 c^4 + ||\textbf{p}||^2 c^2[/tex], so [tex]E > m c^2[/tex], and [tex]m_{tot} > \Sigma m[/tex].

You then disagreed on his calculations (I'm staying neutral on that!), and gave your own calculations.

But Dr Greg and I (and presumably you too) were talking about a highly organised system of particles - a rotating flywheel - not a system of particles of random velocities.

In my terminology, the individual bits of the rotating flywheel have different velocities [tex]\vec{v}_i[/tex], and the flywheel as a whole has velocity [tex]\vec{V}[/tex]. :smile:

Do you agree?
 
  • #43
tiny-tim said:
1effect, when you joined this thread at post #29, you were commenting on Dr Greg's post, in which he commented on a rotating flywheel:



You then disagreed on his calculations (I'm staying neutral on that!), and gave your own calculations.

But Dr Greg and I (and presumably you too) were talking about a highly organised system of particles - a rotating flywheel - not a system of particles of random velocities.

In my terminology, the individual bits of the rotating flywheel have different velocities [tex]\vec{v}_i[/tex], and the flywheel as a whole has velocity [tex]\vec{V}[/tex]. :smile:

Do you agree?

For the third time, I am talking about a system of particles with a random distribution of velocities [tex]v_i[/tex] and with NO "box".
 
  • #44
Sorry, I haven't been able to respond for several days.

First, the argument I gave in post #17, although it was in response to tiny-tim's example in post #11 of a rotating wheel, works perfectly well for any system of particles with arbitrary velocities. I made no assumption about a "rigid body". So my argument also shows that a hot object has more invariant mass than an "identical" cold object (the thermal energy being, of course, kinetic energy of constituent molecules).

The equations I used are the same equations (rearranged and in different notation) as appear in the Wikipedia article Invariant mass.

What I did do was choose a frame in which the total momentum [tex]\textbf{P} = \Sigma \textbf{p} [/tex] is zero. (As invariant mass is invariant, I can choose to calculate via any frame I wish.) This frame is called the centre of momentum frame (a.k.a. centre of mass frame) (I'm British, that's how we spell "centre").

1effect has asked, how do you measure the overall velocity of a system of particles? The answer is, it is the velocity of the centre of momentum frame (relative to the observer asking the question).

For those readers who understand 4-vectors, all the above can be expressed in terms of 4-momentum [tex]\left( E/c, \textbf{p} \right) [/tex]. It can be shown this is indeed a 4-vector (you use the Lorentz transform to change inertial frames), and it's additive (by the laws of conservation of energy and momemtum). Invariant mass is just the norm ("length") of this 4-vector, which is automatically an invariant (frame-independent) quantity. To find the centre of momentum frame, calculate the total 4-momentum (the sum of the individual particle 4-momenta), which will be a timelike 4-vector, and choose a coordinate system in which this vector is straight up the "t" axis.

In post #31, 1effect claimed that the formula (with c = 1)

[tex]M^2 = m_1^2 + m_2^2 + 2\left(E_1 E_2 - \textbf{p}_1 \cdot \textbf{p}_2 \right) [/tex]

for the invariant mass of a two-particle system was "not invariant" due to the presence of the "variant" term [tex]\textbf{p}_1 \cdot \textbf{p}_2[/tex]. However the term [tex]E_1 E_2[/tex] isn't invariant either and the "variants" cancel out. In fact the expression [tex]E_1 E_2 - \textbf{p}_1 \cdot \textbf{p}_2 [/tex] is (when c = 1) the "inner product" of two 4-momentum vectors and is therefore invariant.
 
  • #45
DrGreg said:
In post #31, 1effect claimed that the formula (with c = 1)

[tex]M^2 = m_1^2 + m_2^2 + 2\left(E_1 E_2 - \textbf{p}_1 \cdot \textbf{p}_2 \right) [/tex]

for the invariant mass of a two-particle system was "not invariant" due to the presence of the "variant" term [tex]\textbf{p}_1 \cdot \textbf{p}_2[/tex]. However the term [tex]E_1 E_2[/tex] isn't invariant either and the "variants" cancel out. In fact the expression [tex]E_1 E_2 - \textbf{p}_1 \cdot \textbf{p}_2 [/tex] is (when c = 1) the "inner product" of two 4-momentum vectors and is therefore invariant.

True, [tex]E_1 E_2 [/tex] is also frame-variant, so how do you prove that [tex]E_1 E_2 - \textbf{p}_1 \cdot \textbf{p}_2 [/tex] is invariant? I am getting

[tex]E_1 E_2 - \textbf{p}_1 \cdot \textbf{p}_2=\gamma_1 \gamma_2 m_1 m_2( c^2-\vec{v_1} \vec{v_2})[/tex]. This is still not an invariant.

Another question, if [tex]E_1 E_2 - \textbf{p}_1 \cdot \textbf{p}_2 [/tex] is indeed invariant, why do you use [tex]||\vec{p}||[/tex] instead of [tex]\vec{p}[/tex] in your formulas?

As always, thank you for your help.

I got a different approach. Given a system of particles of masses [tex]m_i[/tex] and distribution of velocities [tex]\vec{v_i}[/tex] you can always find a mass [tex]M[/tex] and a velocity [tex]\vec{V}[/tex] such that:

[tex]E=c^2 \Sigma (\gamma_i m_i)=c^2 \gamma(V) M[/tex]

and

[tex]\vec{P}=\Sigma \gamma_i m_i \vec{v_i}=\gamma(V) M \vec{V}[/tex]

So:

[tex]\vec{V}=\frac {\Sigma \gamma_i m_i \vec{v_i}}{\Sigma \gamma_i m_i}[/tex]

and

[tex]M=\frac{\Sigma \gamma_i m_i}{\gamma(V)}[/tex]

[tex]M[/tex] is clearly not an invariant, so though [tex]E^2-c^2 \vec{p} \vec{p}=M^2c^4[/tex] doesn't mean anything, since [tex]M[/tex] is not an invariant.
I think that it can be shown that [tex]M>\Sigma m_i[/tex] ...but I don't know if it has any value...
 
Last edited:
  • #46
1effect said:
Given a system of particles of masses [tex]m_i[/tex] and distribution of velocities [tex]\vec{v_i}[/tex] you can always find a mass [tex]M[/tex] and a velocity [tex]\vec{V}[/tex] such that:

[tex]E=c^2 \Sigma (\gamma_i m_i)=c^2 \gamma(V) M[/tex]
and
[tex]\vec{P}=\Sigma \gamma_i m_i \vec{v_i}=\gamma(V) M \vec{V}[/tex]

Isn't that just the good ol' centre of mass and its velocity? :smile:

So:

[tex]\vec{V}=\frac {\Sigma \gamma_i m_i \vec{v_i}}{\Sigma \gamma_i m_i}[/tex]

and

[tex]M=\frac{\Sigma \gamma_i m_i}{\gamma(V)}[/tex].

I think these are the same as my [tex]E_{tot}[/tex] and [tex]P_{tot}[/tex] for [tex]\vec{V}[/tex] = 0 (careful!: my [tex]\vec{V}[/tex] is completely different from your [tex]\vec{V}[/tex])

tiny-tim said:
If you work it out (I can't be bothered right now :zzz:), it's:

[tex]E_{tot}\,=\,\frac{M}{\sqrt{1\,-\,V^2/c^2}}\qquad,\qquad P_{tot}\,=\,\frac{M\,\vec{V}}{\sqrt{1\,-\,V^2/c^2}}\qquad,[/tex]​
where M is a constant (= [tex]E_{tot}[/tex] for [tex]\vec{V} = \vec{0}[/tex]). :smile:
 
  • #47
tiny-tim said:
Isn't that just the good ol' centre of mass and its velocity?

While your formulas are identical to the ones I derived, looking at the wiki definition , the answer is "no", the formulas do not appear to have anything with the "center of mass" (see also my post to DrGreg). I did not use any of the assumptions about center of mass in my derivation.
I think these are the same as my [tex]E_{tot}[/tex] and [tex]P_{tot}[/tex] for [tex]\vec{V}[/tex] = 0 (careful!: my [tex]\vec{V}[/tex] is completely different from your [tex]\vec{V}[/tex])

You can't make [tex]\vec{V}[/tex] what you like it to be, [tex]\vec{V}[/tex] has its own formula, see my post.
As an aside, you cannot claim that "M is constant because it is equal to [tex]E_{tot}[/tex] at [tex]\vec{V}=0[/tex]" since [tex]E_{tot}[/tex] is a frame-variant quantity.
 
Last edited:
  • #48
DrGreg said:
What I did do was choose a frame in which the total momentum [tex]\textbf{P} = \Sigma \textbf{p} [/tex] is zero. (As invariant mass is invariant, I can choose to calculate via any frame I wish.) This frame is called the centre of momentum frame

The derivation is done for classical mechanics, it is not clear (at least to me) how does this translate for relativity. The equations should contain the terms in [tex]\gamma(v_i)[/tex] . I am not seeing that.

I am guessing that the relativistic formulation would be the stuff that I got earlier:

[tex]\vec{V}=\frac {\Sigma \gamma_i m_i \vec{v_i}}{\Sigma \gamma_i m_i}[/tex]

What do you think?
 
Last edited:
  • #49
1effect said:
You can't make [tex]\vec{V}[/tex] what you like it to be, [tex]\vec{V}[/tex] has its own formula, see my post.

Oi! You don't have the copyright on [tex]\vec{V}[/tex] (erm … you don't do you? …)

You and I can each use the letter [tex]\vec{V}[/tex] to mean whatever we like! :smile:

As an aside, you cannot claim that "M is constant because it is equal to [tex]E_{tot}[/tex] at [tex]\vec{V}=0[/tex]"

I didn't! You've mis-copied that! :frown:
 
  • #50
tiny-tim said:
Oi! You don't have the copyright on [tex]\vec{V}[/tex] (erm … you don't do you? …)

You and I can each use the letter [tex]\vec{V}[/tex] to mean whatever we like!

I don't think you understood:

[tex]\vec{V}=\frac {\Sigma \gamma_i m_i \vec{v_i}}{\Sigma \gamma_i m_i}[/tex]
I didn't! You've mis-copied that!

I cut and paste from your post #46 (see bottom)
 
  • #51
1effect said:
I don't think you understood:

I understood fine - your [tex]\vec{V}[/tex] means one thing, and my [tex]\vec{V}[/tex] means another - they're not supposed to be the same. I pointed that out!

I cut and paste from your post #46 (see bottom)

No, you didn't! If you had, you'd have got:

tiny-tim said:
where M is a constant (= [tex]E_{tot}[/tex] for [tex]\vec{V} = \vec{0}[/tex]). :smile:
 
  • #52
1effect said:
True, [tex]E_1 E_2 [/tex] is also frame-variant, so how do you prove that [tex]E_1 E_2 - \textbf{p}_1 \cdot \textbf{p}_2 [/tex] is invariant?
Well, first of all, do you accept that the 4-momentum [tex]\left( E/c, \textbf{p} \right) [/tex] is a genuine 4-vector, i.e. it obeys the Lorentz transform, e.g. simplified to one dimension of space

[tex] E' = \gamma_u \left(E - u p \right) [/tex] ...(1)
[tex] p' = \gamma_u \left(p - \frac{u E}{c^2} \right) [/tex]...(2) ?

If you don't know why 4-momentum is a 4-vector, it can also be defined as

[tex]\left(mc \frac{dt}{d\tau}, m \frac{d\textbf{x}}{d\tau} \right) [/tex]

where m is invariant mass and [tex]\tau[/tex] is the proper time of the particle being measured (also an invariant).

(Note that [tex]\frac{dt}{d\tau} = \gamma_v[/tex], and [tex]\frac{d\textbf{x}}{d\tau} = \frac{d\textbf{x}}{dt} \frac{dt}{d\tau} = \gamma_v \textbf{v} [/tex].)

So just apply the operator [tex]m \frac{d}{d\tau} [/tex] to the standard time-space Lorentz transform to get the energy-momentum Lorentz transform (1) and (2).

Now just substitute (1) and (2) into [tex]E_1' E_2' - p_1' p_2' c^4 [/tex] and see what you get.


Your "different approach" to finding the energy & momentum ought to work too, and, yes, it is "just the good ol' centre of mass and its velocity" as tiny-tim says (but expressed in a different way to the Wikipedia "Invariant mass" article -- as is often the case, there's more than one way to define a concept). I haven't done the calculation myself but I feel confident both are equivalent.

And the reason I used [tex]||\textbf{p}||[/tex] instead of [tex]\textbf{p}[/tex] in the relevant formula is because that's how you calculate the norm of a 4-vector -- it's the metric "ds" but applied to the 4-momentum instead of to (cdt, dx). The Wikipedia "Invariant mass" article was a bit lax about including ||.|| norm symbols but I've corrected that now.


The Wikipedia article on "Center of mass frame" only calculates the Newtonian version. However the description in words in the first two paragraphs is still valid in the relativistic case.
 
  • #53
DrGreg said:
Well, first of all, do you accept that the 4-momentum [tex]\left( E/c, \textbf{p} \right) [/tex] is a genuine 4-vector, i.e. it obeys the Lorentz transform, e.g. simplified to one dimension of space

[tex] E' = \gamma_u \left(E - u p \right) [/tex] ...(1)

Yes, I am very familiar with this transform

[tex] p' = \gamma_u \left(p - \frac{u E}{c^2} \right) [/tex]...(2) ?

This is the transform for the norm of the momentum, the expression that you need to calculate involves vectors, as in [tex]E_1E_2 -c^2 \vec{p_1} \vec{p_2}[/tex]
So, you cannot use eq (2). The transform for vectors is much more complicated.
This was the point of all the previous posts.
Unless , you decide to calculate the much easier quantity:
[tex]E_1E_2 -c^2 ||\vec{p_1}|| ||\vec{p_2}||[/tex] but this is not the dot product of the vectors. As you can see even from this example what needs to be computd is the dot product, not the product of the norms. When you do that you get stuck with the term in [tex]\vec{v_1} \vec{v_2}[/tex]



Your "different approach" to finding the energy & momentum ought to work too, and, yes, it is "just the good ol' centre of mass and its velocity" as tiny-tim says (but expressed in a different way to the Wikipedia "Invariant mass" article -- as is often the case, there's more than one way to define a concept). I haven't done the calculation myself but I feel confident both are equivalent.

The wiki page deals with classical mechanics only, I think that the correct formula for relativity is the one I calculated earlier.

And the reason I used [tex]||\textbf{p}||[/tex] instead of [tex]\textbf{p}[/tex] in the relevant formula is because that's how you calculate the norm of a 4-vector -- it's the metric "ds" but applied to the 4-momentum instead of to (cdt, dx). The Wikipedia "Invariant mass" article was a bit lax about including ||.|| norm symbols but I've corrected that now.

The wiki page is very sloppy. Thank you for correcting it.

The Wikipedia article on "Center of mass frame" only calculates the Newtonian version. However the description in words in the first two paragraphs is still valid in the relativistic case.

Again, the wiki page deals with classical mechanics only, I think that the correct formula for relativity is the one I calculated earlier.
 
Last edited:
  • #54
I'm jumpin up for a last time, there is too much delay.
1effect said:
I know that the energy-momentum four vector is frame - invariant. I am not clear how you are getting that the sum of four vectors is also frame invariant.
Because
Ich said:
Sums of four vectors are four vectors
What is not clear about that?
 
  • #55
Ich said:
I'm jumpin up for a last time, there is too much delay.

Because

What is not clear about that?

Because it is not sufficient for the sum of the two four-vectors to be a four vector. When you do the math you realize the problem. Look at my exchange with DrGreg.
 
  • #56
Because it is not sufficient for the sum of the two four-vectors to be a four vector.
Of course it is sufficient, because all four vectors have invariant norm. That's pretty much the definition of a four vector.
 
  • #57
Ich said:
Of course it is sufficient, because all four vectors have invariant norm. That's pretty much the definition of a four vector.

If you looked at the computations, thugh the norm of the energy-momentum 4-vector is invariant, it appears that the property does not transfer to the sum of energy-momentum 4-vectors
 
  • #58
I'm afraid I've lost track of this thread, which seems to have wandered around a lot. I will make a few remarks in the hope that people will listen.

The energy-momentum of a point particle (which has zero volume) or a closed system, can be described by a 4-vector.

The energy-momentum of a non-closed system with a non-zero volume is not, however, in general a 4-vector.

See for instance http://arxiv.org/abs/physics/0505004 which mentions this point, though it is primarly concerned with thermodynamics.

The energy-momentum of an object with finite volume is not a covariant physical entity because of the relativity of simultaneity

Another important point:

While the total-energy momentum of a general system is not necessarily a 4-vector, the distribution of energy-momentum can in general be covariantly described by a rank 2 tensor, the stress-energy tensor, however.
 

Similar threads

Back
Top