在描述平稳过程的自相关函数的性质时，有两个最重要的性质公式，它们分别是：
自相关函数与时间延迟的关系：
在平稳过程中，自相关函数只依赖于时间延迟（lag）的差值，而不依赖于具体的时间点。这被称为平稳过程的时间平移不变性。数学上，这可以表示为：
R(t1, t2) = R(t1+h, t2+h)，其中 R(t1, t2) 是时间延迟为 t2-t1 的自相关函数值，h 是任意常数。
自相关函数与时间延迟的非负性：
自相关函数是一个非负函数，即对于任何时间延迟，自相关函数的取值都大于等于零。这意味着平稳过程的任何两个时间点之间的相关性都是非负的。
这两个性质公式是描述平稳过程的自相关函数的基本特征，它们在统计分析和预测平稳过程中起着重要的作用。通过这些性质，我们可以推导出其他与自相关函数相关的性质和定理，如维纳-辛钦定理（Wiener-Khinchin theorem）等。
需要注意的是，这些性质公式适用于平稳过程，并且对于非平稳过程，这些性质可能不成立。因此，在研究和分析时间序列数据时，我们需要先确定数据是否满足平稳性的要求，然后才能应用这些性质公式。