斯托尔兹-切萨罗定理:修订间差异
第2行: | 第2行: | ||
== 内容 == |
== 内容 == |
||
==={{math|∙/∞}}情況的敘述=== |
|||
設<math>(a_n)_{n \geq 1}</math>和<math>(b_n)_{n \geq 1}</math>为兩個[[實數]][[數列]]。若<math>b_n</math>為从某项开始[[单调函数|严格单调]]的[[有界函数|無界]]正數數列,且[[极限 (数列)|有穷极限]] |
|||
令<math>(a_n)_{n \geq 1}</math>以及<math>(b_n)_{n \geq 1}</math>為兩個[[實數]][[數列]]。假設<math>(b_n)_{n \geq 1}</math>是個[[單調函數|嚴格單調]]且收斂的數列(亦即嚴格遞增並接近無窮大,或者嚴格遞減並接近負無窮大),以及下述極限存在: |
|||
⚫ | |||
那麼,極限 |
|||
⚫ | |||
==={{math|0/0}}情況的敘述=== |
|||
⚫ | |||
令<math>(a_n)_{n \geq 1}</math>以及<math>(b_n)_{n \geq 1}</math>為兩個[[實數]][[數列]]。假設<math>(a_n)\to 0</math>以及<math>(b_n)\to 0</math>,並且<math>(b_n)_{n \geq 1}</math>是[[單調函數|嚴格遞減]]。如果 |
|||
:<math> \lim_{n \to \infty} \frac{a_{n+1}-a_n}{b_{n+1}-b_n}=l,\ </math> |
|||
存在,則 |
|||
則 |
|||
:<math> \lim_{n \to \infty} \frac{a_n}{b_n}=l.\ </math><ref>{{Cite book|last=Choudary|first=A. D. R.|url=https://www.springer.com/gp/book/9788132221470|title=Real Analysis on Intervals|last2=Niculescu|first2=Constantin|date=2014|publisher=Springer India|isbn=978-81-322-2147-0|pages=59-60|language=en}}</ref> |
|||
⚫ | |||
也存在且等于''ℓ''。 |
|||
=== 用法说明 === |
=== 用法说明 === |
2022年1月26日 (三) 18:46的版本
斯托尔兹-切萨罗定理(英語:Stolz–Cesàro theorem)是数学分析学中的一個用于證明數列收歛的定理。该定理以奥地利人奥托·施托尔茨和意大利人恩纳斯托·切萨罗命名。
内容
∙/∞情況的敘述
令以及為兩個實數數列。假設是個嚴格單調且收斂的數列(亦即嚴格遞增並接近無窮大,或者嚴格遞減並接近負無窮大),以及下述極限存在:
那麼,極限
0/0情況的敘述
則
用法说明
该定理虽然主要被用来处理数列不定型极限[2][3],但该定理在没有这一限制条件时也是成立的[3]。虽然该定理通常是以分母為正數數列的情形加以叙述的,但注意到该定理对分子的正负没有限制,所以原则上把对数列的限制条件替换为“严格单调递减且趋于负无穷大”也是没有问题的。
与羅必达法则的迭代用法类似,在尝试应用斯托尔兹-切萨罗定理考察数列的极限时,如果发现两个数列差分的商仍然是不定型,可以尝试再使用1次该定理,考察其2阶差分之商的极限。[3]
应当注意,当不存在时,不能认定必定也不存在。换句话说,确实有“有穷极限存在,但有穷极限不存在”的情况(详见下文针对此逆命题所举的反例)。
直观解释
利用与折线斜率的类比,该定理具有直观的几何意义。[3]
相关命题
这个用于解决数列不定型极限的定理与用于解决函数不定型极限的洛必达法则在形式上非常类似。求数列的差分对应于求函数的导函数,斯托尔兹-切萨罗定理就相当于是洛必达法则的离散化版本[3]。但在类比记忆时应当注意,斯托尔兹-切萨罗定理要求数列要具有严格的单调性(或者至少当项数足够大时,要具有严格单调性),而洛必达法则没有对函数的单调性作出要求;洛必达法则要求函数在所考察点的邻域上具有可求导性,但斯托尔兹-切萨罗定理对数列不存在类似限制(数列没有“可差分性”一说)。并非所有的函数都可以进行求导运算,但任何数列都是可以进行差分运算的。
此定理的逆命题不成立。也即当满足条件的存在时,未必存在。如设,,这2个正实数数列都是严格单调递增的且发散至无穷大。易知存在,且数值为1。但是当时是震荡的,即此差分之商的极限值不存在。目前可找出的例子都是借助震荡型数列构造的,而用于说明洛必达法则的逆命题不成立的例子也用到了震荡型的函数。
推广
该定理的一个推广形式如下[來源請求]:
- 如果 和是两个数列,而是单调无界的,那么
参考资料
- ^ Choudary, A. D. R.; Niculescu, Constantin. Real Analysis on Intervals. Springer India. 2014: 59–60. ISBN 978-81-322-2147-0 (英语).
- ^ 张筑生. 数学分析新讲 第1册. 北京大学出版社. 1990: 88. ISBN 9787301008461.
- ^ 3.0 3.1 3.2 3.3 3.4 刘利刚. 从Stolz定理到L' Hospital法则 (PDF). 浙江大学数学系. [2015-01-11]. (原始内容 (pdf)存档于2016-03-08) (中文(中国大陆)).
外部链接
- Marian Mureşan: A Concrete Approach to Classical Analysis. Springer 2008, ISBN 978-0-387-78932-3, p. 85 (restricted online copy,第85頁,載於Google圖書)
- 奥托·施托尔茨. Vorlesungen über allgemeine Arithmetik: nach den Neueren Ansichten [一般算数讲义:新视角]. 莱比锡: B.G.托伊布内出版社 (原出版商),互联网档案馆 (存档网站). 1885: 173–175 (德语).