第九章 傅里叶级数和傅里叶变换
在自然界中广泛地存在各种各样的周期性运动（即相隔一定时间间隔往复循返的过程）。例如，日月星球的运动，海洋潮汐的运动，电磁波与声波的运动，工厂里机器部件的往复运动，时钟摆的摆动以及人体心脏的跳动等等，都是周期性运动。
为了描述周期性的运动过程，数学上是借助某类函数来描述的。当然这类函数也要体现出周期性。这类函数称为周期函数。
在前面几章中，为了研究函数的性质，常常采用分析表示法，将这些函数在某区域展开成幂级数的形式，如泰勒级数或罗朗级数。但是，这种幂级数形式的展开式是体现不出周期性来的，那么，对于周期性函数应采取怎样的分析表示法呢？这就是本章要讨论的内容。
9.1 周期函数和傅里叶级数
9.1.1 周期函数 凡满足以下关系式：
f(x?T)?f(x) （T为常数） （9.1.1） 的函数，都称为周期函数。
周期的定义
（1） 满足式（9.1.1）的T值中的最小正数，即为该函数的周期； （2） 一个常数以任何正数为周期。 9.1.2 基本三角函数系
按某一规律确定的函数序列称为函数系。 如下形式的函数系：
?2?2?k?k?x ，cosx，sinx，?，cosx，sinx，? （9.1.2）
llllllk?k?x和sinx的周期为称为基本三角函数系。所有这些函数具有各自的周期，例如cosll2l，但它们的共有周期为2l（即所有周期的最小公倍数）。通常这个周期命名为函数系的k 1，cos?x，sin周期。所以式（9.1.2）的三角函数系的周期为2l。
如果我们将基本三角函数系中的函数，任意取n个组合，则我们可以得到一个较复杂的函数。例如图9.1（a）是两个函数的组合f(x)?sin函数的组合f(x)?sin
如果我们取跟多的函数组合，甚至全体的组合，将会得到更复杂的函数或我们期望的函数。
1
?12?x?sinx；图9.1（b）是三个l2l?12?13?x?sinx?sinx。 l2l3l9.1.3 傅里叶级数
现在我们讨论上述问题的逆问题。即如果给定一个周期为2l的任意周期函数f(x)
f(x?2l)?f(x) （9.1.3）
我们能否将它表示成简单的三角函数（有限个或无限个）之和呢？即能否将f(x)分解成如下形式：
a0?k?k?f(x)???(akcosx?bksinx) （9.1.4）
2k?1ll 如果能实现这种分解，那么对许多复杂的函数就可以通过简单的三角函数来研究其性质
了。
上述问题的回答是肯定的，并称式（9.1.4）为函数f(x)的傅里叶级数（有时我们也称它为狭义傅里叶展开式）。若函数f(x)按非三角函数系{?k(x)}(k?1,2,?）进行展开，所得的级数称为广义傅里叶展开式。因为这一问题，最早由工程师J.Fourier提出来的。他在1807年12月21日向权威的法国科学院宣告：任意的周期函数f(x)都能展开成正弦及余弦的无穷级数，即形式（9.1.4）的级数。他的宣告震怒了整个科学院。当时许多杰出的院士，包括著名的法国数学家拉格朗日等，都认为他的结果是荒谬的。因为那时它在数学上没有得到严格的证明。然而，现在数学家已经把“傅里叶级数理论”发展到相当高的水平，已有许多专著，并建立这级数收敛的非常明确的条件。这结果被认为是20世纪所发现的最重要的数学理论之一。
以上这种分解不仅具有严格的数学基础，而且还具有真实的物理背景。我们也可以用实验来证明这种分解过程。例如将矩形脉冲或半波整流电路的输出波形输入到一个选频放大器中，再将选频放大器的输出端接到示波器上，调整选频放大器的频率， 就可以看到示波器上出现各种不同频率的正弦波，这说明矩形脉冲或半波整流电路的输出波形可以看作许多不同频率的正弦波的叠加。特别是近几年来配备有数字电子计算机的专用仪器相应问世（如频率分析仪、快速傅里叶变换处理机、信号处理机等），想这种分解过程在很短的时间内就可以完成。
将一个周期为2l的任意周期函数按基本三角函数系展开，首先需要解决如下两个问题：
（1） 在什么条件下f(x)才能按基本三角函数系展开？
（2） 如何确定展开式中系数？也就是说，如果f(x)可以展开成下式：
a0?k?k?f(x)???(akcosx?bksinx)
2k?1ll（其中，a0前的
1系数，是为了使今后系数公式更为对称而引人的）那么a0,a1,?及2b1,b2,?这些系数应如何确定？为了解决这个问题，还需要介绍如下几个概念。
2
§9.2 完备正交函数系
由于我们前两章的知识，我们可以在任意区间?a,b?上建立一组完备正交函数系，首先从如下标准的S-L本征值问题（其中k(x)?1,q(x)?0,?(x)?1）出发，
y''??y?0,y(a)?y(b),y'(a)?y'(b) (a?x?b) （9.2.1）
以满足方程的解y(x)?cei?a,代人边界条件 ei?b?ei?a,ei?(b?a)?1
即
?(b?a)?2k? (k?0，?1，?2，?）
??(2k?2) （9.2.2） b?a由于周期性边界条件有两个线性独立的解（复数解的实部和虚部）。因此，我们这样来排序，令
?0?0,?2k?1??2k?(2k?2), b?a?0??1??2????2k?1??2k??
2k?x2k?x) y0(x)?1， y2k?1(x)?sin()， y2k(x)?cos(b?ab?a （9.2.3） 根据定理（8.2.1），上述{yk(x)}在区间?a,b?上构成完备正交系，并且任何一个在?a,b?上具有连续的一阶导数和分段连续的二阶导数，又适合本征值问题的边界条件的函数
f(x)，都可按{yk(x)}展开成在?a,b?上绝对且一致收敛的级数，即
f(x)??ckyk(x)
k?0?其中
ck?由于
(f,yk)yk2 (k?0,1,2,?） （9.2.4）
y0yk也可表示成
22??1dx?b?a
ab?y2k?12?y2k2?1(b?a) （k=1,2,3，?） 2 3
2k?x2k?x??f(x)?b0???aksin()?bkcos()? （9.2.5）
b?ab?a?k?1??其中
1bf(x)dx
b?a?a2b2k?xak?f(x)sin()dx （9.2.6）
b?a?ab?a2b2k?xbk?f(x)cos()dx ?ab?ab?ab0?如果令a=0，b=2?，即在区间?0,2?? 上下列函数系?yk?：
yo(x)?1,y2k?1(x)?sinkx,y2k(x)?coskx （ k=1,2,3?）
（9.2.7）
构成完备正交函数系。
如果令a=-l，b=l，即在区间??l,l? 上下列函数系{yk(x)}：
y0(x)?1,y2k?1(x)?sink?xk?x,y2k(x)?cos （ k=1,2,3?） （9.2.8） ll构成完备正交函数系。这函数系就是通常的基本三角函数系（9.1.2）。
展开式（9.2.5）中的本征函数系排序是按区间?a,b?上本征函数的零点个数来排序的，但为了照顾习惯和历史，我们仍按通俗的方式来排序。于是，f(x)按基本三角函数系展开式为
a0?k?k?f(x)???(akcosx?bksinx) （9.2.9）
2k?1ll其中系数
1lk?xf(x)cosdx （k=0,1,2,?） （9.2.10a） ??lll1lk?xdx （k=1,2,3，?） （9.2.10b） bk??f(x)sinl?ll ak?利用帕塞瓦尔等式（7.3.8），有 （ⅰ）若 f(x)??2?2?ckyk(x)，则fk?0k1??ckyk; （9.2.11）
2k?0? （ⅱ）若f1(x)??ck?0?yk(x)；f2(x)??ck2yk(x)，则
k?0 f1,f2????ck?0?k1k2cyk （9.2.12）
2 4
应用到f(x)按基本三角函数系展开式（9.2.9）上，并注意y02?2l,yk2?l,
a0?21l2 （ⅰ） ?f(x)dx???(ak?bk2) （9.2.13）
l?l2k?1a01a02?1l （ⅱ） ?f1(x)f2(x)dx???(ak1ak2?bk1bk2) （9.1.14）
l?l2k?1 综上所述，对于任意函数f(x)可按函数系{yk(x)}进行展开的条件是
（1） 函数f(x)在?a,b?上是绝对可积的连续函数（今后这条件可放宽，由狄利克雷
条件代替）；
（2） 函数系必须在?a,b?上是完备正交系。 以上两个条件才能保证f(x)展开如下形式：
f(x)?c0y0(x)?c1y1(x)?...?ckyk(x)?... （9.2.15）
其中系数由下式确定：
ck??baf(x)yk(x)dx?bay(x)dx2k （k=0,1,2,?） （9.2.16）
对于基本三角函数系（9.1.2），正是因为她在区间??l,l?上构成正交完备系，才能让绝对可积的连续函数f(x)展开成（9.2.9）形式的傅里叶级数，其中系数由公式（9.2.10）确定。
如果用?n来表示函数f(x)与其展开式的前n+1项之部分和的均方偏差，即
na01l?k?k???n???f(x)????akcosx?bksin2l?l?2k?1?ll??x??dx （9.2.17） ??2要使?n取极小值，对所有k下式必须成立：
??n?0 （k=0,1,2,?，n） ?ak??n?0 （k=1,2,?，n） ?ak这就导致求系数ak及bk的公式，即傅里叶系数公式（9.2.10a）及(9.2.10b)，并且这些公式
5
百度搜索“70edu”或“70教育网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，70教育网，提供经典综合文库傅里叶级数和傅里叶变换在线全文阅读。
相关推荐：
