Solving the Spaceship Paradox: A New Explanation

In summary: C). I found##\Theta_{1,2}=\frac{d\beta_1}{dt}-\frac{d\beta_2}{dt}=\gamma^2 B\,\left( \frac{dB}{d\,t}\right)##.I suggest that there are three cases here, corresponding to ##\Theta_{1,2}##\Theta_{1,2}=0##, which is the case where there is no separation. This ties in with a number of other calculations.I rest my case.I don't think you rested your case. In fact I
  • #71
WannabeNewton said:
The spaceships indeed attribute the breaking of the string to the continuously increasing separation they undergo in their instantaneous rest frames and the resulting stretching of the proper length of the string in their instantaneous rest frames. This comes directly from the physical interpretation of ##\nabla_{\mu}u^{\mu}##. The inertial observer on the other hand attributes the string breaking to the continuous contraction of the equilibrium length of the string in conjunction with the constant length of the string in the inertial frame. You can use instantaneous Lorentz transformations to go from one explanation to the other.



You need to apply forces in directions non-parallel to the string in order for its shape to change. This is what the shear tensor codifies. The expansion scalar on the other hand represents radial forces parallel to the string so you cannot change the shape of the string, you can only change its length. The existence of a preferred direction doesn't really change anything. Take for example a rotating spherical shell. The velocity field of the shell has a non-zero vorticity whose axis of circulation defines a preferred direction. Imagine also that there is a gas inside the shell which on average provides an outwards isotropic (radial) force to the inner surface of the shell. The rotation is unaffected since there is no torque and the shell will have a non-vanishing expansion scalar driving it to increase in volume whilst retaining its spherical shape so the existence of a preferred direction doesn't change anything.

Thanks. I'm looking at "The expansion scalar on the other hand represents radial forces parallel to the string so you cannot change the shape of the string, you can only change its length. "

Does this mean we cannot interpret the ##\theta_{ab}## as a deformation tensor because it predicts expansion in every direction around a point on the congruence ?

Since I wrote the above, I have found that Malament analyses this in great detail before equation 2.8.15 where he gets the directional change of volume. I'll get into this over the weekend.
 
Last edited:
Physics news on Phys.org
  • #72
Mentz114 said:
I'm still trying to understand your earlier post.

If it helps, think of what I was doing in that post as follows: I was taking the expansion scalar ##\theta## (and its proper rate of change ##\dot{\theta}## as well, though as you say that's not actually needed for the argument) as known, and figuring out what, if any, quantities in the original inertial frame correspond to them. As it turns out, ##\theta = v## in that frame, i.e., the numerical value of the expansion scalar (which is an invariant, it is the same at a given event in every frame) is the same as the numerical value of the velocity of the spaceships in that frame.

Mentz114 said:

Thanks for the links, I hadn't seen these before but they look interesting.

Mentz114 said:
However, ##\dot{\theta}## is not vital to my argument.

Ok, good. I wanted to calculate ##\dot{\theta}## as well as ##\theta## in any case, to make sure I had a complete picture of what was happening; I expected ##\dot{\theta} > 0## on physical grounds, but I wanted to confirm it.
 
  • #73
Mentz114 said:
Does this mean we cannot interpret the ##\theta_{ab}## as a deformation tensor because it predicts expansion in every direction around a point on the congruence ?

##\theta_{ab}## contains both ##\theta## and ##\sigma_{ab}## so it generates both isotropic (radial) volume change, which is what ##\theta## codifies, and shape deformation, which is what ##\sigma_{ab}## codifies.

In fact using an instantaneously comoving local inertial frame of an infinitesimal volume element ##\mathcal{V}## being carried i.e. Lie transported by the flow generated by ##u^{\mu}## it's easy to show that ##\theta = \nabla_{\mu}u^{\mu} = \frac{1}{\mathcal{V}}u^{\mu}\nabla_{\mu}\mathcal{V}##. The effect(s) of ##\sigma_{ab}## can be determined by diagonalizing it through its eigenbasis (spectral theorem) and looking at how the eigenvalues affect an initially spherical ball Lie transported by the flow generated by ##u^{\mu}##. Clearly the eigenbasis will constitute the principal axes of the deformation and the eigenvalues will determine the rate of deformation-in the absence of expansion the spherical ball will be deformed into an ellipsoid with major and minor axes determined by the deformation rate of the principal axes (the eigenbasis).
 
  • #74
To expand on (pun intended :wink:) my previous computation of the expansion, I found an archived version of the Wikipedia page on the spaceship paradox, in which there is a computation (by Chris Hillman, I believe) of the full frame field and the expansion tensor:

http://en.wikipedia.org/w/index.php?title=Bell's_spaceship_paradox&oldid=57888610

His result for ##\theta## is basically the same as mine, but his result is not normalized (i.e., he allows arbitrary proper acceleration instead of normalizing it to ##1##), so it actually shows something that my results didn't show; if we de-normalize so that the proper acceleration is ##a##, then in the original inertial frame, we have ##\theta = a v## (instead of ##\theta = v##). He does not compute ##\dot{\theta}##, but it's straightforward to show that ##\dot{\theta} = a^2 / \gamma^2##.

These results are important because they show the correct units for the expansion: ##\theta## has units of acceleration, and ##\dot{\theta}## has units of acceleration squared (assuming "natural" units where ##c = 1##, so velocity is dimensionless). That may help with physical interpretation.

One other thing from Hillman's computation is notable: the expansion tensor ##\theta_{ab}## has only one nonzero component [STRIKE]in the original inertial coordinate chart (which is the chart Hillman uses)[/STRIKE] [Edit: he gives the expansion tensor in the frame comoving with a particular ship], ##\theta_{xx} = \theta## (i.e., this component is the same as the trace, the expansion scalar). In other words, the expansion is only in the ##x## direction (the direction of motion of the ships), not in the other two directions. This means that, contrary to what I said (I think) in an earlier post in this thread, the shear of this congruence is *not* zero. [Edit: I had originally tried to compute the shear, but that was assuming that the expansion components were in the original inertial coordinate chart, which they aren't, see above.]
 
Last edited:
  • #75
PeterDonis said:
This means that, contrary to what I said (I think) in an earlier post in this thread, the shear of this congruence is *not* zero.

To follow on from this, here is a quick computation of the shear in the frame momentarily comoving with a particular ship. We have ##\theta_{\hat{x} \hat{x}} = \theta## and all other components zero (note that in this frame we can treat all of these tensors as spatial 3-tensors). In the comoving frame, the projection tensor ##h_{\hat{a} \hat{b}}## is just the spatial identity tensor, diag(1, 1, 1). Then we have ##\sigma_{\hat{a} \hat{b}} = \theta_{\hat{a} \hat{b}} - \frac{1}{3} \theta h_{\hat{a} \hat{b}}##, which gives:

$$
\sigma_{\hat{x} \hat{x}} = \theta - \frac{1}{3} \theta = \frac{2}{3} \theta
$$

$$
\sigma_{\hat{y} \hat{y}} = \sigma_{\hat{z} \hat{z}} = - \frac{1}{3} \theta
$$

Note the similarity to, for example, the tidal tensor surrounding a spherically symmetric body.
 
  • #76
Mentz114 said:
Does this mean we cannot interpret the ##\theta_{ab}## as a deformation tensor because it predicts expansion in every direction around a point on the congruence?

Remember that the tensor ##\theta_{ab}## contains both expansion and shear; it can be decomposed as ##\theta_{ab} = \sigma_{ab} + \frac{1}{3} \theta h_{ab}##, where the projection tensor ##h_{ab}## can be thought of as the spatial metric of the spacelike hypersurface that is orthogonal to the spaceship's worldline (at the event at which we are evaluating all these tensors). Since the shear is nonzero (see my previous posts), the tensor ##\theta_{ab}## is describing both volume expansion and deformation; essentially, the combination of expansion and shear in this case results in stretching the string in the direction of motion of the ships, with no change in its size in the other two directions, which changes both its volume and its shape.
 
  • #77
PeterDonis said:
To follow on from this, here is a quick computation of the shear in the frame momentarily comoving with a particular ship.

And following on from *that*, a corrected computation of the Raychaudhuri equation, which fixes the issue I had noted before, about why my original computation did not match the obvious check of computing ##d \theta / d \tau##. Since the shear is nonzero, there is an extra term in the equation that I left out before. The correct equation is:

$$
\dot{\theta} = - \frac{1}{3} \theta^2 - 2 \sigma^2 + \partial_a a^a
$$

We have ##\theta = a v## (I'll de-normalize as I did in the last couple of posts) and ##2 \sigma^2 = \sigma_{ab} \sigma^{ab} = \theta^2 \left( \frac{4}{9} + \frac{1}{9} + \frac{1}{9} \right) = \frac{2}{3} \theta^2## (note that since this is a scalar invariant, we can compute it in any frame we wish as long as we express the result in terms of scalar invariants--which ##\theta## is--so I've done it in the comoving frame to make it simple). Plugging in gives

$$
\dot{\theta} = - \theta^2 + \partial_a a^a = a^2 \left( 1 - v^2 \right) = \frac{a^2}{\gamma^2}
$$

which now matches what I got from the check computation when de-normalized (and explains why the factor of ##1/3## is there in the ##\theta^2## term). Sweet. :smile:
 
  • #78
Thanks for the replies. I have not had time to absorb them entirely. What I did do yesterday was to calculate the directional derivative ##\xi^b\partial_b V = V\theta## (Malament 2.8.15). The volume function ##V## turns out to be ##1/\sqrt{-g}## which is 1 in our case, and obviously frame independent.

Peter, your post #75 is interesting because I got zero shear and did not look further. There's a lot of stuff here I struggling with. WBN's post#73 is a bit mind blowing.
 
Last edited:
  • #79
PeterDonis said:
To expand on (pun intended :wink:) my previous computation of the expansion, I found an archived version of the Wikipedia page on the spaceship paradox, in which there is a computation (by Chris Hillman, I believe) of the full frame field and the expansion tensor:

http://en.wikipedia.org/w/index.php?title=Bell's_spaceship_paradox&oldid=57888610

His result for ##\theta## is basically the same as mine, but his result is not normalized (i.e., he allows arbitrary proper acceleration instead of normalizing it to ##1##), so it actually shows something that my results didn't show; if we de-normalize so that the proper acceleration is ##a##, then in the original inertial frame, we have ##\theta = a v## (instead of ##\theta = v##). He does not compute ##\dot{\theta}##, but it's straightforward to show that ##\dot{\theta} = a^2 / \gamma^2##.

These results are important because they show the correct units for the expansion: ##\theta## has units of acceleration, and ##\dot{\theta}## has units of acceleration squared (assuming "natural" units where ##c = 1##, so velocity is dimensionless). That may help with physical interpretation.

One other thing from Hillman's computation is notable: the expansion tensor ##\theta_{ab}## has only one nonzero component [STRIKE]in the original inertial coordinate chart (which is the chart Hillman uses)[/STRIKE] [Edit: he gives the expansion tensor in the frame comoving with a particular ship], ##\theta_{xx} = \theta## (i.e., this component is the same as the trace, the expansion scalar). In other words, the expansion is only in the ##x## direction (the direction of motion of the ships), not in the other two directions. This means that, contrary to what I said (I think) in an earlier post in this thread, the shear of this congruence is *not* zero. [Edit: I had originally tried to compute the shear, but that was assuming that the expansion components were in the original inertial coordinate chart, which they aren't, see above.]

Using the frame field in the Wiki archive above I have agreement with your calculations that follow the post above. What I did was to use the congruence ##\vec{u}=\vec{e}_0## to get the shear tensor ##\sigma_{\mu\nu}= \nabla_{(\nu}u_{\mu)}+ \dot{u}_{(\mu}u_{\nu)}-\theta h_{\mu\nu}/3## in the global inertial frame. This gives ##\sigma^{\mu\nu}\sigma_{\mu\nu}=3\theta^2/2##. Now using the tertrad and inverse tetrad to transform ##\sigma_{\mu\nu}## to the local frame, the components of ##\sigma_{\hat{\mu}\hat{\nu}}## are the same as those you quote for the comoving inertial frame, viz

##\sigma_{\hat{x}\hat{x}}=2\theta/3,\ \ \sigma_{\hat{y}\hat{y}}=\sigma_{\hat{z}\hat{z}}=-\theta/3## and of course ##\sigma^{\hat{\mu}\hat{\nu}}\sigma_{\hat{\mu}\hat{\nu}}=3\theta^2/2##.

I've had a misunderstanding about the shear tensor which is sorted thanks to the example you gave.

What remains is whether ##\sigma_{\mu\nu}## has any physical significance. Can this be interpreted as the local shear tensor as 'seen' from the inertial frame ? There are problems with this because the trace is not zero, whether using all components or the projection into 3-space.
 
Last edited:
  • #80
Mentz114 said:
What remains is whether ##\sigma_{\mu\nu}## has any physical significance.

##\sigma_{\mu\nu}## really only has a direct, subtlety-free, simple physical interpretation in the instantaneously comoving (local) inertial frames of observers following orbits of the 4-velocity field ##u^{\mu}## that ##\sigma_{\mu\nu}## is expressed in terms of. In such a case, we can interpret ##\sigma_{\mu\nu}## physically as follows. First, for simplicity, assume ##\nabla_{\mu}u^{\mu} = 0## and ##\nabla_{[\mu}u_{\nu]} = 0## so that we only have to deal with physical effects of ##\sigma_{\mu\nu}##; also, let's take ##u^{\mu}## to be geodesic so that ##\sigma_{\mu\nu} = \nabla_{(\mu}u_{\nu)}##

Consider now an observer following an orbit of ##u^{\mu}## and an instantaneously comoving (local) inertial frame of this observer. In this frame we have ##\Gamma^{\mu}_{\nu\gamma}= 0## at this instant and ##u^{\mu} = \delta^{\mu}_0## at this instant. Then since ##u^{\mu}\sigma_{\mu\nu} = u^{\nu}\sigma_{\mu\nu} = 0## only ##\sigma_{ij} = \partial_i u^j + \partial_j u^i## are non-vanishing. This is, up to some ##\gamma## factors, just the Newtonian expression for shear and hence carries the same interpretation: http://en.wikipedia.org/wiki/Deformation_(mechanics)
 
  • #81
Mentz114 said:
the trace is not zero, whether using all components or the projection into 3-space.

No, the trace is zero. The trace is ##\sigma^{\mu}{}_{\mu}##, not ##\sigma^{\mu \nu} \sigma_{\mu \nu}##. The shear tensor is always trace-free. In the comoving frame, ##\sigma^{\mu}{}_{\mu} = \sigma^{\hat{x}}{}_{\hat{x}} + \sigma^{\hat{y}}{}_{\hat{y}} + \sigma^{\hat{z}}{}_{\hat{z}} = \theta \left( \frac{2}{3} - \frac{1}{3} - \frac{1}{3} \right) = 0##.
 
  • #82
PeterDonis said:
No, the trace is zero. The trace is ##\sigma^{\mu}{}_{\mu}##, not ##\sigma^{\mu \nu} \sigma_{\mu \nu}##. The shear tensor is always trace-free. In the comoving frame, ##\sigma^{\mu}{}_{\mu} = \sigma^{\hat{x}}{}_{\hat{x}} + \sigma^{\hat{y}}{}_{\hat{y}} + \sigma^{\hat{z}}{}_{\hat{z}} = \theta \left( \frac{2}{3} - \frac{1}{3} - \frac{1}{3} \right) = 0##.

I don't understand why you wrote this. First of all - I know what a trace is ! Where do I call ##\sigma^{\mu \nu} \sigma_{\mu \nu}## the trace ? Please re-read my post.

I was trying to say that the trace-less shear tensor in the local basis, when transformed to the inertial coordinates is no longer traceless. Therefore undermining any claim that it is still a shear tensor.
 
  • #83
WannabeNewton said:
##\sigma_{\mu\nu}## really only has a direct, subtlety-free, simple physical interpretation in the instantaneously comoving (local) inertial frames of observers following orbits of the 4-velocity field ##u^{\mu}## that ##\sigma_{\mu\nu}## is expressed in terms of. In such a case, we can interpret ##\sigma_{\mu\nu}## physically as follows. First, for simplicity, assume ##\nabla_{\mu}u^{\mu} = 0## and ##\nabla_{[\mu}u_{\nu]} = 0## so that we only have to deal with physical effects of ##\sigma_{\mu\nu}##; also, let's take ##u^{\mu}## to be geodesic so that ##\sigma_{\mu\nu} = \nabla_{(\mu}u_{\nu)}##

Consider now an observer following an orbit of ##u^{\mu}## and an instantaneously comoving (local) inertial frame of this observer. In this frame we have ##\Gamma^{\mu}_{\nu\gamma}= 0## at this instant and ##u^{\mu} = \delta^{\mu}_0## at this instant. Then since ##u^{\mu}\sigma_{\mu\nu} = u^{\nu}\sigma_{\mu\nu} = 0## only ##\sigma_{ij} = \partial_i u^j + \partial_j u^i## are non-vanishing. This is, up to some ##\gamma## factors, just the Newtonian expression for shear and hence carries the same interpretation: http://en.wikipedia.org/wiki/Deformation_(mechanics)

Thanks. But I'm not dealing with a geodesic which might make a difference. I'll check the link.
 
Last edited:
  • #84
Mentz114 said:
Thanks. But I'm not dealing with a geodesic which might make a difference. I'll check the link.

It won't make a difference. I was just using a geodesic to make the calculation trivial. If you use an arbitrary time-like congruence the physical interpretation of ##\sigma_{\mu\nu}## will still be the same in a momentarily comoving local inertial frame.
 
  • #85
Mentz114 said:
I was trying to say that the trace-less shear tensor in the local basis, when transformed to the inertial coordinates is no longer traceless.

But that can't be right. The trace is a scalar invariant; if it's zero in one frame, it's zero in every frame. So you must have made an error in your computation somewhere. I was mistaken to think the error was that you were computing ##\sigma^{\mu \nu} \sigma_{\mu \nu}##; sorry about that. But there must be an error somewhere if you are not getting ##\sigma^{\mu}{}_{\mu} = 0## in every frame.
 
  • #86
Mentz114 said:
I was trying to say that the trace-less shear tensor in the local basis, when transformed to the inertial coordinates is no longer traceless. Therefore undermining any claim that it is still a shear tensor.

You must have made a computational error because the trace-free condition is coordinate-invariant and frame-invariant.
 
  • #87
PeterDonis said:
The trace is a scalar invariant; if it's zero in one frame, it's zero in every frame.

To illustrate how this works, I'll compute the trace in the original inertial frame, which is moving at ##- v## in the ##x## direction relative to the comoving frame. So the Lorentz transformation we need is ("hatted" indexes are in the comoving frame, non-hatted indexes are in the original inertial frame):

$$
\Lambda^{\hat{t}}{}_t = \Lambda^{\hat{x}}{}_x = \gamma
$$

$$
\Lambda^{\hat{t}}{}_x = \Lambda^{\hat{x}}{}_t = \gamma v
$$

$$
\Lambda^{\hat{y}}{}_y = \Lambda^{\hat{z}}{}_z = 1
$$

We only need the diagonal components of the shear tensor in the new frame; they are

$$
\sigma_{tt} = \Lambda^{\hat{\mu}}{}_t \Lambda^{\hat{\nu}}{}_t \sigma_{\hat{\mu} \hat{\nu}} = \gamma^2 v^2 \sigma_{\hat{x} \hat{x}}
$$

$$
\sigma_{xx} = \Lambda^{\hat{\mu}}{}_x \Lambda^{\hat{\nu}}{}_x \sigma_{\hat{\mu} \hat{\nu}} = \gamma^2 \sigma_{\hat{x} \hat{x}}
$$

$$
\sigma_{yy} = \sigma_{\hat{y} \hat{y}}
$$

$$
\sigma_{zz} = \sigma_{\hat{z} \hat{z}}
$$

The trace is then:

$$
\eta^{\mu \nu} \sigma_{\mu \nu} = - \sigma_{tt} + \sigma_{xx} + \sigma_{yy} + \sigma_{zz} = \left( 1 - v^2 \right) \gamma^2 \sigma_{\hat{x} \hat{x}} + \sigma_{\hat{y} \hat{y}} + \sigma_{\hat{z} \hat{z}} = 0
$$
 
Last edited:
  • Like
Likes 1 person
  • #88
WannabeNewton said:
You must have made a computational error because the trace-free condition is coordinate-invariant and frame-invariant.
Yep, that is a possibility. I remember, I did make a mistake once ...

PeterDonis said:
To illustrate how this works, I'll compute the trace in the original inertial frame, which is moving at ##- v## in the ##x## direction relative to the comoving frame. So the Lorentz transformation we need is ("hatted" indexes are in the comoving frame, non-hatted indexes are in the original inertial frame):

Thanks a million. I'll check this all out later and compare with my calculation which is using the rocket coords in the archived Wiki article. I enjoyed the article which poss some interesting questions.
 
Last edited:
  • #89
Shear in the global frame basis

I found my error - I didn't raise an index of ##\sigma_{\mu\nu}## before adding the diagonal terms. Now everything is consistent and ##{\sigma^\mu}_\mu={\sigma^{\hat{\mu}}}_{\hat{\mu}}=0##.

With expansion scalar ##\theta=\frac{{k}^{2}\,t}{\sqrt{{k}^{2}\,{t}^{2}+1}}## the components of ##\bar{\sigma}_{\mu\nu}=\sigma_{\mu\nu}/\theta## are

##\bar{\sigma}_{tt} =\frac{2\,{k}^{2}\,{t}^{2}}{3}##, ##\bar{\sigma}_{tx} =\bar{\sigma}_{xt} =-\frac{2\,k\,t\,\sqrt{{k}^{2}\,{t}^{2}+1}}{3}##, ##\bar{\sigma}_{xx} =\frac{2\,\left( {k}^{2}\,{t}^{2}+1\right) }{3}##, ##\bar{\sigma}_{yy} =\bar{\sigma}_{zz} =-\frac{1}{3}##.

The congruence is ##\vec{u}=\sqrt{{k}^{2}\,{t}^{2}+1}\ \partial_t+ kt\ \partial_x## which can be written ##\vec{u}=\gamma\ \partial_t+ \gamma\beta\ \partial_x##. The proper acceleration in the local frame field has one component ##k## in the ##d\hat{x}## direction.

The question is - what does ##\sigma_{\mu\nu}## mean ? The time components seem to have information but ##\sigma_{\mu\nu}## is a rank-3 tensor, despite appearances. So I'm somewhat puzzled.

If you could indulge me one more time - any thoughts ?
 
  • #90
Mentz114 said:
The time components seem to have information but ##\sigma_{\mu\nu}## is a rank-3 tensor, despite appearances.

No, it isn't. It's a rank-4 tensor, just like any other tensor in spacetime. It just happens to be a rank-4 tensor that, in a particular frame (the comoving frame), has only "space-space" components nonzero, so it can be treated, *within that frame*, as a purely spatial rank-3 tensor.

There's another way to put this: the rank-3 tensor, which is what has the direct physical interpretation, is really the rank-4 tensor projected into the spacelike 3-surface that is orthogonal to the 4-velocity of the spaceship. That projection is done using the projection tensor ##h_{\mu \nu} = g_{\mu \nu} + u_{\mu} u_{\nu}##. So what you should be looking at for physical interpretation is not ##\sigma_{\mu \nu}##; it's ##\sigma_{ab} = h^{\mu}{}_a h^{\nu}{}_b \sigma_{\mu \nu}##.

It just so happens that, in the comoving frame, ##h_{\mu \nu}## is the purely spatial identity tensor, so ##\sigma_{ab} = \sigma_{\hat{\mu} \hat{\nu}}## in that frame (the "hats" on the indexes are to emphasize that we are looking at the shear tensor components in the comoving frame, where we know the tensor is purely spatial). But in any other frame, you have to actually compute ##h_{\mu \nu}## and contract it with ##\sigma_{\mu \nu}## as above. If you do this, you should end up with the same rank-3 tensor ##\sigma_{\hat{\mu} \hat{\nu}}## as in the comoving frame (by a process similar to the one by which we showed that the trace is frame-invariant).

In short, the rank-3 tensor in the comoving frame is the one that has the direct physical interpretation. In any other frame, just looking at the tensor components isn't a good way to think about physical interpretation, because what is physically meaningful, in frame-invariant terms, is the contraction of the shear tensor with the projection tensor. The comoving frame is just the one in which that contraction works out to just give the tensor components in that frame directly.
 
Last edited:
  • #91
PeterDonis said:
No, it isn't. It's a rank-4 tensor, just like any other tensor in spacetime. It just happens to be a rank-4 tensor that, in a particular frame (the comoving frame), has only "space-space" components nonzero, so it can be treated, *within that frame*, as a purely spatial rank-3 tensor.
OK, but ##|\sigma_{\mu\nu}|=0##.

There's another way to put this: the rank-3 tensor, which is what has the direct physical interpretation, is really the rank-4 tensor projected into the spacelike 3-surface that is orthogonal to the 4-velocity of the spaceship. That projection is done using the projection tensor ##h_{\mu \nu} = g_{\mu \nu} + u_{\mu} u_{\nu}##. So what you should be looking at for physical interpretation is not ##\sigma_{\mu \nu}##; it's ##\sigma_{ab} = h^{\mu}{}_a h^{\nu}{}_b \sigma_{\mu \nu}##
..
...
you have to actually compute ##h_{\mu \nu}## and contract it with ##\sigma_{\mu \nu}## as above. If you do this, you should end up with the same rank-3 tensor ##\sigma_{\hat{\mu} \hat{\nu}}## as in the comoving frame (by a process similar to the one by which we showed that the trace is frame-invariant)..
In response to your post I calculated ##\sigma_{ab} = h^{\mu}{}_a h^{\nu}{}_b \sigma_{\mu \nu}## with the components of ##\sigma_{\mu\nu}## in my last post, and found ##\sigma_{ab}=\sigma_{\mu\nu}##. I was surprised too. Maybe I misinterpret what you're saying.

In short, the rank-3 tensor in the comoving frame is the one that has the direct physical interpretation. In any other frame, just looking at the tensor components isn't a good way to think about physical interpretation, because what is physically meaningful, in frame-invariant terms, is the contraction of the shear tensor with the projection tensor. The comoving frame is just the one in which that contraction works out to just give the tensor components in that frame directly.
Firstly, I understand that the physics is in the invariants. That is why in my calculation no invariant has been hurt in any way. This is what I take to be the meaning of 'covariant calculation'.

If two bodies collide and make a big explosion - the physics is in the details of the explosion and is independent of which frame we choose. But each body could claim that the energy for the explosion came from the kinetic energy of the *other* body. So components can tell us how differnt observers slice and dice (attribute) the components of the physics.
 
  • #92
Mentz114 said:
OK, but ##|\sigma_{\mu\nu}|=0##.

I don't understand; what is ##|\sigma_{\mu\nu}|##? And which frame are we talking about?

Mentz114 said:
In response to your post I calculated ##\sigma_{ab} = h^{\mu}{}_a h^{\nu}{}_b \sigma_{\mu \nu}## with the components of ##\sigma_{\mu\nu}## in my last post, and found ##\sigma_{ab}=\sigma_{\mu\nu}##. I was surprised too. Maybe I misinterpret what you're saying.

Again, which frame are we talking about? [STRIKE]What you should find is that ##\sigma_{ab} = \sigma_{\hat{\mu} \hat{\nu}}##; note carefully the hats on the indexes, indicating that projecting the shear tensor, in any frame, into the spacelike hypersurface orthogonal to the spaceship's 4-velocity, as expressed in that frame, will give you back the shear tensor components in the comoving frame.[/STRIKE] [Edit: actually, not; see follow-up post.] But I'm not sure you're saying that's what you got.

Mentz114 said:
each body could claim that the energy for the explosion came from the kinetic energy of the *other* body.

Kinetic energy by itself isn't really a "component"; but that's a minor point. See below.

Mentz114 said:
So components can tell us how differnt observers slice and dice (attribute) the components of the physics.

Not in themselves, no. To give physical meaning to any "component", you have to express it as an invariant. For example, if two bodies collide, assuming they have equal rest mass ##m##, the kinetic energy each one sees the other to have is ##K = E - m = u^a p_a - \sqrt{ p^a p_a } = \left( \gamma - 1 \right) m##, where ##u^a## is the "observing" body's 4-velocity and ##p^a## is the "observed" body's 4-momentum. We can view the total energy ##E## as a "component" of the observed body's 4-momentum in the observing body's frame, but that only has physical meaning because we can express it as the invariant ##u^a p_a##.

In other words, what tells us how different observers slice and dice the physics are the invariants we form by contracting a particular vector, tensor, or whatever with the vectors that describe the observer (his 4-velocity and the spatial vectors of his frame). So if you want to try to give a physical interpretation to shear tensor components in some frame other than the comoving frame, you'll need to figure out what observer, other than the comoving observer, you're interested in, and what it means, physically, to contract that observer's frame vectors with the shear tensor. In general I'm not sure this will be very useful for the shear tensor, because the whole point of that tensor is to capture properties measured by the comoving observer.
 
Last edited:
  • #93
PeterDonis said:
What you should find is that ##\sigma_{ab} = \sigma_{\hat{\mu} \hat{\nu}}##; note carefully the hats on the indexes, indicating that projecting the shear tensor, in any frame, into the spacelike hypersurface orthogonal to the spaceship's 4-velocity, as expressed in that frame, will give you back the shear tensor components in the comoving frame.

I just realized that this can't be right as it stands, because the shear tensor components in the original inertial frame, ##\sigma_{\mu \nu}## (no hats on the indexes) are obtained by applying the Lorentz transform to the components in the comoving frame, ##\sigma_{\hat{\mu} \hat{\nu}}## (with hats on the indexes). But applying the (inverse, to go from original frame to comoving frame) Lorentz transform is not the same as contracting with the projection tensor. So I need to think about this some more.
 
  • #94
PeterDonis said:
So I need to think about this some more.

Ok, I was confusing myself about the projection tensor. Now I think I'm un-confused.

Contracting with the projection tensor ##h_{\mu \nu}## gives the "transverse" part of a tensor, i.e., the part that is orthogonal to the 4-velocity ##u^{\mu}##. But the shear tensor is already transverse; i.e., it is already orthogonal to ##u^{\mu}##. So contracting with the projection tensor should leave the shear tensor unchanged. That is, in any frame, if you express the shear tensor in that frame, and contract it with the projection tensor expressed in that frame, the shear tensor components should be unchanged. Sorry for my previous confusion about this.
 
  • #95
Peter, thanks again.

Just to clear up the notation - the un-hatted indexes are for the coordinate basis, and the hats are the local frame basis of the accelerating congruence.

My point about the determinant of ##\sigma_{\mu\nu}## being zero, is that as a bilinear transformation it is 3-dimensional ( there are 3 non-zero eigenvalues). I would expect this after some thought because the transformation with the vierbien into the local frame basis gives a rank-3 tensor.

Regarding the possible physical meaning of ##\sigma_{\mu\nu}##, I have some ideas but no time to explicate now.
 
  • #96
Mentz114 said:
Just to clear up the notation - the un-hatted indexes are for the coordinate basis, and the hats are the local frame basis of the accelerating congruence.

Yes.

Mentz114 said:
My point about the determinant of ##\sigma_{\mu\nu}## being zero, is that as a bilinear transformation it is 3-dimensional ( there are 3 non-zero eigenvalues).

Ah, ok. Yes, if you view ##\sigma_{\mu \nu}## as a 4x4 matrix, it has zero determinant because only three eigenvalues are nonzero. That will be generally true of any transverse tensor, since evaluating the eigenvalues basically amounts to transforming into the comoving frame, where only the space-space components can be nonzero.
 
  • #97
Mentz114 said:
Regarding the possible physical meaning of ##\sigma_{\mu\nu}##...

Wasn't this already answered?
 
  • #98
WannabeNewton said:
Wasn't this already answered?
Not in my understanding. In the local frame the meaning is clear, but what does it mean when written in the coordinate basis ? I've been doing a lot of thinking and calculation with a Born congruence ( ie ## \dot{u}_{\hat{\mu}}= k\ dx##, ##k## constant ) where the velocity depends on ##t## and ##x##. Some interesting things have emerged.
 
  • #99
Mentz114 said:
In the local frame the meaning is clear, but what does it mean when written in the coordinate basis ?

It has no meaningful physical interpretation in that case. The problem is that ##\sigma_{\mu\nu}## is defined in terms of ##h_{\mu\nu}## which physically measures spatial distances (between events) relative to the instantaneously comoving inertial frames of the spaceships i.e. it is only defined relative to the spaceship frames. It has no direct relationship to other frames, not even the background global inertial frame in which the spaceships are accelerated simultaneously. As such, while the components of ##\sigma_{\mu\nu}## relative to a given arbitrary frame (field) are measurable quantities in the mathematical sense, they do not necessarily entail a physical interpretation unless the frame field consists of the local Lorentz frames attached to the orbits of the Bell congruence.

This isn't peculiar to the shear tensor. A lot of quantities in the kinematic decomposition only have meaningful physical interpretation relative to the instantaneous (local) inertial frames of observers in the congruence. Take for example the vorticity ##\omega^{\mu} = \epsilon^{\mu\nu\alpha\beta}\xi_{\nu}\partial_{\alpha}\xi_{\beta}##. In an instantaneously comoving local inertial frame, we can use the fact that ##\epsilon^{ijk} \Leftrightarrow \epsilon^{\mu \nu\alpha\beta}\xi_{\mu}## and ##\xi^{\mu} = \delta^{\mu}_0## to see that ##\omega^{\mu}\xi_{\mu} = 0## (purely spatial vector in the local inertial frame) and ##\vec{\omega} = \vec{\nabla}\times \vec{\xi}## which means the vorticity, in the local inertial frame, is just a measure of local rotation relative to local gyroscopes if the congruence is Born rigid. But what is the interpretation of ##\omega^{\mu}## in other local Lorentz frames? Well if we boost from the instantaneously comoving local inertial frame of an observer in the congruence to the rest frame of a coincident observer (say along the ##x##-axis of the local inertial frame) then the boost will rotate the local ##t-x## plane which means that ##\omega^{\mu}## relative to the new frame will pick up a time-like component and hence will no longer be a purely spatial vector in this frame: a measure of local rotation with a time-like component...yeah we can't interpret that physically.
 
  • #100
OK, that makes sense.

I got to thinking about the Doppler shift between the spaceships. Obviously there will be a kinematic frequency shift between the ships because they are not comoving. What causes the shift in the global inertial frame, where the ships are comoving ?

The only way I can make sense of this is to introduce a gravitational field which brings the spaceships to rest wrt each other in all frames. With ##\vec{u}= \sqrt{u^2+1} \ \partial_t + u\ \partial_x##, if we impose the condition that the local acceleration vector is ##\dot{u}_{\hat{\mu}}= k\ d\hat{x}##, then the acceleration vector in the coordinate basis is ##\dot{u}_\mu = -u\ k \ dt + \sqrt{1+u^2}\ k\ dx##. ##u## can be a function of ##t##, ##x## or both.

So the gravitational field (pulling in the -x direction) must create acceleration ##\sqrt{1+u^2}k##. The acceleration (force?) ratio between two points ##P_1## ##P_2## is then ##\sqrt{1+u^2}|_{P_1}/\sqrt{1+u^2}|_{P_2}## and from the 4-velocity the ratio of clock rates ##d\tau_1/d\tau_2## is the reciprocal of the acceleration ratio. Given that ##P_1## ##P_2## are the end points of a null geodesic connecting two spaceship worldlines, I suspect that the frequency shift due to the field is identical to the kinematical shift when the field is not present.

If it is true then I don't see immediately how to apply it to the strings breaking question, although a growing weight could be relevant.
 
Last edited:
  • #101
The Doppler in the global inertial frame is trivially interpreted kinematically. The rule for all Doppler is based on the velocity of emitter at event of emission compared to velocity of target at event of reception. Since the ships are accelerating, then for rear to forward ship, the emission speed is lower than the reception speed in the same direction, so relative speed is 'away' so redshift. For forward to rear, the relative speed between emission and reception is 'toward' so blueshift. This would all be true even for non-relativistic Doppler.

A gravitational or pseudo-gravitational redshift is typically introduced for a non-inertial frame, where (if you want to use coordinate velocities), you have redshift/blueshift between objects maintaining constant coordinate positions.
 
Last edited:
  • #102
Thanks for clarifying that. It will be interesting to see if the frequency shift can be decomposed into a non-separation (delay) component and a relative velocity component. This is going off topic though so I'll post anything interesting in a new thread.

[Edit]
On reflection - won't the frequency shifts remain constant in the inertial frame ? The delay between sending and receiving will be the same because the separation is the same. But in the local frame the frequency shift is changing. A back of the envelope calculation suggests the the rate of change of the frequency ratio is ##\theta + a##, i.e. the sum of the expansion scalar and the acceleration.
 
Last edited:
  • #103
Mentz114 said:
Thanks for clarifying that. It will be interesting to see if the frequency shift can be decomposed into a non-separation (delay) component and a relative velocity component. This is going off topic though so I'll post anything interesting in a new thread.

[Edit]
On reflection - won't the frequency shifts remain constant in the inertial frame ? The delay between sending and receiving will be the same because the separation is the same. But in the local frame the frequency shift is changing. A back of the envelope calculation suggests the the rate of change of the frequency ratio is ##\theta + a##, i.e. the sum of the expansion scalar and the acceleration.

The frequency shift would be constant between congruence lines (in all frames, or we have contradictions) for the Born rigid congruence. For the congruence of constant proper acceleration at all times in a given inertial frame (starting frame), the shift increases with time in all frames. This is strictly a relativistic effect. The coordinate accelerations are hyperbolic, the shift has be computed with relativistic velocity addition. Due to the hyperbolic coordinate acceleration and constant light speed, the time for light from the rear to catch the front increases with time in the inertial frame. Then, with velocity addition, the shift increases with time. Conversely for light from front to back.
 
Last edited:
  • #104
Yes, the scalars say that the shift is always increasing, so my question was a bit uncalled for.

But the pseudogravitational field provides a satisfactory understanding (to me, anyway) of the spaceship scenario, so I'm happy to leave the subject, finally.
 
Last edited:
  • #105
georgir said:
Mentz, a constant proper acceleration means that the experienced "tension as if in a gravitational field" will be constant, not getting stronger with time. It means that the string can always be made strong enough to not break due to this effect alone.

At the time this was posted I was still incorrectly assuming that the proper acceleration of the spaceships is constant in both frames. This is not so and the acceleration of the ships in S is ##a\sqrt{1+a^2 t^2}##. So the 'tension of the graviatational field' is increasing without limit. Furthermore, in the ship frame, the separation is increasing as ##a\sqrt{1+a^2 t^2}## ( with ##a## being the initial separation), so effects caused by the separation in the ship frame can be attributed to the increasing pseudo-gravitational field caused by the increasing acceleration in S.

This looks very plausible to me
 
<h2>1. What is the Spaceship Paradox?</h2><p>The Spaceship Paradox is a thought experiment that explores the concept of time dilation in the theory of relativity. It involves two identical spaceships traveling at different speeds and how time is experienced differently for each one.</p><h2>2. What is the traditional explanation for the Spaceship Paradox?</h2><p>The traditional explanation for the Spaceship Paradox is that time dilation occurs because of the difference in velocity between the two spaceships. The faster a spaceship travels, the slower time moves for that spaceship compared to a stationary observer.</p><h2>3. What is the new explanation for the Spaceship Paradox?</h2><p>The new explanation for the Spaceship Paradox proposes that time dilation is not solely based on velocity, but also on the acceleration of the spaceship. The acceleration causes a gravitational effect, which also affects time dilation.</p><h2>4. How does the new explanation solve the Spaceship Paradox?</h2><p>The new explanation takes into account the gravitational effects of acceleration, which were not considered in the traditional explanation. This additional factor helps to explain the observed time dilation in the thought experiment and provides a more comprehensive understanding of the phenomenon.</p><h2>5. What are the implications of the new explanation for the Spaceship Paradox?</h2><p>The new explanation challenges our current understanding of time dilation and the theory of relativity. It also has implications for space travel, as it suggests that the acceleration of a spaceship could have a significant impact on the passage of time for those on board.</p>

1. What is the Spaceship Paradox?

The Spaceship Paradox is a thought experiment that explores the concept of time dilation in the theory of relativity. It involves two identical spaceships traveling at different speeds and how time is experienced differently for each one.

2. What is the traditional explanation for the Spaceship Paradox?

The traditional explanation for the Spaceship Paradox is that time dilation occurs because of the difference in velocity between the two spaceships. The faster a spaceship travels, the slower time moves for that spaceship compared to a stationary observer.

3. What is the new explanation for the Spaceship Paradox?

The new explanation for the Spaceship Paradox proposes that time dilation is not solely based on velocity, but also on the acceleration of the spaceship. The acceleration causes a gravitational effect, which also affects time dilation.

4. How does the new explanation solve the Spaceship Paradox?

The new explanation takes into account the gravitational effects of acceleration, which were not considered in the traditional explanation. This additional factor helps to explain the observed time dilation in the thought experiment and provides a more comprehensive understanding of the phenomenon.

5. What are the implications of the new explanation for the Spaceship Paradox?

The new explanation challenges our current understanding of time dilation and the theory of relativity. It also has implications for space travel, as it suggests that the acceleration of a spaceship could have a significant impact on the passage of time for those on board.

Similar threads

  • Special and General Relativity
Replies
11
Views
287
  • Special and General Relativity
Replies
24
Views
2K
  • Special and General Relativity
3
Replies
75
Views
3K
  • Special and General Relativity
Replies
2
Views
1K
  • Special and General Relativity
2
Replies
36
Views
3K
  • Special and General Relativity
3
Replies
78
Views
4K
  • Special and General Relativity
Replies
30
Views
2K
  • Special and General Relativity
2
Replies
42
Views
6K
  • Introductory Physics Homework Help
Replies
6
Views
756
  • Special and General Relativity
Replies
12
Views
4K
Back
Top