卷积定理指出,函数卷积的傅里叶变换是函数傅里叶变换的乘积。即一个域中的卷积对应于另一个域中的乘积,例如时域中的卷积对应于频域中的乘积。
![{\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 (页面存档备份,存于互联网档案馆)