La teoria delle matrici e il metodo dell' \(n\).edro mobile. (Q1832004)

Verf. entwickelt einleitend gewisse zum Teil schon auf \textit{Volterra} zurückgehende Begriffe aus dem Differentialkalkül einer von \(n\) Variablen abhängigen Matrix \(S\): Partielle Linksableitungen, partielle Rechtsableitungen \(\Bigl(S^{-1}\dfrac {\partial S}{\partial u^i}, \dfrac {\partial S}{\partial u^i}S^{-1}\Bigr)\), Integrabilitätsbedingungen für \textit{Pfaff}sche Matrizengleichungen der Form \[ \sum _i \sigma _i\,du^i =0,\quad \sigma _i= S^{-1}\frac {\partial S}{\partial u^i}, \] Untersuchung des nichtintegrablen Falles. Dabei ergeben sich die Matrizen \(\sigma _i\) als einfach, die Matrizen \[ \sigma _{ik} = \frac {\partial \sigma _i}{\partial u^k} \frac {\partial \sigma _k}{\partial u^i} - \sigma _i\sigma _k + \sigma _k\sigma _i \] als zweifach kovariantes Matrizensystem. Man sieht die Analogie zum Krümmungstensor: \(\sigma _{ik}=0\) sind die ``Monodromiebedingungen'' für \( \sum _i \sigma _i\,du^i\). Auch zur Identität von \textit{Bianchi} findet sich auf höherer Differentiationsstufe eine Analogie: \[ \frac {\partial \sigma _{ik}}{\partial u^k} + \frac {\partial \sigma _{hk}}{\partial u^i} + \frac {\partial \sigma _{ki}}{\partial u^h} = \sigma _i\sigma _{hk} - \sigma _{hk}\sigma _i + \sigma _h\sigma _{ki} - \sigma _{ki}\sigma _h + \sigma _k\sigma _{ih} - \sigma _{ih}\sigma _k. \] Der entwickelte Matrizenkalkül bietet ein elegantes Hilfsmittel zur Darstellung starrer \(n\)-parametriger Bewegungen \[ \boldsymbol{X} = \boldsymbol{X}_0 +S\boldsymbol{x} \] im Raum von \((n + m)\) Dimensionen (\(\boldsymbol{X}\) als Vektor im Raum von \((n + m)\) Dimensionen bezogen auf feste Achsen, \(\boldsymbol{x}\) in gleicher Bedeutung mit Bezug auf bewegliche Achsen). Sie lassen sich durch jeweils \(n\) Rotationsmatrizen \(\sigma _i\) (mit schiefsymmetrischer Determinante) und \(n\) Translationsvektoren \(\boldsymbol{a}_i = S^{-1}\dfrac {\partial\boldsymbol{X}_0}{\partial u_i}\) zusammen mit den Bedingungen \[ \frac {\partial \sigma _i}{\partial u^k} \frac {\partial \sigma _k}{\partial u^i} - \sigma _i\sigma _k + \sigma _k\sigma _i =0,\quad \frac {\partial \boldsymbol{a}_i}{\partial u^k} \frac {\partial \boldsymbol{a}_k}{\partial u^i} - \sigma _k\boldsymbol{a}_i - \sigma _i\boldsymbol{a}_k =0 \] charakterisieren. Mit den Matrizen \(\sigma _i\) und \(\boldsymbol{a}_i\) ist zugleich eine Darstellung der vom Ursprung des beweglichen Achsensystems beschriebenen \(n\)-dimensionalen Mannigfaltigkeit \(V_n\) in ihrer Einbettung im Raum von \(n + m\) Dimensionen gewonnen. Werden die Matrizen \(\sigma _i\) in Matrizen \(\sigma _i^{\backprime}\), \(\sigma _i^{\backprime\backprime}\), \(\sigma _i^{\backprime\backprime\backprime}\) gespalten, derart, daß \(\sigma _i^{\backprime}\) aus Vektoren des Tangential-\(S_n\) der \(V_n\) immer wieder Vektoren dieses \(S_n\) erzeugt, ebenso \(\sigma _i^{\backprime\backprime\backprime}\) aus Vektoren des Normal-\(S_m\) Vektoren eben dieses \(S_m\), dagegen \(\sigma _i^{\backprime\backprime}\) die Vektoren beider Räume vertauscht, so gilt das Theorem: Die Matrizen \(\sigma _i^{\backprime}\) sind eindeutig bestimmt, sobald die \(n\) Translationsvektoren fest gewählt sind; die Elemente der Matrizen \(\sigma _i^{\backprime\backprime}\) hangen bilinear von den \(n\) Translationsvektoren und \(n\) symmetrischen Matrizen ab. Auch mit der Theorie der Parallelverschiebung von \textit{Levi-Civita} und der Kurventheorie auf \(V_n\) (im Bereich der Elemente erster Ordnung) können die entwickelten Methoden verknüpft werden.