Un vettore ausiliare in analisi tensoriale. (Q2583945)

Nach einem bekannten Satz (vgl. Verf., Atti Accad. naz. Lincei, Rend., Cl. Sci. fis. mat. natur. (6) 21 (1935), 555-562; F. d. M. \(61_{\text{I}}\), 807) sind die partiellen Ableitungen \(\dfrac {\partial T_{(a)}^{(b)}}{\partial u_{(c)}^{(d)}}\) eines \(b\)-fach kontravarianten und \(a\)-fach kovarianten Tensors \(T_{(a)}^{(b)}\) Komponenten eines \((b + c)\)-fach kontravarianten und \((a + d)\)-fach kovarianten Tensors, wenn die Komponenten des Tensors \(T_{(a)}^{(b)}\) sich explizit durch die Komponenten \(u_{(c)}^{(d)}\) eines anderen Tensors darstellen lassen. Für \[ \varDelta = \dfrac {\partial (u_1, u_2, \dots, u_n)}{(x_1, x_2, \dots, x_n)} \not = 0 \] kann man einen Tensor, dessen Komponenten Funktionen der Koordinaten \(x_1, x_2, \dots, x_n\) sind, in einem gewissen Gebiet auch als Funktion der Komponenten \(u_l\) eines (z. B. kovarianten) Vektors auffassen. Entsprechend liefern dann z. B. die Ableitungen \(\dfrac{\partial T_{ik}}{\partial u_l}\) eines zweifach kovarianten Tensors \(T_{ik}\) die Komponenten eines zweifach kovarianten und einfach kontravarianten Tensors. Andererseits gilt für diesen Tensor die Darstellung \[ \frac {\partial T_{ik}}{\partial u_l} = \frac {\varDelta_l^{ik}}{\varDelta}, \] worin \(\varDelta_l^{ik}\) die Determinante bedeutet, die aus \(\varDelta\) hervorgeht, wenn in ihr die \(u_{i}\) durch die \(T_{ik}\) ersetzt werden. Damit gewinnt Verf. das Ergebnis: die Komponenten \(T_{(a)}^{(b) \| l}\) des aus dem Tensor \(T_{(a)}^{(b)}\) durch Differentiation in bezug auf den (kovarianten) Hilfsvektor \(u_l\) hervorgehenden Tensors ergeben sich, indem man die Determinante, die aus \(\varDelta\) entsteht, wenn man darin die Komponenten \(u_l\) durch \(T_{(a)}^{(b)}\) ersetzt, durch die Jacobische Determinante \(\varDelta\) dividiert (dabei wird also stets \(\varDelta \not = 0\) vorausgesetzt). Das Ergebnis läßt sich auf kontravariante Hilfsvektoren ausdehnen und wird von Verf. weiterhin in mehreren Spezialfällen illustriert.