Harmonisk funktion

En harmonisk funktion  er en reel funktion , defineret og to gange kontinuerligt differentierbar på et euklidisk rum (eller dets åbne delmængde), der opfylder Laplace-ligningen :

hvor  er Laplace-operatoren , dvs. summen af ​​de anden afledede med hensyn til alle rektangulære kartesiske koordinater x i ( n = dim D  er rumdimensionen ).

For eksempel er den harmoniske funktion det elektrostatiske potentiale på punkter, hvor der ikke er nogen ladning .

Egenskaber

Det maksimale princip

Funktionen U, som er harmonisk i området , når kun sit maksimum og minimum ved grænsen . En harmonisk funktion kan således ikke have et lokalt ekstremum i et indre punkt , undtagen for det trivielle tilfælde af en konstant i funktionen. Funktionen kan dog være udefineret på grænsen, så det er mere korrekt at sige

Liouvilles sætning

En harmonisk funktion defineret på og afgrænset over eller under er konstant .

Den gennemsnitlige egenskab

Hvis en funktion er harmonisk i en eller anden bold centreret i punktet , så er dens værdi i punktet lig med dens gennemsnitlige værdi langs grænsen af ​​denne bold eller over bolden:

hvor  er kuglens rumfang og  er arealet af dens grænse.

Omvendt er enhver kontinuert funktion, der har middelegenskaben for alle bolde, der ligger i et bestemt område, harmonisk i dette område.

Differentierbarhed

En funktion, der er harmonisk i et domæne, er uendeligt differentierbar i den.

Harnacks ulighed

Hvis funktionen , som er harmonisk i en k-dimensionel kugle med radius centreret på et tidspunkt , er ikke-negativ i denne kugle, så gælder følgende uligheder for dens værdier på punkter inde i kuglen, der overvejes: , hvor [1 ] .

Harnacks sætning

Lade være  positive harmoniske funktioner i nogle domæne . Hvis serien konvergerer i det mindste på et punkt i regionen , så konvergerer den ensartet indeni .

Harmoniske funktioner på det komplekse plan

det komplekse plan er harmoniske funktioner tæt forbundet med holomorfe funktioner . Især gælder følgende påstand: for et vilkårligt domæne i , hvis dette er en holomorf funktion på , så er det en harmonisk funktion over .

Den omvendte påstand gælder også. Hvis er en harmonisk funktion over et simpelt forbundet domæne , så for en unik, op til en konstant, holomorf over funktionen .

Se også

Noter

  1. A.F. Timan, V.N. Trofimov Introduktion til teorien om harmoniske funktioner. Moskva: Nauka, 1968

Litteratur