Un teorema di esistenza dell'estremo in campi illimitati. (Q2596905)

In Verallgemeinerung der Ergebnisse einer früheren Arbeit (\textit{Cinquini}, Ann. Scuola norm. sup. Pisa, Sci. fisic. mat. (2) 6 (1937), 191-209; F.~d.~M. 63\(_{\text{I}}\), 485) wird das folgende Existenztheorem für das absolute Minimum des Integrals \[ I_{C_n}^{(n)} = \int\limits_{C_n} f(x, \,y, \,y', \ldots \!,y^{(n)}) \,dx \tag{1} \] bewiesen: Projiziert sich (1) der unbeschränkte Bereich \(A^{(n)}\) der Punkte \[ (x, \,y, \,y', \ldots \!,y^{(n-1)}) \] auf die \(x\)-Achse in ein endliches Intervall \(-h \leqq x \leqq +h\); ist (2) das Integral \(I_{C_n}^{(n)}\) positiv quasiregulär; gibt es (3) eine positive ganze Zahl \(m<n\) und zwei dazugehörige im Intervall \((0, \, +\infty)\) definierte und dort nach unten beschränkte Funktionen \(g(z)\) und \(\varPhi(z)\), welche für \(z \to \infty\) den Bedingungen \(g(z) \to \infty\) und \(\dfrac{\varPhi(z)}{z} \to \infty\) genügen und mit denen im ganzen Bereich \(A^{(n)}\) die Ungleichung \[ f(x, \,y, \,y', \ldots \!,y^{(n)}) \geqq g(|\, y^{(m)} \,|) + \varPhi (|\, y^{(n)} \,|) \qquad (y^{(0)} \equiv y) \tag{2} \] erfüllt wird; ist (4) \(K^{(n)}\) eine vollständige Klasse der Ordnung \(n\) von Kurven \(C_n\) (d. i. von Kurven, die eine Darstellung \(y = y(x)\) mit totalstetigen \(y, \,y', \ldots \!,y^{(n-1)}\) zulassen und für welche \(I_{C_n}^{(n)}\) existiert), deren Definitionsintervalle eine Länge \(\geqq \mu >0\) haben; gibt es (5) für jede Kurve \(y=y(x)\) \((a \leqq x \leqq b)\) der Klasse \(K^{(n)}\) im Definitionsintervall \((a, \,b)\) \(m\) Punkte \(x_j\) \((j=0, \,1, \,2, \ldots \!, m-1)\) (die auch zusammenfallen dürfen), in denen die Abschätzungen \[ |\, y^{(j)}(x_j) \,| \leqq L \qquad (j=0, \,1, \,2, \ldots \!, m-1; \, y^{(0)} \equiv y) \tag{3} \] mit einem festen, nur von \(K^{(n)}\) abhängigen \(L\) gelten, so existiert in \(K^{(n)}\) das absolute Minimum von \(I_{C_n}^{(n)}\). Die Verallgemeinerung gegenüber der früheren (oben angeführten) Arbeit besteht in der Herabsetzung der Anzahl der geforderten Ungleichungen (3) (\(m < n\) an Stelle der früheren \(n\)) und in der zum Ausgleich dafür bedingten Verschärfung der Forderung (2), welche durch Hereinnahme der Funktion \(g (z)\) hier geschieht, die in dem älteren Theorem fehlt. Zum Schluß werden noch einige Bemerkungen gemacht, wie in entsprechender Weise auch andere Theoreme der oben angeführten älteren Arbeit verallgemeinert werden können.