An equivalence theorem for series of orthogonal polynomials. (Q2590909)

Es bezeichne \(\{p_{1n}(x)\}\) und \(\{p_{2n}(x)\}\) je eine Folge von Polynomen derart, daß \[ \textstyle \int\limits_{a}^{b}\varrho _1(x)\,p_{1n}(x)\,p_{1m}(x)\,dx=\displaystyle \begin{cases} 0&m\neq n,\\1&m=n\end{cases} \] und \[ \textstyle \int\limits_{a}^{b}\varrho _2(x)\,p_{2n}(x)\,p_{2m}(x)\,dx=\displaystyle \begin{cases} 0&m\neq n,\\1&m=n\end{cases} \] gilt, wobei \(\varrho _1\) und \(\varrho _2\) in \(\langle a, b\rangle\) nicht negative Funktionen mit \[ \textstyle \int\limits_{a}^{b}\varrho _1dx>0,\;\;\int\limits_{a}^{b}\varrho _2dx>0 \] bedeuten. Dann kann man jeder \(L_\varrho ^2\) integrierbaren Funktion \(f(x)\) die Fourierreihen \[ \begin{gathered} \textstyle \sum a_\nu p_{1\nu }(x)\;\;\text{und}\;\;\sum b_\nu p_{2\nu }(x)\;\;\text{mit}\\ a_\nu =\textstyle \int\limits_{a}^{b}\varrho _1fp_{1\nu }dx,\;b_\nu =\int\limits_{a}^{b}\varrho _2fp_{2\nu }dx\end{gathered} \] zuordnen. Verf. beweist mit Hilfe geeigneter Abschätzungen, daß diese Reihen unter folgenden Annahmen äquikonvergent sind, d. h. \[ \lim_{n\to\infty }\textstyle \sum\limits_{\varkappa =0}^{n}(a_\varkappa p_{1\varkappa }(x)-b_\varkappa p_{2\varkappa }(x))=0\;\;\text{ist:} \] Die Polynome \(p_{1n}(x)\) sind beschränkt. Es gibt eine Funktion \(\varrho (x)\), so daß fast überall \(\varrho _2(x)=\varrho (x)\,\varrho _1(x)\) gilt und \(\varrho '(x)\) einer Lipschitzbedingung der Ordnung \(\alpha \) genügt. Ferner gebe es ein positives \(\nu \), nicht negative \(\lambda _1\), \(\lambda _2\),\dots, \(\lambda _\nu \) und eine Punktfolge \(r_1\), \(r_{2}\),\dots, \(r_\nu \) in \(\langle a, b\rangle\), so daß \[ \begin{gathered} \varrho (x)\textstyle \prod\limits_{i=1}^{\nu }|\,x-r_i\,|^{\lambda _i}\neq0\;\text{ist}\;\text{und}\tag{"}\qquad\!(1)"\\ \varrho _2(x)\geqq v\textstyle \prod\limits_{i=1}^{\nu }|\,x-r_i\,|^{\lambda _i}\,\varrho _1(x)\;\text{gilt.}\end{gathered} \] Die Forderung, daß \(\varrho '\) einer Lipschitzbedingung genügt, kann noch durch die allgemeiner'' ersetzt werden: Es gibt nicht negative \(\lambda _1'\), \(\lambda _2'\),\dots, \(\lambda _\mu '\) und \(r_1'\), \(r_2'\),\dots, \(r_\mu '\) in \(\langle a, b\rangle\), so daß \[ \frac{d}{dx}\biggl[\varrho (x)\textstyle \prod\limits_{i=1}^{\nu }|\,x-r_i'\,|^{\lambda _i'}\biggr] \] einer Lipschitzbedingung der Ordnung \(\alpha \) genügt; (1) ist dann durch \[ \varrho (x)\textstyle \prod\limits_{i=1}^{\nu }|\,x-r_i\,|^{\lambda _i}\prod\limits_{i=1}^{\mu }|\,x-r_i'\,|^{\lambda _i'}\neq0 \] zu ersetzen. Die Äquikonvergenzsätze für Legendresche und Jacobische Polynome (\textit{Haar}, Math. Ann., Leipzig, 78 (1917), 121-136; \textit{W. H. Young}, C. R. Acad. Sci., Paris, 165, (1917), 696-699; F. d. M. 46; 570, 571) sind in dem Vorstehenden enthalten.