Αρμονική συνάρτηση

Στα μαθηματικά, τη μαθηματική φυσική και στη θεωρία των στοχαστικών διαδικασιών, μια αρμονική συνάρτηση είναι μια δύο φορές συνεχώς διαφορίσιμη συνάρτηση f:U→R (όπου U ένα ανοικτό υποσύνολο του Rn), η οποία ικανοποιεί την εξίσωση Λαπλας π.χ

 ,παντού στο U.

Αυτό συνήθως γράφεται ως:   ή  .

Ετυμολογία του όρου "αρμονική" 
Ο όρος "αρμονική" στην ονομασία αρμονική συνάρτηση προέρχεται από την αρμονική κίνηση στην οποία υποβάλλεται ένα σημείο σε μια τεντωμένη χορδή. Η λύση της διαφορικής εξίσωσης για αυτόν τον τύπο κίνησης μπορεί να εκφραστεί με όρους ημιτόνων και συνημιτόνων, συναρτήσεις δηλαδή που αναφέρονται ως αρμονικές. Η ανάλυση Φουριέ περιλαμβάνει επεκταμένες περιοδικές συναρτήσεις στο μοναδιαίο κύκλο με όρους μιας σειράς αυτών των αρμονικών συναρτήσεων. Αναλογιζόμενοι υψηλότερης τάξης αναλογίες των αρμονικών στη μοναδιαία n-σφαίρα, έχουμε τις σφαιρικές αρμονικές. Οι συναρτήσεις αυτές ικανοποιούν την εξίσωση του Λαπλάς, για αυτό και με την πάροδο του χρόνου, ο όρος "αρμονική" κατέληξε να αναφέρεται σε όλες τις συναρτήσεις που ικανοποιούν την εξίσωση Λαπλάς.

Παραδείγματα 
Παραδείγματα αρμονικών συναρτήσεων με δύο μεταβλητές είναι:
 Το πραγματικό ή το φανταστικό μέρος μιας ολόμορφης συνάρτησης
 Η συνάρτηση , αυτή είναι μια ειδική περίπτωση του παραπάνω παραδείγματος, καθώς  και η  είναι ολόμορφη συνάρτηση.
 Η συνάρτηση
 
 ορίζεται  (π. χ. το ηλεκτρικό δυναμικό που οφείλεται σε μια γραμμή, και το δυναμικό βαρύτητας που οφείλεται σε μια μεγάλη κυλινδρική μάζα).
Παραδείγματα αρμονικών συναρτήσεων τριών μεταβλητών δίνονται στον παρακάτω πίνακα με :
 {| class="wikitable"
!Συνάρτηση
!Σημείο Ανωμαλίας
|-
| align="center" |
|Μοναδιαίο σημειακό φορτίο στην αρχή των αξόνων
|-
| align="center" |
|x-προσανατολισμένο δίπολο στην αρχή των αξόνων
|-
| align="center" |
|Ευθεία μοναδιαίας πυκνότητας φορτίου σε ολόκληρο το z-άξονα
|-
| align="center" |
|Ευθεία μοναδιαίας πυκνότητας φορτίου στον αρνητικό z-άξονα
|-
| align="center" |
|Ευθεία x-προσανατολισμένων διπόλων σε ολόκληρο τον άξονα z
|-
| align="center" |
|Ευθεία x-προσανατολισμένων διπόλων στον αρνητικό άξονα z
|}
Αρμονικές συναρτήσεις που προκύπτουν στη φυσική προσδιορίζονται από τα ανώμαλα σημεία και τις συνοριακές συνθήκες (όπως είναι οι οριακές συνθήκες Dirichlet ή οι Neumann οριακές συνθήκες). Στις περιοχές χωρίς όρια, προσθέτοντας το πραγματικό ή το φανταστικό μέρος κάθε συνάρτησης παράγεται μια αρμονική συνάρτηση με το ίδιο ανώμαλο σημείο. Σε αυτή την περίπτωση, η αρμονική συνάρτηση δεν καθορίζεται από το ανώμαλο σημείο της, ωστόσο, μπορούμε να κάνουμε τη λύση μοναδική  σε φυσικές καταστάσεις, απαιτώντας ότι η λύση τείνει στο 0, καθώς τείνουμε στο άπειρο. Η μοναδικότητα προκύπτει από το θεώρημα του Liouville.

Τα ανώμαλα σημεία των παραπάνω αρμονικών συναρτήσεων εκφράζονται ως "φορτία" και "πυκνότητες φορτίων" χρησιμοποιώντας την ορολογία της ηλεκτροστατικής. Έτσι η αντίστοιχη αρμονική συνάρτηση θα είναι ανάλογη με το ηλεκτροστατικό δυναμικό λόγω αυτών των κατανομών του φορτίου. Κάθε ανωτέρω συνάρτηση όταν πολλαπλασιαστεί με μια σταθερά, που περιστρέφεται, ή/και μια σταθερά που προστίθεται, θα παραγάγει μια άλλη αρμονική συνάρτηση. Η αντιστροφή κάθε συνάρτησης, θα δώσει άλλη μια αρμονική συνάρτηση η οποία έχει ανώμαλα σημεία της εικόνες των αρχικών ανώμαλων σημείων σε ένα σφαιρικό "καθρέφτη". Ακόμη, το άθροισμα δύο αρμονικών συναρτήσεων θα δώσει άλλη μια αρμονική συνάρτηση.

Τέλος, παραδείγματα αρμονικών συναρτήσεων n μεταβλητών είναι:
 Οι σταθερές, γραμμικές και συναφής συναρτήσεις σε όλο το Rn (για παράδειγμα, το ηλεκτρικό δυναμικό μεταξύ των πλακών του πυκνωτή, και το βαρύτικό δυναμικό της πλάκας)
 Η συνάρτηση  στο  για n > 2.

Παρατηρήσεις 
Το σύνολο των αρμονικών συναρτήσεων που ορίζονται σε ένα δοσμένο ανοιχτό σύνολο U μπορεί να θεωρηθεί ως ο πυρήνας ενός τελεστή Λαπλάς Δ και για το λόγο αυτό αποτελεί διανυσματικό χώρο πάνω στο R; το άθροισμα, η διαφορά και το βαθμωτό γινόμενο αρμονικών συναρτήσεων είναι επίσης αρμονικά.

Εάν f είναι μια αρμονική συνάρτηση στο σύνολο U, τότε όλες οι μερικές παράγωγοι της f θα είναι αρμονικές συναρτήσεις στο U.

Κατά κάποιο τρόπο, οι αρμονικές συναρτήσεις είναι οι πραγματικές συναρτήσεις ανάλογες των ολόμορφων συναρτήσεων.

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

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

Ας εξεταστεί η ακολουθία  , ορισμένη στο . Η ακολουθία αυτή είναι αρμονική και συγκλίνει ομοιόμορφα στη μηδενική συνάρτηση. Παρ' όλα αυτά πρέπει να σημειωθεί ότι οι μερικές παράγωγοι της δεν συγκλίνουν στη μηδενική συνάρτηση(δηλαδή την παράγωγο της μηδενικής συνάρτησης). Με το παράδειγμα αυτό τονίζεται η σημασία που παίζει η ιδιότητα της μέσης τιμής και η συνέχεια για να υποστηριχθεί ότι το όριο είναι αρμονικό.

Σύνδεση με τη θεωρία των μιγαδικών συναρτήσεων 
Το πραγματικό και το φανταστικό μέρος κάθε ολόμορφης συνάρτησης δίνουν αρμονικές συναρτήσεις στον R2 (αυτές αποτελούν ένα ζευγάρι σηζυγών αρμονικών συναρτήσεων). Αντιστρόφως, κάθε αρμονική συνάρτηση u σε ένα ανοιχτό υποσύνολο Ω του R2 είναι τοπικά το πραγματικό μέρος μιας ολόμορφης συνάρτησης. Αυτό είναι άμεσα αντιληπτό παρατηρώντας την z = x + iy, Η μιγαδική συνάρτηση g(z) := ux − i uy είναι ολόμορφη στο Ω επειδή ικανοποιεί τις εξισώσεις Cauchy-Riemann. Ως εκ τούτου, η g έχει τοπικά αρχική συνάρτηση μια f, και το u είναι το πραγματικό μέρος της f ως προς μια σταθερά, όπως το ux είναι το πραγματικό μέρος της  .

Αν και η παραπάνω αντιστοιχία με τις ολόμορφες συναρτήσεις ισχύει μόνο για συναρτήσεις δύο πραγματικών μεταβλητών, αρμονικές συναρτήσεις με n μεταβλητές εξακολουθούν να έχουν μια σειρά από ιδιότητες που χαρακτηρίζουν τις ολόμορφες συναρτήσεις. Είναι αναλυτικές, ικανοποιούν την αρχή του μεγίστου και της μέσης τιμής.Το θεώρημα της απαλοιφής των ανώμαλων σημείων καθώς και το θεώρημα Liouville ισχύει και για αυτές κατ ' αναλογία με τα αντίστοιχα θεωρήματα στη θεωρία των μιγαδικών συναρτήσεων.

Ιδιότητες των αρμονικών συναρτήσεων 
Κάποιες σημαντικές ιδιότητες των αρμονικών συναρτήσεων μπορούν να εξαχθούν από την εξίσωση του Λαπλάς.

Θεώρημα Κανονικότητας για αρμονικές συναρτήσεις 
Οι αρμονικές συναρτήσεις είναι απείρως διαφορίσιμες. Για την ακρίβεια, οι αρμονικές συναρτήσεις είναι συναρτήσεις αναλυτικές.

Αρχή του Μεγίστου 
Οι αρμονικές συναρτήσεις ικανοποιούν την παρακάτω αρχή μεγίστου: εάν Κ είναι ένα συμπαγές υποσύνολο του U, τότε η συνάρτηση f, περιορισμένη στο Κ, παίρνει τη μέγιστη και ελάχιστη τιμή της στο σύνορο του Κ. Εάν to U είναι συνεκτικό, τότε η f δεν μπορεί να έχει τοπικά ακρότατα, εκτός από την εξαιρετική περίπτωση όπου η f είναι σταθερή.

Ιδιότητα του Μέσου Όρου 
Εάν B(x, r) είναι μια μπάλα με κέντρο το x και ακτίνα r , η οποία περιέχεται εξ'ολοκλήρου μέσα σε ένα ανοιχτό σύνολο Ω ⊂ Rn , τότε η τιμή u(x) μιας αρμονικής συνάρτησης u: Ω → R στο κέντρο της μπάλας προκύπτει από το μέσο όρο των τιμών της u στην επιφάνεια της μπάλας. Αυτή η μέση τιμή ισούται επίσης με τη μέση τιμή της u στο εσωτερικό της μπάλας. Με άλλα λόγια

,

όπου ωn  είναι ο όγκος της μοναδιαίας σφαίρας σε n διαστάσεις και σ είναι το n-1 διάστατο επιφανειακό μέτρο.

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

Με όρους συνελίξεων, εάν

συμβολίζει τη χαρακτηριστική συνάρτηση μιας μπάλας, με ακτίνα r και κέντρο την αρχή των αξόνων, κανονικοποιημένης έτσι ώστε , τότε η συνάρτηση f είναι αρμονική αν και μόνον εάν

, όταν B(x, r) ⊂ Ω.

Ανισότητα του Χαρνακ 
Έστω u μια μη-αρνητική αρμονική συνάρτηση σε ένα φραγμένο πεδίο Ω. Τότε για κάθε συνεκτικό σύνολο

 ισχύει :

 ,όπου C είναι μια σταθερά που εξαρτάται μόνο από τα V και Ω.

Απαλοιφή/Εξάλειψη των Ανωμαλιών 
Η παρακάτω αρχή της εξάλειψης των ανώμαλων σημείων ισχύει για τις αρμονικές συναρτήσεις.

Εάν f είναι μια αρμονική συνάρτηση ορισμένη σε ένα ανοιχτό υποσύνολο  του Rn , η οποία παρουσιάζει μικρότερη ανωμαλία στο  από ότι η θεμελιώδης λύση, δηλαδή

τότε η f επεκτείνεται σε μια αρμονική συνάρτηση στο Ω. (Σύγκριση με το θεώρημα Riemann για συναρτήσεις μιας μιγαδικής μεταβλητής).

Θεώρημα του Liouville 
Εάν f είναι μια αρμονική συνάρτηση, άνω και κάτω φραγμένη, ορισμένη σε ολόκληρο το Rn  ,τότε η f είναι σταθερή. Ο Edward Nelson παρουσίασε μια εξαιρετικά μικρή απόδειξη του θεωρήματος αυτού, βασισμένη στην ιδιότητα της μέσης τιμής που αναφέρθηκε παραπάνω:Δοσμένων δυο σημείων, επιλέξτε δυο μπάλες με κέντρα τα σημεία αυτά και ακτίνες ίσες. Εάν οι ακτίνες είναι αρκετά μεγάλες, τότε οι δυο μπάλες θα συμπίπτουν εκτός από μια αυθαίρετα μικρή περιοχή του όγκου τους. Εφόσον η f είναι φραγμένη, η μέση τιμή της πανω στις δυο μπάλες θα είναι τόσο κοντά, ώστε η f να θεωρείται οτι παίρνει την ίδια τιμή σε κάθε ζεύγος σημείων.

Γενικεύσεις

Ασθενής αρμονική συνάρτηση 
Μια συνάρτηση (ή γενικότερα μια κατανομή) είναι ασθενώς αρμονική εάν ικανοποιεί ασθενώς την εξίσωση του Λαπλάς . Μια ασθενώς αρμονική συνάρτηση συμπίπτει σχεδόν εξ'ολοκλήρου με μια ισχυρά αρμονική συνάρτηση, και είναι συγκεκριμένα, λεία. Μια ασθενώς αρμονική κατανομή είναι ακριβώς η κατανομή εκείνη που σχετίζεται με μια ισχυρώς αρμονική συνάρτηση, είναι όμως επιπλέον και λεία. Αυτό είναι το λήμμα του Γουέιλ.

Υπάρχουν κι άλλες ασθενής φόρμουλες της εξίσωσης Λαπλάς που είναι συχνά χρήσιμες. Μια από αυτές είναι η αρχή του Ντιριχλετ. Η αρχή αυτή αναπαριστά τις αρμονικές συναρτήσεις H1(Ω) στο χώρο του Σομπολεφ, σαν ελαχιστοποιητές του ολοκληρώματος της ενέργειας του Ντιριχλετ

συναρτήσει τοπικών μεταβολών, δηλαδή όλες τις συναρτήσεις  όπως  J(u) ≤ J(u + v) ισχύει για όλες τις  ή ισοδύναμα, για όλες τις

Αρμονικές συναρτήσεις σε πολλαπλότητες 
Οι αρμονικές συναρτήσεις είναι δυνατόν να οριστούν σε μια τυχαία πολλαπλότητα Ριμαν, χρησιμοποιώντας τον τελεστή Λαπλας-Μπελτραμι Δ. Μέσα σε αυτό το πλαίσιο, μια συνάρτηση ονομάζεται αρμονική αν και μόνον εάν 

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

Υφαρμονικές συναρτήσεις 
Μια C2  συνάρτηση για την οποία ισχύει  Δf ≥ 0, ονομάζεται υφαρμονική. Η συνθήκη αυτή εγγυάται ότι η αρχή του μεγίστου ισχύει, παρ' όλο που άλλες ιδιότητες των αρμονικών συναρτήσεων υπάρχει περίπτωση να μην ισχύουν. Γενικότερα, μια συνάρτηση είναι υφαρμονική αν και μόνο αν, στο εσωτερικό κάθε μπάλας στο πεδίο ορισμού της, το γράφημά της βρίσκεται κάτω από το γράφημα της αρμονικής συνάρτησης που παρεμβάλλεται μεταξύ των συνοριακών τιμών της μπάλας.

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

Αρμονικές απεικονίσεις μεταξύ πολλαπλοτήτων 
Εάν Μ και Ν είναι δυο πολλαπλότητες Ριμαν, τότε μια αρμονική απεικόνιση u: M  N ορίζεται να είναι ένα κρίσιμο σημείο της ενέργειας Ντιριχλετόπου  είναι το διαφορικό της u, και η νόρμα είναι αυτή που συμπεριλαμβάνεται από τη μετρική στο Μ και αυτή στο Ν στο εξωτερικό γινόμενο T*M ⊗ u−1 TN.Σημαντικές ειδικές περιπτώσεις αρμονικών απεικονίσεων μεταξύ πολλαπλοτήτων αποτελούν οι ελάχιστες επιφάνειες, οι οποίες είναι ακριβώς εκείνες οι αρμονικές ενθέσεις μιας επιφάνειας στον τρισδιάστατο Ευκλείδειο χώρο. Γενικότερα,οι ελάχιστες υποπολλαπλότητες είναι αρμονικές ενθέσεις μιας πολλαπλότητας στην άλλη. Οι αρμονικές συντεταγμένες είναι αρμονικοί διφεομορφισμοί από μια πολλαπλότητα σε ένα ανοιχτό υποσύνολο της ίδιας διάστασης στον Ευκλείδειο χώρο.