§3Fourier级数.docVIP

Fourier级数 周期为的函数的Fourier展开 以下总设函数在上有定义，Riemann可积，并已按它在上的值周期延拓到，换句话说，是定义在整个实数范围的以为周期的周期函数（但在实际计算时，对的延拓可以仅仅是观念上的）。 Fourier展开的基础是三角函数的正交性。容易证明，函数族 按内积 是一个正交函数列，即满足 ， ， ， ，， ， 。 形如的函数项级数称为三角级数，其中（）为常数。 现假定函数可以表示成三角级数 。 将上式两边同乘（）后，在上取积分（假定可以逐项积分），便得 ， 所以（将下标改写为） ， ， 同理可得 ， ， 这称为Euler-Fourier公式，而和称为的Fourier系数，由这些和确定的三角级数称为的Fourier级数。于是，我们可以形式地将函数展开为 。 同前面一样，仍将函数的Fourier级数的部分和记为 。 要特别指出的是，目前在和它的Fourier级数之间不能用等号而只能用“~”，因为我们不知道右端的三角级数是否收敛；即使收敛，也不知道它能否收敛到本身（参见下面的有些例子）。这个问题我们将在后面讨论。 例9.3.1 求函数的Fourier级数。 解 先计算函数的Fourier系数。 ， 且对，有 ， ， 于是得到函数的Fourier级数 。 (b) y 1 0 x (a) 图9.3.1 函数的图形在电工学中称为方波（图9.3.1(a)），上式表明它可以由一系列正弦波迭加得到。但显然，当和时，右端级数的和为，不等于。 图9.3.1(b)给出了在上，的Fourier级数的部分和函数的逼近情况。 正弦级数和余弦级数 由定积分的性质，若是奇函数，那么显然有，而 ， 。 这时，相应的Fourier级数为 。 形式为的三角级数称为正弦级数。 如在例9.3.1中，令（即的图形往下移动），则是奇函数，从上面的结果看到，它的Fourier级数确为正弦级数。 同样，若是偶函数，那么有，且 ，。 相应的Fourier级数为 。 形式为的三角级数称为余弦级数。 反过来，在实际问题中也经常需要将一个函数展开成正弦级数或余弦级数。 例9.3.2 将分别展开为余弦级数和正弦级数。 解 先考虑余弦级数的情况。从理论上来说，这时应先进行对函数偶延拓 但这一步同样只需在观念上进行，因为只要按偶函数的情况算Fourier系数，所得的自然就是偶延拓后的函数的Fourier级数。经计算得 。 而对，有 于是得到的余弦级数 。 (b) 这是由一系列的正弦波迭加出来的锯齿波（图9.3.2(a)），从图9.3.2(b)看出，其逼近情况相当好。 y 0 x (a) 图9.3.2 再看正弦级数的情况。 对 ， 于是得到的正弦级数 。 它的几何意义是由一系列的正弦波迭加出来的三角波（图9.3.3(a)），其逼近情况见图9.3.3(b)。与例9.3.1类似，它在时的值是0，与不相等。 注意，这两种级数的表达形式虽然大相径庭，但在下一段就会知道，若限制在上，它们表示的确是同一个函数。 (b) y 0 x (a) 图9.3.3 任意周期的函数的Fourier展开 如果函数的周期为，在上Riemann可积。作变换，则 是定义在上的周期为的函数。利用前面的结果，有 。 还原变量，便得 。 相应的Fourier系数为 ， ， ， 。 例9.3.3 将函数 展开为Fourier级数。 解 在上面的公式中令，计算函数的Fourier系数，得 。 对于，利用分部积分法，得 ， 。 于是得到的Fourier级数 。 函数的图形及由一系列正弦波迭加的近似情况见图9.3.4。 y 1 -1