A complete system of tensors of linear homogeneous second-order differential equations. (Q568752)

Verf. behandelt zunächst die Transformationstheorie gewöhnlicher homogener Differentialsysteme zweiter Ordnung \[ \frac {d^2y^i}{dx^2} + p_\alpha ^i \frac {dy^\alpha }{dx} + q_\alpha ^iy^\alpha = 0 \tag{*} \] in \(n\) abhängigen und einer unabhängigen Variablen gegenüber der Gruppe \[ \bar {y}^i = \bar {a}_\alpha ^i y^\alpha, \bar {x} = \xi (x), \] \(\bar {a}_r^s\) und \(\xi \) als analytische Funktionen von \(x\) betrachtet. Differentialsysteme, die durch eine derartige Transformation auseinander hervorgehen, heißen äquivalent, ihre gemeinsamen Eigenschaften sind durch die Invarianten der Gruppe gegeben. Um die Äquivalenz zweier Systeme (*) zu entscheiden, gewinnt Verf. für beide eine kanonische Form der Gestalt \[ \frac {d^2y^i}{dx^2} + q_\alpha ^iy^\alpha = 0, \quad q_\alpha ^\alpha = 0, \quad \pi _r^s = -q_r^s, \tag{**} \] wobei der relative gemischte Tensor \(\pi _r^s\) durch den Ausdruck \[ 2\pi _\alpha ^s \equiv \frac {dp_\alpha ^s}{dx} + \frac 12 p_\alpha ^s - 2q_\alpha ^s - \delta _\alpha ^sp, \quad p \equiv \frac 1n (\frac {dp_\alpha ^\alpha }{dx} + \frac 12 p_\alpha ^\beta p_\beta ^\alpha - 2q_\alpha ^\alpha ) \] definiert ist. Die beiden Systeme sind äquivalent, sobald nach Reduktion auf die kanonische Gestalt (**) Konstanten existieren, die die Relationen \[ (cx+d)^{-4} c_\rho ^s \bar \pi _r^\rho = \pi _\rho ^s c_r^\rho \] befriedigen (\(c_\rho ^s\) willkürliche Konstanten, \((cx+d) c_j^i = a_j^i = c_j^i (\xi ')^{-\frac 12})\). Weiterhin werden unmittelbare Kriterien für die Existenz der \(n^2+1\) Funktionen \(a_r^s, \xi \) gegeben, gemäß\ welcher vermöge \(\bar x = \xi (x)\) das System (*) in \[ \frac {d^2 \bar y^i}{d \bar x^2} + \bar p_\alpha ^i \frac {d \bar y^\alpha }{d \bar x} + \bar q_\alpha ^i \bar y^\alpha = 0 \] übergeht oder nicht. Die entwickelte Theorie gestattet ferner eine dynamische Interpretation und Anwendungen auf Geometrie durch Einführung einer Metrik in Form eines Fundamentaltensors \(g_{\mu \nu }\), verknüpft mit den Integralkurven des Systems.