Ядро дирихле

Ядро Дирихле — функция, задающаяся следующей формулой:

$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)}.$

Названо в честь Дирихле.

Соотношение с частичными суммами тригонометрического ряда Фурье

Пусть f(x) — интегрируема на [ − π,π] и 2π-периодическая, тогда $\forall x \in \mathbb{R}~\forall n \in \mathbb{N}$

$s_N(f;x) = \frac1{\pi}\int\limits_{-\pi}^{\pi}f(x+u)\frac{\sin(n+\frac{1}{2})u}{2\sin\frac{u}{2}}du = \frac1{\pi}\int\limits_{-\pi}^{\pi}f(x+u)D_n(u)du$

Эта формула является одной из важнейших в теории рядов Фурье.

Доказательство

Рассмотрим n-ную частичную сумму ряда Фурье.

$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)=\frac1{2\pi}\int\limits_{-\pi}^{\pi}f(t)dt + \sum_{k=1}^n\left[\left(\frac1{\pi}\int\limits_{-\pi}^{\pi}f(t)\cos(kt)dt\right)\cos(kx) + \left(\frac1{\pi}\int\limits_{-\pi}^{\pi}f(t)\sin(kt)dt\right)\sin(kx)\right]\qquad(2)$ $s_N(f;x)=\frac1{\pi}\int\limits_{-\pi}^{\pi}f(t)\left[\frac1{2} + \sum_{k=1}^n\left(\cos(kt)\cos(kx) + \sin(kt)\sin(kx)\right)\right]dt\qquad(3)$

Применяя формулу разности косинусов к выражению, стоящему под знаком суммы, получим:

$s_N(f;x)=\frac1{\pi}\int\limits_{-\pi}^{\pi}f(t)\left[\frac1{2} + \sum_{k=1}^n\left(\cos(k(t-x)\right)\right]dt\qquad(4)$

Рассмотрим сумму косинусов: $\frac1{2}+\cos\alpha+\cos(2\alpha)+...+\cos(n\alpha)$

Умножим каждое слагаемое на $2\sin(\frac\alpha{2})$ и преобразуем по формуле 2sinαcosβ = sin(α + β) + sin(α − β)

$2\sin(\frac\alpha{2})\left(\frac1{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$

Применяя это преобразование к формуле (4), получим:

$s_N(f;x)=\frac1{\pi}\int\limits_{-\pi}^{\pi}f(t)\frac{\sin(n+\frac{1}{2})(t-x)}{2\sin\frac{t-x}{2}}dt\qquad(5)$

Сделаем замену переменного u = t − x

$s_N(f;x)=\frac1{\pi}\int\limits_{-\pi - x}^{\pi - x}f(x+u)\frac{\sin(n+\frac{1}{2})u}{2\sin\frac{u}{2}}dt = \frac1{\pi}\int\limits_{-\pi}^{\pi}f(x+u)\frac{\sin(n+\frac{1}{2})u}{2\sin\frac{u}{2}}dt\qquad(6)$

Свойства ядра Дирихле

• D_n(x) — функция 2π-периодическая и четная.
• $\forall n \in \mathbb{N}~\int\limits_{0}^{\pi}D_n(u)du = 1$

См. также

• Сопряжённое ядро Дирихле