 Lagrangian

This article is about Lagrange mechanics. For other uses, see Lagrangian (disambiguation).
The Lagrangian, L, of a dynamical system is a function that summarizes the dynamics of the system. It is named after Joseph Louis Lagrange. The concept of a Lagrangian was originally introduced in a reformulation of classical mechanics by Irish mathematician William Rowan Hamilton known as Lagrangian mechanics. In classical mechanics, the Lagrangian is defined as the kinetic energy, T, of the system minus its potential energy, V.^{[1]}^{:270} In symbols,
Under conditions that are given in Lagrangian mechanics, if the Lagrangian of a system is known, then the equations of motion of the system may be obtained by a direct substitution of the expression for the Lagrangian into the Euler–Lagrange equation, a particular family of partial differential equations.
Contents
The Lagrangian formulation
Importance
The Lagrangian formulation of mechanics is important not just for its broad applications, but also for its role in advancing deep understanding of physics. Although Lagrange only sought to describe classical mechanics, the action principle that is used to derive the Lagrange equation was later recognized to be applicable to quantum mechanics as well.
Physical action and quantummechanical phase are related via Planck's constant, and the principle of stationary action can be understood in terms of constructive interference of wave functions.
The same principle, and the Lagrangian formalism, are tied closely to Noether's theorem, which relates physical conserved quantities to continuous symmetries of a physical system.
Lagrangian mechanics and Noether's theorem together yield a natural formalism for first quantization by including commutators between certain terms of the Lagrangian equations of motion for a physical system.
Advantages over other methods
 The formulation is not tied to any one coordinate system—rather, any convenient variables ϕ_{i}(s) may be used to describe the system; these variables are called "generalized coordinates" and may be any independent variable of the system (for example, strength of the magnetic field at a particular location; angle of a pulley; position of a particle in space; or degree of excitation of a particular eigenmode in a complex system). This makes it easy to incorporate constraints into a theory by defining coordinates which only describe states of the system which satisfy the constraints.
 If the Lagrangian is invariant under a symmetry, then the resulting equations of motion are also invariant under that symmetry. This is very helpful in showing that theories are consistent with either special relativity or general relativity.
 Equations derived from a Lagrangian will almost automatically be unambiguous and consistent, unlike equations brought together from multiple formulations.^{[clarification needed]}
"Cyclic coordinates" and conservation laws
An important property of the Lagrangian is that conservation laws can easily be read off from it. For example, if the Lagrangian depends on the timederivative of a generalized coordinate, but not on q_{i} itself, then the generalized momentum,
 ,
is a conserved quantity. This is a special case of Noether's theorem. Such coordinates are called "cyclic".
For example, the conservation of the generalized momentum,
 ,
say, can be directly seen if the Lagrangian of the system is of the form
Also, if the time, t, does not appear in , then the conservation of the Hamiltonian follows. This is the energy conservation unless the potential energy depends on velocity, as in electrodynamics. More details can be found in any textbook on theoretical mechanics.
Explanation
The equations of motion are obtained by means of an action principle, written as:
where the action, , is a functional of the dependent variables φ_{i}(s) with their derivatives and s itself
and where denotes the set of n independent variables of the system, indexed by
The equations of motion obtained from this functional derivative are the Euler–Lagrange equations of this action. For example, in the classical mechanics of particles, the only independent variable is time, t. So the EulerLagrange equations are
Dynamical systems whose equations of motion are obtainable by means of an action principle on a suitably chosen Lagrangian are known as Lagrangian dynamical systems. Examples of Lagrangian dynamical systems range from the classical version of the Standard Model, to Newton's equations, to purely mathematical problems such as geodesic equations and Plateau's problem.
An example from classical mechanics
In the rectangular coordinate system
Suppose we have a threedimensional space and the Lagrangian
 .
Then, the Euler–Lagrange equation is:
where i = 1,2,3.
The derivation yields:
The Euler–Lagrange equations can therefore be written as:
where the time derivative is written conventionally as a dot above the quantity being differentiated, and is the del operator.
Using this result, it can easily be shown that the Lagrangian approach is equivalent to the Newtonian one.
If the force is written in terms of the potential ; the resulting equation is , which is exactly the same equation as in a Newtonian approach for a constant mass object.
A very similar deduction gives us the expression , which is Newton's Second Law in its general form.
In the spherical coordinate system
Suppose we have a threedimensional space using spherical coordinates r,θ,ϕ with the Lagrangian
Then the Euler–Lagrange equations are:
Here the set of parameters s_{i} is just the time t, and the dynamical variables ϕ_{i}(s) are the trajectories of the particle.
Despite the use of standard variables such as x, the Lagrangian allows the use of any coordinates, which do not need to be orthogonal. These are "generalized coordinates".
Lagrangian of a test particle
A test particle is a particle whose mass and charge are assumed to be so small that its effect on external system is insignificant. It is often a hypothetical simplified point particle with no properties other than mass and charge. Real particles like electrons and upquarks are more complex and have additional terms in their Lagrangians.
Classical test particle with Newtonian gravity
Suppose we are given a particle with mass kilograms, and position meters in a Newtonian gravitation field with potential joules per kilogram. The particle's world line is parameterized by time seconds. The particle's kinetic energy is:
and the particle's gravitational potential energy is:
Then its Lagrangian is joules where
Varying in the integral (equivalent to the Euler–Lagrange differential equation), we get
Integrate the first term by parts and discard the total integral. Then divide out the variation to get
and thus
is the equation of motion — two different expressions for the force.
Special relativistic test particle with electromagnetism
In special relativity, the form of the term which gives rise to the derivative of the momentum must be changed; it is no longer the kinetic energy. It becomes:
(In special relativity, the energy of a free test particle is )
where meters per second is the speed of light in vacuum, seconds is the proper time (i.e. time measured by a clock moving with the particle) and The second term in the series is just the classical kinetic energy. Suppose the particle has electrical charge coulombs and is in an electromagnetic field with scalar potential volts (a volt is a joule per coulomb) and vector potential volt seconds per meter. The Lagrangian of a special relativistic test particle in an electromagnetic field is:
Varying this with respect to , we get
which is
which is the equation for the Lorentz force where
General relativistic test particle
In general relativity, the first term generalizes (includes) both the classical kinetic energy and interaction with the Newtonian gravitational potential. It becomes:
The Lagrangian of a general relativistic test particle in an electromagnetic field is:
If the four spacetime coordinates are given in arbitrary units (i.e. unitless), then meters squared is the rank 2 symmetric metric tensor which is also the gravitational potential. Also, volt seconds is the electromagnetic 4vector potential. Notice that a factor of c has been absorbed into the square root because it is the equivalent of
Note that this notion has been directly generalized from special relativity
Lagrangians and Lagrangian densities in field theory
The time integral of the Lagrangian is called the action denoted by S.
In field theory, a distinction is occasionally made between the Lagrangian L, of which the action is the time integral:and the Lagrangian density , which one integrates over all spacetime to get the action:
The Lagrangian is then the spatial integral of the Lagrangian density. However, is also frequently simply called the Lagrangian, especially in modern use; it is far more useful in relativistic theories since it is a locally defined, Lorentz scalar field. Both definitions of the Lagrangian can be seen as special cases of the general form, depending on whether the spatial variable is incorporated into the index i or the parameters s in φ_{i}(s). Quantum field theories in particle physics, such as quantum electrodynamics, are usually described in terms of , and the terms in this form of the Lagrangian translate quickly to the rules used in evaluating Feynman diagrams.
Selected fields
To go with the section on test particles above, here are the equations for the fields in which they move. The equations below pertain to the fields in which the test particles described above move and allow the calculation of those fields. The equations below will not give you the equations of motion of a test particle in the field but will instead give you the potential (field) induced by quantities such as mass or charge density at any point . For example, in the case of Newtonian gravity, the Lagrangian density integrated over spacetime gives you an equation which, if solved, would yield . This , when substituted back in equation (1), the Lagrangian equation for the test particle in a Newtonian gravitational field, provides the information needed to calculate the acceleration of the particle.
Newtonian gravity
The Lagrangian (density) is joules per cubic meter. The interaction term is replaced by a term involving a continuous mass density kilograms per cubic meter. This is necessary because using a point source for a field would result in mathematical difficulties. The resulting Lagrangian for the classical gravitational field is:
where meters cubed per kilogram second squared is the gravitational constant. Variation of the integral with respect to gives:
Integrate by parts and discard the total integral. Then divide out by to get:
and thus
which yields Gauss's law for gravity.
Electromagnetism in special relativity
The interaction terms are replaced by terms involving a continuous charge density coulombs per cubic meter and current density amperes per square meter. The resulting Lagrangian for the electromagnetic field is:
Varying this with respect to , we get
which yields Gauss' law.
Varying instead with respect to , we get
which yields Ampère's law.
Electromagnetism in general relativity
For the Lagrangian of gravity in general relativity, see EinsteinHilbert action. The Lagrangian of the electromagnetic field is:
If the four spacetime coordinates are given in arbitrary units, then: joule seconds is the Lagrangian, a scalar density; coulombs is the current, a vector density; and volt seconds is the electromagnetic tensor, a covariant antisymmetric tensor of rank two. Notice that the determinant under the square root sign is applied to the matrix of components of the covariant metric tensor , and is its inverse. Notice that the units of the Lagrangian changed because we are integrating over which are unitless rather than over which have units of seconds meters cubed. The electromagnetic field tensor is formed by antisymmetrizing the partial derivative of the electromagnetic vector potential; so it is not an independent variable. The square root is needed to convert that term into a scalar density instead of just a scalar, and also to compensate for the change in the units of the variables of integration. The factor of inside the square root is needed to normalize it so that the square root will reduce to one in special relativity (since the determinant is in special relativity).
Electromagnetism using differential forms
Using differential forms, the electromagnetic action in vacuum on a (pseudo) Riemannian manifold can be written as (using natural units, c = ε_{0} = 1)
Here, A stands for the electromagnetic potential 1form, and is the current 3form. Note that Lagrangian is exactly the same thing as in the paragraph above, only that the treatment here is coordinatefree; expanding the integrand into a basis yields the identical, lengthy expression. Expanding the action integral into a basis yields the lengthy Lagrangian expression. Variation of the expression leads to
These are Maxwell's equations for the electromagnetic potential. Substituting F = dA immediately yields the equations for the fields,
 dF = 0
Lagrangians in quantum field theory
Dirac Lagrangian
The Lagrangian density for a Dirac field is:^{[2]}
where is a Dirac spinor (annihilation operator), is its Dirac adjoint (creation operator) and is Feynman notation for .
Quantum electrodynamic Lagrangian
The Lagrangian density for QED is:
where is the electromagnetic tensor, is the gauge covariant derivative, and is Feynman notation for .
Quantum chromodynamic Lagrangian
The Lagrangian density for quantum chromodynamics is [1] [2] [3]:
where is the QCD gauge covariant derivative, n = 1...6 counts the quark types, and is the gluon field strength tensor.
Mathematical formalism
Suppose we have an ndimensional manifold, M, and a target manifold, T. Let be the configuration space of smooth functions from M to T.
Examples
 In classical mechanics, in the Hamiltonian formalism, M is the onedimensional manifold , representing time and the target space is the cotangent bundle of space of generalized positions.
 In field theory, M is the spacetime manifold and the target space is the set of values the fields can take at any given point. For example, if there are m realvalued scalar fields, ϕ_{1},...,ϕ_{m}, then the target manifold is . If the field is a real vector field, then the target manifold is isomorphic to . There is actually a much more elegant way using tangent bundles over M, but we will just stick to this version.
Mathematical development
Consider a functional, , called the action. Physical reasons determine that it is a mapping to , not .
In order for the action to be local, we need additional restrictions on the action. If , we assume is the integral over M of a function of ϕ, its derivatives and the position called the Lagrangian, . In other words,
It is assumed below, in addition, that the Lagrangian depends on only the field value and its first derivative but not the higher derivatives.
Given boundary conditions, basically a specification of the value of ϕ at the boundary if M is compact or some limit on ϕ as x approaches (this will help in doing integration by parts), the subspace of consisting of functions, ϕ such that all functional derivatives of S at ϕ are zero and ϕ satisfies the given boundary conditions is the subspace of on shell solutions.
The solution is given by the Euler–Lagrange equations (thanks to the boundary conditions),
The left hand side is the functional derivative of the action with respect to ϕ.
See also
 Calculus of variations
 Covariant classical field theory
 Functional derivative
 Functional integral
 Generalized coordinates
 Hamiltonian mechanics
 Lagrangian and Eulerian coordinates
 Euler–Lagrange equation
 Lagrangian mechanics
 Lagrangian point
 Lagrangian system
 Noether's theorem
 Principle of least action
 Scalar field theory
 EinsteinMaxwellDirac equations
Notes
 ^ Torby, Bruce (1984). "Energy Methods". Advanced Dynamics for Engineers. HRW Series in Mechanical Engineering. United States of America: CBS College Publishing. ISBN 0030633664.
 ^ ItzyksonZuber, eq. 3152
References
 Christoph Schiller (2005), Global descriptions of motion: the simplicity of complexity, Motion Mountain
 David Tong Classical Dynamics (Cambridge lecture notes)
Categories: Fundamental physics concepts
 Lagrangian mechanics
 Dynamical systems
 Mathematical and quantitative methods (economics)
Wikimedia Foundation. 2010.
Look at other dictionaries:
Lagrangian — 1. adjective a) of or relating to b) of or relating to a Lagrange point / Lagrangian point 2. noun a) the Lagrangian function b) an object residing in a … Wiktionary
Lagrangian — lagranžianas statusas T sritis fizika atitikmenys: angl. Lagrangian vok. Lagrangian, m rus. лагранжиан, m pranc. lagrangien, m … Fizikos terminų žodynas
Lagrangian — noun Etymology: Joseph Louis Lagrange Date: 1929 a function that describes the state of a dynamic system in terms of position coordinates and their time derivatives and that is equal to the difference between the potential energy and kinetic… … New Collegiate Dictionary
Lagrangian — Die Lagrange Funktion (nach Joseph Louis Lagrange) ist ein zentrales Element zur Beschreibung von physikalischen Systemen im Lagrange Formalismus der Klassischen Mechanik. Für konservative Systeme sowie für nicht konservative Systeme mit einem… … Deutsch Wikipedia
lagrangian — la·gran·gi·an … English syllables
Lagrangian — … Useful english dictionary
Lagrangian mechanics — is a re formulation of classical mechanics that combines conservation of momentum with conservation of energy. It was introduced by Italian mathematician Lagrange in 1788. In Lagrangian mechanics, the trajectory of a system of particles is… … Wikipedia
Lagrangian analysis — is application of Lagrangian mechanics to analysis of various phenomena.Lagrangian analysis may be used to analyze currents and flows of various materials by analyzing data collected from gauges/sensors embedded in the material which freely move… … Wikipedia
Lagrangian drifter — Lagrangian drifters are drifters designed to aid the Lagrangian analysis of water currents (ocean currents, river flows, etc.) [ Air Sea Interaction: Instruments and Methods , by F. Dobson, L. Hasse, Russ E. Davis (1980) ISBN 0306405431 ]… … Wikipedia
Lagrangian points — /la grānˈji ən points/ (astronomy and space technol) plural noun The five points associated with a binary system (esp Earth Moon) where the combined gravitational forces are zero ORIGIN: From JL Lagrange (1736–1813), French mathematician and… … Useful english dictionary