Harmonisk funktion

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 .

Egenskaper

Maximiprincipen

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

Liouvilles sats

En övertonsfunktion definierad på och avgränsad över eller under är konstant .

Den genomsnittliga egenskapen

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.

Differentieringsbarhet

En funktion som är harmonisk i en domän är oändligt differentierbar i den.

Harnacks ojämlikhet

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 ] .

Harnacks teorem

Låta vara  positiva harmoniska funktioner i någon domän . Om serien konvergerar åtminstone vid en punkt i regionen , konvergerar den likformigt inuti .

Harmoniska funktioner på det komplexa planet

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 .

Se även

Anteckningar

  1. A.F. Timan, V.N. Trofimov Introduktion till teorin om harmoniska funktioner. Moskva: Nauka, 1968

Litteratur