ポアソン和公式
以下の式変形によって示される。
∑ k = − ∞ ∞ f ^ ( k ) = ∑ k = − ∞ ∞ ( ∫ − ∞ ∞ f ( x ) e − i 2 π k x d x ) = ∫ − ∞ ∞ f ( x ) ( ∑ k = − ∞ ∞ e − i 2 π k x ) ⏟ ∑ n = − ∞ ∞ δ ( x − n ) d x = ∑ n = − ∞ ∞ ( ∫ − ∞ ∞ f ( x ) δ ( x − n ) d x ) = ∑ n = − ∞ ∞ f ( n ) {\displaystyle {\begin{aligned}\sum _{k=-\infty }^{\infty }{\hat {f}}(k)&=\sum _{k=-\infty }^{\infty }{\bigg (}\int _{-\infty }^{\infty }f(x)\,e^{-i2\pi kx}dx{\bigg )}=\int _{-\infty }^{\infty }f(x)\underbrace {{\Bigg (}\sum _{k=-\infty }^{\infty }e^{-i2\pi kx}{\Bigg )}} _{\sum _{n=-\infty }^{\infty }\delta (x-n)}dx\\&=\sum _{n=-\infty }^{\infty }{\bigg (}\int _{-\infty }^{\infty }f(x)\,\delta (x-n)dx{\bigg )}=\sum _{n=-\infty }^{\infty }f(n)\end{aligned}}}
数学においてポアソン和公式(ポアソンわこうしき、英語: Poisson summation formula)とは、ある関数列の無限和とその関数列をフーリエ変換したものの無限和が等しいことを主張する公式である。シメオン・ドニ・ポアソン(Siméon Denis Poisson)によって発見された。