On the identical vanishing of the main equation of the variation of multiple integrals. (Q1497176)

Wenn \(H\) eine Funktion einer unabhängigen Veränderlichen \(t\), einer Funktion \(p\) von \(t\) und ihrer Ableitungen bis zur \(\nu\)-ten Ordnung ist, so ist die notwendige Bedingung für das Eintreten eines extremen Wertes des Integrales \(\int_{t_0}^{t_1}Hdt\), daß die Funktion \(p\) der \textit{Euler}schen Differentialgleichung \[ \frac {\partial H}{\partial p}-\frac p{dt}\frac {\partial H}{\partial p'}+\frac {d^2}{dt^2}\frac {\partial H}{\partial p''}-\dotsm +(-1)^{\nu}\frac {d^{\nu}}{dt^{\nu}}\frac {\partial H}{\partial p^{(\nu )}}=0 \] genügt. Soll diese Gleichung identisch, d. h. von der funktionalen Beziehung zwischen \(p\) und \(t\) unabhängig, verschwinden, so ist es bekanntlich notwendig und hinreichend, daß sich \(H\) als ein nach \(t\) genommener vollständiger Differentialquotient einer Funktion von \(t\), \(p\) und den \(\nu -1\) ersten Ableitungen von \(p\) darstellen läßt. Diesen für die Mechanik, wobei \(t\) die Zeit, \(p\) einen Parameter und \(H\) das kinetische Potential \(\nu\)-ter Ordnung bedeutet, wichtigen Satz verallgemeinert der Verf. für Funktionen von beliebig vielen abhängigen und unabhängigen Veränderlichen. Die Resultate dieser Untersuchung lassen sich in den folgenden Satz zusammenfassen. Die notwendige und hinreichende Bedingung dafür, daß eine Funktion \(H\) und \(\varrho\) unabhängigen Variabeln \(t_1,t_2,\dots ,t_{\varrho}\), ferner \(\mu\) abhängigen Variabeln \(p_1,p_2,\dots ,p_{\mu}\) und ihren ersten \(\nu\) Ableitungen den zu der Variation \[ \delta\int_{t_1^0}^{t_1^1}\int_{t_2^0}^{t_2^1}\dotsm \int_{t_{\varrho}^0}^{t_{\varrho}^1}Hdt_{\varrho}dt_{\varrho -1}\dots dt_1 \] gehörigen \(\mu\) Hauptgleichungen \(2\nu\)-ter Ordnung \[ \begin{multlined} \frac {\partial H}{\partial p_s}-\sum_{i_1}\frac d{dt_{i_1}}\frac {\partial H}{\partial p_s^{(i_1)}}+\sum_{i_1i_2}\frac {d^2}{dt_{i_1}dt_{i_2}}\frac {\partial H}{\partial p_s^{(i_1i_2)}}-\dotsm \\ \dotsm +(-1)^{\nu}\sum_{i_1i_2\dots i_{\nu}}\frac {d^{\nu}}{dt_{i_1}dt_{i_2}\dots dt_{i_{\nu}}} \frac {\partial H}{\partial p_s^{(i_1i_2\dots i_{\nu})}}=0 \end{multlined} \] \[ (s=1,2,\dots ,\mu ), \] wo \(p_s^{(i_1i_2\dots i_k)}=\frac {\partial^kp_s}{\partial t_{i_1}\partial t_{i_2}\dots \partial t_{i_k}}\) ist, identisch Genüge leistet, ist die, daß \(H\) in der Form \[ H=\frac {d\omega_1}{dt_1}+\frac {d\omega_2}{dt_2}+\dotsm +\frac {d\omega_{\varrho }}{dt_{\varrho}} \] darstellbar ist, wobei \(\omega_1,\omega_2,\dots ,\omega_{\varrho}\) Funktionen der unabhängigen und abhängigen Veränderlichen nebst ihren Ableitungen bis zur \(\nu\)-ter Ordnung sind; nur wenn \(H\) Funktion von nur einer abhängigen Veränderlichen \(p\) und ihren ersten Ableitungen \(p^{(1)},p^{(2)},\dots ,p^{(\varrho )}\) nach den \(\varrho\) unabhängigen Veränderlichen ist, hängen die Funktionen \(\omega\) allein von \(t_1,t_2,\dots ,t_{\varrho}\) und \(p\), nicht auch von \(p^{(1)},p^{(2)},\dots ,p^{(\varrho )}\) ab. Diese Funktionen \(\omega\) sind für verschiedene spezielle Fälle (\(\nu\) beliebig, \(\mu =1\), \(\varrho =2\); \(\nu=1\), \(\mu\) und \(\varrho\) beliebig; \(\nu=\mu=\varrho=2\); \(\nu=2\), \(\mu=1\), \(\varrho=3\)) ausführlich angegeben.