# Transformation of an acceleration vector under a basis change

1. Oct 28, 2012

### Mentz114

This thread is spawned from an earlier one

For the stationary ( ie comoving ) frame in the Schwarzschild spacetime the co-basis of the frame field is
$$s_0= \sqrt{\frac{r-2m}{r}}dt,\ \ s_1=\sqrt{\frac{r}{r-2m}}\ dr,\ \ s_2=r\ d\theta,\ \ s_3=r\sin(\theta)\ d\phi$$
The 4-velocity of the stationary observer in the local frame is $u^\mu=\partial_t$ (or $(1,0,0,0)$).

This, $u^\nu\nabla_\mu u_\nu$, which looks like a covariant vector is
$$a_\mu= \frac{m}{{r}^{\frac{3}{2}}\,\sqrt{r-2\,m}} \ dr$$
All this is well known. Now we boost the co-basis covectors in the r-direction with velocity $-\sqrt{2m/r}$. The metric is unchanged in form by this. This gives a new basis h
$$h_0= -dt - \frac{\sqrt{2mr}}{r-2m}\ dr,\ \ h_1=\sqrt{\frac{2m}{r}}\ dt + \frac{r}{r-2m} \ dr,\ \ h_2=s_2,\ \ h_3=s_3$$
According to my calculations, in this basis the acceleration aµ is now zero. Readers are bound to be sceptical about my calculations but I'm very confident there's been no gross error. If it is an error I'll be happy to have found it.

2. Oct 28, 2012

### Staff: Mentor

I am highly skeptical of this claim. Have you tried actually working out the metric in the new coordinates?

3. Oct 28, 2012

### Muphrid

He should be right. The metric is indifferent to rotational degrees of freedom (and boosts are "rotations"). Nevertheless, it should be intuitive that a uniform boost of a vector should not change the magnitude of the vector. That said, I'm aware that intuitive results are not necessarily always right.

One thing I'm curious about: why compute the acceleration covector, rather than the acceleration vector?

4. Oct 28, 2012

### Staff: Mentor

This boost is equivalent to a transformation from Schwarzschild to Painleve coordinates. This does *not* leave the metric unchanged. [Edit: Actually you can, if you want, do the calculation in the same coordinates; but in that case the physical meaning of the boost is obviously that you are changing observers. So in any case my following comment stands:] Basically what you are doing is showing that the 4-acceleration of a Painleve observer is zero; you are *not* showing that the 4-acceleration of a static observer changes when you transform coordinates.

http://en.wikipedia.org/wiki/Frame_fields_in_general_relativity

It uses the term "Lemaitre observers" for what I'm calling Painleve observers.

The metric is invariant under *spatial* rotations. It is *not* invariant under space-time rotations, i.e., boosts.

Last edited: Oct 28, 2012
5. Oct 28, 2012

### Staff: Mentor

I'm still working through calculations, but this looks wrong; what you've written looks like the 4-acceleration vector $a^\mu$, not the 4-acceleration covector $a_\mu$. Remember that in order to compute $u^\mu \nabla_\mu$ you need the 4-velocity *vector* (which you didn't write down in your post), not the covector (which you did write down).

6. Oct 28, 2012

### Mentz114

Thanks for the replies. I'll try to answer the questions but I think now that this is correct.

@DaleSpam, you asked if I'd worked out the new metric. ?
The metric given by $g=-h_0\otimes h_0 + h_1\otimes h_1 + h_2\otimes h_2 + h_3\otimes h_3$ is the Schwarzschild metric

Last edited: Oct 28, 2012
7. Oct 28, 2012

### Mentz114

This $u^\mu \nabla_\mu$ is not the acceleration ( it's the expansion scalar ). The acceleration is $u^\nu\nabla_\nu u_\mu$ which has one free covariant index.

The velocity vector is (1,0,0,0) and the covector is (-1,0,0,0) so uμuμ = -1.

8. Oct 28, 2012

### Muphrid

I don't see why you're using the covariant velocity instead of the contravariant. Isn't it usual to use the contravariant acceleration/velocity?

I don't follow. The whole point of using a metric instead of frame fields is that it removes all six degrees of generalized rotation freedom (i.e. 3 degrees of boost freedom and 3 degrees of spatial rotation freedom).

Last edited: Oct 28, 2012
9. Oct 28, 2012

### Staff: Mentor

No, it isn't. It's the directional derivative operator along the 4-velocity $u^\mu$. It's a scalar, yes, since it contracts the 4-velocity, a vector, with the covariant derivative operator, a covector. The point I was making is that it's the 4-velocity *vector* that appears in it; you only wrote down the *covector*, so I'm not sure what 4-velocity vector components you are using to compute the operator $u^\mu \nabla_\mu$.

No, they aren't. I didn't notice this before, but in looking through the OP, I see that you made the same mistake there. The 4-velocity is a unit vector: (1, 0, 0, 0) is not a unit vector unless r -> infinity (i.e,. unless the metric is Minkowski). For the original coframe s that you wrote down, $s_0$ is the 4-velocity covector (and its corresponding frame vector $s^0$ is the 4-velocity vector). For the boosted coframe you wrote down, you have to rewrite $s_0$ in that frame if you want to express the 4-velocity of a static observer in that coframe (and similarly you have to express $s^0$ in the corresponding frame). What you actually did was (more or less) to compute the 4-acceleration of an observer whose 4-velocity covector is $h_0$, which is a *different* 4-velocity, that of a Painleve observer.

10. Oct 28, 2012

### Staff: Mentor

I think you're misunderstanding what metrics and frame fields are. They both express the same physics and the same "degrees of freedom", just in different forms. A metric (by which I think you actually mean a "line element") expresses the physics in terms of a coordinate chart and the basis vectors (or covectors) of that chart. A frame field expresses the physics in terms of the basis vectors (or covectors) carried by a particular family of observers as they travel along their worldlines. There is the same amount of freedom in either form.

Also, whether or not a metric is invariant under a particular set of transformations depends on the specific spacetime geometry under discussion. Schwarzschild spacetime is spherically symmetric, so the metric is invariant under spatial rotations. There are other spacetimes that are not spherically symmetric (such as Kerr spacetime), and their metrics are not invariant under spatial rotations.

11. Oct 28, 2012

### Mentz114

Peter,
the metric is Minkowski. We are working in the local frame. I never calculate the scalar $u^\mu \nabla_\mu$. I'm calculating the covariant derivative of the (co)vector and projecting in the direction of the vector. I used to write it as $u_{\mu;\nu}u^\nu$.

Does this clear up some of your questions ?

It occurs to me that tensors transform like tensors under holonomic transformations, ie we can write
$$dx'^\mu = \frac{\partial x'^\mu}{\partial x^\mu}dx$$
and going from the coordinate basis to a frame basis is not holonomic.

Last edited: Oct 28, 2012
12. Oct 28, 2012

### PAllen

This way of doing things is all too modern for me. For me, 4 acceleration is absolute derivative of U along a path. For a constant r,theta,phi world line in SC coordinates this works out to be zero except for the r component which is:

(m/r^2 ) (1-2m/r)^-1

with a norm of: (m/r^2 )(1-2m/r)^(-3/2) [if i haven't made a stupid mistake somewhere].

So, what I thought was claimed was that there was some magic coordinate transform which would make this vector go to zero and its norm vanish, which is clearly impossible.

13. Oct 28, 2012

### Staff: Mentor

Doesn't matter; in order to calculate the 4-acceleration of a static observer (or indeed of any observer), you have to know the connection coefficients, which means you have to know the actual metric (Schwarzschild), not just the approximate metric in the local frame. If the metric were really Minkowski, you could use the partial derivative operator $\partial_\mu$ instead of the covariant derivative operator $\nabla_\mu$ and simplify your formulas considerably.

Also, if the metric were Minkowski, the first two components of the coframe would not be what you wrote down; they would be (-dt, dr). The fact that you wrote down a different coframe means that you implicitly agree that the spacetime curvature affects the calculation.

That's fine, but you still have to know the vector components (not just the covector components) to do the projection. What vector components are you using to compute that?

14. Oct 28, 2012

### Staff: Mentor

That's true, but you're not going from a coordinate basis to a frame basis. You're going from one frame basis to another frame basis. The first frame basis happens to have vectors pointing in the same direction as the coordinate basis vectors, but that doesn't make it a coordinate basis.

15. Oct 28, 2012

### Mentz114

There's nothing approximate here. These are exact calculations. We have the (inverse) metric. It is encoded in the coframe cobasis vectors ( see the tensor product expression I give earlier ).

In the local frame the connection coefficients are Ricci rotation coefficients and they are used in calculating covariant derivs instead of the CS2's.

The global metric is in the coframe, as I said. The tetrad formed from the coframe basis projects the metric to the Minkowski (local) metric.

I stated both, uμ=(1,0,0,0) and uμ=(1,0,0,0).

16. Oct 28, 2012

### Mentz114

Yes, the boost is also non-holonomic. I'm just thinking out loud.

17. Oct 28, 2012

### Mentz114

Well, I can make it vanish by boosting a frame field. This effectively changes the local frame from an accelerating one to a geodesic one. Whatever is going on, I'm not making the components of the same tensor vanish - as you say, that's impossible.

18. Oct 28, 2012

### PAllen

Can you express this as a coordinate transform matrix? Such that I can apply it to the 4-acceleration I computed?

[edit: wait, I see you agree that can't be done. So I bow out because I have not studied frame fields.]

Last edited: Oct 28, 2012
19. Oct 28, 2012

### Staff: Mentor

Hmm, I don't find that very helpful. I cannot even tell what coordinates you are using after your radial boost, and this expression doesn't make it clear to me at all that the form of the metric is unchanged in those coordinates.

Btw, do you intend to have a different boost at each r?

20. Oct 28, 2012

### Staff: Mentor

I think I am with you here.