斯托尔兹-切萨罗定理(英语:Stolz–Cesàro theorem)是数学分析学中的一个用于证明数列收敛的定理。该定理以奥地利人奥托·施托尔茨和意大利人恩纳斯托·切萨罗命名。
令
以及
为两个实数数列。假设
是个严格单调且发散的数列(亦即严格递增并接近无穷大,或者严格递减并接近负无穷大),以及下述极限存在:
![{\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}-a_{n}}{b_{n+1}-b_{n}}}=l.\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/79e5161eb1de2ee29c46f37dcec4b736ba3d35fe)
那么,可以推得极限
![{\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=l.\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e0db443977afee3ef0c73b7d0406c5d9bbff95e)
令
以及
为两个实数数列。假设
以及
,并且
是严格单调。如果
![{\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}-a_{n}}{b_{n+1}-b_{n}}}=l,\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f11ac2cec4ccefe5112c5412d09f2b03ff6f1ed)
则
[1]
该定理虽然主要被用来处理数列不定型极限[2][3],但该定理在没有
这一限制条件时也是成立的[3]。虽然该定理通常是以分母
为正数数列的情形加以叙述的,但注意到该定理对分子
的正负没有限制,所以原则上把对数列
的限制条件替换为“严格单调递减且趋于负无穷大”也是没有问题的。
与罗必达法则的迭代用法类似,在尝试应用斯托尔兹-切萨罗定理考察数列的极限时,如果发现两个数列差分的商仍然是不定型,可以尝试再使用1次该定理,考察其2阶差分之商的极限。[3]
应当注意,当
不存在时,不能认定
必定也不存在。换句话说,确实有“有穷极限
存在,但有穷极限
不存在”的情况(详见下文针对此逆命题所举的反例)。
假设
为严格递增并发散至
, 而且
, 于是存在
使得
。因此我们有
而且
。
那么,给定
,注意到
。因为
, 我们有
。
令
,由于
, 于是
。因此我们有
。那么,对于
,我们有
。同样地,对于
与
,
存在
使得对于所有
, 我们有
。于是,如果
, 那么
。因此
。
, 那么
。因此
。
, 那么对于所有
使得
,存在一个
(上述
的最大值),使得对于所有
,我们有
。因此
。
对于
为严格递减并发散至
的情况,注意到
且
为一个严格递增至
的数列即得证。
假设
为严格递减收敛至
, 而且
, 于是存在
使得
。因此我们有
而且
。
那么,给定
,注意到
。因为
, 我们有
。
令
,由于
, 于是
。那么,当
, 我们有
。同样地,对于
和
存在
使得对于所有
, 我们有
。于是,如果
, 那么
。因此
。
, 那么
。因此
。
, 那么对于所有
使得
,存在一个
(上述
的最大值),使得对于所有
,我们有
。因此
。
对于
为严格递增并收敛到
的情况,注意到
且
为一个严格递增至
的数列即得证。
利用与折线斜率的类比,该定理具有直观的几何意义。[3]
令
为一个收敛到
的实数数列, 定义
![{\displaystyle a_{n}:=\sum _{m=1}^{n}x_{m}=x_{1}+\dots +x_{n},\quad b_{n}:=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/535a6e1db93bd810943298b9be4f884a9a262be7)
那么
为一个递增至
的数列. 计算
![{\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}-a_{n}}{b_{n+1}-b_{n}}}=\lim _{n\to \infty }x_{n+1}=\lim _{n\to \infty }x_{n}=l}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3096dc3510c159470e0faaa4987defae0f730d9b)
因此
![{\displaystyle \lim _{n\to \infty }{\frac {x_{1}+\dots +x_{n}}{n}}=\lim _{n\to \infty }x_{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d610bb2a23415b5dea4a98350261c3c3147b230a)
令
为一个收敛到
的正数数列, 定义
![{\displaystyle a_{n}:=\log(x_{1}\cdots x_{n}),\quad b_{n}:=n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b26f42863836013f3994f7356b39c37185ecb12)
计算
![{\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}-a_{n}}{b_{n+1}-b_{n}}}=\lim _{n\to \infty }\log {\Big (}{\frac {x_{1}\cdots x_{n+1}}{x_{1}\cdots x_{n}}}{\Big )}=\lim _{n\to \infty }\log(x_{n+1})=\lim _{n\to \infty }\log(x_{n})=\log(l),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/044be14bb278dc36edd8ca80adced04174bc3ea0)
这边我们使用到对数函数是连续的。 因此
![{\displaystyle \lim _{n\to \infty }{\frac {\log(x_{1}\cdots x_{n})}{n}}=\lim _{n\to \infty }\log {\Big (}(x_{1}\cdots x_{n})^{\frac {1}{n}}{\Big )}=\log(l),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ace9bb0e4c023b5d4313c3866836d234cbb663f7)
再一次,因为对数函数是连续和单调的,我们有
.
令
为一个收敛到
的正数数列, 定义
![{\displaystyle y_{0}=1,y_{n}=x_{n}y_{n-1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad64e6c536c5c789010ad90dab5ebb4ab2e0fa96)
其中
。那么我们有
。于是,
我们有
。
这个用于解决数列不定型极限的定理与用于解决函数不定型极限的洛必达法则在形式上非常类似。求数列的差分对应于求函数的导函数,斯托尔兹-切萨罗定理就相当于是洛必达法则的离散化版本[3]。但在类比记忆时应当注意,斯托尔兹-切萨罗定理要求数列要具有严格的单调性(或者至少当项数足够大时,要具有严格单调性),而洛必达法则没有对函数的单调性作出要求;洛必达法则要求函数在所考察点的邻域上具有可求导性,但斯托尔兹-切萨罗定理对数列不存在类似限制(数列没有“可差分性”一说)。并非所有的函数都可以进行求导运算,但任何数列都是可以进行差分运算的。
此定理的逆命题不成立。也即当满足条件的
存在时,
未必存在。如设
,
,这2个正实数数列都是严格单调递增的且发散至无穷大。易知
存在,且数值为1。但是
当
时是震荡的,即此差分之商的极限值不存在。目前可找出的例子都是借助震荡型数列构造的,而用于说明洛必达法则的逆命题不成立的例子也用到了震荡型的函数。
该定理的一个推广形式如下:
- 如果
和
是两个数列,而
是单调无界的,那么
![{\displaystyle \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}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83de0ffba9858bc7982f2322937717848160d70b)
假设
为严格递增并发散至
, 而且
, 于是存在
使得
。因此我们有
而且
。
那么,给定
,注意到
。因为
, 我们有
。
令
,由于
, 于是
。因此我们有
。那么,对于
,我们有
。
于是,当
,我们有
。因为
是任意大于
的数,
。当
,不等式显然成立。
假设
, 于是存在
使得
。因此我们有
而且
。
那么,给定
,注意到
。因为
, 我们有
。
令
,由于
, 于是
。因此我们有
。那么,对于
,我们有
。
于是,当
,我们有
。因为
是任意小于
的数,
。当
,不等式显然成立。
对于
为严格递减并发散至
的情况,注意到
且
为一个严格递增至
的数列即得证。