Θεώρημα του Γκριν

Στον διανυσματικό λογισμό, το θεώρημα του Γκριν συνδέει ένα ευθύγραμμο ολοκλήρωμα γύρω από μια απλή κλειστή καμπύλη C με ένα διπλό ολοκλήρωμα πάνω από την επίπεδη περιοχή D (επιφάνεια στο $\mathbb {R} ^{2}$) που οριοθετείται από το C. Πρόκειται για τη δισδιάστατη ειδική περίπτωση του θεωρήματος του Στόκες (επιφάνεια στο $\mathbb {R} ^{3}$). Σε μία διάσταση, είναι ισοδύναμο με το θεμελιώδες θεώρημα του λογισμού. Σε τρεις διαστάσεις, είναι ισοδύναμο με το θεώρημα της απόκλισης.

Θεώρημα

Έστω C μια θετικά προσανατολισμένη, τεμαχισμένη λεία, απλή κλειστή καμπύλη σε ένα επίπεδο, και έστω D η περιοχή που οριοθετείται από την C. Αν L και M είναι συναρτήσεις της (x, y) που ορίζονται σε μια ανοικτή περιοχή που περιέχει D και έχουν συνεχείς μερικές παραγώγους εκεί, τότε

$\oint _{C}(L\,dx+M\,dy)=\iint _{D}\left({\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}\right)dA$

όπου η πορεία ολοκλήρωσης κατά μήκος του C είναι αριστερόστροφη

Εφαρμογή

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

Απόδειξη όταν η D είναι μια απλή περιοχή

Αν το D είναι ένας απλός τύπος περιοχής με το σύνορό του να αποτελείται από τις καμπύλες C₁, C₂, C₃, C₄,μπορεί να αποδειχθεί το μισό θεώρημα του Γκριν.

Ακολουθεί η απόδειξη του μισού θεωρήματος για την απλουστευμένη περιοχή D, μια περιοχή τύπου Ι όπου οι C₁ και C₃ είναι καμπύλες που συνδέονται με κάθετες γραμμές (ενδεχομένως μηδενικού μήκους). Παρόμοια απόδειξη υπάρχει και για το άλλο μισό του θεωρήματος όταν η D είναι περιοχή τύπου ΙΙ όπου οι C₂ και C₄ είναι καμπύλες που συνδέονται με οριζόντιες γραμμές (και πάλι, ενδεχομένως μηδενικού μήκους). Συνδυάζοντας αυτά τα δύο μέρη, το θεώρημα αποδεικνύεται έτσι για περιοχές τύπου ΙΙΙ (που ορίζονται ως περιοχές που είναι και τύπου Ι και τύπου ΙΙ). Η γενική περίπτωση μπορεί στη συνέχεια να συναχθεί από αυτή την ειδική περίπτωση με τη διάσπαση του D σε ένα σύνολο περιοχών τύπου ΙΙΙ.

Εάν μπορεί να αποδειχθεί ότι

$\oint _{C}L\,dx=\iint _{D}\left(-{\frac {\partial L}{\partial y}}\right)dA$

(1)

και

$\oint _{C}\ M\,dy=\iint _{D}\left({\frac {\partial M}{\partial x}}\right)dA$

(2)

είναι αληθείς, τότε το θεώρημα του Γκριν προκύπτει αμέσως για την περιοχή D. Μπορούμε να αποδείξουμε εύκολα την (1) για περιοχές τύπου I, και την (2) για περιοχές τύπου II. Το θεώρημα του Γκριν προκύπτει στη συνέχεια για τις περιοχές του τύπου ΙΙΙ.

Ας υποθέσουμε ότι η περιοχή D είναι μια περιοχή τύπου Ι και μπορεί συνεπώς να χαρακτηριστεί, όπως απεικονίζεται στα δεξιά, ως εξής

$D=\{(x,y)\mid a\leq x\leq b,g_{1}(x)\leq y\leq g_{2}(x)\}$

όπου g₁ και g₂ είναι συνεχείς συναρτήσεις επί [a, b]. υπολογίζουμε το διπλό ολοκλήρωμα στο (1):

${\begin{aligned}\iint _{D}{\frac {\partial L}{\partial y}}\,dA&=\int _{a}^{b}\,\int _{g_{1}(x)}^{g_{2}(x)}{\frac {\partial L}{\partial y}}(x,y)\,dy\,dx\\&=\int _{a}^{b}\left[L(x,g_{2}(x))-L(x,g_{1}(x))\right]\,dx.\end{aligned}}$

(3)

Υπολογίζουμε τώρα το ευθύγραμμο ολοκλήρωμα στο (1). Η C μπορεί να ξαναγραφεί ως ένωση τεσσάρων καμπυλών: C₁, C₂, C₃, C₄.

Με τη C₁, χρησιμοποιήστε τις παραμετρικές εξισώσεις: x = x, y = g₁(x), a ≤ x ≤ b. Τότε

$\int _{C_{1}}L(x,y)\,dx=\int _{a}^{b}L(x,g_{1}(x))\,dx.$

Με C₃ χρησιμοποιούμε τις παραμετρικές εξισώσεις: x = x, y = g₂(x), a ≤ x ≤ b. Τότε

$\int _{C_{3}}L(x,y)\,dx=-\int _{-C_{3}}L(x,y)\,dx=-\int _{a}^{b}L(x,g_{2}(x))\,dx.$

Το ολοκλήρωμα πάνω στο C₃ είναι αρνητικό, επειδή πηγαίνει προς την αρνητική κατεύθυνση από το b προς το a, καθώς το C είναι προσανατολισμένο θετικά (αριστερόστροφα). Στα C₂ και C₄, το x παραμένει σταθερό,

δηλαδή

${\begin{aligned}\oint _{C}L\,dx&=\int _{C_{1}}L(x,y)\,dx+\int _{C_{2}}L(x,y)\,dx+\int _{C_{3}}L(x,y)\,dx+\int _{C_{4}}L(x,y)\,dx\\&=\int _{a}^{b}L(x,g_{1}(x))\,dx-\int _{a}^{b}L(x,g_{2}(x))\,dx.\end{aligned}}$

(4)

Συνδυάζοντας την (3) με την (4), προκύπτει η (1) για τις περιοχές τύπου Ι. Μια παρόμοια επεξεργασία δίνει την (2) για τις περιοχές τύπου ΙΙ. Συνδυάζοντας τα δύο μαζί, παίρνουμε το αποτέλεσμα για τις περιοχές του τύπου ΙΙΙ.

Απόδειξη για ευθυγραμμίσιμες καμπύλες Ζορντάν

Σκοπός μας είναι να αποδειχθεί το εξής

Θεώρημα-Έστω $\Gamma$  μια ευθυγραμμίσιμη, θετικά προσανατολισμένη καμπύλη Ζορντάν στο $\mathbb {R} ^{2}$ και έστω $R$ που συμβολίζει την εσωτερική της περιοχή. Έστω ότι $A,B:{\overline {R}}\to \mathbb {R}$ είναι συνεχείς συναρτήσεις με την ιδιότητα ότι η $A$ έχει δεύτερη μερική παράγωγο σε κάθε σημείο της $R$, $B$ έχει πρώτη μερική παράγωγο σε κάθε σημείο της $R$ και ότι οι συναρτήσεις$D_{1}B,D_{2}A:R\to \mathbb {R}$ είναι ολοκληρώσιμες κατά Ρίμαν πάνω στο $R$. Τότε
$\int _{\Gamma }(A\,dx+B\,dy)=\int _{R}\left(D_{1}B(x,y)-D_{2}A(x,y)\right)\,d(x,y).$

Χρειάζονται τα ακόλουθα λήμματα των οποίων οι αποδείξεις μπορούν να βρεθούν στο:

Λήμμα 1 (Λήμμα αποσύνθεσης). Έστω ότι η $\Gamma$ είναι μια ευθυγραμμίσιμη, θετικά προσανατολισμένη καμπύλη Ζορντάν στο επίπεδο και έστω $R$ η εσωτερική της περιοχή. Για κάθε θετικό πραγματικό $\delta$, έστω ${\mathcal {F}}(\delta )$ η συλλογή των τετραγώνων στο επίπεδο που οριοθετείται από τις ευθείες $x=m\delta ,y=m\delta$, όπου $m$ διατρέχει το σύνολο των ακεραίων. Τότε, για αυτό το $\delta$, υπάρχει μια διάσπαση της ${\overline {R}}$ σε έναν πεπερασμένο αριθμό μη επικαλυπτόμενων υποπεριοχών κατά τέτοιο τρόπο ώστε

1. Κάθε μία από τις υπόλοιπες υποπεριοχές, ας πούμε $R$, ας πούμε $R_{1},R_{2},\ldots ,R_{k}$, είναι ένα τετράγωνο από${\mathcal {F}}(\delta )$.
2. Κάθε μία από τις υπόλοιπες υποπεριοχές, ας πούμε $R_{k+1},\ldots ,R_{s}$, έχει ως όριο μια ευθυγραμμίσιμη καμπύλη Ζορντάν που σχηματίζεται από πεπερασμένο αριθμό τόξων του $\Gamma$ και τμήματα των πλευρών κάποιου τετραγώνου από το ${\mathcal {F}}(\delta )$.
3. Κάθε μία από τις συνοριακές περιοχές $R_{k+1},\ldots ,R_{s}$ μπορεί να περικλείεται σε ένα τετράγωνο μήκους ακμής $2\delta$.
4. Εάν $\Gamma _{i}$ είναι η θετικά προσανατολισμένη συνοριακή καμπύλη της $R_{i}$, τότε $\Gamma =\Gamma _{1}+\Gamma _{2}+\cdots +\Gamma _{s}.$
5. Ο αριθμός $s-k$ των συνοριακών περιοχών δεν είναι μεγαλύτερος από ${\textstyle 4\!\left({\frac {\Lambda }{\delta }}+1\right)}$, όπου $\Lambda$ είναι το μήκος της $\Gamma$.

Λήμμα 2-Έστω $\Gamma$ μια ευθυγραμμίσιμη καμπύλη στο επίπεδο και έστω $\Delta _{\Gamma }(h)$ το σύνολο των σημείων στο επίπεδο των οποίων η απόσταση από (το εύρος της) $\Gamma$ είναι το πολύ $h$. Το εξωτερικό περιεχόμενο Ζορντάν αυτού του συνόλου ικανοποιεί ${\overline {c}}\,\,\Delta _{\Gamma }(h)\leq 2h\Lambda +\pi h^{2}$.

Lemma 3. Έστω $\Gamma$μια ευθυγραμμίσιμη καμπύλη στο $\mathbb {R} ^{2}$ και έστω $f:{\text{range of }}\Gamma \to \mathbb {R}$ είναι μια συνεχής συνάρτηση. Τότε

$\left\vert \int _{\Gamma }f(x,y)\,dy\right\vert \leq {\frac {1}{2}}\Lambda \Omega _{f},$ και $\left\vert \int _{\Gamma }f(x,y)\,dx\right\vert \leq {\frac {1}{2}}\Lambda \Omega _{f},$

όπου $\Omega _{f}$ είναι η ταλάντωση του $f$ στην περιοχή του $\Gamma$.

Τώρα είμαστε σε θέση να αποδείξουμε το θεώρημα:

Απόδειξη του θεωρήματος. Έστω $\varepsilon$ ένας αυθαίρετος θετικός πραγματικός αριθμός. Λόγω της συνέχειας των $A$, $B$ και της συμπαγούς μορφής της ${\overline {R}}$, δίνεται $\varepsilon >0$, υπάρχει $0<\delta <1$ τέτοιο ώστε κάθε φορά που δύο σημεία της ${\overline {R}}$ απέχουν μεταξύ τους λιγότερο από $2{\sqrt {2}}\,\delta$, οι εικόνες τους κάτω από $A,B$ απέχουν μεταξύ τους λιγότερο από $\varepsilon$. Για αυτό το $\delta$, ας θεωρήσουμε την αποσύνθεση που δίνεται από το προηγούμενο Λήμμα. Έχουμε $\int _{\Gamma }A\,dx+B\,dy=\sum _{i=1}^{k}\int _{\Gamma _{i}}A\,dx+B\,dy\quad +\sum _{i=k+1}^{s}\int _{\Gamma _{i}}A\,dx+B\,dy.$

Βάλτε $\varphi :=D_{1}B-D_{2}A$.

Για κάθε $i\in \{1,\ldots ,k\}$, η καμπύλη $\Gamma _{i}$ είναι ένα θετικά προσανατολισμένο τετράγωνο, για το οποίο ισχύει ο τύπος του Γκριν. Συνεπώς $\sum _{i=1}^{k}\int _{\Gamma _{i}}A\,dx+B\,dy=\sum _{i=1}^{k}\int _{R_{i}}\varphi =\int _{\bigcup _{i=1}^{k}R_{i}}\,\varphi .$

Κάθε σημείο μιας συνοριακής περιοχής βρίσκεται σε απόσταση όχι μεγαλύτερη από $2{\sqrt {2}}\,\delta$ από $\Gamma$. Έτσι, αν $K$ είναι η ένωση όλων των συνοριακών περιοχών, τότε

$K\subset \Delta _{\Gamma }(2{\sqrt {2}}\,\delta )$, συνεπώς $c(K)\leq {\overline {c}}\,\Delta _{\Gamma }(2{\sqrt {2}}\,\delta )\leq 4{\sqrt {2}}\,\delta +8\pi \delta ^{2}$, από το Λήμμα 2. Ας σημειωθεί ότι

$\int _{R}\varphi \,\,-\int _{\bigcup _{i=1}^{k}R_{i}}\varphi =\int _{K}\varphi .$

Έτσι προκύπτει

$\left\vert \sum _{i=1}^{k}\int _{\Gamma _{i}}A\,dx+B\,dy\quad -\int _{R}\varphi \right\vert \leq M\delta (1+\pi {\sqrt {2}}\,\delta ){\text{ for some }}M>0.$

Μπορούμε επίσης να επιλέξουμε $\delta$ έτσι ώστε το RHS της τελευταίας ανισότητας να είναι $<\varepsilon .$

Η παρατήρηση στην αρχή αυτής της απόδειξης συνεπάγεται ότι οι ταλαντώσεις των $A$ and $B$ σε κάθε συνοριακή περιοχή είναι το πολύ $\varepsilon$. Έχουμε

$\left\vert \sum _{i=k+1}^{s}\int _{\Gamma _{i}}A\,dx+B\,dy\right\vert \leq {\frac {1}{2}}\varepsilon \sum _{i=k+1}^{s}\Lambda _{i}.$

Σύμφωνα με το Λήμμα 1(iii),

$\sum _{i=k+1}^{s}\Lambda _{i}\leq \Lambda +(4\delta )\,4\!\left({\frac {\Lambda }{\delta }}+1\right)\leq 17\Lambda +16.$

Συνδυάζοντας αυτά, έχουμε τελικά

$\left\vert \int _{\Gamma }A\,dx+B\,dy\quad -\int _{R}\varphi \right\vert <C\varepsilon ,$

για κάποιο $C>0$. Εφόσον αυτό ισχύει για κάθε $\varepsilon >0$, τελειώσαμε.

Ισχύς υπό διαφορετικές υποθέσεις

Οι υποθέσεις του τελευταίου θεωρήματος δεν είναι οι μόνες υπό τις οποίες ο τύπος του Γκριν είναι αληθής. Ένα άλλο κοινό σύνολο προϋποθέσεων είναι το ακόλουθο:

Οι συναρτήσεις $A,B:{\overline {R}}\to \mathbb {R}$ εξακολουθούν να θεωρούνται συνεχείς. Ωστόσο, τώρα απαιτούμε να είναι διαφορίσιμες κατά Φρεσέ σε κάθε σημείο του $R$. Αυτό συνεπάγεται την ύπαρξη όλων των παραγώγων κατεύθυνσης, συγκεκριμένα $D_{e_{i}}A=:D_{i}A,D_{e_{i}}B=:D_{i}B,\,i=1,2$, όπου, ως συνήθως, $(e_{1},e_{2})$ είναι η κανονική διατεταγμένη βάση του $\mathbb {R} ^{2}$. Επιπλέον, απαιτούμε η συνάρτηση $D_{1}B-D_{2}A$ να είναι Ρίμαν-ολοκληρώσιμη πάνω στο $R$.

Ως επακόλουθο αυτού, έχουμε το Ολοκληρωματικό Θεώρημα Κωσύ για ευθυγραμμίσιμες καμπύλες Ζορντάν::

Θεώρημα (Κωσύ)- Εάν $\Gamma$ είναι μια ευθυγραμμίσιμη καμπύλη Ζορντάν στο $\mathbb {C}$ και αν $f:{\text{closure of inner region of }}\Gamma \to \mathbb {C}$ είναι μια συνεχής απεικόνιση ολομορφική σε όλη την εσωτερική περιοχή το$\Gamma$, τότε

$\int _{\Gamma }f=0,$

το ολοκλήρωμα είναι ένα σύνθετο ολοκλήρωμα περιγράμματος.

Απόδειξη. Ας θεωρήσουμε το μιγαδικό επίπεδο ως $\mathbb {R} ^{2}$. Τώρα, ορίζουμε $u,v:{\overline {R}}\to \mathbb {R}$ να είναι τέτοιες ώστε $f(x+iy)=u(x,y)+iv(x,y).$ Αυτές οι συναρτήσεις είναι σαφώς συνεχείς. Είναι γνωστό ότι οι $u$ και $v$ είναι διαφορίσιμες κατά Φρεσέ και ότι ικανοποιούν τις εξισώσεις Κωσύ-Ρίμαν: $D_{1}v+D_{2}u=D_{1}u-D_{2}v={\text{zero function}}$.

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

$\int _{\Gamma }f=\int _{\Gamma }u\,dx-v\,dy\quad +i\int _{\Gamma }v\,dx+u\,dy,$

τα ολοκληρώματα στο RHS είναι συνήθη γραμμικά ολοκληρώματα. Αυτές οι παρατηρήσεις μας επιτρέπουν να εφαρμόσουμε το θεώρημα του Γκριν σε κάθε ένα από αυτά τα γραμμικά ολοκληρώματα, ολοκληρώνοντας την απόδειξη.

Περιοχές πολλαπλά συνδεδεμένες

Θεώρημα. Έστω $\Gamma _{0},\Gamma _{1},\ldots ,\Gamma _{n}$ θετικά προσανατολισμένες ευθυγραμμίσιμές καμπύλες Ζορντάν στον $\mathbb {R} ^{2}$ που ικανοποιούν

${\begin{aligned}\Gamma _{i}\subset R_{0},&&{\text{if }}1\leq i\leq n\\\Gamma _{i}\subset \mathbb {R} ^{2}\setminus {\overline {R}}_{j},&&{\text{if }}1\leq i,j\leq n{\text{ and }}i\neq j,\end{aligned}}$

όπου $R_{i}$ είναι η εσωτερική περιοχή του $\Gamma _{i}$. Έστω

$D=R_{0}\setminus ({\overline {R}}_{1}\cup {\overline {R}}_{2}\cup \cdots \cup {\overline {R}}_{n}).$

Ας υποθέσουμε $p:{\overline {D}}\to \mathbb {R}$ and $q:{\overline {D}}\to \mathbb {R}$ είναι συνεχείς συναρτήσεις των οποίων ο περιορισμός στο $D$ είναι διαφορίσιμος κατά Φρεσέ. Αν η συνάρτηση

$(x,y)\longmapsto {\frac {\partial q}{\partial e_{1}}}(x,y)-{\frac {\partial p}{\partial e_{2}}}(x,y)$ είναι ολοκληρώσιμη κατά Ρίμαν πάνω από $D$,

τότε

${\begin{aligned}&\int _{\Gamma _{0}}p(x,y)\,dx+q(x,y)\,dy-\sum _{i=1}^{n}\int _{\Gamma _{i}}p(x,y)\,dx+q(x,y)\,dy\\[5pt]={}&\int _{D}\left\{{\frac {\partial q}{\partial e_{1}}}(x,y)-{\frac {\partial p}{\partial e_{2}}}(x,y)\right\}\,d(x,y).\end{aligned}}$

Σχέση με το θεώρημα του Στόκες

Το θεώρημα του Γκρινεώρημα του Γκριν είναι μια ειδική περίπτωση του θεωρήματος Κελβίν-Στόκες, όταν εφαρμόζεται σε μια περιοχή στο επίπεδο $xy$.

Μπορούμε να αυξήσουμε το δισδιάστατο πεδίο σε ένα τρισδιάστατο πεδίο με μια συνιστώσα z που είναι πάντα 0. Σημειώστε F για τη διανυσματική συνάρτηση $\mathbf {F} =(L,M,0)$. Ξεκινήστε με την αριστερή πλευρά του θεωρήματος του Γκριν:

$\oint _{C}(L\,dx+M\,dy)=\oint _{C}(L,M,0)\cdot (dx,dy,dz)=\oint _{C}\mathbf {F} \cdot d\mathbf {r} .$

θεώρημα Κελβίν-Στόκες:

$\oint _{C}\mathbf {F} \cdot d\mathbf {r} =\iint _{S}\nabla \times \mathbf {F} \cdot \mathbf {\hat {n}} \,dS.$

Η επιφάνεια $S$ είναι απλώς η περιοχή στο επίπεδο $D$, με τη μοναδιαία κανονική $\mathbf {\hat {n}}$ να ορίζεται (κατά σύμβαση) να έχει θετική συνιστώσα z, ώστε να ταιριάζει με τους ορισμούς του "θετικού προσανατολισμού" και για τα δύο θεωρήματα.

Η έκφραση μέσα στο ολοκλήρωμα γίνεται

$\nabla \times \mathbf {F} \cdot \mathbf {\hat {n}} =\left[\left({\frac {\partial 0}{\partial y}}-{\frac {\partial M}{\partial z}}\right)\mathbf {i} +\left({\frac {\partial L}{\partial z}}-{\frac {\partial 0}{\partial x}}\right)\mathbf {j} +\left({\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}\right)\mathbf {k} \right]\cdot \mathbf {k} =\left({\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}\right).$

Έτσι έχουμε τη δεξιά πλευρά του θεωρήματος του Γκριν

$\iint _{S}\nabla \times \mathbf {F} \cdot \mathbf {\hat {n}} \,dS=\iint _{D}\left({\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}\right)\,dA.$

Το θεώρημα του Γκριν είναι επίσης ένα απλό αποτέλεσμα του γενικού θεωρήματος του Στόκες που χρησιμοποιεί διαφορικές μορφές και εξωτερικές παραγώγους:

$\oint _{C}L\,dx+M\,dy=\oint _{\partial D}\!\omega =\int _{D}d\omega =\int _{D}{\frac {\partial L}{\partial y}}\,dy\wedge \,dx+{\frac {\partial M}{\partial x}}\,dx\wedge \,dy=\iint _{D}\left({\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}\right)\,dx\,dy.$

Σχέση με το θεώρημα της απόκλισης

Λαμβάνοντας υπόψη μόνο δισδιάστατα διανυσματικά πεδία, το θεώρημα του Γκριν είναι ισοδύναμο με τη δισδιάστατη εκδοχή του θεωρήματος της απόκλισης:

$\iint _{D}\left(\nabla \cdot \mathbf {F} \right)dA=\oint _{C}\mathbf {F} \cdot \mathbf {\hat {n}} \,ds,$

όπου $\nabla \cdot \mathbf {F}$ είναι η απόκλιση στο δισδιάστατο διανυσματικό πεδίο $\mathbf {F}$, και $\mathbf {\hat {n}}$ είναι το μοναδιαίο κανονικό διάνυσμα που δείχνει προς τα έξω στο σύνορο.

Για να το δείτε αυτό, ας θεωρήσουμε τη μοναδιαία κανονική $\mathbf {\hat {n}}$ στη δεξιά πλευρά της εξίσωσης. Δεδομένου ότι στο θεώρημα του Γκριν $d\mathbf {r} =(dx,dy)$ είναι ένα διάνυσμα που δείχνει εφαπτομενικά κατά μήκος της καμπύλης και η καμπύλη “'C”' είναι η θετικά προσανατολισμένη (δηλαδή αριστερόστροφα) καμπύλη κατά μήκος του ορίου, μια προς τα έξω κανονική θα ήταν ένα διάνυσμα που δείχνει 90° δεξιά από αυτό- μια επιλογή θα ήταν $(dy,-dx)$. Το μήκος αυτού του διανύσματος είναι ${\textstyle {\sqrt {dx^{2}+dy^{2}}}=ds.}$ Έτσι $(dy,-dx)=\mathbf {\hat {n}} \,ds.$

Ας ξεκινήσουμε με την αριστερή πλευρά του θεωρήματος του Γκριν:

$\oint _{C}(L\,dx+M\,dy)=\oint _{C}(M,-L)\cdot (dy,-dx)=\oint _{C}(M,-L)\cdot \mathbf {\hat {n}} \,ds.$

Εφαρμόζοντας το θεώρημα της δισδιάστατης απόκλισης με $\mathbf {F} =(M,-L)$, παίρνουμε τη δεξιά πλευρά του θεωρήματος του Γκριν:

$\oint _{C}(M,-L)\cdot \mathbf {\hat {n}} \,ds=\iint _{D}\left(\nabla \cdot (M,-L)\right)\,dA=\iint _{D}\left({\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}\right)\,dA.$

Υπολογισμός εμβαδού

Το θεώρημα του Γκριν μπορεί να χρησιμοποιηθεί για τον υπολογισμό του εμβαδού μέσω του γραμμικού ολοκληρώματος Το εμβαδόν μιας επίπεδης περιοχής $D$ δίνεται από τη σχέση $A=\iint _{D}dA.$

Επιλέγουµε $L$ και $M$ έτσι ώστε ${\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}=1$, το εµβαδόν δίνεται από τη σχέση

$A=\oint _{C}(L\,dx+M\,dy).$

Οι πιθανοί τύποι για το εμβαδόν του $D$ περιλαμβάνουν

$A=\oint _{C}x\,dy=-\oint _{C}y\,dx={\tfrac {1}{2}}\oint _{C}(-y\,dx+x\,dy).$

Ιστορία

Πήρε το όνομά του από τον Τζορτζ Γκριν, ο οποίος ανέφερε ένα παρόμοιο αποτέλεσμα σε μια εργασία του 1828 με τίτλο An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism (Δοκίμιο για την εφαρμογή της μαθηματικής ανάλυσης στις θεωρίες του ηλεκτρισμού και του μαγνητισμού). Το 1846, ο Ωγκυστέν-Λουί Κωσύ δημοσίευσε ένα άρθρο στο οποίο η προτελευταία πρόταση ανέφερε το θεώρημα του Γκριν. Αυτή ήταν στην πραγματικότητα η πρώτη τυπωμένη εκδοχή του θεωρήματος του Γκριν στη μορφή που εμφανίζεται στα σύγχρονα εγχειρίδια. Τζορτζ Γκριν, Ένα δοκίμιο για την εφαρμογή της μαθηματικής ανάλυσης στις θεωρίες του ηλεκτρισμού και του μαγνητισμού (Νότιγχαμ, Αγγλία: T. Wheelhouse, 1828). Ο Γκριν δεν εξήγαγε στην πραγματικότητα τη μορφή του «θεωρήματος του Γκριν» που εμφανίζεται σε αυτό το άρθρο- μάλλον, εξήγαγε μια μορφή του «θεωρήματος της απόκλισης», η οποία εμφανίζεται στις σελίδες 10 έως 12 του δοκιμίου του. Το 1846, η μορφή του «θεωρήματος του Γκριν» που εμφανίζεται σε αυτό το άρθρο δημοσιεύθηκε για πρώτη φορά, χωρίς απόδειξη, σε μια εργασία του Ωγκυστέν-Λουί Κωσύ: Α. Κωσύ (1846) «Sur les intégrales qui s'étend à tous les points d'une courbe fermée», Comptes rendus,(«Σχετικά με τα ολοκληρώματα που επεκτείνονται σε όλα τα σημεία μιας κλειστής καμπύλης», Πρακτικά) 23: 251-255. (Η εξίσωση εμφανίζεται στο κάτω μέρος της σελίδας 254, όπου (S) δηλώνει το ολοκλήρωμα μιας συνάρτησης k κατά μήκος της καμπύλης s που περιβάλλει το πεδίο S). Μια απόδειξη του θεωρήματος δόθηκε τελικά το 1851 από τον Μπέρναρντ Ρίμαν στην εναρκτήρια διατριβή του: Μπέρναρντ Ρίμαν (1851) Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse (Βάσεις για μια γενική θεωρία των συναρτήσεων μιας μεταβλητής σύνθετης ποσότητας), (Göttingen, (Γερμανία): Rente, 1867)- βλέπε σελίδες 8-9.

Εξωτερικοί σύνδεσμοι

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

Δείτε επίσης

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

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

• GAMELIN, THEODORE (17 Ιουλίου 2003). Complex Analysis. Springer Science & Business Media. ISBN 978-0-387-95069-3. 
• Blank, Brian E.· Krantz, Steven George (2006). Calculus: Multivariable. Springer Science & Business Media. ISBN 978-1-931914-60-4. 
• Damiano, David· Freije, Margaret (3 Ιανουαρίου 2011). Multivariable Calculus. Jones & Bartlett Publishers. ISBN 978-0-7637-8247-4. 
• Jr, G. L. Lamb (17 Απριλίου 1995). Introductory Applications of Partial Differential Equations: With Emphasis on Wave Propagation and Diffusion. John Wiley & Sons. ISBN 978-0-471-31123-2. 
• Manglik, Mr Rohit (25 Ιανουαρίου 2024). Calculus Volume - 3. EduGorilla Publication. ISBN 978-93-6906-011-5. 
• Riley, K. F.· Hobson, M. P. (13 Μαρτίου 2006). Mathematical Methods for Physics and Engineering: A Comprehensive Guide. Cambridge University Press. ISBN 978-1-139-45099-7. 
• Stratton, Julius Adams (22 Ιανουαρίου 2007). Electromagnetic Theory. John Wiley & Sons. ISBN 978-0-470-13153-4. 
• Zill, Dennis G.· Cullen, Michael R. (2006). Advanced Engineering Mathematics. Jones & Bartlett Learning. ISBN 978-0-7637-4591-2. 
• Fisher, Stephen D. (25 Απριλίου 2012). Complex Variables: Second Edition. Courier Corporation. ISBN 978-0-486-13484-0. 
• Zill, Dennis G.· Zill (11 Δεκεμβρίου 2009). Calculus: Early Transcendentals. Jones & Bartlett Publishers. ISBN 978-0-7637-9737-9. 

Παραπομπές

• L.D. Landau, E.M. Lifshitz (1975). The Classical Theory of Fields. 2 (4th έκδοση). Butterworth–Heineman. ISBN 978-0-7506-2768-9. 
• J. D. Jackson (1998). Classical Electrodynamics (3rd έκδοση). John Wiley & Sons. ISBN 978-0-471-30932-1. 
• Boothby, William (1986). An introduction to differentiable manifolds and Riemannian geometry. Pure and Applied Mathematics, volume 120 (second έκδοση). Orlando, FL: Academic Press. ISBN 0-12-116053-X. 
• Watson, G. N. (1966). A Treatise on the Theory of Bessel Functions, 2nd ed. Cambridge, England: Cambridge University Press. MR 1349110. 
• Fewell, M. P. (2006). «Area of common overlap of three circles». Defence Science and Technology Organisation. Αρχειοθετήθηκε από το πρωτότυπο στις 3 Μαρτίου 2022. 
• White, Joseph F. (1 Αυγούστου 2016). High Frequency Techniques: An Introduction to RF and Microwave Design and Computer Simulation. John Wiley & Sons. ISBN 978-1-119-24450-9. 
• Slater, John C.· Frank, Nathaniel H. (9 Μαρτίου 2012). Electromagnetism. Courier Corporation. ISBN 978-0-486-15040-6. 
• Barrera, Tony; Hast, Anders; Bengtsson, Ewert, «Surface Construction with Near Least Square Acceleration based on Vertex Normals on Triangular Meshes», στο: Ollila, Mark, επιμ., SIGRAD 2002, σελ. 43–48, https://www.diva-portal.org/smash/get/diva2:968852/FULLTEXT01.pdf#page=49 
• Martin, Ralph R. (6 Αυγούστου 2009). Mathematics of Surfaces XIII: 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings. Springer Science & Business Media. ISBN 978-3-642-03595-1. 
• Iskovskikh, V.A. (2001), «Ruled surface», στο: Hazewinkel, Michiel, επιμ., Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://www.encyclopediaofmath.org/index.php?title=R/r082790 
• Sharp, John (2008), D-Forms: surprising new 3-D forms from flat curved shapes, Tarquin, ISBN 978-1-899618-87-3 . Review: Séquin, Carlo H. (2009), Journal of Mathematics and the Arts 3: 229–230,
• Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), «Section 6.3. Exponential Integrals», Numerical Recipes: The Art of Scientific Computing (3rd έκδοση), New York: Cambridge University Press, ISBN 978-0-521-88068-8, http://apps.nrbook.com/empanel/index.html#pg=266, ανακτήθηκε στις 2011-08-09 
• 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.

Πηγές

• Humanitarian Data Exchange(HDX) – The Humanitarian Data Exchange (HDX) is an open humanitarian data sharing platform managed by the United Nations Office for the Coordination of Humanitarian Affairs.
• NYC Open Data – free public data published by New York City agencies and other partners.
• Relational data set repository Αρχειοθετήθηκε 2018-03-07 στο Wayback Machine.
• Research Pipeline – a wiki/website with links to data sets on many different topics
• StatLib–JASA Data Archive
• UCI – a machine learning repository
• UK Government Public Data
• World Bank Open Data – Free and open access to global development data by World Bank
• Apostol, Tom M. (29 Ιουνίου 2013). Introduction to Analytic Number Theory. Springer Science & Business Media. ISBN 978-1-4757-5579-4. 
• Miller, P. D. (2006), Applied Asymptotic Analysis, American Mathematical Society, ISBN 9780821840788, https://books.google.com/books?id=KQvqBwAAQBAJ 
• Apostol, Thomas M. (1976), Introduction to Analytic Number Theory, New York: Springer, ISBN 0-387-90163-9, https://archive.org/details/introductiontoan00apos_0