Über die ganzen \(x\), für welche ein Polynom \[ P(u_x,u_{x+1}, \ldots, u_{x+h}) = 0 \] ist, wenn \(u_x\) eine gegebene lineare rekurrente Gleichung befriedigt. (Q5971538)

Verf. gibt hier eine systematische Untersuchung der Lösungen einer sogenannten rekurrenten Gleichung (1) \(\sum\limits_{i=1}^n a_i u_{x+i}=0\) für alle ganzen rationalen \(x\), wo die \(a_i\) zu einem beliebigen Zahlkörper gehören. Über solche Lösungen hat er schon früher einige Aussagen gegeben (8. Skand. Mat. Kongr., Stockholm, 1934 (1935), 163-188; F. d. M. \(61_{\text{II}}\), 1080). Die Gleichung \(\sum\limits_{i=1}^n a_it^i=0\) wird als die zu (1) gehörige charakteristische Gleichung bezeichnet. Eine Lösung \(u_x\) heißt primitiv, wenn \(u_x\) die Gleichung (1) für alle \(x\) aber keine kürzere Gleichung mit Koeffizienten aus \(K\) befriedigt. Eine Anzahl von Lösungen \(u_x^{(j)}\) von (1) heiße linear unabhängig in bezug auf \(K\), wenn eine Gleichung \(\sum\limits_j c_j u_x^{(j)}=0\) mit Zahlen \(c_j\) aus \(K\) nur dann für alle \(x\) bestehen kann, wenn alle \(c_j=0\) sind; sonst heißen sie linear abhängig. Es wird gezeigt, daß je \(n+1\) Lösungen linear abhängig sind, daß aber (1) stets \(n\) linear unabhängige Lösungen hat, die somit ein Fundamentalsystem von Lösungen sind; z. B. stellen die Zahlen \(u_{x+j}\) \(n\) in bezug auf \(K\) linear unabhängige Lösungen von (1) dar, wenn \(u_x\) eine primitive Lösung ist, und (1) hat stets eine primitive Lösung in \(K\). Wenn \(\alpha_j\) die Wurzeln der charakteristischen Gleichung von (1) sind, so hat jede Lösung von (1) die Form \(\sum\limits_j P_j(\alpha_j,x)\alpha_j^x\), wo \(P_j\) Polynome mit Koeffizienten aus \(K\) sind, und wo stets \(P_j(y,z)\) und \(P_h(y, z)\) identisch sind, wenn \(\alpha_j\) und \(\alpha_h\) konjugiert in bezug auf \(K\) sind. Verf. zeigt dann u. a. den folgenden wichtigen Satz: Eine beliebige Lösung \(u_x\) von (1) ist entweder gleich 0 für alle \(x\) in einer arithmetischen Reihe oder gleich 0 nur für endlich viele ganze \(x\). Es gelten ähnliche Sätze für Polynome \(v_x=P(u_x,u_{x+1},\ldots,u_{x+h})\) Koeffizienten aus \(K\), d. h. es ist im allgemeinen entweder \(u_x\) gleich 0 für alle \(x\) oder nur für endlich viele. Es sei hier nur der folgende Satz erwähnt: Sind die Wurzeln \(\alpha_i\) der charakteristischen Gleichung von (1) multiplikativ unabhängig, d. h. besteht keine Relation \(\alpha_1^{x_1}\alpha_2^{x_2}\cdots\alpha_n^{x_n}=1\) mit ganzen rationalen \(x_i\), so ist \(v_x=P(u_x,u_{x+1},\ldots,u_{x+h})\), wo \(P\) ein beliebiges homogenes Polynom mit Koeffizienten aus \(K\) ist, entweder gleich 0 für alle \(x\) oder nur für endlich viele \(x\).