Why does action have to be invariant?

  • Thread starter mmmboh
  • Start date
  • Tags
    Invariant
In summary, classical mechanics doesn't allow for particles to interact instantly at a distance, so in SR we have to use a different Lagrangian. The action is still differential, but it's determined up to a total differential of an arbitrary function of coordinates.
  • #1
mmmboh
407
0
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...
 
Physics news on Phys.org
  • #2
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=T-V, because a universal potential like V would represent instantaneous interaction at a distance, which SR doesn't allow.
 
  • #3
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
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
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
mmmboh said:
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?
If you perform an experiment at rest in one Frame of Reference, recording the coordinates of all the significant events and then you transform all those events into a new FoR moving with respect to the first one, you will not see the experiment behaving the same way because it will not be at rest in this new FoR. What you have to do is repeat the experiment while at rest in the new FoR and then the experiment will behave the same way as before.
 
Last edited:
  • #7
mmmboh said:
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?

Now you're talking about a theory in which a ball interacts with a planet through instantaneous action at a distance. For the reasons I gave in #2, you can't just model that with L=T-V and expect it to work relativistically.
 
  • #8
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 coordinate-dependent, and GR doesn't even come equipped with a default set of coordinates.
 
  • #9
Ok so you can't use L=T-V 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 non-relativistic Lagrangian mechanics, but not relativistic. I know the justification for why L=T-V 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.
 
Last edited:
  • #10
mmmboh said:
I've studied non-relativistic Lagrangian mechanics, but not relativistic. I know the justification for why L=T-V in CM (class. mech) and why nature minimizes the action.
Could you please enlighten us why Nature chooses to do so?
 
  • #11
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
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
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
mmmboh said:
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.

Yes. The weak forces and the strong forces were discovered in this way, although one does not minimize the action in Quantum Mechanics, but it still plays an important role.
 

1. Why is invariance important in science?

Invariance is important in science because it ensures that the results of an experiment or observation are consistent and not affected by external factors. This allows scientists to make accurate conclusions and create reliable theories and models.

2. How does invariance relate to the laws of physics?

Invariance is a fundamental concept in physics and is closely related to the laws of physics. The laws of physics are expressed in terms of mathematical equations that are invariant under certain transformations, such as time and space. This means that the laws of physics hold true regardless of the position, orientation, or direction of an object or system.

3. What is the connection between invariance and symmetry?

Invariance and symmetry are closely related concepts. Invariance describes the consistency of a system under certain transformations, while symmetry describes the properties that remain unchanged under these transformations. In other words, invariance is a necessary condition for symmetry to exist.

4. How does invariance affect our understanding of the world?

Invariance is a powerful tool that helps us understand the world around us. By studying the properties that remain unchanged under different conditions, scientists can identify fundamental principles and laws that govern the behavior of the universe. Invariance also allows us to make predictions and test theories through experiments and observations.

5. Can invariance be violated?

Invariance is a fundamental principle in science, but it is not absolute. In certain situations, such as extreme conditions or at a quantum level, invariance can be violated. This can lead to new discoveries and a deeper understanding of the laws of physics. However, invariance is still a crucial concept in science and remains a valuable tool for scientists in their pursuit of knowledge.

Similar threads

  • Special and General Relativity
5
Replies
146
Views
5K
  • Special and General Relativity
Replies
30
Views
2K
  • Special and General Relativity
Replies
10
Views
913
  • Special and General Relativity
Replies
3
Views
2K
  • Special and General Relativity
Replies
7
Views
974
  • Special and General Relativity
Replies
2
Views
844
  • Special and General Relativity
5
Replies
144
Views
6K
  • Special and General Relativity
Replies
3
Views
1K
  • Special and General Relativity
Replies
22
Views
1K
  • Special and General Relativity
Replies
31
Views
8K
Back
Top