Equazioni lineari e omogenee alle differenze finite aventi soluzioni polinomiali. (Q2580745)

Es wird das Symbol \[ x^{n|\omega}=x(x+\omega) \,(x+2\omega) \cdots (x+\overline{n-1} \omega) \] eingeführt; vermöge der Identität \[ x^{n|\omega}=\omega^n \left( \frac{x}{\omega} \right)^{n|1} \] kann man sich auf das spezielle Symbol \(x^{n|1}\) beschränken, für welches Verf. eine Reihe von Rechenregeln aufstellt, ähnlich den Potenzgesetzen. Sodann wird der folgende Satz bewiesen: Die Differenzengleichung \[ p_{m-1} \varDelta^my+p_{m-2} \varDelta^{m-1}y+\cdots+p_1 \varDelta^2y+ (a_1x+b_1) \varDelta y+(a_0x+b_0) y=0, \] wobei die \(p_{\nu}\) Polynome höchstens \(\nu\)-ten Grades von \(x\) sind, ferner \(a_1\), \(b_1\), \(a_0\), \(b_0\) Konstanten, und zwar \(a_0\), \(b_0\) nicht beide gleich 0, hat dann und nur dann ein Polynom \(n\)-ten Grades zur Lösung, wenn \(a_0 = 0\), \(b_0=-na_1\) ist. Das läßt sich sehr leicht auch ohne den Kalkül mit dem Symbol \(x^{n|1}\) verifizieren. Verf. kann aber mit Hilfe dieses Symbols das Lösungspolynom in geschlossener allerdings nicht ganz einfacher Form darstellen. Weiterhin noch ein ähnliches etwas komplizierteres Theorem.