TheoremBase

Uniform Convergence of the Fejer Means of a Continuous Periodic Function on the Torus

The Fejer means of a continuous lattice-periodic function converge to it uniformly on Euclidean space.

Statement

We work in the setting of The Flat Torus: Standing Notation, used here with a natural number nn satisfying 1≤n1\le n; Euclidean space Rn\mathbb{R}^{n}, the periodic class CperC_{\mathrm{per}} and the absolute value ∣t∣|t| of a real number tt are the ones fixed there. For u∈Cperu\in C_{\mathrm{per}} and N∈NN\in\mathbb{N} let σNu\sigma_{N}u be the Fejer mean of order NN of uu, and let uniform convergence of a sequence of real-valued maps on Rn\mathbb{R}^{n} be as defined there.

Let u∈Cperu\in C_{\mathrm{per}}. Then the sequence (σNu)N∈N(\sigma_{N}u)_{N\in\mathbb{N}} converges uniformly to uu on Rn\mathbb{R}^{n}. Explicitly, for every real number ε\varepsilon with 0<ε0<\varepsilon there is N0∈NN_{0}\in\mathbb{N} such that

∣σNu(x)−u(x)∣≤εfor every N∈N with N0≤N and every x∈Rn.|\sigma_{N}u(x)-u(x)|\le\varepsilon\qquad\text{for every }N\in\mathbb{N}\text{ with }N_{0}\le N\text{ and every }x\in\mathbb{R}^{n}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…