第十六章fourier级数.pptVIP

第十六章 Fourier 级数 § 1 函数的 Fourier 级数展开 即通过 Taylor 展开将函数化成幂级数形式 ? ? ? ? ? 0 0 0 ) ( ) ( ! ) ( ) ( n n n x x n x f x f ， 经过理论上的完善之后， 它很快成为了微分学 （乃至整个函数论） 的 重要工具之一。 人们最熟悉的简单函数无非两类： 幂函数和三角函数。 英国数学 家 Taylor 在 18 世纪初找到了用幂函数的（无限）线性组合表示一般 函数 f x ( ) 的方法， 但是，函数的 Taylor 展开在应用中有一定的局限性。 首先在实际问题中总是（也只能）使用 Taylor 级数的部分和， 即 f x ( ) 的 n 次 Taylor 多项式 n n n x x n x f x x x f x x x f x f x P ) ( ! ) ( ) ( ! 2 ) ( ) )( ( ) ( ) ( 0 0 ) ( 2 0 0 0 0 0 ? ? ? ? ? ? ? ? ? ? ? ? 来近似地代替函数 ) ( x f ，这时候它要求 f x ( ) 有至少 n 阶的导数，这是 一条件比较苛刻的条件。 同时， 一般来说 Taylor 多项式仅在点 x 0 附近与 f x ( ) 吻合得较为理 想， 也就是说， 它只有局部性质。 为此有必要寻找函数的新的级数展 开方法。 19 世纪初， 法国数学家和工程师 Fourier 在研究热传导问题时， 找到了在有限区间上用三角级数表示一般函数 f x ( ) 的方法，即把 f x ( ) 展开成所谓的 Fourier 级数。 与 Taylor 展开相比， Fourier 展开对于 f x ( ) 的要求要宽容得多， 并且它的部分和在整个区间都与 f x ( ) 吻合得较为理想。 因此， Fourier 级数是比 Taylor 级数更有力、 适用性更广泛的工具， 它在声学、 光学、 热力学、 电学等研究领域极有价值， 在微分方程求解方面更是起着基 本的作用。可以说， Fourier 级数理论在整个现代分析学中占有核心 的地位。 本章介绍有关 Fourier 级数的一些基本知识与内容： ? 如何将一个给定的函数 f x ( ) 展开为 Fourier 级数 （称为 Fourier 展开 ） ； ? Fourier 级数的收敛条件； ? Fourier 级数的性质及某些相关问题。 以下总是假设 f x ( ) 在 [ π , π ] ? 上 Riemann 可积或在反常积分意义下 绝对可积（为方便起见，以下都简称为“可积或绝对可积” ） ，然后 按 ) ( x f 在 [ π , π ) ? 上的值周期延拓到 ) , ( ? ? ?? ， 换句话说， f x ( ) 是定义在 整个实数范围上的以 2 π 为周期的周期函数。 形如 a a nx b nx n n n 0 1 2 ? ? ? ? ? ( cos sin ) 的函数项级数称为 三角级数 ， 其中 0 a ， a n 和 b n （ ? , 2 , 1 ? n ）为常数 。 一、周期为 2 π 的函数的 Fourier 展开 为介绍 Fourier 级数我们先给出一类更广的级数 ---- 三角级数 的定义。 先假定 ．． f x ( ) 可以表示成如下形式的级数 f x ( ) ? a a nx b nx n n n 0 1 2 ? ? ? ? ? ( cos sin ) ， 也就是说假定 ．． 等式右边的三角级数收敛于 ) ( x f ， 那么该如何来确定三 角级数中的系数 a n 和 b n 。 在例 7.3.17 中证明了函数族 } , cos , sin , , 2 cos , 2 sin , cos , sin , 1 { ? ? nx nx x x x x 是长度为 2 π 的区间上的正交函数列： Fourier 展开的基础是三角函数的正交性。 π π cos cos d mx nx x ? ? π π sin sin d mx nx x ? ? ? , π m n ? ? ? ， ? ? N n m , , π π cos sin d 0 mx nx x ? ? ? ? ， ? , 2 , 1 , 0 ? m ， ? ? N n , π π 1 cos d mx x ? ? ? ? ,0 2 π m ? ? ， ? , 2 , 1 , 0 ? m 。 为了回答这一问题，先回忆三角函数的正交性