# Difference between revisions of "Deformation, isometric"

Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
||

Line 1: | Line 1: | ||

− | + | <!-- | |

+ | d0307101.png | ||

+ | $#A+1 = 42 n = 0 | ||

+ | $#C+1 = 42 : ~/encyclopedia/old_files/data/D030/D.0300710 Deformation, isometric, | ||

+ | Automatically converted into TeX, above some diagnostics. | ||

+ | Please remove this comment and the {{TEX|auto}} line below, | ||

+ | if TeX found to be correct. | ||

+ | --> | ||

− | A deformation under which the lengths of curves in | + | {{TEX|auto}} |

+ | {{TEX|done}} | ||

+ | |||

+ | ''of a submanifold $ M $ | ||

+ | in a Riemannian space $ V $'' | ||

+ | |||

+ | A deformation under which the lengths of curves in $ M $ | ||

+ | are unchanged. The problem of isometric deformation of surfaces originated with C.F. Gauss, and is a fundamental problem in differential geometry. | ||

Apart from the general case, isometric deformations of surfaces preserving some external characteristic have been fairly thoroughly investigated; it usually turned out that only surfaces of a definite class allow of such deformations. Such are, for example: 1) surfaces where the mean curvature is preserved under isometric deformation (surfaces of constant mean curvature, and, in particular, minimal surfaces and some surfaces applicable on a surface of revolution); 2) surfaces where some family of asymptotic lines is preserved under isometric deformation (the ruled surfaces (cf. [[Ruled surface|Ruled surface]]) are comprised in this class); 3) surfaces allowing a [[Deformation over a principal base|deformation over a principal base]]; etc. | Apart from the general case, isometric deformations of surfaces preserving some external characteristic have been fairly thoroughly investigated; it usually turned out that only surfaces of a definite class allow of such deformations. Such are, for example: 1) surfaces where the mean curvature is preserved under isometric deformation (surfaces of constant mean curvature, and, in particular, minimal surfaces and some surfaces applicable on a surface of revolution); 2) surfaces where some family of asymptotic lines is preserved under isometric deformation (the ruled surfaces (cf. [[Ruled surface|Ruled surface]]) are comprised in this class); 3) surfaces allowing a [[Deformation over a principal base|deformation over a principal base]]; etc. | ||

− | In character, the problem of isometric deformation of surfaces in Euclidean space can be divided conventionally into that of local isometric deformation, that is, deformation of some small neighbourhood | + | In character, the problem of isometric deformation of surfaces in Euclidean space can be divided conventionally into that of local isometric deformation, that is, deformation of some small neighbourhood $ U _ {P} $ |

+ | of a point $ P $ | ||

+ | in the surface, and global isometric deformation, that is, deformation of a pre-given piece of the surface or of the whole of it. As a rule, every surface allows of local isometric deformation; however, if $ P $ | ||

+ | is a [[Flat point|flat point]], then under certain conditions and with strong regularity assumptions on the allowed deformation, $ U _ {P} $ | ||

+ | turns out not to have an isometric deformation, even locally. | ||

− | The first assertions on global isometric deformation were a theorem of E. Liebmann on the non-isometric deformability of the sphere, and also the following result of D. Hilbert: The maximum principal curvature radius of part of a surface of constant curvature 1 is attained on the boundary. In later investigations it was established that every closed convex surface is not isometrically deformable in the class of convex surfaces without additional regularity conditions. Theorems were discovered of maximum-principle type, relating to isometric deformations of an arbitrary piece of a convex surface of class | + | The first assertions on global isometric deformation were a theorem of E. Liebmann on the non-isometric deformability of the sphere, and also the following result of D. Hilbert: The maximum principal curvature radius of part of a surface of constant curvature 1 is attained on the boundary. In later investigations it was established that every closed convex surface is not isometrically deformable in the class of convex surfaces without additional regularity conditions. Theorems were discovered of maximum-principle type, relating to isometric deformations of an arbitrary piece of a convex surface of class $ C ^ {3} $, |

+ | which imply that a closed convex surface is not isometrically deformable. However, it was proved that a sphere of class $ C ^ {1} $ | ||

+ | has an isometric deformation in the same class. | ||

− | Only partial results have been established concerning isometric deformation of closed surfaces of positive genus; for example, surfaces of type | + | Only partial results have been established concerning isometric deformation of closed surfaces of positive genus; for example, surfaces of type $ T $( |

+ | tori), that is, surfaces consisting of a finite number of regions with piecewise-smooth boundaries in each of which the Gaussian curvature $ K $ | ||

+ | does not change sign and vanishes only on the boundary, and the total curvature of all the regions with $ K > 0 $ | ||

+ | is $ 4 \pi $, | ||

+ | are not isometrically deformable under certain additional assumptions (analyticity, absence of two closed asymptotic lines); in particular, the ordinary torus is not isometrically deformable. | ||

− | Complete non-closed surfaces are usually isometrically deformable. A complete convex surface | + | Complete non-closed surfaces are usually isometrically deformable. A complete convex surface $ S $ |

+ | is not isometrically deformable if $ \int \int K dS = 2 \pi $, | ||

+ | and is isometrically deformable if $ \int \int K dS < 2 \pi $; | ||

+ | every admissible isometric deformation of it is determined by an isometric deformation of its limiting cone. Certain classes of complete surfaces of negative curvature also allow of an isometric deformation; for example, minimal surfaces, in particular a catenoid, can be isometrically deformed into a helicoid. | ||

− | The study of isometric deformations of non-closed surfaces with boundary also relates mainly to surfaces with Gaussian curvature of constant sign, and the case where the isometric deformation is determined uniquely by different kinds of boundary conditions has been studied in detail. Thus, for any isometric deformation of a closed surface | + | The study of isometric deformations of non-closed surfaces with boundary also relates mainly to surfaces with Gaussian curvature of constant sign, and the case where the isometric deformation is determined uniquely by different kinds of boundary conditions has been studied in detail. Thus, for any isometric deformation of a closed surface $ F $, |

+ | at least one point of its boundary $ \partial F $ | ||

+ | changes its distance from a fixed point $ O $ | ||

+ | from which $ F $ | ||

+ | is viewed outwards and which is situated outside the convex hull (so that $ F $ | ||

+ | is not isometrically deformable if the distance of an arbitrary point of $ \partial F $ | ||

+ | from $ O $ | ||

+ | is fixed); likewise, for any isometric deformation of a convex surface $ F $ | ||

+ | that is uniquely projectable onto a plane $ \pi $ | ||

+ | and bounded by a plane contour, at least one point of $ \partial F $ | ||

+ | changes its distance from $ \pi $( | ||

+ | so that $ F $ | ||

+ | has no sliding isometric deformation, that is, an isometric deformation in which the points of the boundary move parallel to some plane $ \pi $); | ||

+ | for an isometric deformation of a surface of this type, the curvature $ \kappa $ | ||

+ | of $ \partial F $ | ||

+ | changes for at least one point, and the number of alterations of sign of the difference of the curvatures on the boundaries of $ F $ | ||

+ | and its deformation $ \widetilde{F} $ | ||

+ | is not less than four (so that if the curvature of the boundary is fixed, $ F $ | ||

+ | is not isometrically deformable). Concerning surfaces of negative curvature, a fairly wide class of isometric deformations of them are obtained from solutions of the Cauchy problem for the equations of Gauss and Peterson–Codazzi; for example, the isometric deformation of the piece of a surface with $ K < 0 $ | ||

+ | bounded by segments $ a _ {0} , a _ {1} $ | ||

+ | of geodesics and two segments $ b _ {0} , b _ {1} $ | ||

+ | of their orthogonal trajectories is uniquely determined by the isometric deformation of the boundary of $ b _ {0} $. | ||

+ | As for isometric deformations of surfaces with curvature of changing sign, results have been obtained only for the surfaces of revolution. | ||

− | In the study of isometric deformation of surfaces, methods of the theory of partial differential equations are applied; for example, equations of elliptic type, which define isometric deformations of surfaces of positive Gaussian curvature, and also of surfaces for which the mean curvature is preserved; moreover, for convex surfaces, a special part is played by the method of direct limit transition of sequences of polytopes (see [[Glueing method|Glueing method]]) in combination with theorems on the regularity of a surface having a regular metric. When the convex surface | + | In the study of isometric deformation of surfaces, methods of the theory of partial differential equations are applied; for example, equations of elliptic type, which define isometric deformations of surfaces of positive Gaussian curvature, and also of surfaces for which the mean curvature is preserved; moreover, for convex surfaces, a special part is played by the method of direct limit transition of sequences of polytopes (see [[Glueing method|Glueing method]]) in combination with theorems on the regularity of a surface having a regular metric. When the convex surface $ F = F _ {0} $ |

+ | is sufficiently close to its isometric deformation $ F _ {1} $, | ||

+ | then the investigation of isometric deformations can be reduced by using a [[Cohn-Vossen transformation|Cohn-Vossen transformation]] to analogous problems in the theory of infinitesimal deformations (cf. [[Infinitesimal deformation|Infinitesimal deformation]]) of the so-called mean surface | ||

− | + | $$ | |

+ | F _ {1/2} = \ | ||

+ | |||

+ | \frac{F _ {0} + F _ {1} }{2} | ||

+ | . | ||

+ | $$ | ||

====References==== | ====References==== | ||

<table><TR><TD valign="top">[1]</TD> <TD valign="top"> V.F. Kagan, "Foundations of the theory of surfaces in a tensor setting" , '''2''' , Moscow-Leningrad (1948) (In Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> V.I. Shulikovskii, "Classical differential geometry in a tensor setting" , Moscow (1963) (In Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> N.V. Efimov, "Qualitative problems of the "local" deformation of surfaces" ''Trudy Mat. Inst. Steklov.'' , '''30''' (1949) (In Russian) {{MR|0039327}} {{ZBL|0030.06901}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> N.V. Efimov, "Qualitative problems of the theory of deformation of surfaces" ''Uspekhi Mat. Nauk'' , '''2''' : 3 (1948) pp. 47–158 (In Russian) {{MR|0027567}} {{ZBL|0030.06901}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> A.V. Pogorelov, "Die Verbiegung konvexer Flächen" , Akademie Verlag (1957) (Translated from Russian) {{MR|}} {{ZBL|0077.38006}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> W. Blaschke, "Vorlesungen über Differentialgeometrie und geometrische Grundlagen von Einsteins Relativitätstheorie. Elementare Differentialgeometrie" , '''1''' , Springer (1921) {{MR|0015247}} {{ZBL|}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> S.E. Cohn-Vossen, "Some problems of differential geometry in the large" , Moscow (1959) (In Russian) {{MR|}} {{ZBL|}} </TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> V.F. Kagan, "Foundations of the theory of surfaces in a tensor setting" , '''2''' , Moscow-Leningrad (1948) (In Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> V.I. Shulikovskii, "Classical differential geometry in a tensor setting" , Moscow (1963) (In Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> N.V. Efimov, "Qualitative problems of the "local" deformation of surfaces" ''Trudy Mat. Inst. Steklov.'' , '''30''' (1949) (In Russian) {{MR|0039327}} {{ZBL|0030.06901}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> N.V. Efimov, "Qualitative problems of the theory of deformation of surfaces" ''Uspekhi Mat. Nauk'' , '''2''' : 3 (1948) pp. 47–158 (In Russian) {{MR|0027567}} {{ZBL|0030.06901}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> A.V. Pogorelov, "Die Verbiegung konvexer Flächen" , Akademie Verlag (1957) (Translated from Russian) {{MR|}} {{ZBL|0077.38006}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> W. Blaschke, "Vorlesungen über Differentialgeometrie und geometrische Grundlagen von Einsteins Relativitätstheorie. Elementare Differentialgeometrie" , '''1''' , Springer (1921) {{MR|0015247}} {{ZBL|}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> S.E. Cohn-Vossen, "Some problems of differential geometry in the large" , Moscow (1959) (In Russian) {{MR|}} {{ZBL|}} </TD></TR></table> | ||

− | |||

− | |||

====Comments==== | ====Comments==== | ||

− | An (isometric) deformation of a (piece of a) surface is also known as a bending. An infinitesimal bending is thus an infinitesimal deformation of a surface under which the lengths of curves on the surface is stationary. The velocity field of the deformation is called the bending field. A bending field is trivial if it is the velocity field of a rigid motion of the surface (imbedded in | + | An (isometric) deformation of a (piece of a) surface is also known as a bending. An infinitesimal bending is thus an infinitesimal deformation of a surface under which the lengths of curves on the surface is stationary. The velocity field of the deformation is called the bending field. A bending field is trivial if it is the velocity field of a rigid motion of the surface (imbedded in $ E ^ {3} $). |

+ | A rigid surface is one which admits no non-trivial infinitesimal bendings. A closed regular surface of positive Gaussian curvature is rigid (Blaschke's theorem). Cf. [[#References|[5]]], Chapt. 4 for a great deal of material on infinitesimal bendings and rigidity. | ||

Hilbert's theorem on the maximal principal curvature radius mentioned above can be found in [[#References|[a6]]]. It follows readily that the sphere is the only closed (singularity-free) surface of constant positive curvature, a result first proved by H. Liebmann. | Hilbert's theorem on the maximal principal curvature radius mentioned above can be found in [[#References|[a6]]]. It follows readily that the sphere is the only closed (singularity-free) surface of constant positive curvature, a result first proved by H. Liebmann. |

## Latest revision as of 17:32, 5 June 2020

*of a submanifold $ M $*
in a Riemannian space $ V $

A deformation under which the lengths of curves in $ M $ are unchanged. The problem of isometric deformation of surfaces originated with C.F. Gauss, and is a fundamental problem in differential geometry.

Apart from the general case, isometric deformations of surfaces preserving some external characteristic have been fairly thoroughly investigated; it usually turned out that only surfaces of a definite class allow of such deformations. Such are, for example: 1) surfaces where the mean curvature is preserved under isometric deformation (surfaces of constant mean curvature, and, in particular, minimal surfaces and some surfaces applicable on a surface of revolution); 2) surfaces where some family of asymptotic lines is preserved under isometric deformation (the ruled surfaces (cf. Ruled surface) are comprised in this class); 3) surfaces allowing a deformation over a principal base; etc.

In character, the problem of isometric deformation of surfaces in Euclidean space can be divided conventionally into that of local isometric deformation, that is, deformation of some small neighbourhood $ U _ {P} $ of a point $ P $ in the surface, and global isometric deformation, that is, deformation of a pre-given piece of the surface or of the whole of it. As a rule, every surface allows of local isometric deformation; however, if $ P $ is a flat point, then under certain conditions and with strong regularity assumptions on the allowed deformation, $ U _ {P} $ turns out not to have an isometric deformation, even locally.

The first assertions on global isometric deformation were a theorem of E. Liebmann on the non-isometric deformability of the sphere, and also the following result of D. Hilbert: The maximum principal curvature radius of part of a surface of constant curvature 1 is attained on the boundary. In later investigations it was established that every closed convex surface is not isometrically deformable in the class of convex surfaces without additional regularity conditions. Theorems were discovered of maximum-principle type, relating to isometric deformations of an arbitrary piece of a convex surface of class $ C ^ {3} $, which imply that a closed convex surface is not isometrically deformable. However, it was proved that a sphere of class $ C ^ {1} $ has an isometric deformation in the same class.

Only partial results have been established concerning isometric deformation of closed surfaces of positive genus; for example, surfaces of type $ T $( tori), that is, surfaces consisting of a finite number of regions with piecewise-smooth boundaries in each of which the Gaussian curvature $ K $ does not change sign and vanishes only on the boundary, and the total curvature of all the regions with $ K > 0 $ is $ 4 \pi $, are not isometrically deformable under certain additional assumptions (analyticity, absence of two closed asymptotic lines); in particular, the ordinary torus is not isometrically deformable.

Complete non-closed surfaces are usually isometrically deformable. A complete convex surface $ S $ is not isometrically deformable if $ \int \int K dS = 2 \pi $, and is isometrically deformable if $ \int \int K dS < 2 \pi $; every admissible isometric deformation of it is determined by an isometric deformation of its limiting cone. Certain classes of complete surfaces of negative curvature also allow of an isometric deformation; for example, minimal surfaces, in particular a catenoid, can be isometrically deformed into a helicoid.

The study of isometric deformations of non-closed surfaces with boundary also relates mainly to surfaces with Gaussian curvature of constant sign, and the case where the isometric deformation is determined uniquely by different kinds of boundary conditions has been studied in detail. Thus, for any isometric deformation of a closed surface $ F $, at least one point of its boundary $ \partial F $ changes its distance from a fixed point $ O $ from which $ F $ is viewed outwards and which is situated outside the convex hull (so that $ F $ is not isometrically deformable if the distance of an arbitrary point of $ \partial F $ from $ O $ is fixed); likewise, for any isometric deformation of a convex surface $ F $ that is uniquely projectable onto a plane $ \pi $ and bounded by a plane contour, at least one point of $ \partial F $ changes its distance from $ \pi $( so that $ F $ has no sliding isometric deformation, that is, an isometric deformation in which the points of the boundary move parallel to some plane $ \pi $); for an isometric deformation of a surface of this type, the curvature $ \kappa $ of $ \partial F $ changes for at least one point, and the number of alterations of sign of the difference of the curvatures on the boundaries of $ F $ and its deformation $ \widetilde{F} $ is not less than four (so that if the curvature of the boundary is fixed, $ F $ is not isometrically deformable). Concerning surfaces of negative curvature, a fairly wide class of isometric deformations of them are obtained from solutions of the Cauchy problem for the equations of Gauss and Peterson–Codazzi; for example, the isometric deformation of the piece of a surface with $ K < 0 $ bounded by segments $ a _ {0} , a _ {1} $ of geodesics and two segments $ b _ {0} , b _ {1} $ of their orthogonal trajectories is uniquely determined by the isometric deformation of the boundary of $ b _ {0} $. As for isometric deformations of surfaces with curvature of changing sign, results have been obtained only for the surfaces of revolution.

In the study of isometric deformation of surfaces, methods of the theory of partial differential equations are applied; for example, equations of elliptic type, which define isometric deformations of surfaces of positive Gaussian curvature, and also of surfaces for which the mean curvature is preserved; moreover, for convex surfaces, a special part is played by the method of direct limit transition of sequences of polytopes (see Glueing method) in combination with theorems on the regularity of a surface having a regular metric. When the convex surface $ F = F _ {0} $ is sufficiently close to its isometric deformation $ F _ {1} $, then the investigation of isometric deformations can be reduced by using a Cohn-Vossen transformation to analogous problems in the theory of infinitesimal deformations (cf. Infinitesimal deformation) of the so-called mean surface

$$ F _ {1/2} = \ \frac{F _ {0} + F _ {1} }{2} . $$

#### References

[1] | V.F. Kagan, "Foundations of the theory of surfaces in a tensor setting" , 2 , Moscow-Leningrad (1948) (In Russian) |

[2] | V.I. Shulikovskii, "Classical differential geometry in a tensor setting" , Moscow (1963) (In Russian) |

[3] | N.V. Efimov, "Qualitative problems of the "local" deformation of surfaces" Trudy Mat. Inst. Steklov. , 30 (1949) (In Russian) MR0039327 Zbl 0030.06901 |

[4] | N.V. Efimov, "Qualitative problems of the theory of deformation of surfaces" Uspekhi Mat. Nauk , 2 : 3 (1948) pp. 47–158 (In Russian) MR0027567 Zbl 0030.06901 |

[5] | A.V. Pogorelov, "Die Verbiegung konvexer Flächen" , Akademie Verlag (1957) (Translated from Russian) Zbl 0077.38006 |

[6] | W. Blaschke, "Vorlesungen über Differentialgeometrie und geometrische Grundlagen von Einsteins Relativitätstheorie. Elementare Differentialgeometrie" , 1 , Springer (1921) MR0015247 |

[7] | S.E. Cohn-Vossen, "Some problems of differential geometry in the large" , Moscow (1959) (In Russian) |

#### Comments

An (isometric) deformation of a (piece of a) surface is also known as a bending. An infinitesimal bending is thus an infinitesimal deformation of a surface under which the lengths of curves on the surface is stationary. The velocity field of the deformation is called the bending field. A bending field is trivial if it is the velocity field of a rigid motion of the surface (imbedded in $ E ^ {3} $). A rigid surface is one which admits no non-trivial infinitesimal bendings. A closed regular surface of positive Gaussian curvature is rigid (Blaschke's theorem). Cf. [5], Chapt. 4 for a great deal of material on infinitesimal bendings and rigidity.

Hilbert's theorem on the maximal principal curvature radius mentioned above can be found in [a6]. It follows readily that the sphere is the only closed (singularity-free) surface of constant positive curvature, a result first proved by H. Liebmann.

#### References

[a1] | A.V. Pogorelov, "Extrinsic geometry of convex surfaces" , Amer. Math. Soc. (1972) (Translated from Russian) MR0346714 MR0244909 Zbl 0311.53067 |

[a2] | H. Huck, R. Roitzsch, U. Simon, W. Vortisch, R. Walden, B. Wegner, W. Wendland, "Beweismethoden der Differentialgeometrie im Grossen" , Lect. notes in math. , 335 , Springer (1973) MR0370439 Zbl 0258.53029 |

[a3] | N.W. [N.V. Efimov] Efimow, "Flachenverbiegung im Grössen" , Akademie Verlag (1957) (Translated from Russian) MR0105722 MR0085569 |

[a4] | L. Bianchi, "Vorlesungen über Differentialgeometrie" , Teubner (1910) (Translated from Italian) Zbl 41.0676.01 |

[a5] | G. Darboux, "Leçons sur la théorie générale des surfaces et ses applications géométriques du calcul infinitésimal" , 1–4 , Chelsea, reprint (1972) |

[a6] | D. Hilbert, "Ueber Flächen von konstanter Gausscher Krümmung" Trans. Amer. Math. Soc. , 2 (1901) pp. 87–99 |

**How to Cite This Entry:**

Deformation, isometric.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Deformation,_isometric&oldid=28170