随机过程的时域分析
文章目录
1. 一般随机过程的相关函数的性质
我们在前面介绍过相关函数的性质。因为相关函数是从内积引出来的,因此,相关函数的性质实际上是来源于内积
( 1 ) R Z ( t , s ) = R Z ( s . t ) ( 2 ) ∣ R Z ( t , s ) ∣ ≤ ( R z ( t , t ) R z ( s , s ) ) 1 2 (1) \quad R_Z(t,s) = R_Z(s.t) \\ (2)\quad |R_Z(t,s)| \leq (R_z(t,t) R_z(s,s))^{\frac{1}{2}} (1)RZ(t,s)=RZ(s.t)(2)∣RZ(t,s)∣≤(Rz(t,t)Rz(s,s))21
2. 宽平稳随机过程的性质
相关函数的性质可以在宽平稳随机过程中得到推广,并且还具有其他的新性质
2.1 偶函数
宽平稳随机过程的相关函数是个偶函数
R Z ( t , s ) = R Z ( t − s ) R Z ( t , s ) = R Z ( s − t ) R Z ( t , s ) = R Z ( t , s ) ⇒ R Z ( t − s ) = R Z ( s − t ) ⇒ R Z ( τ ) = R Z ( − τ ) R_Z(t,s) = R_Z(t-s) \\ R_Z(t,s)= R_Z(s-t) \\ R_Z(t,s) = R_Z(t,s) \Rightarrow R_Z(t-s) = R_Z(s-t) \\ \Rightarrow R_Z(\tau) = R_Z(-\tau) RZ(t,s)=RZ(t−s)RZ(t,s)=RZ(s−t)RZ(t,s)=RZ(t,s)⇒RZ(t−s)=RZ(s−t)⇒RZ(τ)=RZ(−τ)
2.2 零点取得最大值
∣ R Z ( t , s ) ∣ ≤ ( R Z ( t , t ) R Z ( s , s ) ) 1 2 ⇒ ∣ R Z ( t − s ) ∣ ≤ R Z ( 0 ) |R_Z(t,s)| \leq (R_Z(t,t) R_Z(s,s))^{\frac{1}{2}} \\ \Rightarrow |R_Z(t-s)| \leq R_Z(0) ∣RZ(t,s)∣≤(RZ(t,t)RZ(s,s))21⇒∣RZ(t−s)∣≤RZ(0)
在宽平稳随机过程中,柯西不等式会变成0。也就是相关函数在0点处达到最大值。
这种性质在电子信息领域经常会遇到,很多信号对齐了以后的相关是针形的,而如果信号没有对齐,就是空的。我们常常会用这种方法进行信号的提取
2.3 正定性
2.3.1 正定性的定义
相关函数具有正定性。这是个非常重要的性质
首先给正定性下一个定义
Positive Definite \text{Positive Definite} Positive Definite
f ( x ) is P.d. ⇔ ∀ n , ∀ x 1 , x 2 , . . . , x n ( f ( x i − x j ) ) i j ≥ 0 f(x) \text{is P.d.} \Leftrightarrow \forall n ,\forall x_1,x_2,...,x_n \quad (f(x_i - x_j))_{ij} \geq 0 f(x)is P.d.⇔∀n,∀x1,x2,...,xn(f(xi−xj))ij≥0
如果函数是正定的,那么任取函数中n个变量,让下标i和下标j的差对应的函数值对应的排列成一个矩阵,这个矩阵一定是正定的。
矩阵正定有很多种等价形式,其中一种就是二次型大于0。不过教科书中通常管大于等于0叫做非负定。我们这里就叫做正定了
A ∈ R n ∗ m ≥ 0 ⇔ ∀ α ∈ R n α T A α ≥ 0 A \in R^{n*m} \geq 0 \Leftrightarrow \forall \alpha \in R^n \quad \alpha^T A \alpha \geq 0 A∈Rn∗m≥0⇔∀α∈RnαTAα≥0
2.3.2 从正定性引入相关函数的性质
我们从函数的正定性出发,看看能够得到相关的什么性质
首先证明正定能够得到相关函数是非负的
R Z ( τ ) is P.d. ⇒ R Z ( 0 ) ≥ 0 R_Z(\tau) \text{ is P.d.} \Rightarrow R_Z(0) \geq 0 RZ(τ) is P.d.⇒RZ(0)≥0
证明
我们就取1个数作为序列。则这个序列差构成的矩阵是正定的
n = 1 ∀ x ⇒ R Z ( x 1 − x 1 ) = R Z ( 0 ) ≥ 0 n = 1 \\ \forall x \Rightarrow R_Z(x_1 - x_1) = R_Z(0) \geq 0 n=1∀x⇒RZ(x1−x1)=RZ(0)≥0
然后,能够证明,相关函数在零点处取得最大值
R Z ( τ ) is P.d. ⇒ R Z ( 0 ) ≥ ∣ R Z ( τ ) ∣ R_Z(\tau) \text{ is P.d.} \Rightarrow R_Z(0) \geq |R_Z(\tau)| RZ(τ) is P.d.⇒RZ(0)≥∣RZ(τ)∣
n = 2 , x 1 = 0 , x 2 = τ ∀ x ⇒ ( R Z ( x 1 − x 1 ) R Z ( x 1 − x 2 ) R Z ( x 2 − x 1 ) R Z ( x 2 − x 2 ) ) ⇒ ( R Z ( 0 ) R Z ( − τ ) R Z ( τ ) R Z ( 0 ) ) ≥ 0 n = 2, \quad x_1 = 0, \quad x_2 = \tau \\ \forall x \Rightarrow \begin{pmatrix} R_Z(x_1 - x_1)& R_Z(x_1 - x_2) \\ R_Z(x_2 - x_1) & R_Z(x_2 - x_2) \end{pmatrix} \\ \Rightarrow \begin{pmatrix} R_Z(0)& R_Z(-\tau) \\ R_Z(\tau) & R_Z(0) \end{pmatrix} \geq 0 n=2,x1=0,x2=τ∀x⇒(RZ(x1−x1)RZ(x2−x1)RZ(x1−x2)RZ(x2−x2))⇒(RZ(0)RZ(τ)RZ(−τ)RZ(0))≥0
由于矩阵是正定的,必然是对称的
R Z ( − τ ) = R Z ( τ ) R_Z(-\tau) = R_Z(\tau) RZ(−τ)=RZ(τ)
进而能够得到柯西不等式
R Z ( 0 ) 2 − R Z ( τ ) 2 ≥ 0 ⇒ R Z ( 0 ) ≥ ∣ R Z ( τ ) ∣ R_Z(0)^2 - R_Z(\tau)^2 \geq 0 \Rightarrow R_Z(0) \geq |R_Z(\tau)| RZ(0)2−RZ(τ)2≥0⇒RZ(0)≥∣RZ(τ)∣
2.3.3 相关函数正定性的证明
下面,我们来证明相关函数的正定性
已知
∀
n
,
∀
τ
1
,
.
.
.
,
τ
n
\forall n, \forall \tau_1,...,\tau_n
∀n,∀τ1,...,τn
证明
R = ( R Z ( τ i − τ j ) ) i j ≥ 0 R=(R_Z(\tau_i - \tau_j))_{ij} \geq 0 R=(RZ(τi−τj))ij≥0
我们用二次型来证明
∀
α
∈
R
n
α
=
(
α
1
,
.
.
.
,
α
n
)
T
\forall \alpha \in R^n \quad \alpha = (\alpha_1,...,\alpha_n)^T
∀α∈Rnα=(α1,...,αn)T
α
T
R
α
=
∑
i
=
1
n
∑
j
=
1
n
R
Z
(
τ
i
−
τ
j
)
α
i
α
j
=
∑
i
=
1
n
∑
j
=
1
n
E
(
Z
(
τ
i
)
Z
(
τ
j
)
)
α
i
α
j
=
E
(
∑
i
=
1
n
∑
j
=
1
n
Z
(
τ
i
)
Z
(
τ
j
)
α
i
α
j
)
=
E
(
(
∑
i
=
1
n
Z
(
τ
i
)
α
i
)
2
)
≥
0
\alpha^T R \alpha = \sum_{i=1}^n \sum_{j=1}^n R_Z(\tau_i - \tau_j) \alpha_i \alpha_j \\ = \sum_{i=1}^n \sum_{j=1}^n E(Z(\tau_i) Z(\tau_j)) \alpha_i \alpha_j \\ = E(\sum_{i=1}^n \sum_{j=1}^n Z(\tau_i) Z(\tau_j) \alpha_i \alpha_j) \\ = E((\sum_{i=1}^nZ(\tau_i)\alpha_i)^2) \geq 0
αTRα=i=1∑nj=1∑nRZ(τi−τj)αiαj=i=1∑nj=1∑nE(Z(τi)Z(τj))αiαj=E(i=1∑nj=1∑nZ(τi)Z(τj)αiαj)=E((i=1∑nZ(τi)αi)2)≥0
我们也可以用矩阵的形式来进行证明
假设一组数据Z
Z = ( Z 1 , . . . Z n ) T Z = (Z_1,...Z_n)^T Z=(Z1,...Zn)T
则,相关矩阵可以表示为
R = E ( Z Z T ) R = E(ZZ^T) R=E(ZZT)
二次型可以表示为
α T R α = α T E ( Z Z T ) α = E ( α T Z Z T α ) = E ( ( α T Z ) 2 ) ≥ 0 \alpha^T R \alpha = \alpha^T E(ZZ^T) \alpha = E(\alpha^T ZZ^T \alpha) = E((\alpha^T Z)^2) \geq 0 αTRα=αTE(ZZT)α=E(αTZZTα)=E((αTZ)2)≥0
正定性是相关矩阵的特征性质,是充分必要的。
相关函数一定正定,正定矩阵,一定能够找到一个随机过程,这个正定矩阵就是它的相关函数
2.4 均方周期性
接下来的两个性质,都是从局部推导到全局性质。
因为,相关函数在零点处取得最大。如果相关函数中,有一个值,与零点处的相关函数是一样的,那么这个相关函数必然是震荡的,有周期性的
Mean Square Periodic R Z ( 0 ) = R Z ( T ) ⇒ R Z ( τ ) = R Z ( τ + T ) \text{Mean Square Periodic} R_Z(0) = R_Z(T) \Rightarrow R_Z(\tau) = R_Z(\tau+T) Mean Square PeriodicRZ(0)=RZ(T)⇒RZ(τ)=RZ(τ+T)
我们来证明一下这件事情。
我们需要引入一个中间量–均方周期
E ∣ Z ( τ + T ) − Z ( τ ) ∣ 2 E|Z(\tau+T) - Z(\tau)|^2 E∣Z(τ+T)−Z(τ)∣2
算一下这个式子
E
∣
Z
(
τ
+
T
)
−
Z
(
τ
)
∣
2
=
E
(
Z
(
τ
+
T
)
Z
(
τ
+
T
)
−
2
Z
(
τ
+
T
)
Z
(
τ
)
+
Z
(
τ
)
Z
(
τ
)
)
=
2
(
R
Z
(
0
)
−
R
Z
(
T
)
)
E|Z(\tau+T) - Z(\tau)|^2 = E(Z(\tau+T)Z(\tau+T) -2 Z(\tau+T) Z(\tau) + Z(\tau) Z(\tau)) \\ = 2(R_Z(0) - R_Z(T))
E∣Z(τ+T)−Z(τ)∣2=E(Z(τ+T)Z(τ+T)−2Z(τ+T)Z(τ)+Z(τ)Z(τ))=2(RZ(0)−RZ(T))
已知
R Z ( 0 ) = R Z ( T ) R_Z(0) = R_Z(T) RZ(0)=RZ(T)
可得
E ∣ Z ( τ + T ) − Z ( τ ) ∣ 2 = 2 ( R Z ( 0 ) − R Z ( T ) ) = 0 E|Z(\tau+T) - Z(\tau)|^2 = 2(R_Z(0) - R_Z(T)) =0 E∣Z(τ+T)−Z(τ)∣2=2(RZ(0)−RZ(T))=0
∣ R Z ( τ ) − R Z ( τ + T ) ∣ = ∣ E ( Z ( 0 ) Z ( τ ) ) − E ( Z ( 0 ) Z ( τ + T ) ) ∣ = ∣ E ( Z ( 0 ) ( Z ( τ ) − Z ( τ + T ) ) ∣ ≤ E ( Z ( 0 ) 2 ) E ( ∣ Z ( τ ) − Z ( τ + T ) ∣ 2 ) 1 2 = 0 |R_Z(\tau) - R_Z(\tau+T)| = |E(Z(0)Z(\tau)) - E(Z(0) Z(\tau+T))| \\ = |E(Z(0)(Z(\tau)- Z(\tau +T))| \leq E(Z(0)^2) E(|Z(\tau)-Z(\tau+T)|^2)^{\frac{1}{2}} = 0 ∣RZ(τ)−RZ(τ+T)∣=∣E(Z(0)Z(τ))−E(Z(0)Z(τ+T))∣=∣E(Z(0)(Z(τ)−Z(τ+T))∣≤E(Z(0)2)E(∣Z(τ)−Z(τ+T)∣2)21=0
R Z ( τ ) − R Z ( τ + T ) = 0 ⇒ R Z ( τ ) = R Z ( τ + T ) R_Z(\tau) - R_Z(\tau+T) = 0 \Rightarrow R_Z(\tau) = R_Z(\tau+T) RZ(τ)−RZ(τ+T)=0⇒RZ(τ)=RZ(τ+T)
2.5 均方连续性
在这里,我们首先提出一个问题,矩形窗函数,能够作为某个宽平稳随机过程的相关函数吗?
2.5.1 性质描述
下面是第二个从局部可以推导出全局特性的性质。
假如相关函数在零点处连续,必然有相关函数在全局是连续的
R Z ( τ ) is Continuous at 0 ⇒ R Z ( τ ) is continuous at ∀ τ R_Z(\tau) \text{ is Continuous at 0} \Rightarrow R_Z(\tau) \text{ is continuous at } \forall \tau RZ(τ) is Continuous at 0⇒RZ(τ) is continuous at ∀τ
2.5.2 连续性与极限
(1) 随机过程极限的定义
然后,我们需要介绍一下,什么是连续。
先从确定性变量的连续性开始说起。
如果我们说一个函数在x0连续,必然有
l i m x → x 0 f ( x ) = f ( x 0 ) lim_{x \rightarrow x_0} f(x) = f(x_0) limx→x0f(x)=f(x0)
如果想要证明这个结论,我们需要引入均方连续进行证明
Mean Square Continuous \text{Mean Square Continuous} Mean Square Continuous
l i m Δ → 0 E ∣ Z ( τ + Δ ) − Z ( τ ) ∣ 2 = 0 lim_{\Delta \rightarrow 0} E|Z(\tau + \Delta)- Z(\tau)|^2 = 0 limΔ→0E∣Z(τ+Δ)−Z(τ)∣2=0
因此,现在我们问题变成了求极限
首先对极限进行定义
∀ ϵ > 0 , ∃ δ > 0 s . t . ∀ Δ ⊂ δ ∣ f ( x + Δ ) − f ( x ) ∣ ≤ ϵ ⇒ l i m Δ → 0 f ( x + Δ ) = f ( x ) \forall \epsilon >0, \exist \delta >0 \quad s.t. \forall \Delta \subset \delta \\ |f(x+\Delta) - f(x) | \leq \epsilon \\ \Rightarrow lim_{\Delta \rightarrow 0} f(x +\Delta) = f(x) ∀ϵ>0,∃δ>0s.t.∀Δ⊂δ∣f(x+Δ)−f(x)∣≤ϵ⇒limΔ→0f(x+Δ)=f(x)
在极限的定义中,最重要的参数是距离,这里使用的是欧式距离。如果是曲面,我们使用的是黎曼度量。
而如果变量有随机性的话,我们使用的距离就不能使用欧式距离了,要用均方距离进行替代。两个随机变量之间的距离,一定是均方距离
我们来定义一下随机变量的距离
Mean Square Distance d ( Z , Y ) = ( E [ ( Z − Y ) 2 ] ) 1 2 \text{Mean Square Distance} \\ d(Z,Y) = (E[(Z-Y)^2])^{\frac{1}{2}} Mean Square Distanced(Z,Y)=(E[(Z−Y)2])21
然后定义一下随机变量的极限
Z n ( r . v . ) n → ∞ → Z ( r . v . ) Z_n(r.v.) \underrightarrow{n \rightarrow \infty} Z(r.v.) Zn(r.v.)n→∞Z(r.v.)
∀ ϵ > 0 ∃ N > 0 s . t . n > N E ( ( Z n − Z ) 2 ) 1 2 ≤ ϵ \forall \epsilon >0 \quad \exists N>0 \\ s.t. \quad n>N \\ E((Z_n - Z)^2)^{\frac{1}{2}} \leq \epsilon ∀ϵ>0∃N>0s.t.n>NE((Zn−Z)2)21≤ϵ
(2) 距离的定义
下面说一下,什么是距离。距离是极限的灵魂,不同的极限使用不同的距离,也就有了不同的微积分。距离应该满足如下三个条件
- 非负性
- 对称性
- 满足三角不等式
我们下面验证一下,均方距离是否满足这三条要素
首先均方距离是平方的均值,必定是非负的
同时,因为里面做了平方,必然满足对称性
因此,最重要的是要证明均方距离是否满足三角不等式,这里证明一下两边之差小于第三边
∣ E ( Z 1 2 ) 1 2 − E ( Z 2 2 ) 1 2 ∣ ≤ ∣ E ( Z 1 − Z 2 ) 2 ∣ 1 2 |E(Z_1^2)^{\frac{1}{2}}-E(Z_2^2)^{\frac{1}{2}}| \leq | E(Z_1-Z_2)^2 |^{\frac{1}{2}} ∣E(Z12)21−E(Z22)21∣≤∣E(Z1−Z2)2∣21
把左边和右边平方
E ( Z 1 2 ) + E ( Z 2 2 ) − 2 E ( Z 1 2 ) 1 2 E ( Z 2 2 ) 1 2 ≤ ∣ E ( Z 1 − Z 2 ) 2 ∣ = E ( Z 1 2 ) + E ( Z 2 2 ) − 2 E ( Z 1 Z 2 ) E(Z_1^2) + E(Z_2^2) - 2E(Z_1^2)^{\frac{1}{2}}E(Z_2^2)^{\frac{1}{2}} \leq | E(Z_1-Z_2)^2 |=E(Z_1^2) +E(Z_2^2) - 2E(Z_1 Z_2) E(Z12)+E(Z22)−2E(Z12)21E(Z22)21≤∣E(Z1−Z2)2∣=E(Z12)+E(Z22)−2E(Z1Z2)
即证明
E ( Z 1 2 ) 1 2 E ( Z 2 2 ) 1 2 ≥ E ( Z 1 Z 2 ) E(Z_1^2)^{\frac{1}{2}}E(Z_2^2)^{\frac{1}{2}} \geq E(Z_1 Z_2) E(Z12)21E(Z22)21≥E(Z1Z2)
这就是柯西不等式。因此三角不等式成立。所以,均方距离可以作为距离看待。
2.5.3 均方连续证明
E ∣ Z ( τ + Δ ) − Z ( τ ) ∣ 2 = 2 ( R Z ( 0 ) − R Z ( Δ ) ) E|Z(\tau + \Delta)- Z(\tau)|^2 = 2(R_Z(0) - R_Z(\Delta)) E∣Z(τ+Δ)−Z(τ)∣2=2(RZ(0)−RZ(Δ))
由于相关函数在零点连续
l i m Δ → 0 R Z ( Δ ) = R Z ( 0 ) ⇒ l i m Δ → 0 E ∣ Z ( τ + Δ ) − Z ( τ ) ∣ 2 = 0 lim_{\Delta \rightarrow 0} R_Z(\Delta) = R_Z(0) \Rightarrow lim_{\Delta \rightarrow 0} E|Z(\tau + \Delta)- Z(\tau)|^2 = 0 limΔ→0RZ(Δ)=RZ(0)⇒limΔ→0E∣Z(τ+Δ)−Z(τ)∣2=0
∣ R Z ( τ + Δ ) − R ( τ ) ∣ = ∣ E ( Z ( τ + Δ ) Z ( 0 ) ) − E ( Z ( τ ) Z ( 0 ) ) ∣ = ∣ E ( ( Z ( τ + Δ ) − Z ( τ ) ) Z ( 0 ) ) ∣ ≤ [ E ( Z ( τ + Δ ) − Z ( τ ) ) 2 E ( Z ( 0 ) 2 ) ] 1 2 |R_Z(\tau + \Delta) - R(\tau)| = |E(Z(\tau +\Delta)Z(0)) - E(Z(\tau )Z(0)) | \\ = |E((Z(\tau +\Delta) - Z(\tau))Z(0))| \leq [E(Z(\tau +\Delta) - Z(\tau))^2 E(Z(0)^2)]^{\frac{1}{2}} ∣RZ(τ+Δ)−R(τ)∣=∣E(Z(τ+Δ)Z(0))−E(Z(τ)Z(0))∣=∣E((Z(τ+Δ)−Z(τ))Z(0))∣≤[E(Z(τ+Δ)−Z(τ))2E(Z(0)2)]21
因此
l i m Δ → 0 ∣ R Z ( τ + Δ ) − R ( τ ) ∣ = l i m Δ → 0 [ E ( Z ( τ + Δ ) − Z ( τ ) ) 2 E ( Z ( 0 ) 2 ) ] 1 2 = 0 lim_{\Delta \rightarrow 0} |R_Z(\tau + \Delta) - R(\tau)| = lim_{\Delta \rightarrow 0}[E(Z(\tau +\Delta) - Z(\tau))^2 E(Z(0)^2)]^{\frac{1}{2}} = 0 limΔ→0∣RZ(τ+Δ)−R(τ)∣=limΔ→0[E(Z(τ+Δ)−Z(τ))2E(Z(0)2)]21=0
因此,我们得到了,如果相关函数连续,则相关函数在任意点处均连续
2.5.4 小结
不管是均方周期性还是均方连续性,都是一个点处的性质,但是有了宽平稳,就能够把这个性质推移到任意点去。因此,零点就是一个代表
然后,这里回答一下一开始的问题,矩形窗函数不可以写成一个宽平稳随机过程的相关函数
Rectangle Window \text{Rectangle Window} Rectangle Window
答案是不可以。因为矩形窗函数在零点处是连续的,但是在矩形的两个边缘处有两个阶跃函数,是不连续的,不满足均方连续的性质。因此,矩阵窗不可以写成某个宽平稳随机过程相关函数的性质
3. 函数的正定性与傅里叶变换
相关函数的性质有两个来源,从随机过程的角度,来源于宽平稳。从函数的角度,来源于正定
3.1 性质
函数正定性的定义是不太实用了,我们希望能够找到一种更加直接的方法,去判断一个函数是否具有正定性
这里有个非常重要的结论
Bochner \text{Bochner} Bochner
这个结论说:如果一个函数是正定的,当且仅当这个函数的傅里叶变换是正的
f ( x ) P.d. ⇒ F ( ω ) = ∫ − ∞ + ∞ f ( x ) e x p ( − j ω x ) d x f(x) \text{ P.d.} \Rightarrow F(\omega) = \int_{- \infty}^{+\infty} f(x) exp(-j \omega x) dx f(x) P.d.⇒F(ω)=∫−∞+∞f(x)exp(−jωx)dx
3.2 证明
g ( x ) = e x p ( j ω x ) g(x) = exp(j \omega x) g(x)=exp(jωx)
我们首先证明g(x)是正定的,我们使用定义进行
∀ n , x 1 , . . . , x n B = ( e x p ( j ω ( x i − x j ) ) i j α = ( α 1 , . . . , α n ) T \forall n , x_1,...,x_n \\ B = (exp(j\omega(x_i - x_j))_{ij} \\ \alpha = (\alpha_1,...,\alpha_n)^T ∀n,x1,...,xnB=(exp(jω(xi−xj))ijα=(α1,...,αn)T
使用二次型证明
α H B α = ∑ i = 1 n ∑ j = 1 n e x p ( j ω ( x i − x j ) ) α i ˉ α j = ∑ i = 1 n ∑ j = 1 n α i ˉ e x p ( j ω i ) α j e x p ( − j ω j ) = ( ∑ i = 1 n α i ˉ e x p ( j ω i ) ) 2 ≥ 0 \alpha^H B \alpha = \sum_{i=1}^{n} \sum_{j=1}^n exp(j\omega(x_i-x_j)) \bar{ \alpha_i} \alpha_j \\ = \sum_{i=1}^{n} \sum_{j=1}^n \bar{\alpha_i} exp(j\omega_i) \alpha_j exp(-j\omega_j) \\ = (\sum_{i=1}^{n} \bar{\alpha_i} exp(j\omega_i))^2 \geq 0 αHBα=i=1∑nj=1∑nexp(jω(xi−xj))αiˉαj=i=1∑nj=1∑nαiˉexp(jωi)αjexp(−jωj)=(i=1∑nαiˉexp(jωi))2≥0
因此g(x)一定正定
我们有这样的结论
如果函数h(x)正定,那么乘以一个正的系数得到的函数也一定是正定的
h ( ω , x ) is P.d. ∑ k = 1 n a k h ( ω k , x ) is P.d. a k > 0 h(\omega,x) \text{ is P.d.} \\ \sum_{k=1}^n a_k h(\omega_k ,x) \text{ is P.d.} \quad a_k >0 \\ h(ω,x) is P.d.k=1∑nakh(ωk,x) is P.d.ak>0
累加和可以看做是积分
∫ − ∞ + ∞ a k h ( ω k , x ) is P.d. \int_{-\infty}^{+\infty} a_k h(\omega_k ,x) \text{ is P.d.} ∫−∞+∞akh(ωk,x) is P.d.
我们来看我们的f(x)
f ( x ) = 1 2 π ∫ − ∞ + ∞ F ( ω ) e x p ( j ω x ) d ω f(x) = \frac{1}{2 \pi}\int_{-\infty}^{+\infty} F(\omega) exp(j\omega x)d\omega f(x)=2π1∫−∞+∞F(ω)exp(jωx)dω
因为exp(jωx)是正定的,傅里叶变换F(ω)是正的,因此函数f(x)一定是正定的
3.3 应用
3.3.1 矩形窗
我们希望通过这个性质来分析很多函数。
首先,我们接着来考虑矩形窗是否能够写成宽平稳随机过程的相关函数的形式
因为,如果能够写成,宽平稳随机过程相关函数必定是正定的,因此,矩形窗的傅里叶变换应该是正的,但是,矩形窗的傅里叶变换是Sa函数,并不是完全大于0的
S a ( x ) = s i n ( x ) x Sa(x) = \frac{sin(x)}{x} Sa(x)=xsin(x)
因此,矩形窗一定不能写成相关函数
3.3.2 三角窗
三角窗可以吗?因为三角窗是两个矩形窗卷积得到的,时域的卷积就是频域的乘积。因此三角窗的频谱就是矩形窗的频谱的平方Sa2(x)
因此,三角窗的傅里叶变换一定是正的,满足函数正定性的条件,因此,能够写成相关函数的形式
3.3.3 幅度相位调制
上节课计算的幅度相位调制信号是宽平稳的
c o s ( 2 π f τ ) cos(2\pi f \tau) cos(2πfτ)
余弦函数的频域就是正负轴的两个冲激函数,一定是大于0的。