Dupin's theorem


In differential geometry Dupin's theorem, named after the French mathematician Charles Dupin, is the statement:
A threefold orthogonal system of surfaces consists of three pencils of surfaces such that any pair of surfaces out of different pencils intersect orthogonally.
The most simple example of a threefold orthogonal system consists of the coordinate planes and their parallels. But this example is of no interest, because a plane has no curvature lines.
A simple example with at least one pencil of curved surfaces: 1) all right circular cylinders with the z-axis as axis, 2) all planes, which contain the z-axis, 3) all horizontal planes.
A curvature line is a curve on a surface, which has at any point the direction of a principal curvature. The set of cuvature lines of a right circular cylinder consists of the set of circles and the lines. A plane has no curvature lines, because any normal curvature is zero. Hence, only the curvature lines of the cylinder are of interest: A horizontal plane intersects a cylinder at a circle and a vertical plane has lines with the cylinder in common.
The idea of threefold orthogonal systems can be seen as a generalization of orthogonal trajectories. Special examples are systems of confocal conic sections.

Application

Dupin's theorem is a tool for determining the curvature lines of a surface by intersection with suitable surfaces, without time-consuming calculation of derivatives and principal curvatures. The next example shows, that the embedding of a surface into a threefold orthogonal system is not unique.

Examples

Right circular cone

Given: A right circular cone, green in the diagram.
Wanted: The curvature lines.
1. pencil: Shifting the given cone C with apex S along its axis generates a pencil of cones.
2. pencil: Cones with apeces on the axis of the given cone such that the lines are orthogonal to the lines of the given cone.
3. pencil: Planes through the cone's axis.
These three pencils of surfaces are an orthogonal system of surfaces. The blue cones intersect the given cone C at a circle. The purple planes intersect at the lines of cone C.
;Alternative with spheres
The points of the space can be described by the spherical coordinates
. It is set S=M=origin.
1. pencil: Cones with point S as apex and their axes are the axis of the given cone C :.
2. pencil: Spheres centerd at M=S :
3. pencil: Planes through the axis of cone C :.

[Torus]

1. pencil: Tori with the same directrix.
2. pencil: Cones containing the directrix circle of the torus with apeces on the axis of the torus.
3. pencil: Planes containing the axis of the given torus.
The blue cones intersect the torus at horizontal circles.
The purple planes intersect at vertical circles.
A torus contains more circles: the Villarceau circles, which are not curvature lines.

Surface of revolution

Usually a surface of revolution is determined by a generating plane curve . Rotating around the axis generates the surface of revolution. The method used for a cone and a torus can be extended to a surface of revolution:
1. pencil: Parallel surfaces to the given surface of revolution.
2. pencil: Cones with apeces on the axis of revolution with generators orthogonal to the given surface.
3. pencil: Planes containing the axis of revolution.
The cones intersect the surface of revolution at circles. The purple planes intersect at meridians. Hence:
The article confocal conic sections deals with confocal quadrics, too. They are a prominent example of a non trivial orthogonal system of surfaces. Dupin's theorem shows that
Confocal quadrics are never rotational quadrics, so the result on surfaces of revolution cannot be applied. The curvature lines are i.g. curves of degree 4.
;Ellipsoid
Semi-axes:.
The curvature lines are sections with one and two sheeted hyperboloids. The red points are umbilic points.
;Hyperboloid of one sheet
Semi-axes:.
The curvature lines are intersections with ellipsoids and hyperboloids of two sheets.

Dupin cyclides

A Dupin cyclide and its parallels are determined by a pair of focal conic sections. The diagram shows a ring cyclide together with its focal conic sections. The cyclide can be seen as a member of an orthogonal system of surfaces:
1. pencil: parallel surfaces of the cyclide.
2. pencil: right circular cones through the ellipse
3. pencil: right circular cones through the hyperbola
The special feature of a cyclide is the property:

Proof of Dupin's theorem

Any point of consideration is contained in exactly one surface of any pencil of the orthogonal system. The three parameters describing these three surfaces can be considered as new coordinates. Hence any point can be represented by:
For the example in the lead the new coordinates are the radius of the actual cylinder, angle between the vertical plane and the x-axis and the hight of the horizontal plane. Hence, can be considered as the cylinder coordinates of the point of consideration.
The condition "the surfaces intersect orthogonally" at point means, the surface normals are pairwise orthogonal. This is true, if
Hence
Deriving these equations for the variable, which is not contained in the equation, one gets
Solving this linear system for the three appearing scalar products yields:
From ' and ': The three vectors are orthogonal to vector and hence are linear dependent, which can be expressed by:
From equation ' one gets and
from equation
':
of the surface.
Consequence: The parameter curves are curvature lines.
The analogous result for the other two surfaces through point is true, too.