In
mathematics and
theoretical physics
Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain and predict natural phenomena. This is in contrast to experimental physics, which uses experi ...
, Noether's second theorem relates symmetries of an
action functional with a system of
differential equation
In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, a ...
s.
[
:Translated in ] The action ''S'' of a physical system is an
integral
In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with ...
of a so-called
Lagrangian
Lagrangian may refer to:
Mathematics
* Lagrangian function, used to solve constrained minimization problems in optimization theory; see Lagrange multiplier
** Lagrangian relaxation, the method of approximating a difficult constrained problem with ...
function ''L'', from which the system's behavior can be determined by the
principle of least action.
Specifically, the theorem says that if the action has an infinite-dimensional
Lie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi iden ...
of infinitesimal symmetries parameterized linearly by ''k'' arbitrary functions and their derivatives up to order ''m'', then the
functional derivative
In the calculus of variations, a field of mathematical analysis, the functional derivative (or variational derivative) relates a change in a functional (a functional in this sense is a function that acts on functions) to a change in a function on ...
s of ''L'' satisfy a system of ''k'' differential equations.
Noether's second theorem is sometimes used in
gauge theory
In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie groups ...
. Gauge theories are the basic elements of all modern
field theories of physics, such as the prevailing
Standard Model
The Standard Model of particle physics is the theory describing three of the four known fundamental forces ( electromagnetic, weak and strong interactions - excluding gravity) in the universe and classifying all known elementary particles. I ...
.
The theorem is named after
Emmy Noether.
See also
*
Noether's first theorem
*
Noether identities In mathematics, Noether identities characterize the degeneracy of a Lagrangian system. Given a Lagrangian system and its Lagrangian ''L'', Noether identities can be defined as a differential operator whose kernel contains a range of the Euler ...
*
Gauge symmetry (mathematics)
Notes
References
*
*
*
Further reading
*
*
*
*
* {{cite journal , last1=Montesinos , first1=Merced , last2=Gonzalez, first2=Diego , last3=Celada , first3=Mariano , year=2018 , title=The gauge symmetries of first-order general relativity with matter fields , journal=Classical and Quantum Gravity , volume=35 , issue=20 , pages=205005 , arxiv=1809.10729 , bibcode=2018CQGra..35t5005M , doi=10.1088/1361-6382/aae10d, s2cid=53531742
Theoretical physics
Calculus of variations
Partial differential equations
Conservation laws
Theorems in mathematical physics
Quantum field theory
Symmetry