Über lineare homogene Differenzengleichungen derselben Art. (Q1501322)

Hat man zwei Differenzengleichungen \[ \begin{aligned} & (1) \qquad Py_x \equiv y_{x+n}+ p_x^{(1)} y_{x+n-1} + \cdots + p_x^{(n)} y_x =0, \\ & (2) \qquad Qy_x \equiv z_{x+m}+q_x^{(1)} z_{x+m-1} + \cdots + q_x^{(m)} z_x =0, \end{aligned}\quad (m \leqq n) \] mit rationalen Coeffizienten, so sagt man: die Gleichung (2) \textit{gehöre zu derselben Art mit} (1), wenn man durch die Beziehung \[ z_x =a_x^{(0)} y_x +a_x^{(1)} y_{x+1} +\cdots + a_x^{(n-1)} y_{x+n-1} \equiv A y_x, \] wo die \(a_x\) rationale Funktionen sind, von den Integralen der Differenzengleichung (1) zu denen der Differenzengleichung (2) übergehen kann. Es werden die aus dieser Definition unmittelbar sich ergebenden Sätze aufgestellt und mit Benutzung der von \textit{Pincherle} für die linearen Differentialgleichungen eingeführten Begriffe der Reduzibilität und der Rationalitätsgruppe die Beziehungen zwischen den Artbegriffen und der Rationalitätsgruppe der Differenzengleichungen besprochen. Es wird der allgemeine Satz bewiesen: ``Gehört die lineare homogene Differenzengleichung (2) von der Ordnung \(m=n-\nu\) mit der linearen homogenen Differenzengleichung (1) von der Ordnung \(n\) zu derselben Art, so kann man die Rationalitätsgruppe \(G\) von (1) in die Form \[ \frac{G_{11}\;\;|0\qquad}{G_{21}\;|G_{22}} \] bringen; hier ist \(G_{11}\) die Rationalitätsgruppe einer linearen homogenen Differenzengleichung \(Ry_x=0\) von der Ordnung \(\nu\), deren sämtliche Integrale der Gleichung (1) genügen; \(G_{22}\) ist die Rationalitätsgruppe der Differenzengleichung (2)''.