Zur Theorie der homogenen linearen Differenzengleichungen. (Q1489325): Difference between revisions

1. Bilden \(y_x^{(1)},y_x^{(2)},\dots,y_x^{(n)}\) ein Fundamentalsystem von Lösungen der homogenen linearen Differenzengleichung \(n\)-ter Ordnung \[ (1)\quad P(p_x,y_x)\equiv y_{x+n}+p_x^{(1)}y_{x+n-1}+\cdots+p_x^{(n)}y_x=0, \] und ist \(S(s_x^{(k)},y_x)\equiv S_k(y_x)=0\) diejenige homogene lineare Differenzengleichung \((n-1)\)-ter Ordnung, welche mit (1) die Lösungen \(y_x^{(1)},y_x^{(2)},\dots,y_x^{(k-1)},y_x^{(k+1)},\dots,y_x^{(n)}\), gemeinsam hat, so ist \(S^{-1}(s_{x+1}^{(k)},y_{x+1}^{(k)}\)) ein Multiplikator von \(P(p_x,y_x)\) und \(S_k(y_x)=c_kS_k(y_x^{(k)}\)) eine ``erste Integralgleichung'' von (1). Ferner ist \[ S_k^{-1}(y_x^{(k)})=z_x^{(k)}\equiv \frac{1}{D}\frac{\partial D}{\partial y_{x+n-1}^{(k)}}\left(D=| y_{x+i=1}^{(k)}|_{k,i=1,2,\dots,n}\right). \] Für den bilinearen Differenzenausdruck \(P(y_x,z_x)\) (\textit{Wallenberg}, Sitzungsber. Berl. Math. Ges. 7, 52, 1908) besteht die Relation \[ P(y_x^{(i)},z_x^{(k)})=\delta_{ik}{i,k=1,2,\dots,n\choose \delta_{ik}=0\;\text{für}\;i\neq k, \delta_{k_k}=1}. \] 2. Die Funktionen \(u_x^{(k)}=z_{x+1}^{(k)} (k=1,2,\dots,n)\) genügen der zu (1) ``adjungierten'' Differenzengleichung (l. c.): \[ (2)\quad u_{x-n}+(p^{(1)}u)_{x-n+1}+(p^{(2)}u)_{x-n+2}+\cdots+(p^{(n)}u)_x=0. \] Es sei \(T(t_x^{(k)},u_x)\equiv T_k(u_x)=0\) diejenige Differenzengleichung, welche die Lösungen \(u_x^{(1)},\dots,u_x^{(k+1)}, u_x^{(k+1)},\dots,u_x^{(n)}\) besitzt; dann ist \(-T^{-1}(t_{x-1}^{(k)},u_{x-1}^{(k)})\) ein Multiplikator von (2), und es ist \(T^{-1}(t_{x-1}^{(k)},u_{x-1}^{(k)})=y_x^{(k)}\). Zwischen den beiden gefundenen Relationen \[ S^{-1}(s_{x+1}^{(k)}, y_{x+1}^{(k)})=u_k^{(k)}\;\text{und}\;T^{-1}(t_{x-1}^{(k)},u_{x-1}^{(k)}=y_x^{(k)} \] besteht vollkommene Reziprozität.