Sur une méthode directe du calcul des variations. (Q5967757)

Die in den vorstehend besprochenen Noten kurz mitgeteilten Ergebnisse werden in der vorliegenden Arbeit ausführlich dargelegt. Sei \(f(x,y,y')\) eine in dem Gebiete \[ \text{(A)}\;a\leqq x\leqq b,\;-\infty <y<+\infty,\;-\infty <y'<+\infty \] nebst ihren partiellen Ableitungen erster und zweiter Ordnung stetige Funktion, die dort den Bedingungen \(f_{y'^2}=\frac{\partial^2f}{\partial y'^2}\geqq 0\) und \(f>-N\) genügt. Sei ferner \[ f(x,y,y')>| y'|^{1+\alpha}m(y)\quad (\alpha>0,\;m(y)>0) \] in dem Gebiete \[ \text{(A')}\quad a\leqq x\leqq b,\;-\infty<y<+\infty,\;| y'|\geqq M, \] unter \(m(y)\) eine stetige, positive Funktion verstanden, die so beschaffen ist, daß \[ \lim_{y\to\infty}| y|^{1+\alpha}m(y)=+\infty \] gilt. Sei \(y(x)\) irgendeine in dem Intervalle \(a\leqq x\leqq b\) erklärte \textit{totalstetige} Funktion derart, daß das \textit{Lebesgue}sche Integral \[ I(y)=\int_a^b f(x,y(x),y'(x))dx \] existiert. Das \textit{Integral} \(I(y)\) \textit{ist eine nach unten halbstetige Funktion der Kurve} \(y(x)\). Mit anderen Worten, läßt sich jeder Zahl \(\sigma>0\) ein Wert \(\varepsilon >0\) zuordnen, so daß, wenn \(y_0(x)\) eine den soeben genannten Bedingungen genügende Funktion bezeichnet, für alle ebensolche Funktionen \(y(x)\) der Menge \[ | y(x)-y_0(x)|<\varepsilon \] die Beziehung \[ I(y)>I(y_0)-\varepsilon \] besteht. Sei \(i\) die untere Grenze der Wertee \(I(y)\) für allle soeben betrachteten Kurven \(y(x)\), die überdies durch zwei vorgeschriebene Punkte \((a,p_a),(b,p_b)\) hindurchgehen und es sei \(y_1(x),y_2(x)\dots,y_n(x)\dots\) eine Minimalfolge. Man kann diese konstruieren, ohne von dem Auswahlprinzip Gebrauch zu machen. Die Folge \(y_n(x)\) hat mindestens eine Grenzfunktion \(y_\infty (x)\); diese ist totalstetig. Es gilt ferner \(y_\infty (a)=p_a,\;y_\infty (b)=p_b\), \[ I(y)=\int^b_af(x,y,y')dx=i \] Sei \((\overline{x},\overline{y})\) ein beliebiger Punkte des Streifens \(a\leqq \overline{x}\leqq b\). Ist \(f_{y'^2}(\overline{x},\overline{y},y')\) in keinem Intervall durchweg gleich Null, so hat \(y_{\infty}(x)\) in \(a\leqq x\leqq b\) eine stetige Ableitung und es gilt: \[ \frac{d}{dx}f_{y'}(x,x_{\infty},y'_{\infty}). \] Ist stets \(f_{y'^2}>0\), so folgt hieraus bekanntlich nach \textit{Hilbert}, daß \(y_{\infty}(x)\) stetige Ableitung zweiter Ordnung hat und der \textit{Euler}schen Differentialgleichung genügt. Sei jetzt \(f_{y'^2}>0\). Es wird gezeigt, daß \textit{jede} totalstetige Funktion, die dem Integral \(I(y)\) den kleinsten Wert erteilt, eine bestimmte Ableitungen hat, die endlich sein kann oder nicht. Diese Ableitung ist, abgesehen homogene höchstens von einer abgeschlossenen Menge der Punkte vom Maßeiner Null, endlich und stetig. Auf der Komplementärmenge ist die zweite Ableitung vorhanden und stetig, auch gilt dort die \textit{Euler}sche Gleichung. Die Ausnahmemenge ist gewiß nicht vorhanden, wenn z. B. \(f\) von \(y\) unabhängig, oder wenn \(| f_y|\) beschränkt ist usw. Analoge Sätze gelten, wenn die Kurven \(y(x)\) sämtlich in einem beschränkten, abgeschlossen Gebiet liegen. Auch ist die Beschränkung auf feste Grenzen nicht notwendig. Es genügt vielmehr anzunehmen, daß \(y(x)\) einer Klasse von Kurven angehört, die sämtlich wenigstens einen Punkte enthalten, dessen Ordinate unterhalb einer festen Schranke liegt, und überdies so beschaffen sind, daß jede Grenzkurve einer Folge von Kurven der Kalsse selbst dieser Klasse angehört. Diese Bemerkung gestattet die Erledingung der Probleme des absoluten Minimums bei Vorhandensein der (isoperimetrischen) Nebenbedingung \[ K(y)=\int_a^b(M(x,y)dx+N(x,y)dy)={\text{Const}}. \] Auch steht nichts im Wege, die Integrale \(I\) und \(K\) zu vertauschen.