Lagrangian
From Academic Kids

A Lagrangian <math> \mathcal{L}[\varphi_i] <math> of a dynamical system, named after Joseph Louis Lagrange, is a functional of the dynamical variables <math>\ \varphi_i(s)<math> which concisely describes the equations of motion of the system. The equations of motion are obtained by means of an action principle, written as
 <math> \frac{\delta \mathcal{S}}{\delta \varphi_i} = 0 <math>
where the action <math> \mathcal{S}[\varphi_i] = \int{\mathcal{L}[\varphi_i(s)]{}\,d^ns}, <math>
<math>{}{}{}{}\ s_\alpha <math> denoting the set of parameters of the system.
The equations of motion obtained by means of the functional derivative are identical to the usual EulerLagrange equations. A dynamical system 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.
Contents 
An example from classical mechanics
The concept of a Lagrangian was originally introduced in a reformulation of classical mechanics known as Lagrangian mechanics. In this context, the Lagrangian is usually taken to be the kinetic energy of a mechanical system minus its potential energy.
Suppose we have a three dimensional space and the Lagrangian
 <math>\begin{matrix}\frac{1}{2}\end{matrix} m\dot{\vec{x}}^2V(\vec{x}).<math>
Then, the EulerLagrange equation is <math>m\ddot\vec{x}+\nabla V=0<math> where the time derivative is written conventionally as a dot above the quantity being differentiated.
Using the above result we can easily show that the Lagrangian approach is equivalent to the Newtonian one by writing the force in terms of the potential <math>\vec{F}= \nabla V(x)<math>, then the resulting equation is <math>\vec{F}=m\ddot{\vec{x}}<math>, exactly the same equation in a Newtonian approach for a constant mass object, a very similar deduction gives us the expression <math>\vec{F}=d\vec{p}/dt<math> which is Newton's Second Law in its general form.
Suppose we have a threedimensional space in spherical coordinates, r, θ, φ with the Lagrangian
 <math>\frac{m}{2}(\dot{r}^2+r^2\dot{\theta}^2 +r^2\sin^2\theta\dot{\varphi}^2)V(r).<math>
Then, the EulerLagrange equations are:
 <math>m\ddot{r}mr(\dot{\theta}^2+\sin^2\theta\dot{\varphi}^2)+V' =0,<math>
 <math>\frac{d}{dt}(mr^2\dot{\theta}) mr^2\sin\theta\cos\theta\dot{\varphi}^2=0,<math>
 <math>\frac{d}{dt}(mr^2\sin^2\theta\dot{\varphi})=0.<math>
Here, the set of parameters <math> \ s_i<math> is just the time <math>\ t<math>, and the dynamical variables <math> \ \phi_i(s)<math> are the trajectories <math> \vec x(t)<math> of the particle.
Lagrangians and Lagrangian densities in field theory
In field theory, occasionally a distinction is made between the Lagrangian <math>L<math>, of which the action is the time integral
 <math>S = \int{L \, dt}<math>
and the Lagrangian density <math>\mathcal{L}<math>, which one integrates over all spacetime to get the action:
 <math>S [\varphi_i] = \int{\mathcal{L} [\varphi_i (x)]\, d^4x}<math>
The Lagrangian is then the spatial integral of the Lagrangian density. However, <math>\mathcal{L}<math> 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 <math>\vec x<math> is incorporated into the index <math>i<math> or the parameters <math>s<math> in <math>\varphi_i(s)<math>. Quantum field theories in particle physics, such as quantum electrodynamics, are usually described in terms of <math>\mathcal{L}<math>, and the terms in this form of the Lagrangian translate quickly to the rules used in evaluating Feynman diagrams.
Mathematical formalism
Suppose we have an ndimensional manifold, M and a target manifold T. Let <math>\mathcal{C}<math> be the configuration space of smooth functions from M to T.
Before we go on, let's give some examples:
 In classical mechanics, in the Hamiltonian formalism, M is the one dimensional manifold <math>\mathbb{R}<math>, 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 <math>\mathbb{R}^m<math>. If the field is a real vector field, then the target manifold is isomorphic to <math>\mathbb{R}^n<math>. There's actually a much more elegant way using tangent bundles over M, but we will just stick to this version.
Now suppose there's a functional, <math>S:\mathcal{C}\rightarrow \mathbb{R}<math>, called the action. Note it's a mapping to <math>\mathbb{R}<math>, not <math>\mathbb{C}<math>. This has got to do with physical reasons.
In order for the action to be local, we need additional restrictions on the action. If <math>\varphi\in\mathcal{C}<math>, we assume S[φ] is the integral over M of a function of φ, its derivative and the position called the Lagrangian, <math>\mathcal{L}(\varphi,\partial\varphi,\partial\partial\varphi, ...,x)<math>. In other words,
 <math>\forall\varphi\in\mathcal{C}\, S[\varphi]\equiv\int_M d^nx \mathcal{L}(\varphi(x),\partial\varphi(x),\partial\partial\varphi(x), ...,x).<math>
Most of the time, we will also assume in addition that the Lagrangian depends on only the field value and its first derivative but not the higher derivatives; this is only a matter of convenience, though, and is not true in general! We will make this assumption for the rest of this article.
Given boundary conditions, basically a specification of the value of φ at the boundary if M is compact or some limit on φ as x approaches <math>\infty<math> (this will help in doing integration by parts), the subspace of <math>\mathcal{C}<math> 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 EulerLagrange equations (thanks to the boundary conditions),
 <math>\frac{\delta}{\delta\varphi}S=\partial_\mu
\left(\frac{\partial\mathcal{L}}{\partial(\partial_\mu\varphi)}\right)+ \frac{\partial\mathcal{L}}{\partial\varphi}=0.<math>
Incidentally, the left hand side is the functional derivative of the action with respect to φ.
See also
 Lagrangian mechanics
 Noether's theorem
 Hamiltonian mechanics
 functional derivative
 functional integral
 action principle
 coherence conditionde:Lagrangefunktion
es:Lagrangiano nl:Lagrangiaan pl:LagranÅ¼jan sl:Lagrangeeva funkcija it:Lagrangiana