Focal surface

Last updated
Focal surfaces (blue, pink) of a hyperbolic paraboloid(white)
z
=
x
2
-
y
2
,
0
<=
x
,
y
<=
0.5
{\displaystyle z=x^{2}-y^{2},\;0\leq x,y\leq 0.5} Brennflaeche-hp-def.svg
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. Focal surface.png
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]

Contents

A surface with an elliptical umbilic, and its focal surface. Elliptical umbilic focal surface.png
A surface with an elliptical umbilic, and its focal surface.
A surface with a hyperbolic umbilic and its focal surface. Hyperbolic umbilic focal surface.png
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

  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

Notes

  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.

Related Research Articles

Ellipse Plane curve: conic section

In mathematics, an ellipse is a plane curve surrounding two focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. As such, it generalizes a circle, which is the special type of ellipse in which the two focal points are the same. The elongation of an ellipse is measured by its eccentricity e, a number ranging from e = 0 to e = 1.

Hyperbola Plane curve: conic section

In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.

Parabola Plane curve: conic section

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several other superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

Sphere Geometrical object that is the surface of a ball

A sphere is a geometrical object in three-dimensional space that is the surface of a ball.

Ellipsoid Quadric surface that looks like a deformed sphere

An ellipsoid is a surface that may be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.

In mathematics, a quadric or quadric surface, is a generalization of conic sections. It is a hypersurface in a (D + 1)-dimensional space, and it is defined as the zero set of an irreducible polynomial of degree two in D + 1 variables. When the defining polynomial is not absolutely irreducible, the zero set is generally not considered a quadric, although it is often called a degenerate quadric or a reducible quadric.

Hyperboloid Unbounded quadric surface

In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by deforming it by means of directional scalings, or more generally, of an affine transformation.

Gaussian curvature product of the principal curvatures of a surface

In differential geometry, the Gaussian curvature or Gauss curvatureΚ of a surface at a point is the product of the principal curvatures, κ1 and κ2, at the given point:

Saddle point

In mathematics, a saddle point or minimax point is a point on the surface of the graph of a function where the slopes (derivatives) in orthogonal directions are all zero, but which is not a local extremum of the function. An example of a saddle point is when there is a critical point with a relative minimum along one axial direction and at a relative maximum along the crossing axis. However, a saddle point need not be in this form. For example, the function has a critical point at that is a saddle point since it is neither a relative maximum nor relative minimum, but it does not have a relative maximum or relative minimum in the -direction.

Dupin cyclide

In mathematics, a Dupin cyclide or cyclide of Dupin is any geometric inversion of a standard torus, cylinder or double cone. In particular, these latter are themselves examples of Dupin cyclides. They were discovered by Charles Dupin in his 1803 dissertation under Gaspard Monge. The key property of a Dupin cyclide is that it is a channel surface in two different ways. This property means that Dupin cyclides are natural objects in Lie sphere geometry.

Ruled surface

In geometry, a surface S is ruled if through every point of S there is a straight line that lies on S. Examples include the plane, the lateral surface of a cylinder or cone, a conical surface with elliptical directrix, the right conoid, the helicoid, and the tangent developable of a smooth curve in space.

Evolute

In the differential geometry of curves, the evolute of a curve is the locus of all its centers of curvature. That is to say that when the center of curvature of each point on a curve is drawn, the resultant shape will be the evolute of that curve. The evolute of a circle is therefore a single point at its center. Equivalently, an evolute is the envelope of the normals to a curve.

In the differential geometry of surfaces, an asymptotic curve is a curve always tangent to an asymptotic direction of the surface. It is sometimes called an asymptotic line, although it need not be a line.

Umbilical point

In the differential geometry of surfaces in three dimensions, umbilics or umbilical points are points on a surface that are locally spherical. At such points the normal curvatures in all directions are equal, hence, both principal curvatures are equal, and every tangent vector is a principal direction. The name "umbilic" comes from the Latin umbilicus - navel.

Channel surface

A channel or canal surface is a surface formed as the envelope of a family of spheres whose centers lie on a space curve, its directrix. If the radii of the generating spheres are constant the canal surface is called pipe surface. Simple examples are:

In differential geometry, the Carathéodory conjecture is a mathematical conjecture attributed to Constantin Carathéodory by Hans Ludwig Hamburger in a session of the Berlin Mathematical Society in 1924. Carathéodory did publish a paper on a related subject, but never committed the Conjecture into writing. In, John Edensor Littlewood mentions the Conjecture and Hamburger's contribution as an example of a mathematical claim that is easy to state but difficult to prove. Dirk Struik describes in the formal analogy of the Conjecture with the Four Vertex Theorem for plane curves. Modern references to the Conjecture are the problem list of Shing-Tung Yau, the books of Marcel Berger, as well as the books.

Conic section Curve obtained by intersecting a cone and a plane

In mathematics, a conic section is a curve obtained as the intersection of the surface of a cone with a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though historically it was sometimes called a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.

Geodesics on an ellipsoid

The study of geodesics on an ellipsoid arose in connection with geodesy specifically with the solution of triangulation networks. The figure of the Earth is well approximated by an oblate ellipsoid, a slightly flattened sphere. A geodesic is the shortest path between two points on a curved surface, analogous to a straight line on a plane surface. The solution of a triangulation network on an ellipsoid is therefore a set of exercises in spheroidal trigonometry.

Focal conics

In geometry, focal conics are a pair of curves consisting of either

Dupins theorem

In differential geometry Dupin's theorem, named after the French mathematician Charles Dupin, is the statement:

References