Proof of the sufficiency of \textit{Jacobi}'s condition for a permanent sign of the second variation in the so-called isoperimetric problems. (Q1507359)

Die Diskussion der zweiten Variation für die einfachste Klasse isoperimetrischer Probleme in Parameterdarstellung führt zu der Frage: Bezeichnen \(H_1, H_2, T\) drei im Intervall (\(t_0, t_1)\) reguläre Funktionen von \(t\) und sei überdies \(H > 0\) und \(T\) nicht identisch Null; unter welchen Bedingungen ist dann das bestimmte Integral \[ \delta^2 J = \int_{t_0}^{t_1} \left[ H_1 \left( \frac {dw}{dt} \right)^2 + H_2 w^2 \right] dt \] positiv für alle nicht identisch verschwindenden Funktionen \(w\), welche den drei Bedingungen \[ \begin{aligned} & (\text a) \qquad w (t_0) = 0, \quad w (t_1) = 0, \\ & (\text b) \qquad \int_{t_0}^{t_1} w T dt = 0,\\ & \text{(c)\qquad die Funktionen }w_x\text{ besitzen erste Ableitungen und genügen, ebenso wie diese,} \\ &\qquad\quad\, \text{gewissen Stetigkeitsbedingungen, Genüge leisten?}\end{aligned} \] Die Antwort gibt die \textit{Jacobi}sche Bedingung, daß\ \[ t_1 < t_0' \] sein muß, wo \(t_0'\) den zu \(t_0\) konjugierten Wert bezeichnet. Während man die Notwendigkeit dieser Bedingung leicht zu erkennen vermag, ist es schwieriger, nachzuweisen, daß\ diese Bedingung auch hinreichend ist; dies letztere zu zeigen, ist der Zweck der vorliegenden Mitteilung. Der Beweis beruht auf einer Ausdehnung eines Hülfssatzes über den Differentialausdruck \[ \Psi (w) = H_2 w - \frac d{dt} \left( H_1\;\frac {dw}{dt} \right), \] mittels dessen \textit{Jacobi} den analogen Satz für das Problem ohne Bedingungen bewiesen hat, und welcher lautet: Ist \(u\) ein Integral der Differentialgleichung \(\Psi (u) = 0,\) so gilt für jede Funktion \(p\), welche erste und zweite Ableitungen zuläßt, die Relation \[ (pu) \Psi (pu)=H_1 (p' u)^2 - \frac d{dt}\;H_1 pp' u^2, \] wo der Akzent die Ableitungen nach \(t\) bezeichnet. Diese Arbeit findet ihre Ergänzung in einer Abhandlung des Verf. in den Math. Ann. 57, 44-48 (vergl. auch F. d. M. 32, 385, 1901; Referat über \textit{A. Kneser}, siehe JFM 32.0385.02).