高等数学考研笔记（七）

高等数学考研笔记（七）：无穷级数

• 无穷级数相关概念：

  • 收敛：$\lim \sum a_n$存在；

  • 发散：$\lim \sum a_n$不存在；

  • 绝对收敛： $\lim \sum \mid a_n\mid$存在；绝对收敛级数一定收敛；

  • 条件收敛：$\lim \sum \mid a_n\mid$不存在，且$\lim \sum a_n$存在；

  • 一致收敛：设函数项级数$\sum u_n(x)$，对于任意给定的正数$\epsilon$，都存在一个只依赖于$\epsilon$的自然数N，使得当n>N时，对于区间$I$上的一切x，都有：
    $$|r_n(x)|=|S(x)-S_n(x)|<\epsilon$$
    则称函数项级数$\sum u_n(x)$在区间I上一致收敛于$S(x)$；

  • 收敛区间：若幂级数的收敛半径是$R$，则$(-R,R)$称该幂级数的收敛区间；

  • 收敛域：若幂级数的收敛区间为$(-R,R)$，考察边界点的收敛性，则该幂级数的收敛域为：

    • $[-R,R)$，若$x=-R$处收敛，$x=R$处发散；
    • $(-R,R]$，若$x=R$处收敛，$x=-R$处发散；
    • $[-R,R]$，若$x=R,x=-R$处均收敛；
    • $(-R,R)$，若$x=R,x=-R$处发散；

• 收敛级数性质：

  • 收敛级数的通项极限为0；

  • 正项收敛级数的子级数一定收敛；

  • 收敛级数具有可结合性；

  • 绝对收敛级数具有可更序性；

  • 条件收敛的级数的所有正项或所有负项构成的级数一定发散；

  • 两收敛级数的和为收敛级数；一收敛级数和一发散级数的和为发散级数；两个发散级数的和的级数的敛散性不定；

  • 两绝对收敛级数的和为绝对收敛级数；一绝对收敛级数和一条件收敛级数的和为条件收敛级数；两条件收敛级数的和可能是绝对收敛级数也可能是条件收敛级数；

  • 若正项级数$\sum a_n$收敛，则：$\sum a_n^2$收敛，反之不然；若$\sum a_n^2$收敛，则正项级数$\sum a_n/n$收敛；

  • 对于一致收敛（幂级数在收敛域内一致收敛）的函数级数$\sum u_n(x)$：

    • 若$u_n(x)$连续，则和函数连续；
    • 和函数可以逐项求导；
    • 和函数可以逐项积分；

  • 设幂级数$\sum _{n=0}{a}_n{x}^n$的收敛半径是$R$，和函数为$S(x)$，则：

    • 幂级数$\sum _{n=0}{a}_n{x}^{2n}$和$\sum _{n=0}{a}_n{x}^{2n-1}$的收敛半径为$\sqrt{R}$；

    • 奇偶子列幂级数必定收敛，故收敛半径$R’\ge R$；

    • $S(x)$在$(-R,R)$上连续；

    • $S(x)$在$(-R,R)$上可导，且可逐项求导，即$S^{\prime }(x)=\sum _{n=1}n{a}_n{x}^{n-1}$；

    • $S(x)$在$(-R,R)$上可积，且可逐项积分，即${\int }_0^{x}S(t)dt=\sum _{n=0}{\int }_0^x{a}_n{t}^{n}dt=\sum _{n=0}\frac{a_n}{n+1}{x}^{n+1}$

      $\Rightarrow$ 若${\int }_0^{x}S(t)dt$在R处左连续，且$\sum _{n=0}\frac{a_n}{n+1}{R}^{n+1}$收敛，则$S(x)$在$(-R,R]$上可积；$x=-R$时同理

    • $a_n=\frac{S^{(n)}(0)}{n!}$；$特别地，S(0)=a_0$；

• 数项级数敛散性判定定理：

  • 任意级数：

    • 部分和$S_n$极限存在（充要，定义）；

    • 柯西收敛原理（充要）：级数$\sum u_n$收敛，当且仅当对于任意给定的正数$\epsilon$，总存在N，使得当n>N时，对于任意正整数p，都有：
      $$|u_{n+1}+u_{n+2}+..+u_{n+p}|<\epsilon$$

    • 通项判别法（必要）：收敛级数的通项$u_n$趋近于0；

    • 阿贝尔判别法（充分）：若满足：① $\sum b_n$收敛；② { a n } \{a_n\} {an​}单调有界，则：级数$\sum a_n{b}_n$收敛；

    • 狄利克莱判别法（充分）：若满足：① $\sum b_n$有界；② { a n } \{a_n\} {an​}单调趋近于零，则：级数$\sum a_n{b}_n$收敛；

  • 正项级数：

    • 部分和$S_n$有上界（充要）；

    • 比较定理（充分）：

      • 若$\lim \frac{u_n}{v_n}=\rho (0\le \rho <+\infty )$，且级数$\sum v_n$收敛，则$\sum u_n$收敛；
      • 若$\lim \frac{u_n}{v_n}=\rho (0<\rho \le +\infty )$，且级数$\sum v_n$发散，则$\sum u_n$发散；
      • 常用于比较的已知敛散性的正项级数：
        • $p$级数：$\sum _{n=1}^{\infty }\frac{1}{n^p}\{\begin{array}{ll}收敛,& p>1\\ 发散,& p\le 1\end{array}$；
        • 等比级数：$\sum _{n=1}^{\infty }a{q}^n\{\begin{array}{ll}收敛,& 0<q<1\\ 发散,& q>1,a>0\end{array}$；
        • 对数$p$级数：$\sum _{n=2}^{\infty }\frac{1}{l{n}^{p}n}发散,p>0$；
        • 幂对数$p$级数：$\sum _{n=2}^{\infty }\frac{1}{n^{p}l{n}^{q}n}\{\begin{array}{ll}收敛,& p>1或(p=1且q>1)\\ 发散,& p<1或(p=1且q\le 1)\end{array}$；

    • 柯西判别法（充分）：令$\lim \sqrt[n]{u_n}=\rho$，

      • 若$\rho <1$，级数$\sum u_n$收敛；
      • 若$\rho >1或\rho =+\infty$，级数$\sum u_n$发散；
      • 若$\rho =1$，无法判定级数$\sum u_n$的敛散性；

    • 达朗贝尔判别法（充分）：令$\lim \frac{u_{u+1}}{u_n}=\rho$，

      • 若$\rho <1$，级数$\sum u_n$收敛；
      • 若$\rho >1或\rho =+\infty$，级数$\sum u_n$发散；
      • 若$\rho =1$，无法判定级数$\sum u_n$的敛散性；

    • 柯西积分判别法（充分）：若存在一个单调递减的正值函数$f(x)$，使得：$u_n=f(n)$，

      则：级数$\sum u_n$和广义积分${\int }_1^{+\infty }f(x)dx$的敛散性相同；

    • 库默尔判别法（充分）：设$\Sigma \frac{1}{c_n}$是一个发散的正项级数，令：

      $K_n=c_n\ast \frac{u_n}{u_{n+1}}-c_{n+1},K=\lim K_n$

      • 若$K>0$，级数$\sum u_n$收敛；
      • 若$K<0$，级数$\sum u_n$发散；
      • 若$K=0$，无法判定$\sum u_n$的敛散性；

    • 拉阿伯判别法（充分）：令库默尔判定法中的$c_n=n$，则可令：

      $R_n=n(\frac{u_n}{u_{n+1}}-1),R=\lim R_n$

      • 若$R>0$，级数$\sum u_n$收敛；
      • 若$R<0$，级数$\sum u_n$发散；
      • 若$R=0$，无法判定$\sum u_n$的敛散性；

    • 贝朗特判别法（充分）：令库默尔中的$c_n=n\ln n$则，可令：

      $B_n=\ln n[n(\frac{u_n}{u_{n+1}}-1)-1]$$,B=\lim B_n$

      • 若$B>0$，级数$\sum u_n$收敛；
      • 若$B<0$，级数$\sum u_n$发散；
      • 若$B=0$，无法判定$\sum u_n$的敛散性；

    • 高斯判别法（充分）：若$\frac{u_n}{u_{n+1}}=\lambda +\frac{\mu }{n}+\frac{c_n}{n^2}$, 其中λ和μ都是常数，而$c_n$是有界量，则：

      • 若$\lambda >1$，级数收敛；
      • 若$\lambda <1$，级数发散；
      • 若$\lambda =1$，若$\mu >1$级数收敛，$\mu \le 1$时级数发散；

  • 交错级数：

    • 莱布尼兹定理（充分）：若交错级数$\sum (-1{)}^{n+1}{u}_n$的一般项$u_n$单调趋近于零，则级数收敛，且其余项$r_n$与$(-1{)}^{n+2}{u}_{n+1}$的符号相同，且$|r_n|\le u_{n+1}$；

• 函数项级数收敛定理：

  • 任意级数：

    • 魏尔斯特拉斯判别法（充分）：如果函数项级数$\sum u_n(x)$满足：$|u_n(x)|\le a_n$，且正项级数$\sum a_n$收敛，则$\sum u_n(x)$在区间I上一致收敛；

  • 幂级数：

    • 阿贝尔定理（充分）：

      • 若幂级数$\sum a_n{x}^n$在点$x_0\ne 0$收敛，则对满足$|x|<|x_0|$的一切x，幂级数$\sum a_n{x}^n$绝对收敛；
      • 若幂级数$\sum a_n{x}^n$在点$x_0\ne 0$处发散，则对满足$|x|>|x_0|$的一切x，幂级数$\sum a_n{x}^n$发散；
      • 若幂级数$\sum a_n(x-x_0{)}^n$在$x=b$处条件收敛，则$x=b$为该幂级数收敛区间的一个端点；

    • 柯西-阿达马定理（充分）：对于幂级数$\sum a_n{x}^n$，令$\lim |\frac{a_{n+1}}{a_n}|=\lim \sqrt[n]{|a_n|}=l$，

      则其收敛半径为：
      $$R=\{\begin{array}{ll}\frac{1}{l},& 0<l<+\infty \\ +\infty ,& l=0\\ 0,& l=+\infty \end{array}$$

    • 若$\sum a_n{x}^n$的收敛半径为$R_a$，$\sum b_n{x}^n$的收敛半径为$R_b$，则$\sum (a_n\pm b_n)x^n$的收敛半径:
      $$R\{\begin{array}{ll}=min(R_a,R_b),& R_a\ne R_b\\ \ge min(R_a,R_b),& R_a=R_b\end{array}$$

  • 泰勒级数：

    • 余项判别法（充要）：若函数$f(x)$在$x_0$处展开的泰勒级数的余项$\lim R_n(x)=0$，则该泰勒级数在$x_0$处收敛于$f(x)$；

• 无穷限广义积分收敛定理：

  • 柯西收敛原理（充要）：广义积分${\int }_a^{+\infty }f(x)dx$收敛，当且仅当：对于任意给定的正数$\epsilon$，存在$A>a$，使得当$b_1,a_1>A$时，恒有：
    $$|{\int }_{a_1}^{b_1}f(x)dx|<\epsilon$$

  • 比较判别法（充分）：设$f(x),g(x)在[a,+\infty ]$上为正值函数，且在任意区间$[a,b]$上可积，令：
    $$\underset{x\to +\infty }{\lim }\frac{f(x)}{g(x)}=\rho$$
    则有：

    • 若$0\le \rho <+\infty$，且${\int }_a^{+\infty }g(x)dx$收敛，则${\int }_a^{+\infty }f(x)dx$收敛；
    • 若$0<\rho \le +\infty$，且${\int }_a^{+\infty }g(x)dx$发散，则${\int }_a^{+\infty }f(x)dx$发散；

  • 柯西判别法（充分）：设$f(x)在[a,+\infty ]$上为正值函数，令：
    $$\underset{x\to +\infty }{\lim }{x}^{p}f(x)=\rho$$
    即比较判别法中：$g(x)=\frac{1}{x^p}$

    由于：$g(x)=\frac{1}{x^p}\{\begin{array}{ll}收敛,& p>1\\ 发散,& p\le 1\end{array}$

    则有：

    • 若$0\le \rho <+\infty$，且$p>1$，则${\int }_a^{+\infty }f(x)dx$收敛；
    • 若$0<\rho \le +\infty$，且$p\le 1$，则${\int }_a^{+\infty }f(x)dx$发散；

    $\Rightarrow$ 扩展：另外常用的一个$g(x):{\int }_a^{+\infty }\frac{1}{x(lnx{)}^p}\{\begin{array}{ll}收敛,& p>1\\ 发散,& p\le 1\end{array}$

  • 阿贝尔判别法（充分）：若满足：① ${\int }_a^{+\infty }g(x)dx$收敛；② $f(x)$单调有界，则：

    级数${\int }_a^{+\infty }f(x)g(x)dx$收敛；

  • 狄利克莱判别法（充分）：若满足：① $\forall A\ge a,{\int }_a^{A}g(x)dx$有界；② $f(x)$单调趋近于零，则：

    级数${\int }_a^{+\infty }f(x)g(x)dx$收敛；

• 无界函数广义积分收敛定理：(默认以b为奇点)

  • 柯西收敛原理（充要）：广义积分${\int }_a^{b}f(x)dx$收敛，当且仅当：对于任意给定的正数$\epsilon$，存在$\delta >a$，使得当$0<{\eta }_2<{\eta }_1<\delta$时，恒有：
    $$|{\int }_{b-{\eta }_1}^{b-{\eta }_2}f(x)dx|<\epsilon$$

  • 比较判别法（充分）：设$f(x),g(x)在[a,b)$上为正值函数，令：
    $$\underset{x\to b^{-}}{\lim }\frac{f(x)}{g(x)}=\rho$$
    则有：

    • 若$0\le \rho <+\infty$，且${\int }_a^{b}g(x)dx$收敛，则${\int }_a^{b}f(x)dx$收敛；
    • 若$0<\rho \le +\infty$，且${\int }_a^{b}g(x)dx$发散，则${\int }_a^{b}f(x)dx$发散；

  • 柯西判别法（充分）：设$f(x)在[a,b)$上为正值函数，令：
    $$\{\begin{array}{ll}\underset{x\to b^{-}}{\lim }(b-x{)}^{p}f(x)=\rho ,& b为奇点\\ \underset{x\to a^{+}}{\lim }(x-a{)}^{p}f(x)=\rho ,& a为奇点\end{array}$$
    即比较判别法中：$g(x)=\frac{1}{(b-x{)}^p}或\frac{1}{(x-a{)}^p}$

    由于：${\int }_{a^{+}}^b\frac{1}{(x-a{)}^p},{\int }_a^{b^{-}}\frac{1}{(b-x{)}^p}均:\{\begin{array}{ll}收敛,& 0<p<1\\ 发散,& p\ge 1\end{array}$

    则有：

    • 若$0\le \rho <+\infty$，且$0<p<1$，则${\int }_a^{+\infty }f(x)dx$收敛；
    • 若$0<\rho \le +\infty$，且$p\ge 1$，则${\int }_a^{+\infty }f(x)dx$发散；

    $\Rightarrow$ 扩展：常用的结论：${\int }_0^1\frac{lnx}{x^p}\{\begin{array}{ll}收敛,& p<1\\ 发散,& p\ge 1\end{array}$

  • 阿贝尔判别法（充分）：若满足：① ${\int }_a^{b}g(x)dx$收敛；② $f(x)$单调有界，则：

    级数${\int }_a^{+\infty }f(x)g(x)dx$收敛；

  • 狄利克莱判别法（充分）：若满足：① $\forall a\le A<b,{\int }_a^{A}g(x)dx$有界；② $f(x)$单调且$\underset{x\to b^{-}}{\lim }f(x)=0$，则：级数${\int }_a^{+\infty }f(x)g(x)dx$收敛；

• 傅里叶级数：

  • 狄利克莱收敛定理：设周期函数$f(x)$的周期为$2l$，若满足：

    ① $f(x)$在$[-l,l]$上连续或只有有限个第一类间断点；

    ② $f(x)$在$[-l,l]$上只有有限个严格极值点；

    则$f(x)$的傅里叶级数收敛；

  • 若周期为$2l$的周期函数$f(x)$满足狄利克莱收敛定理，则其傅里叶级数为：

$$\frac{a_0}{2}+\sum _{n=1}^{+\infty }(a_{n}cos\frac{n\pi x}{l}+b_{n}sin\frac{n\pi x}{l})=\{\begin{array}{ll}f(x),& x为f(x)的连续点\\ \frac{f(x^{+})+f(x^{-})}{2},& x为f(x)的间断点\end{array}$$

​ 其中：
$$\begin{gathered} a_n=\frac{1}{l}{\int }_{-l}^{l}f(x)cos\frac{n\pi x}{l}dx,n=0,1,2,.. \\ {b}_n=\frac{1}{l}{\int }_{-l}^{l}f(x)sin\frac{n\pi x}{l}dx,n=1,2,.. \end{gathered}$$

• 若周期为$2l$的周期函数$f(x)$是奇函数，则其傅里叶级数为：

$$\sum _{n=1}^{+\infty }{b}_{n}sin\frac{n\pi x}{l}=\{\begin{array}{ll}f(x),& x为f(x)的连续点\\ \frac{f(x^{+})+f(x^{-})}{2},& x为f(x)的间断点\end{array}$$

​ 其中：
$$b_n=\frac{2}{l}{\int }_0^{l}f(x)sin\frac{n\pi x}{l}dx,n=1,2,..$$

• 若周期为$2l$的周期函数$f(x)$是偶函数，则其傅里叶级数为：

$$\frac{a_0}{2}+\sum _{n=1}^{+\infty }{a}_{n}cos\frac{n\pi x}{l}=\{\begin{array}{ll}f(x),& x为f(x)的连续点\\ \frac{f(x^{+})+f(x^{-})}{2},& x为f(x)的间断点\end{array}$$

​ 其中：
$$a_n=\frac{2}{l}{\int }_0^{l}f(x)cos\frac{n\pi x}{l}dx,n=0,1,2,..$$

---

---