Encyclopedia > Dirichlet kernel

  Article Content

Dirichlet kernel

The Dirichlet kernel, named after Johann Peter Gustav Lejeune Dirichlet,

e^{ikx}=1+2\sum_{k=1}^n\cos(kx)=\frac{\sin\left(\left(n+\frac{1}{2}\right)x\right)}{\sin(x/2)},</math> is 2π times the nth-degree Fourier series approximation to a "function" with period 2π given by
<math>\delta_p(x)=\sum_{k=-\infty}^\infty\delta(x-2\pi k)</math>
where δ is the Dirac delta function, which is not really a function, in the sense of mapping one set into another, but is rather a "generalized function", also called a "distribution". In other words, the Fourier series representation of this "function" is
<math>\delta_p(x)=\frac{1}{2\pi}\sum_{k=-\infty}^\infty e^{ikx}=\frac{1}{2\pi}\left(1+2\sum_{k=1}^\infty\cos(kx)\right).</math>
This "periodic delta function" is the identity element for the convolution defined on functions of period 2π by
<math>(f*g)(x)=\frac{1}{2\pi}\int_{-\pi}^\pi f(y)g(x-y)\,dy.</math>
In other words, we have
for every function f of period 2π. The convolution of Dn(x) with any function f of period 2π is the nth-degree Fourier series approximation to f, i.e., we have
<math>(D_n*f)(x)=(f*D_n)(x)=\frac{1}{2\pi}\int_{-\pi}^\pi f(y)D_n(x-y)\,dy=\sum_{k=-n}^n \hat{f}(k)e^{ikx},</math>
<math>\hat{f}(k)=\frac{1}{2\pi}\int_{-\pi}^\pi f(x)e^{-ikx}\,dx</math>
is the kth Fourier coefficient of f.

The trigonometric identity displayed at the top of this article may be established as follows. First recall that the sum of a finite geometric series is

<math>\sum_{k=0}^n a r^k=a\frac{1-r^{n+1}}{1-r}.</math>
The first term is a; the common ratio by which each term is multiplied to get the next is r; the number of terms is n + 1. In particular, we have
<math>\sum_{k=-n}^n r^k=r^{-n}\cdot\frac{1-r^{2n+1}}{1-r}.</math>
The expression to the left of "=" should make us expect the sum to be a symmetric function of r and 1/r, but the expression to the right of "=" is perhaps less-than-obviously symmetric in those two quantities. The remedy is to multiply both the numerator and the denominator by r-1/2, getting
In case r = eix we have
<math>\sum_{k=-n}^n e^{ikx}=\frac{e^{-(n+1/2)ix}-e^{(n+1/2)ix}}{e^{-ix/2}-e^{ix/2}}=\frac{-2i\sin((n+1/2)x)}{-2i\sin(x/2)}</math>
and then "-2i" cancels.

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article

...     Contents Mayenne Mayenne is a French département, number 53, named after the Mayenne River[?]. Préfecture (capital): ...

This page was created in 36.4 ms