H er seh, Symmetneeigenschaften linearer Rand- und EigenwertproUeme 147

lost in Q das Randwertproblem

( 3' ) Au = —q{z) in Ç, dujdn = g{a) längs y = yi,

wobei

( 4' ) е(^)=-д{гг)+ +q(zv)

und

( 5' ) g((r)=g{a^)+ . + (/г = /? + ?<^ = т + л)

Die Gültigkeit von (5') folgt wieder daraus, daß sich die Beitrage der inneren Punkte r^ = Гу paarweise aufheben ои/дщ + àujàn^ =■ О

Die Losbarkeitsbedmgung (6) übertragt sich von selbst von G auf Ç. (6 ) Ф g d<r = // ^ ^^^y

V Q

2 . 3. Konjugiert harmonische Funktionen

Betrachten wir wieder das Dirichletsche Problem zur Laplaceschen Gleichung (1") Av = 0 m G, v = f{s) längs Г,

und das ,,zugehörige" Neumannsche Problem

( 1' " ) Au = 0 m G, dujdn = df/ds längs Г

( Die Losbarkeitsbedmgung ф {dfjds) ds = 0 des Neumannschen Problems ist erfüllt.)

г

dujdn = dvjds längs /*, die harmonischen Losungsfunktionen и und v sind jugiert zueinander

Gemäß (2') und (2) definieren wir m Q die {ebenfalls harmonischen) Funktionen

u ( z ) = JJ u(z;^) + 2! w^""), v(z) = JS v(z:^) 21 ^(^p.

Langs des Randes y von Q ist v{a) = f{a) definiert durch (5); bei der Berechnung von dajdn beachte man, daß da^^^'^jda = +1 aber da^^^^jda = —1 ist, also gilt

dn da^^)^ ^ da^^)- da ^ ^^^ ^ ^ ^^^ ^^ da da

Also sind auch die harmonischen Funktionen и und v konjugiert. Aus einer m G tischen Funktion w = и -\- IV ist also eine m Q analytische Funktion w = и '\- iv standen Dies leuchtet auch direkt em:

( 2 " ) w(z):=2: w(zt) + 2; w{zj-);

jede Abbildung 2+(z) ist konform, jede z^(z) antikonform; folglich sind alle Funktionen w(z;^(z)) und w(z~(z)) analytisch, ihre Summe also ebenfalls. Diese Betrachtung wird durch das Schwarzsehe Spiegelungsprmzip der Funktionentheorie nahegelegt.

2 . 4. Greensche Funktion.

2 . 4. 1. Wir definieren die Greensche Funktion g(z, Ci G) m einem Gebiete G bei festem C^G durch folgendes Dirichlet-Problem zur Poissonschen Gleichung:

G ) =—ôç (Diracsches Maß im Punkte C),

i^zg ( z , C; U(^, C; G)

^^^ »-'- ^*G) = 0 fur z€r.