Quelques formules concernant les opérateurs polynomiaux. (Q2580920)

Es seien \(G\), \(G^\prime\) zwei Abelsche Gruppen, von denen die zweite kein Element von endlicher Ordnung besitzt. \(f(x)\) sei ein Operator mit \(x \in G\), \(f(x) \in G^\prime\). In einer früheren Arbeit (Bull. Sci. math. (2) 64 (1940), 55-80; F. d. M. 66, 1284 (JFM 66.1284.*)), hat Verf. die \textit{Monome} und die \textit{Polynome} \(n\)-ten Grades bzw. durch die Bedingungen \[ \varDelta_\omega^n f(x) = n! \times f(\omega), \quad \varDelta_\omega^{n+1} f(x) = 0 \] definiert. -- In der vorliegenden Arbeit zeigt Verf., daß die folgende Identität für jedes Monom \(f(x)\) \(n\)-ten Grades gilt: \[ v_n \times f(x+y) = \sum\limits_{i=0}^n \dfrac{v_n}{i! (n-i)!} \times \varDelta^{n-i}_y \, \varDelta_x^i f(\xi), \] wobei \(v_n\) das Produkt \(n! \,(n - 1)! \dots 2!\, 1!\) bezeichnet. -Für ein Monom \(f(x)\) \(n\)-ten Grades gibt es einen von \(n\) Veränderlichen abhängigen Operator \(\varphi(x_1, \dots, x_n)\) derart, daß \(\varphi\) additiv in bezug auf jede Veränderliche ist, und daß für eine gewisse natürliche Zahl \(k\) die Gleichung \[ k \times f(x) = \varphi (x, x, \dots, x) \] besteht. Verf. bemerkt noch, daß man als \(\varphi (x_1, \dots, x_n\)) den Operator \[ \varphi(x_1, \dots, x_n) = \varDelta_{x_1} \cdots \varDelta_{x_n} f(\xi) \] nehmen kann. -- Schließlich wird bewiesen: \(f(x)\) sei ein Monom \(n\)-ten Grades, dann ist die Differenz \((n - 1)\)-ter Ordnung \(\varDelta_{\omega_1} \cdots \varDelta_{\omega_{n-1}} f(x)\) gleich Null für \(x = -\frac 12 (\omega_1 + \cdots + \omega_{n-1})\).