O funcție armonică este o funcție reală , definită și de două ori diferențiabilă continuu pe un spațiu euclidian (sau submulțimea lui deschisă), care satisface ecuația Laplace :
unde este operatorul Laplace , adică suma derivatelor secunde în raport cu toate coordonatele carteziene dreptunghiulare x i ( n = dim D este dimensiunea spațiului ).
De exemplu, funcția armonică este potențialul electrostatic în punctele în care nu există sarcină .
Funcția U, care este armonică în regiunea , își atinge maximul și minimul numai la limita . Astfel, o funcție armonică nu poate avea un extremum local într- un punct interior , cu excepția cazului trivial al unei constante în funcție. Cu toate acestea, funcția poate fi nedefinită la graniță, așa că este mai corect să spunem
O funcție armonică definită și mărginită deasupra sau dedesubt este constantă .
Dacă o funcție este armonică într-o minge centrată în punctul , atunci valoarea ei în acest punct este egală cu valoarea medie de-a lungul limitei acestei mingi sau peste minge:
unde este volumul sferei și este aria limitei acesteia.
În schimb, orice funcție continuă care are proprietatea medie pentru toate bilele situate într-o anumită regiune este armonică în această regiune.
O funcție care este armonică într-un domeniu este infinit diferențiabilă în ea.
Dacă funcția , care este armonică într-o bilă k-dimensională de rază centrată într-un anumit punct , este nenegativă în această bilă, atunci următoarele inegalități sunt valabile pentru valorile sale în punctele din interiorul bilei luate în considerare: , unde [1 ] .
Fie funcții armonice pozitive într-un anumit domeniu . Dacă seria converge cel puțin într-un punct din regiune , atunci converge uniform în interior .
Pe plan complex , funcţiile armonice sunt strâns legate de funcţiile holomorfe . În special, următoarea afirmație este valabilă: pentru un domeniu arbitrar în , dacă aceasta este o funcție holomorfă pe , atunci este o funcție armonică peste .
Afirmația inversă este de asemenea valabilă. Dacă este o funcție armonică peste un domeniu pur și simplu conectat , atunci pentru o funcție unică, până la o constantă, holomorfă .