Necessary conditions in the calculus of variations. (Q2596886)

Verf. geht von der Bemerkung aus, daß man die beiden klassischen Bedingungen von Euler und Weierstraß im Falle des einfachsten Variationsproblems in folgender Gestalt zusammenfassen kann: \[ \begin{gathered} f\bigl(x,y(x),y'(x)+\xi\bigr) -f\bigl(x,y(x),y'(x)\bigr) -\xi\left\{ c+\int\limits_{x_0}^x f_y\bigl(t,y(t),y'(t)\bigr)\,dt\right\} \geqq 0\\ (x_0\leqq x\leqq x_1,\;\xi\;\text{beliebig}). \end{gathered} \] Sein Ziel ist, unter möglichst allgemeinen Voraussetzungen über \(f\) und \(y(x)\) die Notwendigkeit einer entsprechenden Bedingung herzuleiten. Nach vorbereitender Behandlung des Sonderfalls eines von \(y\) unabhängigen \(f\) wird von \(f(x, y, y')\) Meßbarkeit im Borelschen Sinn vorausgesetzt und weiter gefordert, daß der Differenzenquotient \[ M_hf=\frac{f(x,y+h,y')-f(x,y,y')}h \] mit \(x\), \(y\), \(y'\), \(h\) beschränkt bleibt. Eine ``gewöhnliche zulässige Kurve'' wird durch zwei Funktionen \(y (x)\), \(y'(x)\) erklärt, die durch die Relationen \[ y (x) = y_0 + \int\limits_{x_0}^x y' (t)\, dt = y_1 -\int\limits_x^{x_1} y' (t)\, dt \] verbunden sind und für die das Integral \[ \int\limits_{x_0}^{x_1} f(x,y,y')\,dx \tag{\text{*}} \] existiert. Beide Integrale sind dabei als Denjoy-Integrale gemeint. Wenn die Funktion \[ M_{\eta(x)}f\bigl(x, y (x),y'(x)\bigr) \] Denjoy-integrierbar ist für alle \(\eta(x)\) mit beschränkten Derivierten, so sagt Verf., die Kurve \(y\), \(y'\) erfülle die Bedingung \((D)\). Er beweist sodann: Sei \(y(x)\), \(y'(x)\) eine gewöhnliche zulässige Kurve, die die Bedingung \((D)\) erfüllt und für das Integral (*) einen endlichen Minimalwert liefert, sei \(\{h_n\}\) eine Nullfolge mit unendlich vielen positiven wie auch negativen Gliedern. Dann existiert eine Konstante \(c\) (die auch unendlich sein kann), sodaß für fast alle \(x\) gilt: \[ \frac{f\bigl(x,y(x),y'(x) + \xi)-f(x,y(x),y'(x)\bigr)}\xi \geqq c + \liminf_{n\to\infty} \int\limits_{x_0}^x M_{h_n} f(t)\, dt \] für alle \(\xi > 0\) und: \[ \frac{f\bigl(x,y(x),y'(x) + \xi)-f(x,y(x),y'(x)\bigr)}\xi \leqq c + \limsup_{n\to\infty} \int\limits_{x_0}^x M_{h_n} f(t)\, dt \] für alle \(\xi< 0\). Wenn \(c = - \infty\), sind diese Ungleichungen so zu verstehen, daß der \(\limsup = + \infty\) ist, für \(c = + \infty\) so, daß der \(\liminf = \infty\) ist. Wesentlich ist nun, daß sich diese Betrachtungen auf einen sehr viel allgemeineren Fall ausdehnen lassen, der die Behandlung von Aufgaben gestattet, bei denen ein Minimum im klassischen Sinn gar nicht existiert. Verf. versteht unter einer ``verallgemeinerten zulässigen Kurve'' ein Paar nach \textit{Borel} meßbarer Funktionen \(y(x)_*\), \(y'(x,\alpha)_*\) (\(0 \leqq\alpha \leqq1\), \(x_0 \leqq x\leqq x_1\)), die durch die Beziehungen \[ y(x)_* = y_0 + \int\limits_{x_0}^x dt \int\limits_0^1 y'(t,\alpha)_*\, d\alpha = y_1- \int\limits_{x}^{x_1} dt \int\limits_0^1 y'(t,\alpha)_*\, d\alpha \] verbunden sind (iteriertes Denjoy-Integral). Das Integral, dessen Wert ein Minimum werden soll, wird entsprechend durch \[ \int\limits_{x_1}^{x_2} dx \int\limits_0^1 f\bigl(x,y(x)_*,y'(x,\alpha)_*\bigr)\, d\alpha \] erklärt. Verf. zeigt an einem bekannten Beispiel von \textit{Carathéodory}, daß bei Verwendung von verallgemeinerten zulässigen Kurven ein Minimum auch in Fällen auftreten kann, wo die gewöhnlich zulässigen Kurven keines ergeben, und bemerkt, daß unter passenden Stetigkeitsvoraussetzungen der Wert des Minimums für beide Kurvenklassen derselbe ist, sowie, daß die Verallgemeinerung gerade bei nicht-regulären Problemen wesentlich wird.