傅里叶变换的推导

傅里叶级数的指数形式

高数课本中讲到的一般周期函数的傅里叶级数有如下形式：

$$f(x)=\frac {a_0}2+\sum\limits_{n=1}^{\infty}a_n\cos\frac {n\pi x}l+b_n\sin\frac {n\pi x}l$$ 其中 $$a_0=\frac 1{l}\int_{-l}^{l}f(x)\,{\rm d}x$$ $$a_n=\frac 1{l}\int_{-l}^{l}f(x)\cos\frac {n\pi x}l\,{\rm d}x$$ $$b_n=\frac 1{l}\int_{-l}^{l}f(x)\sin\frac {n\pi x}l\,{\rm d}x$$ $l$为函数$f(x)$的周期，令 $y=\frac {n\pi x}l$，有 $$f(x)=\frac {a_0}2+\sum\limits_{n=1}^{\infty}a_n\cos y+b_n\sin y$$ 根据欧拉公式，有 $$f(x)=\frac {a_0}2+\sum\limits_{n=1}^{\infty}a_n\frac {e^{iy}+e^{-iy}}2+b_n\frac {e^{iy}-e^{-iy}}{2i}$$ 化简得 $$f(x)=\frac {a_0}2+\frac 12\sum\limits_{n=1}^{\infty}e^{iy}(a_n-ib_n)+e^{-iy}(a_n+ib_n)$$ 对于 $a_n-ib_n$，有 $$a_n-ib_n=\frac 1{l}\int_{-l}^{l}f(x)\cos\frac {n\pi x}l\,{\rm d}x-\frac i{l}\int_{-l}^{l}f(x)\sin\frac {n\pi x}l\,{\rm d}x$$ $$a_n-ib_n=\frac 1{l}\int_{-l}^{l}f(x)(\cos\frac {n\pi x}l-i\sin\frac {n\pi x}l)\,{\rm d}x$$ $$a_n-ib_n=\frac 1{l}\int_{-l}^{l}f(x)e^{-\frac {in\pi x}l}\,{\rm d}x$$ 同理，对于 $a_n+ib_n$，有 $$a_n+ib_n=\frac 1{l}\int_{-l}^{l}f(x)e^{\frac {in\pi x}l}\,{\rm d}x$$ 对于 $-n$，有 $$a_{-n}+ib_{-n}=\frac 1{l}\int_{-l}^{l}f(x)e^{-\frac {in\pi x}l}\,{\rm d}x=a_n-ib_n$$ 所以，对于 $f(x)$，有 $$f(x)=\frac {a_0}2+\frac 12\sum\limits_{n=1}^{\infty}e^{\frac {in\pi x}l}(a_n-ib_n)+\frac 12\sum\limits_{n=-\infty}^{-1}e^{\frac {in\pi x}l}(a_n-ib_n)$$ 当 $n=0$时， $$a_n-ib_n=\frac 1{l}\int_{-l}^{l}f(x)\,{\rm d}x=a_0$$ 所以 $$f(x)=\frac 12\sum\limits_{n=-\infty}^{+\infty}e^{\frac {in\pi x}l}(a_n-ib_n)$$ 令 $$c_n=\frac {a_n-ib_n}2$$ 则有 $$f(x)=\sum\limits_{n=-\infty}^{+\infty}c_ne^{\frac {in\pi x}l}$$ 其中， $$c_n=\frac 1{2l}\int_{-l}^{l}f(x)e^{-\frac {in\pi x}l}\, {\rm d}x$$

傅里叶变换

对于非周期函数，可以看作是周期无穷大的周期函数，当$l\to+\infty$，有

$$f(x)=\lim_{l\to+\infty}\sum\limits_{n=-\infty}^{+\infty}c_ne^{\frac {in\pi x}l}$$ 令 $\omega_n=\frac {n\pi}l$有 $\varDelta\omega=\frac \pi l$,原式为 $$f(x)=\lim_{l\to+\infty}\sum\limits_{n=-\infty}^{+\infty}c_ne^{i\omega_n x}$$ 其中, $$c_n=\frac 1{2\pi}\int_{-l}^{l}f(x)e^{-i\omega_n x}\, {\rm d}x\cdot\varDelta\omega$$ 即 $$f(x)=\lim_{l\to+\infty}\sum\limits_{n=-\infty}^{+\infty}(\frac 1{2\pi}\int_{-l}^{l}f(x)e^{-i\omega_n x}\, {\rm d}x)e^{i\omega_n x}\cdot\varDelta\omega$$ 由于 $l\to+\infty$，则有 $\varDelta\omega\to0$,因此原式为 $$f(x)=\lim_{\varDelta\omega\to0}\frac 1{2\pi}\sum\limits_{n=-\infty}^{+\infty}(\int_{-\infty}^{+\infty}f(x)e^{-i\omega_n x}\, {\rm d}x)e^{i\omega_n x}\cdot\varDelta\omega$$ 上式黎曼和即为积分 $$f(x)=\frac 1{2\pi}\int_{-\infty}^{+\infty}(\int_{-\infty}^{+\infty}f(x)e^{-i\omega x}\, {\rm d}x)e^{i\omega x}\,{\rm d}\omega$$ 记函数 $\hat f$为原函数 $f$的傅里叶变换，有 $$\hat f(\omega)=\int_{-\infty}^{+\infty}f(x)e^{-i\omega x}\, {\rm d}x$$ 称为傅里叶变换 $${f(x)}=\frac 1{2\pi}\int_{-\infty}^{+\infty}\hat f(\omega)e^{i\omega x}\,{\rm d}\omega$$ 称为傅里叶逆变换