# Noether's Theorem

Noether's theorem tells us that conserved quantities come from symmetries of physical systems. For example, momentum is conserved because the laws of physics are translation invariant.

This deep insight is helpful for understanding when quantities should be conserved. A mass falling off of a building is allowed to gain momentum because the system is not translation invariant - as you move vertically, the gravitational potential changes. However, a train moving along its tracks should conserve momentum because no relevant physical quantity changes as you move around the surface of the earth.

We can express Hamilton's equations more simply using a symplectic form. A symplectic form is a closed, nondegenerate differential 2-form. Using $\Omega$, Hamilton's equations become \[ dH = \iota_{X_H} \Omega \] Where $d$ is the exterior derivative and $\iota_{X_H} \Omega$ is the interior product, a one-form defined by $(\iota_{X_H} \Omega)(X_1) = \Omega(X_H, X_1)$.

Now, let $X_G$ be an infinitesimal symmetry transformation. Then $\mathcal{L}_{X_G}H = 0$. That is to say, if we move space a small amount in the $X_G$ direction, the Hamiltonian stays the same. This is exactly what we mean by a symmetry. Furthermore, let $X_G$ be the symplectic gradient of some potential function $U_G$. i.e. $dU_G = \iota_{X_G} \Omega$. Then
\[\begin{aligned}
0 &= \mathcal{L}_{X_G} H\\
&= \iota_{X_G} dH + d \iota_{X_G} H &&\text{Cartan's magic formula}\\
&= \iota_{X_G} dH + 0 &&H\;\text{doesn't take arguments, so}\; \iota_{X_G}H = 0\\
&= \iota_{X_G} \iota_{X_H} \Omega &&\text{definition of}\;X_H \\
&= \Omega(X_H, X_G) && \text{definition of the}\; \iota \; \text{operation}\\
&= -\Omega(X_G, X_H) && \Omega\;\text{is antisymmetric}\\
&= -\iota_{X_H} \iota_{X_G} \Omega && \text{definition of the}\;\iota\;\text{operation}\\
&= -\iota_{X_H} dU_G && \text{definition of}\; X_G\\
&= -\iota_{X_H} dU_G + d\iota_{X_H} U_G &&U_G\;\text{doesn't take arguments, so}\; \iota_{X_H}U_G = 0\\
&= -\mathcal{L}_{X_H} U_G && \text{Cartan's magic formula}\\
\end{aligned}\]
Therefore, the quantity $U_G$ does not change when we flow along the vector field $X_H$. But flow along $X_H$ is time evolution! So $U_G$ is a conserved quantity over time!

This deep insight is helpful for understanding when quantities should be conserved. A mass falling off of a building is allowed to gain momentum because the system is not translation invariant - as you move vertically, the gravitational potential changes. However, a train moving along its tracks should conserve momentum because no relevant physical quantity changes as you move around the surface of the earth.

## Proving Noether's Theorem

In the system of Hamiltonian Mechanics, the proof of Noether's theorem is surprisingly simple and elegant. First, we need to set up some machinery. Recall Hamilton's equations of motion \[\begin{aligned} \dot p_i &= \frac{\partial H} {\partial q_i}\\ -\dot q_i &= \frac{\partial H} {\partial p_i} \end{aligned}\] Hamilton's equations define a vector field $X_H = (\dot q, \dot p)$ on phase space that describes how a particle evolves over time. The trajectory of a particle starting at position $q$ with momentum $p$ is the integral curve of $X_H$ passing through point $(q,p)$.We can express Hamilton's equations more simply using a symplectic form. A symplectic form is a closed, nondegenerate differential 2-form. Using $\Omega$, Hamilton's equations become \[ dH = \iota_{X_H} \Omega \] Where $d$ is the exterior derivative and $\iota_{X_H} \Omega$ is the interior product, a one-form defined by $(\iota_{X_H} \Omega)(X_1) = \Omega(X_H, X_1)$.

**Aside:**We call $X_H$ the ``symplectic gradient'' $H$. Given a metric $g$, the regular gradient of a function $f$ can be defined by $df = \iota_{\text{grad}\;f} \; g$. The definition of the symplectic gradient is the same as the definition normal gradient, except we use the symplectic form instead of the metric.

**Aside:**In the above derivation, we used

*Cartan's magic formula*. It's a super useful identity described on Wikipedia here. It's also called the

*Cartan's homotopy formula*since it can be viewed as the statement that the function $\mathcal{L}_x$ is null-homotopic on the de Rham complex. I hope to write a post describing it more at some point in the future.

## No comments: