如何证明傅里叶级数的正确性?
首先,我们得明确什么是完备正交函数集,他其实就是一个众多函数的合集,比如包含着不同频率函数的集合如Sin(nΩω )、Cos(nΩω )。
他有点像线性代数中一个矩阵的基础解系的概念,也就是一群能够表达这个矩阵的基向量换言之,基础解系是指方程组解集的最大无关组,即若干个无关的解构成的能够表示任意解的组合。基础解系需要满足一下三个条件:
(1)基础解系中所有量均是方程组的解;
(2)基础解系线性无关,即基础解系中任何一个量都不能被其余量表示;
(3)方程组的任意解均可由基础解系线性标出,即方程组的所有解都可以用基础解系的量来表示。
同样的,这也是能够表达一个f(t)的基函数。
既然不同的基础解系彼此之间是互不相关的,所以他们之间的任意两个基向量相乘等于0;同理,只要我们能够证明: 就能够证明 是彼此相互正交的,那他们就能够构成一个完备正交函数集。
我们都知道把f(t)展开成傅里叶级数的三角函数形式:
又因为:
是正交的,他们可以组成包含n个n维函数f(t
所以当n趋于无穷大时,任意的函数都可以被这个函数集所表示,这也就证明了傅里叶级数的正确性。
当然哈,理论上是这样,但是实际工程中会出现8.9%左右的误差,称这种误差现象为吉布斯现象。