Why does action have to be invariant?by mmmboh Tags: action, invariant, lagrangian, special relativity 

#1
Jul3011, 12:55 PM

P: 408

In classical mechanics, isn't kinetic energy not a Galilean scalar? So the action isn't invariant under Galilean transformations, but we can still use it with Galilean transformations. So why must it be a scalar in special relativity?
I think I'm missing something... 



#2
Jul3011, 01:25 PM

Emeritus
Sci Advisor
PF Gold
P: 5,500

To be more concrete, we should probably talk about what system we have in mind.
For a system consisting of a single particle that isn't interacting with anything, the Lagrangian in SR is just the particle's proper time, which is a Lorentz scalar. In the nonrelativistic limit, this Lagrangian becomes simply the universal time coordinate that everyone agrees on. It is invariant under Galilean transformations. One thing to keep in mind is that the way of expressing the Lagrangian isn't unique. You can have different Lagrangians that make the same predictions. This may be helpful: http://www.eftaylor.com/pub/variational1D.html See section V, where they go from the "abbreviated action" to the "just plain action." When you want to make particles interact, relativistically it doesn't make sense to do L=TV, because a universal potential like V would represent instantaneous interaction at a distance, which SR doesn't allow. 



#3
Jul3011, 01:34 PM

P: 408

I'm confused. If you launch a ball in a train, and you are in the train, the kinetic energy of the ball will be less than if you were standing outside the train, so the calculated actions will be different, won't they? Which would mean the action isn't invariant. So why would we assume the action is invariant under Lorentz transformations?




#4
Jul3011, 01:49 PM

Sci Advisor
P: 8,005

Why does action have to be invariant?
In Zwiebach's string theory text, he says the Galilean example shows it may not be necessary, and might be too strong a constraint, and just luckily it turns out ok in the cases he discusses.




#5
Jul3011, 02:03 PM

P: 3,015

The action is not an invariant, but it's differential is determined up to a total differential of an arbitrary function of coordinates:
[tex] dS' = dS + df(q, t) [/tex] This does not affect the extremal properties of the action since it simply gives an additive constant. 



#6
Jul3011, 02:11 PM

PF Gold
P: 4,524





#7
Jul3011, 03:25 PM

Emeritus
Sci Advisor
PF Gold
P: 5,500





#8
Jul3011, 03:47 PM

Emeritus
Sci Advisor
PF Gold
P: 5,500

I know the OP was asking in the context of SR, but, e.g., #3 involves gravity which brings us into GR. In the context of GR, it clearly wouldn't make sense to formulate an action that wasn't a Lorentz scalar. If you tried to do that, it would be coordinatedependent, and GR doesn't even come equipped with a default set of coordinates.




#9
Jul3011, 06:53 PM

P: 408

Ok so you can't use L=TV in SR, but why does that imply the action is invariant? The action being invariant is the only justification I've read for why the SR Lagrangian is what it is. But in classical mechanics, Galilean transformations are analogous to Lorentz transformations...so if the action doesn't have to be Galilean invariant in classical mechanics, why is it assumed it is invariant in SR?
I've studied nonrelativistic Lagrangian mechanics, but not relativistic. I know the justification for why L=TV in CM (class. mech) and why nature minimizes the action, but from what I've read in SR, this seems really contrived. They just assume that there is an integral that is invariant under Lorentz transformations, and that nature minimizes it. Does it have something to do with allowable coordinate transformations? I know in classical mechanics the allowable coordinate transformations are rotations and translations...although I don't see why it's just those two... Thanks for all the responses so far. 



#10
Jul3011, 07:59 PM

P: 3,015





#11
Jul3011, 08:00 PM

P: 408

I didn't mean it like that, I mean I've seen the derivation of the Lagrange equations without using the action, and that minimizing the action gives the same results.




#12
Jul3111, 10:02 AM

P: 3,015

Oh, ok. So, I guess what you meant was that the principle of least action is equivalent to Newton's laws or D'Alambert's principle. This is only true for purely mechanical systems. Nevertheless, the principle of least action is valid for a far wider range of phenomena. For example, as was pointed out above, due to the finite speed of propagation of interactions in Nature, the concept of action at a distance, which is essential in the notion of a potential energy, loses its meaning. One needs to ascribe a field as a continuum with its own degrees of freedom and its own action. The interaction between the particle and the field is then described by another term in the action.
On another note, in the first part of Landau Lifgarbagez, they derive the Lagrangian for a free particle on principle of homogeneity of space and time and isotropy of space and invariance (up to a total differential as I pointed out in #5) of the action differential w.r.t. to infinitesimal Galilean transformations. Let us follow this route in deriving the Lagrangian but w.r.t. to Lorentz invariance. Again, the Lagrangian has to be a function of the square of the velocity of the particle [itex]L = L(v^{2})[/itex]. The components of the velocity transform during an infinitesimal Lorentz transformation (with [itex]\beta = \epsilon \rightarrow 0[/itex]): [tex] v'_{x} = \frac{v_{x}  c \, \epsilon}{1  \frac{v_{x} \, \epsilon}{c}} = (v_{x}  c \, \epsilon) \, \left(1 + \frac{v_{x} \, \epsilon}{c} + o(\epsilon)\right) = v_{x}  c \, \left(1  \frac{v^{2}_{x}}{c^{2}} \right) \, \epsilon + o(\epsilon) [/tex] [tex] v'_{y} = \frac{v_{y} \, \sqrt{1  \epsilon^{2}}}{1  \frac{v_{x} \, \epsilon}{c}} = (v_{y} + o(\epsilon)) \left(1 + \frac{v_{x} \, \epsilon}{c} + o(\epsilon)\right) = v_{y} + \frac{v_{x} \, v_{y}}{c} \, \epsilon + o(\epsilon) [/tex] [tex] v'_{z} = v_{z} + \frac{v_{x} \, v_{z}}{c} \, \epsilon + o(\epsilon) [/tex] The square of the speed then expands as: [tex] v'^{2} = v'^{2}_{x} + v'^{2}_{y} + v'^{2}_{z} = v^{2}_{x}  2 \, c \, v_{x} \, \left(1  \frac{v^{2}_{x}}{c^{2}}\right) \, \epsilon + v^{2}_{y} + 2 \, \frac{v_{x} \, v^{2}_{y}}{c} \, \epsilon + v^{2}_{z} + 2 \, \frac{v_{x} \, v^{2}_{z}}{c} \, \epsilon + o(\epsilon) = v^{2}  2 c \, v_{x} \, \left(1  \frac{v^{2}}{c^{2}}\right) \, \epsilon + o(\epsilon) [/tex] Thus, the Lagrange's function has an expansion: [tex] L' \equiv L(v'^{2}) = L(v^{2})  2 c \, \epsilon \, v_{x} \, \frac{\partial L}{\partial v^{2}} \, \left(1  \frac{v^{2}}{c^{2}}\right) + o(\epsilon) [/tex] But, we are not done yet. We also have to transform the time differential up to linear powers in [itex]\epsilon[/itex]: [tex] dt' = \frac{dt  \epsilon \, \frac{dx}{c}}{\sqrt{1  \epsilon^{2}}} = dt  \frac{dx}{c} \, \epsilon + o(\epsilon) [/tex] Then, for the action differential, we get: [tex] L' \, dt' = L \, dt  \epsilon \, \left[\frac{L}{c} \, dx + 2 c \, \left(1  \frac{v^{2}}{c^{2}}\right) \, \frac{\partial L}{\partial v^{2}} \, v_{x} \, dt\right] + o(\epsilon) [/tex] The term in the square bracket is a total differential of a function of coordinates and time (remember that [itex]v_{x} \, dt = dx[/itex] along the trajectory of the particle) if and only if: [tex] \frac{L}{c} + 2 c \, \left(1  \frac{v^{2}}{c^{2}}\right) \, \frac{\partial L}{\partial v^{2}} = K [/tex] where K is a constant independent on the speed of the particle. This can be rearranged as an inhomogeneous first order linear ordinary differential equation (we make the substitution [itex]u = v^{2}/c^{2}[/itex] for the argument, which gives [itex]\frac{d L}{d u} = c^{2} \, \frac{\partial L}{\partial v^{2}}[/itex]): [tex] 2 (1  u) \, \frac{d L}{d u} + L = c \, K [/tex] [tex] \frac{d L}{d u} + \frac{1}{2(1  u)} \, L = \frac{c \, K}{2 (1  u)} [/tex] The integrating factor is: [tex] \mu(u) = \exp{\left(\int{\frac{du}{2(1 u)}}\right)} = \exp{\left[\frac{1}{2} \, \mathrm{Log}{(1  u)}\right]} = (1  u)^{1/2} [/tex] Then, the equation becomes: [tex] \frac{d}{d u}\left((1  u)^{1/2} \, L\right) = c \, K \, (1  u)^{3/2} [/tex] Integrating once: [tex] (1  u)^{1/2} \, L = C_{1}  c \, K \, \frac{(1  u)^{1/2}}{(1/2)} [/tex] [tex] L = C_{1} \, (1  u)^{1/2} + 2 \, c \, K [/tex] The additive constants are unimportant in the definition of the Lagrangian. Therefore we may omit the second constant term. [tex] L = C_{1} \, \sqrt{1  \frac{v^{2}}{c^{2}}} [/tex] Expanding for small speeds ([itex]v/c \ll 1[/itex]), we get: [tex] L = C_{1} \, \left[1  \frac{v^{2}}{2 c^{2}} + o\left(\frac{v^{2}}{c^{2}}\right)\right] [/tex] Again, we may ignore any constant terms that arise. Comparing this with the expression for the Lagrangian of a free particle (kinetic energy) in classical mechanics: [tex] L_{\mathrm{cl}} = \frac{m v^{2}}{2} [/tex] we conclude that: [tex] C_{1} = m \, c^{2} [/tex] and we finally get the well known result. 



#13
Jul3111, 12:10 PM

P: 408

Wow that's a very interesting derivation, thanks! By the way, has it ever been the case that someone successfully found the laws of a theory based on minimizing the action, without knowing the laws first? Like just by guessing a Lagrangian? I mean when the least action principle came along, the equations of classical mechanics were already known, and the equations for SR were already known before someone used the Lagrangian method as well.




#14
Jul3111, 12:17 PM

P: 3,015




Register to reply 
Related Discussions  
Proof Scalar action is conformally invariant  Quantum Physics  6  
"invariant" Lagrangian or action  Quantum Physics  5  
Why should the action be Lorentz invariant?  Special & General Relativity  2  
Poincare invariant action of a point particle  Classical Physics  5  
Poincaré invariant action of a point particle  Advanced Physics Homework  4 