Sul caso regolare nel calcolo delle variazioni. (Q1476957)

Ist das Variationsproblem \(\int F(x, y, x', y')dt\) regulär in einem Gebiete \(A\) (d. h. ist daselbst etwa \(F_1 > 0\)), so ist daselbst das angeschriebene Integral eine unterhalb stetige Funktion der Integrationskurve in folgendem Sinne: für jede der Kurve \(C\) hinlänglich benachbarte Kurve \(C_1\) ist \(\int\) \(\int F ds> \int F ds-\eta\) \((\eta > 0\) beliebig). Wird nur vorausgesetzt \(F_1\geqq 0\), so gilt dies nur mehr für alle Kurven \(C_1\), deren Länge unter einer (beliebig vorgegebenen) Schranke liegen; setzt man aber außer \(F_1\geqq 0\) noch voraus \(F > 0\), so gilt es wieder ohne Einschränkung. Auf Grund dieses Satzes können nun die vom Verf. in einer früheren Arbeit (F. d. M. 42, 400 (JFM 42.0400.*), 1911) unter den Voraussetzungen \(F>0\), \(F_1>0\) bewiesenen Existenztheoreme auf den Fall \(F > 0\), \(F_1\geq 0\) ausgedehnt werden. Weiter folgt, im regulären Falle, daß für alle der Kurve \(C\) hinlänglich benachbarten Kurven \(C_1\), deren Längen um mindestens \(\delta\) größer als die von \(C\) sind, \(\int_{C_1} F ds-\int_C F ds>\varrho\) \((> 0)\) bleibt; und hieraus ergibt sich ohne weiteres folgende auch im Falle \(F > 0\), \(F_1\geqq 0\) gültige Erweiterung des \textit{Osgood}schen Satzes: Liefert \(\overline C\) ein eigentliches Minimum, so gehört zu jeder Umgebung \(U\) von \(\overline C\) ein \(\mu > 0\), so daß für jede hinlänglichbenachbarte, aber nicht ganz in \(U\) liegende Vergleichskurve \(C\) gilt: \(\int_C F ds-\int_{\overline C} F ds > \mu\). Alle bewiesenen Sätze können ohne Schwierigkeiten auf den Raum übertragen werden.