ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 15: Αρμονικές συναρτήσεις. Μιχ. Γ. Μαριάς
Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου άδειας χρήσης, η άδεια χρήσης αναφέρεται ρητώς. 2
Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο» έχει χρηματοδοτήσει μόνο την αναδιαμόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. 3
Περιεχόμενα ενότητας 1. Αρμονικές συναρτήσεις. 2. Θεώρημα Liouville. 4
Σκοποί ενότητας Στην ενότητα αυτή παρουσιάζεται μία ενδιαφέρουσα εφαρμογή του Green στην Ανάλυση που αφορά τις αρμονικές συναρτήσεις. 5
Αρμονικές συναρτήσεις (1) Ορισμός: Μια πραγματική συνάρτηση u x, y με πεδίο ορισμού το ανοικτό A R 2 λέγεται αρμονική αν u x, y = x 2 u x, y + y 2 u x, y =, x, y A. Στην πραγματική ευθεία, οι μόνες αρμονικές είναι οι γραμμικές, αφού x 2 u x, y = u x = ax + b. Απεναντίας, στο επίπεδο υπάρχουν πολλές και ενδιαφέρουσες αρμονικές συναρτήσεις. Παραδείγματος χάριν, από τις εξισώσεις των Cauchy-Riemann συνάγεται ότι το πραγματικό και το φανταστικό μέρος μιας αναλυτικής συνάρτησης είναι αρμονικές συναρτήσεις. 6
Αρμονικές συναρτήσεις (2) Η log x, x R 2 είναι αρμονική, και με μια έννοια που θα γίνει κατανοητή στα πιο προχωρημένα μαθήματα της Ανάλυσης, παράγει όλες τις αρμονικές του επιπέδου. Στον μοναδιαίο δίσκο D,1 οι αρμονικές κατασκευάζονται μέσω του πυρήνα Poisson P x, y, x 1, y 1 που ορίζεται ως εξής. Αν x, y D,1 και x 1, y 1 D,1 τότε P x, y, x 1, y 1 = 1 1 x, y 2 x, y x 1, y 2 1 7
Αρμονικές συναρτήσεις (3) = 1 1 x 2 + y 2 x x 2 1 + y y 2 1 = 1 1 r 2 1 2rσυν θ θ 1 + r 2. Αν f: S,1 R είναι π.χ. C 1, τότε η u x, y = 1 1 r 2 1 2rσυν θ θ 1 + r 2 f θ 1 dθ 1 είναι αρμονική και λύνει το πρόβλημα της αρμονικής επέκτασης της f στον δίσκο: u x, y =, x, y D,1, u x, y f θ καθώς x, y e iθ S,1. 8
Αρμονικές συναρτήσεις (4) Χρησιμοποιώντας το Θεώρημα του Green ή τις ισοδύναμες εκφράσεις του, θα δείξουμε τα παρακάτω ουσιαστικά για τις αρμονικές: Την ιδιότητα του μέσου όρου. Για κάθε P A και για κάθε D P, r A, u P = 1 1 u = u r D P,r S P, r S P,r = 1 u P r + re iθ ire iθ dθ = 1 u P + re iθ dθ, εξού και η ορολογία. 9
Αρμονικές συναρτήσεις (5) Την αρχή του μεγίστου. Αν Α είναι συνεκτικό και το P int(a) είναι τοπικό μέγιστο της u, τότε η u είναι σταθερή. Μέσος όρος. Ξεκινούμε την μελέτη του μέσου όρου για μια C 2 συνάρτηση u. Θέτουμε M P, r = 1 u = 1 u P r D P,r r + re iθ ire iθ dt, αφού η t γ t = P + re iθ, t, είναι μια παραμετρικοποίηση της περιφέρειας D P, r και γ t = ire it. 1
Αρμονικές συναρτήσεις (6) Επιπλέον, u P + re it r αφού η u είναι C 2. r sup t, dt u P + re it r u P + re it <, Άρα μπορούμε να περάσουμε το όριο μέσα στο ολκλήρωμα, κι έτσι έχουμε lim M P 1, r = lim u P + re iθ r dt r r = 1 r lim u P + re iθ r dt dt 11
Αρμονικές συναρτήσεις (7) = 1 u P dt = u P, 1 αφού η u είναι C 2 και συνεπώς lim u P + re iθ = u P. r Θέλουμε τώρα να δείξουμε ότι r >, M P, r = u P = lim M P, r. 1 r Άρα αρκεί να δείξουμε ότι r M P, r =. Έχουμε 1 r M P, r = lim h h M P, r + h M P, r 12
Αρμονικές συναρτήσεις (8) = 1 1 = lim h h 1 = lim h h 1 = lim h 1 r + h 1 r + h 1 1 lim h h h lim h r D P,r+h u 1 r u P + r + h e it u P + re it rdt D P,r u r + h dt u P + r + h e it u P + re it dt 1 h u P + r + h e it u P + re it dt. 2 13
Αρμονικές συναρτήσεις (9) Όμως, το όριο lim h 1 h u P + r + h e it u P + re it είναι η παράγωγος στην διεύθυνση της ακτίνας (Σχ.1) που είναι κάθετος στην περιφέρεια. Σχήμα 1 14
Αρμονικές συναρτήσεις (1) Άρα είναι η παράγωγος στην διεύθυνση της εξωτερικής καθέτου n, δηλαδή 1 lim h h u P + r + h e it u P + re it = u n P + re it = u P + re it, n Συνδυάζοντας με την (2), έχουμε r M P, r = = 1 1 lim h h u P + r + h e it u P + re it dt = 1 u P + re it, n dt 15
Αρμονικές συναρτήσεις (11) = 1 = 1 r D P,r = 1 u P + re it D P,r u, n div u x, y dxdy, n rdt απόκλιση = 1 Δu x, y dxdy =, D P,r αφού η u είναι αρμονική. Εδώ χρησιμοποιήσαμε την ταυτότητα div u x, y = Δu x, y, 16
Αρμονικές συναρτήσεις (12) που αποδεικνύεται εύκολα με πράξεις. Επομένως r M P, r =, και συνεπώς M P, r = c = M P, = 1 u P, το οποίο είναι η ιδιότητα του μέσου όρου: u P = 1 u. r D P,r 17
Αρμονικές συναρτήσεις (13) Αρχή του μεγίστου. Υποθέτουμε ότι η u έχει π.χ. τοπικό μέγιστο στο P. Τότε, για μικρό ε >, u P < u P, P D P, ε. Άρα u P = 1 ε = 1 D P,ε u 1 ε u P + εe it dt u P + εe it Όμως, u P + εe it < u P και συνεπώς u P < 1 u P dt = u P, άτοπο, εκτός εάν η u είναι σταθερή στον D(P, ε). εdt 18
Αρμονικές συναρτήσεις (14) Τώρα, θα τελειώσουμε την απόδειξη, αν δείξουμε ότι u Ρ = c για οποιοδήποτε P μέσα στο Α. Όμως, το Α είναι συνεκτικό (κατά τόξα) και συνεπώς μπορούμε να ενώσουμε το P με το P με μια συνεχή καμπύλη γ που είναι εξ ολοκλήρου μέσα στο Α. Τέλος, η καμπύλη γ είναι συμπαγής, άρα μπορούμε να την καλύψουμε με πεπερασμένο αριθμό δίσκων D P j, ε, 1 j N ε, που ανήκουν εξ ολοκλήρου στο Α, αφού μπορούμε να πάρουμε το ε όσο μικρό θέλουμε και το Α είναι ανοικτό. Από το πρώτο βήμα λοιπόν έχουμε ότι u D Pj,ε = c j, 1 j N ε. Όμως, οι δίσκοι D P j, ε τέμνονται, άρα c 1 = c 2 = = c N = c. 19
Θεώρημα Liouville (1) Μία ενδιαφέρουσα συνέπεια του μέσου όρου είναι το ακόλουθο: Θεώρημα (Liouville): Αν η u: R 2 R είναι αρμονική και φραγμένη, τότε η u είναι σταθερή. Απόδειξη: Από την ιδιότητα του μέσου όρου έχουμε u P = 1 u = 1 ρ 2 u r D P,r r D P,r ρ 2 rdr = 1 ρ u P πr + re iθ 1 rdθ ρ 2 rdr = 1 ρ πρ 2 u P + re iθ rd rdθ 2
Θεώρημα Liouville (2) = 1 πρ 2 u P + x, y dxdy. D P,ρ Από τον ως άνω τύπο και το γεγονός ότι η u είναι φραγμένη, έχουμε u P u P 1 = = 1 πρ 2 u P + x, y dxdy D P,ρ u P + x, y dxdy D P 1,ρ 21
Θεώρημα Liouville (3) 1 πρ 2 sup R 2 u dxdy D P,ρ D P 1,ρ + dxdy D P 1,ρ D P,ρ ρ, αφού το μέτρο της συμμετρικής διαφοράς D P, ρ D P 1, ρ D P 1, ρ D P, ρ, διαιρεμένο με ρ 2, τείνει στο καθώς το ρ (κάντε ένα σχήμα). 22
Αρμονικές και μέσος όρος (1) Θα δείξουμε τώρα ότι η ιδιότητα του μέσου όρου χαρακτηρίζει πλήρως τια αρμονικές συναρτήσεις. Πρόταση: Αν η u: D R είναι C 2 και ικανοποιεί την ιδιότητα του μέσου όρου για όλους τους δίσκους που περιέχονται στο D, τότε είναι αρμονική. Απόδειξη: Ας είναι D P, r ένας δίσκος που περιέχεται στο D. Θα εκφράσουμε την u P με την βοήθεια του μέσου όρου M P, r. Καταρχήν, από την υπόθεση έχουμε u P = 1 u P + re iθ dθ = M P, r, και αφού το u P είναι ανεξάρτητο του r, έπεται ότι r M P, r = r u P =. 23
Αρμονικές και μέσος όρος (2) Από τον κανόνα της αλυσίδας έχουμε u r = u x x r + u y y r, και συνεπώς = 1 Άρα r M P, r = 1 r u P + re iθ dθ x u P + re iθ συνθ + y u P + re iθ ημθ dθ r 2 M P, r = 1 r 2 u P + re iθ dθ =. 24
Αρμονικές και μέσος όρος (3) = 1 x 2 u P + re iθ + xy u P + re iθ συνθημθ + 2 y u P + re iθ ημ 2 θ dθ r συν 2 θ + 2 xy u P + re iθ συνθημθ x 2 u P 1 συν 2 θdθ + y 2 u P 1 + 2 2 1 xy u P ημ 2 θdθ = 1 2 x 2 u P + 1 2 y 2 u P. συνθημθdθ 25
Αρμονικές και μέσος όρος (4) Άρα για κάθε P D, 1 2 u P = r 2 M P, r =, δηλαδή η u είναι αρμονική. 26
Βιβλιογραφία 1. Γ. Γεωργανόπουλος, Ολοκληρωτικός Λογισμός Πολλών Μεταβλητών, Εκδόσεις Αδελφοί Κυριακίδη, Θεσσαλονίκη, 1995. 2. Τ. Χατζηαφράτης, Απειροστικός Λογισμός σε Πολλές Μεταβλητές, Αθήνα, 1996. 3. J. Marsden, A. Tromba, Διανυσματικός Λογισμός, Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο, 2. 4. M. Spivac, Λογισμός σε Πολλαπλότητες, Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο, 1994. 27
Σημείωμα Αναφοράς Copyright, Μιχάλης Μαριάς. «. Ενότητα 15: Αρμονικές συναρτήσεις». Έκδοση: 1.. Θεσσαλονίκη 214. Διαθέσιμο από τη δικτυακή διεύθυνση: http://eclass.auth.gr/courses/ocrs437/
Σημείωμα Αδειοδότησης Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά - Παρόμοια Διανομή [1] ή μεταγενέστερη, Διεθνής Έκδοση. Εξαιρούνται τα αυτοτελή έργα τρίτων π.χ. φωτογραφίες, διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης Έργων Τρίτων». Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να χρησιμοποιεί το έργο για εμπορική χρήση, εφόσον αυτό του ζητηθεί. [1] http://creativecommons.org/licenses/by-sa/4./
Διατήρηση Σημειωμάτων Οποιαδήποτε αναπαραγωγή ή διασκευή του υλικού θα πρέπει να συμπεριλαμβάνει: το Σημείωμα Αναφοράς το Σημείωμα Αδειοδότησης τη δήλωση Διατήρησης Σημειωμάτων το Σημείωμα Χρήσης Έργων Τρίτων (εφόσον υπάρχει) μαζί με τους συνοδευόμενους υπερσυνδέσμους.
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Τέλος ενότητας Επεξεργασία: Αναστασία Γ. Γρηγοριάδου Θεσσαλονίκη, Εαρινό εξάμηνο 214-215