Math 2.0

Harmonic analysis on Euclidean spaces Definition

Fejér kernel

Builds on Fourier seriesCesàro mean

Definition

For an integer n≥0n \ge 0, the Dirichlet kernel is the function Dn(x)=∑k=−nneikxD_n(x) = \sum_{k=-n}^{n} e^{ikx} for real xx. For an integer N≥1N \ge 1, the Fejér kernel FNF_N is the Cesàro mean of D0,…,DN−1D_0, \dots, D_{N-1}: FN(x)=1N∑n=0N−1Dn(x)=∑k=−(N−1)N−1(1−∣k∣N)eikx.F_N(x) = \frac{1}{N} \sum_{n=0}^{N-1} D_n(x) = \sum_{k=-(N-1)}^{N-1} \left(1 - \frac{\abs{k}}{N}\right) e^{ikx}.

Remarks

For xx not a multiple of 2π2\pi, the closed form is FN(x)=1N(sin⁡(Nx/2)sin⁡(x/2))2,F_N(x) = \frac{1}{N} \left( \frac{\sin(Nx/2)}{\sin(x/2)} \right)^2, and FN(2πm)=NF_N(2\pi m) = N for integers mm. So FN≥0F_N \ge 0, FNF_N is 2π2\pi-periodic, and 12π∫−ππFN(x) dx=1\frac{1}{2\pi} \int_{-\pi}^{\pi} F_N(x) \, dx = 1, because only the term k=0k = 0 has a nonzero integral. For δ≤∣x∣≤π\delta \le \abs{x} \le \pi one has FN(x)≤1Nsin⁡2(δ/2)F_N(x) \le \frac{1}{N \sin^2(\delta/2)}, which tends to 00.

Example: F1=D0=1F_1 = D_0 = 1, and F2(x)=12(1+(1+2cos⁡x))=1+cos⁡xF_2(x) = \frac12 (1 + (1 + 2\cos x)) = 1 + \cos x, which agrees with 12(sin⁡xsin⁡(x/2))2=2cos⁡2(x/2)\frac12 \left(\frac{\sin x}{\sin(x/2)}\right)^2 = 2\cos^2(x/2).

Non-example: the Dirichlet kernel D1(x)=1+2cos⁡xD_1(x) = 1 + 2\cos x is not a Fejér kernel, and it takes the negative value −1-1 at x=πx = \pi.

For a 2π2\pi-periodic integrable function ff with Fourier series partial sums SnfS_n f, one has 1N∑n=0N−1Snf(x)=12π∫−ππFN(x−t)f(t) dt\frac{1}{N} \sum_{n=0}^{N-1} S_n f(x) = \frac{1}{2\pi} \int_{-\pi}^{\pi} F_N(x - t) f(t) \, dt.

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. Fourier series concept
  2. Sequence definition
  3. Real sequence definition
  4. Cesàro mean definition
  5. Fejér kernel definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Fejér_kernel
About this page
Tag3E740YTT9V
URIm2://3E740YTT9V
Kinddefinition
WritingW0 stub
MSC42A24, 40G05
DefinesFejér kernel
UsesFourier series, Cesàro mean
Changed2 November 2026

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.