Über die hinreichenden Bedingungen für ein starkes Extremum beim einfachsten Probleme der Variationsrechnung. (Q1476955)

\textit{E. E. Levi} hat (Rend. Linc. \(20_2\), 466; F. d. M. 42, 399 (JFM 42.0399.*), 1911) folgenden Satz ausgesprochen: Ein der \textit{Legendre}schen und \textit{Jacobi}schen Bedingung im strengen Sinne genügender Extremalenbogen \(y= y(x)\) liefert ein starkes Minimum, wenn (bei hinlänglich kleinem positiven \(r\)): \[ E(x, y, y'(x), \overline y') > 0\text{ ist für }| y- y(x)| < r,\;\overline y'\neq y'(x). \] Es wird an einem Beispiele gezeigt, daß dieser Satz unrichtig ist. Der Integrand dieses Beispieles ist folgender: \(f(x,y,y')=\varphi(y')-y^2\), wo \(\varphi(y')=y'^2\) für \(y'\leq 2\) und \(\varphi(y') = \frac{1}{y'}\), für \(y'\geqq 3\), während \(\varphi(y')\) für \(2 < y' < 3\) beliebig bleibt. (Im Texte steht versehentlich \((\varphi(y'))^2\) statt \(\varphi(y')\)). -- Mittlerweile hat auch \textit{E. E. Levi} selbst in der vorstehend besprochenen Arbeit (Anm. (*) auf S. 182) darauf hingewiesen, daß aus seinen Überlegungen nicht das eingangs zitierte, sondern lediglich das Theorem folgt, das aus jenem entsteht, wenn die Bedingung \(E(x, y, y'(x), \overline y') > 0\) ersetzt wird durch \(E_1(s, y, y'(x), \overline y') > \mu > 0,\) wo, wie gewohnt, \(E-1(x,y,y',\overline y') = \frac{E(x,y,y',\overline y')}{(\overline y'-y')^2}\) gesetzt ist.