用Python学《微积分B》（Fourier级数）

  除了“幂级数”，另一类非常重要的函数项级数级数就是“三角（函数）级数”（trigonometric series）。《微积分B》第8-6节主要介绍：什么是三角级数？三角函数系的正交性？三角级数与Fourier级数的关系？函数如何进行Fourier级数展开？Fourier级数的收敛条件？正弦级数（余弦级数）与函数奇偶性的关系？一般周期函数的Fourier级数展开？

一、三角级数

  顾名思义，三角（函数）级数就是被加项为sine或cosine函数的一种函数项级数。从几何上来理解就是无穷多条sine或cosine曲线的叠加。
1，正弦函数
  sine函数是一种常见而简单的周期函数，典型的就是描述简谐振动（simple harmonic oscillation）的函数：

y=Asin(ωt+φ)

$$y = Asin(\omega t + \varphi)$$
其中，周期 $T = \frac{2\pi}{\omega}$
2，正弦级数
  对于比较复杂的周期函数，我们按照幂级数展开的思想，使用正项函数展开如下：
$$f(t) = A_0 + \sum_{n=1}^{\infty} A_nsin(n\omega t + \varphi_0)$$
注：幂级数展开式中的项是 x 的幂，即 $x^n$ ；而三角级数展开式中的项是 x 的倍数，即 nx 。这是因为，通过三角函数的幂和三角函数的倍角可以互相转换。也正因为如此，三角级数更易于计算，将“幂的关系”变为“倍数的关系”，这事实上就是一种“降维”。
3，三角级数
  对上面的正弦级数进行如下变换
$$A_nsin(n\omega t + \varphi_0) = A_nsin(\varphi_0)cos(n\omega t) + A_ncos(\varphi_0)sin(n\omega t)$$
对常数项进行换元：
$$\frac{a_0}{2} = A_0,\; a_n = A_nsin(\varphi_0), \; b_n = A_ncos(\varphi_0), \; \omega = \frac{\pi}{l}$$
其中，$l = \frac{T}{2}$ 是半周期
换元后可得
$$\frac{a_0}{2} + \sum_{n=1}^{\infty}(a_ncos\frac{n \pi t}{l} + b_nsin\frac{n \pi t}{l})$$
这就是“三角级数”
令 $\frac{\pi t }{l} = x$ ，也可以写成如下形式
$$\frac{a_0}{2} + \sum_{n=1}^{\infty}[a_ncos(nx) + b_nsin(nx)]$$

二、三角函数系的正交性

1，三角函数系
  三角函数系简单来说就是构成三角级数的各个基本项，如下：

1,cos(x),sin(x),cos(2x),sin(2x),⋅⋅⋅,cos(nx),sin(nx),⋅⋅⋅

$$1, \; cos(x), \; sin(x), \; cos(2x), \; sin(2x), \; \cdot \cdot \cdot , \; cos(nx), \; sin(nx), \; \cdot \cdot \cdot$$
  对比幂级数的基本项
$$x^0, \; x^1, \; x^2, \; x^3, \; \cdot \cdot \cdot , \; x^n, \; \cdot \cdot \cdot$$
  其实也很好理解，只不过三角函数系用倍角取代幂。此外，$1 = cos(0 * x)$
2，正交性
  三角函数系的正交性（trigonometric orthogonality）指的就是上述三角函数基本项中的任意不同的两项的乘积在对称区间 $[-\pi, \pi]$ 上的积分等于零。如下：
$$\int_{-\pi}^{\pi}cos(nx) \mathrm{d} x = 0 \;, \; (n = 1,2,3,...)$$

∫π−πsin(nx)dx=0,(n=1,