Namespaces
Variants
Actions

Difference between revisions of "Canal surface"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX done)
(Conversely (not contrary); see talk)
Line 1: Line 1:
 
''Kanalfläche''
 
''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. On the contrary, 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$:
+
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), r - \zeta(s) \rangle = R^2(s) \,,

Revision as of 22:28, 17 November 2017

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=42310
This article was adapted from an original article by I.Kh. Sabitov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article