Why is Noether's theorem important?

We usually call equations like

$$\frac{d}{dt} \frac{\partial L}{\partial \dot{q_i}} - \frac{\partial L}{\partial q_i} = 0$$

"equations of motion," because they are equations that tell us how the variables of our system (here $q_i$) evolve in time. Indeed, in general, the solution to $n$ second order differential equations involves $2n$ integration constants (or initial conditions) in the solution. However, most people would not call these integration constants "conservation laws." In general usage, a "conserved quantity" $Q$ is a function of the configuration variables (here $q_i$ and $\dot q_i$) that does not change in time when the configuration variables evolve according to the equations of motion:

$$\frac{d}{dt} Q(q_i, \dot q_i) = 0.$$

Note that $Q(q_i, \dot q_i)$ does not depend on $t$ explicitly; it only depends on $t$ insofar as $q_i$ and $\dot q_i$ do. However, an initial condition depends on $q_i$, $\dot q_i$, and $t$. You need to know $t$ in order to know "how far to turn back the clock" to find the initial position and velocity.

A slick "proof" of Noether's theorem goes as follows. Say you have some differentiable group of transformations that leave your Lagrangian invariant. Imagine changing a path in configuration space by an infinitesimal group action, using a tiny number $\varepsilon$. For example, an infinitesimal translation in the $x$-direction in 3D space ($i = 1, 2, 3$) would be given by

$$q_1 \to q_1 + \varepsilon$$ $$q_2 \to q_2$$ $$q_3 \to q_3$$ $$\dot q_i \to \dot q_i$$

and an infinitesimal rotation in the $xy$-plane would be given by

$$q_1 \to q_1 + \varepsilon q_2$$ $$q_2 \to q_2 - \varepsilon q_1$$ $$\dot q_1 \to \dot q_1 + \varepsilon \dot q_2$$ $$\dot q_2 \to \dot q_2 - \varepsilon \dot q_1$$ $$q_3 \to q_3$$ $$\dot q_3 \to \dot q_3$$

Under these transformations, the Lagrangian $L(q_i, \dot q_i)$ will not change its value. In other words, the change in the Lagrangian can be expressed as

$$\delta L(q_i, \dot q_i) = \varepsilon A(q_i, \dot q_i)$$

where $A = 0$ if the group action is a symmetry. Here is the slick part: now imagine that the parameter $\varepsilon$ is time-dependent, i.e. $\varepsilon(t)$. For our above two actions, the transformations would then become

$$q_1 \to q_1 + \varepsilon$$ $$\dot q_1 \to \dot q_i + \dot \varepsilon$$ $$q_{2} \to q_{2}$$ $$q_{3} \to q_{3}$$ $$\dot q_{2} \to \dot q_{2}$$ $$\dot q_{3} \to \dot q_{3}$$

and

$$q_1 \to q_1 + \varepsilon q_2$$ $$q_2 \to q_2 - \varepsilon q_1$$ $$\dot q_1 \to \dot q_1 + \varepsilon \dot q_2 + \dot \varepsilon q_2$$ $$\dot q_2 \to \dot q_2 - \varepsilon \dot q_1 - \dot \varepsilon q_1$$ $$q_3 \to q_3$$ $$\dot q_3 \to \dot q_3$$

(where the extra term above comes from the product rule when differentiating by $t$).

Now, $\varepsilon(t)$ and $\dot \varepsilon(t)$ are both tiny numbers that change paths in configuration space. That means that, just doing a first order Taylor expansion, the change in $L$ under these transformations can be expressed as

$$\delta L = \varepsilon A + \dot \varepsilon B$$

where the $A$ is the same $A$ as before, meaning $A = 0$ if the transformation is a symmetry. Now, on actual paths, $\delta S = 0$ for any tiny variation we make to our path. (That is just the principle of least action.) That includes our tiny group action variation. Therefore, on actual paths,

$$0 = \delta S = \int \delta L dt = \int \dot \varepsilon B dt = - \int \varepsilon \dot B dt.$$

(In the last step we integrated by parts and imposed boundary conditions $\varepsilon = 0$ on the boundary of integration.)

Therefore, if $\delta S$ is to be $0$ for any $\varepsilon$, we must have

$$\dot B = 0$$

so $B$ is a conserved quantity. Note that if our transformation wasn't a symmetry, then $A \neq 0$ and

$$\dot B = A$$

meaning that $B$ would change in time and not be a conserved quantity. This concludes the proof that symmetries give conservation laws, and also instructs you how to find said conserved quantities.

Now this is all nice and interesting. Symmetries imply conservation laws. In a sense, we have understood where "conserved quantities" come from (symmetries). Conserved quantities are very useful in physics because they usually make analyzing the system much easier. For example, even in intro physics, the conservation of momentum and energy are always used to make solving for the motion of a particle much easier. In more complicated examples, like for example a gas of many particles, the evolution of the system is far too complicated to ever hope to describe. However, if you know a few conserved quantities (like energy, for example) you can still get a pretty good idea of how the system behaves.

In quantum field theory, quantum fields are also governed by Lagrangians. However, it is often difficult to figure out exactly what the Lagrangian of quantum fields should be based off of experimental data. Something that is straightforward to ascertain from experimental data, however, are conserved quantities, like charge, lepton number, baryon number, weak hyper change, and many others. Experimentalists can figure out what these conserved quantities are, and then theorists will cook up Lagrangians with symmetries that have the right conserved quantities. This greatly aids theorists in figuring out the fundamental laws of physics. Considerations of symmetries and conserved quantities historically played a large role in piecing together the standard model, and continue to play a crucial role in theorists trying to figure out what lies beyond it.

EDIT: So, to answer your question proper, any system of differential equations will have integration constants (A.K.A. initial conditions). However, from equations of motion derived from a Lagrangian (and all known physical laws can be written with Lagrangians) we have extra symmetries that have important physical meaning. Furthermore, the exact solutions to differential equations are usually impossible to solve for any moderately complex system. Therefore, finding initial conditions is usually a waste of time, while Noether's theorem is easy to use.


The 2n constants in the system of second order differential equations (Lagrange equations) are just the arbitrary initial conditions of generalized coordinates and velocities of the system that determine the time development of the system for a special case. They are not conserved quantities of the system. Conserved quantities follow from the functional form of the Lagrange function.


Noether's theorem is very important, as it covers the "big" conservation laws:

Time invariance implies energy conservation.

Translation invariance (homogeneity of space) implies momentum conservation.

Rotational invariance (isotropy of space) implies angular momentum conservation.

Moreover, it depends on what you consider your system: consider a ball in a box in gravity. It is time independent, and energy is conserved, but you need to add the potential energy to the kinetic energy. Momentum is not conserved, and that is because the potential energy is height dependent. Note that space is invariant under horizontal translations, and in fact, the horizontal components of momentum are conserved (well, until it hits a symmetry breaking wall).

Likewise, the angular momentum of Foucault's pendulum is not conserved--there is a preferred direction in space defined by the Earth's axis.

More complicated things like local gauge symmetry lead to EM and QCD, and of course the gauge symmetry breaking mass terms in the Weak interaction was one of the motivations for the Higgs boson.

There are also discrete symmetries that lead to discrete conservations laws--Parity, for example.