How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Fejer means converge uniformly for continuous periodic functions
Statement
Let be one-periodic and continuous. Then
Facts & Assumptions
Given: A one-periodic continuous function .
The Cesaro means satisfy , so for every (Cesaro and Abel means of a Fourier series).
The Fejer kernels are nonnegative, have integral , and their mass on tends to for every (The Fejer kernel is a positive approximate identity).
Proof
Let . Because is continuous on the compact interval and one-periodic, it is uniformly continuous modulo . Choose such that whenever and .
For every , subtract inside the integral from [L1]: Split the integral into the near set and the far set . By step 1.1 and the positivity from [L2], the near part is at most . The far part is at most
By [L2], choose so large that for all . Then step 2.1 gives Since was arbitrary, the convergence is uniform.
Depends on
Used by
Dependency tree · two levels
4 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Richard S. Laugesen, Harmonic Analysis Lecture Notes (standard reference, not scraped)
- Loukas Grafakos, Classical Fourier Analysis, 3rd ed. (standard reference, not scraped)