Is the Newtonian EOM Invariant under Galilei Boosts?

[haushofer]

Hi, I have some questions concerning Newtonian physics which confuse me, especially the Galilean boosts. First of all, the Galilei group is

<br /> x^i \rightarrow R^i_{\ j}x^j + v^i t + d^i, \ \ \ \ \ \ \ \ x^0 \rightarrow x^0 + \xi^0<br />
where R is an element of SO(3), v is a constant velocity, d is a constant vector and xi^0 is a constant shift in time. The boost is explicitly (R=I, d=0)

<br /> x^i \rightarrow x^{&#039;i} = x^i + v^i t<br />
We know that in Newtonian physics we have a spatial metric which is Euclidean (space is flat!). So I have the line element

<br /> ds^2 = \delta_{ij}dx^i dx^j<br />
Under a boost however, I get via
dx^{&#039;i} = \frac{\partial x^{&#039;i}}{\partial x^j}dx^j + \frac{\partial x^{&#039;i}}{\partial t}dt = dx^i + v^i dt<br />
that
<br /> ds^2 \rightarrow \delta_{ij} [dx^i + v^i dt][dx^j + v^j dt] = \delta_{ij}dx^idx^j + 2 \delta_{ij} dx^i v^j dt + \delta_{ij}v^i v^j dtdt<br />

What does it mean for the Euclidean line element NOT to be invariant under Galilei boosts? A same situation I ofcourse have if I calculate the variation of the Lagrangian

<br /> L = m\delta_{ij}\dot{x}^i \dot{x}^j<br />

under boosts; that becomes a total derivative, but the action is invariant, so that's OK (the Noether charge belonging to boosts has to be adjusted) and I do understand that.

Second, how would I proof that the Newtonian EOM

<br /> \ddot{x}^i + \frac{\partial \phi}{\partial x^i} = 0<br />
is invariant under boosts infinitesimally? Physically I understand that it should be invariant, but mathematically I have some problems showing this explicitly. For finite transformations it's quite obvious,
<br /> \ddot{x}^i \rightarrow \ddot{x}^i, \ \ \ \ \frac{\partial \phi}{\partial x^i} \rightarrow \frac{\partial x^j}{\partial x^i}\frac{\partial \phi}{\partial x^j} = \frac{\partial \phi}{\partial x^i}<br />
but how would one show this infinitesimally?

These may be confusing questions with simple answers, but I don't see it :)

 

[starthaus]

Hi, I have some questions concerning Newtonian physics which confuse me, especially the Galilean boosts. First of all, the Galilei group is

<br /> x^i \rightarrow R^i_{\ j}x^j + v^i t + d^i, \ \ \ \ \ \ \ \ x^0 \rightarrow x^0 + \xi^0<br />
where R is an element of SO(3), v is a constant velocity, d is a constant vector and xi^0 is a constant shift in time. The boost is explicitly (R=I, d=0)

<br /> x^i \rightarrow x^{&#039;i} = x^i + v^i t<br />
We know that in Newtonian physics we have a spatial metric which is Euclidean (space is flat!). So I have the line element

<br /> ds^2 = \delta_{ij}dx^i dx^j<br />
Under a boost however, I get via
dx^{&#039;i} = \frac{\partial x^{&#039;i}}{\partial x^j}dx^j + \frac{\partial x^{&#039;i}}{\partial t}dt = dx^i + v^i dt<br />

Under a Lorentz boost you would be getting:

<br /> ds&#039;^2 = \delta_{ij}dx&#039;^i dx&#039;^j<br />

The presence of extraneous terms under a Galilei/Newton boost makes the metric frame-variant. Same story with the lagrangian.

 

[arkajad]

For the Galilei structure you have frame invariant contravariant "metric tensor". I use quotation marks because it is degenerate: g^{00}=0.. So it does not have the inverse.
Another invariant object is the "time form" dx^0.

But you have invariant 3d metric in the fibres x^0=\mbox{const}.

 

[haushofer]

Under a Lorentz boost you would be getting:

<br /> ds&#039;^2 = \delta_{ij}dx&#039;^i dx&#039;^j<br />

The presence of extraneous terms under a Galilei/Newton boost makes the metric frame-variant. Same story with the lagrangian.

I don't see that. Let's do all the calculations explicitly:

<br /> <br /> ds^2 = \delta_{ij}dx^i dx^j<br /> <br />

with

<br /> dx^{&#039;i} = \frac{\partial x^{&#039;i}}{\partial x^j}dx^j + \frac{\partial x^{&#039;i}}{\partial t}dt <br /> <br />

For time translations I have trivially

<br /> dx^{&#039;i} = \frac{\partial x^{&#039;i}}{\partial x^j}dx^j = dx^i<br />
because here R=I, the identity, and v=d=0.

For rotations I have
<br /> dx^{&#039;i} = \frac{\partial x^{&#039;i}}{\partial x^j}dx^j = R^{&#039;i}_{\ j}dx^j<br />
but because the rotations are orthogonal I get

<br /> ds^{&#039;2} = \delta_{&#039;i&#039;j}dx^{&#039;i} dx^{&#039;j} = \delta_{ij}R^{&#039;i}_{\ k}R^{&#039;j}_{\ l}dx^k dx^l = \delta_{kl}dx^k dx^l<br />

For spatial translations I have trivially

<br /> dx^{&#039;i} = dx^i<br />

But for boosts I get extra terms and certainly then

<br /> ds^2 \neq ds^{&#039;2}<br />Why?

 

[haushofer]

For the Galilei structure you have frame invariant contravariant "metric tensor". I use quotation marks because it is degenerate: g^{00}=0.. So it does not have the inverse.

Yes, but I'm trying to show that explicitly. :)

 

[haushofer]

Under a Lorentz boost you would be getting:

<br /> ds&#039;^2 = \delta_{ij}dx&#039;^i dx&#039;^j<br />

The presence of extraneous terms under a Galilei/Newton boost makes the metric frame-variant. Same story with the lagrangian.

Yes, you're right; Galilei boosts do NOT hold the spatial metric invariant! Imagine I have a rod. I measure one end of it, and then the other, and from that I can construct the length of the rod.

Now imagine someone traveling with constant speed. If he wants to measure the length of the rod, he has to measure both ends simultaneously, so

<br /> dt = 0<br />

If this is not the case, then certainly

<br /> ds^2 \neq ds^{&#039;2}<br />

which the calculation also implies.

Measuring the other endpoint at some later time wouldn't make sense. So we can conclude that the spatial metric delta is only invariant under constant time and space shifts and rotations, but NOT under boosts.

To make up an invertible metric, one adds a time metric, which in certain coordinates would only have a 1 at the 00 entry and for the rest is zero. This metric is trivially invariant under all the Galilei transformations, but adding the spatial metric delta and this time metric doesn't give me a metric in spacetime which is invariant under the full Galilei group.

It's funny how deceiving these things can be. Thanks for the answers anyway, and if people have more to say about this I'm happy to hear! :)

 

[arkajad]

Yes, but I'm trying to show that explicitly. :)

You can easily show explicitly that the contravariant degenerate metric is invariant by applying the transformation laws of a contravariant tensor.

 

[haushofer]

You can easily show explicitly that the contravariant degenerate metric is invariant by applying the transformation laws of a contravariant tensor.

Ok, let's do that explicitly. Let's write the Galilei transformation as

<br /> x^{&#039;\mu} = \Lambda^{\mu}_{\ \nu}x^{\nu} + a^{\mu}<br />

We then have

<br /> \Lambda^{i}_{\ j} = R^i_{\ j}, \ \Lambda^{i}_{\ 0} = v^i, \ \Lambda^{0}_{\ 0} = 1, \ \ \Lambda^0_{\ j} = 0, \ \ a^i = d^i, \ \ a^0 = \xi^0<br />

Under rotations and boosts (I think the spatial and temporal shifts are trivial) I have

<br /> \Lambda^{&#039;\alpha}_{\ \mu} \Lambda^{&#039;\beta}_{\ \nu} h^{\mu\nu} = h^{&#039;\alpha &#039;\beta}<br />

The 00 component equation for the RHS gives

<br /> h^{00} = h^{&#039;0&#039;0}<br />

The ij component gives

<br /> v^i v^j h^{00} + 2v^i R^j_{\ k}h^{0k} + R^{i}_{\ k} R^j_{\ l}h^{kl} = h^{&#039;i&#039;j}<br />

and the 0j component gives

<br /> R^j_{\ k} h^{0k} + v^j h^{00} = h^{&#039;0&#039;j}<br />

This tells me that for h to be invariant,

<br /> h^{00} = h^{0j} = 0<br />

 

[Petr Mugver]

Hi, I have some questions concerning Newtonian physics which confuse me, especially the Galilean boosts. First of all, the Galilei group is

The galilean group, unlike the Lorentz group, is not a set of transformations that keep a metric invariant. So it's kind of unuseful to introduce a space-time metric ds² as you did. Rather, the Galilean group leaves TWO metrics invariant: the (0+++) and the (+000). There's no need to introduce the (+---), or whatever treates space and time on the same footing, as there's no speed of light to preserve here.

 

[arkajad]

This tells me that for h to be invariant,

<br /> h^{00} = h^{0j} = 0<br />

That's it.

 

[arkajad]

Rather, the Galilean group leaves TWO metrics invariant: the (0+++) and the (+000).

This is correct provided you think of (0+++) as contravariant, and not as a covariant one.

 

[arkajad]

BTW: this kind of structure comes naturally as the result of a dimensional reduction from 5-dimensional (-++++) Kaluza-Klein space, if you consider the fibers to be light-like instead of space-like, as it is done usually.

 

[Petr Mugver]

This is correct provided you think of (0+++) as contravariant, and not as a covariant one.

Why do you rule out the covariant possibility?

 

[arkajad]

Why do you rule out the covariant possibility?

Because covariant (0+++) metric is not invariant under Galilei boost - which was the reason for starting this thread. Contravariant is. This can be generalized to include space curvature and a torsion-free affine connection compatible with the degenerate contravariant metric g^{\mu\nu} and the closed absolute time form \theta=dx^0.