Intuitive Lagrangian Mechanics
post by lsusr · 2020-06-13T09:19:52.242Z · LW · GW · 10 commentsThis is a link post for https://www.lsusr.com/blog/intuitive-lagrangian-mechanics.html
Contents
Special Relativity Why add V to α? None 10 comments
Lagrangian mechanics is an alternative formulation of Newtonian mechanics. Newtonian mechanics solves movements using successive approximations. Lagrangian mechanics figures out the whole path all at once. Lagrangian mechanics is useful for solving problems subject to certain constraints. It is also a prerequisite to understanding quantum field theory and the path integral formulation of quantum mechanics.
In the classical formulation of Lagrangian mechanics, the Lagrangian is the difference between a particle's kinetic energy and potential energy .
The action of a particle is the path integral of its Lagrangian.
The path of a particle extremizes .
We therefore derive the Euler–Lagrange equations.
Does this make sense to you? Because subtracting potential energy from kinetic energy does not make conceptual sense to me. Besides, what, conceptually, is "action" and why should it be extremized? Lagrangian mechanics make better sense in special relativity.
Special Relativity
To make things more intuitive, let's look at Lagrangian mechanics in the context of special relativity, from which classical Lagrangian mechanics is an approximation. I will set because space and time ought to have the same units. I will set for convenience because the rest mass of our particle does not change.
The most important number in special relativity is the Lorentz factor , the instantaneous ratio of coordinate time to proper time .
We can[1] take the action to be the length of the particle's world line between proper times and . (Note that is a function of .)
Locally maximizing equals locally maximizing the proper time experienced by a particle. The Lagrangian is the expression inside of the coordinate time integral.
If you think of all matter particles as moving through spacetime at a speed of 1 along the hypotenuse of a right triangle with one spatial leg and one temporal leg then the particle's spatial velocity is and its temporal velocity is .
The Laplacian is simply , the particle's temporal velocity. The action is the integral of the temporal velocity. Therefore, extremizing (maximizing[2]) the action equals maximizing proper time.
Hamilton's principle, that the evolution of a system is a stationary point of the action functional , naturally follows.
Why add to ?
Under general relativity, time slows down for a particle in a gravity well. In other words, a gravity well decreases the particle's temporal velocity. (This generalizes to the other fundamental forces.) Flipping this around, increases to a particle's potential increase its temporal velocity. It therefore makes intuitive sense to add potential to special relativistic temporal velocity .
Thus we arrive at the Euler–Lagrange equations.
Classical Lagrangian mechanics follows as a second order approximation.
The action also includes a factor of . We have already declared . I have removed the factor of too because mechanics in general and in particular are symmetric with respect to time parity. It does not matter to the Euler–Lagrange equations whether is flipped by a minus sign. ↩︎
Conventionally, is minimized. Since I removed the minus sign from we maximize it instead. ↩︎
10 comments
Comments sorted by top scores.
comment by Shmi (shminux) · 2020-06-13T19:19:13.719Z · LW(p) · GW(p)
Your definition of "intuitive" is unlikely to match that of most participants here.
Replies from: adele-lopez-1, simon, lsusr↑ comment by Adele Lopez (adele-lopez-1) · 2020-06-21T04:59:02.554Z · LW(p) · GW(p)
FWIW this did make Lagrangian mechanics feel more intuitive for me. I wish it showed the derivation of the classical version as a second order approximation though.
↑ comment by simon · 2020-06-14T03:20:21.757Z · LW(p) · GW(p)
FWIW, if I were asked before reading this why you substract the potential energy from the kinetic energy, I wouldn't have had a quick answer - I think "it's minimizing the overall time dilation from gravity and speed" is a really neat way to think about it.
As to why time dilation would be relevant, if you've read QED by Richard Feynman he has a visualization where you think of each (version of a) particle of having a clock with a hand that goes around and around, and you add up the hands of all the clocks for all the particles that took all the different paths.
In the end only the (versions of the) particle that took the paths very close to where the time taken is extremized add up to the final result, everything else cancels because tiny differences in path lead to opposite directions of the clock hand.
Replies from: shminux↑ comment by Shmi (shminux) · 2020-06-14T05:05:45.702Z · LW(p) · GW(p)
I've read the post a couple of times over, and I still don't have an intuitive understanding of why one would subtract potential energy from kinetic, despite having done graduate work in general relativity. Yes, extremizing action comes from the stationary phase approximation of the path integral, and yes, following a path with "low potential energy" makes you arrive to the destination younger, just like moving faster does (yet arriving at the same instant as those moving slower), but first, it's not obvious why the former is so, and second, why it would matter in non-gravitational physics, especially in classical mechanics. I would like to see an intuitive argument where the difference between kinetic and potential energies makes sense.
↑ comment by lsusr · 2020-06-13T19:57:59.530Z · LW(p) · GW(p)
Well, there's always the classical derivation. :)
This article comes from trying to understand A Simple Introduction to Particle Physics, "notes…intended for a student who has completed the standard undergraduate physics and mathematics courses".
comment by DaemonicSigil · 2020-10-31T18:00:01.355Z · LW(p) · GW(p)
Nice. Some people in the comments were asking about the actual Taylor expansion for kinetic energy. So here it is (assuming ): (Since the derivative of is , we have for small .) So, up to an additive constant, we have . Also, if we want to account for non-gravitational potential energy as well, we can note that in special relativistic units, in free space, and in a potential. ( being the energy of the particle measured in that particle's frame.) So, assuming :
Replies from: habryka4↑ comment by habryka (habryka4) · 2020-10-31T18:10:03.286Z · LW(p) · GW(p)
Note that you can use actual LaTeX in your comments by pressing CMD/CTRL+4 in the editor and typing LaTeX in there (or using the toolbar option for inserting math).
Replies from: DaemonicSigil↑ comment by DaemonicSigil · 2020-10-31T18:21:03.463Z · LW(p) · GW(p)
Ah thanks, I've got it now. My browser seems to not like CMD-4, but putting dollar signs in markdown worked.
comment by AlexMennen · 2020-06-15T07:28:46.674Z · LW(p) · GW(p)
I'm confused about the motivation for in terms of time dilation in general relativity. I was under the impression that general relativity doesn't even have a notion of gravitational potential, so I'm not sure what this would mean. And in Newtonian physics, potential energy is only defined up to an added constant. For to represent any sort of ratio (including proper time/coordinate time), V would have to be well-defined, not just up to an arbitrary added constant.
I also had trouble figuring out the relationship between the Euler-Lagrange equation and extremizing S. The Euler-Lagrange equation looks to me like just a kind of funny way of stating Newton's second law of motion, and I don't see why it should be equivalent to extremizing action. Perhaps this would be obvious if I knew some calculus of variations?
Replies from: Charlie Steiner↑ comment by Charlie Steiner · 2020-06-15T07:54:46.096Z · LW(p) · GW(p)
Well, it makes sense for the effective field theory form of GR, for light at least.
The key to remembering how to derive the Euler-Lagrange equation (for me) is to remember that the variation in L vanishes at the boundary. This is what's going to let you do an integration by parts and throw away the constant term. Actually, once you have an intuitive grasp of what's going on, it's kind of fun to derive generalized EL equations for Lagrangians with more complicated stuff in them.