斯托爾茲-切薩羅定理(英語:Stolz–Cesàro theorem)是數學分析學中的一個用於證明數列收歛的定理。該定理以奧地利人奧托·施托爾茨和義大利人恩納斯托·切薩羅命名。
令 以及 為兩個實數數列。假設 是個嚴格單調且發散的數列(亦即嚴格遞增並接近無窮大,或者嚴格遞減並接近負無窮大),以及下述極限存在:
那麼,可以推得極限
令 以及 為兩個實數數列。假設 以及 ,並且 是嚴格單調。如果
則
- [1]
該定理雖然主要被用來處理數列不定型極限[2][3],但該定理在沒有這一限制條件時也是成立的[3]。雖然該定理通常是以分母為正數數列的情形加以敘述的,但注意到該定理對分子的正負沒有限制,所以原則上把對數列的限制條件替換為「嚴格單調遞減且趨於負無窮大」也是沒有問題的。
與洛必達法則的迭代用法類似,在嘗試應用斯托爾茲-切薩羅定理考察數列的極限時,如果發現兩個數列差分的商仍然是不定型,可以嘗試再使用1次該定理,考察其2階差分之商的極限。[3]
應當注意,當不存在時,不能認定必定也不存在。換句話說,確實有「有窮極限存在,但有窮極限不存在」的情況(詳見下文針對此逆命題所舉的反例)。
假設為嚴格遞增並發散至, 而且, 於是存在 使得 。因此我們有 而且 。
那麼,給定,注意到 。因為 , 我們有 。
令,由於, 於是。因此我們有。那麼,對於,我們有 。同樣地,對於 與 ,
存在 使得對於所有 , 我們有 。於是,如果
- , 那麼 。因此 。
- , 那麼 。因此 。
- , 那麼對於所有 使得,存在一個 (上述的最大值),使得對於所有,我們有 。因此。
對於為嚴格遞減並發散至的情況,注意到 且 為一個嚴格遞增至的數列即得證。
假設為嚴格遞減收斂至, 而且, 於是存在 使得 。因此我們有 而且 。
那麼,給定,注意到 。因為 , 我們有 。
令,由於, 於是。那麼,當, 我們有 。同樣地,對於和
存在 使得對於所有 , 我們有 。於是,如果
- , 那麼 。因此 。
- , 那麼 。因此 。
- , 那麼對於所有 使得,存在一個 (上述的最大值),使得對於所有,我們有 。因此。
對於為嚴格遞增並收斂到的情況,注意到 且 為一個嚴格遞增至的數列即得證。
利用與折線斜率的類比,該定理具有直觀的幾何意義。[3]
令 為一個收斂到的實數數列, 定義
那麼 為一個遞增至 的數列. 計算
因此
令 為一個收斂到的正數數列, 定義
計算
這邊我們使用到對數函數是連續的。 因此
再一次,因為對數函數是連續和單調的,我們有
- .
令 為一個收斂到的正數數列, 定義
其中。那麼我們有 。於是,
我們有
- 。
這個用於解決數列不定型極限的定理與用於解決函數不定型極限的洛必達法則在形式上非常類似。求數列的差分對應於求函數的導函數,斯托爾茲-切薩羅定理就相當於是洛必達法則的離散化版本[3]。但在類比記憶時應當注意,斯托爾茲-切薩羅定理要求數列要具有嚴格的單調性(或者至少當項數足夠大時,要具有嚴格單調性),而洛必達法則沒有對函數的單調性作出要求;洛必達法則要求函數在所考察點的鄰域上具有可求導性,但斯托爾茲-切薩羅定理對數列不存在類似限制(數列沒有「可差分性」一說)。並非所有的函數都可以進行求導運算,但任何數列都是可以進行差分運算的。
此定理的逆命題不成立。也即當滿足條件的存在時,未必存在。如設,,這2個正實數數列都是嚴格單調遞增的且發散至無窮大。易知存在,且數值為1。但是當時是震盪的,即此差分之商的極限值不存在。目前可找出的例子都是藉助震盪型數列構造的,而用於說明洛必達法則的逆命題不成立的例子也用到了震盪型的函數。
該定理的一個推廣形式如下:
- 如果 和是兩個數列,而是單調無界的,那麼
假設為嚴格遞增並發散至, 而且, 於是存在 使得 。因此我們有 而且 。
那麼,給定,注意到 。因為 , 我們有 。
令,由於, 於是。因此我們有。那麼,對於,我們有 。
於是,當,我們有。因為是任意大於的數,。當,不等式顯然成立。
假設, 於是存在 使得 。因此我們有 而且 。
那麼,給定,注意到 。因為 , 我們有 。
令,由於, 於是。因此我們有。那麼,對於,我們有 。
於是,當,我們有。因為是任意小於的數,。當,不等式顯然成立。
對於為嚴格遞減並發散至的情況,注意到 且 為一個嚴格遞增至的數列即得證。