On a classification of problems of the calculus of variations. (Q1497166)

Ein Integral \[ I=\int F(x,y,y',y'',\dots ,y^{(n)})dx \] kann von einer Funktion \(y=f(x)\) nur dann zu einem Extremum gemacht werden, wenn diese Funktion ein Integral der \textit{Euler}schen Differentialgleichung \[ \varPhi\equiv\frac {\partial F}{\partial y}-\frac d{dx}\frac {\partial F}{\partial y'}+\frac {d^2}{dx^2}\frac {\partial F}{\partial y''}-\dotsm +(-1)^n\frac {d^n}{dx^n}\frac {\partial F}{\partial y^n} =0 \] ist. Nun führt eine Punkttransformation \(x=f_1(u,v)\), \(y=f_2(u,v)\), die \(I\) in ein neues Integral \[ I_1=\int F_1(u,v,v',v'',\dots ,v^{(n)})du \] transformiert, auch die Gleichung \(\varPhi =0\) in die \textit{Euler}sche Gleichung des neuen Integrals \(I_1\) über: \[ \varPhi_1\equiv\frac {\partial F_1}{\partial v}-\frac d{du}\frac {\partial F_1}{\partial v'}+\frac {d^2}{du^2}\frac {\partial F_1}{\partial v''}-\dotsm +(-1)^n\frac {d^n}{du^n}\frac {\partial F_1}{\partial v^{(n)}}=0. \] Wenn nun das Integral \(I\) für eine kontinuierliche Gruppe der Ebene invariant ist, so läßt auch, wie man aus dem vorstehenden Satze folgert, die zugehörige \textit{Euler}sche Gleichung dieselbe Gruppe zu. Dieser letzte Satz führt unmittelbar zu einer Klassifikation der Probleme der Variationsrechnung, d. h. er gestattet, für jede kontinuierliche Gruppe der Ebene die allgemeine Form des Integrals \(n\)-ter Ordnung \(I\) und die Vereinfachungen, die die Gruppe für die Integration der zugehörigen \textit{Euler}schen Gleichung \(\varPhi =0\) liefert, anzugeben. Hierzu sind nach einem Satze von \textit{Lie} nur die beiden Differentialinvarianten aller dieser kontinuierlichen Gruppen der Ebene zu bestimmten. Auf Grund dieser Überlegungen gibt der Verf. eine Tafel aller kontinuierlichen und endlichen Gruppen der Ebene in ihren kanonischen Formen; in dieser Tafel findet man für jede Gruppe die beiden Differentialinvarianten und außerdem die notwendigen Operationen für die Integration der zu dem Integrale \(I\) gehörenden \textit{Euler}schen Gleichung angegeben. Die allgemeine Form des invarianten Integrals \(I\) ist dagegen nicht angegeben, da sich diese unmittelbar aus dem obengenannten \textit{Lie}schen Satze ergibt.