摺積定理指出,函數摺積的傅利葉轉換是函數傅利葉轉換的乘積。即一個域中的摺積對應於另一個域中的乘積,例如時域中的摺積對應於頻域中的乘積。
![{\displaystyle {\mathcal {F}}\{f*g\}={\mathcal {F}}\{f\}\cdot {\mathcal {F}}\{g\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2774439962f8fbdd02622e126adaeb4cd09e5833)
其中
表示f 的傅利葉轉換。下面這種形式也成立:
![{\displaystyle {\mathcal {F}}\{f\cdot g\}={\mathcal {F}}\{f\}*{\mathcal {F}}\{g\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84a5c5e7154432bb6b3c3cc19698ecd381c53ba0)
藉由傅利葉反轉換
,也可以寫成
![{\displaystyle f*g={\mathcal {F}}^{-1}{\big \{}{\mathcal {F}}\{f\}\cdot {\mathcal {F}}\{g\}{\big \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef99e7043a4fabd5411070d28e9696d271e5e3ac)
注意以上的寫法只對特定形式定義的轉換正確,轉換可能由其它方式正規化,使得上面的關係式中出現其它的常數因子。
這一定理對拉普拉斯轉換、雙邊拉普拉斯轉換、Z轉換、梅林轉換和Hartley轉換(參見Mellin inversion theorem)等各種傅利葉轉換的變體同樣成立。在調和分析中還可以推廣到在局部緊緻的阿貝爾群上定義的傅利葉轉換。
利用摺積定理可以簡化摺積的運算量。對於長度為
的序列,按照摺積的定義進行計算,需要做
組對位乘法,其計算複雜度為
;而利用傅利葉轉換將序列轉換到頻域上後,只需要一組對位乘法,利用傅利葉轉換的快速算法之後,總的計算複雜度為
。這一結果可以在快速乘法計算中得到應用。
這裏展示的證明是基於傅立葉轉換的特定形式。如果傅利葉轉換的形式不同,則推導中將會增加一些常數因子。
令f、g屬於L1(Rn)。
為
的傅利葉轉換,
為
的傅利葉轉換:
![{\displaystyle F(\nu )={\mathcal {F}}\{f\}=\int _{\mathbb {R} ^{n}}f(x)e^{-2\pi ix\cdot \nu }\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a631e685c13746be701c87de27767c5cc44e8ae4)
![{\displaystyle G(\nu )={\mathcal {F}}\{g\}=\int _{\mathbb {R} ^{n}}g(x)e^{-2\pi ix\cdot \nu }\,\mathrm {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b29f66445da0fc4b2f95ffa3e89fe5dce6c334c)
其中x和ν之間的點表示Rn上的內積。
![{\displaystyle h(z)=\int \limits _{\mathbb {R} }f(x)g(z-x)\,\mathrm {d} x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/854cd2e092580befb9b507d8a5f0b1ec26a6b2db)
現在發現,
![{\displaystyle \int \!\!\int |f(z)g(x-z)|\,dx\,dz=\int |f(z)|\int |g(z-x)|\,dx\,dz=\int |f(z)|\,\|g\|_{1}\,dz=\|f\|_{1}\|g\|_{1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db7c5c0d3946f6e73d6a46a4e970da30f3a4738c)
因此,通過富比尼定理我們有
,於是它的傅利葉轉換
由積分式定義為
![{\displaystyle {\begin{aligned}H(\nu )={\mathcal {F}}\{h\}&=\int _{\mathbb {R} }h(z)e^{-2\pi iz\cdot \nu }\,dz\\&=\int _{\mathbb {R} }\int _{\mathbb {R} ^{n}}f(x)g(z-x)\,dx\,e^{-2\pi iz\cdot \nu }\,dz.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc4a243aaf07102c0485d50c67cd54dd6372f1ab)
觀察到
,因此對以上變量我們可以再次應用富比尼定理(即交換積分順序):
![{\displaystyle H(\nu )=\int _{\mathbb {R} }f(x)\left(\int _{\mathbb {R} ^{n}}g(z-x)e^{-2\pi iz\cdot \nu }\,dz\right)\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3f526c902de8764e9cf20cf0f34a9bbb67529ae)
代入
;
![{\displaystyle H(\nu )=\int _{\mathbb {R} }f(x)\left(\int _{\mathbb {R} }g(y)e^{-2\pi i(y+x)\cdot \nu }\,dy\right)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1470d8db2a0a647b74fa5d3e855fb508d80ec1f8)
![{\displaystyle =\int _{\mathbb {R} }f(x)e^{-2\pi ix\cdot \nu }\left(\int _{\mathbb {R} }g(y)e^{-2\pi iy\cdot \nu }\,dy\right)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a40faf06e7344e6e668da75f324947b2e8465d37)
![{\displaystyle =\int _{\mathbb {R} }f(x)e^{-2\pi ix\cdot \nu }\,dx\int _{\mathbb {R} }g(y)e^{-2\pi iy\cdot \nu }\,dy.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6ebc9c21d9e3c58f7567ab10541f77c7f8e13e2)
這兩個積分就是
和
的定義,所以:
![{\displaystyle H(\nu )=F(\nu )\cdot G(\nu ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8182f78e6146cca35eab559135628144c2778370)
Mathworld (頁面存檔備份,存於互聯網檔案館)