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
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:
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
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 ).
|[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)|
|||N.N. Bogolyubov, D.V. Shirkov, "Introduction to the theory of quantized fields" , Wiley (1980) (Translated from Russian)|
|||I.M. Gel'fand, S.V. Fomin, "Calculus of variations" , Prentice-Hall (1963) (Translated from Russian)|
|||V.I. Arnol'd, "Mathematical methods of classical mechanics" , Springer (1978) (Translated from Russian)|
|||L.V. [L.V. Ovsyannikov] Ovsiannikov, "Group analysis of differential equations" , Acad. Press (1982) (Translated from Russian)|
|||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|
|||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|
|||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|
|[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.
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 .
|||E. Noether, "Abstrakter Aufbau der Idealtheorie in algebraischen Zahl und Funktionenkörpern" Math. Ann. , 96 (1927) pp. 26–61|
|||D. Hilbert, "Ueber die vollen Invariantensysteme" Math. Ann. , 42 (1893) pp. 313–373|
|||M. Atiyah, I.G. Macdonald, "Introduction to commutative algebra" , Addison-Wesley (1969)|
|||N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French)|
|||O. Zariski, P. Samuel, "Commutative algebra" , 1–2 , v. Nostrand (1958–1960) ((reprinted: Springer, 1975))|
|||S. Lang, "Algebra" , Addison-Wesley (1974)|
Noether theorem. D.V. Alekseevskii (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Noether_theorem&oldid=16595