An operation that generates absolute scalar differential invariants from tensors. (Q574330)

Die Methode, aus gegebenen Tensoren neue zu gewinnen durch Differentiation in einem geodätischen Koordinatensystem (\textit{Veblen}, Invariants of quadratic differential forms, 1927; F. d. M. 53, 681 (JFM 53.0681.*)), die sich auch auf geodätische Koordinatensysteme höherer Ordnung übertragen läßt (siehe z. B. Verf., Bulletin A. M. S. 36 (1930); 222-223, 541-546; JFM 56.0665.*, 622), wird hier in der folgenden Weise modifiziert: Das Koordinatensystem \(y\) für die Umgebung von \(P\) wird implicite definiert durch \[ \begin{multlined} x^i = q^i +\big({}_{(\alpha)}\xi^i\big)_P y^\alpha \dfrac1{2!}\big(\varGamma^i_{\lambda\mu(\alpha)}\xi^\lambda {}_{(\beta)}\xi^\mu\big)_P y^\alpha y^\beta \cdots\\ - \dfrac1{(r+1)!}\big(\varGamma^i_{\lambda\mu_1\ldots\mu_r} {}_{(\alpha)}\xi^\lambda {}_{(\beta_1)}\xi^{\mu_1}\cdots{}_{(\beta_r)}\xi^{\mu_r} \big)_P y^\alpha y^{\beta_1}\cdots y^{\beta_r}; \end{multlined} \] \({}_{(\alpha)}\xi^i\) ist dabei ein gegebenes \(n\)-tupel kontravarianter Vektoren. Differentiation eines Tensors im Punkte \(P\) unter Verwendung dieses Koordinatensystems liefert dann ein System absoluter Skalare; das Verfahren läuft hinaus auf Differentiation und Überschiebung mit den \({}_{(\alpha)}\xi^i\).