1.6 数项级数与函数项级数

第一章 数学分析

全文均为手敲，如果发现有误，请于评论区交流讨论留言，作者会及时修改

1.6 数项级数与函数项级数

1. 无穷级数收敛的必要条件

   $$若\sum _{n=1}^{\infty }{a}_n收敛，则\underset{n\to \infty }{\lim }{a}_n=0$$

2. 正项级数收敛的充要条件

   正向级数 ∑ n = 1 ∞ a n ( a n ≥ 0 ) 收敛 ⇔ 部分和序列 { S n ∣ S n = ∑ k = 1 n a k } 有界 正向级数\sum_{n=1}^\infty a_n(a_n\ge0)收敛\Leftrightarrow部分和序列\{S_n|S_n=\sum_{k=1}^na_k\}有界 正向级数n=1∑∞​an​(an​≥0)收敛⇔部分和序列{Sn​∣Sn​=k=1∑n​ak​}有界

3. 正项级数的比较判别法

   若$\exists N>0,n>N$时，满足$b_n\ge a_n\ge 0$，则

   $$\begin{gathered} (1)\sum _{n=1}^{\infty }{a}_n发散\Rightarrow \sum _{n=1}^{\infty }{b}_n发散 \\ (2)\sum _{n=1}^{\infty }{b}_n收敛\Rightarrow \sum _{n=1}^{\infty }{a}_n收敛 \end{gathered}$$

   若$\exists N>0,n>N$时，满足$a_n,b_n\ge 0$，则比较判别法极限形式成立

   $$\begin{array}{rl}& (1)若\underset{n\to \infty }{\lim }\frac{b_n}{a_n}\ge q>0,则\sum _{n=1}^{\infty }{a}_n发散\Rightarrow \sum _{n=1}^{\infty }{b}_n发散\\ & (2)若\underset{n\to \infty }{\lim }\frac{a_n}{b_n}\le q<\infty ,则\sum _{n=1}^{\infty }{b}_n收敛\Rightarrow \sum _{n=1}^{\infty }{a}_n收敛\end{array}$$

4. 比较判别法常用参考级数

   $$\begin{array}{rl}& (1)等比级数:\sum _{n=1}^{\infty }{q}^n\{\begin{array}{l}|q|<1时收敛\\ |q|\ge 1时发散\end{array}\\ & (2)P级数:\sum _{n=1}^{\infty }\frac{1}{n^p}\{\begin{array}{l}p>1时收敛\\ p\le 1时发散\end{array}\\ & (3)广义P级数:\sum _{n=2}^{\infty }\frac{1}{n{\ln }^{p}n},\sum _{n=2}^{\infty }\frac{1}{n\ln n\ln {\ln }^{p}n}等,收敛条件同上\end{array}$$

5. 正项级数的$Cauchy$判别法（根值判别法）

   $$\begin{array}{rl}& 记q=\underset{n\to \infty }{\lim }\sqrt[n]{a_n},则级数\sum _{n=1}^{\infty }{a}_n\{\begin{array}{l}收敛,q<1\\ 发散,q>1\\ 判别法失效,q=1\end{array}\\ & 若取\overline{q}=\overline{\underset{n\to \infty }{\lim }}\sqrt[n]{a_n},结论依然成立\end{array}$$

6. 正项级数的$D^{\prime }Alembert$判别法（比值判别法）

   $$\begin{array}{rl}& 记q=\underset{n\to \infty }{\lim }\frac{a_{n+1}}{a_n},则级数\sum _{n=1}^{\infty }{a}_n\{\begin{array}{l}收敛,q<1\\ 发散,q>1\\ 判别法失效,q=1\end{array}\\ & 若取\overline{q}=\overline{\underset{n\to \infty }{\lim }}\frac{a_{n+1}}{a_n},结论依然成立\end{array}$$

7. 正项级数的$Cauchy$积分判别法

   设$x\ge 1,f(x)\ge 0$且单调递减，则

   $$无穷级数\sum _{n=1}^{\infty }f(n)与广义积分{\int }_1^{+\infty }f(x)dx同敛散$$

8. 一般项级数的绝对收敛判别法

   $$\sum _{n=1}^{\infty }|a_n|收敛\Rightarrow \sum _{n=1}^{\infty }{a}_n收敛$$

9. 交错级数的$Leibniz$判别法

   $$定义交错级数\sum _{n=1}^{\infty }{a}_n=\sum _{n=1}^{\infty }(-1{)}^n{u}_n(u_n>0)$$

   若$u_n$单调递减趋于零，则该交错级数称为$Leibniz$级数，且收敛

10. 一般项级数的$Dirichlet$判别法

    如果以下两个条件同时成立 : ( 1 ) 数列 { a n } 的部分和 { S n ∣ S n = ∑ k = 1 n a k } 有界 ( 2 ) 数列 { b n } 是单调数列，且 lim ⁡ n → ∞ b n = 0 那么级数 ∑ n = 1 ∞ a n b n 收敛 \begin{aligned} &如果以下两个条件同时成立:\\ &(1)数列\{a_n\}的部分和\{S_n|S_n=\sum_{k=1}^na_k\}有界\\ &(2)数列\{b_n\}是单调数列，且\lim_{n\to\infty}b_n=0\\ &那么级数\sum_{n=1}^\infty a_nb_n收敛 \end{aligned} ​如果以下两个条件同时成立:(1)数列{an​}的部分和{Sn​∣Sn​=k=1∑n​ak​}有界(2)数列{bn​}是单调数列，且n→∞lim​bn​=0那么级数n=1∑∞​an​bn​收敛​

11. 一般项级数的$Abel$判别法

    如果以下两个条件同时成立 : ( 1 ) 级数 ∑ n = 1 n a n 收敛 ( 2 ) 数列 { b n } 单调有界 那么级数 ∑ n = 1 ∞ a n b n 收敛 \begin{aligned} &如果以下两个条件同时成立:\\ &(1)级数\sum_{n=1}^na_n收敛\\ &(2)数列\{b_n\}单调有界\\ &那么级数\sum_{n=1}^\infty a_nb_n收敛 \end{aligned} ​如果以下两个条件同时成立:(1)级数n=1∑n​an​收敛(2)数列{bn​}单调有界那么级数n=1∑∞​an​bn​收敛​

12. 幂级数的$Abel$定理

    $$\begin{array}{rl}& 对于幂级数\sum _{n=0}^{\infty }{a}_n{x}^n有以下两条结论成立:\\ & (1)若有某点x_0\ne 0使得\sum _{n=0}^{\infty }{a}_n{x}_0^n收敛,则当|x|<|x_0|时,\sum _{n=0}^{\infty }{a}_n{x}^n绝对收敛\\ & (2)若有某点x_1\ne 0使得\sum _{n=0}^{\infty }{a}_n{x}_1^n发散,则当|x|>|x_1|时,\sum _{n=0}^{\infty }{a}_n{x}^n发散\end{array}$$

13. 幂级数的收敛半径

    $$幂级数\sum _{n=0}^{\infty }{a}_n{x}^n的收敛半径为:R=\underset{n\to \infty }{\lim }\left|\frac{a_n}{a_{n+1}}\right|或R={\left(\overline{\underset{n\to \infty }{\lim }}\sqrt[n]{|a_n|}\right)}^{-1}$$

    收敛域需要在 x ∈ { R , − R } x\in\{R,-R\} x∈{R,−R}处单独讨论

14. 幂级数的换序运算

    幂级数求导与求和换序

    $$\begin{array}{rl}& \sum _{n=0}^{\infty }f(x)(n+1)x^n\\ =& f(x){\left[\sum _{n=0}^{\infty }{x}^{n+1}\right]}^{\prime }\\ =& \frac{f(x)}{(x-1{)}^2}\end{array}$$

    幂级数积分与求和换序

    $$\begin{array}{rl}& \sum _{n=0}^{\infty }f(x)\frac{x^{n+1}}{n+1}\\ =& f(x){\int }_0^x\left[\sum _{n=0}^{\infty }{x}^n\right]dx\\ =& -f(x)\ln (1-x)\end{array}$$

15. 函数展开成$Taylor$级数

    $$f(x)=\sum _{n=0}^{\infty }\frac{f^{(n)}(x_0)}{n!}(x-x_0{)}^n$$

    特别地，当$x_0=0$时，上式称为$Maclaurin$级数

16. 常用泰勒级数及其收敛域

    $$\begin{array}{rl}& (1)\sin x=\sum _{n=0}^{\infty }\frac{(-1{)}^n{x}^{2n+1}}{(2n+1)!},x\in (-\infty ,+\infty )\\ & (2)\cos x=\sum _{n=0}^{\infty }\frac{(-1{)}^n{x}^{2n}}{(2n)!},x\in (-\infty ,+\infty )\\ & (3)e^x=\sum _{n=0}^{\infty }\frac{x^n}{n!},x\in (-\infty ,+\infty )\\ & (4)\frac{1}{1-x}=\sum _{n=0}^{\infty }{x}^n,x\in (-1,1)\\ & (5)\frac{1}{1+x}=\sum _{n=0}^{\infty }(-1{)}^n{x}^n,x\in (-1,1)\\ & (6)\frac{1}{(1-x{)}^k}=\sum _{n=0}^{\infty }\left(\begin{array}{c}n+k-1\\ n\end{array}\right)x^n,x\in (-1,1)\\ & (7)\ln (1+x)=\sum _{n=0}^{\infty }\frac{(-1{)}^n{x}^{n+1}}{(n+1)},x\in (-1,1]\\ & (8)\arctan x=\sum _{n=0}^{\infty }\frac{(-1{)}^n{x}^{2n+1}}{2n+1},x\in (-1,1)\\ & (9)\frac{1}{2}(e^x+e^{-x})=\sum _{n=0}^{\infty }\frac{x^{2n}}{(2n)!},x\in (-\infty ,+\infty )\\ & (10)(1+x{)}^{\alpha }=\sum _{n=0}^{\infty }\frac{\alpha (\alpha -1)\cdots (\alpha -n+1)}{n!}{x}^n,x\in \{\begin{array}{l}(-1,1),\alpha \le -1\\ (-1,1],-1<\alpha <1\\ [-1,1],\alpha >1\end{array}\end{array}$$

17. 周期函数的$Fourier$级数

    周期为$2\pi$的函数可以展开为如下形式的$Fourier$级数

    $$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }\left(a_n\cos nx+b_n\sin nx\right)$$

    其中

    $$\begin{array}{rl}& a_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\cos nxdx,n=0,1,2\cdots \\ & b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\sin nxdx,n=1,2,3\cdots \end{array}$$

    周期函数为$2l$的函数可以展开为如下形式的$Fourier$级数

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

    其中

    $$\begin{array}{rl}& a_n=\frac{1}{l}{\int }_{-l}^{l}f(x)\cos \frac{n\pi x}{l}dx,n=0,1,2\cdots \\ & b_n=\frac{1}{l}{\int }_{-l}^{l}f(x)\sin \frac{n\pi x}{l}dx,n=1,2,3\cdots \end{array}$$

18. $Fourier$级数的$Dirichlet$收敛定理

    对于周期为$2\pi$的周期函数$f(x)$，展开为$Fourier$级数时，有

    $$\frac{a_0}{2}+\sum _{n=1}^{\infty }\left(a_n\cos nx+b_n\sin nx\right)=\underset{t\to 0^{+}}{\lim }\frac{f(x+t)+f(x-t)}{2}$$

19. 奇函数、偶函数、非周期函数进行$Fourier$展开

    需要将非周期函数$f(x)$周期延拓为$F(x)$：可进行奇延拓或偶延拓，其中奇延拓需保证$F(0)=0$

    奇函数的$Fourier$级数只含正弦部分，又称正弦级数，以周期为$2\pi$的函数为例，有

    $$f(x)=\sum _{n=1}^{\infty }{b}_n\sin nx,b_n=\frac{2}{\pi }{\int }_0^{\pi }f(x)\sin nxdx$$

    偶函数的$Fourier$级数只含余弦部分，又称余弦级数，以周期为$2\pi$的函数为例，有

    $$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\cos nx,a_n=\frac{2}{\pi }{\int }_0^{\pi }f(x)\cos nxdx$$

20. $Fourier$级数相关的数项级数

    $$\begin{array}{rl}& (1)\sum _{n=1}^{\infty }\frac{1}{n^2}=\frac{{\pi }^2}{6}\\ & (2)\sum _{n=1}^{\infty }\frac{(-1{)}^2}{n^2}=\frac{{\pi }^2}{12}\\ & (3)\sum _{n=0}^{\infty }\frac{1}{(2n+1{)}^2}=\frac{{\pi }^2}{8}\end{array}$$