Math 2.0

Harmonic analysis on Euclidean spaces Definition

Cesàro means of Fourier series

Builds on Fourier seriesFourier coefficientCesàro meanFejér kernel

Definition

Let f ⁣:ℝ→ℂf \colon \R \to \C be a 2π2\pi-periodic function that is integrable on [−π,π][-\pi, \pi], with Fourier coefficients f^(k)\hat f(k), k∈ℤk \in \Z. For n≥0n \ge 0 let Snf(x)=∑k=−nnf^(k)eikxS_n f(x) = \sum_{k=-n}^{n} \hat f(k) e^{ikx} be the partial sums of its Fourier series. For N≥1N \ge 1, the NN-th Cesàro mean (or Fejér mean) of the Fourier series of ff is σNf(x)=1N∑n=0N−1Snf(x).\sigma_N f(x) = \frac{1}{N} \sum_{n=0}^{N-1} S_n f(x).

Remarks

Counting how often each frequency occurs in S0f,…,SN−1fS_0 f, \ldots, S_{N-1} f gives σNf(x)=∑∣k∣<N(1−∣k∣N)f^(k)eikx=12π∫−ππFN(t)f(x−t) dt,\sigma_N f(x) = \sum_{\abs{k} < N} \left( 1 - \frac{\abs{k}}{N} \right) \hat f(k) e^{ikx} = \frac{1}{2\pi} \int_{-\pi}^{\pi} F_N(t) f(x - t) \, dt, where FNF_N is the Fejér kernel. So σNf\sigma_N f is a trigonometric polynomial of degree at most N−1N - 1. It is the Cesàro mean of order 11 of the sequence (Snf(x))n≥0(S_n f(x))_{n \ge 0}.

Example: for f(x)=cos⁡xf(x) = \cos x, S0f=0S_0 f = 0 and Snf=cos⁡xS_n f = \cos x for n≥1n \ge 1. So σNf=N−1Ncos⁡x\sigma_N f = \frac{N-1}{N} \cos x, which tends to ff.

Non-example: the Abel–Poisson means ∑kr∣k∣f^(k)eikx\sum_k r^{\abs{k}} \hat f(k) e^{ikx} also average the Fourier series, but with the weights r∣k∣r^{\abs{k}} instead of 1−∣k∣/N1 - \abs{k}/N; they are a different method, the Abel–Poisson summation.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cesàro mean concept
  2. Fejér kernel concept
  3. Fourier coefficient concept
  4. Fourier series concept
  5. Cesàro means of Fourier series definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Fej%C3%A9r%27s_theorem
About this page
TagMCCXNPGGSH
URIm2://MCCXNPGGSH
Kinddefinition
WritingW0 stub
MSC42A24, 40G05
DefinesCesàro means of Fourier series
UsesFourier series, Fourier coefficient, Cesàro mean, Fejér kernel

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.