シュトルツ=チェザロの定理 (- のていり、英語: Stolz–Cesàro theorem) とは、数学における数列の収束性 (en) を証明するための定理である。定理の名前はオーストリアの数学者オットー・シュトルツ (en) とイタリアの数学者アーネスト・チェザロ (en) に因む。単にシュトルツの定理といわれることもある。
シュトルツ=チェザロの定理はチェザロ和あるいはチェザロ平均の一般化とみなすことができる。
また、関数の不定形極限計算ためのロピタルの定理の数列版と考えることもできる。
と
を実数の数列とする。
が単調増加で非有界であり、極限、
![{\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)
である。
に対する差分商の収束値が存在するような
を仮定すると、
全ての
に対する添字
を持つ差分商を仮定する。
すると、全ての
での
に対して
![{\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)
である。ここで
において
である。
ここで
に対する
は、
について
から足し合わせることにより、
![{\displaystyle a_{n}-a_{N}=(b_{n}-b_{N})\,c+\sum _{k=N+1}^{n}(b_{k}-b_{k-1})\,\eta _{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1426f5d4a06fd5cba3d6bbcb41090be51d57142b)
を得て、さらに両辺を
で割ることによって次式を得る。
![{\displaystyle {\frac {a_{n}}{b_{n}}}={\frac {a_{N}}{b_{n}}}+\left(1-{\frac {b_{N}}{b_{n}}}\right)c+\sum _{k=N+1}^{n}{\frac {b_{k}-b_{k-1}}{b_{n}}}\,\eta _{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47cbde50ea3bb686ea9791d7c4e53c0718644a4b)
数列
は単調増加であるので、この右辺の第1項は 0 に収束する。また第2項は
に収束する。第3項の数列の単調性により、次の関係を得る。
![{\displaystyle \left|\sum _{k=N+1}^{n}{\frac {b_{k}-b_{k-1}}{b_{n}}}\,\eta _{k}\right|\leq \sum _{k=N+1}^{n}{\frac {b_{k}-b_{k-1}}{b_{n}}}\,|\eta _{k}|<\left(1-{\frac {b_{N}}{b_{n}}}\right)\varepsilon \leq \varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/56bcf3fae4c11e472ce65998115548f9086f60e4)
なる M を見つけることは可能であり、そのとき、全ての
に対して左の2項の差は
に収束し、
に対して次の推定値
,
を得、数列の差分商は
に収束する。
この定理、すなわち「数列の差分の比の極限が存在する⇒その数列の比の極限が存在する」の逆は真であるとは限らない。
例えば、二つの数列、
![{\displaystyle \{a_{n}\}=\{10,10,100,100,1000,1000,\dots \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd702a7aae3d6901304842b5a4ac88858044d325)
![{\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 \lim _{n\to \infty }{\frac {a_{n}-a_{n-1}}{b_{n}-b_{n-1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4af0fd81be64b2a226f57e9f21df1ae62599cc43)
は存在しない。
二つの数列
と
が
と
で規定されるとする。
ここで、
は調和数列
- 各数列の要素が正の有限値、あるいは、各数列は増加的
が単調増加
であるとき、極限、
![{\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)
である。
この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Stolz-Cesaro theoremの本文を含む
[[Category:数列]]
[[Category:定理]]
[[Category:数学に関する記事]]