傅里叶级数

三角级数·正交函数系

最简单的周期运动,可用正弦函数

                                                                       y=A\sin (\omega x+\varphi ) (1)

来描述,由(1)所表达的周期运动也称为简谐振动.由无穷多个简谐振动进行叠加就得到函数项级数

                                                                     A_0+\sum_{n=1}^{\infty }A_n\siin (n\omega x+\varphi _n)(2).

若级数(2)收敛,则它所描述的是更为一般的周期运动现象.只讨论\omega=1的情形得

                                                                 \frac{a_0}{2}+\sum_{n=1}^{\infty}(a_n\cos nx+b_n\sin nx)(3).

它是由三角函数列(也称三角函数系)

                                                 1,\cos x , \sin x,\cos 2x, \sin 2x,...\cos nx,\sin nx,... (4)

所产生的一般形式的三角级数.其中记A_0=\frac{a_0}{2},A_n\sin \varphi _n=a_n,A_n\cos \varphi_n=b_n,n=1,2,3,....

 

若两个函数\varphi\psi在[a,b]上可积,且\int_{a}^{b}\varphi (x)\psi (x)dx=0,则称函数\varphi\psi在[a,b]上是正交的.由此,三角函数系(4)在[-\pi,\pi]上具有正交性,或称(4)是正交函数系.

一致收敛判别定理

若级数\frac{\left | a_0 \right |}{2}+\sum_{n=1}^{\infty }(\left | a_n \right |+\left | b_n \right |)收敛,则级数(4)在整个数轴上绝对收敛且一致收敛.

在三角函数系(4)中,任何两个不相同的函数的乘积在[-\pi,\pi]的积都等于零,即

                                                                \int_{-\pi }^{\pi }\cos nxdx=\int_{-\pi }^{\pi }\sin nxdx=0,

                                                                 \int_{-\pi }^{\pi }\cos mx\cos nxdx=0(m \neq n),

                                                                \int_{-\pi }^{\pi }\sin mx\sin nxdx=0(m \neq n),

                                                                 \int_{-\pi }^{\pi }\cos mx\sin nxdx=0.

在三角函数系(4)中任何一个函数的平方在[-\pi,\pi]上的积分都不等于零,即

                                                                 \int_{-\pi }^{\pi }\cos ^{2}nxdx=\int_{-\pi }^{\pi }\sin ^{2}nxdx=\pi ,

                                                                 \int_{-\pi }^{\pi }1^{2}dx=2\pi .

棣莫弗公式                                               (\cos \theta +i\sin \theta)^{n}=\cos n\theta +i\sin n\theta .

2 \pi为周期的傅里叶级数

若在整个数轴上

                                                                f(x)=\frac{a_0}{2}+\sum_{n=1}^{\infty}(a_n\cos nx+b_n\sin nx)(5)

且等式右边级数一致收敛,则有如下关系式:

                                                              a_n=\frac{1}{\pi}\int_{-\pi }^{\pi }f(x)\cos nxdx , n=0,1,2,...(6a)

                                                              b_n=\frac{1}{\pi}\int_{-\pi }^{\pi }f(x)\sin nxdx , n=1,2,...(6b)

一般地说,若f是以2 \pi为周期且在[-\pi,\pi]上可积的函数,则a_n,b_n称为函数f(关于三角函数系)的傅里叶系数,三角级数(5)称为f(关于三角函数系)的傅里叶级数,记作

                                                               f(x)\sim \frac{a_0}{2}+\sum_{n=1}^{\infty}(a_n\cos nx+b_n\sin nx)(7)

上式中,符号"~"仅表示三角级数是由f(x)所生成的,并不意味着级数就等于f(x)也不意味着级数是否收敛. 

傅里叶级数收敛定理

2 \pi为周期的函数f在[-\pi,\pi]上按段光滑,则在每一点x\in [-\pi ,\pi],f的傅里叶级数(7)收敛于f在点x的左、右极限的算术平均值,即

                                                             \frac{f(x+0)+f(x-0)}{2}=\frac{a_0}{2}+\sum_{n=1}^{\infty}(a_n\cos nx+b_n\sin nx)

其中a_0,b_0为f的傅里叶系数.

下面先对定理中的某些概念作解释,然后举例说明如何运用这个定理把函数展开成傅里叶级数.

我们知道,若f的导函数在[a,b]上光滑.但若定义在[a,b]上除了至多有有限个第一类间断点的函数f的导函数在[a,b]上除了至多有限个点外都存在且连续,且在这有限个点上导函数f'的左、右极限存在,则称f在[a,b]上按段光滑.

根据上述定义,若函数f在[a,b]上按段光滑,则有如下重要性质:

1.f在[a,b]上可积.

2.在[a,b]上每一点都存在f(x\pm 0),且有

                                                               \lim_{t\to 0^{+}}\frac{f(x+t)-f(x-0)}{t}=f'(x+0),

                                                               \lim_{t\to 0^{+}}\frac{f(x-t)-f(x-0)}{-t}=f'(x-0).

3.补充定义f'在[a,b]上那些至多有限个不存在点上的值后(仍记为f'),f'在[a,b]上可积.

从几何图形上讲,在区间[a,b]上按段光滑函数,是由有限个光滑弧段所组成,它至多有有限个第一类间断点和角点.

推论  若f是以2 \pi为周期的连续函数,且在[-\pi,\pi]上按段光滑,则f的傅里叶级数在(-\infty ,+\infty )上收敛于f.

根据收敛定理的假设,f是以2 \pi为周期的函数,所以系数公式(6)中的积分区间[-\pi,\pi]可以改为长度为2 \pi的任何区间,而不影响a_n,b_n的值:

                                                             a_n=\frac{1}{\pi}\int_{c}^{c+2\pi }f(x)\cos nxdx , n=0,1,2,...\\ b_n=\frac{1}{\pi}\int_{c }^{c+2\pi}f(x)\cos nxdx , n=1,2,...(6')

其中c为任何实数.

注意:在具体讨论函数的傅里叶级数展开式时,常只给出函数f在(-\pi,\pi](或[-\pi,\pi))上的表达式,但应理解为它是定义在整个数轴上以2 \pi为周期的函数.即在(-\pi,\pi]以外的部分按函数在(-\pi,\pi]上的对应关系作周期延拓.如f为(-\pi,\pi]上的解析表达式,那么周期延拓后的函数为

                                                               \hat{f}(x)=\left\{\begin{matrix} f(x),x\in (-\pi ,\pi],\\ f(x-2k\pi),x\in ((2k-1)\pi ,(2k+1)\pi ],k=\pm 1,\pm 2,...\end{matirx}\right

因此我们说函数f的傅里叶级数就是指函数\hat{f}的傅里叶级数.

 

 

 

 

你可能感兴趣的:(数学分析)