Sequences defined by non-linear algebraic difference equations. (Q2582037)

Es handelt sich um Differenzengleichungen der Form \[ \varPhi(y(x + m), y(x+ m - 1),\dots, y (x), x) = 0, \] wo \(\varPhi\) ein Polynom seiner \(m + 2\) Argumente ist. Verf. denkt sich die Werte \[ y (a), y(a + 1),\dots, y(a + m - 1) \] gegeben und untersucht im ersten Abschnitt das Verhalten von \(y (a +n)\) für \(n\to\infty\). Seine diesbezüglichen Resultate sind aber alle als Spezialfälle in älteren Sätzen anderer Autoren enthalten und werden auch mit wesentlicher Benutzung solcher Sätze her\-geleitet. In den folgenden Abschnitten wird nach Lösungen der Gleichung \[ \varPhi(S_{n+m}, S_{n+m-1},\dots, S_n,n) = 0\quad (n = 1, 2, 3,\dots) \] gefragt, für welche der \({\lim\limits_{n\to\infty}} S_n =\alpha\) existiert. Wenn man durch die höchste vorkom\-mende Potenz von \(n\) dividiert, kann man (im allgemeinen) sofort eine algebraische Gleichung angeben, der die Zahl \(\alpha\) genügt. Wenn \(\varPhi\) insbesondere rationale Koeffi\-zienten hat, was im folgenden durchweg vorausgesetzt wird, ist also \(\alpha\) eine algebraische Zahl. Es wird dann gezeigt, daß man für jede algebraische Zahl \(\alpha\) Gleichungen \(\varPhi= 0\) angeben kann, bei welchen (neben anderen auch) Lösungen vorhanden sind mit \({\lim\limits_{n\to\infty}} S_n =\alpha\). Sodann wird die Güte der Approximation \(S_n\to\alpha\) untersucht. Dabe werden Sätze von folgender Art bewiesen: Wenn eine natürliche Zahl \(k\) und eine alge\-braische Zahl \(\alpha\) gegeben sind, so gibt es Gleichungen \(\varPhi= 0\), welche eine rationale Zahlenfolge \(S_n\) definieren, die die Zahl \(\alpha\) mit der Konvergenzordnung \(k\) approximiert. Konvergenzordnung \(k\) bedeutet dabei, daß die Größenordnung des Fehlers \(|S_{n+1}-\alpha|\) die \(k\)-te Potenz von \(|S_n-\alpha|\) ist. Von weiteren Sätzen aus diesem Ideenkreis sei noch folgender als Beispiel angeführt: Es gibt Gleichungen \(\varPhi= 0\) von höherer als erster Ordnung, die rationale \(S_n\) definieren, die gegen eine algebraische Zahl \(\alpha\) mit höherer Konvergenzordnung konvergieren als die \(S_n\) einer jeden Gleichung erster Ordnung und gleichen Grades.