On linear connections (Q576563)

Verwendet man \textit{L. Schlesinger}s Matrizenschreibweise, \[ Z_\beta^\alpha=Z, \quad Z_{\sigma i}^\alpha=L_i, \] so schreibt sich jede lineare Übertragung in der Form: \[ dZ + ZL_i\,dx^i=0. \] Dies System ist vollständig integrabel, sobald \[ \tfrac 12 R_{ij}=L_{[ij]}+L_{[i}L_{j]}=0 \] gilt, und nur in diesem Falle. Dann gilt nach \textit{B. V. Williams} und Verf. [Ann. Math. (2) 31, 151--157 (1930); JFM 56.0629.02)]: Zu einer gegebenen linearen Übertragung \(L\) und einem Koordinatsystem \(x\) existiert eine einzige integrable Übertragung \(\varGamma\), derart daß \[ \begin{aligned} &\Gamma_n=L_n, \\ &\Gamma_p=L_p \text{ für } x^{p+1}=\cdots = x^n=0 \quad (p= 1,\ldots,n-1). \end{aligned} \] Dafür gibt Verf. jetzt einen zweiten Beweis. Weiterhin wird gezeigt: Ist \(D\) ein nicht notwendig symmetrischer affiner Zusammenhang, so existiert ein Koordinatensystem \((y)\), in welchem die Komponenten \(D_{jk}^i\) von \(D\) den folgenden Bedingungen genügen: \[ \begin{matrix} \l \quad & \l \quad & \l \\ D_{nn}^i=0, \\ D_{\rho n-1}^i=0, & (\rho\ge n-1) &\text{für} \;y^n=0,\\ \vdots \\ D_{\rho p}^i=0, & (\rho\ge p) &\text{ für } y^{p+1}=\cdots=y^n=0,\\ \vdots \\ D_{j1}^i=0, & (j=1,\ldots,n) &\text{für} \;y^2=\cdots =y^n=0. \end{matrix} \] Jedes derartige Koordinatensystem ist durch den Punkt und \(n\) unabhängige, dem Punkt zugeordnete kontravariante Vektoren eindeutig bestimmt. Nach einigen Bemerkungen zur Invarianten- und Darstellungstheorie linearer Übertragungen, insbesondere sogenannter Normaldarstellungen (durch gewisse Anfangsbedingungen charakterisiert), gibt Verf. Anwendungen auf die Dynamik und gewinnt vornehmlich noch einige Ergänzungen zur Integrationstheorie Pfaffscher Systeme der Art \[ dZ^\alpha= Z^{\beta}L_{\beta i}^\alpha\,dx^i= 0, \tag{*} \] indem die Integralmannigfaltigkeiten von (*) als Untermannigfaltigkeiten des Koordinatenraums der \(x^1,\ldots, x^n, Z^1,\ldots, Z^m\) von \(n + m\) Dimensionen, \(S_{n+m}\), aufgefaßt werden. Dabei finden die früher abgeleiteten Theoreme mannigfache Anwendung.