Alcune formole numeriche in relazione alla teoria delle operazioni di polare. (Q1545007)

Es handelt sich um den Beweis der Identität: \[ \frac {\sum_{\lambda} \{ (x-\lambda +2\alpha_1-1)(x-\lambda +2\alpha_2-2) \ldots (x-\lambda +2\alpha_i-i)\}}{\sum_k \{ (x-k+2\alpha_1-1)(x-k+2\alpha_2-2) \ldots (x-k+2\alpha_i-i)\}} \] \[ =\frac {(\lambda +1)\lambda (\lambda -1)\ldots (\lambda -i+2)}{(k+1)k(k-1)\ldots (k-i+2)}, \] wo \(x\) eine von den ganzen Zahlen \(\lambda ,\; k\) unabhängige Variable ist und zwischen den ganzen Zahlen \(\alpha\) die Ungleichheiten bestehen: \[ 0\leqq\alpha_1<\alpha_2<\alpha_3<\ldots <\alpha_i\leqq\lambda\; \text{resp.}\; k. \] Die Summen links sind so zu verstehen, dass für die \(\alpha\) nur alle Wertsysteme zu substituiren sind, die diesen Ungleichungen genügen. Aus dieser Identität folgt nämlich unmittelbar, dass die Summe \[ \sum_{\lambda} \varPhi (\alpha_1,\;\alpha_2,\ldots ,\;\alpha_i) \] (wo \(\varPhi\) irgend eine völlig bestimmte Function der \(\alpha\) und \(\lambda\geqq i-1\) ist) den Wert hat: \[ \left( \begin{matrix} \lambda +1 \\ i \end{matrix} \right) . \] Man beweist dies, indem man von gewissen Eigenschaften der Coefficienten in den Polarbildungen \(D_1^kD^{\lambda}F\) Gebrauch macht, wo \(F\) eine ganze, rationale Function der beiden Variabelnreihen \(x_1,\; x_2,\ldots ,\; x_n;\; y_1,\; y_2,\ldots ,\; y_n\) ist, und \(D,\; D_1\) den Sinn haben: \[ D=\sum y\frac {\partial}{\partial x},\quad D_1=\sum x\frac {\partial}{\partial y}. \] Man bedarf des obigen Satzes bei der Bestimmung der Anzahl der linear unabhängigen Covarianten (von gegebenem ``deg-order'') eines Systems von Formen mit mehreren Reihen von unabhängigen Veränderlichen (cfr. den Bericht über die bez. Arbeit von Capelli, F. d. M. XIV. 1882. 84-85, JFM 14.0084.01).