On polynomials orthogonal with regard to a given sequence of numbers. (Q2586622)

Sei \(c_n\) \((n = 0, 1,\ldots)\) eine Folge komplexer Zahlen mit \[ \varDelta_n = |c_{i+k}|_{i,k=0}^{n-1} \neq 0 \qquad (n=1,2,\ldots),\;\varDelta_0=1, \] und seien \(P_n(z) = z^n+\cdots\) Orthogonalpolynome bezüglich der Folge \(c_n\), d. h. \(\mathfrak S[P_n(z)P_m(z)]=0\) falls \(n\neq m\), \(\neq0\) falls \(n = m\), wo \(\mathfrak S\left(\sum\limits_{i=0}^{n} \alpha_i z^i\right)= \sum\limits_{i=0}^{n}\alpha_ic_i\) gesetzt wird. Verf. beweist folgende Sätze. Die Polynome \[ R_n(y) = \mathfrak S\left[\dfrac{P_{n+1}(y)-P_{n+1}(z)}{y-z}\right] \qquad (n=0,1,\ldots), \] sind orthogonal bezüglich der Folge \(c_n'\) \((n = 0, 1,\ldots)\), die definiert ist durch \[ c_0c_{\nu}' + c_1c_{\nu-1}' + \cdots + c_{\nu}c_0' = c_0c_{\nu+2}-c_1c_{\nu+1} \qquad (\nu=0,1,\ldots). \] Die notwendige und hinreichende Bedingung für die Existenz einer Folge \(c_n^*\) \((n = 0, 1,\ldots)\), in bezug auf die die Polynome \[ P_n^*(z) = P_n(z) + A_n P_{n-1}(z) \qquad (n=0,1,\ldots),\qquad P_{-1}(z)=0, \] orthogonal sind, lautet: \(\varDelta_n\neq0\), \(\varDelta_n^* \neq0\) \((n=1,2,\ldots)\). Die Zahlen \(c_n^*\) sind dann gegeben durch \(c_n^* = c_0^*\alpha^n+k^{-1}(\alpha^{n-1}c_0+\alpha^{n-2}c_1+\cdots+c_{n-1})\), wo \(n = 1, 2,\ldots\); \(c_0^*\neq0\), \(k\neq0\) und wo \(\alpha\) der Beziehung \[ A_n=-\dfrac{kc_0^* P_n(\alpha)+R_{n-1}(\alpha)}{kc_0^*P_{n-1}(\alpha)+ R_{n-2}(\alpha)} = k\dfrac{\varDelta_{n+1}^*\varDelta_{n-1}}{\varDelta_n^*\varDelta_n} \] \((n \geqq1)\) genügt. Falls \(c_0^* =\infty\), hat man \(P_n^*(z) = P_n(z) - P_{n-1}(z)\) \((n \geqq1)\). Einige Sonderfälle werden betrachtet.