Harmonická funkce je reálná funkce , definovaná a dvakrát spojitě diferencovatelná na euklidovském prostoru (nebo jeho otevřené podmnožině), splňující Laplaceovu rovnici :
kde je Laplaceův operátor , tj. součet druhých derivací vzhledem ke všem pravoúhlým kartézským souřadnicím x i ( n = dim D je prostorová dimenze ).
Například harmonická funkce je elektrostatický potenciál v bodech, kde není žádný náboj .
Funkce U, která je v oblasti harmonická , dosahuje svého maxima a minima pouze na hranici . Harmonická funkce tedy nemůže mít lokální extrém ve vnitřním bodě , kromě triviálního případu konstanty ve funkci. Funkce však může být na hranici nedefinovaná, takže je správnější říci
Harmonická funkce definovaná na a ohraničená nad nebo pod je konstantní .
Pokud je funkce harmonická v nějaké kouli se středem v bodě , pak se její hodnota v bodě rovná její průměrné hodnotě podél hranice této koule nebo nad koulí:
kde je objem koule a je plocha její hranice.
Naopak jakákoli spojitá funkce, která má střední vlastnost pro všechny kuličky ležící v určité oblasti, je v této oblasti harmonická.
Funkce, která je v definičním oboru harmonická, je v něm nekonečně diferencovatelná .
Pokud funkce , která je harmonická v k-rozměrné kouli o poloměru se středem v nějakém bodě , je v této kouli nezáporná, pak pro její hodnoty v bodech uvnitř uvažované koule platí následující nerovnosti: , kde [1 ] .
Dovolit být pozitivní harmonické funkce v nějaké oblasti . Jestliže řada konverguje alespoň v jednom bodě v oblasti , pak konverguje rovnoměrně uvnitř .
Na komplexní rovině jsou harmonické funkce úzce spjaty s funkcemi holomorfními . Zejména platí následující tvrzení: pro libovolnou doménu v , je -li toto holomorfní funkce na , pak je to harmonická funkce nad .
Platí i opačné tvrzení. Jestliže je harmonická funkce nad jednoduše připojenou doménou , pak pro jedinečnou, až konstantní, holomorfní nad funkcí .