Second Fundamental Form: Surface Curvature Explained

The second fundamental form measures how a surface bends away from its own tangent plane, exactly what the first fundamental form cannot see. While the first form records stretching within the surface, the second records curving through space: for each direction of travel, how fast the surface pulls away from flatness.

Bending is extrinsic: a flat sheet and a rolled tube share the same first fundamental form but differ in the second. Engineers analysing shells and pressure vessels need it to predict buckling, and paired with the first form it determines the surface's shape in space completely.

Key Concepts

• Coefficients: e = X_uu·n, f = X_uv·n, g = X_vv·n, with n the unit normal; the normal component of the surface's acceleration.
• Form: II = e du^2 + 2f du dv + g dv^2.
• Normal curvature: kappa_n = II/I in a direction, the curvature of the slice by the plane spanned by the direction and n.
• Sign convention: reversing n flips the signs of e, f, g.
• Shape operator: the tangent-plane map whose eigenvalues are the principal curvatures, built from both forms.

Formulas

• Coefficients: e = X_uu·n, f = X_uv·n, g = X_vv·n (equivalently e = -X_u·n_u).
• Normal curvature: kappa_n = (e du^2 + 2f du dv + g dv^2)/(E du^2 + 2F du dv + G dv^2).
• Graph z = f(x,y), upward normal: e = f_xx/W, f = f_xy/W, g = f_yy/W, W = sqrt(1 + f_x^2 + f_y^2).

Worked Example

Second fundamental form of the paraboloid z = x^2 + y^2 at (1, 0, 1), via X(u,v) = (u, v, u^2+v^2).

1. At (1,0): X_u = (1,0,2), X_v = (0,1,0); upward normal n = (-2, 0, 1)/sqrt(5).
2. X_uu = (0,0,2), X_uv = (0,0,0), X_vv = (0,0,2).
3. e = 2/sqrt(5), f = 0, g = 2/sqrt(5).
4. First form there: E = 5, F = 0, G = 1.
5. Normal curvature in the u-direction: e/E = 2/(5 sqrt(5)) > 0, bending toward the upward normal, as a bowl should.

Common Misconceptions

• Signs are relative to the normal. Flipping n changes every sign; only sign-independent combinations like Gaussian curvature are absolute.
• It needs the first form as partner: together they determine the surface up to rigid motion.
• It is extrinsic. Bending paper into a tube changes the second form but not the first; no surface-bound ant could tell.

Real-World Applications

• Structural engineering: bending stiffness of domes and fuselages is analysed through these coefficients.
• Computer vision: the sign of eg - f^2 classifies points as elliptic, hyperbolic or parabolic for shape recognition.
• Medical imaging: organ-surface curvature from scans flags abnormalities.

The second fundamental form II = e du^2 + 2f du dv + g dv^2 captures bending through space; on z = x^2 + y^2 at (1,0,1) it gives e = g = 2/sqrt(5), f = 0. With the first form as its partner, it completes the local description of a surface's shape.