En harmonisk funktion är en reell funktion , definierad och två gånger kontinuerligt differentierbar på ett euklidiskt utrymme (eller dess öppna delmängd), som uppfyller Laplace-ekvationen :
där är Laplace-operatorn , dvs summan av andraderivatorna med avseende på alla rektangulära kartesiska koordinater x i ( n = dim D är rymddimensionen ).
Till exempel är den harmoniska funktionen den elektrostatiska potentialen vid punkter där det inte finns någon laddning .
Funktionen U, som är harmonisk i regionen , når sitt maximum och minimum endast vid gränsen . Således kan en harmonisk funktion inte ha ett lokalt extremum vid en inre punkt , förutom det triviala fallet med en konstant i funktionen. Funktionen kan dock vara odefinierad på gränsen, så det är mer korrekt att säga
En övertonsfunktion definierad på och avgränsad över eller under är konstant .
Om en funktion är harmonisk i någon boll centrerad vid punkten , är dess värde vid punkten lika med dess medelvärde längs gränsen för denna boll eller över bollen:
var är sfärens volym och är området för dess gräns.
Omvänt är varje kontinuerlig funktion som har medelegenskapen för alla bollar som ligger i en viss region harmonisk i denna region.
En funktion som är harmonisk i en domän är oändligt differentierbar i den.
Om funktionen , som är harmonisk i en k-dimensionell boll med radie centrerad vid någon punkt , är icke-negativ i denna boll, så gäller följande ojämlikheter för dess värden vid punkter inuti kulan som övervägs: , där [1 ] .
Låta vara positiva harmoniska funktioner i någon domän . Om serien konvergerar åtminstone vid en punkt i regionen , konvergerar den likformigt inuti .
På det komplexa planet är harmoniska funktioner nära besläktade med holomorfa funktioner . I synnerhet gäller följande påstående: för en godtycklig domän i , om detta är en holomorf funktion på , då är det en harmonisk funktion över .
Det omvända påståendet gäller också. Om är en harmonisk funktion över en enkelt ansluten domän , då för en unik, upp till en konstant, holomorf över funktionen .