Bundne Ekstremer. (Q1440691)

Die Funktionen \(I(x,y)\) und \(K(x,y)\) seien in dem abgeschlossenen Bereich \(A\) stetig und dreimal beschränkt differenzierbar; es ist das Minimum von \(I(x,y)\) unter der Nebenbedingung \(K(x,y) = K\) zu bestimmen. \(K(x,y)\) nimmt alle Werte aus \(<m,M>\) auf einer Menge \(C_K\) an; auf \(C_K\) sei \[ (1)\quad \text{Min }I(x,y)=\Phi(K). \] Die extremale Ungleichung lautet: \[ (2)\quad I(x,y)-\Phi(K(x,y)) \geqq 0; \] \(\Phi(K)\) ist also so zu bestimmen, daß\ die linke Seite von (2) auf \(A\) den Wert Null annimmt Setzt man in den Gleichungen \[ (3)\quad I_x^E-\Phi_K' K_x^E=0,\;I_y^E-\Phi_k' K_y^E=0: \;\lambda=\Phi_K'(K), \] so ist \(\lambda\) so anzugeben, daß\ die Gleichungen \[ (4)\quad I_x+\lambda K_x=0,\;I_y+\lambda K_y=0 \] in inneren Punkten von \(A\) erfüllt sind. Man setzt voraus, daß\ sämtliche Werte eines Intervalls \(\lambda_1 \leqq \lambda \leqq \lambda_2\) brauchbar sind, und findet dann eine Minimumskurve \(\Lambda\): \(x=x(\lambda),y=y(\lambda)\). \(\lambda\) ist der \textit{Lagrange}sche Multiplikator, die vorgelegte Aufgabe ist identisch mit dem freien Problem, das Minimum von \(I(x,y)+\lambda K(x,y)\) bei gegebenem \(\lambda\) zu bestimmen. Es wird nun \(\Lambda\) als Schnitt der beiden durch die Gleichungen (4) im Raume \((x,y,\lambda)\) gegebenen Flächen gesucht und folgender Satz bewiesen: Wenn das freie Problem für alle \(\lambda\) eines gewissen Intervalls \(\lambda\) lösbar ist, dann ist das anfangs genannte gebundene Problem ebenfalls lösbar, und zwar für Werte von \(K\), die als Funktion von \(\lambda\) ausgedrückt werden; die Lösung wird durch eine extremale Ungleichung der Form (2) dargestellt. Besitzt das freie Problem keine Lösung, so kann das gebundene Problem dennoch eine Lösung besitzen, die durch eine verbesserte Ungleichung \[ (5)\quad I(x,y)-\Phi(K(x,y)) \geqq -\frac 12 \{ K(x,y)-K(x(\lambda))\}^2 \Phi_K''(K_1) \] dargestellt wird, nämlich wenn \(\Phi_K''<0\) ist. \(\lambda\) nimmt alle Werte eines Intervalls an, das von der lege des Punktes \(x,y\) der Kurve \(\Lambda\) gegenüber abhängt; \(K_1\) ist ein Wert zwischen \(K(x,y)\) und \(K(x(\lambda),y(\lambda))\). Verf. gibt einige Beispiele aus der Elementargeometrie und aus der Theorie der konvexen Funktionen.