On the \textit{Dirichlet} principle. (Q1510635)

Unter dem \textit{Dirichlet}schen Prinzip versteht der Verf. diejenige Schlußweise auf die Existenz einer Minimalfunktion, welche \textit{Gauß} (1839), \textit{Thomson} (1847), \textit{Dirichlet} (1856) und andere Mathematiker zur Lösung sogenannter Randwertaufgaben angewandt haben, und deren Unzulässigkeit zuerst von \textit{Weierstraß} erkannt worden ist. Seine Absicht ist, an dem klassischen Beispiel der Frage nach der Existenz überall endlicher Integrale auf einer vorgelegten \textit{Riemann}schen Fläche, die \textit{Riemann} durch das \textit{Dirichlet}sche Prinzip zu beweisen versucht hat, darzulegen, ``wie die modernen Hülfsmittel der Analysis und insbesondere der Variationsrechnung imstande sind, den der geometrischen und physikalischen Anschauung entnommenen Grundgedanken des Prinzips in genauem Anschluß\ an die anschauliche Bedeutung desselben derart zu verfolgen, daß\ aus demselben ein streng mathematischer Beweis für die Existenz der Minimalfunktion entsteht.'' In dem ersten Paragraphen wird die Aufgabe dahin präzisiert, daß\ die Existenz einer Potentialfunktion \(u(x, y)\) auf der vorgelegten \textit{Riemann}schen Fläche \(F\) nachgewiesen werden soll, die sich in allen Punkten dieser Fläche \(F\) einschließlich der unendlich fernen Punkte und der Verzweigungspunkte regulär verhält und überdies beim Übergange über eine gegebene Unstetigkeitskurve \(C\) den Sprung 1 erleidet; die Kurve \(C\) soll dabei ein Polygonzug sein, der aus geradlinigen, teils zur \(x\)-Achse, teils zur \(y\)-Achse parallelen Stücken besteht und der im Endlichen verläuft, keinen Verzweigungspunkt trifft und, ohne die Fläche \(F\) zu zerstückeln, in sich zurückkehrt. Der eigentlichen Untersuchung sind in \(\S\S\) 2, 3, 4 einige einfache Hülfssätze vorausgeschickt. Der erste behandelt gewisse Ungleichheiten zwischen bestimmten Integralen; der zweite bezieht sich auf die gleichmäßige Konvergenz von unendlichen Funktionenreihen \(v_1, v_2, .\dots\) gegen eine Grenzfunktion; der dritte besagt, daß\ das über ein Rechteck \(R\), dessen Ecken die Koordinaten \(a, b;\; a + l, l;\; a+l, b+l';\; a,b+l'\) haben, erstreckte Integral \[ \iint_{(R)} \frac{\partial^6 \zeta}{\partial x^3 \partial y^3} F(x,y) dx dy \] unter gewissen Bedingungen für die Funktion \(\zeta\) dann und nur dann bei willkürlicher Wahl der Funktion \(F(x,y)\) verschwindet, wenn \[ F= Xy^2 + X'y + X'' + Yx^2 + Y'x + Y'' \] ist, wo \(X, X', X''\) stetige Funktionen von \(x\) allein, \(Y, Y', Y''\) stetige Funktionen von \(y\) allein bedeuten. Nunmehr werden (\(\S\) 5) auf \(F\) Systeme stückweise analytischer Funktionen \(U(x,y)\) betrachtet, deren jede auf der Kurve \(C\) den Sprung 1 erleidet, und für welche das über die gesamte \textit{Riemann}sche Fläche \(F\) erstreckte \textit{Dirichlet}sche Integral \[ \iint_{(F)} \left\{ \left( \frac{\partial U}{\partial x} \right)^2 + \left( \frac{\partial U}{\partial y} \right)^2 \right\} dxdy \] einen endlichen Wert besitzt, so daß\ es stets \(<D\) bleibt. Bezeichnet \(d\) die untere Grenze der Wert des \textit{Dirichlet}schen Integrals aller möglichen Funktionen \(U(x,y)\), so werde eine unendliche Reihe von Funktionen: \[ U_1(x,y),\; U_2(x,y),\; U_3(x,y),\; \dots,\; U_n(x,y),\; \dots \] so ausgewählt, daß\ deren \textit{Dirichlet}sche Integrale gegen \(d\) konvergieren. Man kann dann zeigen, daß\ es im allgemeinen nicht möglich ist, aus der Reihe \(U_1, U_2, \dots\) eine solche unendliche Reihe herauszugreifen, deren Werte für jeden Punkt der \textit{Riemann}schen Fläche gegen einen Grenzwert konvergieren. Hingegen läßt sich stets aus der Reihe \(U_1, U_2, \dots\) eine unendliche Reihe \(u_1, u_2, \dots\) derart aussondern, daß\ die Doppelintegrale dieser Funktionen über gewisse, in der \textit{Riemann}schen Fläche gelegene Rechtecke stets gegen einen Grenzwert konvergieren, und diese Grenzwerte dienen zur Konstruktion der gesuchten Potentialfunktion. Setzt man \[ v_n = \int_a^x \int_b^y u_n dx dy, \] so läßt sich zeigen (\(\S\) 6), daß\ stets der Grenzwert \[ v(x,y) = \lim_{n= \infty} v_n \] existiert, und zwar konvergieren die Funktionen \(v_n\) gleichmäßig für alle Punkte \(x,y\) im Innern oder auf einer Seite des Rechtecks \(R\) gegen jenen Grenzwert, so daß\ \(v(x,y)\) in \(R\) eine stetige Funktion der Argumente ist. Die Funktion \(v(x,y)\) ist ferner (\(\S\) 7) beliebig oft differenzierbar, und \[ v(x,y) = \frac{\partial^2 v}{\partial x\partial y} \] definiert im Rechteck \(R\) eine Potentialfunktion auf der \textit{Riemann}schen Fläche \(F\). In \(\S\) 8 wird darauf bewiesen, daß\ die Funktion \(u(x,y)\) wirklich beim Übergange über die Kurve \(C\) den Sprung 1 erleidet; in \(\S\) 9, daß\ sie das ins Auge gefaßte \textit{Dirichlet}sche Variationsproblem löst, d. h. daß\ der Wert des über die gesamte Fläche \(F\) erstreckten \textit{Dirichlet}schen Integrals für diese Funktion wirklich gleich \(d\) wird, und endlich in \(\S\) 10, daß\ \(u(x,y)\) sich in den unendlich fernen Punkten und in den Verzweigungspunkten regulär verhält, so daß\ in \(u(x,y)\) wirklich die gesuchte Potentialfunktion gefunden ist.