对于两个函数f f 、g,它们的傅里叶变换为f^ f ^ 、g^ g ^ ,不难得出f^+g^=f+g^ f ^ + g ^ = f + g ^ ,即两个函数的傅里叶变换之和等于它们和的傅里叶变换。那么现在考虑一个问题,两个函数的傅里叶变换之积等于它们积的傅里叶变换吗?显然不对,因为傅里叶变换涉及到积分运算,那么现在考虑两个函数经过怎样的操作才能满足:经过这样的一个操作后,得到的函数的傅里叶变换等于这两个函数傅里叶变换之积。那么先从这两个函数的傅里叶变换之积出发:
f^g^=∫∞−∞e−2πistg(t)dt∫∞−∞e−2πisxf(x)dx=∫∞−∞∫∞−∞e−2πis(t+x)g(t)f(x)dtdx f ^ g ^ = ∫ − ∞ ∞ e − 2 π i s t g ( t ) d t ∫ − ∞ ∞ e − 2 π i s x f ( x ) d x = ∫ − ∞ ∞ ∫ − ∞ ∞ e − 2 π i s ( t + x ) g ( t ) f ( x ) d t d x
设
u=t+x u = t + x
,则
t=u−x t = u − x
,
dt=du d t = d u
则有
f^g^=∫∞−∞∫∞−∞e−2πisug(u−x)f(x)dudx=∫∞−∞e−2πisu(∫∞−∞g(u−x)f(x)dx)du f ^ g ^ = ∫ − ∞ ∞ ∫ − ∞ ∞ e − 2 π i s u g ( u − x ) f ( x ) d u d x = ∫ − ∞ ∞ e − 2 π i s u ( ∫ − ∞ ∞ g ( u − x ) f ( x ) d x ) d u
注意到
(∫∞−∞g(u−x)f(x)dx) ( ∫ − ∞ ∞ g ( u − x ) f ( x ) d x )
是关于u的一个函数,设为
h(u) h ( u )
,因此上式可写作
f^g^=∫∞−∞e−2πisuh(u)du f ^ g ^ = ∫ − ∞ ∞ e − 2 π i s u h ( u ) d u
右侧不就是对
h(u) h ( u )
作傅里叶变换的式子吗?因此我们得到
f^g^=h^(u) f ^ g ^ = h ^ ( u )
统一一下变量可得:
f^(s)g^(s)=h^(s) f ^ ( s ) g ^ ( s ) = h ^ ( s )
其中
h(t)=∫∞−∞g(t−x)f(x)dx h ( t ) = ∫ − ∞ ∞ g ( t − x ) f ( x ) d x
由此就得到了卷积的定义: 对于两个函数g(t) g ( t ) 和f(t) f ( t ) ,定义它们的卷积为函数h(t)=∫∞−∞g(t−x)f(x)dx h ( t ) = ∫ − ∞ ∞ g ( t − x ) f ( x ) d x ,可记作:(g∗f)(t) ( g ∗ f ) ( t ) 卷积定理:两个函数的卷积的傅里叶变换等于这两个函数傅里叶变换之积。
一个容易错的地方:g(2t)∗f(t)=? g ( 2 t ) ∗ f ( t ) = ? 直觉上它应该为h(t)=∫∞−∞g(2t−x)f(x)dx h ( t ) = ∫ − ∞ ∞ g ( 2 t − x ) f ( x ) d x ,但是很遗憾这是错误的。
f^g^=∫∞−∞e−2πistg(2t)dt∫∞−∞e−2πisxf(x)dx=∫∞−∞∫∞−∞e−2πis(t+x)g(2t)f(x)dtdx f ^ g ^ = ∫ − ∞ ∞ e − 2 π i s t g ( 2 t ) d t ∫ − ∞ ∞ e − 2 π i s x f ( x ) d x = ∫ − ∞ ∞ ∫ − ∞ ∞ e − 2 π i s ( t + x ) g ( 2 t ) f ( x ) d t d x