交错级数判别法

✍ dations ◷ 2025-07-25 22:52:13 #级数,审敛法,戈特弗里德·莱布尼茨

交错级数审敛法(Alternating series test)是证明无穷级数收敛的一种方法.该方法最早由戈特弗里德·莱布尼茨发现,因此该方法通常也称为莱布尼茨判别法或莱布尼茨准则.

具有以下形式的级数

其中所有的 非负,被称作交错级数.如果当n趋于无穷时,数列的极限存在且等于0,并且每个小于或等于(即,数列是单调递减的),那么级数收敛.如果是级数的和

那么部分和

逼近有截断误差

我们假设级数具有形式 n = 0 ( 1 ) n a n {\displaystyle \sum _{n=0}^{\infty }(-1)^{n}a_{n}\!} .当 n {\displaystyle n} 趋于无穷时,数列 a n {\displaystyle a_{n}} 的极限等于0,并且每个 a n {\displaystyle a_{n}} 小于或等于 a n 1 {\displaystyle a_{n-1}} (即 a n {\displaystyle a_{n}} 是单调递减数列).


给定数列前(2n+1)项的部分和 S 2 n + 1 = a 0 + ( a 1 + a 2 ) + ( a 3 + a 4 ) + + ( a 2 n 1 + a 2 n ) a 2 n + 1 {\displaystyle S_{2n+1}=a_{0}+\left({-a_{1}+a_{2}}\right)+\left({-a_{3}+a_{4}}\right)+\ldots +\left({-a_{2n-1}+a_{2n}}\right)-a_{2n+1}} .由于每个括号内的和非正,并且 a 2 n + 1 0 {\displaystyle a_{2n+1}\geq 0} ,那么前 (2n+1)项的部分和不大于 a 0 {\displaystyle a_{0}} .

并且每个部分和可写做 S 2 n + 1 = ( a 0 a 1 ) + ( a 2 a 3 ) + + ( a 2 n a 2 n + 1 ) {\displaystyle S_{2n+1}=\left({a_{0}-a_{1}}\right)+\left({a_{2}-a_{3}}\right)+\ldots +\left({a_{2n}-a_{2n+1}}\right)} .每个括号内的和非负.因此,级数 S 2 n + 1 {\displaystyle S_{2n+1}} 单调递增:对任何 n N {\displaystyle n\in N} 均有: S 2 n + 1 S 2 n + 3 {\displaystyle S_{2n+1}\leq S_{2n+3}} .

结合以上两段论述,由单调收敛定理可得,存在数s使得 lim n S 2 n + 1 = s {\displaystyle \lim _{n\to \infty }S_{2n+1}=s} .

由于 S 2 n = S 2 n + 1 a 2 n + 1 {\displaystyle S_{2n}=S_{2n+1}-a_{2n+1}} 并且 lim n + a n = 0 {\displaystyle \lim _{n\to +\infty }a_{n}=0} ,那么 lim n S 2 n = s {\displaystyle \lim _{n\to \infty }S_{2n}=s} .给定数列的和为 lim n S 2 n = lim n S 2 n + 1 = s {\displaystyle \lim _{n\to \infty }S_{2n}=\lim _{n\to \infty }S_{2n+1}=s} ,其中 s {\displaystyle s} 为有限数,从而数列收敛.

在收敛性的证明过程中,我们发现 S 2 n + 1 {\displaystyle S_{2n+1}} 是单调递增的.由于 S 2 n = a 0 + ( a 1 + a 2 ) + + ( a 2 n 1 + a 2 n ) {\displaystyle S_{2n}=a_{0}+\left(-a_{1}+a_{2}\right)+\ldots +\left(-a_{2n-1}+a_{2n}\right)} ,并且括号中的每一项是非正的,这样可知 S 2 n {\displaystyle S_{2n}} 是单调递减的.由先前的论述, lim n S 2 n = L {\displaystyle \lim _{n\to \infty }S_{2n}=L} ,因此 S 2 n L {\displaystyle S_{2n}\geq L} .类似的,由于 S 2 n + 1 {\displaystyle S_{2n+1}} 是单调递增且收敛到 L {\displaystyle L} ,我们有 S 2 n + 1 L {\displaystyle S_{2n+1}\leq L} .因此我们有 S 2 n + 1 L S 2 n {\displaystyle S_{2n+1}\leq L\leq S_{2n}} 对所有的n均成立.

因此如果k是奇数我们有 | L S k | = L S k S k + 1 S k = a k + 1 a k {\displaystyle |L-S_{k}|=L-S_{k}\leq S_{k+1}-S_{k}=a_{k+1}\leq a_{k}} ,而如果k是偶数我们有 | L S k | = S k L S k S k 1 = a k {\displaystyle |L-S_{k}|=S_{k}-L\leq S_{k}-S_{k-1}=a_{k}}

相关

  • 亨利·米勒亨利·瓦伦丁·米勒(英语:Henry Valentine Miller,1891年12月26日-1980年6月7日)是20世纪美国乃至全球最重要的作家之一,富有个性又极具争议的文学大师。他以大胆突破现有的文学形
  • 博茨瓦纳死刑制度博茨瓦纳是一个适用死刑的国家。它是目前少数仍然在执行死刑的民主国家之一。该国被判死刑的人一般都涉嫌情节严重的谋杀罪。该国执行死刑的方式是绞刑。根据该国于1998年公
  • 动画长片动画长片泛指长度较长的动画,相对的概念是动画短片,类似概念则是动画电影,但即使在电影院播放的动画电影,也可能无法满足动画长片的定义。美国电影艺术与科学学院对动画长片奖项
  • 摩尼摩尼(叙利亚语:ܡܐܢܝ ܚܝܐ ,216年-约274年),或译牟尼,是摩尼教的创始人。他出生于波斯帝国安息王朝的巴比伦北部的玛第奴(今伊拉克境内底格里斯河畔),即美索不达米亚南部地区。其
  • 1,8-双二甲氨基萘18.62(乙腈中) (其为共轭酸C14H18N2H+的酸度)1,8-双二甲氨基萘(1,8-Bis(dimethylamino)naphthalene)俗称质子海绵(Proton Sponge,是Sigma-Aldrich的注册商标),是一种由萘衍生的有机
  • 硕讬硕讬(满语:ᡧ᠊ᠣᡨᠣ,穆麟德:,太清:;1600年-1643年),满洲爱新觉罗氏。清太祖努尔哈赤孙、礼烈亲王代善第二子。硕讬初授台吉之职。天命六年(1621年),跟从大军伐明,攻打奉集堡。天命十年(16
  • 函数重载函数重载(英语:function overloading),是Ada、C++、C#、D和Java等编程语言中具有的一项特性,这项特性允许创建数项名称相同但输入输出类型或个数不同的子程序,它可以简单地称为一
  • 锡德拉湾苏尔特湾(阿拉伯语:خليج سرت‎),又译作锡德拉湾或雪特拉湾,是利比亚以北地中海的一个海湾,东起利比亚的第二大城市班加西,西至米苏腊塔,长443公里,深入陆地达100海里。苏尔特
  • 剑玺剑玺(日语:剣璽/けんじ ),日本神话三神器中天丛云剑与八尺琼勾玉二者的合称;剑是指天丛云剑,玺则是将八尺琼勾玉当成神玺。由日本天皇持有,作为其天命的象征。在天皇皇居旁设有“剑
  • 统一建模语言统一建模语言(英语:Unified Modeling Language,缩写 UML)是非专利的第三代建模和规约语言。UML是一种开放的方法,用于说明、可视化、构建和编写一个正在开发的、面向对象的、软件