Ricerca delle operazioni invariantive fra più serie di variabili permutabili con ogni altra operazione invariantiva fra le stesse serie. (Q1536716)

Diese Arbeit hängt mit den früheren Aufsätzen des Verfassers: Sopra la permutabilità delle operazioni invariantive (Nap. Rend. XXV. 134-141; F. d. M. XVIII. 1886. 92, JFM 18.0092.01) und : Osservazioni sopra le relazioni che possono aver luogo identicamente fra le operazioni invariantive (Nap. Rend. (2) I. 110-15; F. d. M. XIX. 1887. 107-8, JFM 19.0107.01) zusammen, sowie auch, wenn gleich doch nicht so eng, mit: Fondamenti di una teoria generale delle forme algebriche (Rom. Acc. L Mem. (3) XII. 529-598) und : Ueber die Zurückführung der Cayley'schen Operation \(\varOmega\) auf gewöhnliche Polar-Operationen (Math. Ann. XXIX. 331-338; F. d. M. XIX. 1887. 151, JFM 19.0151.01). Sie beschäftigt sich mit der Bestimmung der allgemeinsten invarianten Operation, welche mit jeder anderen Operation von derselben Beschaffenheit vertauschbar ist, jedoch mit der Beschränkung, dass jeder Term der zu untersuchenden Operation höchstens eine einzige Derivation in Bezug auf jede Reihe von Variabeln enthalten soll Sind die \(n\) Variabelnreihen: \[ x = x_1, x_2, \dots , x_\mu ; \quad y = y_1, y_2, \dots, y_\mu; \dots ; \quad u = u_1, u_2, \dots , u_\mu \] gegeben, bezeichnet \(J\) eine ganze rationale Function mit constanten Coefficienten, und setzt man: \[ D_{pq} = q_1 \;\frac {\partial}{\partial p_1} + q_2\;\frac {\partial}{\partial p_2} + \cdots + q_\mu\;\frac {\partial}{\partial p_\mu}, \] so ist: \[ \varDelta = J (D_{xx} , D_{xy} , D_{yx}, D_{xz}, \dots ) \] die allgemeinste invariante Operation, und es handelt sich nur noch darum, die Form von \(J\) derart zu bestimmen, dass \(\varDelta\) den anfangs gestellten Bedingungen genügt. Dazu setzen wir: \[ H_{xy\cdots u} = \left| \begin{matrix} D_{\xi x}, & D_{\xi y}, & \dots , & D_{\xi u}, \\ D_{\eta x}, & D_{\eta y}, & \dots , & D_{\eta u}, \\ \hdotsfor4\\ D_{\omega x}, & D_{\omega y}, & \dots , & D_{\omega u}, \end{matrix} \right| D_{x \xi} D_{y\eta} \dots D_{u\omega} , \] wo: \[ \xi = \xi_1, \xi_2 , \dots , \xi_\mu ; \quad \eta = \eta_1, \eta_2 , \dots , \eta_\mu ; \dots; \quad \omega = \omega_1, \omega_2 , \dots , \omega_\mu \] Hülfsveränderliche sind, und die Entwickelung der Determinante derart geschehen soll, dass in jedem Gliede die Factoren nach derselben Aufeinanderfolge der Colonnen, denen sie angehören, geordnet sind. Die Operation \( H_{xy\cdots u} = H_n\) ist vertauschbar, so auch, die Operation: \[ H_{n-1} = H_{yz\cdots u} + H_{xz\dots u} +\cdots \] d. i. die Summe der Operationen \(H\) bei welcher jedesmal eine Variable weggelassen wird; und dieselbe Eigenschaft kommt den auf analoge Weise definirten Operationen \[ H_{n-2}, H_{n-3}, \dots , H_2, H_1 = D_{xx} + D_{yy} + \cdots + D_{uu} \] zu. Die Operationen \(H_1, H_2, \dots , H_n\) sind linear unabhängig, und die allgemeinste Operation von der verlangten Beschaffenheit ist: \[ Q = \alpha_0 + \alpha_1H_1 + \alpha_2H_2 + \cdots + \alpha_nH_n , \] wo \(\alpha_0, \alpha_1, \alpha_2, \dots \alpha_n\) willkürliche Constanten sind. Man kann aber \(Q\) unter zwei andere Formen setzen. Ist \[ H_n(\varrho) = \left| \begin{matrix}\l\quad & \l\quad & \l\quad & \l\\ D_{xx}+\varrho & D_{xy} & \dots & D_{xu} \\ D_{yx} & D_{yy} + \varrho & \dots & D_{yu} \\ \hdotsfor4\\ D_{ux} & D_{uy} & & D_{uu} +\varrho \end{matrix} \right| , \] so wird bewiesen, dass \(H_n (\varrho)\) für jeden Wert von \(\varrho\) eine vertauschbare Operation ist, und wenn man: \[ H_n(\varrho) =\varrho^n +\varrho^{n-1} K_1 +\varrho^{n-2} K_2 +\cdots + K_n \] setzt, wo \(K_n = H_n(0) = Hn,\) so sind \(K_1, K_2, \dots, K_n \) vertauschbare, linear unabhängige Operationen, woraus folgt, dass \(H_1, H_2, \dots , H_n\) durch dieselben linear ausgedrückt werden können. Andererseits kann jede \(H_n(\varrho)\) durch \(1, H_n(0), H_n (1), \dots, H_n (n - 1)\) mit Hülfe der Lagrange'schen Interpolationsformel ausgedrückt werden. Folglich kann die allgemeinste Operation \(Q\) auf die Form einer linearen Function, entweder von \(H_1, H_2, \dots, H_n,\) oder von \(K_1, K_2, \dots, K_n,\) oder endlich von \(H_n (0), H_n (1), \dots, H_n (n - 1)\) gebracht werden. Betrachten wir zum Beispiel, die Cayley'sche Operation: \[ \varOmega = \sum \pm \frac {\partial}{\partial x_1}\;\frac {\partial}{\partial y_2}\;\frac {\partial}{\partial z_3}\;\cdots\;\frac {\partial}{\partial u_n}. \] Es ist \(p = n;\) \(\varOmega\) ist bekanntlich vertauschbar mit jeder Operation \(D_{pq},\) wo \(p\) und \(q\) verschieden sind, und : \[ Q_h = (xy \dots u)^h \varOmega^h, \] wo \(h\) irgend eine ganze Zahl ist, ist vertauschbar mit jeder Operation \(D_{pp}\) oder \(D_{pq}.\) Man findet: \[ Q_h = H_n (-h + 1). H_n (-h + 2). \cdots . H_n (- 1). H_n (0); \] benutzt man aber die Formel: \[ [H_n(\varrho + h)]^k = (xy \dots u)^{-h} [H_n(\varrho)]^k (xy \dots u)^h, \] woraus folgt: \[ H_n(\varrho + h). H_n(\varrho + h -1). \dots . H_n(\varrho + h - i)= (xy \dots u)^{-h} H_n(\varrho).H_n(\varrho-1).\dots. H_n(\varrho -i)(xy\dots u)^h, \] so ergiebt sich: \[ H_n (1). H_n (2) . \dots . H_n(h) = (xy \dots u)^{-h} Q_h (xy \dots u)^h = \varOmega^h (xy \dots u)^h, \] oder: \[ \varOmega^h f \frac {H_n(-h+1).H_n(-h).\dots.H_n(-2).H_n(-1).Hn(0)f}{ (xy \dots u)^h} \] \( = H_n(1). H_n(2) \dots H_n(h)\left[ \frac {f}{(xy \dots u)^h} \right],\) wo \(f\) eine beliebige Function bezeichnet.