Sul calcolo delle variazioni. (Q5909074)

Durch Betrachtung der dritten Variation des Integrales \(I = \int\limits_{x_1}^{x_2} f(x, y, y')dx\) bei festen Endpunkten ergibt sich, im Falle, daß \(x_2\) zu \(x_1\) konjugiert ist, als notwendige Bedingung für das Eintreten eines Extremums (wenn \(H\) einen gewissen, aus \(f\) und seinen partiellen Ableitungen gebildeten Ausdruck bedeutet, \(H_0(x)\) die Werte, die \(H\) auf dem betrachteten Extremalenbogen annimmt, und \(u(x)\) die durch die Anfangswerte \(u(x_1) = 0\), \(u'(x_1) = 1\) charakterisierte Lösung der Jacobischen Gleichung ist): Es muß: \[ \int\limits_{x_1}^{x_2}H_0(x)u^3(x)dx = 0 \] sein. Ist \(x =\xi (\alpha )\), \(y = \eta (\alpha )\) die Einhüllende des vom Anfangspunkte des Extremalenbogens \(E_0\) ausgehenden Extremalenbüschels und liefert \(\alpha_0\) den Berührungspunkt mit \(E_0\), so ergibt sich (wenn \(p\) eine Konstante bedeutet): \[ \xi'(\alpha_0) = -\dfrac{p}{u'(x_2)}\int\limits_{x_1}^{x_2}H_0(x)u^3(x)dx. \] Die gefundene notwendige Bedingung ist also gleichbedeutend mit der bekannten Tatsache: im Fall eines Extremums muß die Einhüllende in ihrem Berührungspunkte mit \(E_0\) singulär sein. Schließlieh wird noch in sehr elementarer Weise (unter Beschränkung auf reguläre Probleme) gezeigt: Können in einer Umgebung des Extremalenbogens \(E_0\) je zwei Punkte verschiedener Abszisse durch einen und nur einen Extremalenbogen verbunden werden, so liefert \(E_0\) eigentliches Extremum gegenüber jeder Vergleichskurve, die aus endlich vielen Extremalenbogen zusammengesetzt ist. Durch Grenzübergang folgt daraus, daß \(E_0\) wenigstens ein uneigentliches Extremum gegenüber allen zulässigen Vergleichskurven liefert.