Un lemma notevole per i problemi di Mayer e una sua applicazione. (Q2601017)

Verallgemeinerung eines Lemmas aus einer Abhandlung des Verf. über das \textit{Zermelo}sche Navigationsproblem (Sopra un problema di navigazione di Zermelo, Math. Ann. 113, 584-599; F.~d.~M. 62\(_{\text{II}}\)). Es handelt sich um das \textit{Mayer}sche Problem: Kurven \(C: x \,(s), \,y \,(s) \,(0 \leqq s \leqq L)\) aufzufinden, längs deren die Gleichung \[ u_C \,(s) = u_0 + \int\limits_{0}^{s} F \,(x, \,y, \,x', \,y', \,u_C) \, ds \] lösbar ist, so daß \(u_C \,(L)\) ein Minimum ist. Es möge ein vollständiges Differential \(Adx + Bdy\) geben, so daß \[ \overline F \,(x, \,y, \,x', \,y', \,u) \equiv F \,(x, \,y, \,x', \,y', \,u)+ A \,(x, \,y) \, x'+B \, (x, \,y) \, y' \geqq 0 \] ist und in jedem abgeschlossenen Teil des Definitionsbereichs (eines beschränkten abgeschlossenen Bereichs \(D\) für \(x\), \(y\) und eines Intervalls \(\varDelta\) für \(u\)) die Richtungen \(\vartheta= \text{ arc tg } \dfrac{y'}{x'}\), für die das Gleichheitszeichen vorkommt, auf einem Bogen der Länge \(< \pi\) enthalten sind. Die \textit{Weierstraß}sche \(\mathcal{E}\)-Funktion sei immer positiv. Dann gilt der Satz: Zu jedem Intervall \((u_1, \,u_2)\) im Innern von \(\varDelta\) und \(\delta > 0\) gibt es \(\lambda > 0\) und \(\tau > 0\) mit folgender Eigenschaft: Für jede stetige und rektifizierbare Kurve \(C_0\) in \(D\) der Länge \(L_0 \leqq \lambda\) existiert \(u_{C_0} \,(s)\) für jedes \(u_0\) aus \((u_1, \,u_2)\), und wenn die Schwankung des Richtungswinkels von \(C_0 < \tau\) ist, dann ist \(u_C \,(L) \geqq u_{C_0} \,(L_0)\) für jede Kurve \(C\) mit denselben Endpunkten und der Länge \(L \geqq L_0 \,(1 + \delta)\). Dieser Satz wird benutzt, um die Existenz und Stetigkeit der Tangente von Minimantenbögen in solchen Punkten zu beweisen, die auf dem Rande von \(D\) liegen.