查看“斯托尔兹－切萨罗定理”的源代码

'''斯托尔兹－切萨罗定理'''（{{lang-en|'''Stolz–Cesàro theorem'''}}）是[[数学分析|数学分析学]]中的一個用于證明[[數列]][[收歛]]的定理。该定理以[[奥地利人]]{{link-en|奥托·施托尔茨|Otto Stolz}}和[[意大利人]][[恩纳斯托·切萨罗]]命名。

== 内容 ==
設<math>(a_n)_{n \geq 1}</math>和<math>(b_n)_{n \geq 1}</math>为兩個[[實數]][[數列]]。若<math>b_n</math>為从某项开始[[单调函数|严格单调]]的[[有界函数|無界]]正數數列，且[[极限 (数列)|有穷极限]]

:<math> \lim_{n \to \infty} \frac{a_{n+1}-a_n}{b_{n+1}-b_n}=\ell </math>

存在，則

:<math> \lim_{n \to \infty} \frac{a_n}{b_n}\ </math>

也存在且等于''ℓ''。

=== 用法说明 ===
该定理虽然主要被用来处理数列[[不定型]]极限<ref>{{cite book |url= |author=[[张筑生]] |title= 数学分析新讲 |publisher=[[北京大学出版社]] |series= |year=1990 |isbn=9787301008461 |volume=第1册 |page=88 |quote= }}</ref><ref name="Stolz_L' Hospital"/>，但该定理在没有<math>\lim_{n \to \infty} a_n= \infty</math>这一限制条件时也是成立的<ref name="Stolz_L' Hospital"/>。虽然该定理通常是以分母<math>b_n</math>為正數數列的情形加以叙述的，但注意到该定理对分子<math>a_n</math>的正负没有限制，所以原则上把对数列<math>b_n</math>的限制条件替换为“严格单调递减且趋于负无穷大”也是没有问题的。

与[[洛必达法则]]的迭代用法类似，在尝试应用斯托尔兹－切萨罗定理考察数列的极限时，如果发现两个数列差分的商仍然是不定型，可以尝试再使用1次该定理，考察其[[差分#高阶差分|2阶差分]]之商的极限。<ref name="Stolz_L' Hospital"/>

应当注意，当<math> \lim_{n \to \infty} \frac{a_{n+1}-a_n}{b_{n+1}-b_n} </math>不存在时，不能认定<math> \lim_{n \to \infty} \frac{a_n}{b_n} </math>必定也不存在。换句话说，确实有“有穷极限<math> \lim_{n \to \infty} \frac{a_n}{b_n} </math>存在，但有穷极限<math> \lim_{n \to \infty} \frac{a_{n+1}-a_n}{b_{n+1}-b_n} </math>不存在”的情况（详见下文针对此逆命题所举的反例）。

== 直观解释 ==
利用与折线斜率的类比，该定理具有直观的几何意义。<ref name="Stolz_L' Hospital"/>

== 相关命题 ==
这个用于解决数列不定型极限的定理与用于解决函数不定型极限的洛必达法则在形式上非常类似。求数列的差分对应于求函数的导函数，斯托尔兹－切萨罗定理就相当于是洛必达法则的离散化版本<ref name="Stolz_L' Hospital">{{Cite web|url=http://www.math.zju.edu.cn/ligangliu/Publications/Teaching/2008_Stolz.pdf|title=从Stolz定理到L' Hospital法则|author=刘利刚|date=|publisher=[[浙江大学数学系]]|language=zh-cn|pages=|work=|format=pdf|doi=|archiveurl=https://web.archive.org/web/20160308172841/http://www.math.zju.edu.cn/ligangliu/Publications/Teaching/2008_Stolz.pdf|archivedate=2016-03-08|accessdate=2015-01-11|quote=|deadurl=yes}}</ref>。但在类比记忆时应当注意，斯托尔兹－切萨罗定理要求数列要具有严格的单调性（或者至少当项数足够大时，要具有严格单调性），而洛必达法则没有对函数的单调性作出要求；洛必达法则要求函数在所考察点的[[邻域]]上具有[[导函数|可求导性]]，但斯托尔兹－切萨罗定理对数列不存在类似限制（数列没有“可差分性”一说）。并非所有的函数都可以进行求导运算，但任何数列都是可以进行差分运算的。

此定理的[[逆命题]]不成立。也即当满足条件的<math> \lim_{n \to \infty} \frac{a_n}{b_n} </math>存在时，<math> \lim_{n \to \infty} \frac{a_{n+1}-a_n}{b_{n+1}-b_n} </math>未必存在。如设<math> a_n = 7n- (-1)^n </math>，<math> b_n = 7n- 2\times (-1)^n </math>，这2个正实数数列都是严格单调递增的且[[发散]]至[[无穷大]]。易知<math> \lim_{n \to \infty} \frac{a_n}{b_n} </math>存在，且数值为1。但是<math> \frac{a_{n+1}-a_n}{b_{n+1}-b_n} = \frac{7(n+1)- (-1)^{n+1}- (7n- (-1)^n)}{7(n+1)- 2\times (-1)^{n+1}- (7n- 2\times (-1)^n)} = \frac{7- (-1)^{n+1} + (-1)^n}{7- 2\times (-1)^{n+1} + 2\times (-1)^n} </math>当<math>n \to \infty</math>时是震荡的，即此差分之商的极限值不存在。目前可找出的例子都是借助震荡型数列构造的，而用于说明洛必达法则的逆命题不成立的例子也用到了震荡型的函数。

== 推广 ==
该定理的一个推广形式如下{{请求来源}}：
:如果<math> (a_n)_{n\geq 1}</math> 和<math> (b_n)_{n\geq 1}</math>是两个数列，而<math>b_n</math>是单调无界的，那么
:<math>\liminf_{n\to\infty} \frac{a_{n+1}-a_n}{b_{n+1}-b_n}\leq \liminf_{n\to\infty}\frac{a_n}{b_n}\leq\limsup_{n\to\infty}\frac{a_n}{b_n}\leq\limsup_{n\to\infty}\frac{a_{n+1}-a_n}{b_{n+1}-b_n}.</math>

== 参考资料 ==
{{Reflist}}

== 外部链接 ==
* Marian Mureşan: ''A Concrete Approach to Classical Analysis''. Springer 2008, ISBN 978-0-387-78932-3, p.&nbsp;85 ({{Google books|5iK9OX9z014C|restricted online copy|page=85}})
* {{Cite book |author={{link-en|奥托·施托尔茨|Otto Stolz}} |year=1885 |title=''Vorlesungen über allgemeine Arithmetik: nach den Neueren Ansichten'' |trans_title= 一般算数讲义：新视角 |publisher={{link-de|B.G.托伊布内出版社|B. G. Teubner Verlag}} (原出版商)，[[互联网档案馆]] (存档网站) |location=[[莱比锡]] |isbn= |pages=173–175 |language=de |url=http://archive.org/stream/vorlesungenbera01stolgoog#page/n181/mode/1up}}

{{DEFAULTSORT:Stolz–Cesàro theorem}}
[[Category:审敛法]]