Lagrangian mechanics derives motion from the stationary action of through the Euler--Lagrange equations.
A potential is invariant under the screw transformation . The Noether conserved quantity for a mechanical point symmetry isa linear combination of axial linear momentum and axial angular momentum.
A generalized coordinate absent from the Lagrangian is cyclic. Its conjugate generalized momentum is conserved by the Euler-Lagrange equations.
The action of a path is the time integral of its Lagrangian. The principle of stationary action requires its first variation to vanish for every admissible fixed-endpoint variation.
The principle of stationary action says that the physical path between fixed endpoints is a stationary point of the action.
Replacing a Lagrangian byadds only the endpoint term to the action. Fixed-endpoint variations therefore give the same Euler--Lagrange equations.
For electromagnetic scalar and vector potentials and ,Withthe Euler--Lagrange equations give the Lorentz force , while the canonical momentum is .
Under and , the charged-particle Lagrangian changes byIt therefore has unchanged equations of motion by total-time-derivative invariance.
For a constant uniform magnetic field , choose the symmetric gauge . The coordinate parallel to is cyclic, so its canonical momentum is conserved. Since , this component is also the mechanical momentum .
A coordinate is ignorable, or cyclic, when . The Euler--Lagrange equation then gives , so its generalized momentum is conserved.
If a Lagrangian is independent of a coordinate, the conjugate momentum to that coordinate is conserved by the Euler--Lagrange equations.
If and depends only on and , then rotations about the axis leave invariant. The quantity supplied by Noether theorem is the axial angular momentumIf also has no explicit time dependence, the energy is conserved independently.
A double pendulum consists of two pendula coupled because the second pivot moves with the first mass.
The kinetic energy contains the coupling , while gravity supplies one cosine potential for each mass height.
The nonlinear Euler--Lagrange equations couple both angular accelerations and contain centrifugal terms quadratic in angular velocity.
For point masses with generalized coordinates, kinetic energy follows by differentiating their Cartesian position vectors and summing .
At an equilibrium, a positive-definite Hessian matrix of the potential gives stable small oscillations. If a continuous symmetry supplies zero modes, positive definiteness on the directions transverse to the symmetry gives stability of the relative configuration.
For two masses hung in series from springs of natural length , the lower equilibrium spring tension is and the upper tension is . Hence their equilibrium lengths are
For equal masses and spring constants , vertical displacements from equilibrium have stiffness and mass matricesThe two squared frequencies and displacement ratios areGravity shifts the equilibrium but does not enter these vertical frequencies.
The Hessians of kinetic and potential energy at equilibrium give the symmetric mass matrix and stiffness matrix .
For symmetric stiffness matrix and positive-definite mass matrix , eigenvectors ofwith distinct squared frequencies satisfyThus normal modes are orthogonal in the kinetic-energy inner product.
A weakly coupled degenerate pair can split by order when the small parameter enters a singular mass or stiffness matrix.
If the mass and stiffness matrices commute with a permutation representation, each symmetry subspace is invariant under the generalized eigenvalue problem for small oscillations. On an irreducible subspace, Schur lemma forces a commuting operator to be scalar, producing a degenerate normal mode multiplet.
Let three equal masses move on a circle of radius , and let the potential be with . At equal spacing , angular displacements have a zero-frequency rigid-rotation mode and a two-dimensional sum-zero eigenspace withThe two vibrational modes are degenerate by the permutation symmetry.
For three unit masses with unit springs between every pair and one unit spring anchoring each mass to the origin,where is the all-ones matrix. The collective mode has angular frequency , while the two-dimensional sum-zero subspace has angular frequency .
For equal masses , wall-spring constants , and coupling-spring constant , the small-oscillation mass and stiffness matrices areIf , , and , the squared normal frequencies are
Articles by others on the same topic
Lagrangian mechanics is a formulation of classical mechanics that uses the principle of least action to describe the motion of objects. Developed by the mathematician Joseph-Louis Lagrange in the 18th century, this approach reformulates Newtonian mechanics, providing a powerful and elegant framework for analyzing mechanical systems.
Originally it was likely created to study constrained mechanical systems where you want to use some "custom convenient" variables to parametrize things instead of global x, y, z. Classical examples that you must have in mind include:lagrangian mechanics lectures by Michel van Biezen (2017) is a good starting point.
- compound Atwood machine. Here, we can use the coordinates as the heights of masses relative to the axles rather than absolute heights relative to the ground
- double pendulum, using two angles. The Lagrangian approach is simpler than using Newton's laws
- two-body problem, use the distance between the bodies
When doing lagrangian mechanics, we just lump together all generalized coordinates into a single vector that maps time to the full state:where each component can be anything, either the x/y/z coordinates relative to the ground of different particles, or angles, or nay other crazy thing we want.
Then, the stationary action principle says that the actual path taken obeys the Euler-Lagrange equation:This produces a system of partial differential equations with:
- equations
- unknown functions
- at most second order derivatives of . Those appear because of the chain rule on the second term.
The mixture of so many derivatives is a bit mind mending, so we can clarify them a bit further. At:the is just identifying which argument of the Lagrangian we are differentiating by: the i-th according to the order of our definition of the Lagrangian. It is not the actual function, just a mnemonic.
Then at:
- the part is just like the previous term, just identifies the argument with index ( because we have the non derivative arguments)
- after the partial derivative is taken and returns a new function , then the multivariable chain rule comes in and expands everything into terms
However, people later noticed that the Lagrangian had some nice properties related to Lie group continuous symmetries.
Basically it seems that the easiest way to come up with new quantum field theory models is to first find the Lagrangian, and then derive the equations of motion from them.
For every continuous symmetry in the system (modelled by a Lie group), there is a corresponding conservation law: local symmetries of the Lagrangian imply conserved currents.
Genius: Richard Feynman and Modern Physics by James Gleick (1994) chapter "The Best Path" mentions that Richard Feynman didn't like the Lagrangian mechanics approach when he started university at MIT, because he felt it was too magical. The reason is that the Lagrangian approach basically starts from the principle that "nature minimizes the action across time globally". This implies that things that will happen in the future are also taken into consideration when deciding what has to happen before them! Much like the lifeguard in the lifegard problem making global decisions about the future. However, chapter "Least Action in Quantum Mechanics" comments that Feynman later notice that this was indeed necessary while developping Wheeler-Feynman absorber theory into quantum electrodynamics, because they felt that it would make more sense to consider things that way while playing with ideas such as positrons are electrons travelling back in time. This is in contrast with Hamiltonian mechanics, where the idea of time moving foward is more directly present, e.g. as in the Schrödinger equation.
Genius: Richard Feynman and Modern Physics by James Gleick (1994) chapter "The Best Path" mentions that Richard Feynman didn't like the Lagrangian mechanics approach when he started university at MIT, because he felt it was too magical. The reason is that the Lagrangian approach basically starts from the principle that "nature minimizes the action across time globally". This implies that things that will happen in the future are also taken into consideration when deciding what has to happen before them! Much like the lifeguard in the lifegard problem making global decisions about the future. However, chapter "Least Action in Quantum Mechanics" comments that Feynman later notice that this was indeed necessary while developping Wheeler-Feynman absorber theory into quantum electrodynamics, because they felt that it would make more sense to consider things that way while playing with ideas such as positrons are electrons travelling back in time. This is in contrast with Hamiltonian mechanics, where the idea of time moving foward is more directly present, e.g. as in the Schrödinger equation.
And partly due to the above observations, it was noticed that the easiest way to describe the fundamental laws of particle physics and make calculations with them is to first formulate their Lagrangian somehow: S.
TODO advantages:
- physics.stackexchange.com/questions/254266/advantages-of-lagrangian-mechanics-over-newtonian-mechanics on Physics Stack Exchange, fucking closed question...
- www.quora.com/Why-was-Lagrangian-formalism-needed-in-the-presence-of-Newtonian-formalism
- www.researchgate.net/post/What_is_the_advantage_of_Lagrangian_formalism_over_Hamiltonian_formalism_in_QFT
Bibliography:
- www.physics.usu.edu/torre/6010_Fall_2010/Lectures.html Physics 6010 Classical Mechanics lecture notes by Charles Torre from Utah State University published on 2010,
- Classical physics only. The last lecture: www.physics.usu.edu/torre/6010_Fall_2010/Lectures/12.pdf mentions Lie algebra more or less briefly.
- www.damtp.cam.ac.uk/user/tong/dynamics/two.pdf by David Tong
Euler-Lagrange equation explained intuitively - Lagrangian Mechanics by Physics Videos by Eugene Khutoryansky (2018)
Source. Well, unsurprisingly, it is exactly what you can expect from an Eugene Khutoryansky video.