A contribution to the theory of linear homogeneous geometric difference equations (\(q\)-difference equations). (Q1463025)

Hier wird eine sehr hübsche Theorie der Gleichungen der Form \[ \sum _{i=0}^nA_i(x)u(xq^i)=0,\tag{1} \] wo \(|q|<1\) ist, auseinandergesetzt. Nach Einführung der ``geometrischen Differenzen'' \[ Qu(x)= Q'u(x)= \frac {u(xq)-u(x)}{xq-x},\qquad Q^nu(x) =QQ^{n-1}u(x ) \] nimmt Gleichung (1) die Gestalt an: \[ \sum _{h=0}^nB_h(x)x^hQ^hu(x)=0,\tag{2} \] wo natürlich \(Q^0u(x) = u(x)\) zu setzen ist. Wenn die \(A_i(x)\) und folglich auch die \(B_h(x)\) im Unendlichen regulär sind, läßt sich setzen: \[ B_h(x)x^h =(1-xq)\cdots (1-xq^h) \Biggl\{ a_0^{(h)} +\sum _{s=0}^\infty \frac {a_{s+1}^{(h)}}{(1-x)(1-\dfrac {x}{q})\cdots (1-\dfrac {x}{q^s})}\Biggr\}, \] nachdem in einem einleitenden Abschnitt die Grundzüge der Theorie der Reihen dieser Form entwickelt worden sind. Die Lösung der geometrischen Differenzengleichung (2) wird dann geleistet durch den Ansatz: \[ \begin{multlined} u(x)= \frac {(1-xq)(1-xq^2)(1-xq^3)\cdots }{(1-xrq)(1-xrq^2)(1-xrq^3)\cdots }\\ \Biggl\{ g_0 +\sum _{\nu =1}^\infty \frac {g_\nu }{(1-xr)(1-\dfrac {xr}{q})\cdots (1-\dfrac {xr}{q^{\nu -1}})}\Biggr\}. \end{multlined} \] Setzt man diesen Ausdruck in die Gleichung (2) ein, so ergibt sich für \(r\) eine algebraische Gleichung \(n\)-ten Grades \(\varphi _0(r)=0\) und für die Koeffizienten \(g_\nu \) eine lineare Rekursionsformel. Die Konvergenz der Reihe läßt sich zeigen, und man bekommt entsprechend den \(n\) Wurzeln von \(\varphi _0(r)=0\) auch \(n\) linear unabhängige Lösungen. Einer besonderen Überlegung bedarf der Fall, daß unter diesen Wurzeln gleiche sind oder solche, deren Quotient eine Potenz von \(q\) ist. Doch gelingt es dem Verf., alle Fälle einheitlich zu erledigen, und zwar auf ganz analoge Art, wie Frobenius bei linearen Differentialgleichungen den Fall behandelt hat, daß die determinierende Fundamentalgleichung gleiche Wurzeln hat oder solche, deren Differenz eine ganze Zahl ist.