Harmonikus funkció

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 .

Tulajdonságok

A maximum elv

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

Liouville tétele

A -n definiált és fent vagy alul határolt harmonikus függvény állandó .

Az átlagos tulajdonság

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.

Differenciálhatóság

Egy tartományban harmonikus függvény végtelenül differenciálható benne.

Harnack egyenlőtlensége

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

Harnack tétele

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 .

Harmonikus függvények a komplex síkon

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 .

Lásd még

Jegyzetek

  1. A.F. Timan, V.N. Trofimov Bevezetés a harmonikus függvények elméletébe. Moszkva: Nauka, 1968

Irodalom