文章目录

  • 一、常数项级数的概念、性质与收敛原理
  • 二、正项级数的审敛准则
  • 三、变号级数的审敛准则

一、常数项级数的概念、性质与收敛原理

定义 通常将已给数列 { a n } \{a_n\} {an​}的各项依次用加号连接起来的表达式 a 1 + a 2 + ⋯ + a n + ⋯ a_1+a_2+\cdots+a_n+\cdots a1​+a2​+⋯+an​+⋯,或 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​称为常数项无穷级数,简称为常数项级数或级数, a n a_n an​称为该级数的通项。其前 n n n项之和 S n = ∑ k = 1 n a k S_n=\sum\limits_{k=1}^n a_k Sn​=k=1∑n​ak​称为它的部分和。若部分和数列 { S n } \{S_n\} {Sn​}收敛,则称级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛,并称 S = lim ⁡ n → ∞ S n = lim ⁡ n → ∞ ∑ k = 1 n a k S=\lim\limits_{n\to\infty}S_n=\lim\limits_{n\to\infty}\sum\limits_{k=1}^na_k S=n→∞lim​Sn​=n→∞lim​k=1∑n​ak​为它的和,记作 ∑ n = 1 ∞ a n = S \sum\limits_{n=1}^\infty a_n=S n=1∑∞​an​=S;否则,称级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​发散。级数的收敛和发散统称为敛散性。收敛级数的和与其部分和之差 R n = S − S n = ∑ k = n + 1 ∞ a k R_n=S-S_n=\sum\limits_{k=n+1}^\infty a_k Rn​=S−Sn​=k=n+1∑∞​ak​称为该级数的余项。

等比级数 ∑ n = 0 ∞ a q n = a + a q + a q 2 + ⋯ + a q n − 1 + ⋯ ( a ≠ 0 ) \sum\limits_{n=0}^\infty aq^n=a+aq+aq^2+\cdots+aq^{n-1}+\cdots\quad(a\ne0) n=0∑∞​aqn=a+aq+aq2+⋯+aqn−1+⋯(a=0)在 ∣ q ∣ < 1 |q|<1 ∣q∣<1时收敛于 a 1 − q \frac{a}{1-q} 1−qa​,在 ∣ q ∣ ≥ 1 |q|\ge1 ∣q∣≥1时发散。注意 S n = a + a q + a q 2 + ⋯ + a q n − 1 = { a ( 1 − a n ) 1 − q , q ≠ 1 n a , q = 1 S_n=a+aq+aq^2+\cdots+aq^{n-1}=\begin{cases}\frac{a(1-a^n)}{1-q},\quad&q\ne1\\na,&q=1\end{cases} Sn​=a+aq+aq2+⋯+aqn−1={1−qa(1−an)​,na,​q=1q=1​。

⭐️ 级数的基本性质

性质1 设 ∑ n = 1 ∞ a n = S a \sum\limits_{n=1}^\infty a_n=S_a n=1∑∞​an​=Sa​, ∑ n = 1 ∞ b n = S b \sum\limits_{n=1}^\infty b_n=S_b n=1∑∞​bn​=Sb​,其中 S a , S b S_a,S_b Sa​,Sb​均为有限实数,则
(1) ∑ n = 1 ∞ ( a n ± b n ) = ∑ n = 1 ∞ a n ± ∑ n = 1 ∞ b n = S a ± S b \sum\limits_{n=1}^\infty(a_n\pm b_n)=\sum\limits_{n=1}^\infty a_n\pm\sum\limits_{n=1}^\infty b_n=S_a\pm S_b n=1∑∞​(an​±bn​)=n=1∑∞​an​±n=1∑∞​bn​=Sa​±Sb​;
(2) ∑ n = 1 ∞ C a n = C ∑ n = 1 ∞ a n = C S a \sum\limits_{n=1}^\infty Ca_n=C\sum\limits_{n=1}^\infty a_n=CS_a n=1∑∞​Can​=Cn=1∑∞​an​=CSa​,其中 C ∈ R C\in\mathbb R C∈R为常数;
(3) 若 a n ≤ b n a_n\le b_n an​≤bn​,则 ∑ n = 1 ∞ a n ≤ ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty a_n\le \sum\limits_{n=1}^\infty b_n n=1∑∞​an​≤n=1∑∞​bn​。

证明: 令 S n a = ∑ k = 1 n a k S_{n_a}=\sum\limits_{k=1}^n a_k Sna​​=k=1∑n​ak​, S n b = ∑ k = 1 n b k S_{n_b}=\sum\limits_{k=1}^n b_k Snb​​=k=1∑n​bk​。
(1) 有限项之和满足加法交换律,故 ∑ k = 1 n ( a k ± b k ) = ∑ k = 1 n a k ± ∑ k = 1 n b k \sum\limits_{k=1}^n (a_k\pm b_k)=\sum\limits_{k=1}^n a_k\pm\sum\limits_{k=1}^n b_k k=1∑n​(ak​±bk​)=k=1∑n​ak​±k=1∑n​bk​, lim ⁡ n → ∞ ∑ k = 1 n ( a k ± b k ) = lim ⁡ n → ∞ ( ∑ k = 1 n a k ± ∑ k = 1 n b k ) = lim ⁡ n → ∞ S n a ± lim ⁡ n → ∞ S n b = S a ± S b \lim\limits_{n\to\infty}\sum\limits_{k=1}^n (a_k\pm b_k)=\lim\limits_{n\to\infty}(\sum\limits_{k=1}^n a_k\pm\sum\limits_{k=1}^n b_k)=\lim\limits_{n\to\infty}S_{n_a}\pm\lim\limits_{n\to\infty}S_{n_b}=S_a\pm S_b n→∞lim​k=1∑n​(ak​±bk​)=n→∞lim​(k=1∑n​ak​±k=1∑n​bk​)=n→∞lim​Sna​​±n→∞lim​Snb​​=Sa​±Sb​。
(2) ∑ k = 1 n C a k = C ∑ k = 1 n a k \sum\limits_{k=1}^nCa_k=C\sum\limits_{k=1}^na_k k=1∑n​Cak​=Ck=1∑n​ak​,故 lim ⁡ n → ∞ ∑ k = 1 n C a k = lim ⁡ n → ∞ C S n a = C lim ⁡ n → ∞ S n a = C S a \lim\limits_{n\to\infty}\sum\limits_{k=1}^nCa_k=\lim\limits_{n\to\infty}CS_{n_a}=C\lim\limits_{n\to\infty}S_{n_a}=CS_a n→∞lim​k=1∑n​Cak​=n→∞lim​CSna​​=Cn→∞lim​Sna​​=CSa​。
(3) 若 a n ≤ b n a_n\le b_n an​≤bn​,则 S n a ≤ S n b S_{n_a}\le S_{n_b} Sna​​≤Snb​​。根据数列极限的保序性, lim ⁡ n → ∞ S n a ≤ lim ⁡ n → ∞ S n b \lim\limits_{n\to\infty}S_{n_a}\le\lim\limits_{n\to\infty}S_{n_b} n→∞lim​Sna​​≤n→∞lim​Snb​​,即 S a ≤ S b S_a\le S_b Sa​≤Sb​。

性质2 在一个级数中,任意删去、添加或改变有限项不改变该级数的敛散性。

证明:设原级数为 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​,更改之后级数为 ∑ n = 1 ∞ a n ′ \sum\limits_{n=1}^\infty a_n' n=1∑∞​an′​,且级数从第 p p p项以后没有被更改,更改之后原第 p p p项位置变成第 q q q项,即 ∀ k ∈ N \forall k\in\mathbb N ∀k∈N, a p + k = a q + k ′ a_{p+k}=a_{q+k}' ap+k​=aq+k′​。则 lim ⁡ n → ∞ ∑ k = 1 n a k ′ = lim ⁡ n → ∞ ∑ k = p n a k ′ + ∑ k = 1 p − 1 a k ′ = lim ⁡ n → ∞ ∑ k = p n a k + ∑ k = 1 p − 1 a k ′ = lim ⁡ n → ∞ ∑ k = 1 n a k − ∑ k = 1 p − 1 a k + ∑ k = 1 p − 1 a k ′ \lim\limits_{n\to\infty}\sum\limits_{k=1}^na_k'=\lim\limits_{n\to\infty}\sum\limits_{k=p}^na_k'+\sum\limits_{k=1}^{p-1}a_k'=\lim\limits_{n\to\infty}\sum\limits_{k=p}^na_k+\sum\limits_{k=1}^{p-1}a_k'=\lim\limits_{n\to\infty}\sum\limits_{k=1}^na_k-\sum\limits_{k=1}^{p-1}a_k+\sum\limits_{k=1}^{p-1}a_k' n→∞lim​k=1∑n​ak′​=n→∞lim​k=p∑n​ak′​+k=1∑p−1​ak′​=n→∞lim​k=p∑n​ak​+k=1∑p−1​ak′​=n→∞lim​k=1∑n​ak​−k=1∑p−1​ak​+k=1∑p−1​ak′​,其中 − ∑ k = 1 p − 1 a k + ∑ k = 1 p − 1 a k ′ -\sum\limits_{k=1}^{p-1}a_k+\sum\limits_{k=1}^{p-1}a_k' −k=1∑p−1​ak​+k=1∑p−1​ak′​为常数,故两个极限同时存在或不存在,即更改前后的两个级数同散敛。

推论 若 K ∈ N + K\in\mathbb N^+ K∈N+,则 ∑ n = K ∞ a n \sum\limits_{n=K}^\infty a_n n=K∑∞​an​与 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​同敛散。

性质3 设级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛,则
(1) lim ⁡ n → ∞ a n = 0 \lim\limits_{n\to\infty}a_n=0 n→∞lim​an​=0; (2) lim ⁡ n → ∞ R n = 0 \lim\limits_{n\to\infty}R_n=0 n→∞lim​Rn​=0。

证明
(1) lim ⁡ n → ∞ a n = lim ⁡ n → ∞ S n − S n − 1 = lim ⁡ n → ∞ S n − lim ⁡ n → ∞ S n − 1 = 0 \lim\limits_{n\to\infty}a_n=\lim\limits_{n\to\infty}S_n-S_{n-1}=\lim\limits_{n\to\infty}S_n-\lim\limits_{n\to\infty}S_{n-1}=0 n→∞lim​an​=n→∞lim​Sn​−Sn−1​=n→∞lim​Sn​−n→∞lim​Sn−1​=0。
(2) lim ⁡ n → ∞ R n = lim ⁡ n → ∞ ( S − S n ) = lim ⁡ n → ∞ S − lim ⁡ n → ∞ S n = S − S = 0 \lim\limits_{n\to\infty}R_n=\lim\limits_{n\to\infty}(S-S_n)=\lim\limits_{n\to\infty}S-\lim\limits_{n\to\infty}S_n=S-S=0 n→∞lim​Rn​=n→∞lim​(S−Sn​)=n→∞lim​S−n→∞lim​Sn​=S−S=0。

性质4 若 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​为收敛级数,则不改变它的各项次序任意加括号后所得到的新级数仍收敛,并且和不变。

证明:在 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​中任意加括号得一新级数 ( a 1 + a 2 + ⋯ + a n 1 ) + ( a n 1 + 1 + a n 1 + 2 + ⋯ + a n 2 ) + ⋯ + ( a n k − 1 + 1 + a n k − 1 + 2 + ⋯ + a n k ) + ⋯ (a_1+a_2+\cdots+a_{n_1})+(a_{n_1+1}+a_{n_1+2}+\cdots+a_{n_2})+\cdots+(a_{n_{k-1}+1}+a_{n_{k-1}+2}+\cdots+a_{n_k})+\cdots (a1​+a2​+⋯+an1​​)+(an1​+1​+an1​+2​+⋯+an2​​)+⋯+(ank−1​+1​+ank−1​+2​+⋯+ank​​)+⋯记它的部分和数列为 { S ~ k } \{\tilde S_k\} {S~k​},则 { S ~ k } \{\tilde S_k\} {S~k​}是原级数部分和数列 { S n } \{S_n\} {Sn​}的一个子数列,因此根据数列极限的归并原理知新级数收敛,且 lim ⁡ k → ∞ S ~ k = lim ⁡ k → ∞ S n k = S \lim\limits_{k\to\infty}\tilde S_k=\lim\limits_{k\to\infty}S_{n_k}=S k→∞lim​S~k​=k→∞lim​Snk​​=S。

证明的核心思想:考察有限项的和,有限项的和满足交换律、结合律,再与极限的性质结合使用以证明结论。

定理(Cauchy收敛原理) 级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛的充要条件是 ∀ ε > 0 \forall\varepsilon>0 ∀ε>0, ∃ N ∈ N + \exists N\in\mathbb N^+ ∃N∈N+,使得 ∀ p ∈ N + \forall p\in\mathbb N^+ ∀p∈N+,当 n > N n>N n>N时,恒有 ∣ ∑ k = n + 1 n + p a k ∣ < ε \left|\sum\limits_{k=n+1}^{n+p}a_k\right|<\varepsilon ​k=n+1∑n+p​ak​ ​<ε。

二、正项级数的审敛准则

定义 若 a n ≥ 0 ( n = 1 , 2 , ⋯ ) a_n\ge0\ (n=1,2,\cdots) an​≥0 (n=1,2,⋯),则称级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​为正项级数。

⭐️ 充要条件

定理 正项级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛的充要条件是它的部分和数列有上界。

证明:首先,部分和数列 { S n } \{S_n\} {Sn​}一定是单调增的。
充分性:若 { S n } \{S_n\} {Sn​}有上界,则根据“单调有界数列必有极限”, lim ⁡ n → ∞ S n \lim\limits_{n\to\infty}S_n n→∞lim​Sn​存在, ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛。
必要性:若 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛,则 lim ⁡ n → ∞ S n \lim\limits_{n\to\infty}S_n n→∞lim​Sn​存在,根据收敛数列的有界性,得知数列 { S n } \{S_n\} {Sn​}是有界的。

⭐️ 判别准则

1. 比较准则I(通过项的大小比较)

定理 设 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​和 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​是两个正项级数,并且 ∀ n ∈ N + \forall n\in\mathbb N^+ ∀n∈N+, a n ≤ b n a_n\le b_n an​≤bn​。
(1) 若 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​收敛,则 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛;
(2) 若 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​发散,则 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​发散。

证明:由于(2)是(1)的逆否命题,故只需证(1)。
∵ ∀ n ∈ N + \because\forall n\in\mathbb N^+ ∵∀n∈N+, a n ≤ b n a_n\le b_n an​≤bn​,
∴ \therefore ∴部分和 S n a = ∑ k = 1 n a k ≤ ∑ k = 1 n b = S n b S_{n_a}=\sum\limits_{k=1}^na_k\le\sum\limits_{k=1}^nb=S_{n_b} Sna​​=k=1∑n​ak​≤k=1∑n​b=Snb​​。
又 ∵ ∑ n = 1 ∞ b n \because\sum\limits_{n=1}^\infty b_n ∵n=1∑∞​bn​收敛,
∴ { S n b } \therefore\{S_{n_b}\} ∴{Snb​​}有上界,
∴ { S n a } \therefore\{S_{n_a}\} ∴{Sna​​}也有上界,
∴ \therefore ∴级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​必收敛。

结合性质1和性质2,我们推出:

推论 设 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​和 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​是两个正项级数,则:
(1) 若 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​收敛,且 a n ≤ k b n a_n\le kb_n an​≤kbn​对于任意 n > N n>N n>N都成立( n ∈ N + , k ∈ R n\in\mathbb N^+,k\in\mathbb R n∈N+,k∈R),则 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛;
(2) 若 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​发散,且 b n ≥ k a n b_n\ge ka_n bn​≥kan​对于任意 n > N n>N n>N都成立( n ∈ N + , k ∈ R n\in\mathbb N^+,k\in\mathbb R n∈N+,k∈R),则 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​发散。

2.比较准则II(通过项之比的极限比较)

定理 设 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​和 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​是两个正项级数,并且 ∀ n ∈ N + \forall n\in\mathbb N^+ ∀n∈N+, b n > 0 b_n>0 bn​>0。令 lim ⁡ n → ∞ a n b n = λ \lim\limits_{n\to\infty}\frac{a_n}{b_n}=\lambda n→∞lim​bn​an​​=λ其中 λ \lambda λ为有限实数或正无穷。则
(1) 若 λ > 0 \lambda>0 λ>0,则两个级数同时收敛或同时发散;
(2) 若 λ = 0 \lambda=0 λ=0,且 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​收敛,则 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛;
(3) 若 λ = + ∞ \lambda=+\infty λ=+∞,且 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​发散,则 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​发散。

证明
(1) 若 lim ⁡ n → ∞ a n b n = λ > 0 \lim\limits_{n\to\infty}\frac{a_n}{b_n}=\lambda>0 n→∞lim​bn​an​​=λ>0,则 ∀ ε > 0 \forall\varepsilon>0 ∀ε>0, ∃ N > 0 \exists N>0 ∃N>0,当 n > N n>N n>N时都有 ∣ a n b n − λ ∣ < ε \left|\frac{a_n}{b_n}-\lambda\right|<\varepsilon ​bn​an​​−λ ​<ε,即 λ − ε < a n b n < λ + ε \lambda-\varepsilon<\frac{a_n}{b_n}<\lambda+\varepsilon λ−ε<bn​an​​<λ+ε。故 ∀ n > N \forall n>N ∀n>N,都有 ( λ − ε ) b n < a n < ( λ + ε ) b n (\lambda-\varepsilon)b_n<a_n<(\lambda+\varepsilon)b_n (λ−ε)bn​<an​<(λ+ε)bn​。根据比较准则I的推论,若 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​收敛,则由 a n < ( λ + ε ) b n a_n<(\lambda+\varepsilon)b_n an​<(λ+ε)bn​知 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛;若 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​发散,则由 ( λ − ε ) b n < a n (\lambda-\varepsilon)b_n<a_n (λ−ε)bn​<an​知 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​发散。因此 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​和 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​同敛散。
(2) 若 lim ⁡ n → ∞ a n b n = 0 \lim\limits_{n\to\infty}\frac{a_n}{b_n}=0 n→∞lim​bn​an​​=0,则 ∀ ε > 0 \forall\varepsilon>0 ∀ε>0, ∃ N > 0 \exists N>0 ∃N>0,当 n > N n>N n>N时都有 a n b n < ε \frac{a_n}{b_n}<\varepsilon bn​an​​<ε,即 a n < ε b n a_n<\varepsilon b_n an​<εbn​,类似(1)可知 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​收敛 ⟹ ∑ n = 1 ∞ a n \Longrightarrow\sum\limits_{n=1}^\infty a_n ⟹n=1∑∞​an​收敛。
(3) 若 lim ⁡ n → ∞ a n b n = + ∞ \lim\limits_{n\to\infty}\frac{a_n}{b_n}=+\infty n→∞lim​bn​an​​=+∞,则 ∀ M > 0 \forall M>0 ∀M>0, ∃ N > 0 \exists N>0 ∃N>0,当 n > N n>N n>N时都有 a n b n > M \frac{a_n}{b_n}>M bn​an​​>M,故 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​发散 ⟹ ∑ n = 1 ∞ a n \Longrightarrow\sum\limits_{n=1}^\infty a_n ⟹n=1∑∞​an​发散。

3.积分准则

定理 设 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​为一正项级数。若存在一个单调减的非负连续函数 f : [ 1 , + ∞ ) → ( 0 , + ∞ ) f:[1,+\infty)\to(0,+\infty) f:[1,+∞)→(0,+∞),使 f ( n ) = a n f(n)=a_n f(n)=an​,则级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​与无穷限的反常积分 ∫ 1 + ∞ f ( x ) d x \int_1^{+\infty}f(x)\text dx ∫1+∞​f(x)dx同时收敛和发散。

证明:由于 f f f是单调减的,故 ∀ k ∈ N + \forall k\in\mathbb N^+ ∀k∈N+, k ≤ x ≤ k + 1 ⟹ f ( k ) ≤ f ( x ) ≤ f ( k + 1 ) k\le x\le k+1\Longrightarrow f(k)\le f(x)\le f(k+1) k≤x≤k+1⟹f(k)≤f(x)≤f(k+1)。根据积分的性质,有 ∫ k k + 1 f ( k + 1 ) d x ≤ ∫ k k + 1 f ( x ) d x ≤ ∫ k k + 1 f ( k + 1 ) d x \int_k^{k+1}f(k+1)\text dx\le\int_k^{k+1}f(x)\text dx\le\int_k^{k+1}f(k+1)\text dx ∫kk+1​f(k+1)dx≤∫kk+1​f(x)dx≤∫kk+1​f(k+1)dx即 a k + 1 ≤ ∫ k k + 1 f ( x ) d x ≤ a k a_{k+1}\le\int_k^{k+1}f(x)\text dx\le a_k ak+1​≤∫kk+1​f(x)dx≤ak​对 k k k求和得 ∑ k = 1 n − 1 a k + 1 ≤ ∑ k = 1 n − 1 ∫ k k + 1 f ( k + 1 ) d x ≤ ∑ k = 1 n − 1 a k \sum\limits_{k=1}^{n-1}a_{k+1}\le\sum\limits_{k=1}^{n-1}\int_k^{k+1}f(k+1)\text dx\le\sum\limits_{k=1}^{n-1}a_k k=1∑n−1​ak+1​≤k=1∑n−1​∫kk+1​f(k+1)dx≤k=1∑n−1​ak​即 S n − a 1 ≤ ∫ 1 n f ( x ) d x ≤ S n − 1 S_n-a_1\le\int_1^{n}f(x)\text dx\le S_{n-1} Sn​−a1​≤∫1n​f(x)dx≤Sn−1​若 ∫ 1 n f ( x ) d x \int_1^{n}f(x)\text dx ∫1n​f(x)dx存在,则 S n − a 1 S_n-a_1 Sn​−a1​有上界,即 S n S_n Sn​有上界,那么级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛;若 ∫ 1 n f ( x ) d x \int_1^{n}f(x)\text dx ∫1n​f(x)dx发散,则 lim ⁡ n → ∞ S n − 1 \lim\limits_{n\to\infty}S_{n-1} n→∞lim​Sn−1​不存在,即级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​发散。

p p p级数的敛散性 p p p级数 ∑ n = 1 ∞ 1 n p ( p > 0 ) \sum\limits_{n=1}^\infty\frac{1}{n^p}\ (p>0) n=1∑∞​np1​ (p>0)在 p > 1 p>1 p>1时收敛,在 p ≤ 1 p\le1 p≤1时发散。

证明:令 f ( x ) = 1 x p ( 1 ≤ x < + ∞ ) f(x)=\frac{1}{x^p}\ (1\le x<+\infty) f(x)=xp1​ (1≤x<+∞),显然 f ( n ) = a n = 1 n p f(n)=a_n=\frac{1}{n^p} f(n)=an​=np1​。由于 p p p积分 ∫ 1 + ∞ 1 x p d x \int_1^{+\infty}\frac1{x^p}\text dx ∫1+∞​xp1​dx当 p > 1 p>1 p>1时收敛,当 p ≤ 1 p\le1 p≤1时发散,因此 p p p级数 ∑ n = 1 ∞ 1 n p ( p > 0 ) \sum\limits_{n=1}^\infty\frac{1}{n^p}\ (p>0) n=1∑∞​np1​ (p>0)也在 p > 1 p>1 p>1时收敛,在 p ≤ 1 p\le1 p≤1时发散。

4. D’Alembert检比法

定理 设 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​为正项级数, a n > 0 a_n>0 an​>0,并且 lim ⁡ n → ∞ a n + 1 a n = λ \lim\limits_{n\to\infty}\frac{a_{n+1}}{a_n}=\lambda n→∞lim​an​an+1​​=λ(有限或 + ∞ +\infty +∞)。
(1) 若 λ < 1 \lambda<1 λ<1,则 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛;
(2) 若 λ > 1 \lambda>1 λ>1(含 λ = + ∞ \lambda=+\infty λ=+∞),则 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​发散。

证明
(1) 令 q ∈ R q\in\mathbb R q∈R且 k < q < 1 k<q<1 k<q<1,根据极限的保号性,必 ∃ N ∈ N + \exists N\in\mathbb N^+ ∃N∈N+,使得当 n > N n>N n>N时,恒有 a n + 1 a n < q \frac{a_{n+1}}{a_n}<q an​an+1​​<q,从而 a n + 1 < a n q < a n − 1 q 2 < ⋯ < a N − 1 q n − N a_{n+1}<a_nq<a_{n-1}q^2<\cdots<a_{N-1}q^{n-N} an+1​<an​q<an−1​q2<⋯<aN−1​qn−N那么 ∑ k = 1 n a k = ∑ k = 1 N − 1 a k + ∑ k = N n a k < ∑ k = 1 N − 1 a k + ∑ k = N n a n − 1 q n − N \sum\limits_{k=1}^n a_k=\sum\limits_{k=1}^{N-1} a_k+\sum\limits_{k=N}^n a_k<\sum\limits_{k=1}^{N-1} a_k+\sum\limits_{k=N}^n a_{n-1}q^{n-N} k=1∑n​ak​=k=1∑N−1​ak​+k=N∑n​ak​<k=1∑N−1​ak​+k=N∑n​an−1​qn−N。而等比级数 ∑ k = N n a n − 1 q n − N \sum\limits_{k=N}^n a_{n-1}q^{n-N} k=N∑n​an−1​qn−N收敛,故级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛。
(2) 令 q ∈ R q\in\mathbb R q∈R且 λ > q > 1 \lambda>q>1 λ>q>1,根据极限的保号性,必 ∃ N ∈ N + \exists N\in\mathbb N^+ ∃N∈N+,使得当 n > N n>N n>N时,恒有 a n + 1 a n > q \frac{a_{n+1}}{a_n}>q an​an+1​​>q,故 lim ⁡ n → ∞ a n ≠ 0 \lim\limits_{n\to\infty}a_n\ne0 n→∞lim​an​=0,那么 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​发散。

5. Cauchy检根法

定理 设 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​为正项级数, lim ⁡ n → ∞ a n n = λ \lim\limits_{n\to\infty}\sqrt[n]{a_n}=\lambda n→∞lim​nan​ ​=λ(有限或 + ∞ +\infty +∞)。
(1) 若 λ < 1 \lambda<1 λ<1,则 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛;
(2) 若 λ > 1 \lambda>1 λ>1,则 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​发散。

证明
(1) 令 p ∈ R p\in\mathbb R p∈R且 λ < p < 1 \lambda<p<1 λ<p<1根据极限的保号性,必 ∃ N ∈ N + \exists N\in\mathbb N^+ ∃N∈N+,使得当 n > N n>N n>N时,恒有 a n n < p \sqrt[n]{a_n}<p nan​ ​<p,即 a n < p n a_n<p^n an​<pn,则 ∑ k = 1 n a k = ∑ k = 1 N − 1 a k + ∑ k = N n a k < ∑ k = 1 N − 1 a k + ∑ k = N n p n \sum\limits_{k=1}^n a_k=\sum\limits_{k=1}^{N-1} a_k+\sum\limits_{k=N}^n a_k<\sum\limits_{k=1}^{N-1} a_k+\sum\limits_{k=N}^n p^n k=1∑n​ak​=k=1∑N−1​ak​+k=N∑n​ak​<k=1∑N−1​ak​+k=N∑n​pn。而等比级数 ∑ k = N n p n \sum\limits_{k=N}^n p^n k=N∑n​pn收敛,故级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛。
(2) 若 λ > 1 \lambda>1 λ>1,则 lim ⁡ n → ∞ a n ≠ 0 \lim\limits_{n\to\infty}a_n\ne0 n→∞lim​an​=0,级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​发散。

三、变号级数的审敛准则

定义 若技术中有无穷多项为正,无穷多项为负,则称此类级数为变号级数。各项的正负号交替变化的级数称为交错级数

⭐️ 交错级数的审敛准则

定理(Leibniz准则) 设有交错级数 ∑ n = 1 ∞ ( − 1 ) n − 1 a n = a 1 − a 2 + a 3 − a 4 + ⋯ + ( − 1 ) n − 1 a n \sum\limits_{n=1}^\infty(-1)^{n-1}a_n=a_1-a_2+a_3-a_4+\cdots+(-1)^{n-1}a_n n=1∑∞​(−1)n−1an​=a1​−a2​+a3​−a4​+⋯+(−1)n−1an​,其中 a n > 0 ( n ∈ N + ) a_n>0\ (n\in\mathbb N^+) an​>0 (n∈N+)。若 ∀ n ∈ N + \forall n\in\mathbb N+ ∀n∈N+, a n ≥ a n + 1 a_n\ge a_{n+1} an​≥an+1​,并且 lim ⁡ n → ∞ a n = 0 \lim\limits_{n\to\infty}a_n=0 n→∞lim​an​=0,则交错级数 ∑ n = 1 ∞ ( − 1 ) n − 1 a n \sum\limits_{n=1}^\infty(-1)^{n-1}a_n n=1∑∞​(−1)n−1an​收敛,并且其和 S ≤ a 1 S\le a_1 S≤a1​,部分和 S n S_n Sn​与 S S S的绝对误差 ∣ S − S n ∣ ≤ a n + 1 ( ∀ n ∈ N + ) |S-S_n|\le a_{n+1}\ (\forall n\in\mathbb N^+) ∣S−Sn​∣≤an+1​ (∀n∈N+)。

证明:考察部分和数列 { S n } \{S_n\} {Sn​}的偶数项子列 { S 2 k } \{S_{2k}\} {S2k​}。因为 S 2 k = ( a 1 − a 2 ) + ( a 3 − a 4 ) + ⋯ + ( a 2 k − 1 − a 2 k ) S_{2k}=(a_1-a_2)+(a_3-a_4)+\cdots+(a_{2k-1}-a_{2k}) S2k​=(a1​−a2​)+(a3​−a4​)+⋯+(a2k−1​−a2k​),由于已知 { a n } \{a_n\} {an​}是单调减的,上式中每个括号内的数都是非负的,故 { S 2 k } \{S_{2k}\} {S2k​}是单调增的。又 S 2 k = a 1 − ( a 2 − a 3 ) − ( a 4 − a 5 ) − ⋯ − ( a 2 k − 2 − a 2 k − 1 ) − a 2 k S_{2k}=a_1-(a_2-a_3)-(a_4-a_5)-\cdots-(a_{2k-2}-a_{2k-1})-a_{2k} S2k​=a1​−(a2​−a3​)−(a4​−a5​)−⋯−(a2k−2​−a2k−1​)−a2k​,所以 S 2 k < a 1 S_{2k}<a_1 S2k​<a1​,即 { S 2 k } \{S_{2k}\} {S2k​}有上界,从而得知 { S 2 k } \{S_{2k}\} {S2k​}是收敛数列,设 lim ⁡ k → ∞ S 2 k = S \lim\limits_{k\to\infty}S_{2k}=S k→∞lim​S2k​=S。又因为 lim ⁡ k → ∞ S 2 k + 1 = lim ⁡ k → ∞ ( S 2 k + a 2 k + 1 ) = lim ⁡ k → ∞ S 2 k = S \lim\limits_{k\to\infty}S_{2k+1}=\lim\limits_{k\to\infty}(S_{2k}+a_{2k+1})=\lim\limits_{k\to\infty}S_{2k}=S k→∞lim​S2k+1​=k→∞lim​(S2k​+a2k+1​)=k→∞lim​S2k​=S,故 { S n } \{S_n\} {Sn​}收敛于 S S S。对 0 < S 2 k ≤ a 1 0<S_{2k}\le a_1 0<S2k​≤a1​取极限得 0 ≤ S ≤ a 1 0\le S\le a_1 0≤S≤a1​。

⭐️ 绝对收敛性

定义 若级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​的绝对值级数 ∑ n = 1 ∞ ∣ a n ∣ \sum\limits_{n=1}^\infty |a_n| n=1∑∞​∣an​∣收敛,则称级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​绝对收敛;若级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛,但其绝对值级数 ∑ n = 1 ∞ ∣ a n ∣ \sum\limits_{n=1}^\infty |a_n| n=1∑∞​∣an​∣发散,则称 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​条件收敛。

定理(绝对收敛准则) 若级数 ∑ n = 1 ∞ ∣ a n ∣ \sum\limits_{n=1}^\infty |a_n| n=1∑∞​∣an​∣收敛,则级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​收敛。即:绝对收敛的级数一定收敛。

证明:因为级数 ∑ n = 1 ∞ ∣ a n ∣ \sum\limits_{n=1}^\infty |a_n| n=1∑∞​∣an​∣收敛,根据Cauchy审敛原理, ∀ ε > 0 \forall\varepsilon>0 ∀ε>0, ∃ N ∈ N + \exists N\in\mathbb N^+ ∃N∈N+,使得 ∀ p ∈ N + \forall p\in\mathbb N^+ ∀p∈N+,当 n > N n>N n>N时,恒有 ∑ k = n + 1 n + p ∣ a k ∣ < ε \sum\limits_{k=n+1}^{n+p}|a_k|<\varepsilon k=n+1∑n+p​∣ak​∣<ε。从而有 ∣ ∑ k = n + 1 n + p a k ∣ ≤ ∑ k = n + 1 n + p ∣ a k ∣ < ε \left|\sum\limits_{k=n+1}^{n+p}a_k\right|\le\sum\limits_{k=n+1}^{n+p}|a_k|<\varepsilon ​k=n+1∑n+p​ak​ ​≤k=n+1∑n+p​∣ak​∣<ε。

⭐️ 绝对收敛级数的性质

1. 重排的收敛性

定理 如果级数绝对收敛,那么任意交换它的各项次序所得到的级数 ∑ n = 1 ∞ a ~ n \sum\limits_{n=1}^\infty \tilde a_n n=1∑∞​a~n​(称它为 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​的一个重排)也绝对收敛,而且它们的和相等。

2. 乘积的收敛性

定理 设级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞​an​与 ∑ n = 1 ∞ b n \sum\limits_{n=1}^\infty b_n n=1∑∞​bn​绝对收敛,它们的和分别为 A A A与 B B B,那么,它们各项相乘得到的所以可能的乘积项 a n b m a_nb_m an​bm​按任何次序排列所得的级数 ∑ n = 1 ∞ c n \sum\limits_{n=1}^\infty c_n n=1∑∞​cn​也绝对收敛,并且其和为 A B AB AB。

【高等数学笔记】常数项级数的敛散性相关推荐

  1. 十七讲14常数项级数的敛散性

    高数十七讲 专题十四 常数项级数的敛散性 1.级数的概念 2.级数的性质 ①数乘 --看是否收敛 ②加减 --看是否收敛.收敛±发散=发散,发散±发散=不确定. ③在级数中去掉.加上或改变有限项--和 ...

  2. 级数形式套级数的敛散性判断

    级数形式套级数的敛散性判断 @(微积分) 已知级数(1): ∑∞n=1(1−12+13−14+..+(−1)n+1n)\sum_{n=1}^{\infty}(1-\frac{1}{2} + \frac ...

  3. 【用积分判别法证明p级数的敛散性】

    本菜鸡的第一篇博客,请多多关照~ 用积分判别法证明p级数的敛散性 前言 先给出结论 证明过程 总结 前言 以下是关于我对p级数的敛散性的证明的个人理解,可能有不严谨之处,欢迎各位大佬指正. 先给出结论 ...

  4. 【数项级数】敛散性判别

    阅读本篇之前,建议可以先看一下上一篇文章哦! [数项级数]无穷个数相加一定是个数吗? 柯西收敛准则判断级数敛散性 基本思想 利用柯西收敛准则判断级数是否收敛 推论: 定理 基本思想 在上一篇文章中,初 ...

  5. 正项级数的积分审敛法,p级数的敛散性

    定理 Suppose f(x)f(x)f(x) is continuous, positive and decreasing on [1,∞]\left[ 1,\infty \right][1,∞]. ...

  6. 【狮子数学】chapter6-02-正项级数的敛散性判别(第92-94讲)

  7. 【高数】级数性质说明、找同阶通项判敛散性、几何级数p级数记忆法、常用例子、审敛法

    目录 一.级数性质相关 1. 判敛散性的一个简易方法 2. 几何级数记忆法 3. p级数记忆法 二.常用例子 三.审敛法 四.小结 一.级数性质相关 1. 判敛散性的一个简易方法 针对课本上的级数性质 ...

  8. 高等数学笔记:反常积分敛散性判别法

    繁星数学随想录·笔记卷 摘录卷 反常积分敛散性判别法 01 反常积分的比较判别法(保序性) (1) 无穷限广义积分的比较判别法(保序性) 若函数f(x)与g(x)在[a,+∞]上非负可积,a>0 ...

  9. p级数敛散性积分方式证明

    同济大学出版的高等数学无穷级数这一章,关于常数项级数的审敛法,证明p级数敛散性问题,对其积分法不甚明了,所以记录下自己思索的过程: 讨论p级数: 1+12p+13p+.....+1np+....1+\ ...

最新文章

  1. 北大开源了 Python 中文分词工具包,准确度远超 Jieba
  2. XPE一般性组件整理
  3. 面试:说说 Spring MVC 的执行过程?
  4. Java并发工具包( java.util.concurrent)
  5. android开发之EditText金额输入只能两位小数点
  6. jta mysql_JTA 使用 MySQL 分布式事务
  7. SpringMVC+FreeMarker
  8. oracle中packages使用,oracle中packages的使用
  9. 【工具使用系列】关于MATLAB 模型预测控制工具箱, 你需要知道的事
  10. 中兴通讯发布《5G上行增强技术白皮书》:深化多频段协同能力
  11. python xpath 中文乱码_Python爬虫实战 批量下载高清美女图片!让你们开开眼!
  12. 万岳在线教育系统源码v1.1.4 支持录播回看/网课购买/学习测试
  13. 硬件编程语言和编程器件
  14. C语言 | 求圆周长 面积 圆球表面积 体积
  15. csp序列查询(C语言)
  16. 大连本周气温明显回落 阴云来降温 春雨润万物
  17. kubectl命令行管理工具
  18. 开源 MQTT Broker 对比
  19. 开餐馆(信息学奥赛一本通-T1296)
  20. 连锁零售系统怎么选择?好的零售管理系统有什么优点?

热门文章

  1. Activity快速转换为Diglog,美团点评APP在移动网络性能优化的实践
  2. SQL server 中的插入表行数据,以及插入标识值
  3. overwrite java_Java中的Override, Overload和Overwrite
  4. 无监督智能地震速度拾取(matlab实现)
  5. 【微信小程序】云开发(Cloud Base)环境配置以及编写第一个云函数
  6. 白山云科技入选2020网络安全创新能力100强
  7. Quartz使用教程(基础)
  8. 为什么996成为中国程序员永远的痛?
  9. C语言 static静态变量的作用
  10. android wear打开卡片,Android Wear入门开发之卡片CardFragment