狄利克雷核

[[file:Dirichlet kernel anime.gif|thumb|300px|前几个狄利克雷核的限制于一个周期[-L,L],~L=\pi的绘图，展示了它们收敛于中的一个狄拉克δ函数]]

在数学分析中，狄利克雷核得名自約翰·彼得·狄利克雷，它是指函数列：

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

这里的是任何非负整数。这个核函数的周期是2\pi。

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

:\begin{align}
(D_n*f)(x) &= \int_{-\pi}^\pi f(y)D_n(x-y)\,dy =\int_{-\pi}^\pi f(y) \left( \sum_{k=-n}^n e^{ik(x-y)} \right) \,dy = \int_{-\pi}^\pi \left( \sum_{k=-n}^n f(y)e^{-iky} \right) e^{ikx} \,dy\\
&=2\pi\sum_{k=-n}^n \hat{f}(k)e^{ikx}
\end{align}
其中

:\hat{f}(k)=\frac{1}{2\pi}\int_{-\pi}^\pi f(x)e^{-ikx}\,dx
是f的第k个傅里叶系数。需要特别注意，在傅里叶级数上下文中采用的卷积定义，有时会加上了特有的系数\frac{1}{2\pi}，从而将上式表达为：
:(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}

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

:\| D_n \| _{L^1} = \Omega(\log n)

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

与周期狄拉克δ函数的关系
狄利克雷核是一个周期函数，它在极限情况下会变成像梳子一样的，即周期狄拉克δ函数：
: \sum_{m=-\infty}^{\infty} e^{\pm i \omega m T} = \frac{2 \pi}{T} \sum_{k=-\infty}^{\infty} \delta(\omega-2\pi k/T) = \frac{1}{T} \sum_{k=-\infty}^{\infty} \delta(\xi- k/T)
它采用了角频率\omega=2 \pi \xi。

这可以从狄利克雷核在正向和逆向的傅里叶变换下保持自共轭性中推导出来：
:\mathcal{F}\left D_n(2 \pi x) \right = \mathcal{F}^{-1}\left D_n(2 \pi x) \right = \int_{-\infty}^{\infty} D_n(2 \pi x) e^{\pm i 2\pi \xi x} dx = \sum_{k=-n}^{+n} \delta(\xi-k) \equiv \mathrm{comb}_n(\xi)
:\mathcal{F}\left \mathrm{comb}_n \right = \mathcal{F}^{-1}\left \mathrm{comb}_n \right = \int_{-\infty}^{\infty} \mathrm{comb}_n(\xi) e^{ \pm i 2 \pi \xi x } d\xi = D_n(2 \pi x)
而\mathrm{comb}_n(x)在n \rightarrow \infty时成为了周期T=1的\, \operatorname{\text{Ш}}，它在傅里叶变换下保持不变：\mathcal{F}[\operatorname{\text{Ш}}]= \operatorname{\text{Ш}}。因此D_n(2 \pi x)在n \rightarrow \infty时也必定收敛为\, \operatorname{\text{Ш}}。

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

:f*( \Delta)=f

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

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

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

三角恒等式的证明
上文中的三角恒等式

:\sum_{k=-n}^n e^{ikx}
=\frac{\sin\left(\left(n+\frac{1}{2}\right)x\right)}{\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^{2n+1}}{1-r}.

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

:\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}}.

当r = eix 时就有：

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

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

对于为2\pi整数倍的x，由于 \frac{\sin((n+1/2)x)}{\sin(x/2)} 在对应点的极限是2n+1
:\lim\limits_{x\to 2k\pi} \frac{\sin((n+1/2)x)}{\sin(x/2)} = 2n+1

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

狄利克雷核的性质

• 狄利克雷核是一个三角多项式，因此是无穷阶可导的周期函数；
• 狄利克雷核是偶函数；
• 狄利克雷核的平均值是1；
• 在正无穷处的平均值为：

:\|D_n\|_1=\frac1{2\pi}\int_{-\pi}^{\pi} |D_n(t)| d t =\frac4{\pi^2}\ln n+O(1)

来源

• Andrew M. Bruckner, Judith B. Bruckner, Brian S. Thomson: Real Analysis. ClassicalRealAnalysis.com 1996, , S.620 ([https://books.google.com/books?id=1WY6u0C_jEsC vollständige Online-Version (Google Books)])
• Podkorytov, A. N. (1988), "Asymptotic behavior of the Dirichlet kernel of Fourier sums with respect to a polygon". Journal of Soviet Mathematics, 42(2): 1640–1646. doi: 10.1007/BF01665052
• Levi, H. (1974), "A geometric construction of the Dirichlet kernel". Transactions of the New York Academy of Sciences, 36: 640–643. doi: 10.1111/j.2164-0947.1974.tb03023.x

*

• [http://planetmath.org/encyclopedia/DirichletKernel.html Dirichlet-Kernel] at PlanetMath