Über die Orthogonalität der Fejér-Szegöschen Polynome. (Q2580202)

\(f(z)=\sum\limits_{k=0}^\infty \alpha_kz^k\) sei eine im Einheitskreis reguläre Funktion, und für \(0 < r < 1\) gelte \[ |f(re^{i\theta})|^2=\sum\limits_{r=0}^\infty P_n (\cos \theta)r^n, \quad P_n(\cos \theta)=\sum_{k=0}^{\left[\tfrac n2\right]}{}^\prime \alpha_k\alpha_{n-k}\cos(n-2k)\theta, \] wo der Strich am Summenzeichen bedeutet, daß für gerades \(n\) der letzte Summand den Faktor \(\frac 12\) erhält. Für reelle von Null verschiedene \(\alpha_k\) werden die Polynome \(P_n(z)\) zu den \(f(z)\) zugeordneten Polynomen von \textit{Fejér} (Math. Z. 24 (1925), 267-284, 285-298; F. d. M. 51, 225 (JFM 51.0225.*)) und \textit{Szegö} (Math. Z. 25 (1926), 172-187; F. d. M. 52, 351). Verf. gibt einen Abriß des Beweises des folgenden Satzes: Notwendig und hinreichend dafür, daß die Folge \(\{P_n(x)\}\) orthogonal ist, d. h. daß eine beschränkte nicht abnehmende Funktion \(\psi(x)\) existiert mit \[ \int\limits_{-\infty}^\infty P_n(x)P_m(x)\,d\psi(x) = 0 \quad \text{für} \quad n\neq m, \quad \int\limits_{-\infty}^\infty P_n^2(x)\,d\psi(x)=h_n > 0, \] ist \[ c_{n+1}=\frac{c_1c_n-c_2c_{n-1}}{c_1+c_n-c_2-c_{n-1}} \quad \text{mit} \quad c_n=\frac{\alpha_n}{\alpha_{n-1}} \qquad (n= 3,4,\ldots). \tag{1} \] Das System (1) besitzt die Lösungen \[ \begin{aligned} c_{n+1}=c_2+c_2(c_2-c_1)\frac{U_{n-2}(\xi)}{U_n(\xi)} \qquad (n= 3,4,\ldots),& \tag{2} \\ \xi=\frac12 \sqrt{\frac{c_3-c_1}{c_3-c_2}}, \quad U_n(\xi)=\frac{\sin(n+1)\arccos \xi}{\sin\arccos \xi}&, \end{aligned} \] und hinreichend dafür, daß (2) eine orthogonale Folge von Fejér-Szegö entspricht, ist \[ -\xi<\frac{c_1}{2c_2}<1 \quad \text{für} \quad \xi>1, \quad -\eta^2<\frac{c_1}{2c_2}<1 \quad \text{für} \quad \xi=i\eta, \;\eta\geqq 0. \]