第七节Fourer级数.docVIP

PAGE PAGE 13 第七节 Fourier级数 如果f(x)在[a,b]上不是连续,能否有一个函数列收敛于或一致收敛于f(x)？本节将从事这个问题的讨论. 为了方便我们讨论的区间为[-ππ].在进行定义域的周期延拓,可以认为f(x)是(—∞,∞)上的以2π为周期的周期函数.所以能否用正弦和余弦函数来表示? 形如 SKIPIF 1 0 　　　　　 的级数称为三角级数． 为了研究一个函数能否表达为一个三角级数的和函数，先给出如下定理： 定理 11.28（三角函数系的正交性） １） SKIPIF 1 0 SKIPIF 1 0 ； ２） SKIPIF 1 0 SKIPIF 1 0 ； ３） SKIPIF 1 0 SKIPIF 1 0 ； ４） SKIPIF 1 0 SKIPIF 1 0 ； ５） SKIPIF 1 0 SKIPIF 1 0 ． 证明 只要简单的计算就可以得到上面的结论．比如４）的证明如下： SKIPIF 1 0 其余的请读者自己验证． 下面将依次予以讨论. 一、一般函数的傅立叶级数 设函数 SKIPIF 1 0 是区间 SKIPIF 1 0 上周期为 SKIPIF 1 0 的函数. 如果函数 SKIPIF 1 0 是一个三角级数的和函数,即 SKIPIF 1 0 ，　　　 SKIPIF 1 0 (11-7-1) 那么我们就说这个三角级数为 SKIPIF 1 0 的三角展开式. 这时系数 SKIPIF 1 0 与函数 SKIPIF 1 0 之间存在什么样的关系呢？即如何用 SKIPIF 1 0 把 SKIPIF 1 0 表示出来．我们假设级数可以逐项积分(比如一致收敛)，则 对(11-7-1)式从 SKIPIF 1 0 到 SKIPIF 1 0 逐项积分，得到 SKIPIF 1 0 ， 由三角函数系的正交性，等式右边除了第一项之外，其余的都是零，所以 SKIPIF 1 0 ， 从而可以求出 SKIPIF 1 0 ． 在(1)式两边同时乘以函数 SKIPIF 1 0 ，在从 SKIPIF 1 0 到 SKIPIF 1 0 逐项积分，得到 由三角函数的正交性， SKIPIF 1 0 外，其余的项都是零，所以 SKIPIF 1 0 ， 从而 SKIPIF 1 0 ． SKIPIF 1 0 类似地，可以求出 SKIPIF 1 0 ． SKIPIF 1 0 注意到当 SKIPIF 1 0 时， SKIPIF 1 0 ，所以上面的结果可以合并为 SKIPIF 1 0 ． SKIPIF 1 0 ． （11-7-2） SKIPIF 1 0 ． SKIPIF 1 0 (11-7-3) 一般地，我们给出如下定义: 定义 1 设f(x)在[-ππ]上可积, 则由如上所得的 SKIPIF 1 0 , SKIPIF 1 0 ，称为f(x)(关于三角级数) 的Fourier系数. 将这些系数代入(11-7-1)式得到的级数  称为 SKIPIF 1 0 的Fourier级数．记为 f(x) ~ . 下面主要讨论两个问题： 此级数是否收敛？ 若级数收敛，是否收敛到 SKIPIF 1 0 ? 如果 ,我们就称右边的Fourier级数为 SKIPIF 1 0 的Fourier展开,或展开成Fourier级数. 通过一系列的推导，可以得到下面的定理： 定理 11.29（Dirichlet收敛定理）设函数 SKIPIF 1 0 是以 SKIPIF 1 0 为周期的周期函数，如果在[-ππ]上 SKIPIF 1 0 最多只有有限个第一类间断点. 除间断点外 SKIPIF 1 0 有连续导函数, SKIPIF 1 0 在间断点的左右极限存在