Dirichlet kernel

A Dirichlet-kernel egy -periodikus függvény, amelyet a következő képlet ad meg [1] [2] : $2\pi$

D_{n}(x)=\sum _{{k=-n}}^{n}{\frac {e^{{ikx}}}{2}}={\frac {1}{2}} +\sum _{{k=1}}^{n}\cos(kx)={\frac {\sin \left(\left(n+{\frac {1}{2}}\right)x\right )}{2\sin(x/2)}}.

A függvény nevét Dirichlet francia-német matematikusról kapta . Ez a függvény egy kernel , amelynek konvolúciója a trigonometrikus Fourier-sor részösszegét adja . Ez lehetővé teszi számunkra, hogy analitikusan értékeljük az eredeti függvény és térbeli közelítései közötti kapcsolatot . $L_2[-\pi,\pi]$

Kapcsolat a Fourier-sorozattal

Legyen tehát integrálható on és -periodic $f(x)$ $[-\pi ,\pi ]$ $2\pi$ $\forall x\in {\mathbb {R}}~\forall n\in {\mathbb {N}}$

$S_{n}(f;x)={\frac {1}{\pi }}\int \limits _{-\pi }^{\pi }f(x+u){\frac {\ sin(n+{\frac {1}{2}})u}{2\sin {\frac {u}{2}}}}du={\frac {1}{\pi }}\int \limits _ {-\pi }^{\pi }f(x+u)D_{n}(u)du$

Ez a képlet az egyik legfontosabb a Fourier-sorok elméletében.

Bizonyítás

Tekintsük a Fourier-sor n-edik részösszegét.

$S_{n}(f;x)={\frac {a_{0}}{2}}+\sum \limits _{{k=1}}^{{n}}(a_{k}\cos( kx)+b_{k}\sin(kx))\qquad (1)$

$S_{n}(f;x)={\frac 1{2\pi }}\int \limits _{{-\pi }}^{{\pi }}f(t)dt+\sum _{{k =1))^{n}\left[\left({\frac 1{\pi }}\int \limits _{{-\pi }}^{{\pi }}f(t)\cos(kt )dt\right)\cos(kx)+\left({\frac 1{\pi }}\int \limits _{{-\pi }}^{{\pi }}f(t)\sin(kt )dt\jobbra)\sin(kx)\jobbra]\qquad (2)$

$S_{n}(f;x)={\frac 1{\pi }}\int \limits _{{-\pi }}^{{\pi }}f(t)\left[{\frac 1{ 2}}+\sum _{{k=1}}^{n}\left(\cos(kt)\cos(kx)+\sin(kt)\sin(kx)\right)\right]dt\ qquad(3)$

A különbségi koszinusz képletet az összegjel alatti kifejezésre alkalmazva a következőt kapjuk:

$S_{n}(f;x)={\frac 1{\pi }}\int \limits _{{-\pi }}^{{\pi }}f(t)\left[{\frac 1{ 2}}+\sum _{{k=1}}^{n}\left(\cos(k(tx)\right)\right]dt\qquad (4)$

Tekintsük a koszinusz összegét: ${\frac 1{2))+\cos \alpha +\cos(2\alpha )+...+\cos(n\alpha )$

Minden tagot megszorozunk és átalakítunk a képlet szerint $2\sin({\frac \alpha {2)))$ $2\sin \alpha \cos \beta =\sin(\alpha +\beta )+\sin(\alpha -\beta )$

$2\sin({\frac \alpha {2}})\left({\frac 1{2}}+\cos \alpha +\cos(2\alpha )+...+\cos(n\alpha ) \right)=\sin {\frac \alpha {2}}-\sin {\frac \alpha {2}}+\sin {\frac {3\alpha }{2}}-\sin {\frac {3 \alpha }{2}}+...+\sin(n+{\frac {1}{2}})\alpha =\sin(n+{\frac {1}{2}})\alpha$

Ezt a transzformációt a (4) képletre alkalmazva kapjuk:

$S_{n}(f;x)={\frac 1{\pi }}\int \limits _{{-\pi }}^{{\pi }}f(t){\frac {\sin(n+) {\frac {1}{2)))(tx)}{2\sin {\frac {tx}{2))))dt\qquad (5)$

Változót változtatunk $u=tx$

$S_{n}(f;x)={\frac 1{\pi }}\int \limits _{{-\pi -x}}^{{\pi -x}}f(x+u){\ frac {\sin(n+{\frac {1}{2}})u}{2\sin {\frac {u}{2}}}}du={\frac 1{\pi }}\int \limits _{{-\pi }}^{{\pi }}f(x+u){\frac {\sin(n+{\frac {1}{2}})u}{2\sin {\frac { u}{2}}}}du\qquad (6)$

A Dirichlet kernel tulajdonságai

$D_{n}(x)$ egy -periodikus és páros függvény . $2\pi$
$\forall n\in \mathbb {N} ~\int \limits _{-\pi }^{\pi }D_{n}(u)du={\pi }$

Jegyzetek

↑ Matematikai enciklopédia / Vinogradov I.M. - M .: Szovjet enciklopédia. - T. 2. - S. 194.
↑ Dirichletkernel . (határozatlan)

Lásd még

Konjugált Dirichlet Kernel
Fejér magja
Jackson mag