In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern 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 experim ...
, Noether's second theorem relates symmetries of an
action
Action may refer to:
* Action (narrative), a literary mode
* Action fiction, a type of genre fiction
* Action game, a genre of video game
Film
* Action film, a genre of film
* ''Action'' (1921 film), a film by John Ford
* ''Action'' (1980 fil ...
functional
Functional may refer to:
* Movements in architecture:
** Functionalism (architecture)
** Form follows function
* Functional group, combination of atoms within molecules
* Medical conditions without currently visible organic basis:
** Functional sy ...
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, an ...
s.
[
:Translated in ] The action ''S'' of a physical system is an
integral
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...
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
The stationary-action principle – also known as the principle of least action – is a variational principle that, when applied to the '' action'' of a mechanical system, yields the equations of motion for that system. The principle states tha ...
.
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 Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
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 (electromagnetism, electromagnetic, weak interaction, weak and strong interactions - excluding gravity) in the universe and classifying a ...
.
The theorem is named after
Emmy Noether
Amalie Emmy NoetherEmmy is the ''Rufname'', the second of two official given names, intended for daily use. Cf. for example the résumé submitted by Noether to Erlangen University in 1907 (Erlangen University archive, ''Promotionsakt Emmy Noethe ...
.
See also
*
Noether's first theorem
Noether's theorem or Noether's first theorem states that every differentiable symmetry of the action of a physical system with conservative forces has a corresponding conservation law. The theorem was proven by mathematician Emmy Noether i ...
*
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)
In mathematics, any Lagrangian system generally admits gauge symmetries, though it may happen that they are trivial. In theoretical physics, the notion of gauge symmetries depending on parameter functions is a cornerstone of contemporary field t ...
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