シュトルツ=チェザロの定理(シュトルツ=チェザロのていり、英: Stolz–Cesàro theorem)とは、数学における数列の収束性を証明するための定理である。定理の名前はオーストリアの数学者オットー・シュトルツとイタリアの数学者エルネスト・チェザロに因む。単にシュトルツの定理といわれることもある。
シュトルツ=チェザロの定理はチェザロ和あるいはチェザロ平均の一般化とみなすことができる。また、ロピタルの定理の数列版と考えることもできる。
定理
と
を実数の数列とする。
が狭義単調増加(または狭義単調減少)で非有界であり、極限
![{\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}-a_{n}}{b_{n+1}-b_{n}}}=\ell }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6804d412ea447d080a3e7d80b518969609be84b3)
が存在すれば、
![{\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=\ell }](https://wikimedia.org/api/rest_v1/media/math/render/svg/582ec606d2fe9686888a44f4792a64d957663b40)
である。
証明
と書く。
が存在すると仮定しているので、任意の
に対して、ある N が存在して、k > N ならば、
![{\displaystyle \left|{\frac {a_{k+1}-a_{k}}{b_{k+1}-b_{k}}}-\ell \right|=|\eta _{k}|<\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/53bba78ead1457df54d74e2796429572de2c8145)
となる。
さて、任意の k に対し、
![{\displaystyle a_{k}-a_{k-1}=(b_{k}-b_{k-1})(\ell +\eta _{k})\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bd3a99915eaadf0edc00cecddc84a37c8d6d8bd)
である。 ここで
とすると、
は、上式を k について N + 1 から n まで足し合わせることにより、
![{\displaystyle a_{n}-a_{N}=(b_{n}-b_{N})\,\ell +\sum _{k=N+1}^{n}(b_{k}-b_{k-1})\,\eta _{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41e1918cc47bef824493c350ccc2d6e75f1ff1fb)
と書ける。さらに
を移項して両辺を
で割ることによって次式を得る。
![{\displaystyle {\frac {a_{n}}{b_{n}}}={\frac {a_{N}}{b_{n}}}+\left(1-{\frac {b_{N}}{b_{n}}}\right)\ell +\sum _{k=N+1}^{n}{\frac {b_{k}-b_{k-1}}{b_{n}}}\,\eta _{k}\cdots \cdots (2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78e1dd6b7b55f4e7ce07624f6b6a993c926a6a6a)
数列
は非有界に狭義単調増加(減少)するので、この右辺の第1項は 0 に収束する。また第2項は
に収束する。第3項が0に収束することは以下の関係により示せる。
![{\displaystyle <{\frac {1}{b_{n}}}\sum _{k=N+1}^{n}(b_{k}-b_{k-1})\,\varepsilon <\left(1-{\frac {b_{N}}{b_{n}}}\right)\varepsilon \leq \varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cf5fc11064984028c93adeb2c3e28817d98341b)
したがって、(2)式、すなわち数列の比は
に収束する。
非可逆性
この定理、すなわち「数列の差分の比の極限が存在する⇒その数列の比の極限が存在する」の逆は真であるとは限らない。例えば、二つの数列、
![{\displaystyle \{a_{n}\}=\{10,10,100,100,1000,1000,\dots \},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/976583c0ab08b97fbd2cad848c3c3bd825f75b30)
![{\displaystyle \{b_{n}\}=\{10,11,100,101,1000,1001,\dots \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f41d2f8cb9b7b3b05ae7c7c2c2c51f1dc0eeff3)
に対して、
![{\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aab3bf8b505e4da13b6588382b912218fb8d6097)
であるが、
![{\displaystyle \varliminf _{n\to \infty }{\frac {a_{n}-a_{n-1}}{b_{n}-b_{n-1}}}=0,\quad \varlimsup _{n\to \infty }{\frac {a_{n}-a_{n-1}}{b_{n}-b_{n-1}}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e06c43151a2352679321105a348a217332961133)
となるので、数列
![{\displaystyle {\frac {a_{n}-a_{n-1}}{b_{n}-b_{n-1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9996d90eb1cdcc3563b7da198fceb560fa1e80a6)
の極限値は存在しない。
一般化
二つの数列
と
が
と
で規定されるとする。ここで、
は調和数列 - 各数列の要素が正の有限値、あるいは、各数列は増加的
が単調増加
であるとき、極限、
![{\displaystyle \lim _{n\to \infty }{\frac {r_{n}}{d_{n}}}={\frac {a_{n}-a_{n-1}}{b_{n}-b_{n-1}}}=\ell }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e64e4f907b0c92493ee3e27f4f488e713184ca9f)
が存在すれば、
![{\displaystyle \lim _{n\to \infty }{\frac {\sum _{k=1}^{n}r_{k}}{\sum _{k=1}^{n}d_{k}}}=\lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=\ell }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ed65d46a3223f5f8707c43e6a2270d2f632f044)
である。
関連項目
外部リンク
- Proof of Stolz-Cesaro theorem
この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Stolz-Cesaro theoremの本文を含む