On the interchange of the variables in certain linear differential operators. (Q1532829)

Die zu betrachtenden Operatoren schliessen ein oder umfassen alle diejenigen, welche in den neueren Theorien der functionalen Differentialinvarianten, der Reciprocanten, der Cyklicanten u. s. w. als Annihilatoren und als Erzeugende aufgetreten sind. Die allgemeine Form der binären Operatoren (Operatoren, deren Argumente die Ableitungen einer abhängigen Veränderlichen in Bezug auf eine unabhängige sind), welche der Verf. zuerst der Betrachtung unterwirft, wird in Uebereinstimmung mit der von Herrn MacMahon in den beiden bemerkenswerten Schriften benutzten angenommen: ``The theory of a multilinear partial differential operator with applications to the theories of invariants and reciprocants'', Lond. M. S. Proc. XVIII (F. d. M. XIX. 1887. 94, JFM 19.0094.01), ``The algebra of multilinear partial differential operators'', ibid.XIX (F. d. M. XX. 1889. 91, JFM 20.0091.01). Diese Operatoren enthalten vier Elemente. Die analogen ternären Operatoren, denen der Verf. hiernach seine Aufmerksamkeit zuwendet, sind von den MacMahon'schen Operatoren aus sechs Elementen verschieden. Ihre Argumente sind die partiellen Ableitungen einer der drei Variabeln, die als durch eine einzige Relation in Bezug auf die beiden anderen verbunden vorausgesetzt sind. Die Abschnitte 2 bis 15 beziehen sich auf die binären Operatoren. Ihre Definition werde im folgenden erläutert. Man schreibe \(y_r\) zur Bezeichnung von \(\frac 1{\varPi r}\;\frac {d^ry}{dx^r}\) und \(x_r\) für \(\frac 1{\varPi r}\;\frac {d^rx}{dy^r}\)\,; entsprechende Zunahmen von \(x\), \(y\) seien \(\xi\) und \(\eta\), so dass \[ \eta=y_1\xi+y_2\xi^2+y_3\xi^3+\cdots, \quad \xi = x_1\eta + x_2\eta^2 + x_3\eta^2 +\cdots, \] wobei die eine Entwickelung eine Umkehrung der anderen ist; ferner bezeichne \(Y^{(m)}_s\) den Coefficienten von \(\xi^s\) in der Entwickelung von \(\eta^n\) nach aufsteigenden Potenzen von \(\xi\) und \(X^{(m)}_s\) den Coefficienten von \(\eta^s\) in der Entwickelung von \(\xi^m\) nach aufsteigenden Potenzen von \(\eta\), wobei \(m\) eine positive oder negative ganze Zahl, die Null nicht ausgeschlossen, bedeutet. Ausserdem sei \(n\) eine positive oder negative Zahl oder Null; \(\mu\), \(\nu\) seien beliebige Zahlgrössen. Dann sind die betrachteten Operatoren: \[ \left\{\mu,\nu;m,n\right\}_x=\frac 1m\sum \left\{(\mu+\nu s)X^{(m)}_s\;\frac d{dx_{n+s}}\right\}, \] \[ \left\{\mu,\nu;m,n\right\}_y=\frac 1m\sum \left\{(\mu+\nu s)Y^{(m)}_s\;\frac d{dy_{n+s}}\right\}. \] Die Summationen beziehen sich auf \(s\), welches der Reihe nach alle ganzzahligen Werte annimmt, die nicht kleiner als der grössere der Werte \(m\) und \(-n+1\) sind. Das zu erreichende Ziel besteht darin, jeden Operator \(\{\mu,\nu;m,n\}_x\), der von \(x\) abhängt, als einen Operator oder eine Summe von Operatoren gleicher Gestalt \(\{\mu',\nu';m',n'\}_y\), von \(y\) abhängig, auszudrücken. Die übrigen Abschnitte 16 bis 24 beziehen sich auf ternäre Operatoren, nämlich: \[ \begin{aligned} & m\left\{\mu,\nu,\nu';m,n,n'\right\}_x=\sum \left\{(\mu+\nu r+\nu's)X^{(m)}_{rs}\;\frac d{dx_{n+r,n'+s}}\right\},\\ & m\left\{\mu,\nu,\nu';m,n,n'\right\}_y=\sum \left\{(\mu+\nu r+\nu's)Y^{(m)}_{rs}\;\frac d{dy_{n+r,n'+s}}\right\},\\ & m\left\{\mu,\nu,\nu';m,n,n'\right\}_z=\sum \left\{(\mu+\nu r+\nu's)Z^{(m)}_{rs}\;\frac d{dz_{n+r,n'+s}}\right\}.\end{aligned} \] Hierin bedeutem \(\mu\), \(\nu\) beliebige Zahlengrössen; \(m\) eine positive ganze Zahl; \(n\), \(n'\) positive ganze Zahlen, mit Einschluss der Null; \(r\), \(s\) Grössen, welche der Reihe nach alle positiven ganzzahligen Werte von Null an durchlaufen, die der Bedingung \(r+s<m\) genügen.