斯坦福大学公开课-傅里叶变换及其应用-学习记录1-傅里叶级数

本文是对斯坦福大学公开课-傅里叶变换及其应用的一些学习总结
对应的课程视频链接为：课程链接
课程用到的讲义下载地址：讲义链接

傅里叶变换这一名词已经在很多地方都有见过了，之前也是对其有一些粗略的了解，那么现在想跟着这个课程与讲义稍微深入一点地学习，在这里记录一下个人的总结与感悟。

第一篇对应课程的第1-5节，讲义的第一章，即傅里叶级数。傅里叶级数在高数中已经学过了，但是当时只是以应付考试的心理马马虎虎地看了一下，对它的理解肯定是不到位的。

周期性

傅里叶级数是指可以将一个周期函数表示成正弦函数和余弦函数的无穷级数，它研究的对象就是具有周期性的函数，那么首先来复习一下周期性的相关内容。
周期性的定义：如果存在$T > 0$满足$f(t+T)=f(t)$，那么就说$f$具有周期性，其周期为$T$。很显然如果$T$是$f$的一个周期，那么$2T、3T、4T……nT$都是$f$的周期，一般提到的周期都是所有这些周期中最小的那个，即最小正周期。
周期函数的和：考虑函数$f(t)=cos2\pi t+\frac{1}{2}cos4\pi t$，它是两个周期分别为$1、\frac{1}{2}$的函数的和，那么$f(t)$的周期是多少？这种问题高中的时候应该经常见过，很显然它的周期应该是$1$，在这个例子中，周期函数的和也是一个周期函数。现在进行一般性的考虑，对于任意的两个周期函数，它们的和也是周期函数吗？考虑函数$f(t)=cost+cos\sqrt{2}t$，它是两个周期分别为$2\pi、\sqrt{2}\pi$的函数之和，但是很遗憾，这个函数并不是一个周期函数，是没有办法找到一个$T$满足$f(t+T)=f(t)$的，它的图像如下图所示。

事实上，如果两个周期函数之和是一个周期函数，那么它们的周期必须满足其中一个周期是另一个周期的整数倍的关系。
在经过了数个世纪的关于周期现象的研究后，对于周期问题，前人在数学层面提出了三个重要的观点：
1.刻画最简单的周期现象的函数是sin、cos，但是不管是在理论还是实际地运算中，都采用复指数的形式来代替独立的三角函数，即欧拉公式：$e^{ix} = cosx + isinx$
2.研究的函数的平方积分，应该是有界的，即：$\int_a^b|f(t)|^2dt < \infty$
3.Eigenfunction of a linear operator D,especially differential operators。
（不知道该如何翻译= =），查了一下wiki，这句话的意思是，$D$是定义在一个函数空间中的一个线性运算，对于在任意的该空间下的非零函数$f$，都有$Df=\lambda f$，其中$\lambda$是一个标量，被称作特征值。这句话中提到的“尤其是微分运算”可以表述为如下等式：
$\frac{df(t)}{dt} = \lambda f(t)$

可能现在还是一头雾水，不知道这三条的意义是什么，不过不用担心，先接着往下看。

累加形式

由简单的周期函数，将其累加可以构造复杂的周期函数，傅里叶当时就是猜测任意一个周期函数都可以用如下的形式来表达：

$$\sum_{n=1}^N A_nsin({2\pi nt+\phi _n})$$
这样的形式可以很好地表现相位、频率等信息，但是计算起来并不方便，更常用的形式为： $$\sum_{n=1}^N (a_ncos({2\pi nt}) + b_nsin({2\pi nt}))$$
推导： $$\sum_{n=1}^N A_nsin({2\pi nt+\phi _n}) = \sum_{n=1}^N A_nsin2\pi ntcos\phi_n+A_ncos2\pi ntsin\phi_n$$
令 $A_ncos\phi_n=a_n,A_nsin\phi_n=b_n$即可。

如果再加上$n=0$的情况就可以得到：

$$\frac{a_0}{2}+\sum_{n=1}^N (a_ncos({2\pi nt}) + b_nsin({2\pi nt}))$$
注意这里用的是 $\frac{a_0}{2}$，为什么不写 $a_0$呢？
前面提到了，应该采用复指数的形式来代替孤立的sin、cos，那么现在将上式转成对应的复指数形式： $$\sum_{n=-N}^N c_n e^{2\pi int}$$
这里会有一些疑惑，为什么求和范围变成了-N到N，并且求和式是不是过于简单了？现在将这个式子的复指数展开成三角函数来看一看： $$\sum_{n=-N}^N c_n e^{2\pi int}=\sum_{n=-N}^N c_n(cos2\pi nt+isin2\pi nt)$$
这里sin的前边有i，但是实际上之前所表达的和式的sin前边是不带i的，这就提醒我们，这里的 $c_n$是复数，不是实数。如果我们将 $c_n$写成 $c_n=a_n+ib_n$，那么就可以写出：
$$\sum_{n=-N}^N c_n(cos2\pi nt+isin2\pi nt) = \sum_{n=-N}^N(a_n+ib_n)(cos2\pi nt+isin2\pi nt)$$ $$=\sum_{n=-N}^N a_ncos2\pi nt + a_nisin2\pi nt + ib_ncos2\pi nt - b_nsin2\pi nt$$
现在假如这个求和范围是0到N，那么最终的结果一定是带i的，因为中间的 $a_nisin2\pi nt + ib_ncos2\pi nt$没办法消掉。可是如果求和范围改成-N到N呢？考虑当n=k和n=-k时的情形：
$$n = k 时： a_kcos2\pi kt + a_kisin2\pi kt + ib_kcos2\pi kt - b_ksin2\pi kt$$ $$n = -k时： a_{-k}cos2\pi kt - a_{-k}isin2\pi kt + ib_{-k}cos2\pi kt + b_{-k}sin2\pi kt$$
如果说我们令 $a_{-k}=a_{k}$， b−k=−bk b − k