Μέση καμπυλότητα

Στα μαθηματικά, η **μέση καμπυλότητα** H μιας επιφάνειας S είναι ένα εξωγενές μέτρο καμπυλότητας που προέρχεται από τη διαφορική γεωμετρία και περιγράφει τοπικά την καμπυλότητα μιας ενσωματωμένης επιφάνειας σε κάποιο περιβάλλοντα χώρο, όπως ο ευκλείδειος χώρος. 

Η έννοια χρησιμοποιήθηκε από τη Σοφί Ζερμαίν στο έργο της για τη θεωρία της ελαστικότητας. Ο Ζαν Μπατίστ Μαρί Μενιέ τη χρησιμοποίησε το 1776, στις μελέτες του για τις ελάχιστες επιφάνειες. Είναι σημαντική στην ανάλυση των ελάχιστων επιφανειών, οι οποίες έχουν μέση καμπυλότητα μηδέν, και στην ανάλυση των φυσικών διεπιφανειών μεταξύ ρευστών (όπως οι μεμβράνες σαπουνιού), οι οποίες, επί παραδείγματι έχουν σταθερή μέση καμπυλότητα σε στατικές ροές, μέσω της εξίσωσης Γιουνγκ-Λαπλάς.

## Ορισμός
Έστω p ένα σημείο της επιφάνειας S μέσα στον τρισδιάστατο ευκλείδειο χώρο . Κάθε επίπεδο που διέρχεται από το p και περιέχει την κανονική ευθεία στο S κόβει το S σε μια (επίπεδη) καμπύλη. Ο καθορισμός μιας επιλογής της μοναδιαίας κανονικής δίνει μια προσημασμένη καμπυλότητα στην καμπύλη αυτή. Καθώς το επίπεδο περιστρέφεται κατά γωνία \theta (που περιέχει πάντα την κανονική γραμμή), η καμπυλότητα αυτή μπορεί να μεταβάλλεται. Η μέγιστη καμπυλότητα \kappa_1 και η ελάχιστη καμπυλότητα \kappa_2 είναι γνωστές ως “'κύριες καμπυλότητες”' του S.

Η **μέση καμπυλότητα** στο p\in S είναι τότε ο μέσος όρος της προσημασμένης καμπυλότητας σε όλες τις γωνίες \theta:

:H = \frac{1}{2\pi}\int_0^{2\pi} \kappa(\theta) \;d\theta.

Εφαρμόζοντας το θεώρημα του Όιλερ, αυτό είναι ίσο με το μέσο όρο των κύριων καμπυλοτήτων
\theta:

:H = {1 \over 2} (\kappa_1 + \kappa_2).

Γενικότερα , για μια υπερεπιφάνεια T η μέση καμπυλότητα δίνεται ως εξής

:H=\frac{1}{n}\sum_{i=1}^{n} \kappa_{i}.

Πιο αφηρημένα, η μέση καμπυλότητα είναι το ίχνος της δεύτερης θεμελιώδους μορφής διαιρεμένο με *n* (ή ισοδύναμα, ο τελεστής σχήματος).

Επιπλέον, η μέση καμπυλότητα H μπορεί να γραφεί ως προς τη συναλλοίωτη  παράγωγο \nabla ως εξής

:H\vec{n} = g^{ij}\nabla_i\nabla_j X,

χρησιμοποιώντας τις *σχέσεις Γκάους-Βέινγκαρτεν,* όπου  X(x)  είναι μια ομαλά ενσωματωμένη υπερεπιφάνεια, \vec{n} ένα μοναδιαίο κανονικό διάνυσμα και g_{ij} ο μετρικός τανυστής.

Μια επιφάνεια είναι ελάχιστη επιφάνεια αν και μόνο αν η μέση καμπυλότητα είναι μηδέν. Επιπλέον, μια επιφάνεια η οποία εξελίσσεται κάτω από τη μέση καμπυλότητα της επιφάνειας  S, λέγεται ότι υπακούει σε μια εξίσωση θερμότητας που ονομάζεται εξίσωση ροής μέσης καμπυλότητας.

Η σφαίρα είναι η μόνη ενσωματωμένη επιφάνεια σταθερής θετικής μέσης καμπυλότητας χωρίς όρια ή ιδιομορφίες. Ωστόσο, το αποτέλεσμα δεν ισχύει όταν η συνθήκη «ενσωματωμένη επιφάνεια» αποδυναμώνεται σε «βυθισμένη επιφάνεια».

### Επιφάνειες στον τρισδιάστατο χώρο
Για μια επιφάνεια που ορίζεται στον τρισδιάστατο χώρο, η μέση καμπυλότητα σχετίζεται με μια μοναδιαία κανονική της επιφάνειας:

:2 H = -\nabla \cdot \hat n

όπου η κανονική που επιλέγεται επηρεάζει το πρόσημο της καμπυλότητας. Το πρόσημο της καμπυλότητας εξαρτάται από την επιλογή της κανονικής: η καμπυλότητα είναι θετική αν η επιφάνεια καμπυλώνει «προς» την κανονική. Ο παραπάνω τύπος ισχύει για επιφάνειες στον τρισδιάστατο χώρο που ορίζονται με οποιονδήποτε τρόπο, εφόσον μπορεί να υπολογιστεί η απόκλιση της μοναδιαίας κανονικής. Η μέση καμπυλότητα μπορεί επίσης να υπολογιστεί

: 2 H = \text{Trace}((\mathrm{II})(\mathrm{I}^{-1}))

όπου I και II συμβολίζουν τον πρώτο και τον δεύτερο πίνακα τετραγωνικής μορφής, αντίστοιχα.

Αν S(x,y) είναι μια παραμετροποίηση της επιφάνειας και u, v είναι δύο γραμμικά ανεξάρτητα διανύσματα στο χώρο των παραμέτρων, τότε η μέση καμπυλότητα μπορεί να γραφεί ως προς την πρώτη και τη δεύτερη θεμελιώδη μορφή ως εξής

\frac{l G-2 m F + n E}{2 ( E G - F^2)}

όπου E = \mathrm{I}(u,u), F = \mathrm{I}(u,v), G = \mathrm{I}(v,v), l = \mathrm{II}(u,u), m = \mathrm{II}(u,v), n = \mathrm{II}(v,v).

Για την ειδική περίπτωση μιας επιφάνειας που ορίζεται ως συνάρτηση δύο συντεταγμένων, π.χ. z = S(x, y), και χρησιμοποιώντας την προς τα πάνω κανονική, η (διπλασιασμένη) έκφραση της μέσης καμπυλότητας είναι

:\begin{align}
2 H & = -\nabla \cdot \left(\frac{\nabla(z-S)}\right) \\
& = \nabla \cdot \left(\frac{\nabla S-\nabla z}
{\sqrt{1 + |\nabla S|^2}}\right) \\
& = 
\frac{
\left(1 + \left(\frac{\partial S}{\partial x}\right)^2\right) \frac{\partial^2 S}{\partial y^2} - 
2 \frac{\partial S}{\partial x} \frac{\partial S}{\partial y} \frac{\partial^2 S}{\partial x \partial y} + 
\left(1 + \left(\frac{\partial S}{\partial y}\right)^2\right) \frac{\partial^2 S}{\partial x^2}
}{\left(1 + \left(\frac{\partial S}{\partial x}\right)^2 + \left(\frac{\partial S}{\partial y}\right)^2\right)^{3/2}}.
\end{align}


Συγκεκριμένα, σε ένα σημείο όπου \nabla S=0, η μέση καμπυλότητα είναι το μισό του ίχνους του πίνακα Εσιάν του S.

Εάν η επιφάνεια είναι επιπλέον γνωστό ότι είναι αξονοσυμμετρική με z = S(r),

:2 H = \frac{\frac{\partial^2 S}{\partial r^2}}{\left(1 + \left(\frac{\partial S}{\partial r}\right)^2\right)^{3/2}} + {\frac{\partial S}{\partial r}}\frac{1}{r \left(1 + \left(\frac{\partial S}{\partial r}\right)^2\right)^{1/2}},

όπου {\frac{\partial S}{\partial r}} \frac{1}{r} προέρχεται από την παράγωγο της z = S(r) = S\left(\sqrt{x^2 + y^2} \right).

### Πεπλεγμένη  μορφή της μέσης καμπυλότητας

Η μέση καμπυλότητα μιας επιφάνειας που καθορίζεται από μια εξίσωση F(x,y,z)=0 μπορεί να υπολογιστεί χρησιμοποιώντας την κλίση  \nabla F=\left( \frac{\partial F}{\partial x}, \frac{\partial F}{\partial y}, \frac{\partial F}{\partial z} \right) και ο πίνακας Εσιάν
:\textstyle \mbox{Hess}(F)=
\begin{pmatrix}
\frac{\partial^2 F}{\partial x^2} & \frac{\partial^2 F}{\partial x\partial y} & \frac{\partial^2 F}{\partial x\partial z} \\
\frac{\partial^2 F}{\partial y\partial x} & \frac{\partial^2 F}{\partial y^2} & \frac{\partial^2 F}{\partial y\partial z}  \\
\frac{\partial^2 F}{\partial z\partial x} & \frac{\partial^2 F}{\partial z\partial y} & \frac{\partial^2 F}{\partial z^2}  
\end{pmatrix}
.


Η μέση καμπυλότητα δίνεται από τη σχέση:

:H = \frac{ \nabla F\  \mbox{Hess}(F) \ \nabla F^{\mathsf {T}} - |\nabla F|^2\, \text{Trace}(\mbox{Hess}(F)) } { 2|\nabla F|^3 }

Μια άλλη μορφή είναι η απόκλιση της μοναδιαίας κάθετης. Μια μοναδιαία κάθετη δίνεται από τη σχέση \frac{\nabla F} και η μέση καμπυλότητα είναι

:H = -{\frac{1}{2}}\nabla\cdot \left(\frac{\nabla F}\right).

## Στη μηχανική των ρευστών

Ένας εναλλακτικός ορισμός χρησιμοποιείται περιστασιακά στη μηχανική των ρευστών για την αποφυγή παραγόντων του δύο:

:H_f = (\kappa_1 + \kappa_2) \,.

Αυτό έχει ως αποτέλεσμα η πίεση σύμφωνα με την εξίσωση Γιουνγκ-Λαπλάς στο εσωτερικό ενός σφαιρικού σταγονιδίου ισορροπίας να είναι επιφανειακή τάση επί H_f- οι δύο καμπυλότητες είναι ίσες με το αντίστροφο της ακτίνας του σταγονιδίου.

:\kappa_1 = \kappa_2 = r^{-1} \,.

## Ελάχιστες επιφάνειες
Μια “'ελάχιστη επιφάνεια'” είναι μια επιφάνεια που έχει μηδενική μέση καμπυλότητα σε όλα τα σημεία. Κλασικά παραδείγματα είναι το αλυσοειδές, το ελικοειδές και η επιφάνεια Ένεπερ. Πρόσφατες ανακαλύψεις περιλαμβάνουν την ελάχιστη επιφάνεια του Κόστα και το Γυροειδές.

### Επιφάνειες CMC

Μια επέκταση της ιδέας της ελάχιστης επιφάνειας είναι οι επιφάνειες σταθερής μέσης καμπυλότητας. Οι επιφάνειες μοναδιαίας σταθερής μέσης καμπυλότητας στον υπερβολικό χώρο ονομάζονται επιφάνειες Μπράιαντ.

## Εξωτερικοί σύνδεσμοι
*English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
*Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
* Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
* Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
* Θεωρία Αριθμών και Εφαρμογές
* Υπολογιστική Θεωρία Αριθμών
* Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
* Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
*  Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή
* Wolfram Mathematica Online Integrator
*  A Table of Integrals of the Error Functions

## Δείτε επίσης
* Απαγορευτική αρχή του Πάουλι
* Τριγωνομετρική συνάρτηση
* Βαθμωτό πεδίο
* Αλγεβρική θεωρία αριθμών
* Άρθουρ Στάνλεϋ Έντινγκτον
* Μοναδιαία βηματική συνάρτηση
* Σουμπραμανιάν Τσαντρασεκάρ
* Ευκλείδειος χώρος
* Υπερβολική γεωμετρία
* Κατάλογοι ολοκληρωμάτων
* Εφαρμοσμένα μαθηματικά
* Υπολογιστική ρευστοδυναμική
* Καμπυλότητα Γκάους
* Καρτεσιανό σύστημα συντεταγμένων
* Θεμελιώδες θεώρημα αριθμητικής
* Αλγεβρική γεωμετρία
* Μιγαδικός αριθμός
* Συνήθης διαφορική εξίσωση
* Γραμμική απεικόνιση

## Βιβλιογραφία
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## Παραπομπές

*.
*
* Harris, Joe (1992). Algebraic Geometry Springer. ISBN 978-1-4419-3099-6.
* Albrecht, Gudrun (2002). «The Veronese surface revisited». Journal of Geometry. Vol. 73 (Num. 1-2): 22-38. ISSN 0047-2468. doi:10.1007/s00022-002-8583-7.
*
*
*
* .
* 
* . Review: Séquin, Carlo H. (2009), *Journal of Mathematics and the Arts* 3: 229–230, 
* 
*Temme, N. M. (2010), "Exponential, Logarithmic, Sine, and Cosine Integrals", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248.

Κατηγορία:Θεωρήματα στην ανάλυση
Κατηγορία:Εμβαδόν
Κατηγορία:Επιφάνειες
Κατηγορία:Υπερβολική γεωμετρία
Κατηγορία:Θεωρήματα της μιγαδικής ανάλυσης