Un teorema di semicontinuità per i problemi di Mayer. (Q2596901)

Durch die Differentialgleichung \[ u'(s)=F \left( x(s), \,y(s), \,x'(s), \,y'(s), \,u(s) \right) \] wird die Funktion \(u(s)\) mit dem Anfangswerte \(u(0)=\alpha\) als Funktional einer gegebenen und auf ihre Bogenlänge \(s\) als Parameter bezogenen Kurve \(C\) \[ x=x(s), \, y=y(s), \, 0 \leqq s \leqq L \] definiert und soll mit \(u_{C, \, \alpha}(s)\) bezeichnet werden. \(u_{C, \, \alpha}(s)\) heißt dann ``gleichmäßig unterhalb stetig'' hinsichtlich \(F\) und eines Anfangswertes \(\alpha_0\), wenn für jedes \(s\) im Intervall \(0 \leqq s \leqq L\) eine Ungleichung der Form \[ u_{C, \, \alpha}(s) - u_{C_0, \, \alpha_0}(s) \geqq -\sigma \] gilt, in der \(\sigma\) eine von \(s\) unabhängige und beliebig vorgegebene Zahl bedeutet, \(C\) eine beliebige in der zu \(\sigma\) passenden \(\varrho\)-Umgebung von \(C_0\) ``geordnet'' liegende rektifizierbare Kurve ist und \(|\, \alpha - \alpha_0 \,| \leqq \varrho\) gilt. Es wird dann folgender Satz bewiesen: Wenn \[ E(x, \,y, \,x', \,y', \, \overline{x}', \, \overline{y}', \,u) \equiv F(x, \,y, \, \overline{x}', \, \overline{y}', \,u) \{ \overline{x}' \cdot F_{x'} (x, \,y, \,x', \,y', \,u) + \overline{y}' \cdot F_{y'} (x, \,y, \,x', \,y', \,u) \} \geqq 0 \] \[ \overline{x}^{\prime 2} + \overline{y}^{\prime 2} \neq 0, \] dann ist \(u_{C, \, \alpha}(s)\) gleichmäßig unterhalb stetig in jeder Klasse \(K_0\) von Kurven \(C\), deren Bogenlänge unterhalb einer vorgegebenen Schranke \(M\) liegt.