- 空间是 基向量 的 生成子空间,空间内的任意向量都可以被基向量作线性表出
- 设 f(x)=∑n=0∞n!f(n)(x0)(x−x0)n
则把后面 (x−x0)n 看成基向量(线性无关),前面 f(n)(x0) 看做表出系数,那么如果函数能够泰勒展开,那么就能在这个无穷维空间中找到一个位置表示这个函数,它的 分析运算 都可以转化为幂函数的分析运算
如果把基向量用三角函数来表示,那么它的分析运算也同样容易
所以尝试:
f(t)=A0+n=1∑∞sin(nωt+φn)=2a0+n=1∑∞(ancosnx+bnsinnx)
ωt=x
把 1,sinnx,cosnx 等 三角函数系 看成函数空间的 基,不但是线性无关的,居然还是 正交 的!
任意的两个不同函数的乘积在 [−π,π] 上的积分等于 0
∫−ππcosnxdx=0
∫−ππsinnxdx=0
同名不同角的是正交的
∫−ππcosnx⋅cosmxdx=0(m=n)
∫−ππsinnx⋅sinmxdx=0(m=n)
不同名的是正交的
∫−ππsinnx⋅cosmxdx=0
积化和差 可以证明上面两个
注意到自身内积都是非零的
⎩⎨⎧∫−ππ1dx=2π∫−ππcos2nxdx=π∫−ππsin2nxdx=π
说明在函数的 内积 意义下: 1,sinnx,cosnx 是一组 正交向量组,也是一组 正交基
- 通过函数能否写出傅里叶级数? → 欧拉-傅立叶系数公式
- 傅里叶级数收敛的函数是否和原函数相等 → 傅立叶级数收敛定理
函数展开成正弦级数或余弦级数
周期一般化的傅立叶级数展开