Privacy Policy Cookie Policy Terms and Conditions Dirichlet-Kern - Wikipedia

Dirichlet-Kern

aus Wikipedia, der freien Enzyklopädie

Als Dirichlet-Kern wird in der Analysis die Sammlung folgender Funktionen bezeichnet:

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

Diese sind nach Peter Gustav Lejeune Dirichlet benannt.

Die Bedeutung des Dirichlet-Kerns hängt mit dem Verhältnis zur Fourierreihe zusammen. Die Faltung von Dn(x) mit einer Funktion f der Periode 2π ist der n-te Grad der Fourierreihe seiner Näherung für f. Beispielsweise ist

(D_n*f)(x)=\frac{1}{2\pi}\int_{-\pi}^\pi f(y)D_n(x-y)\,dy=\sum_{k=-n}^n \hat{f}(k)e^{ikx},

mit

\hat{f}(k)=\frac{1}{2\pi}\int_{-\pi}^\pi f(x)e^{-ikx}\,dx

ist der k-te Fourierkoeffizient von f. Daraus lässt sich schließen, dass es zum Studium der Konvergenz von Fourierreihen ausreicht, die Eigenschaften des Dirichlet-Kerns zu studieren. Aus der Tatsache, dass die L1-Norm von Dn für n\to\infty gegen \infty geht, kann man herleiten, dass es stetige Funktionen gibt, die nicht durch ihre Fourierreihe dargestellt werden.[1]

[Bearbeiten] Beziehung zur Deltafunktion

Die periodische Dirac-Funktion ist das neutrale Element für die Faltung mit -periodischen Funktionen:

f*(2\pi \delta)=f \,

für jede Funktion f mit Periode 2π. Die Fourierreihe wird durch folgende "Funktion" repräsentiert:

2\pi \delta(x)\sim\sum_{k=-\infty}^\infty e^{ikx}=\left(1 +2\sum_{k=1}^\infty\cos(kx)\right).

[Bearbeiten] Beweis der trigonometrischen Identität

Die trigonometrische Identität

\sum_{k=-n}^n e^{ikx} =\frac{\sin\left(\left(n+\frac{1}{2}\right)x\right)}{\sin(x/2)}

beweist man wie folgt. Dazu vergegenwärtige man sich die endliche Summe der geometrischen Reihe:

\sum_{k=0}^n a r^k=a\frac{1-r^{n+1}}{1-r}.

Insbesondere gilt

\sum_{k=-n}^n r^k=r^{-n}\cdot\frac{1-r^{2n+1}}{1-r}.

Teilt man Zähler und Nenner durch r−1/2, erhält man

\frac{r^{-n-1/2}}{r^{-1/2}}\cdot\frac{1-r^{2n+1}}{1-r} =\frac{r^{-n-1/2}-r^{n+1/2}}{r^{-1/2}-r^{1/2}}.

Im Fall von r = eix erhält man

\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)}

und kürzt schließlich durch "−2i".

[Bearbeiten] Quellen

  1. W. Rudin, Real and Complex Analysis. McGraw-Hill, London 1970. Abschnitt 5.11, S. 101
Andere Sprachen

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -