4.10.11 · D3Advanced Topics (Elite Level)

Worked examples — Christoffel symbols — intro

2,708 words12 min readBack to topic

This page is a drill. The parent note gave you the one formula you must memorise. Here we throw every kind of input at it — flat and curved, diagonal and off-diagonal metrics, zero cases, degenerate cases, a word problem, and an exam trap — so that after this page no scenario can surprise you.

Everything rests on the single boxed formula from the parent:


The scenario matrix

Before working anything, let us list every distinct thing that can go wrong or change. Each worked example below is tagged with the cell it lands in.

Cell What it tests Example
A. Flat / trivial constant metric all Ex 1
B. Diagonal, one non-constant entry the classic polar radial symbol Ex 2
C. Diagonal, sign of the derivative when a comes out positive vs negative Ex 3
D. Off-diagonal metric mixes indices; two terms in the sum survive Ex 4
E. Coordinate-dependent everywhere (sphere) multiple non-zero , latitude sign flips Ex 5
F. Degenerate / limiting input what happens as (coordinate breakdown) Ex 6
G. Word problem (physics) read a "fictitious force" off a Ex 7
H. Exam twist (is-it-a-tensor trap) conformal rescale, symmetry check Ex 8

The goal: after Ex 8 you should be able to place any new problem into one of these rows and know which trick it wants.


Ex 1 — Cell A: the flat sanity check

Forecast: guess the answer before reading on. What is the derivative of a constant?

  1. Write the formula with . Why this step? We are just substituting the requested indices into the machine; nothing clever yet.

  2. Note every metric component is a constant number. Since everywhere, . Since is constant, . Why this step? The formula only ever contains derivatives of the metric. A constant metric has all derivatives zero — so the entire bracket collapses.

  3. Conclude. The same argument kills every Christoffel symbol here.

Verify: units/logic — basis vectors point the same way at every point, so they cannot "turn," so their turn-rate cards () must all read zero. Consistent. ✔


Ex 2 — Cell B: the classic polar radial symbol

Forecast: which single derivative in the formula can possibly be non-zero here?

Figure — Christoffel symbols — intro

Look at the figure: the arrows (burnt orange) point outward and (teal) point sideways. As you swing , notice swings inward toward the origin — its change has a component along . That inward lean is precisely .

  1. Substitute . Why this step? We are targeting one specific symbol — the "output basis" is (upper index ) and the "which basis vector, in which direction" pair is — so we place those exact labels into the machine before touching any numbers.

  2. Kill the sum over . The metric is diagonal, so is non-zero only for , giving . Why this step? Diagonal inverse metric means "only the matching index survives" — this is what makes diagonal problems fast.

  3. Evaluate each derivative. so its -derivative is . And , so . Why this step? The minus sign lives on the term (the one tied to ) — remember the mnemonic "two plus, one minus."

Verify: the geometric picture said the change of leans toward (a negative radial component), matching the minus sign. Physically this is the centripetal term . ✔


Ex 3 — Cell C: watch the sign — a positive Christoffel symbol

Forecast: will this be positive or negative? Guess, then check.

  1. Substitute . Why this step? This time the "output basis" is (upper index ) and the direction/vector pair is ; we must feed those precise slots in — the whole exercise is to see how a different index choice changes the surviving derivative and thus the sign.

  2. Diagonal only survives: . Why this step? Exactly as in Ex 2: the inverse metric is diagonal, so vanishes unless . Dropping the term is legitimate only because here — for an off-diagonal metric (Ex 4) we could not.

  3. Evaluate. ; the other two involve , so are . Why this step? Here the non-zero derivative sits in a plus slot (it is , not ), so the answer is positive — the opposite sign to Ex 2 even though it came from the same .

Verify: as grows, shrinks — far from the origin the coordinate lines are "less curved," so the twist-rate drops. Sensible. This is the Coriolis-like term. ✔


Ex 4 — Cell D: an off-diagonal metric (the sum really sums)

Forecast: the inverse metric now has off-diagonal entries, so the -sum has two terms. But look hard at the metric first — is anything actually varying?

  1. Write the sum explicitly over . Why this step? With an off-diagonal , we must not drop the term as we did in the diagonal cases.

  2. Every entry is a constant, so every derivative is . Why this step? The trap this cell teaches: off-diagonal metric does not by itself create Christoffel symbols. Only coordinate-dependence does. A constant metric — even a skewed one — is still flat with all .

Verify: a constant-coefficient linear coordinate change from Cartesian keeps basis vectors fixed in direction, so no twisting, so . Matches Ex 1's logic. ✔ (We really needed the term to be present in the setup to make the point that it vanishes only because the derivatives vanish, not the metric.)


Ex 5 — Cell E: the sphere — many symbols, a sign that flips with latitude

Forecast: on a sphere, moving East gets "cheaper" near the poles. Which of these two symbols should blow up as ?

Figure — Christoffel symbols — intro

The figure shows lines of longitude squeezing together toward the pole. The metric coefficient (plum curve) measures how much real distance one unit of buys — it is largest at the equator () and zero at the poles.

  1. : set , diagonal . Why this step? Same shape as the polar Ex 2: the only surviving derivative is , sitting in the minus slot.

  2. Read its sign across the whole range. For (northern hemisphere) so this is negative; at the equator it is ; for (southern) so it flips positive. Why this step? Cell E demands we cover all cases of the coordinate — the sign genuinely changes at the equator, and vanishes exactly there.

  3. : set , diagonal . Why this step? We now target the "East-tracking" symbol: upper index , direction/vector pair . As in Ex 3 the diagonal inverse metric leaves only , and the single surviving derivative sits in a plus slot, so this symbol is positive where .

  4. Limiting behaviour. As (approaching the north pole), : this symbol blows up. Why this step? That is the forecast answer — the East-tracking symbol diverges at the pole because "East" spins infinitely fast there (a coordinate singularity, not a real one).

Verify: at the equator : so and — both symbols vanish, matching the fact that near the equator the sphere looks locally like flat Cartesian paper. ✔


Ex 6 — Cell F: the degenerate limit

Forecast: what physical quantity is near , and is the space actually singular there?

  1. Take the limit. Why this step? We must check limiting inputs — the origin is exactly where polar coordinates are degenerate ( is undefined there).

  2. Diagnose: is this the geometry or the coordinates? Compute at the same point: , perfectly finite. Why this step? If the space were singular, no coordinate choice would give finite geometric invariants. Here the plane is manifestly flat and smooth at the origin — Cartesian coordinates see nothing special.

  3. Conclude. The divergence of is a coordinate artefact: at the direction "-increasing" is undefined (all angles meet), so its turn-rate card reads . This is exactly like the sphere's pole in Ex 5.

Verify: switch to Cartesian at the origin — all there (Ex 1). A quantity that is in one chart and in another cannot be geometrically real; it is coordinate-borne. This confirms is not a tensor (a tensor that is zero in one basis is zero in all). ✔


Ex 7 — Cell G: word problem — reading a fictitious force

Forecast: which two Christoffel numbers from Ex 2 and Ex 3 should show up, and how many times each?

  1. Radial () equation. The only non-zero is . Why this step? Plug the geodesic equation with ; only the term survives from Ex 2.

  2. Angular () equation. The non-zero are (symmetric lower indices!). The sum picks up both orderings: Why this step? The factor of is the whole point — because are symmetric, the double sum counts and separately, doubling .

  3. Interpret. is Newton with the centripetal term; is angular-momentum conservation (the Coriolis term). Both "forces" are pure — they are artefacts of the rotating basis, not real pushes.

Verify: multiply the second equation by : , so const — conserved angular momentum, exactly what a free straight-line puck must have. ✔


Ex 8 — Cell H: the exam twist (a conformal rescale + tensor trap)

Forecast: is never zero, and its derivative brings down . Guess the shape of the answer.

  1. Inverse metric. Diagonal with entries , so . Why this step? Inverse of a diagonal matrix is reciprocals; we need for the contraction.

  2. Apply the formula, . Why this step? When all three indices coincide, "two plus, one minus" collapses to a single derivative.

  3. Evaluate. , and : Why this step? The exponential cancels cleanly — a signature move for conformal metrics.

  4. Rebut the examiner (Cell H trap). Take so , a non-zero constant. The metric is conformally flat, and a non-zero does not prove curvature; only the Riemann Curvature Tensor built as (an invariant) decides. Because carries a non-tensorial second-derivative piece under coordinate change (see Tensor Transformation Laws), you can always make it non-zero by a bad coordinate choice. Why this step? This is the recurring exam intent: separate "coordinate twisting" from "genuine curvature."

Verify (limiting check): if is constant, so — the metric with constant is a mere uniform rescale (still flat Cartesian), giving all , matching Ex 1. ✔


Recall One-line placement drill

Given a new problem, which cell is it? Constant metric ::: Cell A/D — all , whether diagonal or skewed. Diagonal metric, one entry depends on a coordinate ::: Cell B/C — one derivative survives; sign depends on plus vs minus slot. Metric coefficient vanishes somewhere (pole, origin) ::: Cell E/F — expect a to diverge; it is a coordinate artefact. Someone claims curvature from ::: Cell H — rebut; only Riemann decides.


Connections

  • Parent: Christoffel Symbols — Intro — the formula and derivation this page drills.
  • Metric Tensor — the input to every example here.
  • Geodesic Equation — where Ex 7's fictitious forces come from.
  • Covariant Derivative — the operator these symbols correct.
  • Riemann Curvature Tensor — the invariant that (unlike ) truly detects curvature (Ex 8).
  • Polar Coordinates · Tensor Transformation Laws — coordinate machinery behind Ex 2–3 and the Ex 8 trap.