Hyper-Tensors. (Q1832003)

Es sei \(\boldsymbol a: \bar x^i=a^i(x)\) eine analytische umkehrbare Transformation in der Umgebung eines allgemeinen Punktes \(P\) des Raumes, der auf die Koordinaten \(x^i\) (\(a, b, \ldots,i,\ldots =1,\ldots,n\)) bezogen ist, und \(\boldsymbol{b}: \hat x^i=b^i(\bar x)\) eine andere solche Transformation. Ein System von Zahlen \(X^\alpha \) (\(\alpha,\beta, \gamma,\dots = 1,\ldots,N\)), welche sich nach \[ \bar X^\alpha =f_\beta ^\alpha (\boldsymbol a)X^\beta,\;\;\hat X^\alpha =f_\beta ^\alpha (\boldsymbol{ba})X^\beta,\;\;f_\gamma ^\alpha (\boldsymbol b)\,f_\beta ^\gamma (\boldsymbol a) = f_\beta ^\alpha (\boldsymbol{ba}) \] transformieren, heißt ein ``Hypertensor''. Aus \[ \boldsymbol{a}: x^i=\sum _1^\infty {}_s a_{j_1\ldots j_s}^i x^{j_1}\ldots x^{j_s} \dfrac {1}{s!} \] und der analogen Gleichung für \(\boldsymbol b\) folgt die Zusammensetzung (\(\boldsymbol{ba}\)) mit den Koeffizienten \[ (ba)_j^i = b_k^i a_j^k,\;\;(ba)_{jk}^i = b_l^i a_{jk}^l + b_{cd}^i a_j^c a_k^d.\tag{1} \] Verf. sucht die Darstellung der Hypertensoren, welche nur von \(a_\cdot ^\cdot \), \(a_{\cdot\cdot }^\cdot \) abhängt. Aus (1) folgt \[ \frac {\partial f_\beta ^\alpha (\boldsymbol{ba})}{\partial (ba)_{jk}^i} = \frac {\partial f_\gamma ^\alpha (\boldsymbol b)}{\partial b_{rs}^i} f_\beta ^\gamma (\boldsymbol a) \breve a_r^j \breve a_s^k = f_\gamma ^\alpha (\boldsymbol b) \frac {\partial f_\beta ^\gamma (\boldsymbol a)}{\partial a_{jk}^i} \breve b_i^r, \] wo die \(\breve a_\cdot ^\cdot \) resp. \(\breve b_\cdot ^\cdot \) inverse Koeffizienten zu \(a_\cdot ^\cdot\), \(b_\cdot ^\cdot \) sind, und wenn man die Konstanten \[ C_{\beta i}^{\alpha jk} = \Biggl[ \frac {\partial f_\beta ^\alpha (\boldsymbol{a})}{\partial a_{jk}^i} \Biggr]_{\boldsymbol{a}=\boldsymbol{1}} \] einführt, so folgt (wegen \(f_\beta ^\alpha (\boldsymbol{1})=\delta _\beta ^\alpha \)) \[ \frac {\partial f_\beta ^\alpha }{\partial a_{jk}^i}= C_{\gamma r}^{\alpha jk}f_\beta ^\gamma \breve a_r^j \breve a_s^k \equiv C_{\beta r}^{\gamma jk}f_\gamma ^\alpha \breve a_r^i\tag{2} \] mit den Integrabilitätsbedingungen \[ C_{\beta i}^{\alpha jk} C_{\gamma r}^{\beta st} = C_{\beta r}^{\alpha st} C_{\gamma i}^{\beta jk}. \] Nun läßt sich die Matrix \(f_\beta ^\alpha (a_\cdot ^\cdot, a_{\cdot \;\cdot }^{\;\cdot})\) für \(a_{\cdot \;\cdot }^{\;\cdot } =0\) in \(m\) irreduzible Quadratmatrizen \(f_\beta ^\alpha,\ldots, f_{\beta _m}^{\alpha _m}\) zerlegen, und es ist \[ f_{\beta _\mu }^{\alpha _\mu }(sa_\cdot ^\cdot,0) = s^{\sigma _\mu } f_{\beta _\mu }^{\alpha _\mu }(a_\cdot ^\cdot,0). \] Die Koordinaten lassen sich so numerieren, daß \(\sigma _1\leqq \sigma _2\leqq \ldots \leqq \sigma _m\). Es folgt dann leicht \[ C_{\beta _\nu \cdot }^{\alpha _\mu \cdot\cdot } =0 \] für \(\mu \geqq \nu \) und daraus endlich \[ f_{\beta _\mu }^{\alpha _\mu }(\boldsymbol{a}) = f_{\beta _\mu }^{\alpha _\mu }(a_\cdot ^\cdot,0), \quad f_{\beta _\mu }^{\alpha _\nu }(\boldsymbol{a}) = 0\tag{3} \] für \(\mu >\nu \). Weitere Überlegungen zeigen, daß sich das Problem auf den Fall \(m = 2\), \(\sigma _2=\sigma _1 +1\) reduzieren, und der allgemeinste Hypertensor sich also aus zwei willkürlichen Tensoren aufbauen läßt. Setzt man z. B. \[ f_{\beta _1}^{\alpha _1} = a_{j_1}^{i_1}\ldots a_{j_r}^{i_r}, \quad f_{\beta _2}^{\alpha _2} = a_{l_1}^{k_1}\ldots a_{l_{r+1}}^{k_{r+1}} \] und nach (3) \[ f_{\beta _1}^{\alpha _2} = 0, \] so ist noch \(f_{\beta _1}^{\alpha _1}\), welches der Bedingung (2), d. i. \[ \frac {\partial f_{\beta _2}^{\alpha _1}}{\partial a_{jk}^i}= C_{k_1\ldots k_{r+1}}^{i_1\ldots i_r}{}_i^{st}\,a_{l_1}^{k_1} \cdots a_{l_{r+1}}^{k_{r+1}}\breve a_s^j\breve a_t^k = C_{l_1\ldots l_{r+1}}^{j_1\ldots j_r}{}_s^{jk}\,a_{j_1}^{i_1} \cdots a_{j_r}^{i_r}\breve a_i^s\tag{4} \] Genüge leistet, zu bestimmen. Bedient man sich der Transformation \(\boldsymbol{a} = (\lambda _j\delta _j^i,0)\) (\(\lambda \) willkürlich, über \(j\) nicht summieren), so zeigt sich sofort, daß \[ (\text{für \,} a_1,\ldots,a_{r+2}=1,\ldots, r+2) \] \[ C_{l_1\ldots l_{r+2}}^{j_1\ldots j_rjk}= \sum _a c_{l_1\ldots l_{r+2}}^{a_1\ldots a_{r+2}} \sigma _{l_{a_1\ldots }}^{j_1} \sigma _{l_{a_r}}^{j_r} \sigma _{l_{a_{r+1}}}^{(j} \sigma _{l_{a_{r+2}}}^{k)} \] ist, wobei \(c\) willkürliche Konstanten sind. Somit ist nach (4) \[ f_{\beta _2}^{\alpha _1}= \sum _a c_{l_1\ldots l_{r+2}}^{a_1\ldots a_{r+2}} a_{l_{a_1}}^{i_1}\cdots a_{l_{a_r}}^{i_r} a_{l_{a_{r+1}}l_{a_{r+2}}}^{i} \breve a_i^{l_{r+2}}. \] Setzt man also insbesondere \[ c_{l_1\ldots l_{r+2}}^{1\ldots r+2} =1, \text{ \;\;oder \;\;} c_{l_1\;\;l_{r-1}\;l_r\;\,l_{r+1}l_{r+2}}^{1\ldots r-1\;r+2 \;\;r\;r+1} =1 \] (während die übrigen \(c = 0\) sind), so bekommt man entweder \[ f_{\beta _2}^{\alpha _1}= a_{l_1}^{i_1}\cdots a_{l_r}^{i_r} a_{l_{r+1}s}^i \breve a_i^s \text{ \;\;oder \;\;} f_{\beta _1}^{\alpha _1}= a_{l_1}^{i_1}\cdots a_{l_{r-1}}^{i_{r-1}} a_{l_rl_{r+1}}^{i_r}. \] Der erste Fall ist für \(r = 0\) mit der Darstellung der \textit{Veblen}schen kontravarianten projektiven Vektoren identisch.