时频分析(Time-Frequency Analysis)
我们对于一个正常的信号 X ( t ) X(t) X(t),都希望从时域和频域两个角度进行认识。
我们的采样通常是在时域上,而频域上的表达就是所谓的傅里叶变换:
X
^
(
w
)
=
∫
−
∞
+
∞
X
(
t
)
exp
(
−
j
w
t
)
d
t
\hat X(w)=\int_{-\infty}^{+\infty}X(t)\exp(-jwt)dt
X^(w)=∫−∞+∞X(t)exp(−jwt)dt
傅里叶变换的结果可以让我们了解这个信号在各个频点上的分量的情况,或者说各个频点上的信号强度。从而我们就把握住了信号的震荡特性(周期+震荡幅度),这对于我们开展后续的分析非常的关键和有利。
- 现在的问题在于我们了解震荡特性所需要付出的代价是什么?
——我们为了得到某单个频点 w w w 的信息,所付出的代价是需要在 ( − ∞ , + ∞ ) (-\infty ,+\infty) (−∞,+∞) 整条时间轴上对我们的信号 X ( t ) X(t) X(t)进行采样和积分。
用整条时间轴的采样积分来换取某一个频点上的信息,这样的代价,我们有些付不起。且不说有限区间采样只是对无穷区间上积分的一种近似逼近。更何况这需要在信号平稳(stationary) 的前提条件下才能进行,对于非平稳,即时变(time-varying) 的情况下就不适用了,也就是说信号在某一个频点上的特性随时间本身的变化而发生变化,那么我们做长时间积累的意义立刻就消失殆尽了。
平稳:研究对象的某种性质随时间发展变化的一种不变性。
- 时变情况下,我们需要新的分析工具来帮助我们信号处理。
傅里叶变换
傅里叶变换有三个重要特性:
- 傅里叶变换对:一个信号和该信号的傅里叶变换之间一一对应。
{ X ^ ( w ) = ∫ − ∞ + ∞ X ( t ) exp ( − j w t ) d t X ( t ) = 1 2 π ∫ − ∞ + ∞ X ^ ( w ) exp ( j w t ) d w \begin{cases} \hat X(w)=\int_{-\infty}^{+\infty}X(t)\exp(-jwt)dt\\ X(t)=\frac{1}{2\pi}\int_{-\infty}^{+\infty}\hat X(w)\exp(jwt)dw \end{cases} {X^(w)=∫−∞+∞X(t)exp(−jwt)dtX(t)=2π1∫−∞+∞X^(w)exp(jwt)dw
- Parseval Relation:时域和频域之间的变换是个酉变换(Unitary),换句话说是正交的。举个例子:两个信号 f f f 和 g g g,它们在时域上做内积和在频域上做内积结果只相差一个常数,只有正交旋转才做得到这一点。这样的变换是“保能量”的。
< f , g > = 1 2 π < f ^ , g ^ > <f,g>=\frac{1}{2\pi}<\hat f,\hat g> <f,g>=2π1<f^,g^>
证明:
f
^
(
w
)
=
∫
−
∞
+
∞
f
(
t
)
exp
(
−
j
w
t
)
d
t
g
^
(
w
)
=
∫
−
∞
+
∞
g
(
t
)
exp
(
−
j
w
t
)
d
t
{
<
f
^
,
g
^
>
=
∫
−
∞
+
∞
f
^
(
w
)
g
^
(
w
)
‾
d
w
=
∫
−
∞
+
∞
(
∫
−
∞
+
∞
f
(
t
)
exp
(
−
j
w
t
)
d
t
)
(
∫
−
∞
+
∞
g
(
s
)
exp
(
−
j
w
s
)
d
s
)
‾
d
w
=
化为三重积分
∫
R
3
f
(
t
)
g
(
s
)
‾
exp
(
−
j
w
t
)
exp
(
j
w
s
)
d
t
d
s
d
w
=
先对w积分
2
π
∫
R
2
f
(
t
)
g
(
s
)
‾
(
1
2
π
∫
R
1
×
exp
(
j
w
(
s
−
t
)
)
d
w
)
d
t
d
s
=
1的反傅里叶变换
2
π
∫
R
2
f
(
t
)
g
(
s
)
‾
δ
(
s
−
t
)
d
t
d
s
=
在t=s这条线上积分
2
π
δ
(
0
)
∫
−
∞
+
∞
f
(
t
)
g
(
t
)
‾
d
t
=
2
π
δ
(
0
)
<
f
,
g
>
=
某种神秘力量
2
π
<
f
,
g
>
\hat f(w)=\int_{-\infty}^{+\infty}f(t)\exp(-jwt)dt\\ \hat g(w)=\int_{-\infty}^{+\infty}g(t)\exp(-jwt)dt\\ \begin{cases} <\hat f,\hat g>=\int_{-\infty}^{+\infty}\hat f(w)\overline{\hat g(w)}dw\\ =\int_{-\infty}^{+\infty}\left(\int_{-\infty}^{+\infty}f(t)\exp(-jwt)dt\right) \overline{\left(\int_{-\infty}^{+\infty}g(s)\exp(-jws)ds\right)}dw\\ \xlongequal{\text{化为三重积分}}\int_{\R^3}f(t)\overline{g(s)}\exp(-jwt)\exp(jws)dtdsdw\\ \xlongequal{\text{先对w积分}}2\pi\int_{\R^2}f(t)\overline{g(s)}\left(\frac{1}{2\pi}\int_{\R}1\times\exp(jw(s-t))dw\right)dtds\\ \xlongequal{\text{1的反傅里叶变换}}2\pi\int_{\R^2}f(t)\overline{g(s)}\delta(s-t)dtds\\ \xlongequal{\text{在t=s这条线上积分}}2\pi\delta(0)\int_{-\infty}^{+\infty}f(t)\overline{g(t)}dt=2\pi\delta(0)<f,g>\xlongequal{某种神秘力量}2\pi<f,g> \end{cases}
f^(w)=∫−∞+∞f(t)exp(−jwt)dtg^(w)=∫−∞+∞g(t)exp(−jwt)dt⎩
⎨
⎧<f^,g^>=∫−∞+∞f^(w)g^(w)dw=∫−∞+∞(∫−∞+∞f(t)exp(−jwt)dt)(∫−∞+∞g(s)exp(−jws)ds)dw化为三重积分∫R3f(t)g(s)exp(−jwt)exp(jws)dtdsdw先对w积分2π∫R2f(t)g(s)(2π1∫R1×exp(jw(s−t))dw)dtds1的反傅里叶变换2π∫R2f(t)g(s)δ(s−t)dtds在t=s这条线上积分2πδ(0)∫−∞+∞f(t)g(t)dt=2πδ(0)<f,g>某种神秘力量2π<f,g>
1 1 1和 δ ( t ) \delta(t) δ(t)互为傅里叶变换对:
{ 1 ( 频域 ) = ∫ R δ ( t ) exp ( − j w t ) d t = ∫ R δ ( t ) exp ( j w t ) d t ⟹ 符号形式不变性 1 2 π ∫ R δ ( w ) exp ( j w t ) d w = 1 2 π ⋅ 1 ( 时域 ) δ ( t ) = 1 2 π ∫ R 1 exp ( j w t ) d w δ ( w ) = ∫ R 1 2 π exp ( − j w t ) d t \begin{cases} 1(频域)=\int_{\R}\delta(t)\exp(-jwt)dt=\int_{\R}\delta(t)\exp(jwt)dt\\ \stackrel{\text{符号形式不变性}}{\Longrightarrow}\frac{1} {2\pi}\int_{\R}\delta(w)\exp(jwt)dw=\frac{1}{2\pi}·1(\text{时域})\\ \delta(t)=\frac{1}{2\pi}\int_{\R}1\exp(jwt)dw\\ \delta(w)=\int_{\R}\frac{1}{2\pi}\exp(-jwt)dt \end{cases} ⎩ ⎨ ⎧1(频域)=∫Rδ(t)exp(−jwt)dt=∫Rδ(t)exp(jwt)dt⟹符号形式不变性2π1∫Rδ(w)exp(jwt)dw=2π1⋅1(时域)δ(t)=2π1∫R1exp(jwt)dwδ(w)=∫R2π1exp(−jwt)dt
其中, δ \delta δ 函数有如下性质:
δ ( x ) = 0 , ( x ≠ 0 ) , ∫ R δ ( x ) d x = 1 \delta(x)=0,(x\neq 0), \int_R\delta(x)dx=1 δ(x)=0,(x=0),∫Rδ(x)dx=1
常用于物理学中质点、点电荷、瞬时力等抽象模型
- 泊松求和公式
g ( t ) = ∑ k = − ∞ + ∞ X ( t + k T ) , Periodic. T. g ( t ) = g ( t + T ) ⇒ Fourier Series g ( t ) = ∑ k α k exp ( j 2 k π T t ) = ? α k = 1 T ∫ 0 T g ( t ) exp ( − j 2 k π T t ) d t = 1 T ∫ 0 T ( ∑ n = − ∞ + ∞ X ( t + n T ) ) exp ( − j 2 k π T t ) d t = 1 T ∑ n = − ∞ + ∞ ∫ 0 T X ( t + n T ) exp ( − j 2 k π T t ) d t = t ′ = t + n T 1 T ∑ n = − ∞ + ∞ ∫ n T ( n + 1 ) T X ( t ′ ) exp ( − j 2 k π T ( t ′ − n T ) ) d t ′ = 1 T ∑ n = − ∞ + ∞ ∫ n T ( n + 1 ) T X ( t ′ ) exp ( − j 2 k π T ( t ′ ) ) d t ′ = 1 T ∫ − ∞ + ∞ X ( t ′ ) exp ( − j 2 k π T ( t ′ ) ) d t ′ = 1 T X ^ ( 2 k π T ) g ( t ) = ∑ k α k exp ( j 2 k π T t ) = 1 T ∑ k X ^ ( 2 k π T ) exp ( j 2 k π T t ) g(t)=\sum_{k=-\infty}^{+\infty}X(t+kT), \text{ Periodic. T. }\ g(t)=g(t+T)\Rightarrow \text{Fourier Series}\\ g(t)=\sum_{k}\alpha_k\exp(j\frac{2k\pi}{T}t)=?\\ \alpha_k=\frac{1}{T}\int_{0}^Tg(t)\exp(-j\frac{2k\pi}{T}t)dt\\ =\frac{1}{T}\int_{0}^T\left(\sum_{n=-\infty}^{+\infty}X(t+nT)\right)\exp(-j\frac{2k\pi}{T}t)dt\\ =\frac{1}{T}\sum_{n=-\infty}^{+\infty}\int_{0}^T X(t+nT)\exp(-j\frac{2k\pi}{T}t)dt\\ \xlongequal{t'=t+nT}\frac{1}{T}\sum_{n=-\infty}^{+\infty}\int_{nT}^{(n+1)T} X(t')\exp(-j\frac{2k\pi}{T}(t'-nT))dt'\\ =\frac{1}{T}\sum_{n=-\infty}^{+\infty}\int_{nT}^{(n+1)T} X(t')\exp(-j\frac{2k\pi}{T}(t'))dt'\\ =\frac{1}{T}\int_{-\infty}^{+\infty} X(t')\exp(-j\frac{2k\pi}{T}(t'))dt'\\ =\frac{1}{T}\hat X(\frac{2k\pi}{T})\\ g(t)=\sum_{k}\alpha_k\exp(j\frac{2k\pi}{T}t)=\frac{1}{T}\sum_{k}\hat X(\frac{2k\pi}{T})\exp(j\frac{2k\pi}{T}t) g(t)=k=−∞∑+∞X(t+kT), Periodic. T. g(t)=g(t+T)⇒Fourier Seriesg(t)=k∑αkexp(jT2kπt)=?αk=T1∫0Tg(t)exp(−jT2kπt)dt=T1∫0T(n=−∞∑+∞X(t+nT))exp(−jT2kπt)dt=T1n=−∞∑+∞∫0TX(t+nT)exp(−jT2kπt)dtt′=t+nTT1n=−∞∑+∞∫nT(n+1)TX(t′)exp(−jT2kπ(t′−nT))dt′=T1n=−∞∑+∞∫nT(n+1)TX(t′)exp(−jT2kπ(t′))dt′=T1∫−∞+∞X(t′)exp(−jT2kπ(t′))dt′=T1X^(T2kπ)g(t)=k∑αkexp(jT2kπt)=T1k∑X^(T2kπ)exp(jT2kπt)
举个例子:假设
y
(
t
)
y(t)
y(t) 是一个连续函数,采样
{
y
(
k
)
}
\{y(k)\}
{y(k)} 可以看作某种特殊的连续函数表达:
{
y
(
k
)
}
=
y
(
t
)
∑
k
δ
(
t
+
k
)
\{y(k)\}=y(t)\sum_k \delta(t+k)
{y(k)}=y(t)k∑δ(t+k)
在此基础上,使用泊松求和,我们就可以作离散函数的傅里叶变换,即频谱搬移:
(
y
(
t
)
⋅
∑
k
δ
(
t
+
k
)
)
∧
=
∗
:
卷积
∧
:
傅里叶变换
y
^
(
w
)
∗
(
∑
k
δ
(
t
+
k
)
)
∧
=
泊松求和
y
^
(
w
)
∗
(
∑
k
1
⋅
exp
(
j
2
k
π
t
)
)
∧
∫
−
∞
+
∞
exp
(
j
2
k
π
t
)
exp
(
−
j
w
t
)
d
t
=
∫
−
∞
+
∞
exp
(
−
j
t
(
w
−
2
k
π
)
)
d
t
=
2
π
δ
(
w
−
2
k
π
)
⇒
(
y
(
t
)
⋅
∑
k
δ
(
t
+
k
)
)
∧
=
y
^
(
w
)
∗
(
2
π
∑
k
δ
(
w
−
2
k
π
)
)
f
(
w
)
∗
δ
(
w
−
w
0
)
=
∫
−
∞
+
∞
f
(
w
−
w
′
)
δ
(
w
′
−
w
0
)
d
w
′
=
f
(
w
−
w
0
)
⇒
(
y
(
t
)
⋅
∑
k
δ
(
t
+
k
)
)
∧
=
2
π
∑
k
y
^
(
w
−
2
k
π
)
\left(y(t)·\sum_k \delta(t+k)\right)^{\wedge}\xlongequal[*:\text{ 卷积}]{\wedge:\text{ 傅里叶变换}}\hat y(w)*\left(\sum_k \delta(t+k)\right)^{\wedge}\\ \xlongequal{泊松求和}\hat y(w)*\left(\sum_k 1·\exp(j2k\pi t)\right)^{\wedge}\\ \int_{-\infty}^{+\infty}\exp(j2k\pi t)\exp(-jwt)dt=\int_{-\infty}^{+\infty}\exp(-jt(w-2k\pi))dt=2\pi \delta(w-2k\pi)\\ \Rightarrow \left(y(t)·\sum_k \delta(t+k)\right)^{\wedge}=\hat y(w)*\left(2\pi\sum_k \delta(w-2k\pi)\right)\\ f(w)*\delta(w-w_0)=\int_{-\infty}^{+\infty}f(w-w')\delta(w'-w_0)dw'=f(w-w_0)\\ \Rightarrow\left(y(t)·\sum_k \delta(t+k)\right)^{\wedge}=2\pi\sum_k\hat y(w-2k\pi)\\
(y(t)⋅k∑δ(t+k))∧∧: 傅里叶变换∗: 卷积y^(w)∗(k∑δ(t+k))∧泊松求和y^(w)∗(k∑1⋅exp(j2kπt))∧∫−∞+∞exp(j2kπt)exp(−jwt)dt=∫−∞+∞exp(−jt(w−2kπ))dt=2πδ(w−2kπ)⇒(y(t)⋅k∑δ(t+k))∧=y^(w)∗(2πk∑δ(w−2kπ))f(w)∗δ(w−w0)=∫−∞+∞f(w−w′)δ(w′−w0)dw′=f(w−w0)⇒(y(t)⋅k∑δ(t+k))∧=2πk∑y^(w−2kπ)
f ( t ) ∗ h ( t ) = ∫ − ∞ + ∞ f ( τ ) h ( t − τ ) d τ f ( w ) ∗ δ ( w − w 0 ) = ∫ − ∞ + ∞ f ( u ) δ ( w − w o − u ) d u = w ′ = w − u ∫ − ∞ + ∞ f ( w − w ′ ) δ ( w ′ − w o ) d w ′ f(t)*h(t)=\int_{-\infty}^{+\infty}f(\tau)h(t-\tau)d\tau\\ f(w)*\delta(w-w_0)=\int_{-\infty}^{+\infty}f(u)\delta(w-w_o-u)du\\ \xlongequal{w'=w-u}\int_{-\infty}^{+\infty}f(w-w')\delta(w'-w_o)dw' f(t)∗h(t)=∫−∞+∞f(τ)h(t−τ)dτf(w)∗δ(w−w0)=∫−∞+∞f(u)δ(w−wo−u)duw′=w−u∫−∞+∞f(w−w′)δ(w′−wo)dw′
在泛函分析中,卷积、旋积或褶积(英语:Convolution)是通过两个函数f和g生成第三个函数的一种数学运算,其本质是一种特殊的积分变换,表征函数f与g经过翻转和平移的重叠部分函数值乘积对重叠长度的积分。
短时傅里叶变换
引入两个符号:
T
,
M
T, M
T,M
Notation:
T
,
M
T
x
(
f
(
t
)
)
=
f
(
t
−
x
)
,
做一个时间平移
M
w
(
f
(
t
)
)
=
exp
(
j
w
t
)
f
(
t
)
,
做一个频率上的平移
\text{Notation: }T,M\\ T_x(f(t))=f(t-x),\text{做一个时间平移}\\ M_w(f(t))=\exp(jwt)f(t),\text{做一个频率上的平移}\\
Notation: T,MTx(f(t))=f(t−x),做一个时间平移Mw(f(t))=exp(jwt)f(t),做一个频率上的平移
T
,
M
T, M
T,M不可交换:
T
x
M
w
(
f
(
t
)
)
=
f
(
t
−
x
)
exp
(
j
w
(
t
−
x
)
)
M
w
T
x
(
f
(
t
)
)
=
f
(
t
−
x
)
exp
(
j
w
t
)
T_xM_w(f(t))=f(t-x)\exp(jw(t-x))\\ M_wT_x(f(t))=f(t-x)\exp(jwt)
TxMw(f(t))=f(t−x)exp(jw(t−x))MwTx(f(t))=f(t−x)exp(jwt)
再做傅里叶变换:
(
T
x
M
w
(
f
(
t
)
)
)
∧
=
∫
−
∞
+
∞
f
(
t
−
x
)
exp
(
j
w
(
t
−
x
)
)
exp
(
−
j
w
′
t
)
d
t
=
t
′
=
t
−
x
∫
−
∞
+
∞
f
(
t
′
)
exp
(
j
w
t
′
)
exp
(
−
j
w
′
(
t
′
+
x
)
)
d
t
=
(
∫
−
∞
+
∞
f
(
t
′
)
exp
(
−
j
t
′
(
w
′
−
w
)
d
t
)
exp
(
−
j
w
′
x
)
=
f
^
(
w
′
−
w
)
exp
(
−
j
w
′
x
)
=
M
−
x
T
w
(
f
^
(
w
′
)
)
\left(T_xM_w(f(t))\right)^{\wedge}=\int_{-\infty}^{+\infty}f(t-x)\exp(jw(t-x))\exp(-jw't)dt\\ \xlongequal{t'=t-x}\int_{-\infty}^{+\infty}f(t')\exp(jwt')\exp(-jw'(t'+x))dt\\ =\left(\int_{-\infty}^{+\infty}f(t')\exp(-jt'(w'-w)dt\right)\exp(-jw'x)\\ =\hat f(w'-w)\exp(-jw'x)=M_{-x}T_w(\hat f(w'))
(TxMw(f(t)))∧=∫−∞+∞f(t−x)exp(jw(t−x))exp(−jw′t)dtt′=t−x∫−∞+∞f(t′)exp(jwt′)exp(−jw′(t′+x))dt=(∫−∞+∞f(t′)exp(−jt′(w′−w)dt)exp(−jw′x)=f^(w′−w)exp(−jw′x)=M−xTw(f^(w′))
- 下面引入第一个时频分析工具:一阶的(One Order),短时傅里叶变换(Short-Time FT)
为了体现频谱随时间变化而发生变化的现象,同时保留傅里叶变换的形式,我们可以引入时间局部化因子(Time Localization):
g
(
t
′
−
t
)
g(t'-t)
g(t′−t)
V
g
f
(
t
,
w
)
=
∫
−
∞
+
∞
f
(
t
′
)
g
(
t
′
−
t
)
‾
exp
(
−
j
w
t
′
)
d
t
′
V_g f(t,w)=\int_{-\infty}^{+\infty}f(t')\overline{g(t'-t)}\exp(-jwt')dt'\\
Vgf(t,w)=∫−∞+∞f(t′)g(t′−t)exp(−jwt′)dt′
假如令 g ( t ) = I [ − a , a ] ( t ) g(t)=I_{[-a,a]}(t) g(t)=I[−a,a](t),也有人叫这个为窗(window)。
V g f ( t , w ) = ∫ t − a t + a f ( t ′ ) exp ( − j w t ′ ) d t ′ V_g f(t,w)=\int_{t-a}^{t+a}f(t')\exp(-jwt')dt'\\ Vgf(t,w)=∫t−at+af(t′)exp(−jwt′)dt′
这就是在给定时间附近进行信号采样,利用这些样本来计算频率特征。
我们想探究下面这个式子
V
g
^
f
^
(
w
,
t
)
V_{\hat g}\hat f(w,t)
Vg^f^(w,t) 与
V
g
f
(
t
,
w
)
V_g f(t,w)
Vgf(t,w) 的关系:
V
g
^
f
^
(
w
,
t
)
=
∫
−
∞
+
∞
f
^
(
w
′
)
g
^
(
w
′
−
w
)
‾
exp
(
−
j
t
w
′
)
d
w
′
V_{\hat g}\hat f(w,t)=\int_{-\infty}^{+\infty}\hat f(w')\overline{\hat g(w'-w)}\exp(-jtw')dw'
Vg^f^(w,t)=∫−∞+∞f^(w′)g^(w′−w)exp(−jtw′)dw′
还记得 Parseval 关系吗?:
<
f
,
g
>
=
1
2
π
<
f
^
,
g
^
>
<f,g>=\frac{1}{2\pi}<\hat f,\hat g>
<f,g>=2π1<f^,g^> 。现在
f
(
t
′
)
f(t')
f(t′) 和
f
^
(
w
′
)
\hat f(w')
f^(w′) 已经能对上了,我们猜想如果把
g
^
(
w
′
−
w
)
‾
exp
(
−
j
t
w
′
)
\overline{\hat g(w'-w)}\exp(-jtw')
g^(w′−w)exp(−jtw′) 这个整体当做
h
^
(
w
′
)
‾
\overline{\hat h(w')}
h^(w′) 进行傅里叶反变换能够在形式上得到
V
g
f
(
t
,
w
)
V_g f(t,w)
Vgf(t,w) 中的后头这一项
g
(
t
′
−
t
)
‾
exp
(
−
j
w
t
′
)
=
h
(
t
)
‾
\overline{g(t'-t)}\exp(-jwt')=\overline{h(t)}
g(t′−t)exp(−jwt′)=h(t) 那么就能够说明这两者的关系。好,现在我们来做这件事。
∫
−
∞
+
∞
g
^
(
w
′
−
w
)
‾
exp
(
−
j
t
w
′
)
‾
exp
(
j
t
′
w
′
)
d
w
′
=
∫
−
∞
+
∞
g
^
(
w
′
−
w
)
exp
(
j
t
w
′
)
exp
(
j
t
′
w
′
)
d
w
′
=
w
′
′
=
w
′
−
w
∫
−
∞
+
∞
g
^
(
w
′
′
)
exp
(
j
t
(
w
′
′
+
w
)
)
exp
(
j
t
′
(
w
′
′
+
w
)
)
d
w
′
=
∫
−
∞
+
∞
g
^
(
w
′
′
)
exp
(
j
(
t
+
t
′
)
w
′
′
)
d
w
′
′
exp
(
j
(
t
+
t
′
)
w
)
=
g
(
t
+
t
′
)
exp
(
j
(
t
+
t
′
)
w
)
=
h
(
−
t
)
‾
exp
(
−
j
w
t
)
\int_{-\infty}^{+\infty}\overline{\overline{\hat g(w'-w)}\exp(-jtw')}\exp{(jt'w')}dw'\\ =\int_{-\infty}^{+\infty}\hat g(w'-w)\exp(jtw')\exp{(jt'w')}dw'\\ \xlongequal{w''=w'-w}\int_{-\infty}^{+\infty}\hat g(w'')\exp(jt(w''+w))\exp{(jt'(w''+w))}dw'\\ =\int_{-\infty}^{+\infty}\hat g(w'')\exp(j(t+t')w'')dw''\exp{(j(t+t')w)}\\ =g(t+t')\exp{(j(t+t')w)}=\overline{h(-t)}\exp(-jwt)
∫−∞+∞g^(w′−w)exp(−jtw′)exp(jt′w′)dw′=∫−∞+∞g^(w′−w)exp(jtw′)exp(jt′w′)dw′w′′=w′−w∫−∞+∞g^(w′′)exp(jt(w′′+w))exp(jt′(w′′+w))dw′=∫−∞+∞g^(w′′)exp(j(t+t′)w′′)dw′′exp(j(t+t′)w)=g(t+t′)exp(j(t+t′)w)=h(−t)exp(−jwt)
事实上,从这里我们就能够得到如下关系,即,
V
g
f
(
−
t
,
w
)
V_g f(-t,w)
Vgf(−t,w) 只需乘上一个因子
exp
(
−
j
w
t
)
\exp(-jwt)
exp(−jwt) 就能够通过 Parseval 关系和
V
g
^
f
^
(
w
,
t
)
V_{\hat g}\hat f(w,t)
Vg^f^(w,t) 保持等价性。
V
g
^
f
^
(
w
,
t
)
=
V
g
f
(
−
t
,
w
)
exp
(
−
j
w
t
)
V_{\hat g}\hat f(w,t)=V_g f(-t,w)\exp(-jwt)
Vg^f^(w,t)=Vgf(−t,w)exp(−jwt)
我们发现一个和前面
T
,
M
T,M
T,M 符号一样规律,就是短时傅里叶变换在时域和频域互为主导的两种情况下变量交换的特性,时域变量前面会有一个负号。
- 下面我们再从卷积的角度来观察一下短时傅里叶变换,因为其形式当中确实有和卷积相像的部分。
V g f ( t , w ) = g ~ ( t ) = g ( − t ) ∫ − ∞ + ∞ f ( t ′ ) g ~ ( t − t ′ ) ‾ exp ( − j w t ′ ) d t ′ = 复指数调制 ( ∫ − ∞ + ∞ f ( t ′ ) g ~ ( t − t ′ ) ‾ exp ( j w ( t − t ′ ) ) d t ′ ) exp ( − j w t ) = ( f ( t ′ ) ∗ ( g ~ ‾ exp ) ) ( t ) exp ( − j w t ) V_g f(t,w)\xlongequal{\widetilde g(t)=g(-t)}\int_{-\infty}^{+\infty}f(t')\overline{\widetilde g(t-t')}\exp(-jwt')dt'\\ \xlongequal{\text{复指数调制}}\left(\int_{-\infty}^{+\infty}f(t')\overline{\widetilde g(t-t')}\exp(jw(t-t'))dt'\right)\exp(-jwt)\\ =\left(f(t')*(\overline{\widetilde g}\exp) \right)(t)\exp(-jwt)\\ Vgf(t,w)g (t)=g(−t)∫−∞+∞f(t′)g (t−t′)exp(−jwt′)dt′复指数调制(∫−∞+∞f(t′)g (t−t′)exp(jw(t−t′))dt′)exp(−jwt)=(f(t′)∗(g exp))(t)exp(−jwt)
其中,复指数调制 exp ( − j w t ) \exp(-jwt) exp(−jwt) 是将卷积核在频域上挪到相应的频点上去采集信号,而 g g g 又通过时域上的局部化,实时地调整卷积核在时域上采集信号的范围。从而达到计算时变频谱的目的。所以由此可见,我们在做短时傅里叶变换的时候,本质上是在拿一个滤波器同时在时域频域两个维度上对信号做过滤的,因此,它是在时频平面(Time-Frequency Plane) 上的一个滤波器,时频平面是我们做时频分析最常用的展示手段。
不确定性原理
正所谓鱼和熊掌不可兼得,我们通过局部化时域上的采样范围,必然会牺牲掉频域上的部分精度,降低频域上的分辨率。
- 所以下面我们要谈一谈其内在的约束关系,也就是信号处理中的基本原理,不确定性原理(Uncertainty Principle)。
我们先做一些必要的定义:
- ∫ − ∞ + ∞ ∣ f ( t ) ∣ 2 d t < ∞ \int_{-\infty}^{+\infty}|f(t)|^2dt<\infty ∫−∞+∞∣f(t)∣2dt<∞ 代表有限能量信号。
- 根据Parseval关系,有 ∫ − ∞ + ∞ ∣ f ^ ( w ) ∣ 2 d w < ∞ \int_{-\infty}^{+\infty}|\hat f(w)|^2dw<\infty ∫−∞+∞∣f^(w)∣2dw<∞
- 定义时域和频域上的均值(平均位置):
{ m t = ∫ − ∞ + ∞ t ∣ f ( t ) ∣ 2 d t m w = ∫ − ∞ + ∞ w ∣ f ^ ( w ) ∣ 2 d w \begin{cases} m_t = \int_{-\infty}^{+\infty}t|f(t)|^2dt\\ m_w = \int_{-\infty}^{+\infty}w|\hat f(w)|^2dw \end{cases} {mt=∫−∞+∞t∣f(t)∣2dtmw=∫−∞+∞w∣f^(w)∣2dw
- 定义时域和频域上的方差(有效长度):
{ V t = ∫ − ∞ + ∞ ( t − m t ) 2 ∣ f ( t ) ∣ 2 d t V w = ∫ − ∞ + ∞ ( w − m w ) 2 ∣ f ^ ( w ) ∣ 2 d w \begin{cases} V_t = \int_{-\infty}^{+\infty}(t-m_t)^2|f(t)|^2dt\\ V_w = \int_{-\infty}^{+\infty}(w-m_w)^2|\hat f(w)|^2dw \end{cases} {Vt=∫−∞+∞(t−mt)2∣f(t)∣2dtVw=∫−∞+∞(w−mw)2∣f^(w)∣2dw
我们想要说明一件事: V t ⋅ V w ≥ C V_t·V_w\geq C Vt⋅Vw≥C,所谓的测不准原理
测不准原理是海森堡的发现,他虽然是希特勒的纳粹阵营,但在当时是地球上最伟大的几个物理学家之一。正所谓成也萧何败也萧何,希特勒之所以放弃原子弹计划也正是因为海森堡在计算重水所需质量的时候多算了两个数量级,超出了德国当时工业产量的100倍。不然按照当时美苏的进度,德国必然是第一个造出原子弹的,一旦用于前线苏联必将垮掉,历史也就会被改写。
海森堡从可交换性(Commutative) 出发。假设
A
,
B
A, B
A,B 是两个算子(Operator) , 它们都有自伴随(Self-Adjoint) 的性质。
<
A
f
,
g
>
=
∫
−
∞
+
∞
(
A
f
)
(
t
)
⋅
g
(
t
)
‾
d
t
=
H
:
伴随
<
f
,
A
H
g
>
(
A
f
)
H
g
=
这里H代表共轭转秩
f
H
A
H
g
=
f
H
(
A
H
g
)
A
=
自伴随:等于自身的共轭转秩,也即复对称
A
H
<Af, g> = \int_{-\infty}^{+\infty}(Af)(t)·\overline{g(t)}dt\xlongequal{H:\text{伴随}}<f, A^Hg>\\ (Af)^Hg\xlongequal{\text{这里H代表共轭转秩}}f^HA^Hg=f^H(A^Hg)\\ A\xlongequal{\text{自伴随:等于自身的共轭转秩,也即复对称}}A^H
<Af,g>=∫−∞+∞(Af)(t)⋅g(t)dtH:伴随<f,AHg>(Af)Hg这里H代表共轭转秩fHAHg=fH(AHg)A自伴随:等于自身的共轭转秩,也即复对称AH
考虑
A
B
=
B
A
AB=BA
AB=BA 只有在共享特征矢量的情况下成立,而一般情况是不相等的。所以考虑定义
A
B
−
B
A
=
[
]
:
泊松括号(Poisson Bracket)
[
A
,
B
]
AB-BA\xlongequal{[]:\text{泊松括号(Poisson Bracket)}}[A,B]
AB−BA[]:泊松括号(Poisson Bracket)[A,B]
<
[
A
,
B
]
f
,
f
>
=
<
(
A
B
−
B
A
)
f
,
f
>
=
<
A
B
f
,
f
>
−
<
B
A
f
,
f
>
=
<
B
f
,
A
f
>
−
<
A
f
,
B
f
>
=
I
m
:
虚部
<
x
,
y
>
=
<
y
,
x
>
‾
2
I
m
<
B
f
,
A
f
>
j
<[A,B]f,f>\\ =<(AB-BA)f,f>\\ =<ABf,f>-<BAf,f>\\ =<Bf,Af>-<Af,Bf>\\ \xlongequal[I_m: \text{虚部}]{<x,y>=\overline{<y,x>}}2I_m<Bf,Af>j
<[A,B]f,f>=<(AB−BA)f,f>=<ABf,f>−<BAf,f>=<Bf,Af>−<Af,Bf><x,y>=<y,x>Im:虚部2Im<Bf,Af>j
进一步,我们得到如下结论:
∣
<
[
A
,
B
]
f
,
f
>
∣
=
2
∣
I
m
<
B
f
,
A
f
>
∣
≤
2
∣
<
B
f
,
A
f
>
∣
≤
2
∣
∣
B
f
∣
∣
⋅
∣
∣
A
f
∣
∣
(
柯西不等式
)
|<[A,B]f,f>|\\ =2|I_m<Bf,Af>|\\ \leq 2|<Bf,Af>|\\ \leq 2||Bf||·||Af|| \quad (\text{柯西不等式})
∣<[A,B]f,f>∣=2∣Im<Bf,Af>∣≤2∣<Bf,Af>∣≤2∣∣Bf∣∣⋅∣∣Af∣∣(柯西不等式)
定义:
(
A
f
)
(
t
)
=
t
⋅
f
(
t
)
(Af)(t)=t·f(t)
(Af)(t)=t⋅f(t),
(
B
f
)
(
t
)
=
1
2
π
j
d
d
t
f
(
t
)
(Bf)(t)=\frac{1}{2\pi j}\frac{d}{dt}f(t)
(Bf)(t)=2πj1dtdf(t)。我们有:
(
A
B
−
B
A
)
f
=
(
A
B
)
f
−
(
B
A
)
f
=
1
2
π
j
t
d
d
t
f
(
t
)
−
1
2
π
j
d
d
t
(
t
f
(
t
)
)
=
−
1
2
π
j
(
f
(
t
)
)
∣
<
[
A
,
B
]
f
,
f
>
∣
=
1
2
π
∣
<
f
,
f
>
∣
≤
2
∣
∣
A
f
∣
∣
⋅
∣
∣
B
f
∣
∣
⟹
∣
∣
f
∣
∣
2
=
1
∣
∣
A
f
∣
∣
⋅
∣
∣
B
f
∣
∣
≥
1
4
π
(AB-BA)f=(AB)f-(BA)f=\frac{1}{2\pi j}t\frac{d}{dt}f(t)-\frac{1}{2\pi j}\frac{d}{dt}(tf(t))=-\frac{1}{2\pi j}(f(t))\\ |<[A,B]f,f>|=\frac{1}{2\pi}|<f,f>|\leq 2||Af||·||Bf||\stackrel{||f||^2=1}{\Longrightarrow}||Af||·||Bf||\geq \frac{1}{4\pi}
(AB−BA)f=(AB)f−(BA)f=2πj1tdtdf(t)−2πj1dtd(tf(t))=−2πj1(f(t))∣<[A,B]f,f>∣=2π1∣<f,f>∣≤2∣∣Af∣∣⋅∣∣Bf∣∣⟹∣∣f∣∣2=1∣∣Af∣∣⋅∣∣Bf∣∣≥4π1
接下来我们只需要把
∣
∣
A
f
∣
∣
||Af||
∣∣Af∣∣ 和
∣
∣
B
f
∣
∣
||Bf||
∣∣Bf∣∣ 算好就可以了。
∣
∣
A
f
∣
∣
=
<
A
f
,
A
f
>
1
2
=
(
∫
−
∞
+
∞
t
f
(
t
)
⋅
t
f
(
t
)
‾
d
t
)
1
2
=
(
∫
−
∞
+
∞
t
2
∣
f
(
t
)
∣
2
d
t
)
1
2
=
V
t
1
2
∣
∣
B
f
∣
∣
=
<
B
f
,
B
f
>
1
2
=
(
∫
−
∞
+
∞
1
2
π
j
d
d
t
f
(
t
)
⋅
1
2
π
j
d
d
t
f
(
t
)
‾
d
t
)
1
2
=
(
1
4
π
2
∫
−
∞
+
∞
∣
d
d
t
f
(
t
)
∣
2
d
t
)
1
2
=
(
d
d
t
f
)
∧
=
w
f
^
(
w
)
(
1
4
π
2
∫
−
∞
+
∞
w
2
∣
f
^
(
w
)
∣
2
d
t
)
1
2
=
1
2
π
V
w
1
2
⇒
V
t
V
w
≥
1
4
π
2
||Af||=<Af,Af>^{\frac{1}{2}}=\left(\int_{-\infty}^{+\infty}tf(t)·\overline{tf(t)}dt\right)^{\frac{1}{2}}= \left(\int_{-\infty}^{+\infty}t^2|f(t)|^2dt\right)^{\frac{1}{2}}=V_t^{\frac{1}{2}}\\ ||Bf||=<Bf,Bf>^{\frac{1}{2}}=\left(\int_{-\infty}^{+\infty}\frac{1}{2\pi j}\frac{d}{dt}f(t)·\overline{\frac{1}{2\pi j}\frac{d}{dt}f(t)}dt\right)^{\frac{1}{2}}= \left(\frac{1}{4\pi^2}\int_{-\infty}^{+\infty}|\frac{d}{dt}f(t)|^2 dt\right)^{\frac{1}{2}}\\ \xlongequal{(\frac{d}{dt}f)^{\wedge}=w\hat f(w)}\left(\frac{1}{4\pi^2}\int_{-\infty}^{+\infty}w^2|\hat f(w)|^2 dt\right)^{\frac{1}{2}}=\frac{1}{2\pi}V_w^{\frac{1}{2}}\\ \Rightarrow V_tV_w\geq \frac{1}{4\pi^2}
∣∣Af∣∣=<Af,Af>21=(∫−∞+∞tf(t)⋅tf(t)dt)21=(∫−∞+∞t2∣f(t)∣2dt)21=Vt21∣∣Bf∣∣=<Bf,Bf>21=(∫−∞+∞2πj1dtdf(t)⋅2πj1dtdf(t)dt)21=(4π21∫−∞+∞∣dtdf(t)∣2dt)21(dtdf)∧=wf^(w)(4π21∫−∞+∞w2∣f^(w)∣2dt)21=2π1Vw21⇒VtVw≥4π21
我们推出测不准原理经过了柯西不等式,它反映了问题的本质。事实上目前人们已经发现的测不准原理大概几十种是有的。克拉美劳下界就是测不准,它最核心的一步也是用柯西不等式过去的。它反映的是无偏估计条件下,估计的均方误差是一定有下界的,这个下界只依赖于数据的分布,和估计的方法没有任何关系,它实际考虑的也是某种性质的方差,和这里的如出一辙。
测不准关系是整个科学体系当中一个很核心的基本关系。而我们现在看到了这个关系在信号处理上的呈现方式。