狄利克雷核

D_{n} (x) = \sum_{k = - n}^{n} e^{i k x} = 1 + 2 \sum_{k = 1}^{n} \cos (k x) = \frac{\sin ((n + \frac{1}{2}) x)}{\sin (x / 2)} .

这里的Template:Mvar是任何非负整数。这个核函数的周期是 $2 π$ 。

应用

狄利克雷核的主要应用是在傅里叶级数中。Template:Math与任何以2Template:Pi为周期的函数Template:Mvar的卷积，是Template:Mvar的第Template:Mvar阶傅里叶级数逼近，也就是说：

\begin{matrix} (D_{n} * f) (x) & = \int_{- π}^{π} f (y) D_{n} (x - y) d y = \int_{- π}^{π} f (y) (\sum_{k = - n}^{n} e^{i k (x - y)}) d y = \int_{- π}^{π} (\sum_{k = - n}^{n} f (y) e^{- i k y}) e^{i k x} d y \\ = 2 π \sum_{k = - n}^{n} \hat{f} (k) e^{i k x} \end{matrix}

其中

\hat{f} (k) = \frac{1}{2 π} \int_{- π}^{π} f (x) e^{- i k x} d x

是 $f$ 的第 $k$ 个傅里叶系数。需要特别注意，在傅里叶级数上下文中采用的卷积定义，有时会加上了特有的系数 $\frac{1}{2 π}$ ，从而将上式表达为：

(D_{n} * f) (x) = \frac{1}{2 π} \int_{- π}^{π} f (y) D_{n} (x - y) d y = \sum_{k = - n}^{n} \hat{f} (k) e^{i k x}

核的L¹范数

为了研究傅里叶级数的收敛性质，只需研究相应的狄利克雷核的性质。狄利克雷核的一个重要特征，是当n趋于正无穷时，D_n的L¹ 范数也趋于正无穷，并且有：

‖ D_{n} ‖_{L^{1}} = Ω (\log n)

狄利克雷核的缺乏一致收敛性质，是导致很多傅里叶级数发散的原因。比如，运用狄利克雷核与一致有界原理，可以证明连续函数的傅里叶级数甚至不一定逐点收敛。参见Template:En-link。

与周期狄拉克δ函数的关系

狄利克雷核是一个周期函数，它在极限情况下会变成像梳子一样的Template:En-link，即周期狄拉克δ函数：

\sum_{m = - \infty}^{\infty} e^{\pm i ω m T} = \frac{2 π}{T} \sum_{k = - \infty}^{\infty} δ (ω - 2 π k / T) = \frac{1}{T} \sum_{k = - \infty}^{\infty} δ (ξ - k / T)

它采用了角频率 $ω = 2 π ξ$ 。

这可以从狄利克雷核在正向和逆向的傅里叶变换下保持自共轭性中推导出来：

ℱ [D_{n} (2 π x)] (ξ) = ℱ^{- 1} [D_{n} (2 π x)] (ξ) = \int_{- \infty}^{\infty} D_{n} (2 π x) e^{\pm i 2 π ξ x} d x = \sum_{k = - n}^{+ n} δ (ξ - k) \equiv {c o m b}_{n} (ξ)

ℱ [{c o m b}_{n}] (x) = ℱ^{- 1} [{c o m b}_{n}] (x) = \int_{- \infty}^{\infty} {c o m b}_{n} (ξ) e^{\pm i 2 π ξ x} d ξ = D_{n} (2 π x)

而 ${c o m b}_{n} (x)$ 在 $n \to \infty$ 时成为了周期 $T = 1$ 的Template:En-link $Ш$ ，它在傅里叶变换下保持不变： $ℱ [Ш] = Ш$ 。因此 $D_{n} (2 π x)$ 在 $n \to \infty$ 时也必定收敛为 $Ш$ 。

从另一个角度来说，狄拉克δ函数并不是严格意义上的函数，而更普遍的说是一个“广义函数”，或者说“分布”。将∆(x)视为是周期为2π的卷积运算的单位元，即对于2π为周期的函数f，有：

f * (Δ) = f

这个“函数”的傅立叶级数为：

Δ (x) \sim \sum_{k = - \infty}^{\infty} e^{i k x} = (1 + 2 \sum_{k = 1}^{\infty} \cos (k x)) .

于是，作为此级数的一个部分和，狄利克雷核可以看作“Template:En-link”。然而，它甚至不是“正元素”的逼近单位元，因此会有逐点收敛失败的情况。

三角恒等式的证明

上文中的三角恒等式

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

可以用等比数列的求和公式得到：首先

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

因此有：

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

在式中将分子和分母各乘 r^−1/2，便有：

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

当r = e^ix 时就有：

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

等式当 $e^{i x} \neq 1$ 时，即对于不是 $2 π$ 整数倍的x 成立。

对于为 $2 π$ 整数倍的x，由于 $\frac{\sin ((n + 1 / 2) x)}{\sin (x / 2)}$ 在对应点的极限是2n+1

\lim \limits_{x \to 2 k π} \frac{\sin ((n + 1 / 2) x)}{\sin (x / 2)} = 2 n + 1

因此可以将表达式延伸为连续函数，使得等式对任意x都成立。