Write . Differentiating the metric identities givesFor example ; the other identities are analogous. Hence is normal to the surface. For a unit normal , its normal component is . The supplied mean curvature formula reduces to . ThereforeA surface is a minimal surface when its mean curvature vector vanishes. Since , the preceding identity proves minimality is equivalent to in isothermal coordinates.
The null condition follows by expansion:It vanishes exactly when and ; the immersion hypothesis ensures their common value is positive. Thus it characterizes isothermal coordinates for an immersion.
With complex coordinate , mixed derivatives commute andand similarly for . By the Cauchy-Riemann equations, each is holomorphic exactly when the corresponding coordinate is harmonic. Combining with the preceding part gives an isothermal immersion is minimal exactly when all three are holomorphic. Without immersion the null condition could also describe a degenerate map, so the nondegeneracy hypothesis matters.
Let . Direct differentiation givesThese are holomorphic polynomials and their squared sum isMoreover direct calculation of the metric gives and , so the map is genuinely an immersion everywhere. The preceding characterizations prove that it is an isothermal parametrization of a minimal surface, the Enneper surface.
Articles by others on the same topic
There are currently no matching articles.