第11章F级数.docVIP

第十一章 Fourier级数 引言 所谓Fourier级数实际是三角级数，也就是形如 SKIPIF 1 0 的函数项级数，因此谈到Fourier级数的历史，必须从三角级数谈起。 三角级数最初引起数学、物理学家们、天文学家的广泛研究兴趣始于18世纪初期。当时，人们已经开始对天文现象进行进一步的研究，因此，在确定行星的位置、行星的扰动理论等，都需要涉及函数的插值问题，而三角级数的最初使用就是处理插值问题：（即已知 SKIPIF 1 0 在正整数 SKIPIF 1 0 处的值，计算 SKIPIF 1 0 在其它 SKIPIF 1 0 点的值）Euler于1747年得到了一个函数的三角表示，即在求解周期函数 SKIPIF 1 0 ， SKIPIF 1 0 时，他利用Taylor展开理论得到了如下形式的解： SKIPIF 1 0 ， 其中 SKIPIF 1 0 ， SKIPIF 1 0 根据 SKIPIF 1 0 用积分形式来表示。显然，这已经是Fourier级数的形式了，这样函数的周期性质与所研究的天文现象的周期性是吻合的。1754年，D′Alembert在研究把两个行星间距离的倒数展开为原点到两行星的两条射线夹角的余弦时，也得到了三角级数。Euler还从数学研究的角度出发，得到了一个函数的三角级数表示。1757年，Clairant在研究因太阳而引起的摄动时，他把任何一个函数更大胆得都写成了形式 SKIPIF 1 0 ，而Lagrange在对声波分布的研究中，也得到了三角级数。1777年，Euler在研究天文学问题时，实际上用三角级数的正交性得到了三角级数的系数，这实际上就是今天的系数公式。这基本上是18世纪关于三角级数的全部工作。而当时的这些大数学家并没认识到，他们最初的这些工作正开创一个全新的研究领域，只是他们没有认识到而已，因为从他们的思想上还存在着矛盾：虽然他们正进行着把各种不同的近乎所有的函数类型都表示成三角级数，而他们却并不认为任意函数都可以用这样的级数表示。 这一领域的真正发展发生在19世纪，迈出这一步的并且是19世纪数学发展上的第一大步也是真正极为重要一步的是（法）Fourier。象同时代其它科学家一样，Fourier从事热流动的研究，当时对这一问题的研究工作从工业上是为了处理金属，从科学上是试图确定地球内部的温度。1807年，Fourier向巴黎科学院提交了一篇关于热传导的基本论文，提出了任意周期函数都可以用三角级数表示的想法，成为Fourier分析的起源。这篇论文经Lagrange，Laplace，Legendre评审被拒绝了。1811年，他提交修改过的论文，虽获得了为鼓励热研究而设立的奖金，但论文仍由于被认为缺乏严密性而未能发表在科学院的报告里。直到1822年，他发表了数学的经典文献《热的解析理论》，其1811年的论文正是其中的一部分。两年后，他成了科学院的秘书他才把1811年的论文原封不动地发表在《报告》里。 在他的著作中，给出了热导方程的解析解，这个解的形式是三角级数，他还系统地研究了函数的三角级数的表示问题，并断言任意函数都可以展开成三角级数，列举了大量的函数展开的例子，这就是Fourier级数。对展开后的级数是否收敛，是否收敛于函数自身这些问题，他没给出严格的证明。1829年，Dirichlet第一个给出了Fourier级数收敛于自身的充分条件。后经过众多数学家的工作，形成了今天的Fourier级数理论。 Fourier级数理论还为现在称之为偏微分方程（PDE）的研究开创了新局面，当时人们正在研究简单的物理问题，如：强振动问题，波动问题等，这些问题在自然界普遍存在且具有明显的周期性；这正和三角级数的周期性质相吻合。因此，以至后来的数学家例如Poisson相信：所有偏微分方程（PDE）都可用三角级数求解，这些方向上不断的努力和探索，完善并丰富了Fourier级数的理论。 可以这样说：从Fourier在《热的解析理论》中运用三角级数处理热导问题以来，众多数学家如Dirichlet，Riemann，Lipschitz等都从事这一领域的研究，不仅弥补了Fourier工作之不足，而且极大发展了这一级数理论，扩大了其应用范围，使得这一理论成为研究周期现象不可缺少的工具，特别是现代实用性很强的小波分析理论和方法也是从Fourier分析的思想方法演化而来。因此，Fourier分析理论已成为现代分析的核心内容，而从应用角度讲：在解决实际问题中，人