 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-115/4/b/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

Let

\overline{\nabla} f

and

\overline{Hess} f

Δ_{M} (f ∣_{M}) = tr_{TM} (\overline{Hess} f) + ⟨ \overline{\nabla} f, H ⟩ .

To prove it, choose a local orthonormal tangent frame

e_{1}, \dots, e_{n}

with

\nabla_{e_{i}}^{M} e_{j} = 0

at the point under consideration. There,

Δ_{M} (f ∣_{M}) = i \sum e_{i} (e_{i} f) = i \sum (\overline{Hess} f (e_{i}, e_{i}) + ⟨ \overline{\nabla} f, \overline{\nabla}_{e_{i}} e_{i} ⟩) = i \sum \overline{Hess} f (e_{i}, e_{i}) + ⟨ \overline{\nabla} f, i \sum A (e_{i}, e_{i}) ⟩ .

Both sides are intrinsic scalars, so the pointwise calculation proves the formula everywhere.

 New to topics? Read the docs here!