Focal surface

Focal surfaces (blue, pink) of a hyperbolic paraboloid(white)
Focal surfaces (green and red) of a monkey saddle (blue). At the center point of the monkey saddle the Gauss curvature is 0, otherwise negative.

For a surface in three dimension the focal surface, surface of centers or evolute is formed by taking the centers of the curvature spheres, which are the tangential spheres whose radii are the reciprocals of one of the principal curvatures at the point of tangency. Equivalently it is the surface formed by the centers of the circles which osculate the curvature lines.[1][2]

A surface with an elliptical umbilic, and its focal surface.
A surface with a hyperbolic umbilic and its focal surface.

As the principal curvatures are the eigenvalues of the second fundamental form, there are two at each point, and these give rise to two points of the focal surface on each normal direction to the surface. Away from umbilical points, these two points of the focal surface are distinct; at umbilical points the two sheets come together. When the surface has a ridge the focal surface has a cuspidal edge, three such edges pass through an elliptical umbilic and only one through a hyperbolic umbilic.[3] At points where the Gaussian curvature is zero, one sheet of the focal surface will have a point at infinity corresponding to the zero principal curvature.

If is a point of the given surface, the unit normal and the principal curvatures at , then

and

are the corresponding two points of the focal surface.

  1. ^ David Hilbert, Stephan Cohn-Vossen: Anschauliche Geometrie, Springer-Verlag, 2011, ISBN 3642199488, p. 197.
  2. ^ Morris Kline: Mathematical Thought From Ancient to Modern Times, Band 2, Oxford University Press, 1990,ISBN 0199840423
  3. ^ Porteous, Ian R. (2001), Geometric Differentiation, Cambridge University Press, pp. 198–213, ISBN 0-521-00264-8