傅里叶变换初识

傅里叶变换

  如果你了解空间坐标系，那么这篇文章对你了解傅里叶变换会有一些帮助。

傅里叶级数

空间的基本知识

  假设一个任意维度n的空间的内积为$<f,g>$，它的一组基底为$\overrightarrow{x_1},\overrightarrow{x_2},\cdots ,\overrightarrow{x_n}$。现在对于任意一个向量$\vec{y}$。如果上述基底是正交的，那么我们可以将其分解成
$$\vec{y}=\sum _{k=0}^n{c}_k\cdot \overrightarrow{x_k}$$

其中：
$$c_k=\frac{<\overrightarrow{x_k},\vec{y}>}{<\overrightarrow{x_k},\overrightarrow{x_k}>}$$

  为了方便理解，我们以常见的三维欧氏空间（也就是我们常用的坐标空间）为例：
  常用的正交基底向量为x、y、z轴对应的单位向量$\vec{i},\vec{j},\vec{k}$。取任意两个向量$\overrightarrow{x_1}=a_1\vec{i}+b_1\vec{j}+c_1\vec{k}\iff (a_1,b_1,c_1)、\overrightarrow{x_2}=a_2\vec{i}+b_2\vec{j}+c_2\vec{k}\iff (a_2,b_2,c_2)$。
欧氏空间上的内积定义为乘法（不同的正交基的内积为0）：
$$<\overrightarrow{x_1},\overrightarrow{x_2}>=a_1{a}_2+b_1{b}_2+c_1{c}_2$$

  任取一个向量$\vec{v}=x\vec{i}+y\vec{j}+z\vec{k}$。它可以表示为：
$$\vec{v}=\frac{<\vec{v},\vec{i}>}{<\vec{i},\vec{i}>}\vec{i}+\frac{<\vec{v},\vec{j}>}{<\vec{j},\vec{j}>}\vec{j}+\frac{<\vec{v},\vec{k}>}{<\vec{k},\vec{k}>}\vec{k}$$

三角级数形式

  可以证明定义在内积
$$<f(t),g(t)>=\frac{1}{T}{\int }_{t_0-\frac{T}{2}}^{t_0+\frac{T}{2}}(f(t)\cdot g(t))dt$$

上的函数空间的一组完备正交基为$(1,\cos \omega t,\sin \omega t,\cos 2\omega t,\sin 2\omega t,\cdots )$。特别地取$t_0=0$
  所以一切该空间中的函数$h(t)$必然可以分解成
$$h(t)=c_0+\sum _{k=1}^{\infty }(a_k\cos k\omega t+b_k\sin k\omega t)$$

其中：
$$c_0=\frac{<f(t),1>}{<1,1>}=\frac{\frac{1}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}h(t)\cdot 1dt}{\frac{1}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}1\cdot 1dt}=\frac{1}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}h(t)dt$$
$$a_k=\frac{<f(t),\cos k\omega t>}{<\cos k\omega t,\cos k\omega t>}=\frac{\frac{1}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}h(t)\cos k\omega tdt}{\frac{1}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}\cos k\omega t\cdot \cos k\omega tdt}=\frac{2}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}h(t)\cos k\omega tdt$$
$$b_k=\frac{<f(t),\sin k\omega t>}{<\sin k\omega t,\sin k\omega t>}=\frac{\frac{1}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}h(t)\sin k\omega tdt}{\frac{1}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}\sin k\omega t\cdot \sin k\omega tdt}=\frac{2}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}h(t)\sin k\omega tdt$$

指数形式

  我们引入复数域函数：$\cos x=\frac{e^{jx}+e^{-jx}}{2}$、$\sin x=\frac{e^{jx}-e^{-jx}}{2j}$代入三角级数形式。
$$h(t)=c_0+\sum _{k=1}^{\infty }(a_k\cos k\omega t+b_k\sin k\omega t)$$
$$\Rightarrow h(t)=e^{0\omega t}+\sum _{k=1}^{\infty }(a_k\frac{e^{jk\omega t}+e^{-jk\omega t}}{2}+b_k\frac{e^{jk\omega t}-e^{-jk\omega t}}{2j})$$
$$=e^{0\omega t}+\sum _{k=1}^{\infty }(\frac{a_k-j{b}_k}{2}{e}^{jk\omega t}+\frac{a_k+j{b}_k}{2}{e}^{-jk\omega t})$$
$$=\sum _{k=-\infty }^{\infty }{c}_k{e}^{jk\omega t}$$

其中：$c_0=\frac{1}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}h(t)dt,$
$$c_k=\frac{a_k-j{b}_k}{2}=\frac{2}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}\frac{h(t)}{2}(\cos k\omega t-j\sin k\omega t)dt$$
$$=\frac{1}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}h(t)e^{-jk\omega t}dt(k=\pm 1,\pm 2,\cdots )$$

  我们可以发现，我们可以统一$c_0,c_k(k=1,2,\cdots )$的形式。我们关心这个空间上的坐标值，也就是$c_k$的值。我们将
$$c_k=\frac{1}{T}{\int }_{-\frac{T}{2}}^{+\frac{T}{2}}h(t)e^{-jk\omega t}dt(k=0,\pm 1,\pm 2,\cdots )$$称为傅里叶级数。这个公式为我们推导出傅里叶变换提供了基础。

从傅里叶级数到傅里叶变换

  我们考虑周期为$T$，脉冲宽度为$\tau (\tau <T)$的周期方形脉冲序列。我们固定$\tau$不变，将T进行拉伸。


对于傅里叶级数的系数：
$$F_n=\frac{1}{T}{\int }_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^{jn\Omega t}$$


  我们把求频谱密度函数的过程称为“傅里叶变换”。需要注意的是，我们在这里的举例——矩形脉冲序列是特殊的例子（一个脉冲的长度是固定的）。这也是为什么我们把积分上下限拓宽成$-\infty \to +\infty$而不是固定长度$-\frac{\tau }{2}\to \frac{\tau }{2}$不变的缘故。
  对于更平凡的例子——无限长，非周期的信号。我们也是把它当作周期无限长的信号，只不过它的信号在单个周期内不具备有限非零长度罢了。

• 傅里叶变换的推导，暂时搁置。
• 于2020/11/14完成

双边谱和单边谱

  单边谱：我们在三角函数的基础上，进行和差公式的反应用得到的包含幅值-角度的傅里叶级数。得到的只有正半部分的频谱图称为“单边谱”
  双边谱：我们在三角函数的基础上，引入欧拉公式，得到的具有更整洁的形式的指数型傅里叶变换。得到的既有正又有负

示例分析

示例1

  对于周期信号的傅里叶级数,如果使用双边级数谱和傅里叶双边变换：有：
$$f_T(t)=\sum _{n=-\infty }^{+\infty }{F}_n{e}^{jn\Omega t}\leftrightarrow F_T(\omega )=2\pi \sum _{n=-\infty }^{+\infty }{F}_n\delta (\omega -n\Omega )$$