In dieser Formel bedeutet d U die Ableitung der Funktion U an einem Punkt der Kreislinie Ko, genommen in der Richtung der innern Normale des Kreisringes (K。 K1). đơ bedeutet das Bogenelement auf dem Rand von (K, K'). 0 Der Beweis des Satzes ergiebt sich einfach, wenn wir in die Green'sche Integralformel eintragen, wo r den variablen Abstand eines Punktes von dem gemeinsamen Mittelpunkt unserer Kreise bedeutet, und dann die Integration über die Begrenzung von (K, K1) ausführen. Weil auf K, die Funktion u=U=0, während vlog ist, so erhalten wir auf dieser Kurve den Beitrag JU διασ ; folglich giebt die Integration daselbst den Wert Der hiermit bewiesene Mittelwertsatz giebt eine sehr einfache Beziehung zwischen dem Mittelwert der U-Werte auf K1 und den normalen Ableitungen auf K。. (2) 1 wo die rechte Seite von der speziellen Auswahl der Funktion U unabhängig ist. Also stellt auch die linke Seite eine von U unabhängige Zahl dar. Behält U im Ringgebiete (K。 K') dasselbe Vorzeichen, z. B. das positive, so kann aus dieser Tatsache eine für die folgende Entwickelung wichtige Folgerung mit Hilfe des Harnack'schen Prinzips abgeleitet werden. Es sei P ein ganz beliebiger Punkt auf der Kreislinie K1 und U(P) der Wert von U in diesem Punkt. Dann besteht folgender Satz: . 1 II. Ist U eine im Kreisring (KK') positive, reguläre und eindeutige Potentialfunktion, die auf K。 verschwindet, so giebt es eine von der speziellen Auswahl der Funktion U unabhängige Zahl q<1, die so beschaffen ist, dass Weil nämlich U in dem ganzen Kreisring (K, K') ihr Vorzeichen behält, so ist nach dem Harnack'schen Prinzip auf der ganzen Kreislinie K1 q U (P) <U <1U (P), wo q(1) von U unabhängig ist. Aus diesen Ungleichungen folgt durch Integration woraus schliesslich auf Grund von (2), die Ungleichungen (3) folgen. 4. Der Satz II giebt unmittelbar Anlass zu folgendem Konvergenzsatz: eine zunehmende Reihe von Potentialfunktionen, die sämtlich auf der Kreislinie K, verschwinden und in dem Kreisring (K, K') positiv, regulär und eindeutig sind. Dann ist die notwendige und hinreichende Bedingung für die Konvergenz dieser Reihe, dass die ebenfalls zunehmenden Zahlen Der erste Teil des Satzes folgt unmittelbar aus dem Satz II. Denn nach dem Harnack'schen Prinzip konvergiert oder divergiert die Reihe (4) jenachdem die Zahlen unterhalb einer endlichen Grenze liegen oder ins Unendliche wachsen. Aus dem Satz II folgt aber, dass die Reihen (5) und (6) gleichzeitig unterhalb einer endlichen Grenze bleiben oder ins Unendliche wachsen. n Wenn nun die Reihe der Funktionen U gegen eine Grenzfunktion U= lim U konvergiert, so ist diese Funktion U im Innern von (K, K') eine reguläre eindeutige Potentialfunktion. Bilden wir jetzt diejenige Potentialfunktion ∞, die auf K。 verschwindet und auf der Kreislinie K1 die Werte von U annimmt, so ist im Kreisring (K, K1) die Funktion >U und also in demselben Gebiet >U. Diese Beziehung besagt, dass die Werte von U gegen Null herabsinken, wenn wir uns der Kreislinie K, nähern. n Ist nun K' das Spiegelbild von K' in Bezug auf die Kreislinie Ko, so sind bekanntlich die Potentiale U„ und U, weil sie längs K。 verschwinden, in den Bereich (KK) fortsetzbar, wobei jede dieser Funktionen in zwei durch die Spiegelung zusammenhörenden Punkten entgegengesetzte Werte aufweist, und in dem Bereich (K' K') regulär und eindeutig ist. Ist & beliebig klein, so können wir sicher no so gross wählen, dass für n>n。 auf der Kreislinie K1 daraus folgt, dass auf der durch Spiegelung von K, entstandenen Kreislinie K1 ist. Die Ungleichungen (7) und (8) besagen, dass in dem ganzen Kreisring (Ã, K1) n oder anders ausgedrückt, dass die Potentiale U in dem ganzen Bereich (K, K1) gleichmässig gegen U konvergieren. Da K。 eine innere Kurve dieses Bereiches ist, Grenzfunktion U eine normale Ableitung hat und dass so folgt, dass längs dieser Kurve die n δν d U gleichmässig in übergeht. δν Hiermit ist der Satz III vollständig bewiesen. Aus dem letzten Ergebnis können eine Gleichung, die bei der folgenden Untersuchung oft zur Anwendung kommt. 5. Wir beweisen weiter folgende Sätze über Wertschwankungen von Potentialen. IV. Es seien Ko, K1 und K' drei konzentrische Kreise mit den Radien ro <ri <r'. Weiter sei W eine im Kreisring (K, K') incl. K。 und K' reguläre und eindeutige Potentialfunktion, die auf K, verschwindet und deren Werte auf K' den Mittelwert Null haben, so dass 1st dann DW die Schwankung von W auf der Kreislinie K', so besteht auf der Kreislinie K1 die Beziehung Wir bezeichnen mit Weine Potentialfunktion, die für die ganze Kreisfläche K' erklärt ist und auf der Kreisperipherie K' mit W übereinstimmt. Diese Funktion hat dann im Mittelpunkt den Wert der nach unserer Voraussetzung gleich Null ist. Folglich hat diese Funktion auf jeder mit unseren Kreisen konzentrischen Kreislinie innerhalb K' sowohl positive als negative Werte. Nach einem bekannten Satz 1) über Potentiale, die in einer Kreisfläche regulär sind und in dem Kreismittelpunkt verschwinden, können wir schliessen, dass auf der Kreislinie K1 Die Funktion W-W verschwindet auf der Peripherie von K', weil W und W daselbst dieselben Randwerte haben. Auf der Peripherie von K, ist W=0, woraus folgt, dass die Werte von W-W daselbst mit - W übereinstimmen. Wir können aus dieser Tatsache den Schluss ziehen, dass der maximale Wert von | W-W| im Kreisring (K, K') sicher nicht grösser ist als der maximale Wert von W❘ auf dem Rand von K。. Dieser maximale Wert ist seinerseits kleiner als der maximale Wert von |W| auf der Kreislinie K1. Also ist nach (11) für alle Punkte im Kreisring (KK) und infolgedessen auch für alle Punkte auf der Kreislinie K1 1) Vgl. Harnack: Das logarithmische Potential S. 65. Ernst Lindelöf: Mémoire sur certaines inégalités dans la théorie de fonctions monogènes et sur quelques propriétés nouvelles de ces fonctions dans le voisinage d'un point singulier essentiel pg. 16 Acta Societatis Scientiarum Fennicae, Tom. XXXV, N:o 7. Aus (11), (12) und (13) folgt unmittelbar, dass auf der Peripherie von K1 q. e. d. Ко K' V. Es sei wo eine im Kreisring (K。K') reguläre und eindeutige Potentialfunktion, deren Schwankung auf Ko, Dowo, grösser ist als die Schwankung auf K, Dwo. Weiter sei w eine in der ganzen Kreisfläche K' reguläre Potentialfunktion. Soll dann die Schwankung von w + wo auf Ko, D (w+w。), ebenfalls grösser sein als die Schwankung auf K, DÅ, (w + w。), so muss sein Ko K 1 q wo q eine nur von r。 und r' abhängende, zwischen 0 und 1 liegende Zahl ist 1). D K' K Ко Ко Weiter ist D (w+wo) ≤ Dx, w+DK, wo. Da aber w innerhalb K' regulär ist, so besteht nach einem allgemeinen Satz aus der Potentialtheorie 2) die Beziehung D, wqD, w, wo Für die Schwankung der Funktion ww. folgt hieraus Dx, (w+wo) ≤Dx, w+Dx, w。 < Dx, wo + (2 − q) D ̧ wo 1) Vgl. P. Koebe: Über die Uniformisierung beliebiger analytischer Kurven (vierte Mitteilung) S. 5. Nachrichten der K. Gesellschaft der Wissenschaften in Göttingen 1909. 2) Vgl. Harnack: Das logarithmische Potential S. 65. |