Un lemma notevole per i problemi di Mayer e una sua applicazione.
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.
This page was built for publication: Un lemma notevole per i problemi di Mayer e una sua applicazione.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2601017)
