ディリクレ核の性質 \[\lim_{n\rightarrow\infty}D_{n}\left(x\right)=2\pi\mathrm{comb}_{2\pi}\left(x\right)\] ディリクレ核 ディリクレ核の定義と別表示 \[D_{n}\left(x\right)=\sum_{k=-n}^{n}e^{ikx}\]
