Derivation of relativistic motion equations from action

lmcelroy
Messages
8
Reaction score
0
Anyone willing to derive the motion equations of special relativity from the SR action:

S = -m0c2t1t21/γ dt
where:
m0 = rest mass
γ = Lorentz factor =1/√(1-v2/c2)
v is the velocity as a function of time.

The full action contains terms of the vector potential and scalar potential but assume that these are negligible. I think that is all the information required. Thanks in advance
 
Physics news on Phys.org
I've decided to use units where c=1 for simplicity. Also note that v^2=\vec{v}\cdot \vec{v}, where \vec{v} is the three-velocity. \vec{x} is the three-position (x,y,z), and \vec{p} is the relativistic three-momentum.Varying the action gives:

\delta S= - \int \delta (m \sqrt{1-v^2}) dt=0

Simplifying:

-\int \delta (m \sqrt{1-\vec{v}\cdot \vec{v}}) dt= - \int \frac{m \vec{v}\cdot \delta \vec{v}}{\sqrt{1-v^2}}dt

If you integrate by parts, the integrated term will be dotted with δx, so it goes to zero when evaluated at the boundaries. What you're left with is:

\int \frac{d}{dt} \left ( \frac{m \vec{v}}{\sqrt{1-v^2}} \right ) \cdot \delta \vec{x}~dt=0

The integrand, as you can see, is the time derivative of the relativistic momentum. For δS to be zero identically, this must be zero. So we're done:

\frac{d}{dt} \left ( \frac{m \vec{v}}{\sqrt{1-v^2}} \right )= \frac{d\vec{p}}{dt}=0This tells us that objects will move inertially. Had you chosen to include the vector and scalar potentials, you would have ended up with:

\frac{d}{dt} \left ( \frac{m \vec{v}}{\sqrt{1-v^2}} \right )= q(\vec{E}+\vec{v}\times \vec{B})

Where:

\vec{E}=-(\nabla \phi +\frac{\partial \vec{A}}{\partial t})
\vec{B}= \nabla \times \vec{A}

with \phi and \vec{A} as the scalar and vector potential respectively.
 
Also, an easier way to go about things might be the following:

We're supposed to extremize S = -m∫L(x,v,t)dt = -m∫(1/γ) dt. We can just plug this Lagrangian into the Euler-Lagrange equation. A trick to make this easier is to realize that if a Lagrangian L satisfies the Euler-Lagrange equation, then in general any function of the Lagrangian f(L) also satisfies the Euler-Lagrange equation as long as ∂/∂λ (∂f/∂L)=0, where λ is your parameter (I can't think of an example where this wouldn't be the case, but I included it just to be safe). The reason is simple:

If:

∂L/∂q = ∂/∂λ (∂L/∂(∂q/∂λ))

, then by chain rule we get that:

∂f/∂q = (∂f/∂L)(∂L/∂q) = (∂f/∂L)(∂/∂λ)(∂L/∂(∂q/∂λ)) = ∂/∂λ (∂f/∂(∂q/∂λ))So, instead of using L(x,v,t) = 1/γ, we can use f(L) = L2 = γ-2 = (1-v2):\frac{\partial }{\partial \vec{x}}[1-\vec{v}\cdot \vec{v}]=0

and

\frac{\partial }{\partial t} \frac{\partial }{\partial \vec{v}}[1-\vec{v}\cdot \vec{v}]=\frac{\partial }{\partial t}[-2\vec{v}]=-2\frac{\partial \vec{v}}{\partial t}

So we find that:

\frac{\partial \vec{v}}{\partial t}=0.

This is equivalent to what I did in my last post. They both say that objects will move inertially (not accelerate).
One more thing to point out is that dt/γ = dτ, where τ is proper time. This means that the action S = -m∫dτ = -mΔτ. So extremizing the action is equivalent to extremizing the proper time elapsed. Some call this the principle of extremal proper time, and it generalizes nicely to general relativity. Geodesics can be found in this way, by extremizing ∫gμν(dxμ/dλ)(dxν/dλ)dλ.
 
Last edited:
^Thanks for that. An easy to follow derivation and explanation even for someone new to the calculus of variations, as myself.
 
I asked a question here, probably over 15 years ago on entanglement and I appreciated the thoughtful answers I received back then. The intervening years haven't made me any more knowledgeable in physics, so forgive my naïveté ! If a have a piece of paper in an area of high gravity, lets say near a black hole, and I draw a triangle on this paper and 'measure' the angles of the triangle, will they add to 180 degrees? How about if I'm looking at this paper outside of the (reasonable)...
From $$0 = \delta(g^{\alpha\mu}g_{\mu\nu}) = g^{\alpha\mu} \delta g_{\mu\nu} + g_{\mu\nu} \delta g^{\alpha\mu}$$ we have $$g^{\alpha\mu} \delta g_{\mu\nu} = -g_{\mu\nu} \delta g^{\alpha\mu} \,\, . $$ Multiply both sides by ##g_{\alpha\beta}## to get $$\delta g_{\beta\nu} = -g_{\alpha\beta} g_{\mu\nu} \delta g^{\alpha\mu} \qquad(*)$$ (This is Dirac's eq. (26.9) in "GTR".) On the other hand, the variation ##\delta g^{\alpha\mu} = \bar{g}^{\alpha\mu} - g^{\alpha\mu}## should be a tensor...
Back
Top