Lagrangian

From Wikipedia, the free encyclopedia
Jump to: navigation, search
This article is about the Lagrangian function in Lagrangian mechanics. For other uses, see Lagrangian (disambiguation).

The Lagrangian, L, of a dynamical system is a mathematical function that summarizes the dynamics of the system. For a simple mechanical system, it is the value given by the kinetic energy of the particle minus the potential energy of the particle but it may be generalized to more complex systems. It is used primarily as a key component in the Euler-Lagrange equations to find the path of a particle according to the principle of least action.

The Lagrangian is named after Italian-French mathematician and astronomer Joseph Louis Lagrange. The concept of a Lagrangian was introduced in a reformulation of classical mechanics introduced by Lagrange known as Lagrangian mechanics in 1788. This reformulation was needed in order to explore mechanics in alternative systems to Cartesian coordinates such as Polar, Cylindrical and Spherical coordinates for which Newtonian mechanics was not suitable.[1]

The Lagrangian has since been used in a method to find the acceleration of a particle in a Newtonian gravitational field and to derive the Einstein field equations. This led to its use in applying electromagnetism to curved spacetime and in describing charged black holes. It also has additional uses in Mathematical formalism to find the functional derivative of an action, and in engineering for the analysis and optimisation of dynamic systems.

Definition[edit]

In classical mechanics, the natural form of the Lagrangian is defined as the kinetic energy, T, of the system minus its potential energy, V.[2] In symbols,

L = T - V.

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. The Lagrangian of a given system is not unique, and two Lagrangians describing the same system can differ by the total derivative with respect to time of some function f(q,t), but solving any equivalent Lagrangians will give the same equations of motion.[3][4]

The Lagrangian formulation[edit]

Simple example[edit]

The trajectory of a thrown ball is characterized by the sum of the Lagrangian values at each time being a (local) minimum.

The Lagrangian L can be calculated at several instants of time t, and a graph of L against t can be drawn. The area under the curve is the action. Any different path between the initial and final positions leads to a larger action than that chosen by nature. Nature chooses the smallest action – this is the Principle of Least Action.

If Nature has defined the mechanics problem of the thrown ball in so elegant a fashion, might She have defined other problems similarly. So it seems now. Indeed, at the present time it appears that we can describe all the fundamental forces in terms of a Lagrangian. The search for Nature's One Equation, which rules all of the universe, has been largely a search for an adequate Lagrangian.

—Robert Adair, The Great Design: Particles, Fields, and Creation[5]

Using only the principle of least action and the Lagrangian we can deduce the correct trajectory, by trial and error or the calculus of variations.

Importance[edit]

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 quantum-mechanical 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 connects 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[edit]

  • The formulation is not tied to any one coordinate system – rather, any convenient variables may be used to describe the system; these variables are called "generalized coordinates" qi and may be any quantitative attributes 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) which are functions of the independent variable(s). This trait makes it easy to incorporate constraints into a theory by defining coordinates that only describe states of the system that satisfy the constraints.
  • If the Lagrangian is invariant under a symmetry, then the resulting equations of motion are also invariant under that symmetry. This characteristic is very helpful in showing that theories are consistent with either special relativity or general relativity.

Cyclic coordinates and conservation laws[edit]

An important property of the Lagrangian is that conservation laws can easily be read off from it. For example, if the Lagrangian \scriptstyle L does not depend on \scriptstyle q_i itself, then the generalized momentum (\scriptstyle p_i), given by:

p_i =\frac{\partial L}{\partial\dot q_i},

is a conserved quantity, because of Lagrange's equations:

\dot{p}_i =\frac{\partial L}{\partial q_i}=0.

It doesn't matter if \scriptstyle L depends on the time derivative \scriptstyle \dot q_i of that generalized coordinate, since the Lagrangian independence of the coordinate always makes the above partial derivative zero. This is a special case of Noether's theorem. Such coordinates are called "cyclic" or "ignorable".

For example, the conservation of the generalized momentum,

p_2 =\frac{\partial L}{\partial\dot q_2},

say, can be directly seen if the Lagrangian of the system is of the form

L(q_1,q_3,q_4, \dots; \dot q_1,\dot q_2,\dot q_3,\dot q_4, \dots;t)\,.

Also, if the time t, does not appear in L, then the Hamiltonian (which is related to the lagrangian by a Legendre transformation) is conserved. This is the energy conservation unless the potential energy depends on velocity, as in electrodynamics.[6][7]

Explanation[edit]

The Lagrangian in many classical systems is a function of generalized coordinates qi and their velocities dqi/dt. These coordinates (and velocities) are, in their turn, parametric functions of time. In the classical view, time is an independent variable and qi (and dqi/dt) are dependent variables as is often seen in phase space explanations of systems. This formalism was generalized further to handle field theory. In field theory, the independent variable is replaced by an event in spacetime (x, y, z, t), or more generally still by a point s on a manifold. The dependent variables (q) are replaced by the value of a field at that point in spacetime φ(x,y,z,t) so that the equations of motion are obtained by means of an action principle, written as:

\frac{\delta \mathcal{S}}{\delta \varphi_i} = 0,\,

where the action, \scriptstyle\mathcal{S}, is a functional of the dependent variables φi(s) with their derivatives and s itself

\mathcal{S}\left[\varphi_i\right] = \int{ \mathcal{L} \left(\varphi_i (s), \frac{\partial \varphi_i (s)}{\partial s^\alpha}, s^\alpha\right) \, \mathrm{d}^n s }

and where s = { sα} denotes the set of n independent variables of the system, indexed by α = 1, 2, 3,..., n. Notice L is used in the case of one independent variable (t) and \scriptstyle\mathcal{L} \, is used in the case of multiple independent variables (usually four: x, y, z, t).

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 Euler–Lagrange equations are

\frac{\mathrm{d}}{\mathrm{d} t} \frac{\partial L}{\partial\dot \varphi_i} = \frac{\partial L}{\partial\varphi_i} \,.

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[edit]

In Cartesian coordinates[edit]

Suppose we have a three-dimensional space in which a particle of mass m moves under the influence of a conservative force \mathbf{F}. Since the force is conservative, it corresponds to a potential energy function V(\mathbf{x}) given by \mathbf{F} = -\nabla V(\mathbf{x}). The Lagrangian of the particle can be written

L(\mathbf{x}, \dot{\mathbf{x}}) = \frac{1}{2} m \dot{\mathbf{x}}^2 - V(\mathbf{x}).

The equations of motion for the particle are found by applying the Euler–Lagrange equation

\frac{\mathrm{d}}{\mathrm{d}t} \left( \frac{\partial L}{\partial \dot{x}_i} \right) - \frac{\partial L}{\partial x_i} = 0,

where i = 1, 2, 3.

Then

\frac{\partial L}{\partial x_i} = - \frac{\partial V}{\partial x_i},
\frac{\partial L}{\partial \dot{x}_i} = \frac{\partial ~}{\partial \dot{x}_i} \left( \frac{1}{2} m \dot{\mathbf{x}}^2  \right) = \frac{1}{2} m \frac{\partial ~}{\partial \dot{x}_i} \left( \dot{x}_i^2 \right) = m \dot{x}_i,

and

\frac{\mathrm{d}}{\mathrm{d}t} \left( \frac{\partial L}{\partial \dot{x}_i} \right) = m \ddot{x}_i.

Thus

m\ddot{\mathbf{x}}+\nabla V=0,

which is Newton's second law of motion for a particle subject to a conservative force. Here the time derivative is written conventionally as a dot above the quantity being differentiated, and ∇ is the del operator.

In spherical coordinates[edit]

Suppose we have a three-dimensional space using spherical coordinates (r, θ, φ) with the Lagrangian

L = \frac{m}{2}(\dot{r}^2+r^2\dot{\theta}^2 +r^2\sin^2\theta \, \dot{\varphi}^2)-V(r).

Then the Euler–Lagrange equations are:

m\ddot{r}-mr(\dot{\theta}^2+\sin^2\theta \, \dot{\varphi}^2)+V' =0,
\frac{\mathrm{d}}{\mathrm{d}t}(mr^2\dot{\theta}) -mr^2\sin\theta\cos\theta \, \dot{\varphi}^2=0,
\frac{\mathrm{d}}{\mathrm{d}t}(mr^2\sin^2\theta \, \dot{\varphi})=0.

Here the set of parameters si is just the time t, and the dynamical variables ϕi(s) are the trajectories \scriptstyle\vec x(t) 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[edit]

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 up quarks are more complex and have additional terms in their Lagrangians.

Classical test particle with Newtonian gravity[edit]

Suppose we are given a particle with mass m kilograms, and position \mathbf{x} meters in a Newtonian gravitation field with potential Φ in J·kg−1. The particle's world line is parameterized by time t seconds. The particle's kinetic energy is:

 T(t) = {\tfrac{1}{2}} m \left|\dot{\mathbf{x}}(t)\right|^2

and the particle's gravitational potential energy is:

 V(t) = m \Phi (\mathbf{x}(t),t) .

Then its Lagrangian is L joules, where

 L(t) = T(t) - V(t) = {\tfrac{1}{2}} m\left|\dot{\mathbf{x}}(t)\right|^2  -m \Phi (\mathbf{x}(t),t)  .

Varying \mathbf{x} in the integral (equivalent to the Euler–Lagrange differential equation), we get

0 = \delta\int{L(t) \, \mathrm{d}t} = \int{\delta L(t) \, \mathrm{d}t}
= \int{(m \dot{\mathbf{x}}(t) \cdot \dot{\delta\mathbf{x}}(t) - m \nabla \Phi (\mathbf{x} (t),t) \cdot \delta \mathbf{x}(t)) \, \mathrm{d}t}.

Integrate the first term by parts and discard the total integral. Then divide out the variation to get

0 = - m \ddot{\mathbf{x}}(t) - m \nabla \Phi (\mathbf{x} (t),t)

and thus

m \ddot{\mathbf{x}}(t) = - m \nabla \Phi (\mathbf{x}(t),t)

 

 

 

 

(1)

is the equation of motion – two different expressions for the force.

Special relativistic test particle with electromagnetism[edit]

In special relativity, the energy (rest energy plus kinetic energy) of a free test particle is

m c^2 \frac{dt}{d \tau} = \frac{m c^2}{\sqrt {1 - \frac{v^2 (t)}{c^2}}} = +m c^2 + {1 \over 2} m v^2 (t) + {3 \over 8} m \frac{v^4(t)}{c^2} + \dots \,.

However, the term in the Lagrangian that gives rise to the derivative of the momentum is no longer the kinetic energy. It must be changed to

- m c^2 \frac{d \tau(t)}{d t} = - m c^2 \sqrt {1 - \frac{v^2 (t)}{c^2}} = -m c^2 + {1 \over 2} m v^2 (t) + {1 \over 8} m \frac{v^4 (t)}{c^2} + \dots

where c is the vacuum speed of light in m·s−1, τ is the proper time in seconds (i.e. time measured by a clock moving with the particle) and \scriptstyle v^2 (t) = \dot{\mathbf{x}}(t) \cdot \dot{\mathbf{x}}(t). The second term in the series is just the classical kinetic energy. Suppose the particle has electrical charge q coulombs and is in an electromagnetic field with scalar potential ϕ volts (a volt is a joule per coulomb) and vector potential \scriptstyle\mathbf{A} V·s·m−1. The Lagrangian of a special relativistic test particle in an electromagnetic field is:

 L(t) = - m c^2 \sqrt {1 - \frac{v^2 (t)}{c^2}} - q \phi (\mathbf{x}(t),t) + q \dot{\mathbf{x}}(t) \cdot \mathbf{A} (\mathbf{x}(t),t).

Varying this with respect to \mathbf{x}, we get

0 = - \frac{d}{d t}\left(\frac{m \dot{\mathbf{x}}(t)} {\sqrt {1 - \frac{v^2 (t)}{c^2}}}\right) - q \nabla\phi (\mathbf{x}(t),t) - q \dot{\mathbf{A}} (\mathbf{x}(t),t)
- q \dot{\mathbf{x}}(t) \cdot \nabla\mathbf{A} (\mathbf{x}(t),t) 
+ q \nabla{\mathbf{A}} (\mathbf{x}(t),t) \cdot \dot{\mathbf{x}}(t)

which is

\frac{d}{d t}\left(\frac{m \dot{\mathbf{x}}(t)} {\sqrt {1 - \frac{v^2 (t)}{c^2}}}\right) = q \mathbf{E}(\mathbf{x}(t),t) + q \dot{\mathbf{x}}(t) \times \mathbf{B} (\mathbf{x}(t),t)

which is the equation for the Lorentz force, where:

\mathbf{E}(\mathbf{x},t) = - \nabla\phi (\mathbf{x},t) - \dot{\mathbf{A}} (\mathbf{x},t)
\mathbf{B}(\mathbf{x},t) = \nabla \times \mathbf{A} (\mathbf{x},t)

are the fields and potentials.

General relativistic test particle[edit]

In general relativity, the first term generalizes (includes) both the classical kinetic energy and the interaction with the gravitational field. It becomes:

- m c^2 \frac{d \tau(t)}{d t} = - m c \sqrt {- g_{\mu\nu}(x(t)) \frac{d x^{\mu}(t)}{d t} \frac{d x^{\nu}(t)}{d t}}.

The Lagrangian of a general relativistic test particle in an electromagnetic field is:

 L(t) = - m c \sqrt {- g_{\mu\nu}(x(t)) \frac{d x^{\mu}(t)}{d t} \frac{d x^{\nu}(t)}{d t}} + q \frac{d x^{\mu}(t)}{d t} A_{\mu}(x(t)).

If the four spacetime coordinates xµ are given in arbitrary units (i.e. unitless), then gµν in m2 is the rank 2 symmetric metric tensor which is also the gravitational potential. Also, Aµ in V·s is the electromagnetic 4-vector potential. Notice that a factor of c has been absorbed into the square root because it is the equivalent of

c\, \sqrt {1 - \frac{v^2 (t)}{c^2}} =  \sqrt {- ( - c^2 + v^2 (t))} .

This notion has been directly generalized from special relativity.

Lagrangians and Lagrangian densities in field theory[edit]

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:

\mathcal{S} = \int{L \, \mathrm{d}t}

and the Lagrangian density \scriptstyle\mathcal{L}, which one integrates over all spacetime to get the action:

\mathcal{S} [\varphi_i] = \int{\mathcal{L} (\varphi_i (x))\, \mathrm{d}^4x}.
  • General form of Lagrangian density: \mathcal{L}=\mathcal{L}(\varphi_i,\varphi_{i,\mu})[8] where \varphi_{i,\mu}\equiv\frac{\partial\varphi_i}{\partial x^\mu}\equiv\partial_\mu\varphi_i (see 4-gradient)
  • The relationship between \mathcal{L} and L: L = \int{ \mathcal{L} \, d^{n-1}x}, where n is the space-time dimension [8] similar to q = \int \rho \, dV.
  • In field theory, the independent variable t was replaced by an event in spacetime (x, y, z, t) or still more generally by a point s on a manifold.

The Lagrangian is then the spatial integral of the Lagrangian density. However, \scriptstyle \mathcal{L} 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 \scriptstyle\mathbf{x} 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 \scriptstyle\mathcal{L}, and the terms in this form of the Lagrangian translate quickly to the rules used in evaluating Feynman diagrams.

Notice that, in the presence of gravity or when using general curvilinear coordinates, the Lagrangian density \mathcal{L} will include a factor of  \sqrt{\vert g\vert} or its equivalent to ensure that it is a scalar density so that the integral will be invariant.

Selected fields[edit]

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 \scriptstyle(\mathbf{x},t). For example, in the case of Newtonian gravity, the Lagrangian density integrated over spacetime gives you an equation which, if solved, would yield \scriptstyle\Phi (\mathbf{x},t). This \scriptstyle\Phi (\mathbf{x},t), 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[edit]

The Lagrangian (density) is \scriptstyle\mathcal{L} in J·m−3. The interaction term is replaced by a term involving a continuous mass density ρ in kg·m−3. 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:

\mathcal{L}(\mathbf{x},t)= - \rho (\mathbf{x},t) \Phi (\mathbf{x},t) - {1 \over 8 \pi G} (\nabla \Phi (\mathbf{x},t))^2

where G in m3·kg−1·s−2 is the gravitational constant. Variation of the integral with respect to Φ gives:

0 = - \rho (\mathbf{x},t) \delta\Phi (\mathbf{x},t) - {2 \over 8 \pi G} (\nabla \Phi (\mathbf{x},t)) \cdot (\nabla \delta\Phi (\mathbf{x},t)) .

Integrate by parts and discard the total integral. Then divide out by δΦ to get:

0 = - \rho (\mathbf{x},t) + {1 \over 4 \pi G} \nabla \cdot \nabla \Phi (\mathbf{x},t)

and thus

4 \pi G \rho (\mathbf{x},t) = \nabla^2 \Phi (\mathbf{x},t)

which yields Gauss's law for gravity.

Einstein Gravity[edit]

The Lagrange density for general relativity in the presence of matter fields is

\mathcal{L}_\text{GR}=\mathcal{L}_\text{EH}+\mathcal{L}_\text{matter}=\frac{c^4}{16\pi G}\left(R-2\Lambda\right)+\mathcal{L}_\text{matter}

 \scriptstyle R is the curvature scalar, which is the Ricci tensor contracted with the metric tensor, which is in turn the Riemann tensor contracted with a Kronecker delta. The integral of  \mathcal{L}_\text{EH} is known as the Einstein-Hilbert action. The Riemann tensor is the tidal force tensor, and is constructed out of Christoffel symbols and derivatives of Christoffel symbols, which are the gravitational force field. Plugging this Lagrangian into the Euler-Lagrange equation and taking the metric  g_{\mu\nu} as the field, we obtain the Einstein field equations

 R^{\mu\nu}-\frac{1}{2}Rg^{\mu\nu}+g^{\mu\nu}\Lambda=\frac{8\pi G}{c^4}T^{\mu\nu}

The last tensor is the energy momentum tensor and is defined by

T^{\mu\nu} \equiv \frac{2}{\sqrt{-g}}\frac{\delta (\mathcal{L}_{\mathrm{matter}} \sqrt{-g}) }{\delta g_{\mu\nu}} = 2 \frac{\delta \mathcal{L}_\mathrm{matter}}{\delta g_{\mu\nu}} + g^{\mu\nu} \mathcal{L}_\mathrm{matter}.

 \scriptstyle g is the determinant of the metric tensor when regarded as a matrix. \Lambda is the Cosmological constant. Generally, in general relativity, the integration measure of the action of Lagrange density is \sqrt{-g}d^4x . This makes the integral coordinate independent, as the root of the metric determinant is equivalent to the Jacobian determinant. The minus sign is a consequence of the metric signature (the determinant by itself is negative).[9]

Electromagnetism in special relativity[edit]

The interaction terms

- q \phi (\mathbf{x}(t),t) + q \dot{\mathbf{x}}(t) \cdot \mathbf{A} (\mathbf{x}(t),t)

are replaced by terms involving a continuous charge density ρ in A·s·m−3 and current density \scriptstyle\mathbf{j} in A·m−2. The resulting Lagrangian for the electromagnetic field is:

\mathcal{L}(\mathbf{x},t) = - \rho (\mathbf{x},t) \phi (\mathbf{x},t) + \mathbf{j} (\mathbf{x},t) \cdot \mathbf{A} (\mathbf{x},t) + {\epsilon_0 \over 2} {E}^2 (\mathbf{x},t) - {1 \over {2 \mu_0}} {B}^2 (\mathbf{x},t) .

Varying this with respect to ϕ, we get

0 = - \rho (\mathbf{x},t) + \epsilon_0 \nabla \cdot \mathbf{E} (\mathbf{x},t)

which yields Gauss' law.

Varying instead with respect to \scriptstyle\mathbf{A}, we get

0 = \mathbf{j} (\mathbf{x},t) + \epsilon_0 \dot{\mathbf{E}} (\mathbf{x},t) - {1 \over \mu_0} \nabla   \times \mathbf{B} (\mathbf{x},t)

which yields Ampère's law.

Using tensor notation, we can write all this more compactly. The term  - \rho \phi (\mathbf{x},t) + \mathbf{j} \cdot \mathbf{A}    is actually the inner product of two Lorentz vectors. We package the charge density into the current 4-vector and the potential into the potential 4-vector. These two new vectors are

 j^\mu = (\rho,\mathbf{j})\quad\text{and}\quad A_\mu = (-\phi,\mathbf{A})

We can then write the interaction term as

 - \rho \phi  + \mathbf{j} \cdot \mathbf{A}  = j^\mu A_\mu

Additionally, we can package the E and B fields into what is known as the electromagnetic tensor  F_{\mu\nu} . We define this tensor as

  F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu

The term we are looking out for turns out to be

 {\epsilon_0 \over 2} {E}^2 - {1 \over {2 \mu_0}} {B}^2 =  -\frac{1}{4\mu_0} F_{\mu\nu}F^{\mu\nu}= -\frac{1}{4\mu_0} F_{\mu\nu} F_{\rho\sigma}\eta^{\mu\rho}\eta^{\nu\sigma}

We have made use of the Minkowski metric to raise the indices on the EMF tensor. In this notation, Maxwell's equations are

 \partial_\mu F^{\mu\nu}=-\mu_0 j^\nu\quad\text{and}\quad \epsilon^{\mu\nu\lambda\sigma}\partial_\nu F_{\lambda\sigma}=0

where ε is the Levi-Civita tensor. So the Lagrange density for electromagnetism in special relativity written in terms of Lorentz vectors and tensors is

 \mathcal{L}(x) = j^\mu(x) A_\mu(x) - \frac{1}{4\mu_0} F_{\mu\nu}(x) F^{\mu\nu}(x)

In this notation it is apparent that classical electromagnetism is a Lorentz-invariant theory. By the equivalence principle, it becomes simple to extend the notion of electromagnetism to curved spacetime.[10][11]

Electromagnetism in general relativity[edit]

The Lagrange density of electromagnetism in general relativity also contains the Einstein-Hilbert action from above. The pure electromagnetic Lagrangian is precisely a matter Lagrangian  \mathcal{L}_\text{matter}. The Lagrangian is

\mathcal{L}(x) = j^\mu (x) A_\mu (x) 
 - {1 \over 4\mu_0} F_{\mu \nu}(x) F_{\rho\sigma}(x) g^{\mu\rho}(x) g^{\nu\sigma}(x) + \frac{c^4}{16\pi G}R(x) = \mathcal{L}_\text{Maxwell} + \mathcal{L}_\text{Einstein-Hilbert}

This Lagrangian is obtained by simply replacing the Minkowski metric in the above flat Lagrangian with a more general (possibly curved) metric  g_{\mu\nu}(x). We can generate the Einstein Field Equations in the presence of an EM field using this lagrangian. The energy-momentum tensor is

  T^{\mu\nu}(x)=\frac{2}{\sqrt{-g(x)}}\frac{\delta}{\delta g_{\mu\nu}(x)}\mathcal{S}_\text{Maxwell}=\frac{1}{\mu_{0}}\left(F^{\mu}_{\text{ }\lambda}(x)F^{\nu\lambda}(x)-\frac{1}{4}g^{\mu\nu}(x)F_{\rho\sigma}(x)F^{\rho\sigma}(x)\right)

It can be shown that this energy momentum tensor is traceless, i.e. that

  T=g_{\mu\nu}T^{\mu\nu}=0

If we take the trace of both sides of the Einstein Field Equations, we obtain

  R=-\frac{8\pi G}{c^4}T

So the tracelessness of the energy momentum tensor implies that the curvature scalar in an electromagnetic field vanishes. The Einstein equations are then

 R^{\mu\nu}=\frac{8\pi G}{c^4}\frac{1}{\mu_{0}}\left(F^{\mu}_{\text{ }\lambda}(x)F^{\nu\lambda}(x)-\frac{1}{4}g^{\mu\nu}(x)F_{\rho\sigma}(x)F^{\rho\sigma}(x)\right)

Additionally, Maxwell's equations are

 D_{\mu}F^{\mu\nu}=-\mu_0 j^\nu

where D_\mu is the covariant derivative. For free space, we can set the current tensor equal to zero,  j^\mu=0  . Solving both Einstein and Maxwell's equations around a spherically symmetric mass distribution in free space leads to the Reissner-Nordstrom charged black hole, with the defining line element (written in natural units and with charge Q):

 ds^2=\left(1-\frac{2M}{r}+\frac{Q^2}{r^2}\right)dt^2+ \left(1-\frac{2M}{r}+\frac{Q^2}{r^2}\right)^{-1}dr^2 +r^2d\Omega^2

[12]

Electromagnetism using differential forms[edit]

Using differential forms, the electromagnetic action S in vacuum on a (pseudo-) Riemannian manifold \scriptstyle\mathcal M can be written (using natural units, c = ε0 = 1) as

\mathcal S[\mathbf{A}] = \int_{\mathcal{M}} \left(-\frac{1}{2}\,\mathbf{F} \wedge \star\mathbf{F} + \mathbf{A} \wedge\star \mathbf{J}\right) .

Here, A stands for the electromagnetic potential 1-form, J is the current 1-form, F is the field strength 2-form and the star denotes the Hodge star operator. This is exactly the same Lagrangian as in the section above, except that the treatment here is coordinate-free; expanding the integrand into a basis yields the identical, lengthy expression. Note that with forms, an additional integration measure is not necessary because forms have coordinate differentials built in. Variation of the action leads to

\mathrm{d} {\star}\mathbf{F} = \mathbf{J} .

These are Maxwell's equations for the electromagnetic potential. Substituting F = dA immediately yields the equation for the fields,

\mathrm{d}\mathbf{F} = 0

because F is an exact form.

Dirac Lagrangian[edit]

The Lagrangian density for a Dirac field is:[13]

\mathcal{L} = i \hbar c \bar \psi {\partial}\!\!/\ \psi - mc^2 \bar\psi \psi

where ψ is a Dirac spinor (annihilation operator), \scriptstyle\bar \psi = \psi^\dagger \gamma^0 is its Dirac adjoint (creation operator), and {\partial}\!\!/ is Feynman slash notation for \scriptstyle\gamma^\sigma \partial_\sigma\!.

Quantum electrodynamic Lagrangian[edit]

The Lagrangian density for QED is:

\mathcal{L}_{\mathrm{QED}} = i\hbar c \bar \psi {D}\!\!\!\!/\ \psi - mc^2 \bar\psi \psi - {1 \over 4\mu_0} F_{\mu \nu} F^{\mu \nu}

where \scriptstyle F^{\mu \nu}\! is the electromagnetic tensor, D is the gauge covariant derivative, and {D}\!\!\!\!/ is Feynman notation for \scriptstyle\gamma^\sigma D_\sigma\!.

Quantum chromodynamic Lagrangian[edit]

The Lagrangian density for quantum chromodynamics is:[14][15][16]

\mathcal{L}_{\mathrm{QCD}} = \sum_n \left ( i\hbar c\bar\psi_n{D}\!\!\!\!/\ \psi_n - m_n c^2 \bar\psi_n \psi_n \right) - {1\over 4} G^\alpha {}_{\mu\nu} G_\alpha {}^{\mu\nu}

where D is the QCD gauge covariant derivative, n = 1, 2, ...6 counts the quark types, and \scriptstyle G^\alpha {}_{\mu\nu}\! is the gluon field strength tensor.

Mathematical formalism[edit]

Suppose we have an n-dimensional manifold, M, and a target manifold, T. Let \scriptstyle\mathcal{C} be the configuration space of smooth functions from M to T.

Examples[edit]

  • In classical mechanics, in the Hamiltonian formalism, M is the one-dimensional manifold \scriptstyle\mathbb{R}, 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 real-valued scalar fields, ϕ1, ..., ϕm, then the target manifold is \scriptstyle\mathbb{R}^m. If the field is a real vector field, then the target manifold is isomorphic to \scriptstyle\mathbb{R}^n. There is actually a much more elegant way using tangent bundles over M, but we will just stick to this version.

Mathematical development[edit]

Consider a functional,

\mathcal{S}:\mathcal{C}\rightarrow \mathbb{R},

called the action. Physical considerations require it be a mapping to \scriptstyle\mathbb{R} (the set of all real numbers), not \scriptstyle\mathbb{C} (the set of all complex numbers).

In order for the action to be local, we need additional restrictions on the action. If \scriptstyle\varphi\ \in\ \mathcal{C}, we assume \scriptstyle\mathcal{S}[\varphi] is the integral over M of a function of \scriptstyle\varphi, its derivatives and the position called the Lagrangian, \mathcal{L}(\varphi,\partial\varphi,\partial\partial\varphi, ...,x). In other words,

\forall\varphi\in\mathcal{C}, \ \ \mathcal{S}[\varphi]\equiv\int_M \mathrm{d}^nx \mathcal{L} \big( \varphi(x),\partial\varphi(x),\partial\partial\varphi(x), ...,x \big).

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 \scriptstyle\varphi at the boundary if M is compact or some limit on \scriptstyle\varphi as x → ∞ (this will help in doing integration by parts), the subspace of \scriptstyle \mathcal{C} consisting of functions, \scriptstyle\varphi, such that all functional derivatives of S at \scriptstyle\varphi are zero and \scriptstyle\varphi 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),

\frac{\delta\mathcal{S}}{\delta\varphi}=-\partial_\mu
 \left(\frac{\partial\mathcal{L}}{\partial(\partial_\mu\varphi)}\right)+ \frac{\partial\mathcal{L}}{\partial\varphi}=0.

The left hand side is the functional derivative of the action with respect to \scriptstyle\varphi.

Uses in Engineering[edit]

50 years ago Lagrangians were a general part of the engineering curriculum, but quarter of a century later, even with the ascendency of dynamical systems, they were dropped as requirements from the majority of engineering programs, and considered to be the domain of physics. A decade ago this changed dramatically, and Lagrangians are not only a required part of many ME and EE curricula, but are now seen as far more than the province of physics. This is true of pure and applied engineering, as well as the more physics-related aspects of engineering, or engineering optimization, which itself is more the province of Lagrange multipliers.

Today, Lagrangians find their way into hundreds of direct engineering solutions, including robotics, turbulent flow analysis (Lagrangian and Eulerian specification of the flow field), signal processing, microscopic component contact and nanotechnology (superlinear convergent augmented Lagrangians), gyroscopic forcing and dissipation, semi-infinite supercomputing (which also involve Lagrange multipliers in the subfield of semi-infinite programming), chemical engineering (specific heat linear Lagrangian interpolation in reaction planning), civil engineering (dynamic analysis of traffic flows), optics engineering and design (Lagrangian and Hamiltonian optics) aerospace (Lagrangian interpolation), force stepping integrators, and even airbag deployment (coupled Eulerian-Lagrangians as well as SELM—the stochastic Eulerian Lagrangian method).[17]

See also[edit]

Notes[edit]

  1. ^ Simha, Padmanabha. "The Need for the Reformulation of Newtonian mechanics to Lagrangian mechanics". http://physics-depristine.blogspot.co.uk. Retrieved 2014-07-14. 
  2. ^ Torby, Bruce (1984). "Energy Methods". Advanced Dynamics for Engineers. HRW Series in Mechanical Engineering. United States of America: CBS College Publishing. ISBN 0-03-063366-4. 
  3. ^ Goldstein, Herbert; Poole, Charles P.; Safko, John L. (2002). Classical Mechanics (3rd ed.). Addison-Wesley. p. 21. ISBN 978-0-201-65702-9. 
  4. ^ Bell, L.D. Landau and E.M. Lifshitz ; translated from the Russian by J.B. Sykes and J.S. (1999). Mechanics (3rd ed. ed.). Oxford: Butterworth-Heinemann. p. 4. ISBN 978-0-7506-2896-9. 
  5. ^ The Great Design: Particles, Fields, and Creation (New York: Oxford University Press, 1989), ROBERT K. ADAIR, p.22–24
  6. ^ Classical Mechanics, T.W.B. Kibble, European Physics Series, McGraw-Hill (UK), 1973, ISBN 0-07-084018-0
  7. ^ Analytical Mechanics, L.N. Hand, J.D. Finch, Cambridge University Press, 2008, ISBN 978-0-521-57572-0
  8. ^ a b Mandl F., Shaw G., Quantum Field Theory, chapter 2
  9. ^ Zee, A. (2013). Einstein gravity in a nutshell. Princeton: Princeton University Press. pp. 344–390. ISBN 9780691145587. 
  10. ^ Zee, A. (2013). Einstein gravity in a nutshell. Princeton: Princeton University Press. pp. 244–253. ISBN 9780691145587. 
  11. ^ Mexico, Kevin Cahill, University of New (2013). Physical mathematics (Repr. ed.). Cambridge: Cambridge University Press. ISBN 9781107005211. 
  12. ^ Zee, A. (2013). Einstein gravity in a nutshell. Princeton: Princeton University Press. pp. 381–383, 477–478. ISBN 9780691145587. 
  13. ^ Itzykson-Zuber, eq. 3-152
  14. ^ http://www.fuw.edu.pl/~dobaczew/maub-42w/node9.html
  15. ^ http://smallsystems.isn-oldenburg.de/Docs/THEO3/publications/semiclassical.qcd.prep.pdf
  16. ^ http://www-zeus.physik.uni-bonn.de/~brock/teaching/jets_ws0405/seminar09/sluka_quark_gluon_jets.pdf
  17. ^ Roger F Gans (2013). Engineering Dynamics: From the Lagrangian to Simulation. New York: Springer. ISBN 978-1-4614-3929-5. 

References[edit]