4.10: Conservation Laws and Noether’s Theorem
- Page ID
- 29996
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)The two integrals of motion for the orbital example above can be stated as follows:
First: if the Lagrangian does not depend on the variable \(\begin{equation}
\theta, \partial L / \partial \theta=0
\end{equation}\), that is, it’s invariant under rotation, meaning it has circular symmetry, then
\begin{equation}
p_{\theta}=\dfrac{\partial L}{\partial \dot{\theta}}=\mathrm{constant}
\end{equation}
angular momentum is conserved.
Second: As stated earlier, if the Lagrangian is independent of time, that is, it’s invariant under time translation, then energy is conserved. (This is nothing but the first integral of the calculus of variations, recall that for an integrand function \(\begin{equation}
f\left(y, y^{\prime}\right) \text { not explicitly dependent on } x, y^{\prime} \partial f / \partial y^{\prime}-f \text { is constant. })
\end{equation}\)
\begin{equation}
\sum_{i} \dot{q}_{i} \partial L / \partial \dot{q}_{i}-L=E, \quad \text { a constant }
\end{equation}
Both these results link symmetries of the Lagrangian——invariance under rotation and time translation respectively——with conserved quantities.
This connection was first spelled out explicitly, and proved generally, by Emmy Noether, published in 1915. The essence of the theorem is that if the Lagrangian (which specifies the system completely) does not change when some continuous parameter is altered, then some function of the \(\begin{equation}
q_{i}, \dot{q}_{i}
\end{equation}\) stays the same—it is called a constant of the motion, or an integral of the motion.
To look further at this expression for energy, we take a closed system of particles interacting with each other, but “closed” means no interaction with the outside world (except possibly a time-independent potential).
The Lagrangian for the particles is, in Cartesian coordinates,
\begin{equation}
L=\sum_{2}^{1} m_{i} v_{i}^{2}-U\left(\vec{r}_{1}, \vec{r}_{2}, \ldots\right)
\end{equation}
A set of general coordinates \(\begin{equation}
\left(q_{1}, \ldots, q_{n}\right)
\end{equation}\), by definition, uniquely specifies the system configuration, so the coordinate and velocity of a particular particle a are given by
\begin{equation}
x_{a}=f_{x_{a}}\left(q_{1}, \ldots q_{n}\right), \quad \dot{x}_{a}=\sum_{k} \dfrac{\partial f_{x_{a}}}{\partial q_{k}} \dot{q}_{k}
\end{equation}
From this it is clear that the kinetic energy term \(\begin{equation}
T=\sum_{2}^{1} m_{i} v_{i}^{2}
\end{equation}\) is a homogeneous quadratic function of the \(\begin{equation}
\dot{q}
\end{equation}\) (meaning every term is of degree two), so
\begin{equation}
L=\dfrac{1}{2} \sum_{i, k} a_{i k}(q) \dot{q}_{i} \dot{q}_{k}-U(q)
\end{equation}
This being of degree two in the time derivatives means
\begin{equation}
\sum_{i} \dot{q}_{i} \dfrac{\partial L}{\partial \dot{q}_{i}}=\sum_{i} \dot{q}_{i} \dfrac{\partial T}{\partial \dot{q}_{i}}=2 T
\end{equation}
(If this isn’t obvious to you, check it out with a couple of terms: \(\begin{equation}
\dot{q}_{1}^{2}, \dot{q}_{1} \dot{q}_{2}
\end{equation}\))
Therefore for this system of interacting particles
\begin{equation}
E=\sum_{i=1}^{n} \dot{q}_{i} \dfrac{\partial L}{\partial \dot{q}_{i}}-L=2 T-(T-U)=T+U
\end{equation}
This expression for the energy is called the Hamiltonian:
\begin{equation}
H=\sum_{i=1}^{n} p_{i} \dot{q}_{i}-L
\end{equation}