Non-linear algebraic difference equations with formal solutions of the same type as the formal solutions of linear homogeneous difference equations. (Q2591227)

Es wird gefragt, wann eine nicht lineare Differenzengleichung (DG) \[ F (x, y (x), y(x+1),\dots, y (x + m)) = 0, \] wo \(F\) ein Polynom ist, eine Lösung mit einer linearen DG gemein hat, oder auch, wann sie formale Lösungen von der gleichen Bauart zuläßt, wie man sie bei linearen DG zu betrachten pflegt. In Beantwortung der ersten Frage wird der Satz bewiesen: Die DG \(F = 0\) hat dann und nur dann alle Lösungen der linearen DG \[ \sum_{i=0 }^n a_i (x)y(x + i)= 0 \] ebenfalls zu Lösungen, wenn sie die Form \[ \sum_{j=1 }^m \sum_{i=0 }^n a_i (x +j) y(x + j + i)\, \varPhi_j = 0 \] hat, wo die \(\varPhi_j \) Polynome von \(y (x), y (x + 1), \dots \) sind. Zur Beantwortung der zweiten Frage werden verschiedene Kriterien für Existenz oder Nichtexistenz solcher formalen Lösungen angegeben.