Formes de Pfaff et systèmes Lagrangiens. (Q573363)

Verf. betrachtet das System \[ \frac{d}{dt}\left(\frac{\partial F}{\partial q_i'}\right)\frac{\partial F}{\partial q_i}=0 \qquad (i=1,2,\ldots,n) \tag{L} \] als charakteristisches System der \textit{Pfaff}schen Form \[ \omega+Qdt,\;\omega=\sum_{1}^{2n}X_idx_i, \;Q=\sum_1^n\frac{\partial F}{\partial q_i'}q_i'-F, \] derart, daß der Zusammenhang \[ \begin{aligned} X_h&=\frac{\partial F}{\partial q_h'}, \;x_h=q_h\quad (h=1,2,\ldots,n),\\ X_k&=0, \;x_k=q_h'\quad (k=n+1,\ldots,2n) \end{aligned} \] besteht. An Stelle von \((L)\) verwendet \textit{Birkhoff} (Dynamical systems, 1927; Stability and the equations of dynamics, Amer. J. 49 (1927), 1-38; F. d. M. 53, 732 (JFM 53.0732.*), 733) das \textit{Pfaff}sche System: \[ \sum_{1}^{2n} a_{ij}\frac{dx_i}{dt}=\frac{\partial Q}{\partial x_j} \qquad (j=1,2,\ldots,2n). \tag{P} \] Entsprechend kann man die Reduktion von \((L)\) auf ein kanonisches System \((H)\) auf die Reduktion von \((P)\) auf eine der beiden einer \textit{Pfaff}schen Form von gerader bzw. ungerader Klasse zukommenden kanonischen Formen zurückführen. Dafür verwendet Verf. die von \textit{É, Cartan} ausgearbeiteten Methoden, insbesondere die Kriterien \[ \omega^{(p)}\equiv 0, \;\omega^{(p-1)}\not\equiv 0 \] für Formen von der Klasse \(p\) durch sogenannte äußere Ableitungen (vgl. \textit{É. Cartan}, 1922; F. d. M. 48, 538 (JFM 48.0538.*)) unter der Voraussetzung \(\varDelta =|a_{ij}|\neq 0\) innerhalb einer Mannigfaltigkeit \(V\), auf welcher \(\varDelta=0\). Innerhalb \(V\) bestimmen sich die Trajektorien des Problems (1) aus einer gewissen Zahl endlicher Relationen \[ \frac{\partial Q}{\partial y_k}=0, \;\frac{\partial Q}{\partial z_h}=0\qquad (h=1,2,\ldots,r), \] (2) aus dem System \[ \frac{dy_k}{dt}=\frac{\partial Q}{\partial z_k}, \frac{dz_k}{dt}=-\frac{\partial Q}{\partial y_k}\qquad (k=r+1,\ldots,n). \] Zum Schluß wird auf das Verhalten von \((L)\) bzw. \((P)\) in der Umgebung sogenannter \textit{Birkhoff} scher Gleichgewichtspunkte \[ \left.\frac{\partial Q}{\partial x_j}\right|_{P_0}=0\qquad (j=1,2,\ldots,2n). \] eingegangen.