_1 是一个宽平稳过程，以致其由统计期望值 E 定义的自相关函数（有时称作自协方差）formula_2存在，并对所有延迟 formula_3 都是有限的，则在频域 formula_4 存在一个单调函数 formula_5 使得其中该积分为黎曼－斯蒂尔杰斯积分。 这是自相关函数的一种谱分解。F 称为功率谱分布函数，是一个统计分布函数。它有时称作积分谱。（星号表示复共轭，当随机过程是实过程时可以将其省去。）注意到 formula_7 的傅里叶变换不总是存在，因为平稳随机过程不总是平方可积或绝对可