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.
Cesaro and Abel means of a Fourier series
Definition
Let be integrable on one period.
For , the Cesaro mean (or Fejer mean) of order of the Fourier series of is
Because Dirichlet and Fejer kernels defines and Period-one Fourier coefficients, partial sums, and convolution on the torus defines convolution and partial sums, one has
For , the series
converges absolutely and uniformly on , because The Abel mean of the Fourier series of is
Because , this series also converges absolutely and uniformly in . Therefore termwise integration against the absolutely convergent kernel series gives
Depends on
Used by
- Fejer means need not converge uniformly for discontinuous data Counterexample
- Fejer means of a single character Example
- Fejer summation of the square wave Example
- Poisson integral of a single character Example
- The Poisson kernel on the circle is a positive approximate identity Lemma
- Abel means converge in Lᵖ, uniformly, and at Lebesgue points Theorem
- Cesaro summability implies Abel summability Theorem
- Fejer means converge at Lebesgue points Theorem
- Fejer means converge in Lᵖ for 1 <= p < infinity Theorem
- Fejer means converge to midpoint values at jumps Theorem
- Fejer means converge uniformly for continuous periodic functions Theorem
Dependency tree · one level
2 results within one dependency step 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)
- Michael E. Taylor, Fourier Analysis, Distributions, and Constant-Coefficient Linear PDE (standard reference, not scraped)