Noether's Theorem for Energy
- Page ID
- 226
\( \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}\)Now we're ready for our first full-fledged example of Noether's theorem. Conservation of energy is a law of physics, and Noether's theorem says that the laws of physics come from symmetry. Specifically, Noether's theorem says that every symmetry implies a conservation law. Conservation of energy comes from a symmetry that we haven't even discussed yet, but one that is simple and intuitively appealing: as time goes by, the universe doesn't change the way it works. We'll call this time symmetry.
We have strong evidence for time symmetry, because when we see a distant galaxy through a telescope, we're seeing light that has taken billions of years to get here. A telescope, then, is like a time machine. For all we know, alien astronomers with advanced technology may be observing our planet right now,5 but if so, they're seeing it not as it is now but as it was in the distant past, perhaps in the age of the dinosaurs, or before life even evolved here. As we observe a particularly distant, and therefore ancient, supernova, we see that its explosion plays out in exactly the same way as those that are closer, and therefore more recent.
Now suppose physics really does change from year to year, like politics, pop music, and hemlines. Imagine, for example, that the “constant” G in Newton's law of gravity isn't quite so constant. One day you might wake up and find that you've lost a lot of weight without dieting or exercise, simply because gravity has gotten weaker since the day before.
If you know about such changes in G over time, it's the ultimate insider information. You can use it to get as rich as Croesus, or even Bill Gates. On a day when G is low, you pay for the energy needed to lift a large mass up high. Then, on a day when gravity is stronger, you lower the mass back down, extracting its gravitational energy. The key is that the energy you get back out is greater than what you originally had to put in. You can run the cycle over and over again, always raising the weight when gravity is weak, and lowering it when gravity is strong. Each time, you make a profit in energy. Everyone else thinks energy is conserved, but your secret technique allows you to keep on increasing and increasing the amount of energy in the universe (and the amount of money in your bank account).
The scheme can be made to work if anything about physics changes over time, not just gravity. For instance, suppose that the mass of an electron had one value today, and a slightly different value tomorrow. Electrons are one of the basic particles from which atoms are built, so on a day when the mass of electrons is low, every physical object has a slightly lower mass. In problem 14 on page 37, you'll work out a way that this could be used to manufacture energy out of nowhere.
Sorry, but it won't work. Experiments show that G doesn't change measurably over time, nor does there seem to be any time variation in any of the other rules by which the universe works.6 If archaeologists find a copy of this book thousands of years from now, they'll be able to reproduce all the experiments you're doing in this course.
I've probably convinced you that if time symmetry was violated, then conservation of energy wouldn't hold. But does it work the other way around? If time symmetry is valid, must there be a law of conservation of energy? Logically, that's a different question. We may be able to prove that if A is false, then B must be false, but that doesn't mean that if A is true, B must be true as well. For instance, if you're not a criminal, then you're presumably not in jail, but just because someone is a criminal, that doesn't mean he is in jail --- some criminals never get caught.
Noether's theorem does work the other way around as well: if physics has a certain symmetry, then there must be a certain corresponding conservation law. This is a stronger statement. The full-strength version of Noether's theorem can't be proved without a model of light and matter more detailed than the one currently at our disposal.
Contributors and Attributions
- Benjamin Crowell, Conceptual Physics