_3 都是有限的，则在频域 formula_4 存在一个单调函数 formula_5 使得其中该积分为黎曼－斯蒂尔杰斯积分。 这是自相关函数的一种谱分解。F 称为功率谱分布函数，是一个统计分布函数。它有时称作积分谱。（星号表示复共轭，当随机过程是实过程时可以将其省去。）注意到 formula_7 的傅里叶变换不总是存在，因为平稳随机过程不总是平方可积或绝对可积。也不会假定 formula_8 是绝对可积的，所以也不需要有傅里叶变换。但若 formula_5 是绝对连续的，例如当为纯粹不确定过