剖析连续时间傅里叶级数

1. 前言

　　傅里叶级数是整个信号处理学科领域的基石，开创了从传统时域分析到频域分析的先河，使得众多在时域难以分析的信号在频域可以轻松解决。傅里叶级数是在均方误差准则下对信号的最佳近似，是信号在一组完备正交基上的投影。
　　笔者先从空间向量的几何分解的角度切入，类比解释了为什么要对信号进行正交分解，以及在均方误差的准则下如何求得信号在正交基上的投影分量。由于指数信号具有先天的优势，指数信号的导数、积分、求和、减法都是指数信号，指数信号具有高保真度，因此选择虚指数完备正交基作为信号投影。

2. 信号的正交分解

2.1 矢量的几何分解

　　为了理解对信号进行分解的目的，我们先从几何学的角度，体会下平面矢量以及空间矢量的分解。矢量正交定义如下如图1所示，（a）$\overrightarrow A = {c_1}\overrightarrow {{v_x}} + {c_2}\overrightarrow {{v_y}}$，即将平面矢量$\overrightarrow A$分解成正交的$x$轴和$y$轴的单位矢量；（b）$\overrightarrow A = {c_1}\overrightarrow {{v_x}} + {c_2}\overrightarrow {{v_y}} + {c_3}\overrightarrow {{v_z}}$，即将空间向量$\overrightarrow A$分解成正交的$x$轴，$y$轴和$z$轴的单位矢量。

图1：（a）平面的矢量分解 （b）空间矢量分解

为此，我们要先清楚，什么是矢量正交。矢量正交定义为：

存在矢量$\overrightarrow{A}$和$\overrightarrow{B}$，若有满足$\overrightarrow A \centerdot \overrightarrow B = 0 （\overrightarrow{A},\overrightarrow{B}不为0矢量）$，则矢量$\overrightarrow{A}$与$\overrightarrow{B}$正交。
　
　　将空间矢量分解到笛卡尔坐标系，是为了方便计算。为了方便理解，我们再举一个高中物理的例子，如图所示，固定斜面上有一小球，小球与斜面的接触面绝对光滑，现在要研究小球沿斜面的加速度

图2：光滑斜面小球中立分解示意图

这样得到小球沿着斜面的加速度为 $a=g\sin \theta$。
　　可以看到通过矢量的正交分解，我们可以轻松的求出小球沿着斜面的加速度。 将空间矢量正交分解的概念推广到信号空间，在信号空间中找到若干相互正交的信号为基本信号，使得任意信号可以表示成这组正交信号的线性组合。

2. 2 信号正交的几个基本概念

1. 信号的正交定义
   定义在区间$({{t}_{1}},{{t}_{2}})$上的两个函数${{\varphi }_{1}}(t)$和${{\varphi }_{2}}(t)$，如果满足
   $$\begin{align} \int_{{{t}_{1}}}^{{{t}_{2}}}{{{\varphi }_{1}}(t){{\varphi }_{2}}(t)\text{d}t=0} \end{align}$$
   则称函数${{\varphi }_{1}}(t)$和${{\varphi }_{2}}(t)$在区间$({{t}_{1}},{{t}_{2}})$上正交。
2. 正交函数集
   如果有$n$个函数${\rm{\{ }}{\varphi _1}(t),{\varphi _2}(t), \cdots ,{\varphi _n}(t){\rm{\} }}$构成一个函数集合，若函数集合在$({t_1},{t_2})$上满足
   $$\begin{align} \int_{{{t}_{1}}}^{{{t}_{2}}}{{{\varphi }_{i}}(t){{\varphi }_{j}}(t)\text{d}t=\left\{ \begin{matrix} 0 \qquad i\ne j \\ K \qquad i=j \\ \end{matrix} \right.} \end{align}$$
   $K$是常数，则称此函数集为正交函数集。
3. 完备正交集
   如果在正交函数集${\rm{\{ }}{\varphi _1}(t),{\varphi _2}(t), \cdots ,{\varphi _n}(t){\rm{\} }}$之外，不存在函数$\phi (t)$满足等式
   $$\begin{align} \int_{{{t}_{1}}}^{{{t}_{2}}}{{{\varphi }_{i}}(t)\phi (t)\text{d}t=0\text{ }(i=1,2,\cdots n)} \end{align}$$
   则称此正交函数集为完备正交集。常见的完备正交集合有三角函数集、虚指数集合。
   【例1】证明三角函数集$\{1,\cos (n{{\omega }_{o}}t),\sin (n{{\omega }_{o}}t)\}$ $(n=1,2,3,\cdots ,n,\cdots )$是正交函数集
   证：
   $$\begin{align} \int_{{{t}_{o}}}^{{{t}_{o}}+T}\cos (m{{\omega }_{o}}t)\cos (n{{\omega }_{o}}t)\text{d}t&=\left\{ \begin{matrix} 0 \qquad \qquad m\ne n \\ \frac T{2} \qquad m=n=0 \\ T \qquad \qquad m\ne n \\ \end{matrix} \right.\\ \int_{{{t}_{o}}}^{{{t}_{o}}+T}\sin (m{{\omega }_{o}}t)\sin (n{{\omega }_{o}}t)\text{d}t&=\left\{ \begin{matrix} 0 \qquad \qquad m\ne n\text{ } \\ \frac{T}{2} \qquad m=n\ne 0 \\ \end{matrix} \right.\\ \int_{{{t}_{o}}}^{{{t}_{o}}+T}\sin (m{{\omega }_{o}}t)cos(n{{\omega }_{o}}t)\text{d}t&=0 \end{align}$$
   【注】另外，我们对上述证明中的一些小细节进行解释。
   证明：如果函数$f(t)$是周期为$T$的周期信号，则有$\int_{a}^{T+a}{f(t)\text{d}t=}\int_{0}^{T}{f(t)\text{d}t}$
   证：根据定积分的可拆性
   $$\int_{a}^{T+a}{f(t)\text{d}t=}\int_{a}^{0}{f(t)\text{d}t+}\int_{0}^{T}{f(t)\text{d}t+\int_{T}^{T+a}{f(t)\text{d}t}}$$
   等式右边第三项令$u=t-T$
   $$\int_{a}^{T+a}{f(t)\text{d}t}\text{=}\int_{0}^{a}{f(u)\text{d}u}=\int_{0}^{a}{f(t)\text{d}t}=-\int_{a}^{0}{f(t)\text{d}t}$$
   因此
   $$\int_{a}^{T+a}{f(t)\text{d}t=}\int_{0}^{T}{f(t)\text{d}t}$$
   证毕。

2.3 信号的正交分解

设$N$个函数 {φ1(t),φ2(t)