Namespaces
Variants
Actions

Difference between revisions of "Evolute (surface)"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
 +
{{TEX|done}}
 
''focal surface''
 
''focal surface''
  
The set of cuspidal edges of the developable surfaces formed by the normals to a given surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e0366801.png" /> along a family of curvature lines of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e0366802.png" />. The evolute consists of two sheets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e0366803.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e0366804.png" />, each of which is the set of centres of normal curvature of the corresponding family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e0366805.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e0366806.png" /> of curvature lines. The surface itself is called the evolvent (the evolvent surface) of its evolute. For example, the evolute of a torus is its axis of revolution and the circle described by the centre of its rotating circle.
+
The set of cuspidal edges of the developable surfaces formed by the normals to a given surface $F$ along a family of curvature lines of $F$. The evolute consists of two sheets $F_u$ and $F_v$, each of which is the set of centres of normal curvature of the corresponding family $u$ or $v$ of curvature lines. The surface itself is called the evolvent (the evolvent surface) of its evolute. For example, the evolute of a torus is its axis of revolution and the circle described by the centre of its rotating circle.
  
The radius vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e0366807.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e0366808.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e0366809.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668010.png" />, respectively, are
+
The radius vectors $R_u$ and $R_v$ of $F_u$ and $F_v$, respectively, are
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668011.png" /></td> </tr></table>
+
$$R_u=r+\rho_un,\quad R_v=r+\rho_vn,$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668013.png" /> are the radii of normal curvature of the curvature lines of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668016.png" /> is the radius vector of the surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668017.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668018.png" /> is the unit normal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668019.png" />.
+
where $\rho_u$ and $\rho_v$ are the radii of normal curvature of the curvature lines of $u$ and $v$, $r$ is the radius vector of the surface $F$, and $n$ is the unit normal to $F$.
  
The envelope of the planes that are parallel to the tangent planes to a given surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668020.png" /> and pass through the middle of the segment between the centres of normal curvature of the curvature lines is called the mean evolute (mean enveloping surface) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668021.png" />. Its radius vector is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668022.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668023.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668024.png" /> are the mean and Gaussian curvatures of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668025.png" />, respectively; consequently, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668027.png" /> are parallel surfaces. In addition, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668028.png" /> is the Laplace operator corresponding to the third fundamental form of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668029.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668030.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668031.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668032.png" />, that is, if the mean evolute degenerates to a plane, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668033.png" /> is called a Bonnet surface; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668034.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668035.png" /> is homothetic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668036.png" /> and is called a Goursat surface. In particular, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668037.png" /> one obtains a [[Minimal surface|minimal surface]].
+
The envelope of the planes that are parallel to the tangent planes to a given surface $F$ and pass through the middle of the segment between the centres of normal curvature of the curvature lines is called the mean evolute (mean enveloping surface) $\Phi$. Its radius vector is $R_m=r+(H/K)n$, where $H$ and $K$ are the mean and Gaussian curvatures of $F$, respectively; consequently, $F$ and $\Phi$ are parallel surfaces. In addition, if $\Delta'$ is the Laplace operator corresponding to the third fundamental form of $F$ and $w=(rn)$, then $\Delta'w=-2(w+H/K)$. If $w=-H/K$, that is, if the mean evolute degenerates to a plane, then $F$ is called a Bonnet surface; if $w+H/K=cw$, then $F$ is homothetic to $\Phi$ and is called a Goursat surface. In particular, for $c=1$ one obtains a [[Minimal surface|minimal surface]].
  
  
  
 
====Comments====
 
====Comments====
Both leaves of the evolute of a surface can be obtained as the set of critical values of the end-point mapping, defined on the [[Normal bundle|normal bundle]] of the surface and assigning to the normal vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668038.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668039.png" /> the value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036680/e03668040.png" /> in space. This can be easily generalized to define focal sets or evolute submanifolds in higher dimensions and codimensions.
+
Both leaves of the evolute of a surface can be obtained as the set of critical values of the end-point mapping, defined on the [[Normal bundle|normal bundle]] of the surface and assigning to the normal vector $v$ at $r$ the value $r+v$ in space. This can be easily generalized to define focal sets or evolute submanifolds in higher dimensions and codimensions.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Darboux,   "Leçons sur la théorie générale des surfaces et ses applications géométriques du calcul infinitésimal" , '''1''' , Gauthier-Villars  (1887)  pp. 1–18</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> M. Berger,   B. Gostiaux,   "Differential geometry: manifolds, curves, and surfaces" , Springer  (1988)  (Translated from French)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Darboux, "Leçons sur la théorie générale des surfaces et les applications géométriques du calcul infinitésimal" , '''1''' , Gauthier-Villars  (1887)  pp. 1–18</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top"> M. Berger, B. Gostiaux, "Differential geometry: manifolds, curves, and surfaces" , Springer  (1988)  (Translated from French)</TD></TR>
 +
</table>

Latest revision as of 06:52, 14 July 2024

focal surface

The set of cuspidal edges of the developable surfaces formed by the normals to a given surface $F$ along a family of curvature lines of $F$. The evolute consists of two sheets $F_u$ and $F_v$, each of which is the set of centres of normal curvature of the corresponding family $u$ or $v$ of curvature lines. The surface itself is called the evolvent (the evolvent surface) of its evolute. For example, the evolute of a torus is its axis of revolution and the circle described by the centre of its rotating circle.

The radius vectors $R_u$ and $R_v$ of $F_u$ and $F_v$, respectively, are

$$R_u=r+\rho_un,\quad R_v=r+\rho_vn,$$

where $\rho_u$ and $\rho_v$ are the radii of normal curvature of the curvature lines of $u$ and $v$, $r$ is the radius vector of the surface $F$, and $n$ is the unit normal to $F$.

The envelope of the planes that are parallel to the tangent planes to a given surface $F$ and pass through the middle of the segment between the centres of normal curvature of the curvature lines is called the mean evolute (mean enveloping surface) $\Phi$. Its radius vector is $R_m=r+(H/K)n$, where $H$ and $K$ are the mean and Gaussian curvatures of $F$, respectively; consequently, $F$ and $\Phi$ are parallel surfaces. In addition, if $\Delta'$ is the Laplace operator corresponding to the third fundamental form of $F$ and $w=(rn)$, then $\Delta'w=-2(w+H/K)$. If $w=-H/K$, that is, if the mean evolute degenerates to a plane, then $F$ is called a Bonnet surface; if $w+H/K=cw$, then $F$ is homothetic to $\Phi$ and is called a Goursat surface. In particular, for $c=1$ one obtains a minimal surface.


Comments

Both leaves of the evolute of a surface can be obtained as the set of critical values of the end-point mapping, defined on the normal bundle of the surface and assigning to the normal vector $v$ at $r$ the value $r+v$ in space. This can be easily generalized to define focal sets or evolute submanifolds in higher dimensions and codimensions.

References

[a1] G. Darboux, "Leçons sur la théorie générale des surfaces et les applications géométriques du calcul infinitésimal" , 1 , Gauthier-Villars (1887) pp. 1–18
[a2] M. Berger, B. Gostiaux, "Differential geometry: manifolds, curves, and surfaces" , Springer (1988) (Translated from French)
How to Cite This Entry:
Evolute (surface). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Evolute_(surface)&oldid=16367
This article was adapted from an original article by I.Kh. Sabitov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article