Enneper surface 2026-10-06
The isothermal coordinates give the immersion . Its coordinate functions are harmonic and its metric is , so it is a complete immersed minimal surface with self-intersections.
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 and
and 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.
An isothermal parametrization is an immersion with first fundamental form , where . Thus and .
Write . Differentiating the metric identities gives
For 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 . Therefore
A surface is a minimal surface when its mean curvature vector vanishes. Since , the preceding identity proves minimality is equivalent to in isothermal coordinates.
At a non-planar point of a minimal surface, the shape operator is not zero. Minimality gives nonzero opposite principal curvatures, so nearby and is invertible. The inverse function theorem makes the Gauss map a local diffeomorphism onto a patch of the sphere; part (ii) makes it conformal.
Choose stereographic coordinates on that sphere patch. Their metric is . Pulling them back by , the conformal identity gives
The positive coefficient shows that these are local isothermal coordinates. No general isothermal-coordinate existence theorem is needed: the nondegenerate conformal Gauss map supplies them explicitly.
An immersion has differential of rank , equivalently linearly independent . It has isothermal coordinates when its first fundamental form has , . A minimal surface has zero mean curvature.
For an isothermal immersion, differentiation of and gives
and similarly its scalar product with is zero. Its normal component is . The given mean curvature formula reduces to , so
Thus an isothermal immersion is minimal exactly when each coordinate is a harmonic function.
An explicit example is the Enneper surface, parametrized on by
Every coordinate has zero Laplacian. Direct differentiation gives and . Thus it is an isothermal immersion and is minimal everywhere.
It is not an open subset of any of the three listed surfaces. The parameter points and both map to , but their tangent planes differ: while . A plane, catenoid, or helicoid is an embedded smooth surface with a unique tangent plane at each point. If our whole image lay in any one of them, both rank- tangent planes at this point would have to equal its tangent plane, a contradiction.
The induced metric is obtained from the ambient Euclidean metric by the pullback of a Riemannian metric operation. Differentiating on a branch with gives . Also . Consequently
The assumption that are coordinates already excludes the equator as well as the poles . On such a chart, and .
The conformal flattening of a surface of revolution supplies the particularly simple conformal factor
Since , these are isothermal coordinates with a flat rescaled metric. An angular coordinate is understood on a local branch; the flat metric may equally be viewed locally as a cylinder metric. The apparent divergence of at the equator is a coordinate failure, not a singularity of the induced metric. For example, give , regular at .
The map is an immersion when has rank two, equivalently and are linearly independent. It is isothermal when its first fundamental form has
In general the mean curvature is
The surface is minimal when . In isothermal coordinates the Laplace-Beltrami operator identity is
Thus exactly when each coordinate function is harmonic.
For
the isothermal conditions are
and harmonicity gives
Consequently
and the isothermal equation reduces to
These are all the solutions for which never vanishes. When they parameterize a catenoid, up to translations, reflection and scaling. The limiting cases , , with exactly one of nonzero, parameterize a punctured plane.