交错级数判别法

✍ dations ◷ 2025-10-21 15:42:18 #级数,审敛法,戈特弗里德·莱布尼茨

交错级数审敛法(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}}

相关

  • HLA-C5543BZF· extracellular region · plasma membrane · integral to plasma membrane · ER to Golgi transport vesicle membrane · phagocytic vesicle membrane · e
  • 威利斯·兰姆威利斯·兰姆(英语:Willis Lamb, Junior,1913年7月12日-2008年5月15日),美国物理学家,生于洛杉矶,1955年获诺贝尔物理学奖。威利斯·兰姆出生于美国加利福尼亚州洛杉矶,并在洛杉矶高
  • 五夸克态五夸克粒子是一种次原子粒子,属于奇异强子。五夸克粒子有五个夸克。更详细地说,是四个夸克和一个反夸克(表示他的重子数为1)。虽然物理学者预言五夸克粒子存在已很多年了,五夸克
  • 美国公民及移民服务局美国公民及移民局(英语:United States Citizenship and Immigration Services, USCIS)是美国国土安全部的一个组成部分,它的职能与之前的美国司法部下辖美国移民及归化局类似。
  • 嬉皮嬉皮士(英语:hippie, hippy)本来被用来描写西方国家1960年代和1970年代反抗习俗和当时政治的年轻人。嬉皮士这个名称是通过《旧金山纪事报》的记者赫柏·凯恩普及的。嬉皮士不
  • 税收与支出条款宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙
  • 约翰·海因里希·弗里德里希·林克约翰·海因里希·弗里德里希·林克(德语:Johann Heinrich Friedrich Link)(1767年2月2日-1850年1月1日)是德国植物学家。 林克出生于希尔德斯海姆,在位于格丁根的汉诺威州立大学学
  • 中国计算机科学大事年表中国计算机科学大事年表按照时间顺序罗列了中华人民共和国建国以来,在计算机科学领域发生的重大事件。中科院自动化所与医学专家合作开发出第一个关幼波肝炎人工智能专家系统
  • 佐野理平佐野理平(1912年9月21日-1992年3月26日),日本男子足球运动员,前日本国家足球队成员。1936年,他共为日本国家足球队出场2次,其中包括德国柏林举办的1936年夏季奥运。
  • 莎拉·范特凯莎拉·范特凯(;1986年-),美国时装摄影师、模特儿、女演员以及歌手。她是《全美超级模特儿新秀大赛》第八季的参赛者,在第七集被淘汰。莎拉是德国人。莎拉在17岁时曾经和模特儿经纪