证明：一个函数是正定的等价于它的傅里叶变换是正的 ——Bochner

1.定理解释

  首先，函数正定的定义为：对于函数$f(x)$，$\forall n,\forall t_1,t_2,...,t_n$，$f(t_i-t_j)$所组成的矩阵是正定的。其中$f(t_i-t_j)$为矩阵第$i$行第$j$个元素。
​
  这里，为了方便阅读给出矩阵的正定的定义：对于一个$n\times n$的实对称矩阵$R$，任取长度为$n$的非0的向量$\alpha$，都有${\alpha }^{T}R\alpha \ge 0$，则$R$称为正定矩阵。（当然，有人可能会说，应该是大于0，而不是大于等于0，大于等于0时为半正定矩阵或者非负定矩阵，这里不过多的纠结。）

  如果只看函数正定的定义，很难判断直接这个函数是否为正定的。直到美国学者Bochner提出一个函数如果是正定的那么它的傅里叶变换一定是正的。这对人们函数正定的正有了更加直观的了解。用数学语言描述如下：

$$f(x)正定\iff {\int }_{-\infty }^{+\infty }f(t)e^{-j\omega t}dt=f(\omega )⩾0$$

2.必要性证明

  我们先证明$"\Leftarrow "$ ，即知道傅里叶变换是正的，推导出函数是正定的。对于所有的$\omega$，根据函数正定的定义很容易得到函数$g(t)=e^{j\omega t}$是正定的。

  根据函数正定的定义，$R=(e^{j\omega (t_i-t_j)}{)}_{ij}$。如果这里令

$$\beta ={\left(e^{j\omega t_1},e^{j\omega t_2},...,e^{j\omega t_n}\right)}^H$$

  很容易看出$R={\beta }^H\beta$。（注意：这里的$\beta$在复数域，${\beta }^H$表示对$\beta$取共轭转置，取共轭时虚部会取反。）

  然后对于 ∀ α ∈ C n \forall \alpha \in \mathbb{C}^n