Application of Lagrangian mechanics to field theories
Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.
One motivation for the development of the Lagrangian formalism on fields, and more generally, for classical field theory, is to provide a clear mathematical foundation for quantum field theory, which is infamously beset by formal difficulties that make it unacceptable as a mathematical theory. The Lagrangians presented here are identical to their quantum equivalents, but, in treating the fields as classical fields, instead of being quantized, one can provide definitions and obtain solutions with properties compatible with the conventional formal approach to the mathematics of partial differential equations. This enables the formulation of solutions on spaces with well-characterized properties, such as Sobolev spaces. It enables various theorems to be provided, ranging from proofs of existence to the uniform convergence of formal series to the general settings of potential theory. In addition, insight and clarity is obtained by generalizations to Riemannian manifolds and fiber bundles, allowing the geometric structure to be clearly discerned and disentangled from the corresponding equations of motion. A clearer view of the geometric structure has in turn allowed highly abstract theorems from geometry to be used to gain insight, ranging from the Chern–Gauss–Bonnet theorem and the Riemann–Roch theorem to the Atiyah–Singer index theorem and Chern–Simons theory.
Overview
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 Riemannian manifold. The dependent variables are replaced by the value of a field at that point in spacetime so that the equations of motion are obtained by means of an action principle, written as:
where the action, , is a functional of the dependent variables , their derivatives and s itself
where the brackets denote ;
and s = {sα} denotes the
independent variables
of the system, including the time variable, and is indexed by α = 1, 2, 3, ..., n. The calligraphic typeface, , is used to denote the density, and is the volume form of the field function, i.e., the measure of the domain of the field function.
In mathematical formulations, it is common to express the Lagrangian as a function on a
spin manifolds from first principles, etc. Current research focuses on non-rigid affine structures, (sometimes called "quantum structures") wherein one replaces occurrences of vector spaces by tensor algebras. This research is motivated by the breakthrough understanding of quantum groups as affine Lie algebras (Lie groups are, in a sense "rigid", as they are determined by their Lie algebra. When reformulated on a tensor algebra, they become "floppy", having infinite degrees of freedom; see e.g. Virasoro algebra
.)
Definitions
In Lagrangian field theory, the Lagrangian as a function of generalized coordinates is replaced by a Lagrangian density, a function of the fields in the system and their derivatives, and possibly the space and time coordinates themselves. In field theory, the independent variable t is replaced by an event in spacetime (x, y, z, t) or still more generally by a point s on a manifold.
Often, a "Lagrangian density" is simply referred to as a "Lagrangian".
Scalar fields
For one scalar field , the Lagrangian density will take the form:[nb 1][4]
For many scalar fields
In mathematical formulations, the scalar fields are understood to be
spinor fields. In physics, fermions are described by spinor fields. Bosons
are described by tensor fields, which include scalar and vector fields as special cases.
For example, if there are real-valued scalar fields, , then the field manifold is . If the field is a real
isomorphic
to .
Action
The
time integral of the Lagrangian is called the action
denoted by S. In field theory, a distinction is occasionally made between the LagrangianL, of which the time integral is the action
and the Lagrangian density, which one integrates over all spacetime to get the action:
The spatial volume integral of the Lagrangian density is the Lagrangian; in 3D,
The action is often referred to as the "action functional", in that it is a function of the fields (and their derivatives).
Volume form
In the presence of gravity or when using general curvilinear coordinates, the Lagrangian density will include a factor of . This ensures that the action is invariant under general coordinate transformations. In mathematical literature, spacetime is taken to be a Riemannian manifold and the integral then becomes the volume form
Here, the is the
wedge product
and is the square root of the determinant of the metric tensor on . For flat spacetime (e.g.,
Minkowski spacetime
), the unit volume is one, i.e. and so it is commonly omitted, when discussing field theory in flat spacetime. Likewise, the use of the wedge-product symbols offers no additional insight over the ordinary concept of a volume in multivariate calculus, and so these are likewise dropped. Some older textbooks, e.g., Landau and Lifschitz write for the volume form, since the minus sign is appropriate for metric tensors with signature (+−−−) or (−+++) (since the determinant is negative, in either case). When discussing field theory on general Riemannian manifolds, the volume form is usually written in the abbreviated notation where is the
Hodge star
. That is,
and so
Not infrequently, the notation above is considered to be entirely superfluous, and
is frequently seen. Do not be misled: the volume form is implicitly present in the integral above, even if it is not explicitly written.
Euler–Lagrange equations
The
geodesic flow
of the field as a function of time. Taking the variation with respect to , one obtains
Solving, with respect to the
Euler–Lagrange equations
:
Examples
A large variety of physical systems have been formulated in terms of Lagrangians over fields. Below is a sampling of some of the most common ones found in physics textbooks on field theory.
Newtonian gravity
The Lagrangian density for Newtonian gravity is:
where Φ is the gravitational potential, ρ is the mass density, and G in m3·kg−1·s−2 is the gravitational constant. The density has units of J·m−3. Here the interaction term involves a continuous mass density ρ in kg·m−3. This is necessary because using a point source for a field would result in mathematical difficulties.
This Lagrangian can be written in the form of , with the providing a kinetic term, and the interaction the potential term. See also Nordström's theory of gravitation for how this could be modified to deal with changes over time. This form is reprised in the next example of a scalar field theory.
The variation of the integral with respect to Φ is:
After integrating by parts, discarding the total integral, and dividing out by δΦ the formula becomes:
The Lagrangian for a scalar field moving in a potential can be written as
It is not at all an accident that the scalar theory resembles the undergraduate textbook Lagrangian for the kinetic term of a free point particle written as . The scalar theory is the field-theory generalization of a particle moving in a potential. When the is the
The sigma model describes the motion of a scalar point particle constrained to move on a Riemannian manifold, such as a circle or a sphere. It generalizes the case of scalar and vector fields, that is, fields constrained to move on a flat manifold. The Lagrangian is commonly written in one of three equivalent forms:
where the is the differential. An equivalent expression is
with the
Riemannian metric
on the manifold of the field; i.e. the fields are just
coordinate chart
of the manifold. A third common form is
with
and , the
SU(N). This group can be replaced by any Lie group, or, more generally, by a symmetric space. The trace is just the Killing form in hiding; the Killing form provides a quadratic form on the field manifold, the lagrangian is then just the pullback of this form. Alternately, the Lagrangian can also be seen as the pullback of the Maurer–Cartan form
to the base spacetime.
In general, sigma models exhibit
topological soliton solutions. The most famous and well-studied of these is the Skyrmion, which serves as a model of the nucleon
Consider a point particle, a charged particle, interacting with the electromagnetic field. The interaction terms
are replaced by terms involving a continuous charge density ρ in A·s·m−3 and current density in A·m−2. The resulting Lagrangian density 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
.
Using
tensor notation
, we can write all this more compactly. The term is actually the inner product of two four-vectors. We package the charge density into the current 4-vector and the potential into the potential 4-vector. These two new vectors are
We can then write the interaction term as
Additionally, we can package the E and B fields into what is known as the electromagnetic tensor.
We define this tensor as
The term we are looking out for turns out to be
We have made use of the
Minkowski metric
to raise the indices on the EMF tensor. In this notation, Maxwell's equations are
where ε is the
Levi-Civita tensor
. So the Lagrange density for electromagnetism in special relativity written in terms of Lorentz vectors and tensors is
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.[5][6]
Electromagnetism and the Yang–Mills equations
Using
differential forms
, the electromagnetic action S in vacuum on a (pseudo-) Riemannian manifold can be written (using natural units, c = ε0 = 1) as
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
These are Maxwell's equations for the electromagnetic potential. Substituting F = dA immediately yields the equation for the fields,
because F is an
exact form
.
The A field can be understood to be the
Minkowski spacetime
.
The
Standard model
, it is conventionally taken to be although the general case is of general interest. In all cases, there is no need for any quantization to be performed. Although the Yang–Mills equations are historically rooted in quantum field theory, the above equations are purely classical.[2][3]
Chern–Simons functional
In the same vein as the above, one can consider the action in one dimension less, i.e. in a contact geometry setting. This gives the Chern–Simons functional. It is written as
The Lagrangian density for QED combines the Lagrangian for the Dirac field together with the Lagrangian for electrodynamics in a gauge-invariant way. It is:
Yang–Mills action, which describes the dynamics of a gauge field; the combined Lagrangian is gauge invariant. It may be written as:[9]
where D is the QCD gauge covariant derivative, n = 1, 2, ...6 counts the quark types, and is the gluon field strength tensor. As for the electrodynamics case above, the appearance of the word "quantum" above only acknowledges its historical development. The Lagrangian and its gauge invariance can be formulated and treated in a purely classical fashion.[2][3]
geodesics on the manifold described by the connection. They move in a "straight line
".)
The Lagrangian for general relativity can also be written in a form that makes it manifestly similar to the Yang–Mills equations. This is called the
frame fields, one obtains the equations above.[2][3]
Substituting this Lagrangian into the Euler–Lagrange equation and taking the metric tensor as the field, we obtain the Einstein field equations
is the
energy momentum tensor
and is defined by
where is the determinant of the metric tensor when regarded as a matrix. Generally, in general relativity, the integration measure of the action of Lagrange density is . 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).[5] This is an example of the volume form
, previously discussed, becoming manifest in non-flat spacetime.
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 . The Lagrangian is
This Lagrangian is obtained by simply replacing the Minkowski metric in the above flat Lagrangian with a more general (possibly curved) metric . We can generate the Einstein Field Equations in the presence of an EM field using this lagrangian. The energy-momentum tensor is
It can be shown that this energy momentum tensor is traceless, i.e. that
If we take the trace of both sides of the Einstein Field Equations, we obtain
So the tracelessness of the energy momentum tensor implies that the curvature scalar in an electromagnetic field vanishes. The Einstein equations are then
Additionally, Maxwell's equations are
where is the covariant derivative. For free space, we can set the current tensor equal to zero, . Solving both Einstein and Maxwell's equations around a spherically symmetric mass distribution in free space leads to the
Reissner–Nordström charged black hole, with the defining line element (written in natural units and with charge Q):[5]
One possible way of unifying the electromagnetic and gravitational Lagrangians (by using a fifth dimension) is given by
Standard model
, dashing these hopes.
Additional examples
The BF model Lagrangian, short for "Background Field", describes a system with trivial dynamics, when written on a flat spacetime manifold. On a topologically non-trivial spacetime, the system will have non-trivial classical solutions, which may be interpreted as solitons or instantons. A variety of extensions exist, forming the foundations for topological field theories.
^It is a standard abuse of notation to abbreviate all the derivatives and coordinates in the Lagrangian density as follows:
see four-gradient. The μ is an index which takes values 0 (for the time coordinate), and 1, 2, 3 (for the spatial coordinates), so strictly only one derivative or coordinate would be present. In general, all the spatial and time derivatives will appear in the Lagrangian density, for example in Cartesian coordinates, the Lagrangian density has the full form:
Here we write the same thing, but using ∇ to abbreviate all spatial derivatives as a vector.
Citations
^Ralph Abraham and Jerrold E. Marsden, (1967) "Foundations of Mechanics"
^ abcdefDavid Bleecker, (1981) "Gauge Theory and Variational Principles" Addison-Wesley
^ abcdefJurgen Jost, (1995) "Riemannian Geometry and Geometric Analysis", Springer