探索傅里叶级数的一致收敛性,逐项积分性和逐项微分性.docVIP

探索傅里叶级数的一致收敛性，逐项微分性和逐项积分性 在第15章的第1节和第3节分别建立和证明了傅里叶级数的收敛定理（定理15.3）： 设 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 在 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 可作为 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 上可积，利用定积分的定义即可． 引理2（推广的分部积分公式）若 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 应用引理1即可． 引理3（ SKIPIF 1 0 与 SKIPIF 1 0 的傅里叶系数的关系）设 SKIPIF 1 0 在 SKIPIF 1 0 上连续，按段光滑，且