傅里叶级数展开和傅里叶变换(一)

本文是DR_CAN的系列教学视频的学习笔记

一、三角函数的正交性

下列三角函数组具有正交性
S = { 0 , 1 , cos ⁡ ( x ) , sin ⁡ ( x )   cos ⁡ ( 2 x ) , sin ⁡ ( 2 x ) , . . . , cos ⁡ ( n x ) , sin ⁡ ( n x ) , . . . } S=\{0,1,\cos(x),\sin(x)\,\cos(2x),\sin(2x),...,\cos(nx),\sin(nx),...\} S={0,1,cos(x),sin(x)cos(2x),sin(2x),...,cos(nx),sin(nx),...}
具体表现为
$$\forall f(x),g(x)\in S\wedge f\ne g,{\int }_{-\pi }^{\pi }f(x)\cdot g(x)dx=0$$
证明如下：

1. 函数组内的不同函数正交
   函数组内的两不同函数求内积时有以下三种情况$(m,n\in Z)$

$${\int }_{-\pi }^{\pi }\cos (mx)\cdot \cos (nx)dx={\int }_{-\pi }^{\pi }\frac{1}{2}[\cos (m+n)x+\cos (m-n)x]dx=0(m\ne n)$$

$${\int }_{-\pi }^{\pi }\sin (mx)\cdot \sin (nx)dx={\int }_{-\pi }^{\pi }-\frac{1}{2}[\cos (m+n)x-\cos (m-n)x]dx=0(m\ne n)$$

$${\int }_{-\pi }^{\pi }\cos (mx)\cdot \sin (nx)dx={\int }_{-\pi }^{\pi }\frac{1}{2}[\sin (m+n)x-\sin (m-n)x]dx=0$$

2. 函数组内同一函数内积
   当$m=0$时，
   $${\int }_{-\pi }^{\pi }{\cos }^2(mx)dx=2\pi ,{\int }_{-\pi }^{\pi }{\sin }^2(mx)dx=0$$
   当$m\ne 0$时，
   $${\int }_{-\pi }^{\pi }\cos (mx)\cdot \cos (mx)dx={\int }_{-\pi }^{\pi }\frac{1}{2}[\cos (2mx)+1]dx=\pi$$
   $${\int }_{-\pi }^{\pi }\sin (mx)\sin (mx)dx={\int }_{-\pi }^{\pi }(1-{\cos }^2(mx))dx=\pi$$

二、周期为$2\pi$的级数展开

考虑函数$f(x)=f(x+2\pi )$,将函数写成如下形式
$$f(x)=\sum _{n=0}^{\infty }{a}_n\cos (nx)+b_n\sin (nx)$$
或是
$$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\cos (nx)+b_n\sin (nx)$$
显然函数的周期仍然为$2\pi$.
现通过将$f(x)$与正交函数组中的函数求内积的方法求出级数中的系数项，考虑展开式的后一种写法最终可以得到
$$a_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\cos (nx)dx$$
$$b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\sin (nx)dx$$

三、周期为2L的级数展开

周期为2L的函数主要通过坐标系变换得到其傅里叶级数展开。
对于函数$f(t)=f(t+2L)$，令
$$x=\frac{\pi }{L}\cdot t$$
并记
$$g(x)=g(\frac{\pi }{L}\cdot t)=f(t)$$
于是有$g(x+2\pi )=g(\frac{\pi }{L}\cdot t+2\pi )=g(\frac{\pi }{L}(t+2L))=g(x)$，即$g(x)$是一周期为$2\pi$的周期函数。
根据周期为$2\pi$的函数的傅里叶展开公式，可以得到$g(x)$的各项系数为
$$g(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\cos (nx)+b_n\sin (nx)$$
$$a_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\cos (nx)dx$$
$$b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\sin (nx)dx$$
带入$x=\frac{\pi }{L}\cdot t$即有
$$f(t)=g(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\cos (\frac{n\pi }{L}\cdot t)+b_n\sin (\frac{n\pi }{L}\cdot t)$$
$$a_n=\frac{1}{\pi }{\int }_{-L}^{L}f(x)\cos (\frac{n\pi }{L}\cdot t)d(\frac{\pi }{L}\cdot t)=\frac{1}{L}{\int }_{-L}^{L}f(t)\cos (\frac{n\pi }{L}\cdot t)dt$$
$$b_n=\frac{1}{\pi }{\int }_{-L}^{L}f(x)\sin (\frac{n\pi }{L}\cdot t)d(\frac{\pi }{L}\cdot t)=\frac{1}{L}{\int }_{-L}^{L}f(t)\sin (\frac{n\pi }{L}\cdot t)dt$$
由于工程上的时间并没有负值，因此记$T=2L$为函数的周期，并记$\omega =\frac{2\pi }{T}$，函数即满足$f(t)=f(t+T)$. 此时函数的傅里叶展开为
$$f(t)=\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\cos (n\omega t)+b_n\sin (n\omega t)$$
$$a_n=\frac{\omega }{\pi }{\int }_0^{T}f(t)\cos (n\omega t)dt$$
$$b_n=\frac{\omega }{\pi }{\int }_0^{T}f(t)\sin (n\omega t)dt$$

四、傅里叶级数的复数形式

4.1 周期为$2\pi$的函数的傅里叶级数展开

这里要用到欧拉公式（欧拉方程，Euler’s formula）
$$e^{i\theta }=\cos (\theta )+i\sin (\theta )$$
于是可以得到
$$\cos (\theta )=\frac{e^{i\theta }+e^{-i\theta }}{2},\sin (\theta )=\frac{e^{i\theta }-e^{-i\theta }}{2i}$$
带入方程中有$$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }[a_n\cos (nx)+b_n\sin (nx)]=\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\times \frac{e^{inx}+e^{-inx}}{2}+b_n\times \frac{e^{inx}-e^{-inx}}{2i}$$
整理可得
$$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }\frac{a_n-i{b}_n}{2}\times e^{inx}+\underline{\sum _{n=1}^{\infty }\frac{a_n+i{b}_n}{2}\times e^{-inx}}$$
下划线中的部分用$-n\to n$即有
$$\sum _{n=1}^{\infty }\frac{a_n+i{b}_n}{2}\times e^{-inx}=\sum _{n=-\infty }^{-1}\frac{a_{-n}+i{b}_{-n}}{2}\times e^{inx}$$
根据前文的$a_n和b_n$的表达式易知$a_{-n}=a_n,b_{-n}=-b_n$带入上式中即有
$$\sum _{n=1}^{\infty }\frac{a_n+i{b}_n}{2}\times e^{-inx}=\sum _{n=-\infty }^{-1}\frac{a_n-i{b}_n}{2}\times e^{inx}$$
另外$$\frac{a_0}{2}=\frac{a_0+i{b}_0}{2}\times e^{-i0x}$$
于是有
$$f(x)=(\frac{a_n-i{b}_n}{2}\times e^{inx}{)}_{n=0}+\sum _{n=1}^{\infty }\frac{a_n-i{b}_n}{2}\times e^{inx}+\sum _{n=-\infty }^{-1}\frac{a_n-i{b}_n}{2}\times e^{inx}=\sum \frac{a_n-i{b}_n}{2}\times e^{inx}$$
记$$c_n=\frac{a_n-i{b}_n}{2}=\frac{1}{2\pi }[{\int }_{-\pi }^{\pi }f(x)\cos (nx)dx-i{\int }_{-\pi }^{\pi }f(x)\sin (nx)dx]=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }f(x)[\cos (nx)-i\sin (x)]dx=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }f(x)e^{-inx}dx$$得到
$$f(x)=\sum c_n\times e^{inx},c_n=\frac{a_n-i{b}_n}{2}$$
上式即周期为$2\pi$时的傅里叶级数的复数形式。

值得注意的是，对于实数范围内的函数，$c_n$与$c_{-n}$是共轭的。
取$f(x)$展开式中当的$\pm n$项求和为实数即可证明二者是共轭。

4.2 周期为$2L$的函数的傅里叶级数的复数形式

周期为$2L$的函数计算过程与周期为$2\pi$时的计算过程大致相同，其具体形式为
$$f(t)=f(t+T)=\sum c_n{e}^{in\omega t},c_n=\frac{1}{L}{\int }_0^{L}f(x)e^{-inwx}dx$$
$a_n和b_n$的表达式前文已经提及.

五、傅里叶变换

对于非周期函数，可以将其理解成周期为$\infty$的周期函数，此时$T\to \infty ,w=\frac{2\pi }{T}\to 0$.
$$\begin{array}{rl}f(t)=\underset{T\to \infty }{\lim }{f}_T(t)& =\underset{\omega \to 0}{\lim }\sum _{-\infty }^{\infty }\frac{1}{T}{\int }_0^T{f}_T(t)e^{-in\omega t}dt\cdot e^{in\omega t}\\ & =\underset{\omega \to 0}{\lim }\sum _{-\infty }^{\infty }\frac{\omega }{2\pi }{\int }_0^T{f}_T(t)e^{-inwt}dt\cdot e^{in\omega t}\end{array}$$
注意到$\omega =(n+1)\omega -n\omega =\Delta \omega$，上式可以继续化简为
$$\begin{array}{rl}f(t)=\underset{T\to \infty }{\lim }{f}_T(T)& =\underset{\omega \to 0}{\lim }\sum _{-\infty }^{+\infty }\frac{\Delta \omega }{2\pi }{\int }_{-\infty }^{+\infty }f(t)e^{-in\omega t}dt\cdot e^{in\omega t}\\ & ={\int }_{-\infty }^{+\infty }\frac{d\omega }{2\pi }{\int }_{-\infty }^{+\infty }f(t)e^{-i\omega t}dt\cdot e^{i\omega t}\\ & =\frac{1}{2\pi }{\int }_{-\infty }^{+\infty }{\int }_{-\infty }^{+\infty }f(t)e^{-i\omega t}dt\cdot e^{i\omega t}d\omega \end{array}$$
记$$F(\omega )={\int }_{-\infty }^{\infty }f(t)e^{-i\omega t}dt$$为$f(t)$的傅里叶变换，带入上式得到$$f(t)=\frac{1}{2\pi }{\int }_{-\infty }^{\infty }F(\omega )e^{i\omega t}d\omega$$即为傅里叶变换的逆变换。