第五章 功率谱估计
文章目录
5.1 引言
所谓的谱估计或功率谱估计,就是用已观测到的一定数量的样本数据估计一个平稳随机信号的功率谱。随机信号是一种无始无终,能量无限的信号,其傅里叶变换不不收敛,没有频谱。但是其功率大多有限,功率反映单位时间内的能量,故对随机信号而言我们常用功率谱描述其频率特性,且它在各个点上的值无法先验确定,因此只能用它的各种非统计量来表征。其中自相关函数是平稳随机过程一个重要的统计量,并特别指出其傅里叶变换正是该信号的功率谱密度。
谱估计:确定信号在特定频率处的功率含量。
x
(
n
)
⟶
H
(
e
j
ω
)
⟶
y
(
n
)
x(n)\longrightarrow H(e^{j\omega})\longrightarrow y(n)
x(n)⟶H(ejω)⟶y(n)
P y y ( ω ) = P x x ( ω ) ∣ H ( e j ω ) ∣ 2 E ( y 2 ) = 1 2 π ∫ − π π P y y ( ω ) d ω = 1 2 π ∫ − π π P x x ( ω ) ∣ H ( e j ω ) ∣ 2 d ω ≈ 2 ⋅ 1 2 π P x x ( ω 0 ) Δ ω = Δ ω π P x ( ω 0 ) \begin{aligned} P_{yy}(\omega)&=P_{xx}(\omega)|H(e^{j\omega})|^2 \\ E(y^2)&=\frac{1}{2\pi}\int_{-\pi}^{\pi}P_{yy}(\omega)d\omega \\ &=\frac{1}{2\pi}\int_{-\pi}^{\pi}P_{xx}(\omega)|H(e^{j\omega})|^2d\omega \\ &\approx 2\cdot\frac{1}{2\pi}P_{xx}(\omega_0)\Delta\omega =\frac{\Delta\omega}{\pi}P_{x}(\omega_0) \\ \end{aligned} Pyy(ω)E(y2)=Pxx(ω)∣H(ejω)∣2=2π1∫−ππPyy(ω)dω=2π1∫−ππPxx(ω)∣H(ejω)∣2dω≈2⋅2π1Pxx(ω0)Δω=πΔωPx(ω0)
即
P x x ( ω 0 ) ≈ π Δ ω E [ y 2 ] P_{xx}(\omega_0)\approx\frac{\pi}{\Delta\omega}E[y^2]\\ Pxx(ω0)≈ΔωπE[y2]
Δ ω \Delta\omega Δω 越小,估计越准确。
功率谱估计分为两大类
1)参数方法:模型辨识法、capon最小方差、……
2)非参数法:BT法、周期图法、……
设 θ ^ \widehat{\theta} θ 是对真实值 θ \theta θ 的估计值,一个好的估计应满足
1)无偏估计: E [ θ ^ ] = θ E[\widehat{\theta}]=\theta E[θ ]=θ , B = B i a [ θ ^ ] = θ − E [ θ ^ ] B=Bia[\widehat{\theta}]=\theta-E[\widehat{\theta}] B=Bia[θ ]=θ−E[θ ] 称为偏差;
2)最小方差估计:最小化 σ 2 = E [ θ ^ − E 2 [ θ ^ ] ] \sigma^2=E[\widehat{\theta}-E^2[\widehat{\theta}]] σ2=E[θ −E2[θ ]]
均方误差: E [ e 2 ] = E [ ( θ − θ ^ ) 2 ] = B 2 + σ 2 E[e^2]=E[(\theta-\widehat{\theta})^2]=B^2+\sigma^2 E[e2]=E[(θ−θ )2]=B2+σ2
一致估计:(N是数据量)
N → ∞ , B i a ( θ ^ ) → 0 N\rightarrow\infty,Bia(\widehat{\theta})\rightarrow 0 N→∞,Bia(θ )→0
N → ∞ , σ 2 → 0 N\rightarrow\infty,\sigma^2\rightarrow 0 N→∞,σ2→0
5.2 经典估计方法
5.2.1 相关图法(自相关函数估计)
- 相关函数的估计
假设
x
(
n
)
x(n)
x(n) 是各态历经的,可以用时间平均代替集合平均,
Φ
^
x
x
′
(
m
)
\widehat{\Phi}^{'}_{xx}(m)
Φ
xx′(m) 长度为
2
N
−
1
2N-1
2N−1 。
Φ
^
x
x
′
(
m
)
=
1
N
−
∣
m
∣
∑
n
=
0
N
−
1
−
∣
m
∣
x
(
n
)
x
(
n
+
m
)
,
∣
m
∣
≤
N
−
1
,
n
+
m
≤
N
−
1
\widehat{\Phi}^{'}_{xx}(m)=\frac{1}{N-|m|}\sum_{n=0}^{N-1-|m|}x(n)x(n+m),\quad |m|\leq N-1,n+m\leq N-1
Φ
xx′(m)=N−∣m∣1n=0∑N−1−∣m∣x(n)x(n+m),∣m∣≤N−1,n+m≤N−1
E [ Φ ^ x x ′ ( m ) ] = 1 N − ∣ m ∣ ∑ n E [ x ( n ) x ( n + m ) ] = Φ x x ( m ) 无 偏 估 计 E[\widehat{\Phi}^{'}_{xx}(m)]=\frac{1}{N-|m|}\sum_{n}E[x(n)x(n+m)]=\Phi_{xx}(m)\quad 无偏估计 E[Φ xx′(m)]=N−∣m∣1n∑E[x(n)x(n+m)]=Φxx(m)无偏估计
这里可以直接求
Φ
^
x
x
′
(
m
)
\widehat{\Phi}^{'}_{xx}(m)
Φ
xx′(m) 的离散傅里叶变换,得到
x
(
n
)
x(n)
x(n) 的功率谱的估计值(间接法(BT法))。
P
^
x
x
(
ω
)
=
∑
m
=
−
M
M
Φ
^
x
x
′
(
m
)
e
−
j
ω
m
,
M
≤
N
−
1
\widehat{P}_{xx}(\omega)=\sum_{m=-M}^{M}\widehat{\Phi}^{'}_{xx}(m)e^{-j\omega m},\quad M\leq N-1
P
xx(ω)=m=−M∑MΦ
xx′(m)e−jωm,M≤N−1
当
m
m
m 接近
N
N
N 时,估计的方差很大。对此问题进行改进,使用三角窗加权。(改进)
Φ
^
x
x
(
m
)
=
1
N
∑
n
=
0
N
−
1
−
∣
m
∣
x
(
n
)
x
(
n
+
m
)
=
N
−
∣
m
∣
N
Φ
^
x
x
′
(
m
)
=
W
B
(
m
)
Φ
^
x
x
′
(
m
)
W
B
(
m
)
=
1
−
∣
m
∣
N
三
角
窗
\begin{aligned} \widehat{\Phi}_{xx}(m)&=\frac{1}{N}\sum_{n=0}^{N-1-|m|}x(n)x(n+m)\\ &=\frac{N-|m|}{N}\widehat{\Phi}_{xx}^{'}(m)\\ &=W_B(m)\widehat{\Phi}_{xx}^{'}(m)\\ W_B(m)=1-\frac{|m|}{N} \quad 三角窗 \end{aligned}
Φ
xx(m)WB(m)=1−N∣m∣三角窗=N1n=0∑N−1−∣m∣x(n)x(n+m)=NN−∣m∣Φ
xx′(m)=WB(m)Φ
xx′(m)
这时,有偏估计
E
[
Φ
^
x
x
(
m
)
]
=
W
B
(
m
)
E
[
Φ
^
x
x
′
(
m
)
]
=
W
B
(
m
)
Φ
x
x
(
m
)
E[\widehat{\Phi}_{xx}(m)]=W_B(m)E[\widehat{\Phi}_{xx}^{'}(m)]=W_B(m)\Phi_{xx}(m)\\
E[Φ
xx(m)]=WB(m)E[Φ
xx′(m)]=WB(m)Φxx(m)
当
N
→
∞
N\rightarrow \infty
N→∞ 时
E
[
Φ
^
x
x
(
m
)
]
→
Φ
x
x
渐
进
无
偏
估
计
V
a
r
[
Φ
^
x
x
′
(
m
)
]
=
W
B
2
(
m
)
V
a
r
[
Φ
x
x
′
(
m
)
]
<
V
a
r
[
Φ
^
x
x
(
m
)
]
方
差
变
小
E[\widehat{\Phi}_{xx}(m)]\rightarrow \Phi_{xx}\quad 渐进无偏估计\\ Var[\widehat{\Phi}_{xx}^{'}(m)]=W_B^2(m)Var[\Phi_{xx}^{'}(m)]<Var[\widehat{\Phi}_{xx}(m)] \quad 方差变小
E[Φ
xx(m)]→Φxx渐进无偏估计Var[Φ
xx′(m)]=WB2(m)Var[Φxx′(m)]<Var[Φ
xx(m)]方差变小
而且
Φ
^
x
x
′
(
m
)
\widehat{\Phi}_{xx}^{'}(m)
Φ
xx′(m) 的均方误差也小于
Φ
^
x
x
(
m
)
\widehat{\Phi}_{xx}(m)
Φ
xx(m) 的均方误差。所以一般用
Φ
^
x
x
′
(
m
)
\widehat{\Phi}_{xx}^{'}(m)
Φ
xx′(m) 作为自相关函数的估计,而较少使用
Φ
^
x
x
(
m
)
\widehat{\Phi}_{xx}(m)
Φ
xx(m) 。后来为了表示方便,我们仍用
Φ
^
x
x
(
m
)
\widehat{\Phi}_{xx}(m)
Φ
xx(m) 表示,即
Φ
^
x
x
(
m
)
=
1
N
∑
n
=
0
N
−
∣
m
∣
−
1
x
(
n
)
x
(
n
+
m
)
\widehat{\Phi}_{xx}(m)=\frac{1}{N}\sum_{n=0}^{N-|m|-1}x(n)x(n+m)
Φ
xx(m)=N1n=0∑N−∣m∣−1x(n)x(n+m)
无论是有偏估计还是无偏估计都可以通过增大
N
N
N 减小误差。
5.2.2 周期图法
- 周期图法定义(直接法)
按上一节所述的自相关函数的定义
Φ
^
x
x
(
m
)
=
1
N
∑
n
=
0
N
−
∣
m
∣
−
1
x
(
n
)
x
(
n
+
m
)
\widehat{\Phi}_{xx}(m)=\frac{1}{N}\sum_{n=0}^{N-|m|-1}x(n)x(n+m)
Φ
xx(m)=N1n=0∑N−∣m∣−1x(n)x(n+m)
定义矩形窗函数
d
(
n
)
=
{
1
,
0
≤
n
≤
N
−
1
0
,
其
它
d(n)=\left\{ \begin{matrix} 1,\quad &0\leq n\leq N-1 \\ 0,\quad &其它 \end{matrix} \right.
d(n)={1,0,0≤n≤N−1其它
令
d
(
n
)
x
(
n
)
=
y
(
n
)
d(n)x(n)=y(n)
d(n)x(n)=y(n) ,上式可以简写为
Φ
^
x
x
(
m
)
=
1
N
∑
n
=
−
∞
∞
d
(
n
)
x
(
n
)
d
(
n
+
m
)
x
(
n
+
m
)
=
1
N
∑
n
=
−
∞
∞
y
(
n
)
y
(
n
+
m
)
=
y
(
n
)
∗
y
(
−
m
)
\begin{aligned} \widehat{\Phi}_{xx}(m) &=\frac{1}{N}\sum_{n=-\infty}^{\infty}d(n)x(n)d(n+m)x(n+m)\\ &=\frac{1}{N}\sum_{n=-\infty}^{\infty}y(n)y(n+m)\\ &=y(n)*y(-m) \end{aligned}
Φ
xx(m)=N1n=−∞∑∞d(n)x(n)d(n+m)x(n+m)=N1n=−∞∑∞y(n)y(n+m)=y(n)∗y(−m)
y
(
m
)
y(m)
y(m) 的傅里叶变换
∑
m
=
−
∞
∞
y
(
m
)
e
−
j
ω
m
=
∑
m
=
−
∞
∞
d
(
m
)
x
(
m
)
e
−
j
ω
m
=
∑
m
=
0
N
−
1
x
(
m
)
e
−
j
ω
m
=
X
N
(
e
−
j
ω
)
\begin{aligned} \sum_{m=-\infty}^{\infty}y(m)e^{-j\omega m} &=\sum_{m=-\infty}^{\infty}d(m)x(m)e^{-j\omega m}\\ &=\sum_{m=0}^{N-1}x(m)e^{-j\omega m}\\ &=X_N(e^{-j\omega}) \end{aligned}
m=−∞∑∞y(m)e−jωm=m=−∞∑∞d(m)x(m)e−jωm=m=0∑N−1x(m)e−jωm=XN(e−jω)
y
(
−
m
)
y(-m)
y(−m) 的傅里叶变换为
X
N
∗
(
e
−
j
ω
)
X_N^{*}(e^{-j\omega})
XN∗(e−jω) 根据相关图法,功率谱估计为自相关函数估计的傅里叶变换,即
P
^
x
x
(
ω
)
=
1
N
X
N
(
e
−
j
ω
)
X
N
∗
(
e
−
j
ω
)
=
1
N
∣
X
N
(
e
−
j
ω
)
∣
2
\widehat{P}_{xx}(\omega) =\frac{1}{N}X_N(e^{-j\omega})X_N^{*}(e^{-j\omega}) =\frac{1}{N}|X_N(e^{-j\omega})|^2
P
xx(ω)=N1XN(e−jω)XN∗(e−jω)=N1∣XN(e−jω)∣2
直接将
X
N
(
ω
)
X_N(\omega)
XN(ω) 模的平方除以
N
N
N 求得的功率谱估计的方法称为周期图法,其结果用
I
(
ω
)
I(\omega)
I(ω) 表示
I
(
ω
)
=
P
^
x
x
(
ω
)
=
1
N
∣
X
N
(
e
−
j
ω
)
∣
2
I(\omega) =\widehat{P}_{xx}(\omega) =\frac{1}{N}|X_N(e^{-j\omega})|^2
I(ω)=P
xx(ω)=N1∣XN(e−jω)∣2
(优点不再计算自相关函数,直接利用数据的傅里叶变换求得。)
- 周期图法的谱估计性能
为了了解周期图法的估计效果,我们来讨论它的估计均值和方差。(均值)
E
[
I
N
(
ω
)
]
=
E
[
1
N
∣
X
N
(
e
j
ω
)
∣
2
]
=
1
N
E
[
X
N
∗
(
e
j
ω
)
X
N
(
e
j
ω
)
]
=
1
N
E
[
∑
n
=
0
N
−
1
x
(
n
)
e
j
ω
n
∑
k
=
0
N
−
1
x
(
k
)
e
−
j
ω
k
]
=
1
N
E
[
∑
n
=
−
∞
∞
d
(
n
)
x
(
n
)
e
j
ω
n
∑
k
=
−
∞
∞
d
(
k
)
x
(
k
)
e
−
j
ω
k
]
=
1
N
E
[
∑
n
=
−
∞
∞
∑
k
=
−
∞
∞
d
(
n
)
d
(
k
)
x
(
n
)
x
(
k
)
e
−
j
ω
(
k
−
n
)
]
\begin{aligned} E[I_N(\omega)]&=E[\frac{1}{N}|X_N(e^{j\omega})|^2] =\frac{1}{N}E[X_N^*(e^{j\omega})X_N(e^{j\omega})] \\ &=\frac{1}{N}E[\sum_{n=0}^{N-1}x(n)e^{j\omega n}\sum_{k=0}^{N-1}x(k)e^{-j\omega k}] \\ &=\frac{1}{N}E[\sum_{n=-\infty}^{\infty}d(n)x(n)e^{j\omega n}\sum_{k=-\infty}^{\infty}d(k)x(k)e^{-j\omega k}] \\ &=\frac{1}{N}E[\sum_{n=-\infty}^{\infty}\sum_{k=-\infty}^{\infty}d(n)d(k)x(n)x(k)e^{-j\omega (k-n)}] \\ \end{aligned}
E[IN(ω)]=E[N1∣XN(ejω)∣2]=N1E[XN∗(ejω)XN(ejω)]=N1E[n=0∑N−1x(n)ejωnk=0∑N−1x(k)e−jωk]=N1E[n=−∞∑∞d(n)x(n)ejωnk=−∞∑∞d(k)x(k)e−jωk]=N1E[n=−∞∑∞k=−∞∑∞d(n)d(k)x(n)x(k)e−jω(k−n)]
令
m
=
k
−
n
m=k-n
m=k−n ,代入上式
E
[
I
N
(
ω
)
]
=
∑
m
=
−
∞
∞
1
N
[
∑
n
=
−
∞
∞
d
(
n
)
d
(
n
+
m
)
E
[
x
(
n
)
x
(
n
+
m
)
]
e
−
j
ω
m
]
=
∑
m
=
−
∞
∞
q
N
(
m
)
ϕ
x
x
(
m
)
e
−
j
ω
m
其
中
,
q
N
(
m
)
=
1
N
∑
n
=
−
∞
∞
d
(
n
)
d
(
n
+
m
)
=
{
1
−
∣
m
∣
N
,
对
于
∣
m
∣
≤
N
−
1
0
,
其
它
\begin{aligned} E[I_N(\omega)]&=\sum_{m=-\infty}^{\infty}\frac{1}{N}[\sum_{n=-\infty}^{\infty}d(n)d(n+m)E[x(n)x(n+m)]e^{-j\omega m}] \\ &=\sum_{m=-\infty}^{\infty}q_N(m)\phi_{xx}(m)e^{-j\omega m} \\ 其中, &q_N(m)=\frac{1}{N}\sum_{n=-\infty}^{\infty}d(n)d(n+m) =\left\{ \begin{matrix} 1-\frac{|m|}{N}, &对于 |m| \leq N-1\\ 0, &其它 \end{matrix} \right. \end{aligned}
E[IN(ω)]其中,=m=−∞∑∞N1[n=−∞∑∞d(n)d(n+m)E[x(n)x(n+m)]e−jωm]=m=−∞∑∞qN(m)ϕxx(m)e−jωmqN(m)=N1n=−∞∑∞d(n)d(n+m)={1−N∣m∣,0,对于∣m∣≤N−1其它
由于
q
N
(
m
)
q_N(m)
qN(m) 为两个矩形函数的卷积,为三角窗函数,故可对上式傅里叶变换,
E
[
I
N
(
ω
)
]
=
Q
N
(
ω
)
∗
P
x
x
(
ω
)
=
1
2
π
∫
−
∞
∞
Q
N
(
θ
)
P
x
x
(
ω
−
θ
)
d
θ
\begin{aligned} E[I_N(\omega)]&=Q_N(\omega)*P_{xx}(\omega) \\ &=\frac{1}{2\pi}\int_{-\infty}^{\infty}Q_N(\theta)P_{xx}(\omega-\theta)d\theta \end{aligned}
E[IN(ω)]=QN(ω)∗Pxx(ω)=2π1∫−∞∞QN(θ)Pxx(ω−θ)dθ
由上式可知,除非
Q
N
(
ω
)
Q_N(\omega)
QN(ω) 为
δ
\delta
δ 函数,否则
E
[
I
N
(
ω
)
]
E[I_N(\omega)]
E[IN(ω)] 将不等于
P
x
x
(
ω
)
P_{xx}(\omega)
Pxx(ω) ,故周期图作为功率谱估计是有偏估的。普分辨率取决于主瓣宽度,
N
N
N 越大(时间越长)谱分辨率越高。
当 N → ∞ N\rightarrow\infty N→∞ 时,
lim N → ∞ q N ( m ) = lim N → ∞ ( 1 − ∣ m ∣ N ) = 1 Q N → ∞ ( ω ) = δ ( ω ) 故 lim N → ∞ E [ I N ( ω ) ] = P x x ( ω ) 渐 进 无 偏 估 计 \lim\limits_{N\rightarrow\infty}q_N(m) =\lim\limits_{N\rightarrow\infty}(1-\frac{|m|}{N})=1\\ Q_{N\rightarrow\infty}(\omega)=\delta(\omega) \\ 故 \qquad \lim\limits_{N\rightarrow\infty}E[I_N(\omega)]=P_{xx}(\omega) 渐进无偏估计 N→∞limqN(m)=N→∞lim(1−N∣m∣)=1QN→∞(ω)=δ(ω)故N→∞limE[IN(ω)]=Pxx(ω)渐进无偏估计
(方差)下面讨论方差,假设序列
x
(
n
)
(
0
≤
n
≤
N
−
1
)
x(n)(0\leq n\leq N-1)
x(n)(0≤n≤N−1) 是均值为零、方差为
σ
x
2
\sigma_x^2
σx2 的实高斯白噪声序列,按方差定义
v
a
r
[
I
N
(
ω
)
]
=
E
[
I
N
2
(
ω
)
]
−
E
2
[
I
N
(
ω
)
]
≈
P
x
x
2
(
ω
)
[
1
+
(
s
i
n
N
ω
N
s
i
n
ω
)
]
var[I_N(\omega)]=E[I^2_N(\omega)]-E^2[I_N(\omega)] \approx P_{xx}^2(\omega)\Big[1+\big(\frac{sinN\omega}{Nsin\omega} \big) \Big]
var[IN(ω)]=E[IN2(ω)]−E2[IN(ω)]≈Pxx2(ω)[1+(NsinωsinNω)]
当
N
→
∞
N\rightarrow\infty
N→∞ 时
v
a
r
[
I
N
(
ω
)
]
→
P
x
x
2
(
ω
)
var[I_N(\omega)]\rightarrow P_{xx}^2(\omega)
var[IN(ω)]→Pxx2(ω)
明显
N
→
∞
N\rightarrow\infty
N→∞ 时,方差不趋向于零,周期图不是一致估计,方差大。
(改进)定理 如果
x
1
,
x
2
,
⋯
,
x
L
x_1,x_2,\cdots,x_L
x1,x2,⋯,xL 是互不相关的随机变量,且每一个有均值
μ
\mu
μ 及方差
σ
2
\sigma^2
σ2 ,则它们的数学平均
x
‾
=
(
x
1
+
x
2
+
⋯
+
x
L
)
/
L
\overline{x}=(x_1+x_2+\cdots+x_L)/L
x=(x1+x2+⋯+xL)/L 的均值等于
μ
\mu
μ ,方差为
σ
2
/
L
\sigma^2/L
σ2/L 。
E
[
x
‾
]
=
1
L
E
(
x
1
+
x
2
+
⋯
+
x
L
)
=
1
L
⋅
L
μ
=
μ
v
a
r
[
x
‾
]
=
E
[
(
x
‾
−
E
[
x
‾
]
)
2
]
=
E
[
x
‾
2
]
−
E
2
[
x
‾
]
=
1
L
2
E
[
(
x
1
+
x
2
+
⋯
+
x
L
)
2
]
−
μ
2
=
1
L
2
{
E
[
x
1
2
+
x
2
2
+
⋯
+
x
L
2
]
+
∑
j
=
1
L
∑
i
=
1
,
i
≠
j
L
E
[
x
i
x
j
]
}
−
μ
2
\begin{aligned} E[\overline{x}]&=\frac{1}{L}E(x_1+x_2+\cdots+x_L)=\frac{1}{L}\cdot L\mu=\mu \\ var[\overline{x}] &=E[(\overline{x}-E[\overline{x}])^2]=E[\overline{x}^2]-E^2[\overline{x}] \\ &=\frac{1}{L^2}E[(x_1+x_2+\cdots+x_L)^2]-\mu^2\\ &=\frac{1}{L^2}\Big\{E[x_1^2+x_2^2+\cdots+x_L^2]+\sum_{j=1}^{L}\sum_{i=1,i\neq j}^{L}E[x_ix_j]\Big\}-\mu^2\\ \end{aligned}
E[x]var[x]=L1E(x1+x2+⋯+xL)=L1⋅Lμ=μ=E[(x−E[x])2]=E[x2]−E2[x]=L21E[(x1+x2+⋯+xL)2]−μ2=L21{E[x12+x22+⋯+xL2]+j=1∑Li=1,i=j∑LE[xixj]}−μ2
由于
x
1
,
x
2
,
⋯
,
x
L
x_1,x_2,\cdots,x_L
x1,x2,⋯,xL 不相关
∑
j
=
1
L
∑
i
=
1
,
i
≠
j
L
E
[
x
i
x
j
]
=
∑
j
=
1
L
E
[
x
j
]
∑
i
=
1
,
i
≠
j
L
E
[
x
i
]
=
L
μ
(
L
−
1
)
μ
=
L
2
μ
2
−
L
μ
2
\begin{aligned} \sum_{j=1}^{L}\sum_{i=1,i\neq j}^{L}E[x_ix_j] &=\sum_{j=1}^{L}E[x_j]\sum_{i=1,i\neq j}^{L}E[x_i]\\ &=L\mu(L-1)\mu \\ &=L^2\mu^2-L\mu^2 \end{aligned}
j=1∑Li=1,i=j∑LE[xixj]=j=1∑LE[xj]i=1,i=j∑LE[xi]=Lμ(L−1)μ=L2μ2−Lμ2
故
v
a
r
[
x
‾
]
=
1
L
2
[
∑
i
=
1
L
E
[
x
i
2
]
+
L
2
μ
2
−
L
μ
2
]
−
μ
2
=
1
L
2
[
∑
i
=
1
L
E
[
x
i
2
]
−
L
μ
2
]
=
1
L
2
{
[
E
(
x
1
2
)
−
E
2
(
x
1
)
]
+
[
E
(
x
2
2
)
−
E
2
(
x
2
)
]
+
⋯
+
[
E
(
x
L
2
)
−
E
2
(
x
L
)
]
}
=
1
L
2
L
σ
2
=
σ
2
L
\begin{aligned} var[\overline{x}] &=\frac{1}{L^2}[\sum_{i=1}^{L}E[x_i^2]+L^2\mu^2-L\mu^2]-\mu^2\\ &=\frac{1}{L^2}[\sum_{i=1}^{L}E[x_i^2]-L\mu^2]\\ &=\frac{1}{L^2}\Big\{ [E(x_1^2)-E^2(x_1)]+[E(x_2^2)-E^2(x_2)]+\cdots+[E(x_L^2)-E^2(x_L)] \Big\}\\ &=\frac{1}{L^2}L\sigma^2=\frac{\sigma^2}{L} \end{aligned}
var[x]=L21[i=1∑LE[xi2]+L2μ2−Lμ2]−μ2=L21[i=1∑LE[xi2]−Lμ2]=L21{[E(x12)−E2(x1)]+[E(x22)−E2(x2)]+⋯+[E(xL2)−E2(xL)]}=L21Lσ2=Lσ2
具有
L
L
L 个独立同分布随机变量平均的方差是每个随机变量方差的
1
L
\frac{1}{L}
L1 ,当
L
→
∞
L\rightarrow\infty
L→∞ 时,
v
a
r
[
x
‾
]
→
0
var[\overline{x}]\rightarrow 0
var[x]→0 ,可达到一致估计的目的。因而将若干个独立估计值进行平均可有效降低估计量的方差。
平均周期图法
将
x
(
n
)
x(n)
x(n) 分成
L
L
L 段,每段有
M
M
M 个样本,则
N
=
L
M
N=LM
N=LM ,第
i
i
i 段序列的样本可写成
x
i
(
n
)
=
x
(
n
+
i
M
−
M
)
0
≤
n
≤
M
−
1
,
1
≤
i
≤
L
x^i(n)=x(n+iM-M) \quad 0\leq n\leq M-1,1\leq i\leq L
xi(n)=x(n+iM−M)0≤n≤M−1,1≤i≤L
第
i
i
i 段的周期图为
I
M
i
(
ω
)
=
1
M
∣
∑
n
=
0
M
−
1
x
i
(
n
)
e
−
j
ω
n
∣
2
I^i_M(\omega)=\frac{1}{M}\Big| \sum_{n=0}^{M-1}x^i(n)e^{-j\omega n} \Big|^2
IMi(ω)=M1∣∣∣n=0∑M−1xi(n)e−jωn∣∣∣2
如果
m
>
M
m>M
m>M ,
ϕ
x
x
(
m
)
\phi_{xx}(m)
ϕxx(m) 很小,则可假定各段的周期图
I
M
i
(
ω
)
I^i_M(\omega)
IMi(ω) 是互相独立的,总的谱估计可定义为
L
L
L 段周期图的平均,即
P
^
x
x
(
ω
)
=
1
L
∑
i
=
1
L
I
M
i
(
ω
)
\widehat{P}_{xx}(\omega)=\frac{1}{L}\sum_{i=1}^{L}I^i_M(\omega)
P
xx(ω)=L1i=1∑LIMi(ω)
如各段数据互相独立,则估计方差将只有原来的
1
/
L
1/L
1/L 所以当
L
L
L 越大,方差越小,越接近一致估计,但是随着
L
L
L 增大,
M
M
M 减小,分辨率下降,将使估计变成有偏。故实际中必须兼顾分辨率与方差的要求适当选择
L
L
L 和
M
M
M 的值。
具体方法(Welch法)
1)先将 N N N 个数据分成 L L L 段,每段 M M M 个数据, N = L M N=LM N=LM ;
2)选择适当的窗函数 ω ( n ) \omega(n) ω(n) 依次对每段数据作相应的加权,然后确定每一段的周期图
I M i ( ω ) = 1 M U ∣ ∑ n = 0 M − 1 x i ( n ) ω ( n ) e − j ω n ∣ , 1 ≤ i ≤ L I^i_M(\omega)=\frac{1}{MU}\Big| \sum_{n=0}^{M-1}x^i(n)\omega(n)e^{-j\omega n} \Big| ,\quad 1\leq i \leq L IMi(ω)=MU1∣∣∣n=0∑M−1xi(n)ω(n)e−jωn∣∣∣,1≤i≤L
这里 U = 1 M ∑ n = 0 M − 1 ω 2 ( n ) U=\frac{1}{M}\sum_{n=0}^{M-1}\omega^2(n) U=M1∑n=0M−1ω2(n) 为归一化因子;3)对分段周期图进行平均得到功率谱估计
P ^ x x ( ω ) = 1 L ∑ i = 1 L I M i ( ω ) \widehat{P}_{xx}(\omega)=\frac{1}{L}\sum_{i=1}^{L}I^i_M(\omega) P xx(ω)=L1i=1∑LIMi(ω)
优点:
- 对窗函数没有特殊要求,均可使谱估计非负;
- 分段时减少因分段数增加给分辨率带来的影响,可使各段之间有重叠,例如 50% 重叠。
5.3 谱估计的参数化模型方法
我们可以将随机过程看成由白噪声
ω
(
n
)
\omega(n)
ω(n) 经一线性系统形成的
ω
(
n
)
⟶
H
(
z
)
⟶
x
(
x
)
H
(
z
)
=
B
(
z
)
A
(
z
)
=
∑
k
=
0
q
b
k
z
−
k
∑
k
=
0
p
a
k
z
−
k
\omega(n)\longrightarrow H(z) \longrightarrow x(x)\\ H(z)=\frac{B(z)}{A(z)}=\frac{\sum_{k=0}^{q}b_kz^{-k}}{\sum_{k=0}^{p}a_kz^{-k}}
ω(n)⟶H(z)⟶x(x)H(z)=A(z)B(z)=∑k=0pakz−k∑k=0qbkz−k
当输入白噪声的功率谱密度
P
x
x
(
ω
)
=
σ
ω
2
P_{xx}(\omega)=\sigma_\omega^2
Pxx(ω)=σω2 时,输出的功率谱密度为
P
x
x
(
ω
)
=
σ
ω
2
∣
H
(
e
j
ω
)
∣
2
=
σ
ω
2
∣
B
(
e
j
ω
)
A
(
e
j
ω
)
∣
2
P_{xx}(\omega)=\sigma_\omega^2|H(e^{j\omega})|^2 =\sigma_\omega^2\Big| \frac{B(e^{j\omega})}{A(e^{j\omega})} \Big|^2
Pxx(ω)=σω2∣H(ejω)∣2=σω2∣∣∣A(ejω)B(ejω)∣∣∣2
下面假设
a
0
=
1
,
b
0
=
1
a_0=1,b_0=1
a0=1,b0=1 我们将线性系统分为三种情况。
- AR模型
除 b 0 = 1 b_0=1 b0=1 外,所有的 b k ( 1 ≤ k ≤ q ) b_k(1\leq k\leq q) bk(1≤k≤q) 均为零,此时系统函数为
H ( z ) = 1 A ( z ) = 1 1 + ∑ k = 1 p a k z − k H(z)=\frac{1}{A(z)}=\frac{1}{1+\sum_{k=1}^{p}a_kz^{-k}} H(z)=A(z)1=1+∑k=1pakz−k1
其差分方程为
x ( n ) = − ∑ k = 1 p a k x ( n − k ) + ω ( n ) x(n)=-\sum_{k=1}^{p}a_kx(n-k)+\omega(n) x(n)=−k=1∑pakx(n−k)+ω(n)
模型输出功率谱
P x x ( ω ) = σ ω 2 ∣ A ( e j ω ) ∣ 2 = σ ω 2 ∣ 1 + ∑ k = 1 p a k e − j ω k ∣ 2 P_{xx}(\omega)=\frac{\sigma_\omega^2}{|A(e^{j\omega})|^2} =\frac{\sigma_\omega^2}{|1+\sum_{k=1}^{p}a_ke^{-j\omega k}|^2} Pxx(ω)=∣A(ejω)∣2σω2=∣1+∑k=1pake−jωk∣2σω2
- MA模型
除 a 0 = 1 a_0=1 a0=1 外,所有的 a k ( 1 ≤ k ≤ p ) a_k(1\leq k\leq p) ak(1≤k≤p) 均为零,此时系统函数为
H ( z ) = B ( z ) = 1 + ∑ k = 1 q b k z − k H(z)=B(z)=1+\sum_{k=1}^{q}b_kz^{-k} H(z)=B(z)=1+k=1∑qbkz−k
其差分方程为
x ( n ) = ∑ k = 1 q a k x ( n − k ) x(n)=\sum_{k=1}^{q}a_kx(n-k) x(n)=k=1∑qakx(n−k)
模型输出功率谱
P x x ( ω ) = σ ω 2 ∣ B ( e j ω ) ∣ 2 = σ ω 2 ∣ 1 + ∑ k = 1 q b k e − j ω k ∣ 2 P_{xx}(\omega)=\sigma_\omega^2|B(e^{j\omega})|^2 =\sigma_\omega^2|1+\sum_{k=1}^{q}b_ke^{-j\omega k}|^2 Pxx(ω)=σω2∣B(ejω)∣2=σω2∣1+k=1∑qbke−jωk∣2
- ARMA模型
设 a 0 = 1 , b 0 = 1 a_0=1,b_0=1 a0=1,b0=1 其余的 a k , b k a_k,b_k ak,bk 不全为零,这是一个 “极点、零点” 模型,称为 A R M A ( p , q ) ARMA(p,q) ARMA(p,q) 模型,或直接简称 ARMA 模型。
5.4 自回归(AR)模型方法
5.4.1 AR模型的 Yule-Walker 方法
有前面讨论可知, p p p 阶 AR 模型的系统函数和差分方差分别为
除 b 0 = 1 b_0=1 b0=1 外,所有的 b k ( 1 ≤ k ≤ q ) b_k(1\leq k\leq q) bk(1≤k≤q) 均为零,此时系统函数为
H ( z ) = 1 A ( z ) = 1 1 + ∑ k = 1 p a k z − k H(z)=\frac{1}{A(z)}=\frac{1}{1+\sum_{k=1}^{p}a_kz^{-k}} H(z)=A(z)1=1+∑k=1pakz−k1
其差分方程为
x ( n ) = − ∑ k = 1 p a k x ( n − k ) + ω ( n ) x(n)=-\sum_{k=1}^{p}a_kx(n-k)+\omega(n) x(n)=−k=1∑pakx(n−k)+ω(n)
模型输出功率谱
P x x ( ω ) = σ ω 2 ∣ B ( e j ω ) ∣ 2 = σ ω 2 ∣ 1 + ∑ k = 1 q b k e − j ω k ∣ 2 P_{xx}(\omega)=\sigma_\omega^2|B(e^{j\omega})|^2 =\sigma_\omega^2|1+\sum_{k=1}^{q}b_ke^{-j\omega k}|^2 Pxx(ω)=σω2∣B(ejω)∣2=σω2∣1+k=1∑qbke−jωk∣2
若已知参数
a
1
,
a
2
,
⋯
,
a
p
a_1,a_2,\cdots,a_p
a1,a2,⋯,ap 及
σ
w
2
\sigma_w^2
σw2 ,就可以得到信号的功率谱估计。现在我饿们研究这些参数与自相关函数的关系。将 AR 模型的差分方程代入
x
(
n
)
x(n)
x(n) 的自相关函数表达式,得
ϕ
x
x
(
m
)
=
E
[
x
(
n
)
x
(
n
+
m
)
]
=
E
{
x
(
n
)
[
−
∑
k
=
1
p
a
k
x
(
n
+
m
−
k
)
+
ω
(
n
+
m
)
]
}
=
−
∑
k
=
1
p
a
k
ϕ
x
x
(
m
−
k
)
+
E
[
x
(
n
)
ω
(
n
+
m
)
]
\begin{aligned} \phi_{xx}(m)&=E[x(n)x(n+m)]\\ &=E\Big\{x(n)\big[-\sum_{k=1}^{p}a_kx(n+m-k)+\omega(n+m) \big] \Big\}\\ &=-\sum_{k=1}^{p}a_k\phi_{xx}(m-k)+E[x(n)\omega(n+m)] \end{aligned}
ϕxx(m)=E[x(n)x(n+m)]=E{x(n)[−k=1∑pakx(n+m−k)+ω(n+m)]}=−k=1∑pakϕxx(m−k)+E[x(n)ω(n+m)]
由差分方程可知,
x
(
n
)
x(n)
x(n) 只与
ω
(
n
)
\omega(n)
ω(n) 相关而与
ω
(
n
+
m
)
\omega(n+m)
ω(n+m) 无关
(
m
≥
1
)
(m\geq 1)
(m≥1) ,故有
E
[
x
(
n
)
ω
(
n
+
m
)
]
=
E
[
ω
(
n
)
ω
(
n
+
m
)
]
=
{
σ
w
2
,
m
=
0
0
,
m
>
0
ϕ
x
x
(
m
)
=
{
−
∑
k
=
1
p
a
k
ϕ
x
x
(
m
−
k
)
,
m
>
0
−
∑
k
=
1
p
a
k
ϕ
x
x
(
m
−
k
)
+
σ
w
2
,
m
=
0
E[x(n)\omega(n+m)]=E[\omega(n)\omega(n+m)] =\left\{ \begin{matrix} \sigma_w^2,\quad &m=0\\ 0,\quad &m>0 \end{matrix} \right. \\ \phi_{xx}(m)= \left\{ \begin{matrix} -\sum_{k=1}^{p}a_k\phi_{xx}(m-k),\quad &m>0\\ -\sum_{k=1}^{p}a_k\phi_{xx}(m-k)+\sigma_w^2,\quad &m=0 \end{matrix} \right.
E[x(n)ω(n+m)]=E[ω(n)ω(n+m)]={σw2,0,m=0m>0ϕxx(m)={−∑k=1pakϕxx(m−k),−∑k=1pakϕxx(m−k)+σw2,m>0m=0
写成矩阵形式,得
[
ϕ
x
x
(
0
)
ϕ
x
x
(
−
1
)
ϕ
x
x
(
−
2
)
⋯
ϕ
x
x
(
−
p
)
ϕ
x
x
(
1
)
ϕ
x
x
(
0
)
ϕ
x
x
(
−
1
)
⋯
ϕ
x
x
[
−
(
p
−
1
)
]
ϕ
x
x
(
2
)
ϕ
x
x
(
1
)
ϕ
x
x
(
0
)
⋯
ϕ
x
x
[
−
(
p
−
2
)
]
⋮
⋮
⋮
⋮
ϕ
x
x
(
p
)
ϕ
x
x
(
p
−
1
)
ϕ
x
x
(
p
−
2
)
⋯
ϕ
x
x
(
0
)
]
[
1
a
1
a
2
⋮
a
p
]
=
[
σ
w
2
0
0
⋮
0
]
\left[ \begin{matrix} \phi_{xx}(0) &\phi_{xx}(-1) &\phi_{xx}(-2) &\cdots &\phi_{xx}(-p) \\ \phi_{xx}(1) &\phi_{xx}(0) &\phi_{xx}(-1) &\cdots &\phi_{xx}[-(p-1)] \\ \phi_{xx}(2) &\phi_{xx}(1) &\phi_{xx}(0) &\cdots &\phi_{xx}[-(p-2)] \\ \vdots &\vdots &\vdots &\quad &\vdots\\ \phi_{xx}(p) &\phi_{xx}(p-1) &\phi_{xx}(p-2) &\cdots &\phi_{xx}(0) \\ \end{matrix} \right] \left[ \begin{matrix} 1 \\ a_1 \\ a_2 \\ \vdots \\ a_p \end{matrix} \right]= \left[ \begin{matrix} \sigma_w^2 \\ 0 \\ 0 \\ \vdots \\ 0 \end{matrix} \right]
⎣⎢⎢⎢⎢⎢⎡ϕxx(0)ϕxx(1)ϕxx(2)⋮ϕxx(p)ϕxx(−1)ϕxx(0)ϕxx(1)⋮ϕxx(p−1)ϕxx(−2)ϕxx(−1)ϕxx(0)⋮ϕxx(p−2)⋯⋯⋯⋯ϕxx(−p)ϕxx[−(p−1)]ϕxx[−(p−2)]⋮ϕxx(0)⎦⎥⎥⎥⎥⎥⎤⎣⎢⎢⎢⎢⎢⎡1a1a2⋮ap⎦⎥⎥⎥⎥⎥⎤=⎣⎢⎢⎢⎢⎢⎡σw200⋮0⎦⎥⎥⎥⎥⎥⎤
上式就是 AR 模型得 Yule-Walker 方程。
5.4.2 AR 谱估计与线性预测谱估计等效
线性预测器是在过去
p
p
p 个样本
x
(
n
−
1
)
,
x
(
n
−
2
)
,
⋯
,
x
(
n
−
p
)
x(n-1),x(n-2),\cdots,x(n-p)
x(n−1),x(n−2),⋯,x(n−p) 的基础上预测当前值
x
(
n
)
x(n)
x(n) 的,即
x
^
(
n
)
=
−
∑
k
=
1
p
a
p
k
x
(
n
−
k
)
\widehat{x}(n)=-\sum_{k=1}^{p}a_{pk}x(n-k)
x
(n)=−k=1∑papkx(n−k)
由于两个 Yule-Walker 方程相同,当相应的自相关函数值相同时,它们的解也必然相同,即
a
k
=
a
p
k
(
k
=
1
,
2
,
⋯
,
p
)
ε
m
i
n
=
σ
w
2
a_k=a_{pk}(k=1,2,\cdots,p)\quad\varepsilon_{min}=\sigma_w^2
ak=apk(k=1,2,⋯,p)εmin=σw2 也就是说最佳线性预测器参数恰好等于 AR 模型参数,最小预测误差功率也就等于激励的白噪声功率。
用时刻
n
n
n 以前的
p
p
p 个取样样本数据预测
x
(
n
)
x(n)
x(n) ,可做出滤波解释。若将
x
(
n
)
x(n)
x(n) 作为输入,滤波器传输函数为
H
−
1
(
z
)
=
∑
k
=
0
p
a
p
k
z
−
1
H^{-1}(z)=\sum_{k=0}^{p}a_{pk}z^{-1}
H−1(z)=k=0∑papkz−1
那么输出将是预测误差
e
(
n
)
e(n)
e(n) 即白噪声
ω
(
n
)
\omega(n)
ω(n) 。
5.4.3 最大熵谱估计及其与 AR 谱估计的等效性
最大熵谱估计则是基于一段已知的自相关序列进行外推,以得到未知的自相关值。这样因对自相关序列加窗而使谱估计特性变坏的弊端就被去掉了。
方法:外推后的自相关序列所对应的时间序列应当具有最大熵,通过这种外推得到的自相关序列求出的谱则称为最大熵谱估计(MESE)。
熵:熵代表一不确定度,最大熵为最大不确定度。最大熵法外推的自相关函数序列将是随机或是不可预测的,或者说它的谱将是平坦的或者是最白的
- 当 x x x 为离散值时,熵 H H H 定义为
H = − ∑ l p i l n p i H=-\sum_{l}p_ilnp_i H=−l∑pilnpi
- 当 x x x 为连续值时,熵被定义为
H = − ∫ p ( x ) l n p ( x ) d x = − E [ l n ( p ( x ) ) ] H=-\int p(x)lnp(x)dx=-E[ln(p(x))] H=−∫p(x)lnp(x)dx=−E[ln(p(x))]
当
{
x
(
n
)
}
\{x(n) \}
{x(n)} 为零均值、高斯分布的随机过程时,
N
N
N 维联合概率函数为
P
(
x
1
,
x
2
,
⋯
,
x
N
)
=
(
2
π
)
−
N
/
2
(
d
e
t
Φ
(
N
)
)
1
2
e
x
p
(
−
1
2
X
T
[
Φ
(
N
)
]
−
1
X
)
P(x_1,x_2,\cdots,x_N)=(2\pi)^{-N/2}(det\Phi(N))^{\frac{1}{2}} exp\Big(-\frac{1}{2}X^T[\Phi(N)]^{-1}X \Big)
P(x1,x2,⋯,xN)=(2π)−N/2(detΦ(N))21exp(−21XT[Φ(N)]−1X)
将一维熵的结果推广到
N
N
N 维,得到
N
N
N 维高斯分布信号的熵为
H
=
l
n
[
(
2
π
e
)
N
/
2
(
d
e
t
Φ
(
N
)
)
1
/
2
]
H=ln[(2\pi e)^{N/2}(det\Phi(N))^{1/2}]
H=ln[(2πe)N/2(detΦ(N))1/2]
要使熵最大,就要求
d
e
t
(
Φ
(
N
)
)
det(\Phi(N))
det(Φ(N)) 最大。如果已知
ϕ
x
x
(
0
)
,
ϕ
x
x
(
1
)
,
⋯
,
ϕ
x
x
(
N
)
\phi_{xx}(0),\phi_{xx}(1),\cdots,\phi_{xx}(N)
ϕxx(0),ϕxx(1),⋯,ϕxx(N) ,欲求
ϕ
x
x
(
N
+
1
)
\phi_{xx}(N+1)
ϕxx(N+1) 时,应该在最大熵条件下,求取下式所列方程的解:
∂
H
∂
ϕ
x
x
(
N
+
1
)
=
0
\frac{\partial H}{\partial\phi_{xx}(N+1)}=0
∂ϕxx(N+1)∂H=0
由于最大熵与最大
d
e
t
[
Φ
(
N
+
1
)
]
det[\Phi(N+1)]
det[Φ(N+1)] 等效,因而可求解
∂
d
e
t
[
Φ
(
N
+
1
)
]
∂
ϕ
x
x
(
N
+
1
)
=
0
\frac{\partial det[\Phi(N+1)]}{\partial\phi_{xx}(N+1)}=0
∂ϕxx(N+1)∂det[Φ(N+1)]=0
最后 AR 模型的结果与按照最大熵外推
ϕ
x
x
(
N
+
1
)
\phi_{xx}(N+1)
ϕxx(N+1) 得到的结果完全相同。证明了当
x
(
n
)
x(n)
x(n) 为高斯分布时的最大熵谱估计与 AR 模型法是等价的。
5.4.4 Levinson-Durbin 递推算法
一阶 AR 模型的 Yule-Walker 矩阵方程为
[
ϕ
x
x
(
0
)
ϕ
x
x
(
1
)
ϕ
x
x
(
1
)
ϕ
x
x
(
0
)
]
[
1
a
11
]
=
[
σ
1
2
0
]
\left[ \begin{matrix} \phi_{xx}(0) &\phi_{xx}(1) \\ \phi_{xx}(1) &\phi_{xx}(0) \\ \end{matrix} \right] \left[ \begin{matrix} 1 \\ a_{11} \\ \end{matrix} \right]= \left[ \begin{matrix} \sigma_1^2 \\ 0 \\ \end{matrix} \right]
[ϕxx(0)ϕxx(1)ϕxx(1)ϕxx(0)][1a11]=[σ120]
解方程中的未知参数
a
11
a_{11}
a11 和
σ
1
2
\sigma_1^2
σ12 为
a
11
=
−
ϕ
x
x
(
1
)
ϕ
x
x
(
0
)
σ
1
2
=
(
1
−
∣
a
11
∣
2
)
ϕ
x
x
(
0
)
,
∣
a
11
∣
<
1
a_{11}=-\frac{\phi_{xx}(1)}{\phi_{xx}(0)}\\ \sigma_1^2=(1-|a_{11}|^2)\phi_{xx}(0) ,\quad |a_{11}|<1 \\
a11=−ϕxx(0)ϕxx(1)σ12=(1−∣a11∣2)ϕxx(0),∣a11∣<1
二阶
[
ϕ
x
x
(
0
)
ϕ
x
x
(
1
)
ϕ
x
x
(
2
)
ϕ
x
x
(
1
)
ϕ
x
x
(
0
)
ϕ
x
x
(
1
)
ϕ
x
x
(
2
)
ϕ
x
x
(
1
)
ϕ
x
x
(
0
)
]
[
1
a
21
a
22
]
=
[
σ
2
2
0
0
]
\left[ \begin{matrix} \phi_{xx}(0) &\phi_{xx}(1) &\phi_{xx}(2) \\ \phi_{xx}(1) &\phi_{xx}(0) &\phi_{xx}(1) \\ \phi_{xx}(2) &\phi_{xx}(1) &\phi_{xx}(0) \\ \end{matrix} \right] \left[ \begin{matrix} 1 \\ a_{21} \\ a_{22} \\ \end{matrix} \right]= \left[ \begin{matrix} \sigma_2^2 \\ 0 \\ 0 \\ \end{matrix} \right]
⎣⎡ϕxx(0)ϕxx(1)ϕxx(2)ϕxx(1)ϕxx(0)ϕxx(1)ϕxx(2)ϕxx(1)ϕxx(0)⎦⎤⎣⎡1a21a22⎦⎤=⎣⎡σ2200⎦⎤
参数
a
22
=
−
ϕ
x
x
(
0
)
ϕ
x
x
(
2
)
−
ϕ
x
x
2
(
1
)
ϕ
x
x
2
(
0
)
−
ϕ
x
x
2
(
1
)
=
−
ϕ
x
x
(
2
)
+
a
11
ϕ
x
x
(
1
)
σ
1
2
a
21
=
−
ϕ
x
x
(
0
)
ϕ
x
x
(
1
)
−
ϕ
x
x
(
1
)
ϕ
x
x
(
2
)
ϕ
x
x
2
(
0
)
−
ϕ
x
x
2
(
1
)
=
a
11
+
a
22
a
11
σ
2
2
=
(
1
−
∣
a
22
∣
2
)
σ
1
2
\begin{aligned} a_{22}&=-\frac{\phi_{xx}(0)\phi_{xx}(2)-\phi^2_{xx}(1)}{\phi^2_{xx}(0)-\phi^2_{xx}(1)} =-\frac{\phi_{xx}(2)+a_{11}\phi_{xx}(1)}{\sigma_1^2}\\ a_{21}&=-\frac{\phi_{xx}(0)\phi_{xx}(1)-\phi_{xx}(1)\phi_{xx}(2)}{\phi^2_{xx}(0)-\phi^2_{xx}(1)} =a_{11}+a_{22}a_{11}\\ \sigma_2^2&=(1-|a_{22}|^2)\sigma_1^2 \\ \end{aligned}
a22a21σ22=−ϕxx2(0)−ϕxx2(1)ϕxx(0)ϕxx(2)−ϕxx2(1)=−σ12ϕxx(2)+a11ϕxx(1)=−ϕxx2(0)−ϕxx2(1)ϕxx(0)ϕxx(1)−ϕxx(1)ϕxx(2)=a11+a22a11=(1−∣a22∣2)σ12
以此得到类推公式
a
k
k
=
−
ϕ
x
x
(
k
)
+
∑
l
=
1
k
−
1
a
k
−
1
,
l
ϕ
x
x
(
k
−
l
)
σ
k
−
1
2
a
k
i
=
a
k
−
1
,
i
+
a
k
k
a
k
−
l
,
k
−
i
σ
k
2
=
(
1
−
∣
a
k
k
∣
2
)
σ
k
−
1
2
,
σ
0
2
=
ϕ
(
0
)
\begin{aligned} a_{kk}&=-\frac{\phi_{xx}(k)+\sum_{l=1}^{k-1}a_{k-1,l}\phi_{xx}(k-l)}{\sigma_{k-1}^2}\\ a_{ki}&=a_{k-1,i}+a_{kk}a_{k-l,k-i}\\ \sigma_k^2&=(1-|a_{kk}|^2)\sigma_{k-1}^2 ,\sigma_0^2=\phi(0) \\ \end{aligned}
akkakiσk2=−σk−12ϕxx(k)+∑l=1k−1ak−1,lϕxx(k−l)=ak−1,i+akkak−l,k−i=(1−∣akk∣2)σk−12,σ02=ϕ(0)
- AR 模型谱估计的优点
AR 模型是一个有理分式,AR 模型谱比经典法的功率谱光滑。
分辨率高,AR 模型隐含着数据和自相关的外推
x ^ ( n ) = − ∑ k = 1 p a k x ( n − k ) ϕ x x ( m ) = − ∑ k = 1 p a k ϕ x x ( m − k ) , m ≥ 1 \widehat{x}(n)=-\sum_{k=1}^{p}a_kx(n-k) \\ \phi_{xx}(m)=-\sum_{k=1}^{p}a_k\phi_{xx}(m-k), \quad m\geq 1 x (n)=−k=1∑pakx(n−k)ϕxx(m)=−k=1∑pakϕxx(m−k),m≥1
- AR 模型谱估计的缺点
- 分辨率明显受信噪比影响,低信噪比时,分辨率下降明显,对噪声敏感。
- 谱估计的质量受阶次影响,而阶次难以确定。
- 误差
前向预测
x
^
(
n
)
=
f
1
x
(
n
−
1
)
+
f
2
x
(
n
−
2
)
f
1
=
−
a
1
,
f
2
=
−
a
2
e
f
(
n
)
=
x
(
n
)
−
x
^
(
n
)
\widehat{x}(n)=f_1x(n-1)+f_2x(n-2) \quad f_1=-a_1,f_2=-a_2 \\ e_f(n)=x(n)-\widehat{x}(n)
x
(n)=f1x(n−1)+f2x(n−2)f1=−a1,f2=−a2ef(n)=x(n)−x
(n)
后向预测
x
^
(
n
−
2
)
=
b
1
x
(
n
−
1
)
+
b
2
x
(
n
)
e
b
(
n
)
=
x
(
n
−
2
)
−
x
^
(
n
−
2
)
\widehat{x}(n-2)=b_1x(n-1)+b_2x(n) \\ e_b(n)=x(n-2)-\widehat{x}(n-2)
x
(n−2)=b1x(n−1)+b2x(n)eb(n)=x(n−2)−x
(n−2)
故
E
[
e
f
2
(
n
)
]
=
E
[
e
b
2
(
n
)
]
E[e_f^2(n)]=E[e_b^2(n)]
E[ef2(n)]=E[eb2(n)] ,又
x
^
(
n
−
1
)
=
f
⋅
x
(
n
−
1
)
E
[
e
2
(
n
)
]
=
E
[
x
(
n
)
−
f
⋅
x
(
n
−
1
)
]
2
=
ϕ
x
x
(
0
)
+
f
2
ϕ
x
x
(
0
)
−
2
f
⋅
ϕ
x
x
(
1
)
=
0
\widehat{x}(n-1)=f\cdot x(n-1) \\ E[e^2(n)]=E[x(n)-f\cdot x(n-1)]^2=\phi_{xx}(0)+f^2\phi_{xx}(0)-2f\cdot \phi_{xx}(1)=0
x
(n−1)=f⋅x(n−1)E[e2(n)]=E[x(n)−f⋅x(n−1)]2=ϕxx(0)+f2ϕxx(0)−2f⋅ϕxx(1)=0
矩阵形式
[
ϕ
x
x
(
0
)
ϕ
x
x
(
1
)
ϕ
x
x
(
1
)
ϕ
x
x
(
0
)
]
[
1
−
f
]
=
[
E
[
e
2
(
n
)
]
0
]
\left[ \begin{matrix} \phi_{xx}(0) &\phi_{xx}(1) \\ \phi_{xx}(1) &\phi_{xx}(0) \\ \end{matrix} \right] \left[ \begin{matrix} 1 \\ -f \\ \end{matrix} \right]= \left[ \begin{matrix} E[e^2(n)] \\ 0 \\ \end{matrix} \right]
[ϕxx(0)ϕxx(1)ϕxx(1)ϕxx(0)][1−f]=[E[e2(n)]0]
有如下条件
d
E
[
e
2
(
n
)
]
d
f
=
2
f
ϕ
x
x
(
0
)
−
2
ϕ
x
x
(
1
)
=
0
f
=
ϕ
x
x
(
1
)
ϕ
x
x
(
0
)
=
ρ
(
1
)
相
关
系
数
\frac{dE[e^2(n)]}{df}=2f\phi_{xx}(0)-2\phi_{xx}(1)=0 \\ f=\frac{\phi_{xx}(1)}{\phi_{xx}(0)}=\rho(1) \quad 相关系数
dfdE[e2(n)]=2fϕxx(0)−2ϕxx(1)=0f=ϕxx(0)ϕxx(1)=ρ(1)相关系数
5.5 白噪声中正弦波频率的估计及谱估计的其它方法
5.5.1 最大似然法
5.5.2 Capon 最小方差法
假设
w
∗
(
i
)
i
=
1
,
2
,
⋯
,
N
−
1
w^*(i)\quad i=1,2,\cdots,N-1
w∗(i)i=1,2,⋯,N−1 ,为
N
N
N 阶 FIR 滤波器的冲激响应函数,
x
(
n
)
x(n)
x(n) 为一个零均值的平稳随机过程,经过有限冲激响应滤波器的输出
y
(
n
)
y(n)
y(n) 为
y
(
n
)
=
∑
i
=
0
N
−
1
w
∗
(
i
)
x
(
n
+
i
)
=
W
H
X
y(n)=\sum_{i=0}^{N-1}w^*(i)x(n+i)=W^HX
y(n)=i=0∑N−1w∗(i)x(n+i)=WHX
式中
W
=
[
w
(
0
)
,
w
(
1
)
,
⋯
,
w
(
N
−
1
)
]
T
W=[w(0),w(1),\cdots,w(N-1)]^T
W=[w(0),w(1),⋯,w(N−1)]T 为滤波器系数矢量;
X
=
[
x
(
n
)
,
x
(
n
+
1
)
,
⋯
,
x
(
n
+
N
−
1
)
]
T
X=[x(n),x(n+1),\cdots,x(n+N-1)]^T
X=[x(n),x(n+1),⋯,x(n+N−1)]T 为输入信号矢量。
y
(
n
)
y(n)
y(n) 的平均功率(即方差)为
E
[
∣
y
(
n
)
∣
2
]
=
E
[
W
H
X
X
H
W
]
=
W
H
Φ
x
W
E[|y(n)|^2]=E[W^HXX^HW]=W^H\Phi_xW
E[∣y(n)∣2]=E[WHXXHW]=WHΦxW
式中
Φ
x
=
E
[
X
X
H
]
\Phi_x=E[XX^H]
Φx=E[XXH] 为输入信号的自相关矩阵。
复正弦可表示为
x
(
n
)
=
A
e
x
p
(
j
ω
i
n
)
x(n)=Aexp(j\omega_i n)
x(n)=Aexp(jωin)
所以输入信号矢量为
X
=
A
e
x
p
(
j
ω
i
n
)
[
1
,
e
x
p
(
j
ω
i
)
,
⋯
,
e
x
p
(
j
(
N
−
1
)
ω
i
)
]
T
=
x
(
n
)
e
e
=
[
1
,
e
x
p
(
j
ω
i
)
,
⋯
,
e
x
p
(
j
(
N
−
1
)
ω
i
)
]
T
X=Aexp(j\omega_in)[1,exp(j\omega_i),\cdots,exp(j(N-1)\omega_i)]^T=x(n)e\\ e=[1,exp(j\omega_i),\cdots,exp(j(N-1)\omega_i)]^T
X=Aexp(jωin)[1,exp(jωi),⋯,exp(j(N−1)ωi)]T=x(n)ee=[1,exp(jωi),⋯,exp(j(N−1)ωi)]T
所以
y
(
n
)
=
W
H
X
=
x
(
n
)
W
H
e
y(n)=W^HX=x(n)W^He
y(n)=WHX=x(n)WHe 为了使复正弦
ω
i
\omega_i
ωi 完全通过,必须有
∣
W
H
e
∣
=
1
W
H
e
e
H
W
=
I
|W^He|=1 \\ W^Hee^HW=I
∣WHe∣=1WHeeHW=I
由于实际信号总包含有噪声,求滤波器系数矢量,使滤波器输出平均功率
E
[
∣
y
(
n
)
∣
2
]
E[|y(n)|^2]
E[∣y(n)∣2] 最小,这是一个条件极值问题,可以引入 Lagrange 乘子构成代价函数
J
J
J
J
=
W
H
Φ
x
W
−
λ
(
W
H
e
e
H
W
−
1
)
J=W^H\Phi_{x}W-\lambda(W^Hee^HW-1)
J=WHΦxW−λ(WHeeHW−1)
令
∂
J
∂
W
=
0
\frac{\partial J}{\partial W}=0
∂W∂J=0 可得
W
H
Φ
x
=
λ
W
H
e
e
H
W^H\Phi_x=\lambda W^Hee^H
WHΦx=λWHeeH
两边同时取复共轭转置,而且注意到
Φ
x
H
=
Φ
x
\Phi_x^H=\Phi_x
ΦxH=Φx
Φ
x
W
=
λ
e
e
H
W
\Phi_xW=\lambda ee^HW
ΦxW=λeeHW
又因为
e
H
W
e^HW
eHW 是一个模为 1 的复数,可以表示为
e
H
W
=
e
x
p
(
j
φ
)
W
=
λ
e
x
p
(
j
φ
)
Φ
x
−
1
e
e^HW=exp(j\varphi)\\ W=\lambda exp(j\varphi)\Phi_x^{-1}e
eHW=exp(jφ)W=λexp(jφ)Φx−1e
两边同时右乘
W
W
W 得
W
H
Φ
W
=
λ
W
H
e
e
H
W
=
λ
W^H\Phi W=\lambda W^Hee^HW=\lambda
WHΦW=λWHeeHW=λ 变换得
λ
=
1
e
H
Φ
x
−
1
e
W
=
e
x
p
(
j
ω
)
Φ
x
−
1
e
e
H
Φ
x
−
1
e
\lambda=\frac{1}{e^H\Phi_x^{-1}e}\\ W=\frac{exp(j\omega)\Phi_x^{-1}e}{e^H\Phi_x^{-1}e}
λ=eHΦx−1e1W=eHΦx−1eexp(jω)Φx−1e
因为
e
x
p
(
j
φ
)
exp(j\varphi)
exp(jφ) 只产生相移,并不影响功率谱得估计,所以可以略去
W
=
Φ
x
−
1
e
e
H
Φ
x
−
1
e
W=\frac{\Phi_x^{-1}e}{e^H\Phi_x^{-1}e}
W=eHΦx−1eΦx−1e
此时输出功率最小,输出平均功率为
E
[
∣
y
(
n
)
∣
2
]
m
i
n
=
W
H
Φ
W
=
1
e
H
Φ
x
−
1
e
E[|y(n)|^2]_{min}=W^H\Phi W=\frac{1}{e^H\Phi_x^{-1}e}
E[∣y(n)∣2]min=WHΦW=eHΦx−1e1
因此 Capon 方法的功率谱估计表达式为
P
^
C
a
p
o
n
(
ω
i
)
=
1
e
H
Φ
^
x
−
1
e
\widehat{P}_{Capon}(\omega_i)=\frac{1}{e^H\widehat{\Phi}_x^{-1}e}
P
Capon(ωi)=eHΦ
x−1e1
式中
Φ
^
x
−
1
\widehat{\Phi}_x^{-1}
Φ
x−1 为自相关矩阵
Φ
x
\Phi_x
Φx 的估计。
用最优滤波器
w
o
p
t
w_{opt}
wopt 的输出功率
E
[
∣
y
(
n
)
∣
2
]
E[|y(n)|^2]
E[∣y(n)∣2] 作为
x
(
n
)
x(n)
x(n) 在
ω
0
\omega_0
ω0 处的功率谱密度
P
x
x
(
ω
0
)
P_{xx}(\omega_0)
Pxx(ω0) 的估计,对于任意的
ω
\omega
ω 有
P
^
C
a
p
o
n
(
ω
i
)
=
1
e
H
Φ
^
x
−
1
e
\widehat{P}_{Capon}(\omega_i)=\frac{1}{e^H\widehat{\Phi}_x^{-1}e}
P
Capon(ωi)=eHΦ
x−1e1
P C a p o n ( ω ) = ∑ m = 0 p 1 P A R ( m ) ( ω ) m 阶 次 调 和 平 均 P_{Capon}(\omega)=\sum_{m=0}^{p}\frac{1}{P_{AR}^{(m)}(\omega)} \quad m阶次 \quad 调和平均 PCapon(ω)=m=0∑pPAR(m)(ω)1m阶次调和平均
Capon 最小方差谱估计的分辨率低于同阶次的 AR 模型谱估计。