Force-free motion from a busted Lagrangian

In summary: I'm not familiar with the paper you referenced, and at a quick glance now, I'm not sure I'm up to reading it.I've got a crude understanding of differential geometry (I have a copy of Kreyszig, but haven't read it). So, what I'm doing is probably nothing more than generalizing to non-orthonormal frames. I really didn't know what I was doing when I started, and am not sure if I've got a clue now. I know that if you use a non-orthonormal frame you have to be more careful about derivatives (you have to include the \omega_{\mu} \nu terms to ensure that the derivative is frame invariant).
  • #1
Mentz114
5,432
292
Maybe this should be in the classical physics section, but there is a connection with GR so I'm posting here.

I've been looking at Lagrangians for oscillating systems because I'm interested in gravitational time dilation and stumbled on this. The Lagrangian for a free particle is just the kinetic energy, and I wondered what would happen if I allowed the inertial mass term to vary locally so that

[tex]L = \frac{1}{2}m(x)\dot{x}^2[/tex]

which leads to

[tex]\frac{\partial L}{\partial x} = 0, \frac{\partial L}{\partial\dot{x}} = m(x)\dot{x} [/tex]

and

[tex]\frac{d}{dt}\left(m(x)\dot{x}\right) = m'(x)\dot{x}^2 + \ddot{x}m(x) [/tex]

where the ' indicates differentiation wrt x. So for force free motion this is zero which gives the EOM

[tex]\ddot{x} = \frac{-m'(x)\dot{x}^2}{m(x)}[/tex]

This is interesting, because we have motion here without a force, ie coordinate acceleration.

Now, making the assertion that

[tex]m(x) = m_0f(x)[/tex] where m0 is a constant, we can say

[tex]\ddot{x} = \frac{-f'(x)\dot{x}^2}{f(x)}[/tex]

and the acceleration is independent of m0. This is a strong clue that the motion is being caused by gravity. The EOM also looks like the GR equivalent, where the coefficients of the velocities are the affine connections.

In order to conform to the known gravitational time dilation effect which is proportional to

[tex](g_{00})^{-1}[/tex]

we have to say

[tex]m(x) = (g_{00})^{-1}[/tex].

Doing the calculation for the Schwarzschild spacetime one finds

[tex]\frac{-m'(x)}{m(x)} = -\left(1-\frac{2m}{r}\right)^{-1}\frac{m}{r^2} = \Gamma^x_{xx}[/tex].

We get exactly the spatial part of the GR EOM.

What's happening is that translational symmetry of the Lagrangian is broken, giving rise to a gauge field that looks a lot like gravity, and seems to reproduce to some degree the EOM of GR. This is known already (Teleparallel gravity), but I haven't seen it done by allowing the inertial mass to be local.

My questions are

1. Have I made a mistake in my calculation ?

2. can anyone point me to related work ?

3. Did you spot the pun on 'connection' ?

M
 
Last edited:
Physics news on Phys.org
  • #2
Mentz114 said:
I wondered what would happen if I allowed the inertial mass term to vary locally so that

[tex]L = \frac{1}{2}m(x)\dot{x}^2[/tex]

which leads to

[tex]\frac{\partial L}{\partial x} = 0[/tex]

If m = m(x) then how can you say this derivative is zero? Example, m = x :

[tex]\frac{\partial L}{\partial x} = \frac{1}{2}\dot{x}^2[/tex]
 
  • #3
Thank you for pointing that out, Peeter.

Surprisingly, my major bungle makes little difference, just adding

[tex]\frac{f'(x)}{2f(x)}\dot{x}^2 [/tex] to the RHS of the EOM giving

[tex]\ddot{x} = \frac{-f'(x)\dot{x}^2}{2f(x)}[/tex]

Phew !

(Peeter, I'd be much obliged if you could check the sums again !).

If this is correct, we have a factor of 1/2 that isn't in the GR version.

I've had more time to think about the idea in general and I will have to do a lot more work in 4-D. It may be necessary to add spin as well to get the whole picture. I'm not sure if this is a gauge situation and I'm having trouble coming up with covariant derivatives that restore energy conservation.
 
Last edited:
  • #4
Mentz114 said:
Surprisingly, my major bungle makes little difference

Hi Mentz, yes I get the same result:

[tex]
\ddot{x} = -\frac{m_x \dot{x}^2}{2 m}
[/tex]

However, I don't understand anything GR related that you did after that;)

Fwiw, I was able to do the same derivatives with proper time/velocity and I get:

[tex]
m\dot{v} + v \sum \dot{x}^{\beta} \frac{\partial m}{\partial x^{\beta}} = \frac{1}{2} v^2 \nabla m
[/tex]

where:
[tex]
v = \sum \gamma_{\mu} \dot{x}^{\mu}
[/tex]
[tex]
\nabla = \sum \gamma^{\mu} \frac{\partial}{\partial x^{\mu}}
[/tex]
[tex]
\gamma^{\mu} \cdot \gamma_{\nu} = \delta^{\mu}_{\nu}
[/tex]

I don't know if this is what you were also getting (and for GR I have the suspision that you let the frame vectors vary with position/time)?
 
  • #5
Peeter,

I'm glad we agree. In fact, with the extra term I can see the possibility of getting covariant derivative which will restore enrgy conservation.

I think I understand what you're doing, but is this what you mean,

[tex]m\dot{v} + v \sum \dot{x}^{\beta} \frac{\partial m}{\partial x^{\beta}} = m\dot{v} + \frac{1}{2} v^2 \nabla m[/tex]

in the second equation ? You seem to be doing the Lagrangian in curved space.

I'm not very practised in the diff. geom. approach, being a tensor person by training. If the [itex]\gamma_{\mu}[/itex] are frames and [itex]\gamma^ {\mu}[/itex] are co-frames, we can substitute (?)

[tex]\gamma_{1} = \gamma^{0} = (1-2M/r)^{-\frac{1}{2}}, \gamma^{1} = \gamma_{0} = (1-2M/r)^{\frac{1}{2}}[/tex]

for the Schwarzschild case and try it.

Anyhow, thanks for the input so far. I have to think about this. I need to get the proper time from my gauge field.

M
 
  • #6
Mentz114 said:
You seem to be doing the Lagrangian in curved space.

...

[tex]\gamma_{1} = \gamma^{0} = ... [/tex]

Hi Mentz,

I was using flat space, but allowing for a non-orthonormal frame if desired.

Now, it's worth pointing out here that I'm not a phyisist, nor even a physics student. I have an undergrad Engineering degree, am a computer programmer, and have been self studying (special) relativity lately. My way of doing things is probably weird to anybody who actually knows what they are doing. I've typed up my derivation of the above, explaining the approach and notation. I've probably got too much detail, but it should be sufficient that somebody that isn't me can understand what I did and my assumptions:

http://www.geocities.com/peeter_joot/geometric_algebra/mass_vary_lagrangian.pdf

(despite taking only half a page on paper, it turned out too big in latex with explanations to conviently post inline).
 
  • #7
Thanks, Peeter, I'll have a look at that a little later. Have you read the paper I attached in post#3 in this thread ?

https://www.physicsforums.com/showthread.php?t=184302

My way of doing things is probably weird to anybody who actually knows what they are doing.

Join the club.

M
 
  • #8
No I hadn't, but it is an interesting looking paper. I'd say I have a considerable way to go before I'm capable of digesting much of it though;)

I do have a text of one of the authors referenced in that paper (Doran), that I've been working my way through very slowly. Its skims over a lot of details so you have to figure a lot out for yourself. Near the end I think it has some details on the GR approach in this paper. I was hoping to eventually get to that too, and after doing so I'll probably be in better shape to read that paper.
 
  • #9
Peeter,
I've had quick look at your paper - it all looks right, you have deduced the correct Lagrange principle and

[tex] L = \frac{1}{2}m(x)g_{\mu\nu}d\dot{x}^{\mu}d\dot{x}^{\nu}[/tex]

(you can drop the Sigma's since we assume summation over repeated indexes).

is the relativistic expression I'm looking for. Nice work. Sadly, I'm out of time for today, but you'll hear from me again on this.

Finally - how did you produce such beautiful PDF so quickly ?

M
 
Last edited:
  • #10
Mentz114 said:
Finally - how did you produce such beautiful PDF so quickly ?

Wasn't that quick, though I thought it would be;) I'd say it probably took me an hour to write it up, vs. 5 min on paper this morning while I ate my breakfast (and I was at work, so I'll have to work late tonight to make up for it)
 
  • #11
Hi Mentz, I've updated the pdf. I realized that the results can be algebraically reduced significantly, and when this is done the final result is nothing more than:

[tex]
\frac{d (mv)}{d\tau} = \nabla \frac{1}{2} m v^2
[/tex]

(in the pdf writeup I also included a non-velocity dependant potential term).

When written like so:

[tex]
m \ddot{x} = \frac{1}{2} v^2 \nabla m - \dot{m} v
[/tex]

(using [itex]v^2 = c^2[/itex] to pull it out of the gradient), you can see the similarity in form to the corrected form of your original calculation.
 
  • #12
Peeter,
I read the update, thanks. I have found an attempt to make a gravity theory with variable mass here

https://www.physicsforums.com/showthread.php?t=145451

Unfortunately the author does not give a Lagrangian so I can't follow his logic.

I now don't think that the Lagrangian I started with can give a realistic theory because the field is a scalar and that never works for gravity except in weak fields.

M
 
  • #13
To get a semi-classical view of GR, you can use a Lagrangian in a flat background space using isotropic coordinates (relying on the spherically symmetrical case), treating the rest mass and c as variables affected by a scalar potential which is -Gm/rc^2 to first order. With that approximation, one can calculate orbits and for example determine the effect on the perihelion precession of different second-order terms in the potential.

All you have to do is assume the action is the usual integral of [itex]mc^2 d\tau[/itex], giving

[tex]L = -mc^2 \sqrt{1-v^2/c^2}[/tex]

(where the sign is a matter of convention).

Let [itex]\Phi[/itex] represent the timelike scalar factor in the metric, which is to the first order equal to [itex](1 - Gm/rc^2)[/itex]. The value of [itex]m[/itex] in the above equation is then equal to [itex]\Phi^{-3} m_0[/itex] and the value of [itex]c[/itex] is equal to [itex]\Phi^2 c_0[/itex] where [itex]m_0[/itex] and [itex]c_0[/itex] are the standard fixed values of the mass and speed of light as seen locally.

A bit of manipulation of the Euler-Lagrange equations then gives rise to the following equation of motion:

[tex]
d\mathbf{p}/dt = \frac{E}{c^2} \mathbf{g} ( 1 + v^2/c^2)
[/tex]

where [itex]E[/itex] is the total energy and the Newtonian-style acceleration vector [itex]g[/itex] is given by

[tex]
\mathbf{g} = \frac{c^2}{\Phi} \nabla \Phi
[/tex]

Note that if you only take into account the effect of the potential on time and not on space, you get a Newtonian-style equation of motion instead, changing the sign of the [itex]v^2/c^2[/itex] term, which does not give the correct deflection of fast-moving objects:

[tex]
d\mathbf{p}/dt = \frac{E}{c^2} \mathbf{g} ( 1 - v^2/c^2)
[/tex]

or, dividing both sides by [itex]\sqrt{1-v^2/c^2}[/itex],

[tex]
d\mathbf{p}/d\tau = m \mathbf{g}
[/tex]

which is the obvious (but incorrect) special relativity Newtonian gravitational equation of motion.
 
  • #14
Jonathan, I can see how coupling [itex]\Phi[/itex] to the mass and the speed of light gives those equations. I think in my original Lagrangian, I only coupled to the mass. Anyhow, I think the lesson is that a scalar field is only going to give weak field gravity at best. Interesting, though.

The GR Lagrangian, whose 4-D volume integral is an action

[tex]S = \int dx^4 L = m\int dx^4 g_{ab}\dot{x}^a\dot{x}^b[/tex]

may be extremised to get the geodesic equations ( the [itex]g_{ab}[/itex] being functions of the coordinates now)

If the m term is dropped, then what is being extremised is the proper length of the curve. So in curved space the proper length is proportional to the action (?).


M
 
  • #15
I completed the calculations in Minkowski space-time for the mass varying Lagrangian,

[tex]L = m(x_{\mu})\eta_{ab}\dot{x}^a\dot{x}^b[/tex]

from which we get by standard Euler-Lagrange procedure,

[tex]mg_{a\mu}\ddot{x}^a = \frac{1}{2}(\partial_{\mu}m)g_{ab}\dot{x}^a\dot{x}^b - (\partial_{\beta}m)\dot{x}^{\beta}g_{\alpha\mu}\dot{x}^{\alpha}= A_{\mu} - B_{\mu}[/tex]
( see peeter's paper, above ) and so

[tex]\ddot{x}^a = \frac{1}{m}g^{a\mu}(A_{\mu} - B_{\mu})[/tex]

In order to compare the EOM with those of the Rindler space-time, we set

[tex]\phi_{\mu} \equiv \frac{\partial_{\mu}m}{m} = 0 , \mu \ne 1[/tex]

which gives,

[tex]\ddot{x}^0 = \phi_1\dot{x}^0\dot{x}^1[/tex]
[tex]\ddot{x}^1 = \frac{\phi_1}{2}((\dot{x}^0)^2+(\dot{x}^1)^2)[/tex]

Compare these to the proper time EOM for the Rindler metric, which is the nearest thing in GR to the scenario above,

[tex]\ddot{x}^0 = -\frac{2a}{(1+ax)}\dot{x}^0\dot{x}^1[/tex]
[tex]\ddot{x}^1 = -a(1+ax)(\dot{x}^0)^2[/tex]

Which look incompatible to me.
 
  • #16
There are error in the above. The EOMs are

[tex]\ddot{x}^0 = \phi_1\dot{x}^0\dot{x}^1[/tex]
[tex]\ddot{x}^1 = \frac{\phi_1}{2}((\dot{x}^0)^2+(\dot{x}^1)^2)[/tex]

and
[tex]\ddot{x}^0 = -\frac{2a}{(1+ax)}\dot{x}^0\dot{x}^1[/tex]
[tex]\ddot{x}^1 = -a(1+ax)(\dot{x}^0)^2[/tex]
 

1. What is "Force-free motion from a busted Lagrangian"?

"Force-free motion from a busted Lagrangian" refers to a scenario in classical mechanics where a system is moving without any external forces acting on it, despite having a Lagrangian (a function that describes the dynamics of a system) that is not valid or has "broken" equations of motion.

2. How is this phenomenon possible?

This phenomenon is possible due to the principle of least action, which states that a physical system will always follow a path that minimizes the action (a quantity that is related to the energy) of the system. In the case of force-free motion from a busted Lagrangian, the equations of motion may be broken, but the system still follows the path that minimizes the action.

3. What are some examples of systems that exhibit force-free motion from a busted Lagrangian?

One example is a simple pendulum that is swinging without any external forces acting on it, despite having an incorrect or "busted" Lagrangian. Another example is a charged particle moving in a magnetic field without experiencing any force, even though the Lagrangian for this system is not valid.

4. How is this phenomenon relevant in real-world applications?

Understanding force-free motion from a busted Lagrangian is important in studying systems that do not follow traditional laws of motion, such as certain types of plasmas or astrophysical objects. It also has implications in the study of quantum mechanics and the behavior of particles at a microscopic level.

5. Can this phenomenon be observed in everyday life?

While force-free motion from a busted Lagrangian is not commonly observed in everyday life, it can be seen in certain systems such as a spinning top or a falling cat, where the system appears to move without any external forces acting on it. However, these systems can also be explained using traditional laws of motion and do not necessarily involve a "busted" Lagrangian.

Similar threads

  • Special and General Relativity
Replies
15
Views
1K
  • Special and General Relativity
Replies
7
Views
1K
  • Special and General Relativity
Replies
18
Views
2K
  • Special and General Relativity
Replies
11
Views
906
  • Special and General Relativity
2
Replies
44
Views
2K
  • Special and General Relativity
Replies
3
Views
1K
  • Special and General Relativity
Replies
1
Views
714
  • Special and General Relativity
Replies
7
Views
1K
  • Mechanics
Replies
3
Views
909
Replies
2
Views
126
Back
Top