斯托爾茲-切薩羅定理(英語:Stolz–Cesàro theorem)是數學分析學中的一個用於證明數列收歛的定理。該定理以奧地利人奧托·施托爾茨和意大利人恩納斯托·切薩羅命名。
令
以及
為兩個實數數列。假設
是個嚴格單調且發散的數列(亦即嚴格遞增並接近無窮大,或者嚴格遞減並接近負無窮大),以及下述極限存在:
![{\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}-a_{n}}{b_{n+1}-b_{n}}}=l.\ }](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/79e5161eb1de2ee29c46f37dcec4b736ba3d35fe)
那麼,可以推得極限
![{\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=l.\ }](https://backend.710302.xyz/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://backend.710302.xyz/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://backend.710302.xyz/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://backend.710302.xyz/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://backend.710302.xyz/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://backend.710302.xyz/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://backend.710302.xyz/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://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/ace9bb0e4c023b5d4313c3866836d234cbb663f7)
再一次,因為對數函數是連續和單調的,我們有
.
令
為一個收斂到
的正數數列, 定義
![{\displaystyle y_{0}=1,y_{n}=x_{n}y_{n-1},}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/ad64e6c536c5c789010ad90dab5ebb4ab2e0fa96)
其中解析失败 (SVG(MathML可通过浏览器插件启用):从服务器“http://localhost:6011/baike.710302.xyz/v1/”返回无效的响应(“Math extension cannot connect to Restbase.”):): {\displaystyle n\in \mathbb N}
。那麼我們有
。於是,
我們有
。
這個用於解決數列不定型極限的定理與用於解決函數不定型極限的洛必達法則在形式上非常類似。求數列的差分對應於求函數的導函數,斯托爾茲-切薩羅定理就相當於是洛必達法則的離散化版本[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://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/83de0ffba9858bc7982f2322937717848160d70b)
假設
為嚴格遞增並發散至
, 而且
, 於是存在
使得
。因此我們有
而且
。
那麼,給定
,注意到
。因為
, 我們有
。
令
,由於
, 於是
。因此我們有
。那麼,對於
,我們有
。
於是,當
,我們有
。因為
是任意大於
的數,
。當
,不等式顯然成立。
假設
, 於是存在
使得
。因此我們有
而且
。
那麼,給定
,注意到
。因為
, 我們有
。
令
,由於
, 於是
。因此我們有
。那麼,對於
,我們有
。
於是,當
,我們有
。因為
是任意小於
的數,
。當
,不等式顯然成立。
對於
為嚴格遞減並發散至
的情況,注意到
且
為一個嚴格遞增至
的數列即得證。