考虑宽平稳随机过程 X(t) 的 Fourier 展开
X(t)=2π1k=−∞∑+∞(∫−T/2T/2X(s)exp{−jωks}ds)exp{jωkt}⋅T2π
其中根据 Fourier 展开的要求,T→∞,但问题出现:
∫−∞+∞∣X(t)∣dt<∞
未必成立,即 Fourier 展开不一定存在。这宣告用 Fourier 展开对宽平稳随机过程进行谱分析的思路失败(这不意味着非宽平稳随机过程也不可以)。
功率谱密度函数的获得
为了避开如上所述的问题, Wiener 和 Khinchine 把将问题改为计算
SX(ω)=T→∞limT1E∫−T/2T/2X(t)exp{−jωt}dt2
计算过程如下
=======T1E(∫−T/2T/2X(t)exp{−jωt}dt)(∫−T/2T/2X(s)exp{−jωs}ds)T1∫−T/2T/2∫−T/2T/2E(X(t)X(s))exp{−jω(t−s)}dtdsT1∬RX(u)exp{−jωu}21dudvT1(∫−T0∫−u−Tu+T+∫0T∫u−T−u+T)RX(u)exp{−jωu}21dvduT1∫−TT∫∣u∣−T−∣u∣+TRX(u)exp{−jωu}21dvduT1∫−TT(T−∣u∣)RX(u)exp{−jωu}du∫−TT(1−T∣u∣)RX(u)exp{−jωu}du∫−∞+∞RX(u)exp{−jωu}du (T→∞)
虽然我们不能找到随机过程的 Fourier 变换,但最后结果暗示找到了随机过程的相关函数的 Fourier 变换,即前文定义的新函数 SX(ω)
SX(ω)=∫−∞+∞RX(τ)exp{−jωτ}dτRX(τ)=2π1∫−∞+∞SX(ω)exp{−jωτ}dω(1)
称 SX(ω) 为功率谱密度。Bochner 定理是指:一个函数是正定函数,当且仅当它的 Fourier 变换对子恒为正数。从功率谱密度函数不难看出其恒正,那么相关函数是正定函数。
任意一个宽平稳随机过程的功率谱密度是其相关函数的 Fourier 变换。
性质
性质 1
从 (1) 可知
∫−∞+∞SX(ω)dω=2πRX(0)=2πE(X2(t))
性质 2
考察功率谱密度函数是否具有线性性。假设假设 α∈R
SαX(ω)=∫−∞+∞RαX(τ)exp{−jωτ}dτ=∫−∞+∞RαX(αX(t),αX(s))exp{−jωτ}dτ=∫−∞+∞E(αX(t),αX(s))exp{−jωτ}dτ=∫−∞+∞∣α∣2E(X(t),X(s))exp{−jωτ}dτ=∫−∞+∞∣α∣2RX(τ)exp{−jωτ}dτ=∣α∣2SX(ω)
结果不满足 SαX(ω)=αSX(ω),所以功率谱密度没有线性性。
性质 3
对功率谱密度的 Fourier 变换表达式使用欧拉公式
SX(ω)=∫−∞+∞RX(τ)cos(−ωτ)dτ+j∫−∞+∞RX(τ)sin(−ωτ)dτ=∫−∞+∞RX(τ)cos(ωτ)dτ+0=SX(−ω)
可见功率谱密度函数是偶函数。并且在该推导基础上,相关函数的 Fourier 变换表达式简化为
RX(τ)=2π1∫−∞+∞SX(ω)cos(ωτ)dω