这就是针对平稳随机过程的帕塞伐尔定理给出的结论。
即随机过程时间域的方差等于频率域功率谱密度函数的
无穷积分。其证明可参考平稳随机过程相关资料。