The area functional, first variation, and why minimal surfaces are critical points
Calculus finds the lowest point of a curve. The calculus of variations finds the best shape among all possible shapes — here, the surface with the least area.
Raise and lower the bump on the catenoid and watch the area curve on the right. Its flat-bottomed minimum at h = 0 marks a critical point.
The calculus of variations is the mathematical framework for finding functions that minimize (or maximize) a functional — a "function of functions." For minimal surfaces, the functional is the area:
A[S] = ∬ √(EG - F²) du dv
A surface is minimal when it is a critical point of this functional — meaning the first variation vanishes for all compactly supported normal perturbations.
If we deform S by a normal variation S + tφN:
This vanishes for all φ if and only if H = 0.
Pull the boundary circles apart and watch the eigenvalue bar shrink. When it hits zero, the catenoid collapses into two flat disks.
The Jacobi operator governs stability:
A minimal surface is stable if the first eigenvalue of −L = −Δ − |A|² is non-negative.
As the separation increases, the smallest Jacobi eigenvalue decreases toward zero. At the critical separation, the catenoid becomes unstable and collapses into two flat disks — the globally area-minimizing configuration.
Spot a mistake or have an idea?