A harmonikus függvény egy euklideszi térben (vagy annak nyitott részhalmazában) meghatározott és kétszer folyamatosan differenciálható valós függvény , amely kielégíti a Laplace-egyenletet :
ahol a Laplace-operátor , vagyis a második derivált összege az összes derékszögű x i derékszögű koordinátára ( n = dim D a térdimenzió ).
Például a harmonikus függvény az elektrosztatikus potenciál olyan pontokon, ahol nincs töltés .
Az U függvény, amely harmonikus a tartományban , csak a határon éri el maximumát és minimumát . Így egy harmonikus függvénynek nem lehet lokális szélsőértéke egy belső pontban , kivéve a függvényben lévő állandó triviális esetét. Előfordulhat azonban, hogy a függvény definiálatlan a határon, ezért helyesebb ezt mondani
A -n definiált és fent vagy alul határolt harmonikus függvény állandó .
Ha egy függvény harmonikus egy pontban középpontban lévő golyóban , akkor az értéke a pontban megegyezik a golyó határa mentén vagy a golyó feletti átlagos értékével:
hol a gömb térfogata és a határának területe.
Ezzel szemben minden olyan folytonos függvény, amely egy adott régióban lévő összes golyó átlagos tulajdonságával rendelkezik, harmonikus ebben a tartományban.
Egy tartományban harmonikus függvény végtelenül differenciálható benne.
Ha a függvény , amely harmonikus egy k-dimenziós sugarú golyóban, amelynek középpontja egy bizonyos ponton van, nem negatív ebben a gömbben, akkor a következő egyenlőtlenségek érvényesek az értékeire a vizsgált gömbön belüli pontokban: , ahol [1 ] .
Legyenek pozitív harmonikus függvények valamilyen tartományban . Ha a sorozat a tartomány legalább egy pontján konvergál , akkor belül egyenletesen konvergál .
A komplex síkon a harmonikus függvények szorosan összefüggenek a holomorf függvényekkel . Konkrétan a következő állítás érvényes: egy tetszőleges tartományra -ben, ha ez egy holomorf függvény a -n , akkor ez egy harmonikus függvény felett .
A fordított állítás is érvényes. Ha harmonikus függvény egy egyszerűen összekapcsolt tartomány felett , akkor egyedi, akár konstans holomorf esetén a függvény felett .