# Canal surface

*Kanalfläche*

A surface for which one family of curvature lines consists of circles; the plane of each such circle intersects the surface along this circle at a constant angle. The corresponding component of the focal set of the canal surface degenerates to a curve $\Gamma$, and hence the canal surface is the envelope of a one-parameter family of spheres having the corresponding principal radii of curvature as their radii. Conversely, if a regular curve $\zeta(s)$ is given, parametrized with arc length $s$, and $R(s)$ is the radius function for a one-parameter family of spheres with centres in $\zeta(s)$, then the canal surface enveloping this family is characterized by the following equations for its radius vector $r$: $$ \langle r - \zeta(s), r - \zeta(s) \rangle = R^2(s) \,, $$ $$ \langle r - \zeta(s), \zeta'(s) \rangle = -R'(s).R(s) $$ ($\langle,\rangle$ denoting the scalar product in $\mathbf{E}^3$). This equation can be solved if and only if $|R'(s)| \le 1$. If $R = \text{const.}$, then the canal surface is called a tubular surface, for which the torus may serve as an example.

#### Comments

Figure: c020100a

A canal surface.

For the notions of a curvature line and a focal set cf. also Curvature lines, net of and Differential geometry.

Surfaces with two families of circular lines of curvature (i.e. two degenerating components of the focal set) are characterized by the cyclides of Dupin (cf. Dupin cyclide). They can be obtained as the image of the torus under a conformal transformation of the ambient space.

#### References

[a1] | G. Monge, "Application de l'analyse à la géométrie" , Bachelier (1850) pp. Chapt. 8 |

[a2] | S. Lie, "Ueber Complexe, insbesondere Linien- und Kugel-Complexe, mit Anwendung auf die Theorie partieller Differentialgleichungen" Math. Ann. , 5 (1872) pp. 179 |

[a3] | G. Scheffers, "Einführung in die Theorie der Flächen" , Teubner (1913) |

[a4] | W. Blaschke, K. Leichtweiss, "Elementare Differentialgeometrie" , Springer (1973) |

[a5] | M. Berger, B. Gostiaux, "Géométrie différentielle: variétés, courbes et surfaces" , Presses Univ. France (1987) |

**How to Cite This Entry:**

Canal surface.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Canal_surface&oldid=53337