高数考研归纳 - 级数 - 傅里叶级数

点击此处查看高数其他板块总结

1 三角级数 (不重要)

(1) 简谐振动函数

$$y=A\text{sin}(\omega t+\phi )$$

  说明：
    (1) 该函数的周期：$\frac{2\pi }{\omega }$
    (2) 振幅：$A$
    (3) 角频率：$\omega$
    (4) 初相：$\phi$

(2) 非正弦周期函数

  对于周期为$T$的非正弦周期函数，可以用一系列以$T$为周期的正弦函数$\text{sin}(n\omega t+{\phi }_n)$表示：
$$f(t)=A_0+\sum _{n=1}^{\infty }{A}_n\text{sin}(n\omega t+{\phi }_n)(n=1,2,3,...)$$

  其中，$A_0$、$A_n$、${\phi }_n$ 均为常数.

  说明：
    (1) 这种展开周期函数的行为被称为：谐波分析.
    (2) 直流分量：$A_0$
    (3) 一次谐波：$A_1\text{sin}(\omega t+{\phi }_1)$
    (4) 二次谐波：$A_2\text{sin}(2\omega t+{\phi }_2)$
    (5) $n$次谐波：$A_n\text{sin}(n\omega t+{\phi }_n)$

(3) 以$2l$为周期的三角级数

  对非正弦周期函数的展开进行变形代换可得三角级数：
$$\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\text{cos}\frac{n\pi t}{l}+b_n\text{sin}\frac{n\pi t}{l})(n=1,2,3,...)$$

    其中，$a_0$、$a_n$、$b_n$ 均为常数.

(4) 以$2\pi$为周期的三角级数

$$\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\text{cos}nx+b_n\text{sin}nx)(n=1,2,3,...)$$

    其中，$a_0$、$a_n$、$b_n$ 均为常数.

(5) 三角函数系

  三角函数系：
$$1,\text{cos}x,\text{sin}x,\text{cos}2x,\text{sin}2x,...,\text{cos}nx,\text{sin}nx,...$$

  三角函数系的正交性：

    三角函数系中任何两个不同函数的乘积在$[-\pi ,+\pi ]$上的定积分等于$0$：
$${\int }_{-\pi }^{\pi }\text{cos}nx\text{d}x=0(n=1,2,3,...)$$

$${\int }_{-\pi }^{\pi }\text{sin}nx\text{d}x=0(n=1,2,3,...)$$

$${\int }_{-\pi }^{\pi }\text{sin}kx\cdot \text{cos}nx\text{d}x=0(k,n=1,2,3,...)$$

$${\int }_{-\pi }^{\pi }\text{cos}kx\cdot \text{cos}nx\text{d}x=0(k,n=1,2,3,...,k\ne n)$$

$${\int }_{-\pi }^{\pi }\text{sin}kx\cdot \text{sin}nx\text{d}x=0(k,n=1,2,3,...,k\ne n)$$

    注意：
      (1) $1$也在三角函数系中，所以三角函数系中任意函数自身在$[-\pi ,+\pi ]$上的定积分也都等于$0$.
      (1) 三角函数系中两个相同函数在$[-\pi ,+\pi ]$上的定积分不等于$0$，也不是定值.

2 傅里叶级数基本概念

(1) 傅立叶系数

  $f(x)$是定义在$(-\infty ,+\infty )$上周期为$2\pi$的函数.
$$a_0=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\text{d}x$$

$$a_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\text{cos}nx\text{d}x(n=1,2,3,...)$$

$$b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\text{sin}nx\text{d}x(n=1,2,3,...)$$

  如果通过上面三个积分都存在，那么它们定出的系数$a_0$、$a_1$、$b_1$、…就是$f(x)$的傅立叶系数.

(2) 傅立叶级数 ($\text{Fourier Series}$)

  将傅立叶系数代入以$2\pi$为周期的三角级数即得傅里叶级数：
$$\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\text{cos}nx+b_n\text{sin}nx)$$

(3) 狄利克雷收敛定理 ($\text{Dirichlet}$)

  设$f(x)$是以$2\pi$为周期的可积函数，如果$f(x)$满足：
    (1) 在一个周期内连续或只有有限个第一类间断点；
    (2) 在一个周期内至多只有有限个极值点.
  则$f(x)$的傅里叶级数收敛，且

    当$x$是$f(x)$的连续点时，级数收敛于$f(x)$，即
$$\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\text{cos}nx+b_n\text{sin}nx)=f(x)$$

    当$x$是$f(x)$的间断点时，级数收敛于$\frac{1}{2}[f(x-0)+f(x+0)]$，即
$$\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\text{cos}nx+b_n\text{sin}nx)=\frac{f(x-0)+f(x+0)}{2}$$

(4) 正弦级数和余弦函数

正弦级数 (奇函数的傅里叶级数)

  奇函数的傅里叶级数是正弦级数：
$$\sum _{n=1}^{\infty }{b}_n\text{sin}nx$$

$$b_n=\frac{2}{\pi }{\int }_0^{\pi }f(x)\text{sin}nx\text{d}x(n=1,2,3,...)$$

  由来：当$f(x)$为奇函数时，$f(x)\text{cos}nx$是奇函数，$f(x)\text{sin}nx$是偶函数，所以
$$a_n=0$$$$b_n=\frac{2}{\pi }{\int }_0^{\pi }f(x)\text{sin}nx\text{d}x(n=1,2,3,...)$$

    于是有$\sum _{n=1}^{\infty }{b}_n\text{sin}nx$.

余弦级数 (偶函数的傅里叶级数)

  偶函数的傅里叶级数是余弦级数：
$$\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\text{cos}nx$$

$$a_0=\frac{2}{\pi }{\int }_0^{\pi }f(x)\text{d}x$$$$a_n=\frac{2}{\pi }{\int }_0^{\pi }f(x)\text{cos}nx\text{d}x(n=1,2,3,...)$$

  由来：当$f(x)$为偶函数时，$f(x)\text{cos}nx$是偶函数，$f(x)\text{sin}nx$是奇函数，所以
$$a_0=\frac{2}{\pi }{\int }_0^{\pi }f(x)\text{d}x$$$$a_n=\frac{2}{\pi }{\int }_0^{\pi }f(x)\text{cos}nx\text{d}x(n=1,2,3,...)$$$$b_n=0$$

    于是有$\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\text{cos}nx$.

(5) 周期为$2l$的周期函数的傅里叶级数

$$\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\text{cos}\frac{n\pi x}{l}+b_n\text{sin}\frac{n\pi x}{l})$$

  傅立叶系数为：
$$a_0=\frac{1}{l}{\int }_{-l}^{l}f(x)\text{d}x$$

$$a_n=\frac{1}{l}{\int }_{-l}^{l}f(x)\text{cos}\frac{n\pi x}{l}\text{d}x(n=1,2,3,...)$$

$$b_n=\frac{1}{l}{\int }_{-l}^{l}f(x)\text{sin}\frac{n\pi x}{l}\text{d}x(n=1,2,3,...)$$

     注意与以$2\pi$为周期傅里叶级数的傅立叶系数对比.

  当$f(x)$为奇函数时，
$$f(x)=\sum _{n=1}^{\infty }{b}_n\text{sin}\frac{n\pi x}{l}(x\in C)$$

$$b_n=\frac{2}{l}{\int }_0^{l}f(x)\text{sin}\frac{n\pi x}{l}\text{d}x(n=1,2,3,...)$$

  当$f(x)$为偶函数时，
$$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\text{cos}\frac{n\pi x}{l}(x\in C)$$

$$a_0=\frac{2}{l}{\int }_0^{l}f(x)\text{d}x$$

$$a_n=\frac{2}{l}{\int }_0^{l}f(x)\text{cos}\frac{n\pi x}{l}\text{d}x(n=1,2,3,...)$$

3 傅里叶级数展开

(一) 将周期为$2\pi$的$f(x)$展开成傅里叶级数

  原理：根据收敛定理，函数$f(x)$展开的傅里叶级数在连续点处收敛于该点的函数值，而在间断点收敛于该点左右极限的算术平均值. 所以函数$f(x)$的傅里叶级数展开式为：
$$f(x)\sim s(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\text{cos}nx+b_n\text{sin}nx)，$$$$x\in \left\{x\right|f(x)=\frac{1}{2}[f(x-0)+f(x+0)]\}$$

    $f(x)\sim s(x)$：$f(x)$展开为傅里叶级数$s(x)$.

  注意：特别注意傅立叶级数展开式$x$满足的条件. 这就是为什么我们不能认为$f(x)$等于傅里叶级数，而要说是$f(x)$展开成傅里叶级数. 因为根据狄利克雷收敛定理，函数$f(x)$展开的傅里叶级数在连续点处收敛于该点的函数值，而在间断点收敛于该点左右极限的算术平均值. 也就是说，$f(x)$与傅里叶级数相等，当且仅当$f(x)$连续. 否则，在$f(x)$的间断点处，傅里叶级数会取左右极限的算术平均值.

  步骤：
    step 1. 确定函数连续的部分 (找出间断点).
    step 2. 计算傅立叶系数$a_0$、$a_n$、$b_n$ ($n=1,2,3,...$).
    step 3. 将傅里叶系数代入傅里叶级数展开式即可.

  例. 设$f(x)$是周期为$2\pi$的周期函数，它在$[-\pi ,\pi )$上的表达式为：
$$f(x)=\{\begin{array}{ll}-1,& -\pi ⩽x<0,\\ 1,& 0⩽x<\pi .\end{array}$$

    将$f(x)$展开成傅里叶级数.
  
  解：
    当$x\ne k\pi$时，级数收敛于$f(x)$.
$$a_0=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\text{d}x=0$$

$$a_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\text{cos}nx\text{d}x=0$$

$$b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\text{sin}nx\text{d}x=\frac{2}{\pi }{\int }_0^{\pi }\text{sin}nx\text{d}x=\frac{2}{n\pi }[-(\text{cos}nx)]{|}_0^{\pi }$$$$=\frac{2}{n\pi }(-\text{cos}n\pi +1)=\frac{2}{n\pi }[1-(-1{)}^n]=\{\begin{array}{ll}\frac{4}{n\pi }& n=1,3,5,...\\ 0,& n=2,4,6...\end{array}$$

$$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\text{cos}nx+b_n\text{sin}nx)=\frac{4}{\pi }[\text{sin}x+\frac{1}{3}\text{sin}3x+...+\frac{1}{2k-1}\text{sin}(2k-1)x+...]$$$$=\frac{4}{\pi }\sum _{k=1}^{\infty }\frac{1}{2k-1}\text{sin}(2k-1)x(-\infty <x<+\infty ，x\ne m\pi ，m\in Z)$$

(二) $f(x)$只在$[-\pi ,\pi ]$上有定义

  如果$f(x)$只在$[-\pi ,\pi ]$上有定义，且在$[-\pi ,\pi ]$上满足狄利克雷收敛定理的条件，则$f(x)$经过周期延拓也可以展开成傅里叶级数.

  周期延拓：通过补充定义，使原函数成为周期函数. 傅里叶级数研究的核心对象是周期函数，所以对于非周期函数，要设法将其延拓为周期函数. 需要注意的是，并非所有函数都可以延拓为周期函数 (比如定义在全体实数集上的非周期函数).

(1) 周期延拓

  通过在$(-\pi ,\pi ]$或$[-\pi ,\pi )$外补充函数$f(x)$的定义，使之拓广成以$2\pi$为周期的周期函数$F(x)$，这种拓广函数定义域的过程称为周期延拓.

  注意：题目中的$f(x)$会给出$(-\pi ,\pi ]$或$[-\pi ,\pi )$上的表达式.

(2) 周期延拓展开成傅里叶级数

  步骤：
    step 1. 对$f(x)$定义域进行周期延拓，得到周期函数$F(x)$.
    step 2. 将$F(x)$展开成傅里叶级数.
    step 3. 限制$x$在$(-\pi ,\pi )$内，此时在$(-\pi ,\pi )$内$F(x)\equiv f(x)$.
    step 4. 检查端点处 ($x=\pm \pi$) 是否也收敛于$f(x)$.

  注意：
    经过周期延拓展开成的傅里叶级数，需要考虑单独考虑端点处是否收敛. 因为周期延拓以后，左右端点既可能成为连续点，也可能成为间端点. 如果成为连续点，是符合幂级数展开式条件的，就需要考虑在内. 这一步也可以在完成周期延拓以后就检查.
    总之，最后写范围的时候，判断端点处是否需要考虑，就看端点处在延拓以后是否连续. 连续就要加上，不连续就不包含.

(三) $f(x)$只在$[0,\pi ]$上有定义

  如果$f(x)$只在$[0,\pi ]$上有定义，且在$[0,\pi ]$上满足狄利克雷收敛定理的条件，则$f(x)$经过奇延拓(或偶延拓)也可以展成傅里叶级数，且此级数必为正弦级数或余弦级数.

  奇偶延拓：通过补充定义，使原函数成为奇函数或偶函数.

(1) 奇延拓

    通过在$(-\pi ,0)$内补充$f(x)$的定义，得到定义在$(-\pi ,\pi ]$上的$F(x)$，使它在$(-\pi ,\pi )$上成为奇函数 (若$f(0)\ne 0$，则规定$F(0)=0$). 这种拓广函数定义域的过程称为奇延拓.

(2) 偶延拓

    通过在$(-\pi ,0)$内补充$f(x)$的定义，得到定义在$(-\pi ,\pi ]$上的$F(x)$，使它在$(-\pi ,\pi )$上成为偶函数. 这种拓广函数定义域的过程称为偶延拓.

(3) 奇延拓展开成正弦级数

  步骤：
    step 1. 对$f(x)$定义域进行奇延拓，得到$F(x)$.
    step 2. 将$F(x)$展开成傅里叶级数，这个级数必为正弦级数.
    step 3. 限制$x$在$(0,\pi ]$内，此时在$(0,\pi ]$内$F(x)\equiv f(x)$.

  奇函数展开的傅里叶级数只有正弦项，所以称为正弦级数. 要将函数展开成正弦级数，就要通过奇延拓使函数成为奇函数.

(4) 偶延拓展开成余弦级数

  步骤：
    step 1. 对$f(x)$定义域进行偶延拓，得到$F(x)$.
    step 2. 将$F(x)$展开成傅里叶级数，这个级数必为余弦级数.
    step 3. 限制$x$在$(0,\pi ]$内，此时在$(0,\pi ]$内$F(x)\equiv f(x)$.

  偶函数展开的傅里叶级数只有余弦项，所以称为余弦级数. 要将函数展开成余弦级数，就要通过偶延拓使函数成为偶函数.

(四) 周期为$2l$的周期函数的傅里叶级数展开

  设周期为$2l$的周期函数$f(x)$满足狄利克雷收敛定理的条件，则它的傅里叶级数展开式为：
$$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\text{cos}\frac{n\pi x}{l}+b_n\text{sin}\frac{n\pi x}{l})(x\in C)$$

$$C=\left\{x\right|f(x)=\frac{1}{2}[f(x-0)+f(x+0)]\}$$

  其傅立叶系数为：
$$a_0=\frac{1}{l}{\int }_{-l}^{l}f(x)\text{d}x$$

$$a_n=\frac{1}{l}{\int }_{-l}^{l}f(x)\text{cos}\frac{n\pi x}{l}\text{d}x(n=1,2,3,...)$$

$$b_n=\frac{1}{l}{\int }_{-l}^{l}f(x)\text{sin}\frac{n\pi x}{l}\text{d}x(n=1,2,3,...)$$

  方法：与周期为$2\pi$的$f(x)$的展开方法一样，不再赘述. 二者区别仅在于傅立叶系数和傅里叶级数. 针对不同的区间也可以进行延拓.

4 傅里叶级数的和函数与和函数图形

  傅里叶级数展开，只考虑连续点的情况，是把函数展开为傅立叶函数.
  而求傅里叶级数的和函数，要综合考虑连续点和间断点的情况. 是把傅里叶级数转换为函数.

  考试不会直接考察求已知傅里叶级数的和函数，而是在已知$f(x)$基础上，再根据狄利克雷收敛定理确定间断点的值，直接写出和函数或者绘制出和函数的图形. 也就是：
$$s(x)=\{\begin{array}{ll}f(x),& x\in C,\\ \frac{f(x-0)+f(x+0)}{2},& x\notin C.\end{array}$$

$$C\in \left\{x\right|f(x)=\frac{1}{2}[f(x-0)+f(x+0)]\}$$

  例1. 设$f(x)$是周期为$2\pi$的周期函数，它在$[-\pi ,\pi )$上的表达式为：
$$f(x)=\{\begin{array}{ll}-1,& -\pi ⩽x<0,\\ 1,& 0⩽x<\pi .\end{array}$$

    将$f(x)$展开成傅里叶级数，求出级数的和函数，并作出级数的和函数图像.
  
  解：
    当$x=k\pi$时，级数收敛于
$$\frac{-1+1}{2}=\frac{1+(-1)}{2}=0$$
    当$x\ne k\pi$时，级数收敛于$f(x)$.
$$a_0=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\text{d}x=0$$

$$a_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\text{cos}nx\text{d}x=0$$

$$b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\text{sin}nx\text{d}x=\frac{2}{\pi }{\int }_0^{\pi }\text{sin}nx\text{d}x=\frac{2}{n\pi }[-(\text{cos}nx)]{|}_0^{\pi }$$$$=\frac{2}{n\pi }(-\text{cos}n\pi +1)=\frac{2}{n\pi }[1-(-1{)}^n]=\{\begin{array}{ll}\frac{4}{n\pi }& n=1,3,5,...\\ 0,& n=2,4,6...\end{array}$$

$$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\text{cos}nx+b_n\text{sin}nx)=\frac{4}{\pi }[\text{sin}x+\frac{1}{3}\text{sin}3x+...+\frac{1}{2k-1}\text{sin}(2k-1)x+...]$$$$=\frac{4}{\pi }\sum _{k=1}^{\infty }\frac{1}{2k-1}\text{sin}(2k-1)x(-\infty <x<+\infty ，x\ne m\pi ，m\in Z)$$

  设级数的和函数为$s(x)$，于是
$$s(x)=\{\begin{array}{ll}f(x),& x\ne m\pi ，m\in Z,\\ 0,& x=m\pi ，m\in Z.\end{array}$$

  和函数图像为：

    (间断点处的函数值"居于中间"，可简记为：两头挖空居中间)

  例2. 设$f(x)=|x-\frac{1}{2}|$，$b_n=2{\int }_0^{1}f(x)\text{sin}n\pi x\text{d}x(n=1,2,...)$，令$S(x)=\sum _{n=1}^{\infty }{b}_n\text{sin}n\pi x$，则$S(-\frac{9}{4})=?$
 
  解：$\sum _{n=1}^{\infty }{b}_n\text{sin}n\pi x$是一个正弦级数，结合$b_n=2{\int }_0^{1}f(x)\text{sin}n\pi x\text{d}x={\int }_{-1}^{1}f(x)\text{sin}n\pi x\text{d}x$，
    所以$S(x)$是在$[0,1]$对$f(x)$进行奇延拓、再进行周期延拓形成的，以$2$为周期的和函数.
    (画图分析理解) 于是$S(-\frac{9}{4})=S(-2-\frac{1}{4})=S(-\frac{1}{4})=-\frac{1}{4}$

  对于例2这种题目，可以通过已知条件画图分析，就千万不要先求出级数，再代值计算，非常浪费时间.