Teorema celor trei geodezice

teoremă care afirmă că fiecare varietate riemanniană cu topologia unei sfere are cel puțin trei geodezice închise

În geometria diferențială teorema celor trei geodezice, cunoscută și sub numele de teorema Lusternik–Schnirelmann, afirmă că fiecare varietate riemanniană⁠(d) cu topologia unei sfere are cel puțin trei geodezice închise care formează curbe închise simple (adică fără autointersectări).[1][2] Rezultatul poate fi extins și la cvasigeodezice pe un poliedru convex. Teorema este clară: deși fiecare 2-sferă riemanniană conține un număr infinit de geodezice închise distincte, doar trei dintre ele sunt garantate că nu au autointersecții. De exemplu, printr-un rezultat al lui Marston Morse dacă lungimile a 3 axe principale ale unui elipsoid sunt distincte, dar suficient de apropiate una de cealălaltă, atunci elipsoidul are doar 3 geodezice simple închise.[3]

Istoric și demonstrare

modificare
 
Un elipsoid triaxial și cele trei geodezice ale sale

O geodezică pe o suprafață riemanniană este o curbă care este local „dreaptă” în fiecare dintre punctele sale. De exemplu, pe planul euclidian geodezicele sunt drepte, iar pe suprafața unei sfere geodezicele sunt cercuri mari. Cea mai scurtă cale între două puncte de pe o suprafață este întotdeauna o geodezică, dar pot exista și alte geodezice. Se spune că o geodezică este o geodezică închisă dacă revine la punctul său de pornire și la direcția de pornire; procedând astfel, se poate autointersecta de mai multe ori. Teorema celor trei geodezice spune că pentru suprafețele homeomorfe⁠(d) cu sfera există cel puțin trei geodezice închise care nu se autointersectează. Pot fi mai multe de trei, de exemplu sfera însăși are un număr infinit de astfel de geodezice.

Acest rezultat provine din matematica navigației maritime, unde suprafața Pământului poate fi modelată cu precizie de un elipsoid, și din studiul geodezicelor de pe un elipsoid⁠(d), cele mai scurte căi pe care pot călători navele. În special, un elipsoid triaxial aproape sferic are doar trei geodezice simple închise, cercurile sale ecuatoriale.[4] În 1905, Henri Poincaré a presupus că fiecare suprafață netedă echivalentă topologic cu o sferă conține cel puțin trei geodezice închise simple,[5] iar în 1929 Lazar Lusternik și Lev Schnirelmann au publicat o demonstrație a conjecturii, care s-a dovedit ulterior a fi falsă.[6] Demonstrația a fost corectată de Hans Werner Ballmann în 1978.[7]

O demonstrație a acestei conjecturi examinează omologia⁠(d) spațiului curbelor netede de pe sferă și folosește scurtarea curbelor⁠(d) pentru a găsi o geodezică închisă simplă care reprezintă fiecare dintre cele trei clase de omologie netriviale ale acestui spațiu.[2]

Generalizări

modificare

O versiune generalizată a teoremei afirmă că pe orice suprafață riemanniană care este topologic o sferă există în mod necesar trei geodezice simple închise a căror lungime este cel mult proporțională cu diametrul suprafeței.[8]

Numărul de geodezice închise cu lungimea cel mult L pe o sferă topologică netedă crește proporțional cu L/log L, dar nu se poate garanta că toate aceste geodezice sunt simple.[9]

Pe suprafețele Riemann hiperbolice compacte există infinit de multe geodezice simple închise, dar numai finite, cu o lungime dată. Ele sunt date analitic de funcția zeta Selberg. Rata de creștere a numărului de geodezice simple închise în funcție de lungimea lor a fost investigată de Maryam Mirzakhani.[10]

Metrice care nu sunt netede

modificare

Este posibil să se definească geodezice pe unele suprafețe care nu sunt netede peste tot, cum ar fi pe poliedrele convexe. Suprafața unui poliedru convex are o metrică care este local euclidiană, cu excepția vârfurilor poliedrului, iar o curbă care evită vârfurile este o geodezică dacă parcurge segmente de dreaptă pe fiecare față a poliedrului și rămâne „dreaptă” în fiecare punct în care traversează laturile poliedrului. Deși unele poliedre au geodezice închise simple (de exemplu, tetraedrul regulat și bisfenoidele au infinit de multe geodezice închise, toate simple)[11][12] altele nu au. Ca particularitate, o geodezică simplă închisă a unui poliedru convex ar divide în mod necesar deficitul unghiular total al vârfurilor, iar aproape toate⁠(d) poliedrele nu au astfel de bisectoare.[4][11]

Totuși, teorema celor trei geodezice poate fi extinsă la poliedre convexe luând în considerare cvasigeodezicele, curbe care sunt geodezice peste tot cu excepția vârfurilor poliedrelor și care au unghiuri mai mici de π pe ambele părți în fiecare vârf pe care îl traversează. O versiune a teoremei celor trei geodezice pentru poliedre convexe afirmă că toate poliedrele au cel puțin trei cvasigeodezice simple închise; acest lucru poate fi demonstrat prin aproximarea poliedrului cu o suprafață netedă și aplicarea teoremei celor trei geodezice pe această suprafață.[13] Problema dacă oricare dintre aceste cvasigeodezice poate fi construită în timp polinomial este una încă nerezolvată.[14][15]

  1. ^ en Klingenberg, Wilhelm (), „The existence of three short closed geodesics”, Differential geometry and complex analysis, Springer, Berlin, pp. 169–179, MR 0780043 
  2. ^ a b en Grayson, Matthew A. (), „Shortening embedded curves” (PDF), Annals of Mathematics, Second Series, 129 (1): 71–111, doi:10.2307/1971486, JSTOR 1971486, MR 0979601 
  3. ^ en Ballmann, W., On the lengths of closed geodesics on convex surfaces, Invent. Math. 71, p. 593–597 (1983)
  4. ^ a b en Galperin, G. (), „Convex polyhedra without simple closed geodesics” (PDF), Regular & Chaotic Dynamics, 8 (1): 45–58, Bibcode:2003RCD.....8...45G, doi:10.1070/RD2003v008n01ABEH000231, MR 1963967 
  5. ^ en Poincaré, H. (), „Sur les lignes géodésiques des surfaces convexes” [Geodesics lines on convex surfaces], Transactions of the American Mathematical Society (în French), 6 (3): 237–274, doi:10.2307/1986219, JSTOR 1986219 
  6. ^ fr Lusternik, L.; Schnirelmann, L. (), „Sur le problème de trois géodésiques fermées sur les surfaces de genre 0”, Comptes Rendus de l'Académie des Sciences de Paris (în French), 189: 269–271 
  7. ^ de Ballmann, Werner (), „Der Satz von Lusternik und Schnirelmann”, Bonner Mathematische Schriften, 102: 1–25 
  8. ^ en Liokumovich, Yevgeny; Nabutovsky, Alexander; Rotman, Regina (), „Lengths of three simple periodic geodesics on a Riemannian 2-sphere”, Mathematische Annalen, 367: 831–855, arXiv:1410.8456 , Bibcode:2014arXiv1410.8456L, doi:10.1007/s00208-016-1402-5  
  9. ^ en Hingston, Nancy (), „On the growth of the number of closed geodesics on the two-sphere”, International Mathematics Research Notices, 1993 (9): 253–262, doi:10.1155/S1073792893000285, MR 1240637 
  10. ^ en Mirzakhani, Maryam (), „Growth of the number of simple closed geodesics on hyperbolic surfaces”, Annals of Mathematics, 168 (1): 97–125, doi:10.4007/annals.2008.168.97 , MR 2415399, Zbl 1177.37036 
  11. ^ a b en Fuchs, Dmitry; Fuchs, Ekaterina (), „Closed geodesics on regular polyhedra” (PDF), Moscow Mathematical Journal, 7 (2): 265–279, 350, doi:10.17323/1609-4514-2007-7-2-265-279, MR 2337883, arhivat din original (PDF) la , accesat în  
  12. ^ en Cotton, Andrew; Freeman, David; Gnepp, Andrei; Ng, Ting; Spivack, John; Yoder, Cara (), „The isoperimetric problem on some singular surfaces”, Journal of the Australian Mathematical Society, 78 (2): 167–197, doi:10.1017/S1446788700008016 , MR 2141875 
  13. ^ en Pogorelov, Aleksei V. (), „Quasi-geodesic lines on a convex surface”, Matematicheskii Sbornik, N.S., 25 (67): 275–306, MR 0031767 
  14. ^ en Demaine, Erik D.; O'Rourke, Joseph (), „24 Geodesics: Lyusternik–Schnirelmann”, Geometric folding algorithms: Linkages, origami, polyhedra, Cambridge: Cambridge University Press, pp. 372–375, doi:10.1017/CBO9780511735172, ISBN 978-0-521-71522-5, MR 2354878 
  15. ^ en Itoh, Jin-ichi; O'Rourke, Joseph; Vîlcu, Costin (), „Star unfolding convex polyhedra via quasigeodesic loops”, Discrete and Computational Geometry, 44 (1): 35–54, arXiv:0707.4258 , doi:10.1007/s00454-009-9223-x , MR 2639817