交错级数判别法

✍ dations ◷ 2025-11-12 08:35:49 #级数,审敛法,戈特弗里德·莱布尼茨

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

相关

  • 血瀑布血瀑布(英语:Blood Falls)位于南极大陆维多利亚地泰勒谷中,因水中富含铁氧化物,使得水成为深红色,故得名“血瀑布”。泰勒谷属于麦克默多干燥谷的一部分,泰勒冰川位于山谷的西端,血
  • 封建制度封建是源自于中国古代天子依爵位高低将领土分封与宗室或功臣作为食邑的制度。在下,大地主或领主能强行索取土地收入,并且能在其领地上行使政府职权。而在现代的汉语使用上,“封
  • 陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧ 
  • 包衣包衣(满语:ᠪᠣᠣᡳ,穆麟德:booi,太清:boui),全称包衣人(满语:ᠪᠣᠣᡳᠨᡳᠶᠠᠯᠮᠠ,穆麟德:booi niyalma,太清:boui niyalma)或包衣佐领管领下人,是清代八旗制度下世代服役于皇帝、宗室王
  • 德川庆胜德川庆胜(1824年-1883年),日本幕末时代大名,德川御三家之一的尾张藩第十四代藩主。尾张德川家第14代及第17代当主。尾张藩支藩美浓高须藩第十代藩主松平义建次子。母亲为德川治纪
  • 金智健金智健(1965年12月-),天津人,中华人民共和国外交官,现任中华人民共和国驻冰岛共和国特命全权大使。
  • 朱为弼《清代学者像传》之朱为弼像朱为弼(1771年-1840年),初名振鹭,字右甫,号椒堂,又号菽堂、颐斋,浙江平湖县(今属嘉兴市)人。清朝政治人物、学者。嘉庆进士,道光年间官至漕运总督。嘉庆五年
  • 冈本奈月冈本奈月(1989年9月13日-),是于日本三重县出身的模特儿和女演员。过去所属事务所为DECADE。
  • Modula-3在计算机科学领域中,Modula-3是一种作为Modula-2继任者的,Modula-2的升级版被誉为Modula+的编程语言。虽然它已在研究界是有影响力的(影响的语言的设计,如Java,C#和Python)还没有
  • 台中市私立华盛顿高级中学台中市私立华盛顿高级中学(简称华盛顿中学、华中)是位于台湾台中市太平区的私立完全中学,位于廍子坑山腰上。备有学生活动中心、室内温水游泳池、室内体育馆(活动中心)、多功能