1)S(ω)为实值非负函数，即 S(o)=S(o)≥0. 2)又若{X(t),t∈R是实过程，则S(ω)是偶 函数. 证 1)so)=im,EF(o,T1=S(a)≥0： T→02T 2)实平稳过程的相关函数是偶函数，由（⑤） 式可得 S(@)=["R(r)e-l'dr =[R(-7)e-iodr 电子科技大学电子科技大学 1) S(ω)为实值非负函数，即 S()  S()  0. 2)又若{X(t), t∈R}是实过程, 则S(ω)是偶 函数. [ ( , ) ] ( ) 0; 2 1 1) ( ) lim 2      E F  T S  T S T 证 2) 实平稳过程的相关函数是偶函数, 由(5) 式可得                  S R e d R e d j j ( ) ( ) ( )