2.1.3 · D2Analytical Mechanics

Visual walkthrough — Kinetic energy in generalized coordinates

2,196 words10 min readBack to topic

Step 1 — A point pinned to a track: the position map

Read the symbols where they sit:

  • ::: the arrow from origin to the particle, its real position in the room.
  • ::: the one number we are allowed to change — position along the track.
  • ::: the clock. It appears only if someone is physically moving the track itself. Hold this thought; it is the hero of Steps 5–7.

WHY a map at all? Because energy is born in room-coordinates () but Lagrangian mechanics wants it in track-coordinates (). A map is the translation dictionary between the two. Look at the figure: as slides, the tip of walks along the printed curve.

Figure — Kinetic energy in generalized coordinates

Step 2 — How fast does the tip move? (the chain rule, drawn)

Now the actual velocity. The tip moves for two independent reasons:

Term by term:

  • ::: the true velocity arrow in the room (a dot on top means "rate per second").
  • ::: (tangent direction) (speed of the coordinate). This is sliding along the track.
  • ::: the tip moving even when is frozen, because the track itself is being carried. Zero unless the constraint moves.

The figure shows both contributions as two separate arrows, then their sum as the true velocity.

Figure — Kinetic energy in generalized coordinates

Step 3 — Energy needs speed-squared: enter the dot product

So the total kinetic energy, summed over every particle (each mass ), is

  • ::: add up over all particles.
  • ::: the familiar "half mass".
  • ::: the speed-squared of particle .

WHY the dot product and not just multiplying numbers? Because velocity is an arrow, not a number. Only the dot product turns two arrows into the single scalar "speed-squared" while automatically summing over and (and ). The figure shows one velocity arrow and its own length-squared as the shaded square.

Figure — Kinetic energy in generalized coordinates

Step 4 — Multiply the two brackets: three families of terms appear

Substitute the Step-2 velocity into the dot product. For each particle:

We now allow several coordinates — that is why one bracket uses index and the mirror bracket uses index : they run independently, so every meets every .

The multiplication grid in the figure has four cells; the two off-diagonal cells are identical (that's why carries a that later cancels the ). This is the whole secret of the decomposition — pure algebra of .

Figure — Kinetic energy in generalized coordinates

Step 5 — Reading off the three pieces

Collecting by powers of velocity gives the headline:

  • ::: overlap between a tangent arrow and the drag arrow. Nonzero only when the track moves.
  • ::: half-mass times drag-speed-squared. The energy the particle would have even sitting still on the track.

The figure stacks the three terms as three coloured bars whose heights are "power of " = 2, 1, 0.

Figure — Kinetic energy in generalized coordinates

Step 6 — Degenerate case: nobody moves the track (scleronomic)

This is the 95%-of-textbooks case. Because is now homogeneous of degree 2 in the 's, Euler's theorem gives — the identity that later makes in the energy function and powers the momentum–energy machinery of the Euler-Lagrange equations.

Worked check — plane polar (), coordinates , no time:

  • .
  • .
  • — the two tangent arrows are perpendicular, so no overlap. The figure draws the radial and angular tangent arrows at right angles — that right angle is the vanishing of .
Figure — Kinetic energy in generalized coordinates

Step 7 — The moving-track case: where and actually appear

The lesson in one line: is nonzero exactly when the tangent arrow and the drag arrow overlap ( their dot product). Perpendicular ⇒ (bead case). Parallel ⇒ maximal (sliding-frame case). The figure contrasts the two geometries side by side.

Figure — Kinetic energy in generalized coordinates

The one-picture summary

Everything above is one identity — — sorted by how many velocity factors survive. The final figure is the whole flowchart: position map → chain-rule velocity → dot-product square → three sorted piles, with the "freeze the clock" switch that kills two of them.

Figure — Kinetic energy in generalized coordinates

kills

kills

position map r of q and t

chain rule velocity

A part slide along track

B part track dragged

dot product square

T2 quadratic two q dots

T1 linear one q dot

T0 lonely zero q dots

freeze clock scleronomic

T equals T2 plus T1 plus T0

Recall Feynman retelling of the whole walkthrough

Picture a marble that can only run along a bent wire, and you describe its spot by one number — "how far along". To find its real speed in the room, you ask two questions. First: if I slide the number a bit, which way and how far does the marble jump? That direction-arrow, times how fast you're pushing the number, is the "sliding" velocity. Second: is somebody physically swinging the whole wire around? If so, the marble moves even when your number is frozen — that's the "dragging" velocity. The real velocity is these two arrows added.

Energy needs the square of that total speed. Squaring a sum of two arrows gives three heaps of leftovers: slide-times-slide (two speed factors — that's , always present), slide-times-drag (one speed factor — that's ), and drag-times-drag (no speed factor — that's ). If nobody swings the wire, the drag arrow is nothing, so the last two heaps are empty and you're back to the simple "half of (stuff) times speed-squared". The "stuff" is the mass matrix : it's just how much two of your slide-direction-arrows point the same way. Perpendicular arrows contribute nothing; that's why and don't mix.

Active recall

Why does the chain-rule velocity have two terms?
Because depends on both and ; the tangent term is sliding along the track, the term is the track being dragged.
What does measure geometrically?
The mass-weighted overlap (dot product) of the tangent arrows and ; zero when they are perpendicular.
Which geometric condition makes even in a moving frame?
When every tangent arrow is perpendicular to the drag arrow , so each .
In the spun-wire bead, why is but ?
The radial tangent and the tangential drag are perpendicular (), but the drag arrow itself has nonzero length , giving .