On certain systems of functions. (Q1535233)

Diese Note ist zum Teil eine Uebersicht der Abhandlung des Verfassers: Delle derivazioni covarianti e controvarianti e del loro uso nella analisi applicata, Padova 1888 (F. d. M. XX. 1888. 282, JFM 20.0282.01), zum Teil auch eine Fortsetzung derselben. Es wurde a. a. O. nachgewiesen, dass man aus einem zu einer gegebenen quadratischen Differentialform \(\varphi^2\) covarianten \(m\)-fachen Systeme \([U_{r_1 \dots r_m}]\) ein zu derselben Form contravariantes \(m\)-faches System \([U^{(q_1 \dots q_m)}]\) durch die folgende Formel erhalten kann: \[ U^{(q_1 \dots q_m)} = \sum_{r_1 \dots r_m} a^{(r_1 q_1)} \dots a^{(r_m q_m)} U_{r_1 \dots r_m}. \] Die zwei Systeme heissen ``reciprok'' in Bezug auf die Form \(\varphi^2\). Aus jedem Satze erhält man einen zu demselben ``reciproken'' Satz, indem man die Wörter covariant und contravariant untereinander vertauscht und die unteren Indices durch obere, die oberen durch untere ersetzt. Die covariante und die contravariante Ableitung von derselben Ordnung eines zu einer Form \(\varphi^2\) covarianten \(m\)-fachen Systems sind zu einander reciprok. Die covarianten und contravarianten Ableitungen desjenigen zu einer Form \(\varphi^2\) covarianten zweifachen Systems, welches von den Coefficienten von \(\varphi^2\) gebildet wird, sind sämtlich identisch Null. Ist das \((2i + m)\)-fache System \(W_{p_1 \dots p_i q_1 \dots q_i r_1 \dots r_m}\) zu \(\varphi^2\) covariant, so gilt dasselbe von dem \(m\)-fachen Systeme: \[ V_{r_1 \dots r_m} = \sum_{p_1 \dots p_i q_1 \dots q_i} a^{(p_1 q_1)} \dots a^{(p_i q_i)} W_{p_1 \dots p_i q_1 \dots q_i r_1 \dots r_m}, \] und man hat: \[ V_{r_1 \dots r_{m + 1}} = \sum_{p_1 \dots p_i q_1 \dots q_i} a^{(p_1 q_1)} \dots a^{(p_i q_i)} W_{p_1 \dots p_i q_1 \dots q_i r_1 \dots r_{m + 1}}. \] Setzt man: \[ W_{p_1 \dots p_i q_1 \dots q_i r_1 \dots r_m} = T_{p_1 \dots p_i} U_{q_1 \dots q_i r_1 \dots r_m}, \] so folgt leicht aus diesem Satze: Ist \(T^{(q_1 \dots q_i)}\) ein zu \(\varphi^2\) contravariantes, \(U_{q_1 \dots q_i r_1 \dots r_m}\) ein zu \(\varphi^2\) covariantes System, so ist das System: \[ V_{r_1 \dots r_m} = \sum_{q_1 \dots q_i} T^{(q_1 \dots q_i)} U_{q_1 \dots q_i r_1 \dots r_m} \] covariant zu \(\varphi^2\), und man hat: \[ V_{r_1\dots r_{m + 1}} = \sum_{q_1 \dots q_i} T^{(q_1 \dots q_i)} U_{q_1 \dots q_i r_1 \dots r_{m + 1}}+ \sum{q_1 \dots q_{i + 1}} a_{r_{m + 1} q_{i + 1}} T^{(q_1 \dots q_{i + 1})} U_{q_1 \dots q_i r \dots r_m}. \]