On generalised covariant differentiation. (Q574332)

In der Differentialgeometrie eingebetteter Mannigfaltigkeiten spielen gewisse Affinoren, deren Stufenzahl nicht für alle Indices dieselbe ist, eine bedeutsame Rolle. Einen Tensorkalkül derartiger Größen verdankt man bereits \textit{A. Duschek} und \textit{W. Mayer} (Lehrbuch der Differentialgeometrie II (1930; JFM 56.0580.*-583), Kap. VII). Verf. entwickelt ihn allgemeiner unter der Voraussetzung, daß jedem Index \(i_\lambda\) die Stufe \(N_\lambda\) zukommt. Wiederum erhält die gewöhnliche Differentiation solcher Größen nur dann deren Tensorcharakter, wenn man sich auf Transformationen der Art \[ \dfrac{\partial^2 x'^{i_\lambda}}{\partial x^{i_s}\partial x^{j_\lambda}} = 0 \qquad (\lambda=1,2,\ldots,r) \] beschränkt. Aber auch hier bringt die Einführung von Größen \[ L^{j_\lambda}_{h_\lambda i_s} = L^{j_\lambda}_{h_\lambda i_\lambda} \dfrac{\partial x^{i_\lambda}}{\partial x^{i_s}} \] welche vermöge \[ \dfrac{\partial^2 x'^{i_\lambda}}{\partial x^{i_\lambda}\partial x^{j_\lambda}} + L'^{i_\lambda}_{h'_\lambda k_\lambda} \dfrac{\partial' x^{h_\lambda}} {\partial x^{i_\lambda}} \dfrac{\partial x'^{k_\lambda}} {\partial x^{j_\lambda}} L^{h_\lambda}_{i_\lambda j_\lambda} \dfrac{\partial x'^{i_\lambda}}{\partial x^{h_\lambda}} = 0 \] die Elimination der zweiten Ableitungen leisten, die gewünschte Korrektur und damit die verallgemeinerte kovariante Ableitung: \[ \begin{aligned} T^{i_1,\ldots,i_p}_{i_q,\ldots,i_r;i_s} = \dfrac{\partial}{\partial x^{i_s}} T^{i_1,\ldots,i_p}_{i_q,\ldots,i_r} &+ \sum_{\lambda=1}^p T^{i_1,\ldots,h_\lambda,\ldots,i_p}_{i_q,\ldots,\cdot, \ldots,i_r} L^{i_\lambda}_{h_\lambda j_\lambda} \dfrac{\partial x^{j_\lambda}}{\partial x^{i_s}}\\ &\sum_{\lambda=q}^r T^{i_1,\ldots,\cdot,\ldots,i_p}_{i_q,\ldots,h_\lambda, \ldots,i_r} L^{h_\lambda}_{i_\lambda j_\lambda} \dfrac{\partial x^{j_\lambda}}{\partial x^{i_s}}. \end{aligned} \] Naturgemäß stellen sich auch die andern Analogien zum gewöhnlichen Tensorkalkül (\textit{Ricci}-Identitäten, Krümmungstensor usw.) auf dieser Basis leicht ein. Zum Vergleich mit der \(D\)-Symbolik von \textit{v. d. Waerden} und \textit{Enea Bortolotti} empfiehlt sich insbesondere die Darstellung bei \textit{J. A. Schouten} und \textit{E. R. van Kampen} (1930; JFM 56.0635.*-637). (V6C.)