狄利克来判别法中为什么要求单调递减

游戏攻略02

狄利克来判别法中为什么要求单调递减,第1张

狄利克来判别法中为什么要求单调递减
导读：狄利克雷（Dirichlet）判别法是判定变号级数收敛的判别法之一（狄利克雷判别法） 若{an}为单调递减数列，且liman=0(n->无限) ，又级数∑bn 的部分和数列有界，则级数∑anbn收敛/ 条件 (1) 序列{an}单调趋于0

狄利克雷（Dirichlet）判别法是判定变号级数收敛的判别法之一

（狄利克雷判别法） 若{an}为单调递减数列，且liman=0(n->无限) ，又级数∑bn 的部分和数列有界，则级数∑anbn收敛/

条件

(1) 序列{an}单调趋于0

(2) 级数∑bn的部分和有界，则级数∑anbn收敛

狄利克雷判别法的an单调趋于0满足阿贝尔的之一个条件an单调有界。

第二个条件∑bn部分和有界不能推出bn收敛也就是说狄利克雷判别法的条件比阿贝尔的要宽松。

例

∞

∑（1/n）cosn∏

n=1

由阿贝尔

an=1/n单调有界

但∑cosn∏不收敛

因为它的部分和Sn=-1(n是奇数），0（n是偶数）没有极限。

不能由阿贝尔判别收敛所以狄利克雷判别法比阿贝尔判别法条件更松，应用更广。两个判别法不是等价的，阿贝尔判别法是狄利克雷判别法的特殊情况。

阿贝尔判别法是狄利克雷判别法的一个特例，因为狄利克雷判别法的条件之一部分和有界是一个很宽松的条件，它意味

bn可以是收敛的，也可以不是收敛的，就象我举的例子。那有没有只有阿贝尔判别法可以判定而狄利克雷判别法不能判定的呢？没有。我们在由狄利克雷判别法推倒出阿贝尔判别法时已经证明阿贝尔判别法的两个条件是满足狄利克雷判别法的。因此只要是阿贝尔能判断的狄利克雷也能判断。既然阿贝尔能判断的狄利克雷也能判断那为什么还要阿贝尔判别法？因为由狄利克雷判别法判定满足阿贝尔条件的级数时，我们还要把级数构造成

∑(an-a)bn+a∑bn=∑anbn

的形式，比较繁因此可直接用阿贝尔判别法判定。

从形式上看阿贝尔的an单调有界比狄利克雷的an单调趋于0要宽松，但我们可以通过

∑(an-a)bn+a∑bn=∑anbn

把这个条件转化成单调趋于0

总结：

阿贝尔能判定的狄利克雷一定能判定

狄利克雷能判定的阿贝尔不一定能判定（例如上）

例子不在多，一个反例就足够推翻狄利克雷能判定的阿贝尔也能判定。

cosine（余弦）及cotangent（余切）为英国人根日尔首先使用。

cosecant（余割）一词为锐梯卡斯所创最早见于他1596年出版的《宫廷乐章》一书1626年,阿贝尔特·格洛德最早推出简写的三角符号：“sin”、“tan”、“sec”1675年,英国人奥屈特最早推出余下的简写三角符号：“cos”、“cot”、“csc”但直到1748年,经过数学家欧拉的引用后,才逐渐通用起来

sine（正弦）一词始于 *** 人雷基奥蒙坦。他是十五世纪西欧数学界的***物，他于1464年完成的著作《论各种三角形》，1533年开始发行，这是一本纯三角学的书，使三角学脱离天文学，独立成为一门数学分科。 cosine（余弦）及cotangent（余切）为英国人根日尔首先使用，最早在1620年伦敦出版的他所著的《炮兵测量学》中出现。 secant（正割）及tangent（正切）为丹麦数学家托马斯·芬克首创，最早见于他的《圆几何学》一书中。cosecant（余割）一词为锐梯卡斯所创。最早见于他1596年出版的《宫廷乐章》一书。 1626年，阿贝尔特·格洛德最早推出简写的三角符号：“sin”、“tan”、“sec”。1675年，英国人奥屈特最早推出余下的简写三角符号：“cos”、“cot”、“csc”。但直到1748年，经过数学家欧拉的引用后，才逐渐通用起来。