シュトルツ＝チェザロの定理～ロピタルの定理の数列版

シュトルツ＝チェザロの定理

数列 {an}\{ a_n \}，{bn}\{ b_n \} について，次のどちらかを満たすとする。

  1. {bn}\{ b_n \} は単調増加（もしくは単調減少）で lim⁡n→∞bn=±∞\displaystyle\lim_{n \to \infty} b_n = \pm\infty
  2. {bn}\{ b_n \} は単調増加（もしくは単調減少）で lim⁡n→∞an=lim⁡n→∞bn=0\displaystyle \lim_{n \to \infty} a_n = \lim_{n \to \infty} b_n = 0

このとき，極限 lim⁡n→∞an−an−1bn−bn−1\displaystyle \lim_{n \to \infty} \dfrac{a_n - a_{n-1}}{b_n - b_{n-1}} が存在すれば， lim⁡n→∞anbn=lim⁡n→∞an−an−1bn−bn−1 \lim_{n \to \infty} \dfrac{a_n}{b_n} = \lim_{n \to \infty} \dfrac{a_n - a_{n-1}}{b_n - b_{n-1}} である。

シュトルツ＝チェザロの定理は，数列の極限を求めるのに役立つ定理です。ロピタルの定理 の数列版とも言えます。

例1：チェザロ平均との関係

シュトルツ＝チェザロの定理の応用例として，チェザロ平均の性質を導出してみます。

チェザロ平均の性質とは，チェザロ平均の性質と関連する東大の問題でも紹介した以下の有名な性質です。

チェザロ平均の性質

数列 {cn}\{c_n\} に対して，

lim⁡n→∞cn=α\displaystyle\lim_{n\to\infty}c_n=\alpha なら lim⁡n→∞c1+c2+⋯+cnn=α\displaystyle\lim_{n\to\infty} \dfrac{c_1+c_2+\cdots +c_n}{n} =\alpha

導出

シュトルツ＝チェザロの定理において an=c1+c2+⋯+cna_n = c_1+c_2+\cdots +c_n，bn=nb_n = n とおくと，定理の条件1を満たし lim⁡n→∞an−an−1bn−bn−1=lim⁡n→∞cn1=α \lim_{n \to \infty} \dfrac{a_n - a_{n-1}}{b_n - b_{n-1}} = \lim_{n \to \infty} \dfrac{c_n}{1} = \alpha となるため lim⁡n→∞c1+c2+⋯+cnn=α \lim_{n \to \infty} \dfrac{c_1+c_2+\cdots +c_n}{n} = \alpha

例2：バーゼル問題に関連する極限

バーゼル問題 でも紹介しましたが， ∑k=1∞1k2=π26 \sum_{k=1}^{\infty} \dfrac{1}{k^2} = \dfrac{\pi^2}{6} です。これにまつわる極限を紹介します。

問題

次の極限を求めよ。 lim⁡n→∞n(π26−∑k=1n1k2) \lim_{n \to \infty} n \left( \dfrac{\pi^2}{6} - \sum_{k=1}^n \dfrac{1}{k^2} \right)

解答

lim⁡n→∞(π26−∑k=1n1k2)=0\displaystyle \lim_{n \to \infty} \left( \dfrac{\pi^2}{6} - \sum_{k=1}^n \dfrac{1}{k^2} \right) = 0 に注意する。

an=π26−∑k=1n1k2\displaystyle a_n = \dfrac{\pi^2}{6} - \sum_{k=1}^n \dfrac{1}{k^2}，bn=1nb_n = \dfrac{1}{n} とおくと，これらは定理の条件2を満たす。

lim⁡n→∞an−an−1bn−bn−1=lim⁡n→∞1n21n−1n−1=lim⁡n→∞1n2n(n−1)1=1\begin{aligned} \lim_{n \to \infty} \dfrac{a_n -a_{n-1}}{b_n - b_{n-1}} &= \lim_{n \to \infty} \dfrac{\dfrac{1}{n^2}}{\dfrac{1}{n} - \dfrac{1}{n-1}}\\ &= \lim_{n \to \infty} \dfrac{1}{n^2} \dfrac{n(n-1)}{1}\\ &= 1 \end{aligned} であるため lim⁡n→∞n(π26−∑k=1n1k2)=1 \lim_{n \to \infty} n \left( \dfrac{\pi^2}{6} - \sum_{k=1}^n \dfrac{1}{k^2} \right) = 1 を得る。

一般化

より一般に，ζ(s)=∑k=1∞1ks\zeta(s)=\displaystyle\sum_{k=1}^{\infty}\dfrac{1}{k^s} に対して，次の定理が成立します。

定理

s>1s > 1 とする。 lim⁡n→∞ns−1(ζ(s)−∑k=1n1ks)=1s−1 \lim_{n \to \infty} n^{s-1} \left( \zeta (s) - \sum_{k=1}^n \dfrac{1}{k^s} \right) = \dfrac{1}{s-1}

ζ(s)\zeta(s) については，ゼータ関数の定義と基本的な話もどうぞ。

証明

イプシロンエヌ論法を用います。少し長いです。

証明

lim⁡n→∞an−an−1bn−bn−1=c\displaystyle \lim_{n \to \infty} \dfrac{a_n - a_{n-1}}{b_n - b_{n-1}} = c とおく。

ε>0\varepsilon > 0 を任意に取る。ある正の整数 MM があって n>Mn > M のとき ∣anbn−c∣<ε\left| \dfrac{a_n}{b_n} - c \right| < \varepsilon であることを示せばよい。

ck=ak−ak−1bk−bk−1−c\displaystyle c_k = \dfrac{a_k - a_{k-1}}{b_k - b_{k-1}} - c とおく。lim⁡n→∞an−an−1bn−bn−1=c\displaystyle \lim_{n \to \infty} \dfrac{a_n - a_{n-1}}{b_n - b_{n-1}} = c より lim⁡n→∞cn=0\displaystyle \lim_{n \to \infty} c_n = 0 である。

よって，ある正の整数 NN があって，n>Nn > N であれば ∣cn∣<13ε|c_n| < \dfrac{1}{3} \varepsilon となる。

さて，ここで ckc_k の定義より任意の正整数 kk に対して ak−ak−1=(ck+c)(bk−bk−1) a_k - a_{k-1} = (c_k + c) (b_k - b_{k-1}) である。

  1. bnb_n が発散するとき

n>Nn > N のもとで， an−aN=∑k=N+1n(ak−ak−1)=∑k=N+1n(ck+c)(bk−bk−1)=c(bn−bN)+∑k=N+1nck(bk−bk−1)\begin{aligned} a_n - a_N &= \sum_{k=N+1}^n (a_k - a_{k-1})\\ &= \sum_{k=N+1}^n (c_k + c) (b_k - b_{k-1})\\ &= c (b_n - b_N) + \sum_{k=N+1}^n c_k (b_k - b_{k-1})\\ \end{aligned} である。

式を整理すると anbn−c=aNbn+cbNbn+∑k=N+1nckbk−bk−1bn \dfrac{a_n}{b_n} -c = \dfrac{a_N}{b_n} + c\dfrac{b_N}{b_n} + \sum_{k=N+1}^n c_k \dfrac{b_k - b_{k-1}}{b_n} となる。

よって ∣anbn−c∣≦∣aNbn∣+∣cbNbn∣+∣∑k=N+1nckbk−bk−1bn∣ \left| \dfrac{a_n}{b_n} -c \right| \leqq \left| \dfrac{a_N}{b_n} \right| + \left| c\dfrac{b_N}{b_n} \right| + \left| \sum_{k=N+1}^n c_k \dfrac{b_k - b_{k-1}}{b_n} \right| である。

n→∞n \to \infty で1,2項目は 00 に収束するため，ある正の整数 N′N' があって，n>N′n > N' のとき ∣aNbn∣<13ε\left| \dfrac{a_N}{b_n} \right| < \dfrac{1}{3} \varepsilon，∣cbNbn∣<13ε\left| c\dfrac{b_N}{b_n} \right| < \dfrac{1}{3} \varepsilon を得る。

3項目について考える。

k>Nk > N であるため ∣ck∣<ε3|c_k| < \dfrac{\varepsilon}{3} である。ゆえに ∣∑k=N+1nckbk−bk−1bn∣≦∣∑k=N+1nbk−bk−1bn∣13ε=∣1−bNbn∣13ε≦13ε\begin{aligned} \left| \sum_{k=N+1}^n c_k \dfrac{b_k - b_{k-1}}{b_n} \right| &\leqq \left| \sum_{k=N+1}^n \dfrac{b_k - b_{k-1}}{b_n} \right| \dfrac{1}{3} \varepsilon\\ &= \left| 1-\dfrac{b_N}{b_n} \right| \dfrac{1}{3} \varepsilon\\ &\leqq \dfrac{1}{3} \varepsilon \end{aligned} である。

以上より nn が十分大きいとき ∣anbn−c∣<ε \left| \dfrac{a_n}{b_n} - c \right| < \varepsilon である。こうして lim⁡n→∞anbn=c\displaystyle \lim_{n \to \infty} \dfrac{a_n}{b_n} = c である。

  1. an,bna_n , b_n が 00 に収束するとき

mm を正の整数とする。同様の計算から an−an+m=c(bn−bn+m)+∑k=nn+mck(bk−bk+1) a_n - a_{n+m} = c (b_n - b_{n+m}) + \sum_{k=n}^{n+m} c_k (b_k - b_{k+1})\\ である。

同様に ∣anbn−c∣≦∣an+mbn∣+∣cbn+mbn∣+∣∑k=nn+mckbk−bk+1bn∣ \left| \dfrac{a_n}{b_n} -c \right| \leqq \left| \dfrac{a_{n+m}}{b_n} \right| + \left| c \dfrac{b_{n+m}}{b_n} \right| + \left| \sum_{k=n}^{n+m} c_k \dfrac{b_k - b_{k+1}}{b_n} \right| となる。

m→∞m \to \infty で 1,2 項目は 00 に収束するため，ある正の整数 MM があって m>Mm > M のとき ∣an+mbn∣<13ε\left| \dfrac{a_{n+m}}{b_n} \right| < \dfrac{1}{3} \varepsilon，∣cbn+mbn∣<13ε\left| c \dfrac{b_{n+m}}{b_n} \right| < \dfrac{1}{3} \varepsilon を得る。

3項目も同様に，正の整数 N′′N'' があって n>N′′n > N'' のとき 13ε\dfrac{1}{3} \varepsilon で抑えられる。

以上より nn が十分大きいとき ∣anbn−c∣<ε \left| \dfrac{a_n}{b_n} - c \right| < \varepsilon である。こうして lim⁡n→∞anbn=c\displaystyle \lim_{n \to \infty} \dfrac{a_n}{b_n} = c である。

ロピタルほどではないですが，入試のとき検算に使えます。

関連記事

サムネイル

ロピタルの定理の条件と例題

サムネイル

チェザロ平均の性質と関連する東大の問題

サムネイル

バーゼル問題の初等的な証明

サムネイル

イプシロンデルタ論法とイプシロンエヌ論法

サムネイル

数列

サムネイル

数列の発散，収束，振動の意味と具体例

人気記事

サムネイル

平均値，中央値，最頻値の求め方といくつかの例

サムネイル

共分散の意味と簡単な求め方

サムネイル

部分分数分解の３通りの方法

サムネイル

放物線と直線で囲まれた面積を高速で求める1/6公式

サムネイル

リーマン予想の意味，素数分布との関係

サムネイル

判別式まとめ【2次方程式の実数解・x軸との共有点の個数】

この記事に関連するQ&A

ヘキストワッカー法により、エチレンを塩化パラジウムと塩化銅を触媒として酸化するとアセトアルデヒドが得られる。 と問題集に 1
数学の質問です。 双曲線の媒介変数表示を図形的に導出しようとしているのですが、良く分からないところがあります。（三角関数 2
公民の時事問題対策に最近のニュースを教えてください。政治や裁判など、公民に関連するニュースでお願いします。できるだけ簡潔 3
塩は、陽イオン陰イオンの順に書くと国際的に決まっていると習ったのですが、なぜこれは陰イオンが先に書かれてあるのですか？調 4
読書感想文(もしくはエッセイ)です。 青空文庫にある梶井基次郎の「檸檬」のあらすじと、 おすすめしたいポイントを教えてく 5