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]

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.
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.

Special cases edit

  1. The focal surface of a sphere consists of a single point, its center.
  2. One part of the focal surface of a surface of revolution consists of the axis of rotation.
  3. The focal surface of a Torus consists of the directrix circle and the axis of rotation.
  4. The focal surface of a Dupin cyclide consists of a pair of focal conics.[4] The Dupin cyclides are the only surfaces, whose focal surfaces degenerate into two curves.[5]
  5. One part of the focal surface of a channel surface degenerates to its directrix.
  6. Two confocal quadrics (for example an ellipsoid and a hyperboloid of one sheet) can be considered as focal surfaces of a surface.[6]

See also edit

Notes edit

  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
  4. ^ Georg Glaeser, Hellmuth Stachel, Boris Odehnal: The Universe of Conics, Springer, 2016, ISBN 3662454505, p. 147.
  5. ^ D. Hilbert, S. Cohn-Vossen:Geometry and the Imagination, Chelsea Publishing Company, 1952, p. 218.
  6. ^ Hilbert Cohn-Vossen p. 197.

References edit

  • Chandru, V.; Dutta, D.; Hoffmann, C.M. (1988), On the Geometry of Dupin Cyclides, Purdue University e-Pubs.