Ein Beitrag zur Theorie der Systeme Pfaffscher Aggregate. (Q1831035)

Die Integrationstheorie \textit{Pfaff}scher Systeme ist durch das Existenztheorem von \textit{E. Cartan} und \textit{E. Goursat} (im regulären Falle) zu einem gewissen Abschluß gebracht worden (vgl. \textit{Goursat}; Leçons sur le problème de Pfaff (1922; F. d. M. 48, 538 (JFM 48.0538.*)), VII, VIII). Es erscheint bemerkenswert, daß es Verf. gelingt, dieses weitreichende Theorem auf knapp neun Seiten sogar unter Berücksichtigung singulärer Fälle neu abzuleiten. Die Beweisführung zerfällt im wesentlichen in den ``notwendigen'' und ``hinreichenden'' Teil des Theorems. Aus der Kenntnis einer \(l\)-dimensionalen Integralmannigfaltigkeit \(F_l\) (\(l\) hinreichend klein) \[ x_i = x_i(y_1,y_2,\ldots, y_l)\quad (i =1,2,\ldots,n) \tag{1} \] eines \textit{Pfaff}schen Systems: \[ {}_{(\alpha)}A_i(x_1,\ldots,x_n)\,dx_i=0,\quad (\alpha= 1, 2,\ldots, m; \;i = 1, 2,\ldots, n) \tag{2} \] folgt notwendig durch ``Konstruktion der Vektorräume \(V_h(dx_i)\)'' die Existenz einer Mannigfaltigkeit \(F_{n_\lambda}\) von \(n_\lambda\) Dimensionen (\(n_\lambda \geqq l\)), welche \(F_l\) enthält und in jedem ihrer Punkte einen Vektorraum \(V_l(_{(\beta)}dx_i)\) trägt, dessen ``Aufspannungsrichtungen'' \({}_{(\beta)}dx_i\) (\(\beta=1, 2, \ldots,l\)) mit den Parametertangentenvektoren \(\dfrac{\partial x_i}{\partial y_\beta}\) von \(F_l\) zusammenfallen und den Gleichungen \[ {}_{(\alpha)}A_i\frac{\partial \varphi_i}{\partial y_\beta}=0,\quad {}_{(\alpha)}A_{ik}\frac{\partial \varphi_i}{\partial y_\beta}\frac{\partial \varphi_k}{\partial y_\gamma}=0\quad (\alpha=1,2,\ldots, m; \;\beta,\gamma=1,2,\ldots,l) \tag{3} \] genügen. Dabei wird unter \({}_{(\alpha)}A_{ik}\) der schiefsymmetrische Tensor des zum \textit{Pfaff}schen System gehörenden bilinearen Kovariantensystems und unter \(V_h(dx_i)_0\) jedes System von \(h\) linear unabhängigen Vektoren verstanden, welches das \textit{Pfaff}sche und das Kovariantensystem im Punkt \(P^0(x_i^0)\) befriedigt. Umgekehrt ist die Existenz solcher Vektorräume \(V_l(dx_i)\) in jedem Punkt einer \(F_{n_\lambda}\) \[ x_i=x_i(y_1,y_2,\ldots,y_{n_\lambda})\quad (i =1,2,\ldots, n) \tag{4} \] hinreichend, um auf die Existenz einer Integralmannigfaltigkeit \(F_l\) des \textit{Pfaff}schen Systems (2) zu schließen, welche durch einen Punkt \(P^0(x_i^0)\) der \(F_{n_\lambda}\) hindurchgeht, gänzlich in ihr liegt und zu \({}_{(\beta)}(dx_i)_0\) proportionale Parametertangentenvektoren besitzt, da sich die Untersuchung auf ein partielles Differentialproblem reduziert, welches auf die \textit{Cauchy-Kowalewski}sche Normalform gebracht werden kann. Das \textit{Cartan-Goursat}sche Existenztheorem gewinnt Verf. in folgender allgemeiner Form: Durch jede Integralfläche \(F_l\) des Systems (2) geht mindestens eine Integralfläche \(F_{l+1}\) des Systems (2) hindurch, wenn eine \(F_{n_\lambda}\) \((n_\lambda \geqq l+ 1)\) existiert, welche die \(F_l\) enthält, wenn es in jedem Punkte der \(F_{n_\lambda}\) einen Vektorraum \(V_{l+1}(dx_i)\) gibt, und wenn außerdem in allen Punkten der \(F_l\) der Vektorraum \(V_{l+1}(dx_i)\) den Tangentialraum \(T_l(dx_i)\) der \(F_l\) enthält. Gibt es nur einen einzigen Vektorraum \(V_{l+1}(dx_i)\) der \(F_{n_\lambda}\), welcher in den Punkten der \(F_l\) den Tangentialraum enthält, dann gibt es eine und nur eine \(F_{l+1}\) des Systems (2), welche durch die \(F_l\) hindurchgeht. Es geht durch die \(F_l\) eine unendliche Schar von Integralflächen \(F_{l+1}\), welche von \(\varrho_l\) willkürlichen Funktionen von \(l + 1\) Parametern abhängt, wenn der Vektorraum \(T_l(dx_i)\) in \(\infty ^{\varrho l}\) verschiedenen Vektorräumen \(V_{l+1}(dx_i)\) enthalten ist.