X vu = Γ 1 21X u + Γ 2 21X v + fn. X vv = Γ 1 22X u + Γ 2 22X v + gn, (7.2) X u = (cos u cos v, cos u sin v, sin u)

Transcript

1 Κεφάλαιο 7 Οι εξισώσεις Codazzi και Gauss Σύνοψη Στο κεφάλαιο αυτό θα ασχοληθούμε με μια βαθύτερη κατανόηση της καμπυλότητας Gauss. Θα ορίσουμε τα σύμβολα του Christoffel, τα οποία είναι πραγματικές συναρτήσεις Γ k ij : U R σε μια περιοχή παραμέτρησης X : U M μιας επιφάνειας M. Οι συναρτήσεις αυτές θα οριστούν ως οι συντελεστές γραμμικών εκφράσεων των μερικών παραγώγων X uu, X uv, X vv ως προς τη βάση {X u, X v, N} του R 3. Θα καταλήξουμε σε δύο σημαντικές ομάδες εξισώσεων, τις εξισώσεις Codazzi και τις εξισώσεις Gauss, οι οποίες συνδέουν τα θεμελιώδη ποσά πρώτης τάξης E, F, G με την καμπυλότητα K και τα σύμβολα Christoffel Γ k ij. φανεί επίσης ότι τα σύμβολα Christoffel εξαρτώνται μόνο από τα E, F, G, άρα θα έχουμε μια εναλλακτική απόδειξη του Θαυμαστού Θεωρήματος του Gauss. Στη συνέχεια θα δούμε κάποια σημαντικά αποτελέσματα ολικού χαρακτήρα για μια επιφάνεια όπως για παράδειγμα το Θεώρημα του Liebmann. Για περισσότερες πληροφορίες προτείνουμε τα βιβλία [], [], [3], [4], [5], [6], [7], [8]. Προαπαιτούμενη γνώση Διαφορικός Λογισμός μιας και πολλών μεταβλητών, Γραμμική Άλγεβρα. Εστω M μια κανονική επιφάνεια του R 3 με απεικόνιση Gauss N : M S και έστω X : U R M μια τοπική παραμέτρηση της M. Σε κάθε σημείο του XU M ορίζουμε τη βάση του R 3 που αποτελείται από τα διανύσματα {X u, X v, N} και θα μελετήσουμε τις εκφράσεις των παραγώγων των διανυσμάτων X u, X v και των N u, N v ως προς τη βάση αυτή η μελέτη αυτή είναι ουσιαστικά το ανάλογο των τύπων Frenet στη θεωρία καμπυλών. Θυμίζουμε ότι σε οποιοδήποτε σημείο Xu, v p, u, v U είναι T p M span{x u u, v, X v u, v} και το διάνυσμα NXu, v X uu, v X v u, v X u u, v X v u, v είναι κάθετο στον T pm. Επίσης, θυμίζουμε ότι για τα θεμελιώδη ποσά δεύτερης τάξης, ισχύουν οι σχέσεις e N, X uu, f N, X vu, g N, X vv. 7. Προκειμένου να χρησιμοποιήσουμε τον ιστορικά καθιερωμένο συμβολισμό, θέτουμε u και v. Ε- πειδή το σύνολο {X u, X v, N} αποτελεί βάση του R 3, υπάρχουν συναρτήσεις Γ, Γ, Γ, Γ, Γ και Γ Θα

2 Οι εξισώσεις Codazzi και Gauss τέτοιες ώστε X uu Γ X u + Γ X v + en X uv Γ X u + Γ X v + fn X vu Γ X u + Γ X v + fn X vv Γ X u + Γ X v + gn, 7. όπου λάβαμε υπόψη τις σχέσεις 7.. Οι πραγματικές συναρτήσεις Γ k ij i, j, k {, } επί του U R ονομάζονται σύμβολα του Christoffel δεύτερου είδους. Λόγω της σχέσης X uv X vu προκύπτει ότι Γ Γ, Γ Γ. Παράδειγμα 7.. Θεωρούμε την σφαίρα S με τοπική παραμέτρηση Είναι Xu, v sin u cos v, sin u sin v, cos u. X u cos u cos v, cos u sin v, sin u X v sin u sin v, sin u cos v, 0 X uu sin u cos v, sin u sin v, cos u Xu, v X uv cos u sin v, cos u cos v, 0 X vv sin u cos v, sin u sin v, 0 sin ucos v, sin v, 0. Επειδή το διάνυσμα X uu βρίσκεται στη διεύθυνση του διανύσματος N, είναι Γ Γ 0. Επιπλέον, παρατηρούμε ότι X uv cot ux v, άρα Γ 0 και Γ cot u. Τέλος, λόγω του ότι X vv sin u cos ux u sin un παίρνουμε ότι Γ sin u cos u και Γ 0. Με παρόμοιες πράξεις βρίσκουμε ότι τα σύμβολα του Cristoffel για την τοπική παραμέτρηση του άνω ημισφαιρίου της σφαίρας S, Y x, y x, y, x y είναι τα εξής: ότι Γ x x y, Γ Γ x y x y Γ x x x y, Γ y y x y Γ Γ xy x y, Γ y x x y. Στη συνέχεια, παίρνουμε τα εσωτερικά γινόμενα στις εξισώσεις 7. με τα X u και X v και λαμβάνουμε X uu, X u Γ E + Γ F X uu, X v Γ F + Γ G X uv, X u Γ E + Γ F X uv, X v Γ F + Γ G X vv, X u Γ E + Γ F X vv, X v Γ F + Γ G. 7.3

3 Οι εξισώσεις Codazzi και Gauss 3 Παρατηρούμε τώρα ότι ισχύουν οι εξής σχέσεις: X uu, X u X u, X u u E u X uv, X u X u, X u v E v X uv, X v X v, X v u G u X uu, X v X u, X v u X u, X uv F u E v Παρατηρήσεις. X vv, X u X u, X v v X uv, X v F v G u X vv, X v X v, X v v G v Τα πρώτα μέλη των σχέσεων 7.4 ονομάζονται σύμβολα του Christoffel πρώτου είδους και συμβολίζονται με Γ ijk, i, j, k,. Εύκολα βλέπουμε ότι Γ ijk Γ jik. Επίσης, από τις σχέσεις 7.4 φαίνεται ότι τα σύμβολα Christoffel πρώτου είδους εκφράζονται συναρτήσει των παραγώγων των θεμελιωδών ποσών πρώτης τάξης.. Αν θέσουμε u x, v x και E g, F g, G g, τότε υπάρχει ο αντίστροφος του πίνακα g g ij, i, j, και αν συμβολίσουμε με g ij,k την παράγωγο του g ij ως προς x k, τότε οι εξισώσεις 7.4 γράφονται Γ ijk g ik,j + g jk,i g ij,k. Συνεπώς, λόγω των σχέσεων 7.4 οι σχέσεις 7.3 μπορούν να ξαναγραφτούν ως εξής: E F Γ F G Γ E u F u E v E F Γ F G Γ E v G u E F Γ F v F G Γ G u G. v Από τις παραπάνω ισότητες προκύπτουν οι εξής: Γ E F Γ E u F G F u E v Γ Γ E F F G E v G u Ο πίνακας g g ij καλείται και μετρικός τανυστής. EG F EG F G F G F F E F E E u F u E v E v G u

4 4 Οι εξισώσεις Codazzi και Gauss Γ Γ E F F G F v G u G v EG F Από τις σχέσεις 7.5, 7.6, 7.7 παίρνουμε αντίστοιχα ότι Γ Γ Παρατήρηση. GE u EG F Γ GE v EG F GFv EG F GG u F F u + F E v F G u F G v G F F E F v G u G v. 7.7 Γ F E u EG F + EF u EE v, Γ F E v EG F + EG u, Γ F Fv EG F + F G u + EG v. 7.8 Σύμφωνα με την παραπάνω Παρατήρηση, αν θέσουμε g g kl τον αντίστροφο του πίνακα g, οι σχέσεις 7.8 γράφονται ως εξής: Γ k ij g kl Γ ijk, i, j, k, l {, }. Αυτό το οποίο είναι αξιοσημείωτο από τους παραπάνω τύπους είναι ότι τα σύμβολα του Christoffel, τα οποία καθορίζουν τις εφαπτομενικές συνιστώσες των δεύτερων παραγώγων X.., μπορούν να υπολογιστούν μόνο από τα θεμελιώδη ποσά πρώτης τάξης E, F, G, δηλαδή εξαρτώνται μόνο από την πρώτη θεμελιώδη μορφή της επιφάνειας. Παράδειγμα 7.. Θα υπολογίσουμε εκ νέου τα σύμβολα Christoffel για την σφαίρα S και θα συγκρίνουμε τα αποτελέσματα με αυτά του Παραδείγματος 7.. Για την παραμέτρηση που χρησιμοποιήσαμε είναι E, F 0 και G sin u. Χρησιμοποιώντας τις σχέσεις 7.8 παίρνουμε ότι Γ Γ 0 csc u 0 0 Γ 0 0 Γ 0 csc u sin u cos u cot u Γ 0 sin u cos u sin u cos u 0 csc. u 0 0 Γ Συνεπώς, τα μόνα μη μηδενικά σύμβολα Christoffel είναι τα Γ Γ cot u και Γ όπως βρήκαμε στο Παράδειγμα 7.. sin u cos u, Προκειμένου να προχωρήσουμε, θυμίζουμε ότι αν S p : T p M T p M, S p dn p είναι ο τελεστής a b σχήματος της επιφάνειας M σε ένα σημείο p M με πίνακα A ως προς τη βάση {X u, X v }, c d τότε a b e f E F eg ff ef + fe c d f g F G EG F. 7.9 fg gf ff + ge Θυμίζουμε ότι cscx ονομάζεται συντέμνουσα του x. Παρόμοια secx ονομάζεται τέμνουσα του x. sin x cos x

5 Οι εξισώσεις Codazzi και Gauss 5 Από την προηγούμενη ισότητα προκύπτει ότι οι μερικές παραγώγοι του N ως προς τα u και v θα είναι N u dn p X u S p X u ax u + bx v N v dn p X v S p X v cx u + dx v. 7.0 Παραγωγίζουμε τώρα τις εξισώσεις 7., χρησιμοποιούμε την ισότητα των μικτών παραγώγων καθώς και την 7.0 και παίρνουμε: X uuv Γ v X u + Γ X uv + Γ v X v + Γ X vv + e v N + en v Γ v X u + Γ Γ X u + Γ X v + fn + Γ v X v Γ X u + Γ X v + gn + e v N e cx u + dx v +Γ Γ v + Γ Γ + Γ Γ ec X u + Γ v + Γ Γ + Γ Γ ed X v + Γ f + Γ g + e v N. Επίσης, με παρόμοιο τρόπο προκύπτει ότι X uvu Γ u + Γ Γ + Γ Γ fa X u + Γ u + Γ Γ + Γ Γ fb X v + eγ fγ + f u N. Επειδή X uuv X uvu, εξισώνουμε τις συνιστώσες των αντίστοιχων διανυσμάτων, όπως φαίνονται παρακάτω: X u : Γ v + Γ Γ ec Γ u + Γ Γ + Γ Γ fa X v : Γ v + Γ Γ + Γ Γ eb Γ u + Γ Γ + Γ Γ fb N : e v + fγ + gγ f u + eγ + fγ 7. Με ανάλογο τρόπο λαμβάνοντας υπόψη ότι X uvv X vvu, παίρνουμε τις ισότητες των αντίστοιχων παρακάτω συνιστωσών: X u : Γ v + Γ Γ + Γ Γ fb Γ u + Γ Γ + Γ Γ ga X v : Γ v + Γ Γ fd Γ u + Γ Γ gc N : f v + fγ + gγ g u + eγ + fγ. 7. Οι δύο εξισώσεις που προκύπτουν από την ισότητα των κάθετων συνιστωσών είναι γνωστές ως Εξισώσεις Codazzi 3 e v f u eγ + f Γ Γ gγ f v g u eγ + f Γ Γ gγ Χρησιμοποιώντας τώρα τον τύπο για την καμπυλότητα Gauss K eg f καθώς και ότι τα στοιχεία EG F του πίνακα του τελεστή σχήματος δίνονται από τις εξισώσεις a b e f E F e f G F c d f g F G EG F f g F E 3 Καμιά φορά αναφέρονται και ως εξισώσεις των Codazzi - Mainardi

6 6 Οι εξισώσεις Codazzi και Gauss και τις τέσσερεις από τις εξισώσεις 7. που αντιστοιχούν στις συνιστώσες X u και X v, λαμβάνουμε τις παρακάτω Εξισώσεις Gauss 4 EK Γ v Γ u + Γ Γ + Γ Γ Γ Γ Γ F K Γ u Γ v + Γ Γ Γ Γ F K Γ v Γ u + Γ Γ Γ Γ GK Γ u Γ v + Γ Γ + Γ Γ Γ Γ Γ. Άσκηση. Αποδείξτε αναλυτικά τις παραπάνω εξισώσεις του Gauss. Αποδεικνύουμε ενδεικτικά την πρώτη σχέση, χρησιμοποιώντας την δεύτερη εξίσωση από την σχέση 7., ειδικότερα είναι: Γ v + Γ Γ + Γ Γ ed Γ u + Γ Γ + Γ Γ fb Γ v Γ u + Γ Γ + Γ Γ Γ Γ Γ ed fb e ff + ge f ef + fe EG F όπου στην τρίτη ισότητα χρησιμοποιήσαμε την σχέση. EG F eff + gee + eff f E EG F eg f E EK, Άσκηση. Αποδείξτε ότι, αν F 0, τότε η καμπυλότητα Gauss δίνεται από την σχέση K Ev Gu +. EG EG v EG u Ως αποτέλεσμα των εξισώσεων Gauss έχουμε μια άλλη απόδειξη του Θαυμαστού Θεωρήματας Therema Egregium του Gauss. Θεώρημα 7.. Θαυμαστό Θεώρημα του Gauss Η καμπυλότητα Gauss καθορίζεται πλήρως από την πρώτη θεμελιώδη μορφή, δηλαδή από τα θεμελιώδη ποσά πρώτης τάξης και τις μερικές παραγώγους αυτών. Απόδειξη. Από οποιαδήποτε από τις εξισώσεις του Gauss προκύπτει ότι η καμπυλότητα K εκφράζεται μόνο συναρτήσει των E, F, G, των συμβόλων του Christoffel και των παραγώγων τους, συνεπώς εκφράζεται μόνο συναρτήσει των E, F, G και των παραγώγων τους. Ειδικότερα, η καμπυλότητα Gauss δίνεται από τον τύπο K G 4 Απεδείχθηκαν από τον Gauss στην εργασία του [4] Γ u Γ v + Γ s Γ s Γ s Γ s. s

7 Οι εξισώσεις Codazzi και Gauss 7 Παρατήρηση. Ενας παρατηρητής ο οποίος βρίσκεται σε μια επιφάνεια χωρίς να έχει την αίσθηση της τρίτης διάστασης και ο οποίος μπορεί να μετρά τοπικά μήκη και γωνίες, μπορεί να υπολογίσει τα θεμελιώδη ποσά πρώτης τάξης E, F, G, άρα σύμφωνα με το Θαυμαστό Θεώρημα του Gauss μπορεί να υπολογίσει την καμπυλότητα K κ κ. Παρόλα αυτά έχει όμως τη δυνατότητα να υπολογίσει χωριστά τις κύριες καμπυλότητες κ και κ, πράγμα που θα απαιτούσε τη γνώση της μεταβολής του κάθετου διανύσματος N. Αυτό σημαίνει ότι, για παράδειγμα, με γνώση μόνο της καμπυλότητας Gauss δεν μπορεί να διακρίνει αν βρίσκεται σε έναν κύλινδρο κ 0, κ r ή σε ένα επίπεδο κ 0, κ 0, αφού οι δύο αυτές επιφάνειες έχουν την ίδια πρώτη θεμελιώδη μορφή και K 0. Πόρισμα 7.. Αν δύο επιφάνειες είναι τοπικά ισομετρικές, τότε οι αντίστοιχες καμπυλότητες Gauss είναι ίσες. Παράδειγμα 7.3. Εστω X : R R + M μια παραμέτρηση μιας επιφάνεια M με θεμελιώδη ποσά πρώτης τάξης Eu, v Gu, v v και F u, v 0. Τότε η επιφάνεια M δεν είναι δυνατόν να είναι τοπικά ισομετρική με μια σφαίρα. Πράγματι, από την σχέση 7.8 παίρνουμε ότι Γ 0, Γ v, Γ v, Γ 0, Γ 0, Γ. Από το Θαυμαστό Θεώρημα θα είναι: v K G Γ u Γ v + s Γ s Γ s Γ s Γ s v 3. Άρα η καμπυλότητα Gauss K δεν είναι σταθερή, οπότε από το προηγούμενο πόρισμα η επιφάνεια M δεν είναι δυνατόν να είναι τοπικά ισομετρική με σφαίρα. Οι εξισώσεις Codazzi μαζί με οποιαδήποτε από τις εξισώσεις Gauss ονομάζονται εξισώσεις συμβατότητας της θεωρίας επιφανειών. Ενα ερώτημα είναι κατά πόσον υπάρχουν και άλλες εξισώσεις συμβατότητας μεταξύ των θεμελιωδών ποσών πρώτης και δεύτερης τάξης για μια επιφάνεια εκτός από τις παραπάνω. Η απάντηση είναι αρνητική. Με άλλα λόγια, διαδοχικές παραγωγίσεις ή άλλες πράξεις δεν είναι δυνατόν να δώσουν επιπλέον σχέσεις μεταξύ των συναρτήσεων E, F, G, e, f, g και των παραγώγων τους. Το παρακάτω θεώρημα δίνει ακριβώς την απάντηση. Θεώρημα 7.. Bonnet Εστω E, F, G, e, f, g : V R R διαφορίσιμες συναρτήσεις στο ανοικτό σύνολο V με E > 0 και G > 0. Υποθέτουμε ότι οι συναρτήσεις αυτές ικανοποιούν τις εξισώσεις Codazzi και Gauss μία από αυτές και ότι EG F > 0. Τότε για κάθε q V υπάρχει ανοικτό U V με q U και αμφιδιαφόριση X : U XU R 3, τέτοια ώστε η κανονική επιφάνεια XU R 3 να έχει τις συναρτήσεις E, F, G, e, f και g ως τα θεμελιώδη ποσά πρώτης και δεύτερης τάξης. Στην περίπτωση που το U είναι συνεκτικό, η αμφιδιαφόριση X είναι μοναδική, μη λαμβάνοντας υπόψη στερεές κινήσεις του R 3. Ουσιαστικά το θεώρημα αυτό είναι ανάλογο της θεωρίας καμπυλών, διότι μας εξασφαλίζει την ύπαρξη επιφάνειας με δεδομένα τα θεμελιώδη ποσά πρώτης και δεύτερης τάξης. Η απόδειξη δεν είναι ιδιαίτερα απλή. Χρειαζόμαστε αποτελέσματα θεωρίας διαφορικών εξισώσεων με μερικές παραγώγους βλ. [], [3]

8 8 Οι εξισώσεις Codazzi και Gauss Οι εξισώσεις Coodazzi και Gauss είναι ιδαίτερα δύσκολες στη χρήση τους στη γενική τους μορφή, αλλά κάποιες ειδικές περιπτώσεις έχουν ενδιαφέρουσες εφαρμογές και ταυτόχρονα αναδεικνύουν την αξία τους. Παρακάτω θα παρουσιάσουμε κάποιες από αυτές. Θυμίζουμε πρώτα κάποιους ορισμούς. Ορισμός 7.. Εστω M R 3 μια προσανατολισμένη επιφάνεια με απεικόνιση Gauss N : M S. Μια γραμμή καμπυλότητας line of curvature στην M είναι μια καμπύλη γ : I M, τέτοια ώστε το διάνυσμα γ t να είναι πάντα μια κύρια διεύθυνση. Ορισμός 7.. Εστω X : U R M μια τοπική παραμέτρηση μιας επιφάνειας M και u, v οι συντεταγμένες στο U. Μια u-καμπύλη αντίστοιχα v-καμπύλη στην M είναι μια καμπύλη της μορφής u Xu, v 0 αντίστοιχα v Xu 0, v. Αν τώρα οι μεταβλητές u, v παίρνουν όλες τις τιμές στο U, τότε ορίζεται ένα πλέγμα επιφανειακών καμπύλων στην M που την καλύπτουν. Το πλέγμα αυτό ονομάζεται γραμμές συντεταγμένων coordinate lines της M. Το ερώτημα είναι πότε οι γραμμές συντεταγμένων είναι γραμμές καμπυλότητας. Ισχύει το εξής: Πρόταση 7.. Εστω X : U M R 3 μια τοπική παραμέτρηση μιας κανονικής επιφάνειας M και έστω ότι το σύνολο XU δεν περιέχει ομφαλικά σημεία δηλαδή με ίσες κύριες καμπυλότητες. Τότε μια γραμμή συντεταγμένων είναι και γραμμή καμπυλότητας εάν και μόνο εάν ισχύει F f 0. Απόδειξη. Το γεγονός ότι οι γραμμές συντεταγμένων είναι γραμμές καμπυλότητας ισοδυναμεί με το ότι οι διευθύνσεις των γραμμών συντεταγμένων είναι πάντα κύριες διευθύνσεις. Αυτό με τη σειρά του ισοδυναμεί με το ότι ο πίνακας A του τελεστή σχήματος ως προς τη βάση {X u, X v } είναι πάντα διαγώνιος. Λαμβάνοντας τώρα υπόψη την έκφραση, προκύπτει ότι αν F f 0, τότε ο πίνακας A είναι διαγώνιος, άρα οι γραμμές συντεταγμένων είναι γραμμές καμπυλότητας. Αντίστροφα, υποθέτουμε ότι οι γραμμές συντεταγμένων είναι γραμμές καμπυλότητας. Αυτό σημαίνει ότι τα διανύσματα X u, X v είναι κύριες διευθύνσεις. Επειδή δεν υπάρχουν ομφαλικά σημεία, τα διανύσματα X u, X v είναι κάθετα, άρα F X u, X v 0. Συνεπώς, τα f εκτός διαγωνίου στοιχεία του πίνακα A στην έκφραση είναι G και f και επειδή αυτά πρέπει να είναι E μηδέν παίρνουμε ότι f 0. Σημειώστε ότι στα ομφαλικά σημεία όλες οι διευθύνσεις είναι κύριες διεθύνσεις, άρα σε αυτά οι γραμμές συντεταγμένων είναι πάντα γραμμές καμπυλότητας. Λήμμα 7.. Υποθέτουμε ότι X είναι μια παραμέτρηση, για την οποία οι γραμμές συντεταγμένων δηλαδή οι u-καμπύλες και οι v-καμπύλες είναι γραμμές καμπυλότητας με αντίστοιχες κύριες καμπυλότητες k και k. Τότε ισχύουν οι σχέσεις k v E v E k k και k u G u G k k. Απόδειξη. Λόγω της Πρότασης 7. είναι F 0 f. Τότε οι εξισώσεις Codazzi απλουστεύονται ως e v eγ gγ, g u gγ eγ. Λόγω του ότι F 0 οι σχέσεις 7.5, 7.6 και 7.7 δίνουν ότι Γ E v G, Γ E v G Γ G u E, Γ G u G.

9 Οι εξισώσεις Codazzi και Gauss 9 Συνεπώς, οι εξισώσεις Codazzi παίρνουν τη μορφή e v E v e E G + g, g u G u e E G + g 7.3 Λαμβάνοντας υπόψη τη μορφή του πίνακα του τελεστή σχήματος και ότι F 0 f, προκύπτει ότι k e E και k g G. Παραγωγίζοντας τις παραπάνω σχέσεις ως προς v και u αντίστοιχα και λαμβάνοντας υπόψη τις σχέσεις 7.3, προκύπτουν οι ζητούμενες σχέσεις. Ερχόμαστε τώρα στην πρώτη ενδιαφέρουσα εφαρμογή των εξισώσεων Codazzi, όπου K 0. Πρόταση 7.. Εστω M μια αναπτυκτή επιφάνεια δηλαδή K 0 χωρίς επίπεδα σημεία δηλαδή σημεία p όπου k p k p 0. Τότε η M είναι ένας γενικευμένος κύλινδρος, του οποίου το εφαπτόμενο επίπεδο παραμένει σταθερό κατά μήκος των γεννητόρων. Απόδειξη. Επειδή η M είναι επίπεδη και δεν περιέχει επίπεδα σημεία, μπορούμε να υποθέσουμε ότι k 0 και k 0 παντού. Συνεπώς, υπάρχει μια τοπική παραμέτρηση X της M, για την οποία οι γραμμές συντεταγμένων είναι γραμμές καμπυλότητας οι u-καμπύλες να αντιστοιχούν στην k και οι v-καμπύλες στην k. Αυτό δεν είναι εντελώς προφανές, ανάγεται σε θέμα διαφορικών εξισώσεων βλ. Shifrin σελ Αυτό σημαίνει ότι μπορούμε να επιλέξουμε την παραμέτρηση X, ώστε F f 0. Επειδή k 0, τότε για κάθε p M θα είναι S p X u 0, άρα N u 0 παντού. Συνεπώς, το διάνυσμα N θα είναι σταθερό κατά μήκος των u-καμπυλών. Επίσης, παρατηρούμε ότι e S p X u, X u 0. Θέλουμε τώρα να δείξουμε ότι οι u-καμπύλες είναι ουσιαστικά ευθείες. Επειδή k 0 παντού, θα είναι και k v 0 και δεδομένου ότι k k, λόγω του Λήμματος 7. προκύπτει ότι E v 0. Τότε η εξίσωση 7.5 δίνει ότι Γ 0, συνεπώς X uu Γ X u + Γ X v + en Γ X u, δηλαδή είναι παράλληλο του διανύσματος X u. Αυτό σημαίνει ότι το εφαπτόμενο διάνυσμα X u δεν αλλάζει διεύθυνση κατά μήκος των u-καμπύλων, άρα οι u-καμπύλες είναι ευθείες. Συνεπώς, η επιφάνεια είναι ένας γενικευμένος κύλινδρος, του οποίου το εφαπτόμενο επίπεδο παραμένει σταθερό κατά μήκος των γεννητόρων. Οι επίπεδοι γενικευμένοι κύλινδροι συχνά ονομάζονται και αναπτυκτές επιφάνειες developable surfaces. Το όνομα αυτό οφείλεται στο γεγονός ότι αυτές οι επιφάνειες μπορούν να απεικονιστούν ισομετρικά πάνω σε ένα επίπεδο. Δύο άλλες κατηγορίες αναπτυκτών επιφανειών είναι οι επιφάνειες που σχηματίζονται από τις εφαπτόμενες μιας καμπύλης του R 3 και οι κωνικές επιφάνειες. Στη συνέχεια, θα αποδείξουμε ένα ολικό αποτέλεσμα για συμπαγείς επιφάνειες. Θεώρημα 7.3. Liebmann Εστω M μια συμπαγής κανονική επιφάνεια με σταθερή καμπυλότητα Gauss K. Τότε K > 0 και η M θα είναι μια σφαίρα ακτίνας / K. Χρειαζόμαστε πρώτα το εξής:

10 0 Οι εξισώσεις Codazzi και Gauss Λήμμα 7.. Hilbert Εστω p ένα σημείο μιας επιφάνειας το οποίο δεν είναι ομφαλικό και ότι k p > k p. Υποθέτουμε ότι η k έχει τοπικό μέγιστο στο p και η k τοπικό ελάχιστο στο p. Τότε Kp 0. Απόδειξη. Επειδή k p k p, υπάρχει τοπική παραμέτρηση στο p, ώστε οι u-καμπύλες να είναι γραμμές καμπυλότητας με κύρια καμπυλότητα k και οι v-καμπύλες να είναι γραμμές καμπυλότητας με κύρια καμπυλότητα k. Επειδή k k και k v k u 0, στο σημείο p, από το Λήμμα. προκύπτει ότι E v G u 0 στο p. Παραγωγίζοντας τις σχέσεις και λαμβάνοντας υπόψη ότι k u k v 0, προκύπτει ότι στο σημείο p ισχύουν οι σχέσεις k vv E vv E k k 0 επειδή k p τοπικό μέγιστο k uu G uu E k k 0 επειδή k p τοπικό ελάχιστο, συνεπώς E vv 0 και G uu 0 στο p. Χρησιμοποιώντας τον τύπο για την καμπυλότητα Gauss, από την Άσκηση προκύπτει ότι KEG E vv + G uu + αu, ve v + βu, vg u για κάποιες συναρτήσεις αu, v, βu, v, συνεπώς Kp 0. Απόδειξη. του Θεωρήματος.3. Επειδή η M είναι συμπαγής, υπάρχει ένα σημείο με θετική καμπυλότητα Gauss και επειδή από υπόθεση αυτή είναι σταθερή στην M, τότε θα είναι K > 0, άρα αποδείχτηκε το πρώτο μέρος του θεωρήματος. Εάν όλα τα σημεία της M είναι ομφαλικά, τότε η M είναι μια σφαίρα. Εάν υπάρχει τουλάχιστον ένα μη ομφαλικό σημείο, τότε επειδή η M είναι συμπαγής, η μεγαλύτερη κύρια καμπυλότητα k λαμβάνει μέγιστη τιμή σε κάποιο p M. Επειδή η K k k είναι σταθερή, η συνάρτηση k K/k πρέπει να λαμβάνει ελάχιστη τιμή στο σημείο p. Δεδομένου ότι το σημείο p δεν μπορεί να είναι ομφαλικό, γιατί; τότε λόγω του Λήμματος 7. θα είναι Kp 0, πράγμα άτοπο. Άσκηση 3. Αποδείξτε ότι αν M είναι μια συμπαγής και συνεκτική προσανατολισμένη επιφάνεια με K > 0 και H σταθερή, τότε η M είναι μια σφαίρα ακτίνας / K. Υπόδειξη. Θεωρήστε τη συνάρτηση H K k k /4 και έστω p M ένα σημείο μεγίστου. Εξετάστε τις περιπτώσεις H Kp 0 και H Kp > 0 και χρησιμοποιείστε το Θεώρημα Liebmann και το Λήμμα του Hilbert αντίστοιχα. 7. Λυμένα παραδείγματα Παράδειγμα 7.4. Αν ϕ είναι η γωνία των παραμετρικών γραμμών u σταθερό, v σταθερό, της επιφάνειας M, τότε ισχύουν οι σχέσεις ϕ u N E Γ N G Γ, ϕ v N E Γ N G Γ, όπου N EG F. Λύση

11 Λυμένα παραδείγματα Είναι γνωστό ότι η γωνία των παραμετρικών γραμμών u σταθερό και v σταθερό δίνεται από την σχέση Παραγωγίζουμε την σχέση αυτή ως προς u: cos ϕ F EG. 7.4 sin ϕ cos ϕ ϕ u ϕ u F u EG F u EG EG F u EG F E u G + EG u EG EG και αν λάβουμε υπόψη μας την 7.4, έχουμε ή ακόμη F EG ϕ EGF u F E u G + EG u u EG EG Αλλά το δεύτερο μέρος της προς απόδειξη σχέσης γράφεται ϕ u EGF u F GE u EF G u. 7.5 EGN N E Γ N G Γ NGΓ + NEΓ EG και αν λάβουμε υπόψη μας τις σχέσεις 7.5, 7.6, 7.6, έχουμε NG F E u + EF u EE v N E Γ N G Γ EG F EG + NE GE v F G u EG F EGF u F GE u EF G u. 7.6 EGN Αν τώρα συγκρίνουμε τα δεύτερα μέλη των 7.5 και 7.6, βλέπουμε πως είναι ίσα, επομένως θα είναι ίσα και τα πρώτα και άρα η σχέση έχει αποδειχθεί. Για την σχέση εργαζόμαστε ανάλογα. Παράδειγμα 7.5. Αν N Nu, v είναι το μέτρο του κάθετου διανυσματικού πεδίου της επιφάνειας M με τοπική παραμέτρηση X : U R M, τότε ισχύουν οι ακόλουθες σχέσεις u ln N Γ + Γ v ln N Γ + Γ. Λύση Γνωρίζουμε ότι N Nu, v EG F 7.7

12 Οι εξισώσεις Codazzi και Gauss όπου E, F και G είναι τα θεμελιώδη ποσά πρώτης τάξης της επιφάνειας M. Το πρώτο μέρος της προς απόδειξη σχέσης λόγω της 7.7 γράφεται u ln N u EG F EG F u EG F EG F EG F u EG F EG F GE u + EG u F F u GEu EG F F F u + F E v + EG u F E v GE u F F u + F E v EG F Γ + Γ. Εργαζόμαστε όπως και στην προηγούμενη περίπτωση. + EG u F E v EG F Παράδειγμα 7.6. Δίνεται η τετραγωνική μορφή A du + cos udv. Να εξετασθεί εαν υπάρχει επιφάνεια του R 3 για την οποία ισχύει η σχέση I II A. Σε καταφατική περίπτωση να βρεθεί μια τοπική παραμέτρηση αυτής. Λύση Εφόσον I A, θα είναι E, F 0, G cos u. 7.8 Επίσης από την σχέση II A έπεται ότι e, f 0, g cos u. 7.9 Παρατηρούμε λοιπόν ότι E > 0, G > 0, EG F cos u > Για να υπάρχει επιφάνεια που να έχει ως θεμελιώδη ποσά τις συναρτήσεις που δίνονται από τις 7.8 και 7.9, θα πρέπει επιπλέον να ικανοποιείται η θεμελιώδης εξίσωση του Gauss και οι εξισώσεις Codazzi. Θα δείξουμε πρώτα το Θεώρημα Egregium. Κατ αρχάς είναι Ομως K eg f. 7. EG F K G + G EG u E u v E v cos u u sin u + v cos u Άρα ισχύει το θεώρημα Egregium. Θα εξετάσουμε τώρα την ισχύ των εξισώσεων Codazzi. Αφού όμως F f 0, αρκεί να δειχθούν οι εξισώσεις αυτές στη μορφή e v E v e E G + g, g u G u e E G + g. 7.3

13 Ασκήσεις 3 Αλλά από τις 7.8 και 7.9 είναι προφανές ότι e v E v 0 και επομένως η πρώτη εκ των σχέσεων είναι αληθής. Επίσης οπότε g u sin u cos u, G u sin u cos u, G u e E G + g sin u cos u g u e E + g G + cos u cos u, και έτσι αποδεικνύεται και η ισχύς της δεύτερης των συνθηκών Codazzi. Επομένως, σύμφωνα με το Θεώρημα 7. του Bonnet, υπάρχει επιφάνεια του τρισδιάστατου χώρου και μάλιστα μοναδική ως προς το σχήμα που έχει τη δοθείσα τετραγωνική μορφή, ως πρώτη και δεύτερη μορφή αντίστοιχα. Σχετικά με το δεύτερο μέρος του ερωτήματος, έστω X : U R M μια τοπική παραμέτρηση της ζητούμενης επιφάνειας για την οποία ισχύουν E X u, X u, F 0 X u, X v, G cos u X v, X v. Από τις δύο τελευταίες σχέσεις μπορούμε να υποθέσουμε ότι Ως εκ τούτου η σχέση E παίρνει τη μορφή και η σχέση G cos u τη μορφή fu cos u, άρα είναι Εύκολα όμως από την 7.4 προκύπτει ότι Xu, v fu cos v, fu sin v, hu. 7.4 f u + h u 7.5 fu ± cos u. 7.6 e ff h f h f f + h, f 0, g f h f f + h 7.7 και λόγω των σχέσεων 7.9 οι εξισώσεις αυτές ισοδύναμα γράφονται ως εξής f h f h, hh cos u. 7.8 Πράγματι, από την 7.5 συνεπάγεται ότι h u cos u, οπότε hu ± sin u. 7.9 Η πρώτη εκ των 7.8, λόγω των 7.6 και 7.9 γίνεται f h f h ± sin u± sin u ± cos u± cos u sin + cos u 7.30 και η δεύτερη fh cos u. Οι ζητούμενες λοιπόν συναρτήσεις fu και hu ορίζονται από τις σχέσεις 7.6 και 7.9 και επομένως η ζητούμενη τελικά επιφάνεια θα ορίζεται από την ακόλουθη παραμέτρηση Xu, v cos u sin v, cos u sin v, sin u.

14 4 Οι εξισώσεις Codazzi και Gauss 7. Ασκήσεις. Για την επιφάνεια εκ περιστροφής Xu, v fv cos u, fv sin u, gv, fv 0 να αποδειχθεί ότι Γ Γ 0, Γ f Γ ff f + g f, Γ f f + g g f + g.. Δίνεται η επιφάνεια M με εξίσωση z zx, y. Εστω p z x, q z y, r z xx, s z xy, t z yy και N EG F. Να αποδειχθεί ότι ισχύουν οι σχέσεις Γ pr N, 4 Γ pr N, Γ ps N, 5 Γ ps N, 3 Γ pt N 6 Γ pt N 3. Δίνεται η τετραγωνική μορφή A du + sin udv. Να εξετασθεί εάν υπάρχει επιφάνεια του R 3, για την οποία I II A. 4. Να εξετασθεί εάν υπάρχει επιφάνεια της οποίας τα θεμελιώδη ποσά να είναι E + u, F uv, G + v e + u + v /, f 0, g + u + v /. 5. Να βρεθεί η επιφάνεια του R 3 της οποίας τα θεμελιώδη ποσά είναι E G, F 0, e, f g Δείξτε ότι δεν υπάρχει τμήμα επιφάνειας του οποίου η πρώτη και η δεύτερη θεμελιώδης μορφή είναι η αντίστοιχα. du + cos udv και cos udu + dv 7. Αποδείξτε ότι τα σύμβολα του Cristoffel δίνονται από τον παρακάτω τύπο Γ k ij l g kl gil + g lj g ij, x j x i x l όπου g E, g F, g G και ο g ij είναι ο αντίστροφος του πίνακα g ij.

15 Βιβλιογραφία [] M. Abate and F. Torena, Curves and Surfaces, Springer 0. [] C. Bär, Elementary Differential Geometry, Cambridge Univ. Press 00. [3] M. P. do Carmo, Differential Geometry of Curves and Surfaces, Prentice-Hall 976. [4] K. F. Gauss, Disqusitiones generales circa suporhcies curves, Comm. Soc. Göttingen Bd 6, [5] J. E. Marsden and M. J. Tromba, Vector Calculus, 6th ed., Macmillan Higher Edition, 0. Μετάφραση 3 ης εκδ. Διανυσματικός Λογισμός, Πανεπιστημιακές Εκδόσεις Κρήτης, 99. [6] J. Oprea, Differential Geometry and Its Applications, The Mathematical Assocation of America, 007. [7] Β. Ι. Παπαντωνίου, Διαφορική Γεωμετρία, Εκδ. Πανεπιστ. Πατρών, Πάτρα, 03. [8] A. Pressley, Elementary Differential Geometry, Second Edition, Springer 00. Μετάφραση: Στοιχειώδης Διαφορική Γεωμετρία, Πανεπιστημιακές Εκδόσεις Κρήτης, Κρήτη 0. 5