傅里叶级数--新.pptVIP

傅里叶级数 除了幂级数, 还有一种常用的函数项级数 是三角级数 (1) 其中 都是常数, 称为上述三 角级数的系数. 三角级数(1)的部分和 称为n阶三角多项式. 显然, 三角级数(1)的和 函数S(x)存在时, 是一个周期为2π的函数. 与幂级数不同的是, S(x)不但不是无穷次可微的, 甚至是不连续的, 这非但不是缺点, 反而正是它的 优点. 这使我们可以指望将较差的函数展开成形 如(1)的三角级数. 设f(x)是周期为2π的函数. 本章主要研究下面两 个问题: (i) f(x)满足什么样的条件, 可以将它展开成三角 级数? (ii) 当f(x)可以展成三角级数时, 各个系数怎么 确定? 三角级数(1)中出现的函数列 (2) 称为三角函数系. 定义1 设f(x)和g(x)是[a, b]上的两个可积函数, 若 则称函数f(x)与g(x)在[a, b]上正交. 若函数系{fn(x)} 中的任何两个函数都正交, 则称该函数系为正交 函数系. 定理1 三角函数系是[-π, π]上的一个正交函 数系, 即 可以证明, 三角函数系在[0, 2π]以及任何长为 2π的区间[a, a+2π]上都是正交函数系. 设f(x)是以2π为周期的函数, 并假定f(x) 在区间[-π, π]可以展开成一致收敛的三角 级数 (3) 将(3)式在[-π, π]上积分, 得到 将(3)式两边同乘 , 这样得到的级数在 [-π, π]一致收敛到 , 然后在[-π, π]逐项积分并利用三角函数系的正交性, 得到 类似地可得 为了让所有 与 都可定义, 则 必须 在[-π, π]可积; 倘若 在[-π, π]有瑕点, 则 必须绝对收敛. 我们把满足以 上条件的 称为在[-π, π]绝对可积. 定义2 设f(x)以2π为周期, 在[-π, π]绝对可积, 则由公式 决定的 称为f(x)的傅里叶系数, 由这些 决 定的三角级数 称为f(x)的傅里叶级数, 记为 Remark 并不意味着 后者成立包含两重意思: 右边的级数收敛且收敛于f(x). 前者仅表示f(x)的傅里叶级数为右边级数, 而右边级数甚至可能不收敛. 例1 求f(x)=sgn(cos x)的傅里叶级数. 解: 显然, f(x)是以2π为周期的周期函数. 又f(x)为偶函数, 从而bn=0. 故 例2 设f(x)以2π为周期, 求f(x)的傅里叶级数. 解: 傅里叶级数的收敛性 定义1 若函数 f(x)在区间[a, b]上除有限 个第一类间断点外皆连续, 则称f(x)在[a, b] 上逐段连续. 若f(x)及其导数 都在[a, b]上逐段连续, 则称f(x)在[a, b]上逐段光滑. 根据上述定义, 若f(x)在[a, b]逐段光滑, 则 有如下重要性质: (i) f(x)在[a, b]可积; (ii) 在[a, b]上每一点x都存在 且有 收敛定理 定理1 若f(x)以2π为周期, 且在[-π, π] 逐段光滑, 则在每一点 f(x)的傅里 叶级数收敛于 f(x)在点 x的左、右极限的算 术平均值, 即 推论 若f(x)以2π为周期的连续函数, 且 在[-π, π]逐段光滑, 则f(x)的傅里叶级数在 收敛于 f(x). Remark 已知f(x)在[-π, π]逐