Το θεώρηµα του Green

58 Το θεώρηµα του Green :, Υπενθυµίζουµε ότι µια απλή κλειτή καµπύλη [ ] κλειτή καµπύλη ( = ) ώτε ο περιοριµός [, ) R είναι µια να είναι απεικόνιη Μια απλή κλειτή καµπύλη του επιπέδου ονοµάζεται και καµπύλη Jordn Είναι ένα βαθύ τοπολογικό θεώρηµα που ανήκει τον Jordn ότι: Κάθε απλή κλειτή καµπύλη του επιπέδου απουνδέει το επίπεδο, δηλαδή το R είναι ένωη δύο ξένων ανοικτών και υνεκτικών υνόλων Α και Β ύνολο [ ] ώτε το ένα είναι φραγµένο και το άλλο µη φραγµένο Το φραγµένο ύνολο ονοµάζεται και εωτερικό και το µη φραγµένο εξωτερικό της καµπύλης Ένα ανοικτό και υνεκτικό υπούνολο του R ονοµάζεται και χωρίο Jordn αν είναι το εωτερικό µιας καµπύλης Jordn του επιπέδου Είναι βέβαια αφές ότι ένα χωρίο Jordn είναι απλά υνεκτικό ( δηλαδή δεν έχει τρύπες) Υπενθυµίζουµε ότι όλες οι καµπύλες που θεωρούµε ( ειδικότερα ε χέη µε επικαµπύλια ολοκληρώµατα ) είναι κατά τµήµατα υνεχώς διαφορίιµες Ένα ανοικτό και φραγµένο υπούνολο R θα λέµε ότι έχει κατά τµήµατα οµαλό ύνορο, αν το ύνορο του αποτελείται από ένα πεπεραµένο πλήθος απλές κλειτές καµπύλες οι οποίες είναι ξένες ανά δύο Στην περίπτωη που το είναι επί πλέον υνεκτικό το ύνορο του αποτελείται από µια εξωτερική καµπύλη c και κάποιες εωτερικές καµπύλες c, c,, c N ( = c c cn ) Όταν ολοκληρώνουµε µια υνάρτηη πάνω το ύνορο του οι εωτερικές καµπύλες c, c,, c N προανατολίζονται αρνητικά και η εξωτερική καµπύλη c προανατολίζεται θετικά (αντιωρολογιακά), δηλαδή ούτως ώτε να αφήνουν το ύνολο τα αριτερά των Η ύµβαη αυτή δηλώνεται υµβολικά γράφοντας = c c c cn υπονοώντας µε τον τρόπο αυτό τον τρόπο που γίνεται η ολοκλήρωη επί του Παρατήρηη Με διαφορετική ορολογία ένα φραγµένο ανοικτό και υνεκτικό υπούνολο του επιπέδου µε κατά τµήµατα οµαλό ύνορο είναι ένα ανοικτό και υνεκτικό πολλαπλά υνεκτικό υπούνολο του R του οποίου το ύνορο αποτελείται από ένα πεπεραµένο ύνολο καµπύλων Jordn ηλαδή ένα ανοικτό υνεκτικό υπούνολο του R που φράεται από ένα πεπεραµένο ύνολο καµπύλων Jordn ιαιθητικά ένας τόπος του R ( ανοικτό και υνεκτικό ύνολο) είναι πολλαπλά υνεκτικός αν έχει ένα πεπεραµένο αριθµό από τρύπες Έτι διακρίνουµε τους πολλαπλά υνεκτικούς τόπους ε τόπους υνεκτικότητας n, n, αν έχουν n αριθµό από τρύπες Τόπος υνεκτικότητας 4 Τόπος υνεκτικότητας 5 Τόπος υνεκτικότητας

59 Παραδείγµατα = Β= εξωτερικό της δηλ απλά υνεκτικός [ ] R :, καµπύλη Jordn Ένα ανοικτό υνεκτικό και φραγµένο ύνολο µε κατά τµήµατα οµαλό ύνορο Με τις παραπάνω υµβάεις το θεώρηµα του Green διατυπώνεται ως ακολούθως 5 Θεώρηµα ( του Green ) Έτω R ένα ανοικτό υνεκτικό και φραγµένο ύνολο του οποίου το ύνορο είναι κατά τµήµατα οµαλό Αν p και q είναι πραγµατικές υναρτήεις οι οποίες είναι οριµένες και C ε µια περιοχή του, τότε ιχύει ο τύπος: q p ( pdx+ qd = dxdy Όπου, αν = c c cn, τότε το αριτερό µέλος της παραπάνω ιότητας ιούται µε ( pdx+ qd = ( pdx+ qd ( pdx+ qd c k= c k εν θα δώουµε πλήρη απόδειξη του θεωρήµατος του Green Θα αποδείξουµε όµως τον αναλυτικό πυρήνα αυτού του ηµαντικού αποτελέµατος ο οποίος εντοπίζεται την περίπτωη που το είναι ένα ανοικτό τοιχειώδες χωρίο Ένα N

6 ανοικτό τοιχειώδες χωρίο είναι βέβαια απλά υνεκτικός τόπος που φράεται από µια καµπύλη Jordn 5 Λήµµα Έτω R ένα ανοικτό χωρίο τύπου και Υποθέτουµε ότι η υνάρτηη p είναι C ε µια περιοχή του Τότε p pdx= dxdy y ( όπου pdx= pdx+ qdy µε q= ) Απόδειξη: το ύνορό του Υποθέτουµε ότι το περιγράφεται από τις χέεις x ϕ x y ϕ x, όπου,, :[, ] R είναι ( x) ϕ ( x) για κάθε x (, ) ϕ ϕ ϕ C υναρτήεις µε Το ύνορο του είναι µια θετικά προανατολιµένη καµπύλη η οποία ύµφωνα µε το χήµα γράφεται ως = + + + ( το πρόηµο 4 δηλώνει την αντίθετη καµπύλη ), όπου,,, 4 είναι οι καµπύλες: t ( t) = t, ϕ( t), t [, ], ( t) = (, t), t ϕ, ϕ, t t, ϕ t [, ], ( t) = ( t), t ϕ, ϕ 4, =, Από το θεώρηµα του Fuini µπορούµε να υπολογίουµε το διπλό ολοκλήρωµα ως ένα διαδοχικό ολοκλήρωµα και µετά να χρηιµοποιήουµε το θεµελιώδες θεώρηµα του Απειροτικού Λογιµού: p () dxdy (, ) x ϕ( x ) p = x y dy dx ϕ = (, ϕ) (, ϕ) Από την άλλη µεριά θα έχουµε: 4 p x x p x x dx pdx= pdx+ pdx pdx pdx 4 Αφού το x είναι ταθερό πάνω τα ίχνη των καµπύλων και 4 θα έχουµε pdx= pdx= ϕ pdx= ( p, t,) (,) dt =, οµοίως Πράγµατι, ϕ pdx= ( Η φυική ερµηνεία του µηδενιµού αυτών των ολοκληρωµάτων είναι ότι αν πχ η p( x y ) 4 (,,) θεωρηθεί ως δύναµη που µετακινεί το ηµείο εφαρµογής της κατά µήκος του κατακόρυφου ευθύγραµµου τµήµατος (, ϕ ),(, ϕ ) τότε δεν παράγει έργο αφού είναι κάθετη ε αυτό) ' pdx= ( p( t, t ),) (, ϕ( t) ) dt = (, ϕ) Επίης θα έχουµε: ϕ p t t dt =

6 (, ϕ) p x x dx ' ( (, ϕ),), ϕ pdx= p t t ( t ) dt = (, ϕ) p t t dt = p x, ϕ( x) dx Εποµένως, () (, ϕ) (, ϕ) ( ) pdx= p x x dx p x x dx = p x, ϕ( x) p x, ϕ x dx Έπεται από τις () και () ότι p pdx= dxdy y Σηµειώνουµε ότι µπορεί να αποδειχθεί και το ανάλογο του παραπάνω Λήµµατος µε τους ρόλους των x και y αντετραµµένους 5 Λήµµα Έτω ένα ανοικτό χωρίο τύπου µε ύνορο το Αν η q υνάρτηη q είναι C ε µια περιοχή του, τότε qdy = dxdy x Η απόδειξη αυτού του Λήµµατος είναι όµοια µε την προηγούµενη και έτι παραλείπεται Σηµειώνουµε µόνο ότι το αρνητικό πρόηµο απουιάζει την περίπτωη αυτή, εφόον η αντιτροφή των ρόλων των x και y ηµαίνει και αλλαγή του προανατολιµού του επιπέδου Ένα παράδειγµα χωρίου τύπου και η διάπαη του θετικά προανατολιµένου υνόρου του ε προανατολιµένες επί µέρους καµπύλες = {(, ) : < < και ψ < < ψ } ( t) = ( ψ ( t) t), t [ c, d], ( t) = ( t, c), t ψ ( c), ψ ( c) ( t) = ψ ( t) t, t [ c, d], ( t) = ( t d), t ψ ( d), ψ ( d) x y c y d y x y,, = + + 4, 4 Από τα προηγούµενα λήµµατα λαµβάνοµε αµέως την ακόλουθη ειδική αλλά ηµαντική περίπτωη του θεωρήµατος του Green

6 54 Πρόταη ( Green) Έτω ένα ανοικτό χωρίο τύπου και το ύνορό του Υποθέτουµε ότι οι πραγµατικές υναρτήεις p και q είναι C ε µια περιοχή του Τότε q p pdx+ qdy= dxdy Παρατηρήεις ) Ο παραπάνω τύπος αποδεικνύεται µε λίγο περιότερη δουλειά και για τοιχειώδη χωρία που είναι είτε του τύπου ή του τύπου Περαιτέρω αποδεικνύεται µε µη τετριµµένα γεωµετρικά επιχειρήµατα ότι ένα ανοικτό υνεκτικό και φραγµένο ύνολο µε κατά τµήµατα οµαλό ύνορο ( που είναι για εµάς η γενική περίπτωη του θεωρήµατος του Green ) διαπάται ε ένα πεπεραµένο πλήθος από τοιχειώδη χωρία,, m, που το καθένα είναι είτε τύπου είτε τύπου κατά τέτοιο τρόπο ώτε, ( m = k= k και m = k= k ) Το θεώρηµα του Green εφαρµόζεται το καθένα από τα k, k m και ο τύπος του Green έπεται την γενική περίπτωη προθέτοντας τα αποτελέµατα Σύµφωνα µε την παρατήρηη παρακάτω η διάπαη του αρκεί να γίνει την περίπτωη που το είναι χωρίο Jordn Οι παραπάνω δύο εξιώεις αποδεικνύονται εύκολα ( την περίπτωη της διάπαης του ε τοιχειώδη χωρία,, m ) Αρκεί να παρατηρήουµε αν τα k και λ µε k < λ m έχουν ένα κοινό τµήµα το ύνορό τους ( τα εωτερικά τους είναι βέβαια ξένα ) τότε το τµήµα αυτό εµφανίζεται µε διαφορετικό προανατολιµό και απλοποιείται το άθροιµα m ( πρβλ και την παρατήρηη ()) k= k ) Το θεώρηµα του Green είναι πολύ ηµαντικό εφόον υνδέει ένα επικαµπύλιο ολοκλήρωµα (β είδους ) πάνω το ύνορο ενός χωρίου του επιπέδου µε ένα διπλό ολοκλήρωµα το εωτερικό του χωρίου Σε πολλές περιπτώεις είναι ευκολότερο να υπολογίουµε το επικαµπύλιο ολοκλήρωµα απ ότι το διπλό ολοκλήρωµα Το θεώρηµα του Green θεωρείται και αυτό όπως και το θεώρηµα 5 της ελίδας 7 ένα ανάλογο του θεµελιώδους θεωρήµατος του Απειροτικού Λογιµού Πράγµατι αν Ι R διάτηµα,, R µε < και F : Ι R C υνάρτηη τότε όπως γνωρίζουµε F '( t) dt = F F Εδώ το ύνορο του = [, ] είναι το διύνολο {, } Θα πρέπει να τονίουµε ότι αν και αποδείξαµε το θεώρηµα του Green την ειδική περίπτωη ενός τοιχειώδους χωρίου ( τύπου ), τα χωρία τα οποία εµφανίζονται την πράξη είναι τις περιότερες περιπτώεις εύκολο να χωριθούν ε τοιχειώδη χωρία ούτως ώτε να εφαρµόζεται η παρατήρηη () ) Ιδιαίτερα το θεώρηµα του Green ιχύει για ένα ανοικτό και υνεκτικό υπούνολο R που φράεται από µια καµπύλη Jordn c, δηλαδή είναι χωρίο Jordn και άρα απλά υνεκτικός τόπος

6 Αξίζει να ηµειωθεί ότι η γενικότερη περίπτωη που το είναι πολλαπλά υνεκτικός τόπος ( που φράεται από πεπεραµένο πλήθος καµπύλων Jordn ) ανάγεται την περίπτωη του απλά υνεκτικού τόπου ( που φράεται από µια καµπύλη Jordn ) Έτι αν ο είναι τόπος υνεκτικότητας n ( µε n ) τότε µπορούµε µε n «κοψίµατα» ( crosscuts ) να το µετατρέψουµε ε απλά υνεκτικό τόπο Τα κοψίµατα αυτά µπορούν να επιλεγούν να είναι C απλές καµπύλες Το χήµα εξηγεί γεωµετρικά πως µπορεί να γίνει αυτό Ένας τόπος υνεκτικότητας Επειδή το πρόηµο του επικαµπυλίου ολοκληρώµατος δευτέρου είδους αλλάζει όταν η κατεύθυνη της ολοκλήρωης αλλάζει, έπεται ότι τα επικαµπύλια ολοκληρώµατα πάνω τις καµπύλες που «κόβουν» το αλληλοαναιρούνται Έτι τα µόνα ολοκληρώµατα που «επιβιώνουν» είναι αυτά πάνω το ύνορο του, που το χήµα µας είναι το = c c c Είναι αφές ότι αν εξαιρέουµε από το τα ίχνη των καµπύλων γ, δ, που «κόβουν» το, τότε το [ γ] [ δ] είναι απλά υνεκτικός τόπος (Με n κοψίµατα αναγόµατε την περίπτωη όπου το χωρίζεται ε δυο απλά υνεκτικούς τόπους που φράονται από καµπύλες Jordn) Σηµειώνουµε ότι οι παρατηρήεις αυτές µπορεί να οδηγήουν ε µια απόδειξη του θεωρήµατος του Green (θεώρηµα 5), βαιµένη την πρόταη 54, προεγγίζοντας τον απλά υνεκτικό τόπο ( που φράεται από µια καµπύλη Jordn ) µε απλά υνεκτικούς τόπους που φράονται από απλές κλειτές πολυγωνικές γραµµές ( πρβλ την άκηη ) 4) Ένα φραγµένο ανοικτό υνεκτικό υπούνολο του R µε κατά τµήµατα οµαλό ύνορο δεν διαπάται αναγκαία ε ένα πεπεραµένο πλήθος από τοιχειώδη χωρία τύπου Ένα τέτοιο παράδειγµα είναι το ακόλουθο = { : x και y ϕ( x) }, όπου ϕ ( x) = x sin, x, ϕ = x Η ϕ είναι βέβαια υνεχώς διαφορίιµη το R Το είναι τύπου, αλλά δεν µπορεί να διαµεριθεί ε ένα πεπεραµένο πλήθος χωρίων τύπου ( υνεπώς ούτε και

64 τύπου ) Η παρατήρηη αυτή αφήνεται ως άκηη Παραδείγµατα φραγµένων υνόλων µε κατά τµήµατα οµαλό ύνορο )Το εωτερικό ενός τριγώνου το xy επίπεδο είναι ένα τοιχειώδες ύνολο τύπου )Ένα απλό πολύγωνο του επιπέδου χωρίζεται ε τρίγωνα τα οποία είναι τοιχειώδη ύνολα τύπου Οι προανατολιµοί είναι ηµειωµένοι τα χήµατα ( Πρβλ την άκηη ) Το καθένα από τα χωρία,,, 4 που χωρίζεται ο δακτύλιος είναι τύπου )Το χωρίο είναι εδώ ένας ( ανοικτός ) δακτύλιος το ύνορο του οποίου αποτελείται από τους κύκλους C και C, = C C Ο χωριµός του ε τοιχειώδη χωρία γίνεται µε δύο κάθετες ευθείες που διέρχονται από το κέντρο Το θεώρηµα Green εφαρµόζεται το καθένα από τα,,, 4 και προθέτουµε τα αποτελέµατα 55 Πρόταη Έτω c µια απλή κλειτή καµπύλη του επιπέδου µε εωτερικό το

65 ( απλά υνεκτικό ) ύνολο Τότε το εµβαδόν του ( που έχει ύνορο την c ) δίδεται από τον τύπο Α= xdy ydx ( δηλαδή Α= F ds, όπου F ( y, x), R = ) Απόδειξη Θέτοµε F ( y, x) p, q = = δηλαδή θέτοµε p p = y και q = x ( Το F δεν είναι υντηρητικό πεδίο αφού = και q = ) Το θεώρηµα του Green εφαρµόζεται γιατί το είναι ένα φραγµένο ανοικτό απλά υνεκτικό ύνολο µε ύνορο το οποίο υποτίθεται ότι είναι µια κατά τµήµατα C καµπύλη Έτι έχουµε, y xdy ydx= dxdy = ( ) + dxdy= dxdy=α Παρατήρηη Εύκολα διαπιτώνουµε ότι Α= zdz, όπου µε f ( z) dz υµβολίζουµε το µιγαδικό επικαµπύλιο ολοκλήρωµα της f :[ ] i γ γ C κατά µήκος της γ ( Το µιγαδικό επικαµπύλιο ολοκλήρωµα χρηιµοποιείται την Μιγαδική Ανάλυη) Παράδειγµα () Υπολογίτε το εµβαδόν του χωρίου που φράεται από την υποκυκλοειδή καµπύλη x cos θ =, y sin θ x + y =, >, χρηιµοποιώντας την παραµέτρηη =, θ [,π] Λύη Η καµπύλη µας είναι η ( θ) ( cos θ, sin θ), θ [, π] = και είναι απλή και κλειτή όπως εύκολα διαπιτώνεται αναλυτικά αλλά και από το χήµα Από την προηγούµενη πρόταη έχουµε: π Α= xdy ydx = cos θ( sin θ cosθ) sin θ( cos θ sinθ) dθ = π 4 4 ( sin cos cos sin ) θ θ + θ θ d θ = π sin cos θ θ d θ = sin 8 θ d θ = 6 6 = π = π π cos 4θ dθ 8 π π = dθ cos 4θ dθ 6 6 8 π γ

66 Παράδειγµα Αποδείξτε ότι η έλλειψη και > ) x y + = έχει εµβαδόν π ( > Λύη Η έλλειψη παραµετρικοποιείται ως, ( θ) ( cos θ, sin θ), θ [, π] δηλαδή x( θ) = cosθ και y( θ) sin π π =, = θ Εποµένως Α= ( ydx+ xd = sinθ( sinθ) + cosθ( cosθ) dθ = ( sin θ + cos ) π θ dθ = dθ = π Σηµειώνουµε ότι η θ = cos θ, sin θ, θ, π είναι C απλή [ ] κλειτή καµπύλη Παράδειγµα Υπολογίτε το έργο που παράγεται από το πεδίο δυνάµεων (, ),( sin ) F x y = x+ xy x y y y κατά µήκος της κλειτής απλής καµπύλης c του χήµατος Λύη Το διανυµατικό πεδίο ( δυνάµεων ) F ( p, q) = είναι βέβαια C το Αν το υµβολίζει το χωρίο ( Jordn ) που περιβάλλει η θετικά προανατολιµένη καµπύλη Jordn c τότε από το θεώρηµα του Green θα έχουµε ότι το έργο που µας ζητείται ιούται µε: W = F ds= pdx+ qdy = q p dxdy = c c ( x y y sin ( x+ xy ) dxdy = ( 4xy x dxdy = y= x R y= xydy dx xy dx = x 5 6 = x x dx= x x = µπορεί να περιγραφεί ως τύπου ως εξής: 6 Σηµειώνουµε ότι το χωρίο είναι τύπου και = x, y : < x< και x < y< { }

67 Έχουµε αποδείξει για το διανυµατικό πεδίο y x F =,, (,), ότι x + y x + y F ds= π, όπου t = cos t,sin t, t, π, ο µοναδιαίος κύκλος µε την υνήθη παραµέτρηη [ ] που τον καθιτά καµπύλη Jordn Το επόµενο παράδειγµα γενικεύει αυτό το αποτέλεµα ( Σύγκρινε αυτό το παράδειγµα και µε την παρατήρηη της ελίδας 56) :, Παράδειγµα 4 Έτω [ ] y x x + y x + y ιχύει F ds= π R καµπύλη Jordn το εωτερικό της οποίας περιέχεται το (, ) Αν F =,, (,) Λύη Έτω r C ένας κύκλος κέντρου µικρή ακτίνα r >, ώτε Cr τότε, και αρκετά, όπου το εωτερικό της καµπύλης Θεωρούµε το χωρίο G του επιπέδου το οποίο περιβάλλεται ( έχει ως ύνορο G C και = [ ] r ) από τις καµπύλες [ ] C r Ο κύκλος C r θεωρείται µε την υνήθη γ t = r cos t,sin t, t, π παραµέτρηη [ ] Επειδή το πεδίο F είναι όπως έχουµε αποδείξει ατρόβιλο ιχύει ότι: q p x y y x y x = = = ( όπου, x x + y y x + y x + y x + y y x p = και q = ) x + y x + y Έπεται από το θεώρηµα του Green για τον τόπο G ότι: F ds = pdx+ qdy = q p dxdy = dxdy = ή F ds+ F ds= ή G G G G γ F ds F ds= ή F ds= F ds= π γ γ n Σηµείωη Ένα υπούνολο του R λέγεται ατρόµορφο αν υπάρχει ώτε, z, z το ευθύγραµµο τµήµα [ ] (ι) Κάθε ατρόµορφο ύνολο είναι υνεκτικό ( πρβλ την απόδειξη της πρόταης 4 (ιι) ) (ιι) Κάθε κυρτό ύνολο είναι ατρόµορφο ( προφανές) (ιιι) Κάθε ανοικτό και ατρόµορφο υπούνολο του R είναι απλά υνεκτικό ( ιαιθητικά προφανές) (ιν) Παραδείγµατα ανοικτών και ατρόµορφων ( άρα απλά υνεκτικών ) υπουνόλων του R που δεν είναι κυρτά είναι και τα ακόλουθα: z, κλειτή ηµιευθεία του = R z, έχει την (α) Έτω L= [ ) ιδιότητα R τότε το [ )

68 (β) Έτω (, r) Β ανοικτός δίκος του R Αν z (, r) Β και L είναι κλειτή ηµιευθεία του επιπεδου µε αρχή το z, τότε το =B(α,r)-L εχει επιης την ιδιοτητα

69 Θα αποδείξουµε την υνέχεια- ως εφαρµογή του θεωρήµατος του Greenτην κατεύθυνη (ιι) (ι) του θεωρήµατος που χαρακτηρίζει τα υντηρητικά πεδία F : R R, όπου απλά υνεκτικός τόπος του R ( Θεώρηµα ) Αν R είναι απλά υνεκτικός τόπος και F : R R C διανυµατικό p q πεδίο, F = ( p, q) ώτε = το τότε το Fείναι υντηρητικό ( υπάρχει f : R C υνάρτηη ώτε F = f ) Απόδειξη Ας ταθεροποιήουµε ένα τυχόν ηµείο (, ) Για κάθε Γ µε αρχικό ηµείο το (, ) θεωρούµε µια πολυγωνική γραµµή και τελικό το y ) ( το είναι υνεκτικό και ανοικτό ύνολο, πρβλθεώρηµα 5) Ορίζουµε τώρα την υνάρτηη f : R ως ακολούθως: (, ) f x y = F ds= pdx+ qdy Γ Γ Ιχυριζόµατε ότι η f είναι καλά οριµένη, δηλαδή αν Γ είναι µια άλλη πολυγωνική γραµµή µε Γ που ξεκινά από το (, ) και καταλήγει το y ) τότε () pdx+ qdy= pdx+ qdy Γ ( x, Γ ( x, y ) Για να δείξουµε την () είναι αρκετό να δείξουµε την () pdx+ qdy= pdx+ qdy pdx+ qdy = Γ x, y Γ x, y Γ( x, Γ ( x, y ) Οι πολυγωνικές γραµµές Γ και Γ ξεκινούν από το ηµείο (, ) και έτω (, ) το πρώτο ηµείο που υναντώνται µετά το (, ) γραµµή c που ξεκινά από το (, ) πηγαίνει το (, ) επιτρέφει το (, ) µέω της Τότε η πολυγωνική µέω της Γ και Γ είναι µια απλή κλειτή καµπύλη του απλά υνεκτικού τόπου και εποµένως είναι το ύνορο ενός ανοικτού απλά υνεκτικού

7 υνόλου G Από το θεώρηµα του Green q p pdx+ qdy= dxdy= G= c G Εποµένως c pdx+ qdy= και την υπόθεή µας έπεται ότι Οφείλουµε να παρατηρήουµε ότι, ενδέχεται οι δύο πολυγωνικές Γ και Γ να ταυτίζονται ε ένα αρχικό κοµµάτι τους Στην περίπτωη αυτή αν (, ) είναι το πρώτο ηµείο το οποίο ξεχωρίζουν, τότε η πολυγωνική γραµµή που ξεκινά από το (, ) πηγαίνει το (, ) µέω της Γ και επιτρέφει το (, ) µέω της Γ - είναι βέβαια κλειτή, και λόγω αντιθέτων προήµων των επικαµπυλίων ολοκληρωµάτων ( αφού ολοκληρώνουµε ε αντίθετες καµπύλες ) ικανοποιεί προφανώς την χέη pdx+ qdy= c Συνεχίζοντας µε τον ίδιο τρόπο, δηλαδή δουλεύοντας τώρα µε το (, ) την θέη του (, ), µετά από πεπεραµένα βήµατα ( αφού αν Γ είναι κλειτή πολυγωνική γραµµή του επιπέδου, το ανοικτό ύνολο R Γ του R έχει πεπεραµένο πλήθος υνεκτικών υνιτωών ) καταλήγουµε το ότι Γ Γ, ( x, y ) = c + c + + c x y N όπου οι ck, k =,,, N είναι ( κλειτές ) πολυγωνικές γραµµές του τη χέη () pdx+ qdy= για κάθε k =,,, N c k Η χέη () έπεται την () και άρα την () f x, y = p x, y Αποµένει να δείξουµε ότι: Σταθεροποιούµε ένα ηµείο (, ) (, ) (, ) Γ f και = q R που ικανοποιούν για κάθε x y και χηµατίζουµε τις διαφορές για h αρκετά µικρό ( f x + h y f x y = pdx+ qdy pdx+ qdy έτω ( x + h, y ) Γ( x, h> ) ώτε το ευθύγραµµο τµήµα ( x, y ),( x + h, y ) να περιέχεται το

7 Έπεται αµέως ότι υνεπώς (4) (, ) (, ) pdx+ qdy pdx+ qdy= pdx+ qdy και Γ( x ) + h, y Γ x, y ( x, y ), ( x+ h, y ) f x + h y f x y = pdx+ qdy ( x, y ), ( x + h, y ) Παραµετρικοποιούµε το ευθύγραµµο τµήµα ( x, y ),( x + h, y ) ( t) = + t( ( x + h, ( x, ) = ( x + th,, [,] '( t) =, t [,] ως t Συνεπώς Οπότε από την (4) υπολογίζουµε, ( +, ) (, ) = ( +, ) = ( +, ) f x h y f x y p x th y hdt h p x th y dt Έπεται ότι ( +, ) (, ) f x h y f x y lim = lim h h h +, p ( x, y ) dt = p ( x, y ) δηλαδή = p Σηµειώνουµε ότι αν n f p x th y dt = f µε h, τότε η ακολουθία υναρτήεων n n [ ] fn t p x thn, y, n, t, ( x, y ) ) οµοιόµορφα την ταθερά (, ) = + υγκλίνει ( από την υνέχεια της p το ( + ) = lim p x th, y dt p x, y dt h f p x y και αυτό δικαιολογεί την ιότητα Αναλόγως αποδεικνύεται ότι, ( x, y ) = q( x, y ) και η απόδειξη είναι πλήρης

7 Σηµειώνουµε ότι ( ε ένα ανοικτό και υνεκτικό R ) η πολυγωνική x, y του µπορεί να επιλεγεί ώτε να γραµµή που υνδέει τα ηµεία (, ) και είναι απλή ( να µην τέµνει τον εαυτό της ) και επί πλέον τα ευθύγραµµα τµήµατά της να είναι παράλληλα είτε προς τον άξονα των x ή προς τον άξονα των y Περαιτέρω ηµειώνουµε ότι η απόδειξη απλοποιείται ε κάποιο βαθµό, υποθέτοντας ότι το είναι ατρόµορφο Πράγµατι αν το είναι ατρόµορφο ως προς το ηµείο (, ), τότε ορίζουµε την f : R (, ), y ) Γ = ως εξής: (, ) f x y = pdx+ qdy, όπου Γ το προανατολιµένο ευθύγραµµο τµήµα από το (, ) το 55 Παρατήρηη Το θεώρηµα που αποδείξαµε µας λέει ε διαφορετική αλλά ιοδύναµη διατύπωη ότι: Ένα C διανυµατικό πεδίο F : U R R, όπου U απλά υνεκτικός τόπος είναι υντηρητικό αν και µόνο αν είναι ατρόβιλο ( ες και την παρατήρηη 4 ) Σηµειώνουµε ότι ένας ανάλογος χαρακτηριµός ιχύει και για διανυµατικά πεδία F : U R R υποθέτοντας ότι το U είναι ανοικτό και απλά υνεκτικό υπούνολο του R Επειδή δεν θα δώουµε τον ακριβή οριµό της απλής υνεκτικότητας τον R, ηµειώνουµε απλώς ότι παραδείγµατα ανοικτών και απλά υνεκτικών υνόλων τον R είναι τα ανοικτά και κυρτά ύνολα, ( άρα οι ανοικτές φαίρες ο ίδιος ο R, και τα ανοικτά ορθογώνια ) το R Κ, όπου Κ πεπεραµένο ύνολο επίης τα ανοικτά και ατρόµορφα υπούνολα του R κτλ Αν L είναι ευθεία του R τότε το ανοικτό ύνολο R L είναι υνεκτικό αλλά όχι απλά υνεκτικό Έτι αποδεικνύεται ότι αν F : U R R είναι C διανυµατικό πεδίο και το U απλά υνεκτικό ύνολο, τότε το F είναι υντηρητικό ακριβώς τότε αν το F είναι ατρόβιλο Το θεώρηµα του Green την γλώα των διανυµατικών πεδίων έχει τις ακόλουθες µορφές ( διατυπώεις) 56 Θεώρηµα ( ιανυµατική µορφή του θεωρήµατος του Green )Έτω φραγµένος τόπος του R µε κατά τµήµατα οµαλό ύνορο και F : R, F = pi+ qj, ένα C διανυµατικό πεδίο οριµένο ε µια περιοχή του Τότε F ds= ( curlf) kdα, ( όπου (,,) k = ) Απόδειξη: Θέτοµε F : R R : F x, y, z = F x, y,, x, y, z R, τότε όπως γνωρίζουµε ορίζουµε ως curlf τον τροβιλιµό του πεδίου F, δηλαδή curlf = = curl F ορ Έχουµε υπολογίει ότι q p curl F = k όπου k = (,,) R ( Παρατήρηη της ελίδας 9 ) Επειδή προφανώς q p curlf k = curl F k = µε αντικατάταη έχουµε το υµπέραµα

7 Σηµείωη Υπενθυµίζουµε ότι µε τον όρο τόπος εννοούµε ένα ανοικτό και υνεκτικό υπούνολο του R 57 Θεώρηµα ( της απόκλιης το επίπεδο ) Έτω απλά υνεκτικός τόπος :, R για την το επίπεδο που φράεται από την απλή κλειτή καµπύλη [ ] οποία υποθέτοµε ότι '( t) για κάθε t [, ] µοναδιαίο κάθετο διάνυµα το ύνορο = [ ] και F ( p, q) διανυµατικό πεδίο ε µια περιοχή του τότε () F nds= divfdα Αν n υµβολίζει το εξωτερικό = είναι ένα Όπου το αριτερό µέλος της () υµβολίζει το επικαµπύλιο ολοκλήρωµα πρώτου ( y '( t), x( t) ) είδους της βαθµωτής υνάρτηης, t [, ] F( ( t) ), όπου ' t (, ), [, ] t = x t y t t Απόδειξη Το εφαπτόµενο διάνυµα το ( t ) είναι το '( t ) = x '( t ), y '( t ) και η εφαπτόµενη ευθεία το έχει εξίωη l t = t + ' t t t, t R (, ) ' (, ) ' '( t) p x t y t y t q x t y t x t '( t) dt = (, ) ' (, ) ' p x t y t y t q x t y t x t dt = t C Το διάνυµα n είναι κάθετο την ευθεία l ( t) το ηµείο ( t ) και το πρόηµό του επιλέγεται ώτε να αντιτοιχεί προς την εξωτερική κατεύθυνη Έτι το n το ηµείο του δίνεται από τον τύπο, n n ( t ) ( y '( t), x '( t) ) = Το n ( t ) '( t) '( t ) = Έπεται ότι pdy qdx () Επίης p q divfdα= + dxdy () Από το θεώρηµα του Green και τις () και () υµπεραίνουµε ότι F nds= divfdα l, αφού F nds= Παρατήρηη Το γεγονός ότι το πρόηµο του διανύµατος επελέγη ώτε να αντιτοιχεί την εξωτερική κατεύθυνη µπορεί να ερµηνευθεί ως εξής: Η γραµµική ϕ : x, y R y, x R, τρέφει κατά την αρνητική φορά το απεικόνιη

74 διάνυµα y ) κατά υµβολιµό, αφού τότε ( π, π) είναι το π π Αυτό φαίνεται καλύτερα αν χρηιµοποιήουµε µιγαδικό ϕ z = iz ( z= x+ yi ) και το πρωτεύον όριµα του i το Έτι το εφαπτόµενο διάνυµα '( t) x '( t), y '( t) καµπύλης, τρέφεται κατά την αρνητική φορά κατά ( y '( t), x '( t) ) Με κανονικοποίηη παίρνουµε το η Παραδείγµατα ) Έτω F ( xy, y x) ( curlf) = της π και υνεπώς γίνεται = + Υπολογίτε το ολοκλήρωµα kdα, πάνω το χωρίο του πρώτου τεταρτηµόριου που φράεται από τις y= x και y = x Λύη Πρώτα υπολογίζουµε τον τροβιλιµό του F x, y, z = xy, y+ x,, που είναι, curl F F F F curlf = curl F = xy k = =,, = (,, x = ( ) Άρα Έπεται ότι, xy k F, ιοδύναµα, του curlf k = xy Η υνάρτηη αυτή ολοκληρώνεται πάνω το που είναι χωρίο τύπου µε την χρήη ενός διαδοχικού ολοκληρώµατος x ( x dxdy= ( x dy dx x = y xy dx = x x 5 x x x + x dx= + = 4 6 (Εδώ θεωρούµε το ως χωρίο τύπου, {, : και } = x y x x y x ) Μπορούµε επίης να υπολογίουµε πρώτα το επικαµπύλιο ολοκλήρωµα F ds, όπου είναι το ύνορο του χωρίου ( δες το χήµα ) και κατόπιν χρηιµοποιώντας την διανυµατική µορφή του θεωρήµατος του Green να έχουµε το ζητούµενο ολοκλήρωµα Το θετικά προανατολιµένο ύνορο του είναι το «άθροιµα» των καµπυλών και, ( ) t = t t t και ( t) = ( t, t), t [,] Έτι έχουµε: F ds= F ds F ds, = +, όπου [ ],,, ( ) ' F ds= F t t dt =

75 F ( x ( t ' ' ), y ( t )) ( x ( t ), y ( t )) dt 4 = (, ) (, ) = (, + ) (, ) 5 ( ) = t + t + t dt 4 = + + = 6 ' ( ) F t t t dt t t t t t dt ' ' F ds= F t t dt = F x ( t ), y ( t ) x t, y t dt = ( t, t ) (,) dt = ( t ) Εποµένως, ( ) = F ( t, t ) (,) 5 + t dt = + = 4 4 4 5 F ds= = και από την διανυµατική µορφή του θεωρήµατος 4 Green ) Έτω F ( y, x 5 ) curlf kdα= F ds= = Να υπολογιθεί το επικαµπύλιο ολοκλήρωµα ( πρώτου είδους) F nds το ύνορο του µοναδιαίου τετραγώνου Επειδή, µηδέν Λύη Από το θεώρηµα της απόκλιης έχουµε: 5 ( y ) ( x ) F nds= divf dα divf = + =, άρα το ζητούµενο ολοκλήρωµα ιούται µε dt