正项级数的常用审敛法和推广比值审敛法的比较

正项级数的常用审敛法和推广比值审敛法的比较

摘要数项级数是数的加法从有限代数和到无限和的自然推广．由于无限次相加，许多有限次相加的性质便在计算无限和时发生了改变．首先，有限次相加的结果总是客观存在的，而无限次相加则可能根本不存在有意义的结果。

这就是说，一个级数可能是收敛或发散的．因而，判断级数的敛散性问题常常被看作级数的首要问题。

在通常的微积分学教程中，审敛正项级数的敛散性有许多有效的方法，比如达朗贝尔审敛法，拉贝审敛法等，本文就达朗贝尔审敛法和拉贝审敛法与几个新审敛法进行一些适当的比较总结，另对其应用做一些举例验证。

关键词数学分析正项级数推广比值审敛法

一.预备知识

1.正项级数的定义如果级数

的各项都是非负实数，即

则称此级数为正项级数

2..收敛定理正项级数收敛的充分必要条件是它的部分和数列有上界。

若正项级数的部分和数列无上界，则其必发散到

例级数

是正项级数。它的部分和数列的通项

，

所以正项级数

收敛。

在正项级数敛散性的各种审敛法中，达郎贝尔比值审敛法是最简单而又最常用的审敛法。

二.常规审敛法：

1.达朗贝尔审敛法

……

……

，若

，当L<1，级数收敛，当L>1，级数发散，L=1，不能审敛。

例 1 考虑级数

则

；

所以级数收敛

2.拉贝审敛法

……

……

，若

，则当L<1，级数收敛，L>1，级数发散，L=1，不能审敛。

例 2 判断级数

的敛散性

解设

则

，（达朗贝尔审敛法不可用）

所以级数

三.常规审敛法的比较

由以上两种正向级数的审敛法我们不难看出，相对于达朗贝尔审敛法，拉贝审敛法要更加精细，简洁，这两种审敛法中，达朗贝尔审敛法更为基础，拉贝审敛法的应用相比较之下更为广泛。

但是以上两种审敛法只适用于那种收敛较快或发散较快的正项级数。但实际上，这个审敛法之可能对那些与几何级数的收敛速度或发散速度相当的正项级数有效，而对正项级数

来说，如果

时，则比值审敛法就无法对级数的敛散性作出审敛。例如，我们不难证明，当

为n的有历史时，总有

，也就是说此时比值判定法必定失效。这足以说明比值审敛法的应用范围很窄，因此需要建立一些更细致因而也就更复杂的审敛法。其中，比较常用的是下面的拉贝审敛法。

拉贝审敛法：设

是正项级数，如果

那么，当p>1时级数收敛：而当p<1时级数发散。（此证明详见数学分析教材）但是使用拉贝审敛法的时候，求拉贝数串

的极限显然一般要比求达朗贝尔数串

的极限来的复杂。

四.推广比值审敛法：

1.推广比值审敛法法1（隔项比值审敛法）：设正项级数的项单调递减，如果

则p<

时级数收敛；而当p>

时级数发散。

2.推广比值审敛法2（双比值审敛法）：对于正项级数，如果

那么，当p<

时级数收敛；当p>

时级数发散。

推论对于正项级数

，如果

且

存在，那么当p<

时级数收敛；当p>

时级数发散。

由于这两个审敛法法在内容上又不少相似的地方，我们自然会考虑它们之间的关系问题。

为此先看一个具体例子。

例3 讨论级数

的敛散性

解：首先难验算有

，所以达朗贝尔审敛法失效，考虑改用推广比值审敛法。

先用隔项比值审敛法，因为

，因此

，即使

。在利用斯特林公式

，有

所以所给级数发散。

如果对于本题直接用双比值审敛法，则需要计算两个极限，运算较为繁琐。由于已知

，因此改用审敛法的推论，只需要推出

，计算过程与第一种方法相同。但免去了证明级数项的递减性。

由此可见，虽然双比值审敛法比隔项审敛法的形式复杂，但是当对于正项数级先试用达朗贝尔审敛法出现

的情况时，如果改用双比值审敛法的推论，可以不必考虑级数的项是否递减。也就是说，这时双比值审敛法的实用性更好一些。反之，当容易证明正项级数的项具有递减性时以及

比

的极限更容易计算时，就适宜应用隔项比值审敛法。

一般说来，这两种推广比值审敛法不能互相代替，同时也难以比较它们的强弱。因为，如果

且{

}递减，则一般并不能推出

存在并等于p；反过来，如果

=

=p存在，则{

}并不一定递减。

五.推广比值审敛法与常规审敛法的比较

我们知道，例3也可以用拉贝审敛法判定其发散性。因此我们自然要考虑上面的推广比值审敛法与拉贝审敛法之间的强弱问题。也就是要问，对给定的正项级数。如果能用某个推广比值判定法判定敛散性，是否一定能用拉贝审敛法？或者反过来，能用拉贝审敛法确定敛散性的正项级数是否必定可用前者判定法判定。这一问题比较复杂，所以本文只给出下面的一些结果。

命题1 设

>0，如果

则有

）

证明当

时，任意取定

，由条件，对一切充分大的n都有（1）记

，则不难知道，量

等于函数

在点x=0的导数，也就是数

。

因为

，所以对充分大的n，有

从而

因此由（1）式得

同理，当n充分大时，有