MathLabs
TheoremProved

Fejér's theorem

Statement

If ff is continuous and 2π2\pi-periodic, then the Cesàro means σNf=1N+1∑k=0NSkf=FN∗f\sigma_N f = \frac{1}{N+1}\sum_{k=0}^N S_k f = F_N * f converge to ff uniformly as N→∞N\to\infty.

Why is it true?

Averaging the partial sums cancels exactly the oscillation that makes SNfS_N f misbehave: while DND_N has wild negative lobes, its running average FNF_N is a smooth, nonnegative bump that only ever adds up pieces of ff with a positive weight. So even though SNfS_N f can fail to converge, its running average always settles down — the same trick that tames a jittery sequence of partial sums in calculus by looking at its Cesàro average instead.

Proof sketch

Step 1 (Fejér kernel is a positive approximate identity). Averaging D0,…,DND_0,\ldots,D_N and using a telescoping trigonometric identity gives the closed form FN(x)=1N+1(sin⁡(N+12x)sin⁡(x/2))2≥0F_N(x) = \frac{1}{N+1}\left(\dfrac{\sin\left(\tfrac{N+1}{2}x\right)}{\sin(x/2)}\right)^2 \ge 0. Since FN=1N+1∑k=0NDkF_N = \frac{1}{N+1}\sum_{k=0}^N D_k and 12π∫Dk=1\frac{1}{2\pi}\int D_k = 1 for every kk, also 12π∫FN=1\frac{1}{2\pi}\int F_N = 1; being nonnegative, 12π∫∣FN∣=1\frac{1}{2\pi}\int |F_N| = 1 too, so the L1L^1 norm never blows up.

Step 2 (mass concentrates at 00). For any fixed δ>0\delta>0, on δ≤∣x∣≤π\delta \le |x| \le \pi the denominator sin⁡(x/2)2\sin(x/2)^2 is bounded below by a positive constant, so FN(x)=O(1/N)F_N(x) = O(1/N) uniformly there; the mass outside [−δ,δ][-\delta,\delta] tends to 00 as N→∞N\to\infty.

Step 3 (approximate-identity estimate). Write σNf(x)−f(x)=12π∫−ππFN(y)(f(x−y)−f(x)) dy\sigma_N f(x) - f(x) = \frac{1}{2\pi}\int_{-\pi}^{\pi} F_N(y)\big(f(x-y)-f(x)\big)\,dy using 12π∫FN=1\frac{1}{2\pi}\int F_N = 1. Split the integral into ∣y∣<δ|y|<\delta and δ≤∣y∣≤π\delta\le|y|\le\pi. On the first piece, uniform continuity of ff makes ∣f(x−y)−f(x)∣<ε|f(x-y)-f(x)|<\varepsilon for δ\delta small, and FN≥0F_N\ge0 with total mass 11 bounds that piece by ε\varepsilon. On the second piece, FN=O(1/N)F_N=O(1/N) and ff is bounded, so that piece →0\to 0 as N→∞N\to\infty. Both bounds are uniform in xx, so σNf→f\sigma_N f\to f uniformly.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Terence Tao (2003). Recent progress on the restriction conjecture · arXiv:math/0311181
  2. Elias M. Stein, Guido Weiss (1971). Introduction to Fourier Analysis on Euclidean Spaces
  3. Loukas Grafakos (2014). Classical Fourier Analysis · DOI:10.1007/978-1-4939-1194-3