Sulla convergenza delle serie di Legendre. (Q2614627)

Verf. untersucht die \textit{Legendre}sche Reihe \[ f(x)\sim \sum_{n=0}^{\infty} a_n P_n(x),\qquad a_n=\dfrac{2n+1}{2}\int\limits_{-1}^{+1} f(x) P_n(x)\,dx \tag{*} \] einer in \((-1, +1)\) integrablen Funktion \(f (x)\) unter der Voraussetzung, daß ihre Koeffizienten \(a_n\) der Bedingung \[ a_n>-k/n \qquad (k>0;\;n=1,2,\ldots) \tag{1} \] oder der Bedingung \[ a_n<k/\sqrt n \qquad (k>0;\;n=1,2,\ldots) \tag{2} \] genügen. Er zeigt: I. Ist \(f (x)\) in \((-1, + 1)\) beschränkt: \[ |f(x)|\leqq L, \] so erfüllen die Teilsummen von (*), je nachdem für die Koeffizienten (1) oder (2) besteht, die Ungleichung \[ \begin{gathered} -3k\left[\log\dfrac{3}{\sqrt 2}+\dfrac{299}{990}\right]-27L < \sum_{r=0}^{n} a_rP_r(x) < 3k\left[\log 2+\dfrac{2081}{1680}\right] + \dfrac{165}{4}L\\ (n =0,1, 2,\ldots,\;\;-1\leqq x\leqq 1) \end{gathered} \] bzw. die Ungleichung \[ \begin{gathered} \left| \sum_{r=0}^{n} a_rP_r(x)\right| < \dfrac{4\sqrt2}{\sqrt\pi}\,\dfrac{k}{\root4 \of {1-x^2}} \left[\log\dfrac{3}{\sqrt2}+\dfrac{299}{990}\right] + 9L\\ (n =0,1, 2,\ldots,\;\;-1< x< 1). \end{gathered} \] II. Ist \(f (x)\) in \((-1, + 1)\) stetig, so konvergiert (*) gleichmäßig in \((-1, + 1)\) bzw. in jedem inneren Teilintervall von \((-1, + 1)\) gegen \(f(x)\), je nachdem (1) oder (2) besteht. III. Wird nur die Integrabilität von \(f (x)\) vorausgesetzt, so gilt: (a) Besteht (1), so ist notwendig und hinreichend für die Konvergenz von (*) im Punkte \(x = 1\) zur Summe \(s\) das Bestehen der Beziehung \[ \lim\limits_{x\to 1-0} \dfrac{1}{1-x} \int\limits_x^1 f(t)\,dt=s. \] (b) Gilt (1), und ist (*) im Punkt \(x =1\) konvergent, so ist notwendig und hinreichend für die Konvergenz von (*) in einem beliebigen anderen Punkt \(x'\) aus \((- 1, + 1)\) zur Summe \(s'\) das Bestehen der Beziehung \[ \lim\limits_{x\to1-0}\dfrac{1}{2\pi(1-x)}\int\limits_x^1dt\int\limits_0^{2\pi} f(tx'+\sqrt{1-t^2}\sqrt{1-x^{\prime 2}}\cos\theta)\,d\theta = s'. \tag{3} \] (c) Gilt dagegen (2), so ist das Bestehen von (3) notwendig und hinreichend dafür, daß (*) in dem beliebigen Punkt \(x'\) aus dem Innern von \((-1, + 1)\) zur Summe \(s'\) konvergiert.