An absolute partial differential calculus. (Q574336)

\(x^\mu\) und \(\bar x^i\) seien zwei Reihen voneinander unabhängiger Veränderlichen (\(\mu=1,2,\ldots,n\); \(i=1,2,\ldots,m\)), \(T'^{\mu(p)}, {}'T^{\mu(p)}, {}'T'^{\mu(p)}\) je \(mn\) Funktionen von \(x'^\mu = f_\mu(x^\nu)\) und \(\bar x^i\) bzw. \(x^\mu\) und \(\bar x'^i = \varPhi_i(\bar x^j)\) bzw. \(x'^\mu\) und \(\bar x'^\mu\). Dann nennt Verf. die Größe \(T^{\mu(p)}\) einen kontravarianten Doppelvektor in den Systemen \(x^\mu\) und \(\bar x^i\) mit den Transformationsgesetzen: \[ \begin{aligned} &T'^{\mu(p)} = \dfrac{\partial x'^\mu}{\partial x^\alpha} T^{\alpha(p)} \qquad (p = 1,2,\ldots,m),\\ &{}'T^{\mu(p)} = \dfrac{\partial \bar x'^p}{\partial \bar x^a} T^{\mu(a)} \qquad (\mu =1,2,\ldots,n),\\ &{}'T'^{\mu(p)} = \dfrac{\partial x'^\mu}{\partial x^\alpha} \dfrac{\partial \bar x'^p}{\partial \bar x^a} T^{\alpha(a)} \quad (p = 1, 2,\ldots,m; \mu=1,2,\ldots,n). \end{aligned} \] Allgemeiner werden so Doppeltensoren, spezieller wiederum Skalarvektoren und Skalartensoren mit entsprechenden Transformationsregeln definiert. Ebenso kann man auch Skalarübertragungen bilden, z. B. \[ \begin{aligned} &\varGamma'^\lambda_{\mu\nu} = \dfrac{\partial x'^\lambda}{\partial x^\alpha} \dfrac{\partial x^\beta}{\partial x'^\mu} \dfrac{\partial x^\gamma}{\partial x'^\nu} \varGamma^\alpha_{\beta\gamma} + \dfrac{\partial x'^\lambda}{\partial x^\alpha} \dfrac{\partial^2 x^\alpha}{\partial x'^\mu\partial x'^\nu},\\ &{}'\varGamma^\lambda_{\mu\nu} = \varGamma^\lambda_{\mu\nu},\;{}'\varGamma'^\lambda_{\mu\nu} = \varGamma'^\lambda_{\mu\nu} \end{aligned} \] als ``\(x\)-Übertragung und \(\bar x\)-Skalar'', oder \[ \begin{aligned} &L'^p_{qr} = L^p_{qr},\\ &{}'L^p_{qr} = \dfrac{\partial \bar x'^p}{\partial \bar x^a} \dfrac{\partial \bar x^b}{\partial \bar x'^q} \dfrac{\partial \bar x^c}{\partial \bar x'^r} L_{bc}^a + \dfrac{\partial \bar x'^p}{\partial \bar x^a} \dfrac{\partial^2 \bar x^a}{\partial \bar x'^q\partial\bar x'^r},\\ &{}'L'^p_{qr} = {}'L^p_{qr} \end{aligned} \] als ``\(x\)-Skalar und \(\bar x\)-Übertragung''. Daran schließt sich der Kalkül kovarianter Ableitungen bezüglich \(\varGamma^\lambda_{\mu\nu}\) bzw. \(L^p_{qr}\) sowie der von Skalarkrümmungs- bzw. Skalartorsionstensoren. Dabei erweisen sich kovariante \(x\)-Ableitungen im allgemeinen als mit kovarianten \(\bar x\)-Ableitungen nicht vertauschbar. Dem entwickelten Kalkül läßt Verf. geometrische Betrachtungen folgen. So entspricht etwa für \[ ds^2 = g_{\mu\nu}dx^\mu dx^\nu, \tag{A} \] \[ d\bar s^2=g_{(pq)} dx^{(p)}dx^{(q)} \tag{B} \] jedem Punkte \(\bar x\) eine Metrik (A) und umgekehrt jedem Punkt \(x\) eine solche (B). Auf diese Weise entsteht eine Zuordnung unendlich vieler \textit{Riemann}scher Räume. Andrerseits kann aber der entwickelte Kalkül wiederum als Spezialfall eines solchen gewöhnlicher Art in \(n + m\) Variablen aufgefaßt werden. Entsprechende Resultate ergibt die analoge Behandlung der \textit{Christoffel}klammern, \textit{Ricci}schen Drehungskoeffizienten usw. Zum Schluß erwähnt Verf. noch weitere Verallgemeinerungen des Kalküls auf mehr als zwei Reihen von Veränderlichen, Tripeltensoren usw. und verweist auf die Sonderrolle der Zeitkoordinate in der relativistischen Physik als ein Beispiel für einen Kalkül in einer Reihe dreier Veränderlichen und einer zweiten aus einer einzigen bestehenden. (V 6 C.)