一、卷积
1、一维的卷积
连续:
在泛函分析中,卷积是通过两个函数 f(x) f ( x ) 和 g(x) g ( x ) 生成第三个函数的一种算子,它代表的意义是:两个函数中的一个(我取 g(x) g ( x ) ,可以任意取)函数,把 g(x) g ( x ) 经过翻转平移,然后与 f(x) f ( x ) 的相乘,得到的一个新的函数,对这个函数积分,也就是对这个新的函数求它所围成的曲边梯形的面积。
def:
设 f(t),g(t) f ( t ) , g ( t ) 是 Rn R n 两个可积函数, f(t) f ( t ) 与 g(t) g ( t ) 的卷积记为 f(t)∗g(t) f ( t ) ∗ g ( t ) ,它是其中一个函数翻转并平移后与另一个函数乘积的积分,是一个自变量是平移量的函数。也就是:
f(t)∗g(t)=∫+∞−∞f(τ)g(t−τ)dτ=∫+∞−∞f(t−τ)g(τ)dτ f ( t ) ∗ g ( t ) = ∫ − ∞ + ∞ f ( τ ) g ( t − τ ) d τ = ∫ − ∞ + ∞ f ( t − τ ) g ( τ ) d τ
注:
Rn R n 是n维实数集,即
(x1,x2,...,xn)∈Rn ( x 1 , x 2 , . . . , x n ) ∈ R n ,每个元素是n维向量,向量中的每个分量是实数。暂时可以理解为实数。
如果函数不是定义在 Rn R n 上,可以把函数定义域外的值都规定成了,这样就变成了定义在 Rn R n 的函数了。实数域同理
(图片来自wiki)
1. 现在有两个关于自变量 t t 的函数 f(t),g(t) f ( t ) , g ( t ) ,图像为上图的第一行。
2. 把 g(t) g ( t ) 的自变量换成 τ τ ,让其翻转称为 g(−τ) g ( − τ ) ,再向左移动 t t 个单位,得到 g(t−τ) g ( t − τ ) ,图像如图片的第二行。
3. 让 g(t−τ) g ( t − τ ) 从 −∞ − ∞ 移动到 +∞ + ∞ ,移动的过程中把两个函数的相乘并积分。
4. 第三行的图像是把 g(t−τ) g ( t − τ ) 和 f(τ) f ( τ ) 放在一个坐标系中,其实 t t 不是常数,它是一个时间变量,当时间变量(简称为时移)取不同值时(以下把取不同值的过程简称“滑动”),当t取 −∞ − ∞ 是,可以看成 g(t−τ) g ( t − τ ) 在 −∞ − ∞ 大处的图像,由于两个函数中一个函数在与另一个函数有交集的地方的值为0,所以两个函数相乘,积还是0,对0的积分还是0。
5. 函数 g(t−τ) g ( t − τ ) 继续滑动,当两个函数的乘积不是0是,此时 (t−τ) ( t − τ ) 为0,t为0,即第三行图像中红色函数的右边界与蓝色函数的左边界相遇。还是对两个函数的乘积对 τ τ 取积分,这是得到的值是第三个函数也就是卷积在t=0是的结果,注意此时得到的是一个值,因为t是定值, τ τ 被积分掉。然后接着滑动,还是两个函数相乘取积分。直到时移变量t在 +∞ + ∞ 处(滑动到在 +∞ + ∞ )。
6. 让t从 −∞ − ∞ 滑动到 +∞ + ∞ 。两个函数有交会时(即两个函数的乘积不为0),计算交会范围中两个函数的乘积的积分值。换句话说,我们在计算一个滑动的加权平均值、 g(−τ) g ( − τ ) 是加权函数,来对 f(τ) f ( τ ) 取加权平均值。
卷积的性质:
交换律:
f∗(g∗h)=(f∗g)∗h f ∗ ( g ∗ h ) = ( f ∗ g ) ∗ h
结合律:
f∗(g∗h)=f∗(g∗h) f ∗ ( g ∗ h ) = f ∗ ( g ∗ h )
分配律:
f∗(g+h)=(f∗g)+(f∗h) f ∗ ( g + h ) = ( f ∗ g ) + ( f ∗ h )
数乘结合律
a(f∗g)=(af)∗g=f∗(ag) a ( f ∗ g ) = ( a f ) ∗ g = f ∗ ( a g )
其中 a a 为任意实数
微分定理
D(f∗g)=Df∗g=f∗Dg D ( f ∗ g ) = D f ∗ g = f ∗ D g
其中 Df D f 表示 f f 的微分,如果在离散域中则是指差分算子,包括前向差分与后向差分两种:
- 前向差分 D+f(n)=f(n+1)−f(n) D + f ( n ) = f ( n + 1 ) − f ( n )
- 后向差分 D−f(n)=f(n)−f(n−1) D − f ( n ) = f ( n ) − f ( n − 1 )
离散:
对于定义在整数 Z Z 上的函数 f,g f , g ,卷积定义为
f(n)∗g(n)=∑m=−∞+∞f(m)g(n−m)=∑m=−∞+∞f(n−m)g(m) f ( n ) ∗ g ( n ) = ∑ m = − ∞ + ∞ f ( m ) g ( n − m ) = ∑ m = − ∞ + ∞ f ( n − m ) g ( m )
同理,把非整数的值规定成0,定义域就在整数上了。
当 g(n) g ( n ) 的定义域为有限长度 M M 上是,就会变成有限和。
f(n)∗g(n)=∑m=−MMf(n−m)g(m) f ( n ) ∗ g ( n ) = ∑ m = − M M f ( n − m ) g ( m )
当 f(n) f ( n ) 的定义域为有限长度 m∈{−M,−M+1,…,M−1,M} m ∈ { − M , − M + 1 , … , M − 1 , M } 上是,就会变成有限和。
f(n)∗g(n)=∑m=−MMf(m)g(n−m) f ( n ) ∗ g ( n ) = ∑ m = − M M f ( m ) g ( n − m )
把加权函数的定义域做加法(积分域)。
还是把其中一个翻转平移,
填充是为了解决 g(−m) g ( − m ) 没有覆盖到的地方,当然填充的方法不唯一,可以具体填充什么以情况而定,填充的大小是g(m)的长度减1
注意结果中原来的1不存在,这里是为了辨识位置加上的,可以当作是直接复制了填充后的 f(m) f ( m ) 的空间。
与相关的区别:相关是不把g(m)翻转,直接平移,对应位置相乘,再相加。结果放在平移次数的 n n 上面,此时 n n 的位置正对应着卷积核的中间位置。这就是卷积核为什么习惯是奇数,奇数的话容易找到中间位置。
2、二维卷积
连续的二维卷积可以由一维卷积扩展得到,同样是首先是把两个函数中的一个经过翻转,然后平移,积分
f(t1,t2)∗g(t1,t2)=∫∫f(τ1,τ2)g(t1−τ1,t2−τ2)dτ1dτ2 f ( t 1 , t 2 ) ∗ g ( t 1 , t 2 ) = ∫ ∫ f ( τ 1 , τ 2 ) g ( t 1 − τ 1 , t 2 − τ 2 ) d τ 1 d τ 2
同理可以定义多元函数上的卷积
f(t1,t2,…,tn)∗g(t1,t2,…,tn)=∫∫…∫f(τ1,τ2,…,τn)g(t1−τ1,t2−τ2,…,tn−τn)dτ1dτ2…dτn f ( t 1 , t 2 , … , t n ) ∗ g ( t 1 , t 2 , … , t n ) = ∫ ∫ … ∫ f ( τ 1 , τ 2 , … , τ n ) g ( t 1 − τ 1 , t 2 − τ 2 , … , t n − τ n ) d τ 1 d τ 2 … d τ n
离散的二维卷积
f(m,n)∗g(m,n)=∑s=−∞+∞∑t=−∞+∞f(s,t)g(m−s,n−t) f ( m , n ) ∗ g ( m , n ) = ∑ s = − ∞ + ∞ ∑ t = − ∞ + ∞ f ( s , t ) g ( m − s , n − t )
图像处理中常用的是二维的离散卷积,
g(m,n) g ( m , n ) 的定义域是 m∈(−a,a),n∈(−b,b) m ∈ ( − a , a ) , n ∈ ( − b , b ) 的整数
f(m,n)∗g(m,n)=∑s=−aa∑t=−bbf(s,t)g(m−s,n−t) f ( m , n ) ∗ g ( m , n ) = ∑ s = − a a ∑ t = − b b f ( s , t ) g ( m − s , n − t )
同样可以把
g(−s,−t) g ( − s , − t ) 看成是加权函数,来对
f(s,t) f ( s , t ) 取加权平均值。
二、循环卷积
两个函数卷积是由他们的周期延伸所来定义的。
周期延伸:意思是把原本的函数平移 某个周期的 T T 的整数倍后全部加起来,所产生的新函数。 x(t) x ( t ) 的周期延伸可以写成
xT(t)=∑k=−∞+∞x(t−kT)=∑k=−∞+∞x(t+kT) x T ( t ) = ∑ k = − ∞ + ∞ x ( t − k T ) = ∑ k = − ∞ + ∞ x ( t + k T )
两个函数 f(t) f ( t ) 与 g(t) g ( t ) 循环卷积:
gT g T 是周期函数,周期为 T T ,他们的卷积存在:
f(t)∗gT(t)=∫t0+Tt0[∑k=−∞+∞f(τ+kT)]gT(t−τ)dτ f ( t ) ∗ g T ( t ) = ∫ t 0 t 0 + T [ ∑ k = − ∞ + ∞ f ( τ + k T ) ] g T ( t − τ ) d τ
得到的新函数也是周期为T的并且与
f(t)∗gT(t)=∫+∞−∞f(τ)gT(t−τ)dτ=∫+∞−∞f(t−τ)gT(τ)dτ f ( t ) ∗ g T ( t ) = ∫ − ∞ + ∞ f ( τ ) g T ( t − τ ) d τ = ∫ − ∞ + ∞ f ( t − τ ) g T ( τ ) d τ
相等。
当然,也有离散循环卷积定理:
当 gN g N 是周期函数,周期为 N N 。f与 gN g N 卷积存在且与下式相等:
f(n)∗gN(n)=∑m=0N−1(∑k=−∞+∞f(m+kN))gN(n−m) f ( n ) ∗ g N ( n ) = ∑ m = 0 N − 1 ( ∑ k = − ∞ + ∞ f ( m + k N ) ) g N ( n − m )
k是函数f(n)的周期延伸。
当
gN g N 经过周期延伸成为
g g ,那么
f f 与
gN g N 卷积等于
f f 与
g g 的卷积。
当
f f 与
g g 的定义域在
[0,N−1] [ 0 , N − 1 ] 上,上述形式可以写成
f(n)∗gN(n)=∑m=0N−1f(m)gN(n−m)=∑m=0nf(m)gN(n−m)+∑m=n+1N−1f(m)gN(N+n−m) f ( n ) ∗ g N ( n ) = ∑ m = 0 N − 1 f ( m ) g N ( n − m ) = ∑ m = 0 n f ( m ) g N ( n − m ) + ∑ m = n + 1 N − 1 f ( m ) g N ( N + n − m )
在FFT算法中循环卷积占重要位置。
卷积的计算方法有三种,分别为
1. 直接计算
2. 快速傅立叶变换
3. 分段卷积
先放到这有个大致的认识,傅立叶变换后再分析。因为2和3都用到了快速傅立叶变换
卷积定理:
为什么要说卷积定理呢,卷积定理把频域和空间域连接了起来。这样我们在空间域上难以分析的问题或许转换到频率域就容易分析。
ps:我们把x所在的域称为空间域。
卷积定理:
空间域的两个函数的卷积的傅立叶变换等于这两的函数的傅立叶变换的乘积。
F[f(x)∗h(x)]=H(u)F(u) F [ f ( x ) ∗ h ( x ) ] = H ( u ) F ( u )
频率域两个函数的卷积等于这两个函数的傅立叶逆变换得到的空间域的两个函数的乘积。
F−1[H(u)∗F(u)]=f(x)h(x) F − 1 [ H ( u ) ∗ F ( u ) ] = f ( x ) h ( x )
证明方法是对卷积函数进行傅立叶变换,或逆变换。
三、傅立叶变换
傅立叶变换(Fourier Transform)是一种线性的积分变换,作用是把信号在时域(或空域)和频域之间变换。它由法国的约瑟夫·傅立叶系统的提出。所以,为了以它的名字命名以示纪念。傅立叶变换源自傅立叶级数,在傅立叶级数中复杂的周期函数可以用一系列简单的正弦、余弦波之和表示。傅立叶变换是对傅立叶级数的扩展,他表示的函数的周期趋近与无穷。
欧拉公式:
欧拉公式是把三角函数与复数指数函数相关联。
对于任意实数 x x ,都存在
eix=cosx+isinx e i x = c o s x + i s i n x
其中,
e e 是自然对数的底数,
i i 是虚数单位,
cos,sin c o s , s i n 则是余弦、正弦对应的三角函数,参数
x x 则是以弧度为单位。该公式在
x x 为复数是仍然成立。
欧拉恒等式:
eiπ+1=0 e i π + 1 = 0
1、傅立叶级数
具有周期 T T 的连续变量 t t 的周期函数 f(t) f ( t ) 可以被描述为乘以适当系统的正弦和余弦和,这个和就是傅立叶级数,可以用下式表示:
f(t)=∑n=−∞+∞cnei2πnTt f ( t ) = ∑ n = − ∞ + ∞ c n e i 2 π n T t
其中
cn=1T∫T2−T2f(t)e−i2πnTtdt,n=0,±1,±2,… c n = 1 T ∫ − T 2 T 2 f ( t ) e − i 2 π n T t d t , n = 0 , ± 1 , ± 2 , …
是系数。
2、一维连续傅立叶变换
def:
傅立叶变换将可积函数 f:R→C f : R → C 表示成复指数函数的积分或级数形式。
f^(ξ)=∫+∞−∞f(x)e−2πixξdx,ξ为任意实数 f ^ ( ξ ) = ∫ − ∞ + ∞ f ( x ) e − 2 π i x ξ d x , ξ 为 任 意 实 数
当自变量
x x 表示时间(以秒为单位),变换变量
ξ ξ 表示频率(以赫兹为单位),由于自变量x被积分过了,所以上式可以看成是关于
ξ ξ 的指数函数,而
ξ ξ 表示频率,所以这时就是关于频率的函数了。
在适当条件下,
f^ f ^ 可由
傅立叶逆变换由下式确定
f f :
f(x)=∫+∞−∞f^(ξ)e2πiξxdξ,x为任意实数 f ( x ) = ∫ − ∞ + ∞ f ^ ( ξ ) e 2 π i ξ x d ξ , x 为 任 意 实 数
同理,由于
ξ ξ 被积分积过,所以该式就成了只剩自变量x的函数。
傅立叶变换经常成对出现。
为了方便记忆,我们把
f^(ξ) f ^ ( ξ ) 记作
F(u) F ( u ) 所以上面傅立叶变换对可以写成下面的形式
F(u)=F[f(x)]=∫+∞−∞f(x)e−2πixudx,u为任意实数 F ( u ) = F [ f ( x ) ] = ∫ − ∞ + ∞ f ( x ) e − 2 π i x u d x , u 为 任 意 实 数
f(x)=F−1[F(u)]=∫+∞−∞F(u)e2πiuxdu,x为任意实数 f ( x ) = F − 1 [ F ( u ) ] = ∫ − ∞ + ∞ F ( u ) e 2 π i u x d u , x 为 任 意 实 数
用欧拉公式表示正变换:
F(u)=∫+∞−∞f(x)[cos(2πxu)−isin(2πxu)]dx F ( u ) = ∫ − ∞ + ∞ f ( x ) [ c o s ( 2 π x u ) − i s i n ( 2 π x u ) ] d x
这样的话,或许更好理解一个周期可以有正弦和余弦和表示。由上式可以看出,如果
f(x) f ( x ) 是实数,那么其变换通常是复数。注意,
傅立叶变换域是频率域,因为 x x 被积分掉,左边变量只剩下 u u 。频率域的单位是独立于输入变量的每单位周期的。例如如果 x x 表示单位为秒的时间,则 u u 的单位为周/秒(赫兹)。如果 x x 表示的是以米为单位的距离,则 u u 的单位是为周/米。
3、离散傅立叶变换
3、1冲激串的傅立叶变换
在正式进入离散傅立叶变换的推导以前,我们还需要做一个准备工作,那就是冲激和冲激串的傅立叶变换:
先说一个点的冲激,我们假设在 t=0 t = 0 处有一个冲激可以用公式表示为
δ(t)={1,t=00,t≠0 δ ( t ) = { 1 , t = 0 0 , t ≠ 0
它的傅立叶变换是
F(u)=∫∞−∞δ(t)e−i2πutdt=∫∞−∞e−i2πu0δ(t)e−i2πutdt=e−i2πu0=1 F ( u ) = ∫ − ∞ ∞ δ ( t ) e − i 2 π u t d t = ∫ − ∞ ∞ e − i 2 π u 0 δ ( t ) e − i 2 π u t d t = e − i 2 π u 0 = 1
在说不是在原点的一个点的冲激,我们假设在
t=t0 t = t 0 处有一个冲激可以用公式表示为
δ(t−t0)={1,t−t0=00,t−t0≠0 δ ( t − t 0 ) = { 1 , t − t 0 = 0 0 , t − t 0 ≠ 0
它的傅立叶变换是
F(u)=∫∞−∞δ(t−t0)e−i2πutdt=∫∞−∞e−i2πutδ(t−t0)e−i2πutdt=e−i2πut0=cos(2πut0)−isin(2πut0) F ( u ) = ∫ − ∞ ∞ δ ( t − t 0 ) e − i 2 π u t d t = ∫ − ∞ ∞ e − i 2 π u t δ ( t − t 0 ) e − i 2 π u t d t = e − i 2 π u t 0 = c o s ( 2 π u t 0 ) − i s i n ( 2 π u t 0 )
其中用到
冲激的取样特性
∫∞−∞f(t)δ(t−t0)dt=f(t0) ∫ − ∞ ∞ f ( t ) δ ( t − t 0 ) d t = f ( t 0 )
由于该冲激只在
t=t0 t = t 0 有值,且为1,所以对其积分就是
e−i2πut0 e − i 2 π u t 0 ,后一步是用欧拉公式得到。
e−i2πut0=cos(2πut0)−isin(2πut0) e − i 2 π u t 0 = c o s ( 2 π u t 0 ) − i s i n ( 2 π u t 0 ) 是以复平面原点为中心的单位圆的等效表示。
冲激串的傅立叶变换:
冲激串的傅立叶变换并不能用像我们得到单个的冲激变换那么简单。原因是因为冲激串函数不满足傅立叶变换的条件(狄利赫利条件-绝对可积)。周期信号不满足绝对可积条件式,按理是不存在傅立叶变换的。但若允许傅立叶变换式中含有冲激函数,则也具有傅立叶变换。得到冲激串函数的傅立叶变换可以直接从周期信号的傅立叶级数得到它的傅立叶变换。它是一个很重要的表示方法。冲激串函数是周期的,它的傅立叶变换也是由一串在频域上的冲激函数组成的。
首先,冲激串的傅立叶级数为
sΔT(t)=∑n=−∞∞cnei2πnΔTt s Δ T ( t ) = ∑ n = − ∞ ∞ c n e i 2 π n Δ T t
其中
cn=1ΔT∫ΔT2−ΔT2sΔT(t)e−i2πnΔTtdt c n = 1 Δ T ∫ − Δ T 2 Δ T 2 s Δ T ( t ) e − i 2 π n Δ T t d t
因为区间
[−ΔT2,ΔT2] [ − Δ T 2 , Δ T 2 ] 的积分仅包含位于原点的冲激
sΔT(t) s Δ T ( t ) 所以
cn=1ΔT∫ΔT2−ΔT2sΔT(t)e−i2πnΔTtdt=1ΔTe0=1ΔT c n = 1 Δ T ∫ − Δ T 2 Δ T 2 s Δ T ( t ) e − i 2 π n Δ T t d t = 1 Δ T e 0 = 1 Δ T
所以傅立叶级数可展开为
sΔT(t)=1ΔT∑n=−∞∞ei2πnΔTt s Δ T ( t ) = 1 Δ T ∑ n = − ∞ ∞ e i 2 π n Δ T t
因为求和的过程是线性过程,得到和的傅立叶变换与各个分量的傅立叶变换之和是相同的,所以对上式的每个分量求傅立叶变换
F{ei2πnΔTt}=δ(u−nΔT) F { e i 2 π n Δ T t } = δ ( u − n Δ T )
然后把每个分量的傅立叶变换相加得到周期冲激串
sΔT(t) s Δ T ( t ) 的傅立叶变换
S(u) S ( u ) 是
S(u)=F{sΔT(t)}=F{1ΔT∑n=−∞∞ei2πnΔTt}=1ΔTF{∑n=−∞∞ei2πnΔTt}=1ΔT∑n=−∞∞δ(u−nΔT) S ( u ) = F { s Δ T ( t ) } = F { 1 Δ T ∑ n = − ∞ ∞ e i 2 π n Δ T t } = 1 Δ T F { ∑ n = − ∞ ∞ e i 2 π n Δ T t } = 1 Δ T ∑ n = − ∞ ∞ δ ( u − n Δ T )
所以,冲激串的傅立叶变换为
S(u)=1ΔT∑n=−∞∞δ(u−nΔT) S ( u ) = 1 Δ T ∑ n = − ∞ ∞ δ ( u − n Δ T )
这里还可以证明周期为
ΔT Δ T 的冲激串的傅立叶变换还是冲激串,并且周期为
1ΔT 1 Δ T
3.2、取样
为了避免周期混淆,需要
1ΔT>2umax 1 Δ T > 2 u m a x
它的含义是如果超过函数最高频率的两倍的取样频率来获得样本,连续的带限函数可以完全的从他的样本集来恢复。这就是
取样定理。
离散傅立叶变换之前需要对连续函数取样,取样是用一个
ΔT Δ T 单位间隔的冲激串作为取样函数去乘以
f(t) f ( t ) 。利用周期延展性来扩展冲激函数,得到的离散的函数是:
fδ(t)=f(t)sΔT(t)=∑n=−∞+∞f(t)δ(t−nΔT) f δ ( t ) = f ( t ) s Δ T ( t ) = ∑ n = − ∞ + ∞ f ( t ) δ ( t − n Δ T )
其中
fδ(t) f δ ( t ) 表示取样后的函数。这一和式的每一个分量都是由在该冲激位置处
f(t) f ( t ) 的值加权后的冲激。
每个取样值都是由加权后的冲激“强度”给出。我们可以通过积分得到它。也就是,
序列中的任意取样值
fn=∫∞−∞f(t)δ(t−nΔT)dt=f(nΔT) f n = ∫ − ∞ ∞ f ( t ) δ ( t − n Δ T ) d t = f ( n Δ T )
3.3、推导
首先对 fδ(t) f δ ( t ) 做傅立叶变换。即
Fδ(u)=∫−∞∞∑n=−∞+∞f(t)δ(t−nΔT)e−i2πutdt=∑n=−∞+∞∫−∞∞f(t)δ(t−nΔT)e−i2πutdt=∑n=−∞+∞f(nΔT)e−i2πunΔT F δ ( u ) = ∫ − ∞ ∞ ∑ n = − ∞ + ∞ f ( t ) δ ( t − n Δ T ) e − i 2 π u t d t = ∑ n = − ∞ + ∞ ∫ − ∞ ∞ f ( t ) δ ( t − n Δ T ) e − i 2 π u t d t = ∑ n = − ∞ + ∞ f ( n Δ T ) e − i 2 π u n Δ T
因为求和的过程是线性过程,得到和的傅立叶变换与各个分量的傅立叶变换之和是相同的。这时
f(nΔT) f ( n Δ T ) 是离散函数,但是其傅立叶变换
Fδ(u) F δ ( u ) 是周期为
1ΔT 1 Δ T 的无限周期连续函数。因此我们要表征
Fδ(u) F δ ( u ) 的一个周期,而对一个周期取样是DFT的基础。
假设我们想要周期在
0∼1ΔT 0 ∼ 1 Δ T 之间取得
M M 个等间距的样本。可以通过在如下频率处取到
u=mMΔT,m=0,1,2,…,M−1 u = m M Δ T , m = 0 , 1 , 2 , … , M − 1
设这个样本为
f(x) f ( x ) 。我们把
u u 代入上式,对
f(x) f ( x ) 做傅立叶变换得到的结果是
F(u)=∑x=0M−1f(x)e−i2πuxM,u=0,1,2,…,M−1 F ( u ) = ∑ x = 0 M − 1 f ( x ) e − i 2 π u x M , u = 0 , 1 , 2 , … , M − 1
他的反变换是:
f(x)=1M∑u=0M−1F(u)ei2πuxM,x=0,1,2,…,M−1 f ( x ) = 1 M ∑ u = 0 M − 1 F ( u ) e i 2 π u x M , x = 0 , 1 , 2 , … , M − 1
注意这两个公式不明确的依赖于取样间隔
ΔT Δ T ,也不依赖于到
u=mMΔT,m=0,1,2,…,M−1 u = m M Δ T , m = 0 , 1 , 2 , … , M − 1
频率间隔。因此
离散傅立叶变换适用于任何均匀取样的有限离散集。
3.4、取样和频率间隔间的关系
如果 f(x) f ( x ) 由函数 f(t) f ( t ) 以 ΔT Δ T 为单位间隔采样后的 M M 个样本组成,则这个样本的记录的持续时间是 T=MΔT T = M Δ T ,离散域的频率间隔 Δu Δ u 是 Δu=1MΔT=1T Δ u = 1 M Δ T = 1 T
有DFT的M个分量跨越的整个频率范围是 Ω=MΔu=1ΔT= Ω = M Δ u = 1 Δ T =
4、二维连续傅立叶变换
直接上公式把,这个没什么好说的。
正变换
F(u,v)=∫∞−∞∫∞−∞f(t,z)e−2iπ(ut+vz)dtdz F ( u , v ) = ∫ − ∞ ∞ ∫ − ∞ ∞ f ( t , z ) e − 2 i π ( u t + v z ) d t d z
反变换
f(t,z)=∫∞−∞∫∞−∞F(u,v)e−2iπ(ut+vz)dudv f ( t , z ) = ∫ − ∞ ∞ ∫ − ∞ ∞ F ( u , v ) e − 2 i π ( u t + v z ) d u d v
5、二维离散傅立叶变换及其性质
5.1、二维冲激及其取样特性
连续变量t,z的冲激
δ(t,z)={∞,0,t=z=0else δ ( t , z ) = { ∞ , t = z = 0 0 , e l s e
和
∫∞−∞∫∞−∞δ(t,z)dtdz=1 ∫ − ∞ ∞ ∫ − ∞ ∞ δ ( t , z ) d t d z = 1
取样特性
∫∞−∞∫∞−∞f(t,z)δ(t,z)dtdz=f(0,0) ∫ − ∞ ∞ ∫ − ∞ ∞ f ( t , z ) δ ( t , z ) d t d z = f ( 0 , 0 )
更一般
∫∞−∞∫∞−∞f(t,z)δ(t−t0,z−z0)dtdz=f(t0,z0) ∫ − ∞ ∞ ∫ − ∞ ∞ f ( t , z ) δ ( t − t 0 , z − z 0 ) d t d z = f ( t 0 , z 0 )
离散变量x,y,二维离散冲激
δ(x,y)={1,0,x=y=0else δ ( x , y ) = { 1 , x = y = 0 0 , e l s e
取样特性:
∑x=−∞∞∑y=−∞∞f(x,y)δ(x,y)dxdy=f(0,0) ∑ x = − ∞ ∞ ∑ y = − ∞ ∞ f ( x , y ) δ ( x , y ) d x d y = f ( 0 , 0 )
更一般:
∑x=−∞∞∑y=−∞∞f(x,y)δ(x−x0,y−y0)dxdy=f(x0,y0) ∑ x = − ∞ ∞ ∑ y = − ∞ ∞ f ( x , y ) δ ( x − x 0 , y − y 0 ) d x d y = f ( x 0 , y 0 )
5.2、二维离散傅立叶变换及其反变换
它的推导方式如同一维中的推导方式。我们这里直接给出。因为更想把时间集中在其性质上。
正变换:
F(u,v)=∑x=0M−1∑y=0N−1f(x,y)e−2iπ(uxM+uyN) F ( u , v ) = ∑ x = 0 M − 1 ∑ y = 0 N − 1 f ( x , y ) e − 2 i π ( u x M + u y N )
反变换:
f(x,y)=1MN∑u=0M−1∑v=0N−1F(u,v)e2iπ(uxM+uyN) f ( x , y ) = 1 M N ∑ u = 0 M − 1 ∑ v = 0 N − 1 F ( u , v ) e 2 i π ( u x M + u y N )
5.3、二维离散傅立叶变换的一些性质
5.3.1、空间和频率间隔的关系
假定对连续函数 f(t,z) f ( t , z ) 取样生成了一幅数字图像 f(x,y) f ( x , y ) ,它由分别在t和z方向所取得MxN个样点组成。令 ΔT Δ T 和 ΔZ Δ Z 表示样本间的间隔。那么相应离散频域变量间的间隔是 δu=1MΔT δ u = 1 M Δ T 和 δv=1NΔZ δ v = 1 N Δ Z 给出。
频域样本间的间隔与空间样本间的间隔和样本数成反比
5.3.2、平移和旋转
平移:
f(x,y)ei2π(u0xM+v0yN)⟺F(u−u0,v−v0) f ( x , y ) e i 2 π ( u 0 x M + v 0 y N ) ⟺ F ( u − u 0 , v − v 0 )
和
f(x−x0,y−y0)⟺F(u,v)e−i2π(u0xM+v0yN) f ( x − x 0 , y − y 0 ) ⟺ F ( u , v ) e − i 2 π ( u 0 x M + v 0 y N )
旋转:
使用极坐标表示:
x=rcosθ,y=rsinθ,u=ωcosϕ,v=ωsinϕ x = r c o s θ , y = r s i n θ , u = ω c o s ϕ , v = ω s i n ϕ
它指出,若
f(x,y) f ( x , y ) 旋转
θ0 θ 0 角度,则
F(u,v) F ( u , v ) 也旋转
θ0