Reihenentwicklungen nach \textit{Legendre}schen Polynomen. (Q1471063)

Beweis des folgenden Satzes: Ist \(f(x)\) eine samt ihrem Quadrat im \textit{Lebesgue}schen Sinn integrierbare Funktion und ist \[ a_r=\frac 2\pi\int_0^\pi f(\cos\overline\theta)\cos r\overline\theta d\overline\theta\text{ und }a_r=\frac{2r+1}{2}\int_{-1}^{+1}f(\overline x)P_r(\overline x) d\overline x, \] so ist an jeder inneren Stelle des Intervalls \(0\leqq\theta\leqq\pi\) \[ \lim_{n=\infty}\left[\sum_{n=0}^n a_rP_r(\cos\theta)- \sum_{r=0}^n\alpha_r\cos r\theta\right]=0. \] Durch diesen Satz übertragen sich insbesondere alle klassischen hinreichenden Bedingungen für Konvergenz und ferner bekannte Divergenzkriterien aus der Theorie der \textit{Fourier}schen Reihen auf \textit{Legendre}sche Reihen.