Noether theorem
Noether's first theorem establishes a connection between the infinitesimal symmetries of a functional of the form
![]() |
where are independent variables,
are functions defined in a certain domain
,
are their partial derivatives, and
is a certain function (the Lagrangian), and the conservation laws for the corresponding system of Euler–Lagrange equations
![]() |
which gives necessary conditions for an extremum of . Namely, to an infinitesimal symmetry
, that is, a vector field
![]() |
that generates a one-parameter group of transformations preserving , corresponds the conservation law
![]() |
(where the symbol indicates the omission of the corresponding factor), that is, an
-form depending on
that is closed when
satisfies the Euler–Lagrange equations.
In field theory, where and the coordinates
are interpreted as space-time coordinates,
is called the action and
the field. To fields
providing an extremum of the action functional correspond physically realizable fields with a given Lagrange function. If such a field
vanishes on the boundary of
, then by Stokes' theorem the integral of the conservation law
over a hypersurface
does not depend on the choice of
. In particular, if
is the time coordinate, then this integral yields a quantity that is preserved in the course of time (whence the name conservation law).
The invariance of the Lagrange function of distinct physical fields under parallel translations and Lorentz transformations (which is a consequence of the homogeneity and isotropy of Minkowski space-time) leads, by Noether's theorem, to the energy-momentum tensor and the angular momentum tensor of the field and to corresponding conservations laws for the energy, momentum and angular momentum of the motion. Invariance of the action functional of the electromagnetic field under gauge transformations leads to the conservation law for electric charge. Similarly, invariance of the Lagrangian of some field under gauge transformations yields conservation laws for various charges.
In classical mechanics, and the coordinate
is interpreted as time. If the Lagrange function does not depend explicitly on
, then the vector field
is a symmetry, and Noether's theorem leads to the law of conservation of energy. For a mechanical system whose motion can be described as geodesic motion in some Riemannian metric, the symmetries of the corresponding action functional are Killing vector (or, more generally, Killing tensor) fields. In this case the conservation law furnished by Noether's theorem means geometrically that the magnitude of the projection of the Killing vector field in the direction of a geodesic is constant along it. The general modern formulation of Noether's theorem in the language of fibre bundles consists in the following. Let
be a vector bundle over an
-dimensional manifold
with a fixed volume
-form
, and let
be the vector bundle of
-jets of sections of
. If
are local coordinates in
in which
becomes
, and if
are local coordinates in
, then in
one has local coordinates
, where
is a multi-index and
. The value of the coordinate
on the
-jet
of the section
of
is
![]() |
A smooth function determines an action functional
that associates with a section
the number
![]() |
An extremal for this functional (in a problem with fixed ends) satisfies the Euler–Lagrange equations
![]() |
where
![]() |
are the total derivatives. An infinitesimal automorphism of , that is, a vector field
on
of the form
![]() |
is called an infinitesimal symmetry of if the Lie derivative of the Lagrange
-form
in the direction of the vector field
, which is generated by
on
, vanishes:
![]() |
For the Lie derivative the following fundamental Noether formula holds:
![]() |
where
![]() |
and the are the components of a certain vector field depending on
,
and their derivatives. In particular,
for
. If
is an infinitesimal symmetry, then
![]() |
that is, a certain linear combination of the variational derivatives of the Lagrange function
is the divergence of the vector field
. It is in this form that E. Noether stated her first theorem. The divergence of
(a so-called Noether current) vanishes on extremals of the action functional, and the
-form
dual to it, which is obtained from
by inner multiplication by
, is closed, that is, it is a conservation law.
There are important generalizations of Noether's theorem (see, for example, –). They are based on an extension of the concept of an infinitesimal symmetry. Instead of vector fields on to which correspond one-parameter groups of transformations one considers vector fields on
with coefficients depending on the sections
and their derivatives of arbitrary order. Such fields
no longer determine one-parameter transformation groups; however, one can define for them by purely algebraic means the concept of a Lie derivative. A field
is called an algebraic infinitesimal symmetry if the Lie derivative of the Lagrange form vanishes in the direction of this field (maybe after restricting to extremals of the action functional). The generalized Noether theorem associates a conservation law with every algebraic symmetry. When applied to various equations of mathematical physics one obtains a large number of new important conservation laws.
Noether's second theorem asserts that if the action functional admits an infinite-dimensional Lie algebra of infinitesimal symmetries whose coefficients depend linearly on arbitrary functions
and their derivatives up to order
, then the variational derivatives
of the Lagrange function
satisfy a system of
differential equations of order
. Namely, if
![]() |
where
![]() |
is an infinitesimal symmetry for any smooth functions ,
, then identically
![]() |
This theorem has applications, for example, in the theory of gauge fields.
Noether proved her first and second theorem in 1918 (see ).
References
[1a] | E. Noether, "Invarianten beliebiger Differentialausdrücke" Nachr. Gesellschaft. Wiss. Göttingen (1918) pp. 37–44; 240 (Also: Gesammelte Abh., Springer, 1983, pp. 240–247) |
[1b] | E. Noether, "Invariante Variationsproblem" Nachr. Gesellschaft. Wiss. Göttingen (1918) pp. 237–257 (Also: Gesammelte Abh., Springer, 1983, pp. 248–270) |
[2] | N.N. Bogolyubov, D.V. Shirkov, "Introduction to the theory of quantized fields" , Wiley (1980) (Translated from Russian) |
[3] | I.M. Gel'fand, S.V. Fomin, "Calculus of variations" , Prentice-Hall (1963) (Translated from Russian) |
[4] | V.I. Arnol'd, "Mathematical methods of classical mechanics" , Springer (1978) (Translated from Russian) |
[5] | L.V. [L.V. Ovsyannikov] Ovsiannikov, "Group analysis of differential equations" , Acad. Press (1982) (Translated from Russian) |
[6] | Yu.I. Manin, "Algebraic aspects of nonlinear differential equations" J. Soviet Math. , 11 : 1 (1979) pp. 1–22 Itogi Nauk. i Tekhn. Sovrem. Probl. Mat. , 11 (1978) pp. 5–152 |
[7] | A.M. Vinogradov, "On the algebro-geometric foundations of Lagrangian field theory" Soviet Math. Dokl. , 18 : 5 (1977) pp. 1200–1204 Dokl. Akad. Nauk SSSR , 236 : 2 (1977) pp. 284–287 |
[8] | V.V. Lychagin, "Contact geometry and non-linear second-order differential equations" Russian Math. Surveys , 34 : 1 (1979) pp. 149–180 Uspekhi Mat. Nauk , 34 : 1 (1979) pp. 137–165 |
Comments
References
[a1] | P.J. Olver, "Applications of Lie groups to differential equations" , Springer (1986) |
[a2] | P. Funk, "Variationsrechnung und ihre Anwendung in Physik und Technik" , Springer (1962) |
[a3] | W. Ludwig, C. Falter, "Symmetries in physics" , Springer (1988) |
[a4] | T.-P. Cheng, L.-F. Li, "Gauge theory of elementary particle physics" , Oxford (1984) |
[a5] | K. Uhlenbeck, "Conservation laws and their application in global differential geometry" B. Srinivasan (ed.) J. Sally (ed.) , Emmy Noether in Bryn Mawr , Springer (1983) pp. 103–117 |
Noether's normalization theorem: In any finitely-generated commutative integral -algebra
of transcendence degree
over a field
there are
elements
such that
is integral over the subalgebra
generated by them (cf. Integral ring; Integral extension of a ring). If
has a grading of the form
,
, then
can be chosen to be homogeneous.
This theorem (sometimes also called Noether's normalization lemma) was proved by E. Noether [1]; in the graded case it was already stated by D. Hilbert [2].
The elements are algebraically independent over
, so that
is a polynomial algebra in these variables with coefficients in
. If
is infinite, then
can be chosen from linear combinations of generators of
over
. If
is algebraically closed, then the normalization theorem can be stated geometrically: Every irreducible affine
-dimensional algebraic variety
is a finitely-sheeted (ramified) covering of an affine
-dimensional space
; more accurately, it has a finite morphism onto
. Furthermore, if
is a closed subset of
, then this morphism can be realized as the restriction to
of a certain linear mapping of
onto a
-dimensional linear subspace.
The algebra is finitely generated as a
-module. The subalgebra
is not unique; however, a number of properties of
as a
-module do not depend on the choice of
. For example, if
is graded, as above under the hypotheses of the theorem, and if
are homogeneous (so that
is also graded), then the property of
of being a free
-module does not depend on the choice of
.
References
[1] | E. Noether, "Abstrakter Aufbau der Idealtheorie in algebraischen Zahl und Funktionenkörpern" Math. Ann. , 96 (1927) pp. 26–61 |
[2] | D. Hilbert, "Ueber die vollen Invariantensysteme" Math. Ann. , 42 (1893) pp. 313–373 |
[3] | M. Atiyah, I.G. Macdonald, "Introduction to commutative algebra" , Addison-Wesley (1969) |
[4] | N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French) |
[5] | O. Zariski, P. Samuel, "Commutative algebra" , 1–2 , v. Nostrand (1958–1960) ((reprinted: Springer, 1975)) |
[6] | S. Lang, "Algebra" , Addison-Wesley (1974) |
V.L. Popov
Noether theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Noether_theorem&oldid=47976