傅里叶变换公式推导

作者是个没有系统学习过高等数学的高中OIer，推导过程可能不严谨，有问题的地方望大家纠正一下qwq
因为作者之前没学过有关知识，是边看文章边推边写出来的，所以推导思路根原文章基本一致，原文章在此：【Math】复数表示个傅里叶变换

---

傅里叶级数公式：

$$f(t)=A_0+\sum _{n=1}^{\infty }[a_{n}cos(n\omega t)+b_{n}sin(n\omega t)]，\{\begin{array}{l}{A}_0=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }f(t)dt\\ a_n=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }cos(n\omega t)f(t)dt\\ b_n=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }sin(n\omega t)f(t)dt\end{array}$$
  推导：首先我们把一个周期函数用一堆正弦函数来表达：
$$\begin{array}{rl}f(t)=& A_0+\sum _{n=1}^{\infty }sin(n\omega t+{\phi }_n)\\ =& A_0+\sum _{n=1}^{\infty }[A_{n}sin(n\omega t)cos{\phi }_n+A_{n}cos(n\omega t)sin{\phi }_n]和差角公式\\ =& A_0+\sum _{n=1}^{\infty }[A_{n}sin{\phi }_{n}cos(n\omega t)+A_{n}cos{\phi }_{n}sin(n\omega t)]\\ 令a_n=& A_{n}sin{\phi }_n，b_n=A_{n}cos{\phi }_n得：\\ f(t)=& A_0+\sum _{n=1}^{\infty }[a_{n}cos(n\omega t)+b_{n}sin(n\omega t)]\\ 两边同时取& 积分得到：\\ {\int }_{-\pi }^{\pi }f(t)dt=& {\int }_{-\pi }^{\pi }{A}_{0}dt+{\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }[a_{n}cos(n\omega t)+b_{n}sin(n\omega t)]dt\end{array}$$
  我们先把这一项算出来：
$$\begin{array}{r}{\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }[a_{n}cos(n\omega t)+b_{n}sin(n\omega t)]dt\end{array}$$
  要计算这一项，只需要知道求和里面的东西等于几，也就是：
$$\begin{array}{rl}& {\int }_{-\pi }^{\pi }[a_{n}cos(n\omega t)+b_{n}sin(n\omega t)]dt\\ =& \frac{a_n}{n\omega }sin(n\omega t)-\frac{b_n}{n\omega }cos(n\omega t){|}_{-\pi }^{\pi }\\ =& [\frac{a_n}{n\omega }sin(n\omega \pi )-\frac{b_n}{n\omega }cos(n\omega \pi )]-[\frac{a_n}{n\omega }sin(-n\omega \pi )-\frac{b_n}{n\omega }cos(-n\omega \pi )]\\ =& \frac{a_n}{n\omega }sin(n\omega \pi )-\frac{a_n}{n\omega }sin(-n\omega \pi )+\frac{b_n}{n\omega }cos(-n\omega \pi )-\frac{b_n}{n\omega }cos(n\omega \pi )\\ =& \frac{a_n}{n\omega }[sin(n\omega \pi )-sin(-n\omega \pi )]+\frac{b_n}{n\omega }[cos(-n\omega \pi )-cos(n\omega \pi )]\end{array}$$
  因为 $sink\pi =0$ 且 $cosx=cox(-x)$，所以上面那一项总体就是 0。即：
$${\int }_{-\pi }^{\pi }[a_{n}cos(n\omega t)+b_{n}sin(n\omega t)]dt=0$$
  所以原式可以化为：
$$\begin{array}{rl}{\int }_{-\pi }^{\pi }f(t)dt=& {\int }_{-\pi }^{\pi }{A}_{0}dt+{\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }[a_{n}cos(n\omega t)+b_{n}sin(n\omega t)]dt\\ =& A_{0}t{|}_{-\pi }^{\pi }+0=[\pi -(-\pi )]A_0=2\pi A_0\\ \therefore A_0=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }& f(t)dt\end{array}$$
  然后我们来求 $a_n$ 和 $b_n$。等式两边同时乘上 $cos(k\omega t)$得到了：
$$\begin{array}{rl}f(t)cos(k\omega t)=& A_{0}cos(k\omega t)+\sum _{n=1}^{\infty }[a_{n}cos(n\omega t)cos(k\omega t)+b_{n}sin(n\omega t)cos(k\omega t)]\end{array}$$
  两边同时积分得到了：
$$\begin{array}{rl}{\int }_{-\pi }^{\pi }f(t)cos(k\omega t)dt=& A_0{\int }_{-\pi }^{\pi }cos(k\omega t)dt+\\ \sum _{n=1}^{\infty }[a_n{\int }_{-\pi }^{\pi }& cos(n\omega t)cos(k\omega t)dt+b_n{\int }_{-\pi }^{\pi }sin(n\omega t)cos(k\omega t)dt]\end{array}$$
  又因为这些项都是 0：
$$\begin{array}{r}{A}_0{\int }_{-\pi }^{\pi }cos(k\omega t)dt=A_0\cdot \frac{1}{k\omega }sin(k\omega t){|}_{-\pi }^{\pi }=0\\ b_n{\int }_{-\pi }^{\pi }sin(n\omega t)cos(k\omega t)dt=b_n\cdot -\frac{1}{n\omega }cos(\omega t)\frac{1}{k\omega }sin(k\omega t){|}_{-\pi }^{\pi }=0\end{array}$$
  所以：

$$\begin{array}{rl}{\int }_{-\pi }^{\pi }f(t)cos(k\omega t)dt=& a_n\sum _{n=1}^{\infty }{\int }_{-\pi }^{\pi }cos(n\omega t)cos(k\omega t)dt\\ =& a_n{\int }_{-\pi }^{\pi }co{s}^2(n\omega t)dt\\ =& \frac{a_n}{2}{\int }_{-\pi }^{\pi }[1+cos(2n\omega t)]dt半角公式\\ =& \frac{a_n}{2}[{\int }_{-\pi }^{\pi }1dt+{\int }_{-\pi }^{\pi }cos(2n\omega t)dt]\end{array}$$
  又因为：
$${\int }_{-\pi }^{\pi }cos(2n\omega t)dt=-\frac{1}{2n\omega }sin(2n\omega t){|}_{-\pi }^{\pi }=0$$
  所以：
$$\begin{array}{rl}& {\int }_{-\pi }^{\pi }f(t)cos(k\omega t)dt=a_n\sum _{n=1}^{\infty }{\int }_{-\pi }^{\pi }cos(n\omega t)cos(k\omega t)dt\\ =& \frac{a_n}{2}{\int }_{-\pi }^{\pi }1dt=\frac{a_n}{2}\times t{|}_{-\pi }^{\pi }=\frac{a_n}{2}[\pi -(-\pi )]=\pi a_n\\ \therefore & a_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(t)cos(n\omega t)dt(n=k)\end{array}$$
  计算 $b_n$ 的方法和计算 $a_n$ 的基本相同，可以得到：
$$b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(t)sin(n\omega t)dt(n=k)$$

傅里叶指数形式：

$$f(t)=\frac{1}{T}\sum _{n=-\infty }^{+\infty }{\int }_{t_0}^{t_o+T}{e}^{-in\omega t}dt\cdot e^{in\omega t}$$
  推导如下：
  由欧拉公式($e^{ix}=cosx+isinx$)我们可以推出：
$$cosx=\frac{e^{ix}+e^{-ix}}{2}sinx=-i\cdot \frac{e^{ix}-e^{-ix}}{2}$$
  将两式带入傅里叶级数得到：
$$\begin{array}{rl}f(t)=& A_0+\sum _{n=1}^{\infty }[a_n\frac{e^{in\omega t}+e^{-in\omega t}}{2}+b_n\cdot (-i)\frac{e^{in\omega t}-e^{-in\omega t}}{2}]\\ =& A_0+\sum _{n=1}^{\infty }[\frac{a_n-i{b}_n}{2}{e}^{in\omega t}+\frac{a_n+i{b}_n}{2}{e}^{-in\omega t}]\end{array}$$
  又因为：
$$\begin{array}{r}{a}_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(t)cos(n\omega t)dt(n=k)\\ b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(t)sin(k\omega t)dt(n=k)\end{array}$$
  所以：
$$\begin{array}{rl}\frac{a_n-i{b}_n}{2}=& \frac{1}{2}\cdot [\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(t)cos(n\omega t)dt-i\cdot \frac{1}{\pi }{\int }_{-\pi }^{\pi }f(t)sin(k\omega t)dt]\\ =& \frac{1}{2}\cdot \frac{2}{T}[{\int }_{t_0}^{t_0+T}cos(n\omega t)f(t)dt-i{\int }_{t_0}^{t_0+T}sin(n\omega t)f(t)dt]\\ =& \frac{1}{T}\cdot {\int }_{t_0}^{t_0+T}f(t)[cos(n\omega t)-isin(n\omega t)]dt\\ =& \frac{1}{T}\cdot {\int }_{t_0}^{t_0+T}f(t)[\frac{e^{in\omega t}+e^{-in\omega t}}{2}-i\cdot (-i)\frac{e^{in\omega t}-e^{-in\omega t}}{2}]dt\\ =& \frac{1}{T}\cdot {\int }_{t_0}^{t_0+T}f(t)e^{-in\omega t}dt\end{array}$$
$$\begin{array}{rl}\frac{a_n+i{b}_n}{2}=& \frac{1}{2}\cdot [\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(t)cos(n\omega t)dt+i\cdot \frac{1}{\pi }{\int }_{-\pi }^{\pi }f(t)sin(k\omega t)dt]\\ =& \frac{1}{2}\cdot \frac{2}{T}[{\int }_{t_0}^{t_0+T}cos(n\omega t)f(t)dt+i{\int }_{t_0}^{t_0+T}sin(n\omega t)f(t)dt]\\ =& \frac{1}{T}\cdot {\int }_{t_0}^{t_0+T}f(t)[cos(n\omega t)+isin(n\omega t)]dt\\ =& \frac{1}{T}\cdot {\int }_{t_0}^{t_0+T}f(t)[\frac{e^{in\omega t}+e^{-in\omega t}}{2}+i\cdot (-i)\frac{e^{in\omega t}-e^{-in\omega t}}{2}]dt\\ =& \frac{1}{T}\cdot {\int }_{t_0}^{t_0+T}f(t)e^{in\omega t}dt\end{array}$$
  然后再带回去：
$$\begin{array}{rl}f(t)=& A_0+\sum _{n=1}^{\infty }[\frac{a_n-i{b}_n}{2}{e}^{in\omega t}+\frac{a_n+i{b}_n}{2}{e}^{-in\omega t}]\\ =& \frac{1}{T}{\int }_{t_0}^{t_0+T}f(t)dt+\sum _{n=1}^{\infty }[\frac{1}{T}\cdot {\int }_{t_0}^{t_0+T}f(t)e^{-in\omega t}dt\cdot e^{in\omega t}+\frac{1}{T}\cdot {\int }_{t_0}^{t_0+T}f(t)e^{in\omega t}dt\cdot e^{-in\omega t}]\\ =& \frac{1}{T}{\int }_{t_0}^{t_0+T}f(t)dt+\frac{1}{T}\sum _{n=1}^{\infty }{\int }_{t_0}^{t_0+T}f(t)e^{-in\omega t}dt\cdot e^{in\omega t}+\frac{1}{T}\sum _{n=-\infty }^{-1}{\int }_{t_0}^{t_0+T}f(t)e^{-in\omega t}dt\cdot e^{in\omega t}\\ =& \frac{1}{T}\sum _{n=-\infty }^{+\infty }{\int }_{t_0}^{t_0+T}f(t)e^{-in\omega t}dt\cdot e^{in\omega t}\end{array}$$

傅里叶变换和傅里叶逆变换

  傅里叶变换：
$$\begin{array}{r}F({\omega }_x)={\int }_{-\infty }^{+\infty }f(t)e^{-i{\omega }_{x}t}dt\end{array}$$
  傅里叶逆变换：
$$\begin{array}{r}f(t)=\frac{1}{2\pi }{\int }_{-\infty }^{+\infty }F({\omega }_x)e^{i{\omega }_{x}t}d\omega \end{array}$$
  其中 $F(\omega )$ 叫做 $f(t)$ 的像函数，$f(t)$ 叫做$F(\omega )$ 的像原函数。$F(\omega )$ 是 $f(t)$ 的像。$f(t)$ 是 $F(\omega )$ 原像。
  推导过程如下：
  令：
$${\omega }_x=n\omega F({\omega }_x)={\int }_{-\infty }^{+\infty }f(t)e^{-i{\omega }_{x}t}dt$$
  又因为：
$$f(t)=\frac{1}{T}\sum _{n=-\infty }^{+\infty }{\int }_{t_0}^{t_0+T}f(t)e^{-in\omega t}dt\cdot e^{in\omega t}$$
  所以：
$$\begin{array}{rl}f(t)=& \frac{1}{T}\sum _{-\infty }^{+\infty }{\int }_{-\infty }^{+\infty }f(t)e^{-i{\omega }_{x}t}dt\cdot e^{i{\omega }_{x}t}\\ =& \frac{1}{T}\sum _{-\infty }^{+\infty }[F({\omega }_x)e^{i{\omega }_{x}t}]=\frac{1}{2\pi }{\int }_{-\infty }^{+\infty }F({\omega }_x)e^{i{\omega }_{x}t}d{\omega }_x\end{array}$$

离散傅里叶变换

  离散傅里叶变换：
$$F(n)=\sum _{n=0}^{N}f(t)e^{i\frac{2\pi n}{N}t}$$
  逆离散傅里叶变换：
$$f(t)=\sum _{n=0}^N\frac{1}{N}F(n)e^{i\frac{2\pi n}{N}t}$$