2012-04-29 18:40:32 8 Comments

Noether's (first) theorem states that any differentiable symmetry of the action of a physical system has a corresponding conservation law.

Is the converse true: Any conservation law of a physical system has a differentiable symmetry of its action?

### Related Questions

#### Sponsored Content

#### 2 Answered Questions

### [SOLVED] Noether's theorem under arbitrary coordinate transformation

**2019-04-30 21:37:24****amilton moreira****89**View**1**Score**2**Answer- Tags: symmetry noethers-theorem classical-field-theory

#### 2 Answered Questions

### [SOLVED] Invariance of Action vs. Lagrangian in Noether's theorem?

**2017-09-26 05:54:32****SS_1234****664**View**6**Score**2**Answer- Tags: lagrangian-formalism symmetry action noethers-theorem classical-field-theory

#### 2 Answered Questions

### [SOLVED] Symmetry in elliptical orbit according to Noether's theorem

**2018-08-03 02:47:22****Shashank Kumar****100**View**0**Score**2**Answer- Tags: symmetry noethers-theorem

#### 0 Answered Questions

### What is the relation between Noether's theorem and uncertainty relation?

**2017-08-01 08:10:16****Shivam Sharma****435**View**2**Score**0**Answer- Tags: quantum-mechanics conservation-laws symmetry heisenberg-uncertainty-principle noethers-theorem

#### 1 Answered Questions

### [SOLVED] From Noether's Theorem, is it true that the law of conservation of energy can be proved?

**2017-06-02 12:08:00****mathshungry****362**View**1**Score**1**Answer- Tags: classical-mechanics lagrangian-formalism energy-conservation symmetry noethers-theorem

#### 3 Answered Questions

### [SOLVED] Wouldn't we have an additional conservation law in a spherical Universe?

**2017-03-19 20:59:08****peterh****258**View**6**Score**3**Answer- Tags: general-relativity cosmology conservation-laws symmetry noethers-theorem

#### 2 Answered Questions

### [SOLVED] Layman's version of Noether's Theorem (or the intuition behind it)

**2017-04-11 15:23:31****TreFox****1143**View**18**Score**2**Answer- Tags: classical-mechanics conservation-laws symmetry noethers-theorem

#### 2 Answered Questions

### [SOLVED] What is the symmetry associated with the local particle number conservation law for fluid?

**2013-12-13 17:00:04****Blue****542**View**8**Score**2**Answer- Tags: fluid-dynamics symmetry conservation-laws noethers-theorem

#### 1 Answered Questions

### [SOLVED] Reversing Noether's theorem

**2014-07-04 08:11:33****Riccardo.Alestra****298**View**5**Score**1**Answer- Tags: symmetry conservation-laws noethers-theorem

#### 4 Answered Questions

### [SOLVED] Does the action and Lagrangian have identical symmetries and conserved quantities?

**2014-02-11 18:41:16****Larry Harson****1273**View**10**Score**4**Answer- Tags: lagrangian-formalism conservation-laws noethers-theorem action

## 5 comments

## @Qmechanic 2012-05-10 22:52:28

I) For a mathematical precise treatment of an inverse Noether's Theorem, one should consult e.g. Olver's book (Ref. 1, Thm. 5.58), as user orbifold also writes in his answer (v2). Here we would like give a heuristic and less technical discussion, to convey the heart of the matter, and try to avoid the language of jets and prolongations as much as possible.

In popular terms, we would like to formulate an "inverse Noether machine"

$$ \text{Input: Lagrangian system with known conservation laws} $$ $$ \Downarrow $$ $$ \text{[inverse Noether machine]} $$ $$ \Downarrow $$ $$ \text{Output: (quasi)symmetries of action functional} $$

Since this "machine" is supposed to be a mathematical theorem that should succeed everytime without exceptions (else it is by definition not a theorem!), we might have to narrow down the set/class/category of inputs that we allow into the machine in order not to have halting errors/breakdowns in the machinery.

II) Let us make the following non-necessary restrictions for simplicity:

Let us focus on point mechanics with a local action functional $$\tag{1} S[q] ~=~ \int\! dt~ L(q(t), \frac{dq(t)}{dt}, \ldots,\frac{d^Nq(t)}{dt^N} ;t), $$ where $N\in\mathbb{N}_0$ is some finite order. Generalization to classical local field theory is straightforward.

Let us restrict to only

verticaltransformations $\delta q^i$, i.e., anyhorizontaltransformation $\delta t=0$ vanishes. (Olver essentially calls theseevolutionaryvector fields, and he mentions that it is effectively enough to study those (Ref. 1, Prop. 5.52).)Let us assume, as Olver also does, that the Lagrangian $L$ and the transformations are real analytic$^{\dagger}$.

The following technical restrictions/extensions are absolutely necessary:

The notion of symmetry $\delta S=0$ should be relaxed to

quasisymmetry(QS). By definition a QS of the action $S$ only has to hold modulo boundary terms. (NB: Olver uses a different terminology: He calls a symmetry for a strict symmetry, and a quasisymmetry for a symmetry.)The notion of QS transformations might only make sense infinitesimally/as a vector field/Lie algebra. There might not exist corresponding finite QS transformations/Lie group. In particular, the QS transformations are allowed to depend on the velocities $\dot{q}$. (Olver refers to this as

generalizedvector fields (Ref. 1, Def. 5.1).)III) Noether's Theorem provides a canonical recipe of how to turn a QS of the action $S$ into a conservation law (CL),

$$\tag{2} \frac{dQ}{dt}~\approx~0,$$

where $Q$ is the full Noether charge. (Here the $\approx$ symbol means equality on-shell, i.e. modulo the equations of motion (eom).)

Remark 1:Apart from time $t$, the QS transformations are only allowed to act on the variables $q^i$ that actively participate in the action principle. If there are passive external parameters, say, coupling constants, etc, the fact that they are constant in the model are just trivial CLs, which should obviously not count as genuine CLs. In particular, $\frac{d1}{dt}=0$ is just a trivial CL.Remark 2:A CL should by definition hold forallsolutions, not just for a particular solution.Remark 3:A QS of the action $S$ is always implicitly assumed to hold off-shell. (It should be stressed that anon-shell QS of the action$$\tag{3} \delta S \approx \text{boundary terms} $$

is a vacuous notion, as the Euler-Lagrange equations remove any bulk term on-shell.)

Remark 4:It should be emphasized that a symmetry of eoms does not always lead to a QS of the Lagrangian, cf. e.g. Ref. 2, Example 1 below, and this Phys.SE post. Hence it is important to trace the off-shell aspects of Noether's Theorem.Example 1: A symmetry of the eoms is not necessarily a QS of the Lagrangian.Let the Lagrangian be $L=\frac{1}{2}\sum_{i=1}^n \dot{q}^i g_{ij} \dot{q}^j$, where $g_{ij}$ is a constant non-degenerate metric. The eoms $\ddot{q}^i\approx 0$ have a $gl(n,\mathbb{R})$ symmetry $\delta q^{i}=\epsilon^i{}_j~q^{i}$, but only an $o(n,\mathbb{R})$ Lie subalgebra of the $gl(n,\mathbb{R})$ Lie algebra is a QS of the Lagrangian.IV) Without further assumptions, there is a priori no guarantee that the Noether recipe will turn a QS into a non-trivial CL.

Example 2:Let the Lagrangian $L(q)=0$ be the trivial Lagrangian. The variable $q$ is pure gauge. Then the local gauge symmetry $\delta q(t)=\epsilon(t)$ is a symmetry, although the corresponding CL is trivial.Example 3:Let the Lagrangian be $L=\frac{1}{2}\sum_{i=1}^3(q^i)^2-q^1q^2q^3$. The eom are $q_1\approx q_2q_3$ and cyclic permutations. It follows that the positions $q^i\in\{ 0,\pm 1\}$ are constant. (Only $1+1+3=5$ out of the $3^3=27$ branches are consistent.) Any function $Q=Q(q)$ is a conserved quantity. The transformation $\delta q^i=\epsilon \dot{q}^i$ is a QS of the action $S$.If we want to formulate a bijection between QSs and CLs, we must consider

equivalence classesof QSs and CLs modulo trivial QSs and CLs, respectively.trivialif it vanishes on-shell (Ref. 1, p.292).A CL is called

trivial of first kindif the Noether current $Q$ vanishes on-shell.trivial of second kindif CL vanishes off-shell.trivialif it is a linear combination of CLs of first and second kinds (Ref. 1, p.264-265).V) The most crucial assumption is that the eoms are assumed to be (totally)

non-degenerate.Olver writes (Ref. 1, Def. 2.83.):A system of differential equations is called totally non-degenerate if it and all its prolongations are both ofmaximal rankand locally solvable$^{\ddagger}$.The non-degeneracy assumption exclude that the action $S$ has a local gauge symmetry. If $N=1$, i.e. $L=L(q,\dot{q},t)$, the non-degeneracy assumption means that the Legendre transformation is regular, so that we may easily construct a corresponding Hamiltonian formulation $H=H(q,p,t)$. The Hamiltonian Lagrangian reads

$$\tag{4} L_H~=~p_i \dot{q}^i-H.$$

VI) For a Hamiltonian action functional $S_H[p,q] = \int\! dt~ L_H$, there is a canonical way to define an inverse map from a conserved quantity $Q=Q(q,p,t)$ to a transformation of $q^i$ and $p_i$ by using the Noether charge $Q$ as Hamiltonian generator for the transformations, as also explained in e.g. my Phys.SE answer here. Here we briefly recall the proof. The on-shell CL (2) implies

$$\tag{5} \{Q,H\}+\frac{\partial Q}{\partial t}~=~0$$

off-shell, cf. Remark 2. The corresponding transformation

$$\tag{6} \delta q^i~=~ \{q^i,Q\}\epsilon~=~\frac{\partial Q}{\partial p_i}\epsilon\qquad \text{and}\qquad \delta p_i~=~ \{p_i,Q\}\epsilon~=~-\frac{\partial Q}{\partial q^i}\epsilon$$

is a QS of the Hamiltonian Lagrangian

$$ \delta L_H ~\stackrel{(4)}{=}~\dot{q}^i \delta p_i -\dot{p}_i \delta q^i -\delta H+\frac{d}{dt}(p_i \delta q^i)\qquad $$

$$~\stackrel{(6)+(8)}{=}~ -\dot{q}^i\frac{\partial Q}{\partial q^i}\epsilon -\dot{p}_i\frac{\partial Q}{\partial p_i}\epsilon -\{H,Q\}\epsilon + \epsilon \frac{d Q^0}{dt}$$ $$\tag{7}~\stackrel{(5)}{=}~ \epsilon \frac{d (Q^0-Q)}{dt}~\stackrel{(9)}{=}~ \epsilon \frac{d f^0}{dt},$$

because $\delta L_H$ is a total time derivative. Here $Q^0$ is the bare Noether charge

$$\tag{8} Q^0~=~ \frac{\partial L_H}{\partial \dot{q}^i} \{q^i,Q\} + \frac{\partial L_H}{\partial \dot{p}_i} \{p_i,Q\} ~=~ p_i \frac{\partial Q}{\partial p_i},$$

and

$$\tag{9} f^0~=~ Q^0-Q .$$

Hence the corresponding full Noether charge

$$\tag{10} Q~=~Q^0-f^0 $$

is precisely the conserved quantity $Q$ that we began with. Therefore the inverse map works in the Hamiltonian case.

Example 4:The non-relativistic free particle $L_H=p\dot{q}-\frac{p^2}{2m}$ has e.g. the two conserved charges $Q_1=p$ and $Q_2=q-\frac{pt}{m}$.The inverse Noether Theorem for non-degenerate systems (Ref. 1, Thm. 5.58) can intuitively be understood from the fact, that:

Firstly, there exists an underlying Hamiltonian system $S_H[p,q]$, where the bijective correspondence between QS and CL is evident.

Secondly, by integrating out the momenta $p_i$ we may argue that the same bijective correspondence holds for the original Lagrangian system.

VII) Finally, Ref. 3 lists KdV and sine-Gordon as counterexamples to an inverse Noether Theorem. KdV and sine-Gordon are integrable systems with infinitely many conserved charges $Q_n$, and one can introduce infinitely many corresponding commuting Hamiltonians $\hat{H}_n$ and times $t_n$. According to Olver, KdV and sine-Gordon are not really counterexamples, but just a result of a failure to properly distinguishing between non-trivial and trivial CL. See also Ref. 4.

References:

P.J. Olver,

Applications of Lie Groups to Differential Equations,1993.V.I. Arnold,

Mathematical methods of Classical Mechanics,2nd eds., 1989, footnote 38 on p. 88.H. Goldstein,

Classical Mechanics;2nd eds., 1980, p. 594; or 3rd eds., 2001, p. 596.L.H. Ryder,

Quantum Field Theory,2nd eds., 1996, p. 395.$^{\dagger}$ Note that if one abandons real analyticity, say for $C^k$ differentiability instead, the analysis may become very technical and cumbersome. Even if one works with the category of smooth $C^\infty$ functions rather than the category of real analytic functions, one could encounter the Lewy phenomenon, where the equations of motion (eom) have no solutions at all! Such situation would render the notion of a conservation law (CL) a bit academic! However, even without solutions, a CL may formally still exists as a formal consequence of eoms. Finally, let us add that if one is only interested in a particular action functional $S$ (as opposed to all action functionals within some class) most often, much less differentiability is usually needed to ensure regularity.

$^{\ddagger}$

Maximal rankis crucial, whilelocally solvablemay not be necessary, cf. previous footnote.## @Jus12 2017-11-10 07:04:40

What is the TL;DR of this answer. Is the converse true or not?

## @Qmechanic 2017-11-10 12:20:18

TL;DR: It depends. Obligatory phdcomics :)

## @user74013 2015-02-25 16:09:10

The real converse of the first theorem is the second one. Your formulation of the converse of the first theorem is too literal and thus valid as a particular case under additional conditions.

## @Jim 2015-02-25 16:15:31

I can't tell if you're responding to the question or to another answer. Perhaps if you add some clarity and expand your answer, it would be more useful

## @ACuriousMind 2015-02-25 16:18:00

This is wrong, the Noether's second theorem is not a converse of the first, but a statement about gauge symmetries instead of global symmetries. See my answer here and linked paper therein.

## @orbifold 2012-05-06 10:47:52

It is indeed true that there is a one-to-one correspondence between one-parameter groups of generalized variational symmetries of some functional and the conservation laws of its associated Euler-Lagrange equations. Precise statements and definitions can for example be found in chapter 5 of Olver, "Applications of Lie Groups to Differential Equations". Regardless of the question I highly recommend that book, if you are interested in such questions. In fact Noether already stated her theorem in this generality, but usually only the trivial aspects of it are discussed in physics courses.

A perhaps more interesting question is, which sets of differential equations can be the Euler-Lagrange equations of some variational problem, since it is at least conceivable that the description of some physical systems do not arise from variational problems. This was already studied by Helmholtz and also discussed in this book.

Ironically the Korteg-de-Vries equation admits an infinite number of such generalized symmetries, which is the reason, why it is "exactly solvable" and for the soliton solutions. So the accepted answer is not only wrong, but even the example given by the author is a good counterexample.

## @Ron Maimon 2012-04-30 04:36:04

If the conservation law is

general, meaning that it isn't specific to one motion, but conserved in a general configuration, then the answer is yes. This follows from the theory of canonical transformations in classical mechanics.First, consider a perfectly triangular symmetric initial condition of three particles arranged on an equilateral triangle with velocities that are rotated by the appropriate angle (120 degrees, 240 degrees) to give a three-fold rotational symmetry. In this initial condition, for triangularly invariant force laws, there is a conservation of triangular symmetry, so that the configuration has the property that given the position of the center of mass and one of the particles, you can find the other two. This is the classical discrete symmetry, and it does not generalize to an arbitrary motion, so it has no symmetry associated with it.

But if you have a general conserved quantity Q(x,p) on the phase space which is conserved for

allinitial conditions x,p, then$$[Q,H]_\mathrm{cl}=0$$

Where the bracket is the Poisson bracket. It follows that the motion on the phase space using Q as a Hamitonian

$$ {dx^i\over ds} = - {\partial Q\over \partial p_i}$$ $$ {dp_i\over ds} = {\partial Q\over \partial x^i} $$

makes a transformation of the phase space taking x,p to x(s),p(s), and this transformation commutes with the Hamiltonian time evolution, and defines a symmetry on the phase space whose Noether current gives the conservation of Q.

The same idea works in reverse, and in quantum mechanics, you just replace the classical Poisson bracket with the commutator, and use Q as a Hamiltonian to generate the wavefunction evolution:

$$ |\psi\rangle \rightarrow e^{isQ}\psi\rangle$$

and this gives you the symmetry. The nice thing in QM is that even discrete symmetries which are quantum mechanically exact give rise to conserved quantities, so that the triangular force law preserves the operator that does rotations by 120 degrees on the wavefunction, and one may classify the stationary states by their Z_3 discrete charge. The key difference is that any state in quantum mechanics may be written as a superposition of symmetric states, by superposing with rotated versions of itself with the appropriate phase.

## @Emilio Pisanty 2012-04-30 16:44:33

In the triangular case, finding the third particle using the centre of mass and two particle coordinates is always trivially possible. Given the symmetry, only two of those three data are needed.

## @Ron Maimon 2012-04-30 23:34:38

@episanty: Of course you're right. I fixed it, thanks.

## @Venugopal 2012-04-29 20:07:12

I do not know how to prove the following but it should answer your question factually at least. The following I quote from the book 'Classical Mechanics' by Goldstein- "It should be remarked that while Noether's theorem proves that a continuous symmetry property o a Lagrangian density leads to a conservation condition, the converse is not true. There seems to be conservation conditions that cannot correspond to a symmetry property. The most prominent examples at the moment are the fields that have soliton solutions, e.g. , are described by th sine-Gordon equation or the Korteweg-deVries equation."

I hope this answers your question.

## @Ron Maimon 2012-04-30 04:37:17

There is a reverse Noether theorem for conservation laws which are not special to a particular initial condition. The solitary wave equations have extra conservation laws, but conservation of "soliton shape" is not exactly the way to formulate it.

## @Ron Maimon 2012-05-01 04:03:58

Before this answer is upvoted too much, what is the precise counterexample? The extra conservation laws in soliton equations also correspond to symmetries of the phase space.

## @Larry Harson 2012-05-04 21:10:04

Well, can't argue with the master himself - Goldstein. But even so, I'm shocked.

## @orbifold 2012-05-06 10:53:00

This answer is wrong or at least imprecise. One should never accept arguments from authority.

## @Ron Maimon 2012-05-06 21:45:44

@LarryHarson: Goldstein is just wrong. Everybody makes mistakes. This answer should not be accepted or upvoted.

## @Larry Harson 2012-05-08 19:42:50

@RonMaimon OK, I'll reverse my acceptance since you have three upvotes and disagree. What do you think of Terry's answer below?

## @Ron Maimon 2012-05-08 22:00:14

@LarryHarson: Even if I were at -20, you should change your mind--- correctness is not determined by either voting here or by authority elsewhere. It is determined by the arguments themselves, which you should check. There are some cases where my argument fails--- for example for Galilean boosts (which don't commute with H), but you can see how the theorem still works anyway. Terry's answer is well intentioned, but it misses the point and is a weird tangent (not my downvote). He thinks the key point is differnetiability, but this isn't true.