153Fourier级数的性质及收敛定理的证明.pptVIP

* 收敛定理: 光滑, 则在每一点 的傅里叶级数收敛 于 f 在点 x 的左、右极限的算术平均值,即 其中 为 的傅里叶系数. 定理 若以 为周期的函数 在 上按段 1.5.3 Fourier级数的性质 定理1 (贝塞尔(Bessel)不等式) 若函数 f 在 上可积, 则 为 其中 的傅里叶系数. (1)式称为Bessel不等 式. 证 令 考察积分 由于 根据Fourier系数公式可得 根据Fourier系数公式可得 对于 的积分. 应用三角函数系的正交性, 有 将(3), (4)代入(2)，可得 因而 它对任何正整数m成立. 而 为有限值, 所以正项级数 的部分和数列有界, 因而它收敛且有不等式(1)成立. 推论1 若 f 为可积函数, 则 因为(1)的左边级数收敛, 所以当 时, 通项 , 亦即有 与 , 这就是 (5) 式, 这个推论称为Riemann引理. 证 由于 所以 推论2 若 f 为可积函数,则 其中 式右端两项积分的极限在 时都等于零. 所以 左边的极限为零. 同样可以证明 显见 与 和 f 一样在 上可积.由推论1,(7) 当 t = 0 时, 被积函数中的不定式由极限 来确定. 上可积, 则它的傅里叶级数的部分和 可写成 定理2 若 是以2 为周期的函数, 且 在 证 在傅里叶级数部分和 中, 用傅里叶系数公式代入, 可得 令 , 得 因此在 上的积分等于 上的积 分, 再由下 式, 即 由上面这个积分看到,被积函数是周期为 的函数, 就得到 (8)式也称为 f 的傅里叶级数部分和的积分表达式. 现在证明 (收敛定理).重新叙述如下: 光滑, 则在每一点 的傅里叶级数收敛 于 f 在点 x 的左、右极限的算术平均值,即 其中 为 的傅里叶系数. 定理 若以 为周期的函数 在 上按段 证 只要证明在每一点 x 处下述极限成立: 即 或证明同时有 * *