Das Haarsche Lemma in der Variationstheorie und seine Anwendungen. (Q2582228)

Das Haarsche Lemma besagt bekanntlich: Verschwindet \[ \iint\limits_B \{w\zeta + u\zeta_x+ v\zeta_y\} dxdy \] für alle auf dem Rand von \(B\) verschwindenden, im Innern beschränkt ableitbaren \(\zeta(x, y)\) bei gegebenen stetigen \(u(x, y), v(x, y), w(x, y)\), so existieren drei mit den nötigen Ableitungen versehene Funktionen \(U(x, y), V(x, y), W(x, y)\) derart, daß in \(B\) überall \[ u=U_y,\quad v=V_x,\quad w = - W_{xy},\quad U+V+W=0 \] gilt. Dieses Lemma und seine Umkehrung beweist Verf. nach neuer Methode für den \(n\)-dimensionalen Fall und formt es vektoranalytisch um: Aus \[ \iint\limits_B\{w\zeta +\mathfrak v\cdot\operatorname{grad}\zeta\}dV=0 \] folgt unter obigen Bedingungen für jedes Gebiet \(T\subset B\) und seine Berandung \(S\) die Identität \[ \int\limits_T wdV= \int\limits_S\mathfrak v_n dS. \] Diese Umformung wird zu knapperen Beweisen klassischer Sätze bei Aufgaben mit variablen Begrenzungen und der Jacobischen Theorie der zweiten Variation herangezogen. Ist insbesondere das Variationsproblem \[ \delta\int f(x_1,\ldots,x_n,z; p_1,\ldots, p_n)dx_1\ldots dx_n = 0\qquad \bigg(p_i = \dfrac{\partial z}{\partial x_i}\bigg) \] elliptisch, d. h. \(\sum\dfrac{\partial^2f}{\partial p_i\partial p_k} y_iy_k \geqq m\sum y_i^2\), \(m\) positive Konstante, und \(f\) in allen Argumenten analytisch, so zeigt Verf.: Genügt die Lösung \(z(x_1,\ldots, x_n)\) einer Lipschitz-Bedingung, so existieren fast überall die 2. Ableitungen und sind quadratisch integrierbar; hängt \(f\) von \(z, p_1,\ldots, p_n\) speziell quadratisch ab, so ist \(z\) sogar analytisch.