Fejér's theorem
Statement
If is continuous and -periodic, then the Cesàro means converge to uniformly as .
Why is it true?
Averaging the partial sums cancels exactly the oscillation that makes misbehave: while has wild negative lobes, its running average is a smooth, nonnegative bump that only ever adds up pieces of with a positive weight. So even though 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 and using a telescoping trigonometric identity gives the closed form . Since and for every , also ; being nonnegative, too, so the norm never blows up.
Step 2 (mass concentrates at ). For any fixed , on the denominator is bounded below by a positive constant, so uniformly there; the mass outside tends to as .
Step 3 (approximate-identity estimate). Write using . Split the integral into and . On the first piece, uniform continuity of makes for small, and with total mass bounds that piece by . On the second piece, and is bounded, so that piece as . Both bounds are uniform in , so uniformly.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Terence Tao (2003). Recent progress on the restriction conjecture · arXiv:math/0311181
- Elias M. Stein, Guido Weiss (1971). Introduction to Fourier Analysis on Euclidean Spaces
- Loukas Grafakos (2014). Classical Fourier Analysis · DOI:10.1007/978-1-4939-1194-3