2.1.9 · D1Analytical Mechanics

Foundations — Noether's theorem — symmetry ↔ conservation law

3,080 words14 min readBack to topic

Before we can even state Noether's theorem, we must earn every symbol it uses. The parent note throws around , , , , , , , , , , and as if you already know them. This page builds each one from absolute zero, in the order they depend on each other. Nothing is used before it is drawn.


1. Position and the coordinate

Figure s01 below draws as a slider whose value is its position on a wire.

Figure — Noether's theorem — symmetry ↔ conservation law
Figure s01 — A bead on a wire. Its single number (blue dot) is the coordinate; the orange arrow, defined in Sections 2–3, previews velocity. Alt text: a horizontal wire ruled 0–10 with a blue bead at position q and a small orange arrow.

Why the topic needs it. Noether asks "what happens to the physics when I shift a coordinate?" You cannot shift what you cannot name. is the name of every direction the system could move — and symmetries are shifts of these names. See Lagrangian Mechanics for where generalized coordinates come from.


2. Time — the clock we measure everything against

The picture: imagine a film reel. Each frame is stamped with a time ; the coordinate is what the frame shows. is the frame counter, marching no matter what happens on screen.

Why the topic needs it. Two of Noether's three headline results depend on time. "The physics doesn't change as the clock ticks" is time-translation symmetry, and it freezes energy. So is not decoration in — it is a genuine input we will later shift by . Everything below (velocity, derivative, integral) is change measured against this clock.


3. The differential and the derivative

The picture: plot (vertical) against (horizontal). is the steepness of the graph at a point — steep means changes fast per tick. This is the honest meaning we will lean on every time a appears in Noether's derivation.

Why before anything else that uses it. Velocity, the action's slices, and the whole "rate of change of momentum is zero" punchline are all built from . It must be defined before , before , before .


4. Velocity and the dot:

Why this notation and not every time? Because we will write dozens of these. The dot is shorthand born from writing time-derivatives so often that Newton just put a dot on top. It always means "per tick of the clock ." It answers the question "which way, and how fast, is the slider sliding right now?"

Back in Figure s01, is where the blue bead is; the orange arrow shows which way and how quickly it's about to move.


5. The function machine: the Lagrangian

Read as: "feed me where you are, how you're moving, and what time it is; I give back one number." The commas separate the ingredients — and the third ingredient is exactly the clock from Section 2.

Why the topic needs it. A "symmetry" in Noether's world means the recipe doesn't change when you shift something. So is the object we test symmetries against. See Lagrangian Mechanics.


6. Partial derivative:

Why and not the plain ? Because has many inputs. A plain would let all of them change at once (each riding the clock). The partial isolates the effect of one knob. It answers: "does care about this particular coordinate?" If , the answer is no — is cyclic, and that is a symmetry.

Figure s02 shows as a landscape over its inputs; the partial is the slope in one chosen direction.

Figure — Noether's theorem — symmetry ↔ conservation law
Figure s02 — The surface is plotted over inputs and . The red curve holds fixed and lets only vary; its steepness is . Alt text: a bowl-shaped 3D surface with one red slice-curve running along the q axis.


7. Conjugate momentum:

Why call it momentum? For a free particle , we get — the familiar . But in general it can be something else entirely (see Conservation of Momentum and the vector-potential warning in the parent). The point: is whatever Noether will freeze.


8. Integral and the action:

Figure s03 shows this sum as an area under the graph of versus time.

Figure — Noether's theorem — symmetry ↔ conservation law
Figure s03 — plotted against time along a path; the shaded region between and is the action . Alt text: a blue curve of L over time with the area beneath it shaded and labelled S.

Why the topic needs it. The deepest form of a symmetry is "the action is unchanged," even if itself changes by a boundary term. The action is the ultimate scorecard nature extremizes — the object symmetries must preserve. See Euler-Lagrange Equation.


9. The variation symbol:

Why a new symbol instead of ? tracks how things change as time flows on the actual path (the clock ticking). tracks how things change when we jump to a nearby imagined path at the same instant. Two different kinds of change need two different symbols, or the algebra becomes lies.


10. Vectors, the cross product , and the triple product

Figure s04 draws as the little sideways nudge of an infinitesimal rotation.

Figure — Noether's theorem — symmetry ↔ conservation law
Figure s04 — Position arrow (blue) rotated a hair about axis (out of the page); the orange arrow is , tangent to the green arc. Alt text: a blue vector r from the origin with a short orange perpendicular arrow and a green rotation arc.

The dot is the dot product: = (how much they point the same way) — a single number, biggest when parallel, zero when perpendicular.


11. How it all feeds Noether — reading the map

Now that every symbol is defined, here is the dependency map. Read it bottom-up as a recipe: each box needs everything feeding into it before it makes sense. Trace one path aloud — coordinate and its velocity combine into the Lagrangian ; from a partial derivative gives momentum ; momentum plus a variation builds the Noether charge ; and , read for time / space / rotation, becomes the three conservation laws. Every arrow means "you must understand the tail before the head."

time t (the clock)

velocity q-dot

differential d and d over dt

coordinate q

Lagrangian L of q, q-dot, t

partial derivative dL over dq

momentum p = dL over dq-dot

Euler-Lagrange equation

action S = integral of L dt

variation delta

delta L and delta q

Noether charge Q = sum p times delta q

vectors and cross product in 3D

Energy, Momentum, Angular Momentum conserved

The three conserved quantities at the bottom are the payoff of the whole topic.


Equipment checklist

Test yourself — cover the right side and answer out loud before revealing.

What does the index in mean?
A plain counter labelling each independent coordinate:
What role does play in ?
The independent clock parameter — we don't solve for it; everything else rides along it.
What does the plain symbol (as in , ) mean?
An infinitesimally small change in that quantity.
What does measure geometrically?
The steepness (rate of change) of a graph plotted against time.
What does a dot over a symbol mean?
The time-derivative; (velocity), = acceleration.
Are and independent inputs to ?
Yes — at a single instant position and velocity can be set freely.
What is the Lagrangian in one phrase?
A recipe taking to one number; usually .
Why use instead of for ?
To wiggle ONE input while freezing all the others.
What is a cyclic coordinate?
One that doesn't depend on: — a symmetry.
Define conjugate momentum.
— the slope of in the velocity direction.
Is always ?
No — only for a plain free particle; compute the partial each time.
What geometric object is the action ?
The area under the graph of versus time along a path.
How does differ from ?
= imposed jump to a nearby path at fixed time; = natural change as time flows.
State the compatibility rule linking and time.
— variation and time-derivative commute.
In how many dimensions does the cross product give a single vector?
Only three — in 2D there's no perpendicular axis, in 4D it's a plane.
What does represent physically?
An infinitesimal rotation of about axis .
Why does ?
The triple product is a signed box volume, unchanged by cycling the three vectors.

Once every line above is automatic, proceed to the main derivation, and revisit Hamiltonian Mechanics, Conservation of Energy, and Symmetry Groups & Lie Algebras for the deeper layers.