Abelの総和公式とその使用例 (Kroneckerの補題)
本記事では，Abelの総和公式という，数列の積の和を変形する方法を紹介し，その使用例としてKroneckerの補題を示します．
Abelの総和公式
Abelの総和公式とは，数列の積の和を変形する方法であり，部分積分の和バージョンです．
数列$\sequence{a}{n} $，$\sequence{b}{n} $について，$A_n = \sum\limits_{k=1}^n a_k\; (n \in \setN) $とすると
$$
\begin{align}
\sum_{k=1}^n a_k b_k &= A_n b_n - \sum_{k=1}^{n-1} A_k (b_{k+1} - b_{k})
\end{align}
$$
が成り立つ．
これは部分積分と似ています．
連続関数$f(x) $，$C^1$級関数$g(x) $について，$F(x) $を$f(x) $の原始関数とすると
$$
\begin{align}
\int_{\alpha}^{\beta} f(x)g(x) \spint dx = \tint{x=\alpha}{x=\beta}{F(x)g(x)} - \int_{\alpha}^{\beta} F(x) g'(x) \spint dx
\end{align}
$$
が成り立つ．
$A_0 = 0 $とし，数列の差分を$\diff b_n = b_{n+1} - b_n $と書くことにして，Abelの総和公式を
$$ \begin{align} \sum_{k=1}^n a_k b_k = \tint{k=0}{k=n}{A_k b_k} - \sum_{k=1}^{n-1} A_k \diff b_k \end{align} $$
と書くと，(添字の対応がやや不自然ですが) 部分積分にそっくりであることがわかります．
関数$f(x)$の原始関数$F(x) $が数列$a_n$の和$A_n $に，関数$g(x) $の微分$g'(x) $が数列$b_n $の差分$\diff b_n $に対応しています．
Abelの総和公式は簡単な計算で示すことができます．
$A_0 = 0 $とすれば，任意の$k \in \setN $で$a_k = A_k - A_{k-1} $であるから，
$$
\begin{align}
\sum_{k=1}^n a_k b_k &= \sum_{k=1}^n (A_k - A_{k-1}) b_k \\
&= \sum_{k=1}^n (A_k b_k - A_{k-1}b_{k-1} + A_{k-1} b_{k-1} - A_{k-1}b_{k} ) \\
&= \sum_{k=1}^n (A_k b_k - A_{k-1}b_{k-1}) - \sum_{k=1}^n A_{k-1}( b_{k} - b_{k-1}) \\
&= A_n b_n - \sum_{k=1}^{n-1} A_{k} (b_{k+1} - b_k)
\end{align}
$$
となる．
最後の行では$A_0 = 0$であることを用いた．
部分積分が積分の値を求めたり積分の収束性を示すときに何かと役に立つように，Abelの総和公式も和や級数についての命題を示すときに不思議と役に立ちます．
以下では，Abelの総和公式の使用例として，級数についての命題であるKroneckerの補題を示します．
使用例 (Kroneckerの補題)
Kroneckerの補題は，確率論において大数の強法則を示すためによく用いられる命題です．
確率論で用いられる命題とはいっても内容は完全に微分積分の範疇です．
数列$\sequence{a}{n} $，$\sequence{b}{n} $があり，$\sequence{b}{n} $は$b_n > 0 \; (\forall n \in \setN) $で単調非減少かつ$\liminfty{n} b_n = \infty $を満たすとする．
もし$\liminfty{n} \sum\limits_{k=1}^{n} \frac{a_k}{b_k} $が収束するならば，
$\liminfty{n} \frac{1}{b_n}\sum\limits_{k=1}^n a_k = 0$である．
結論に出てくる$\frac{1}{b_n}\sum\limits_{k=1}^n a_k$は，仮定に出てくる$\sum\limits_{k=1}^{n} \frac{a_k}{b_k}$を見れば$\frac{1}{b_n}\sum\limits_{k=1}^n a_k = \frac{1}{b_n}\sum\limits_{k=1}^n \frac{a_k}{b_k} b_k $と変形したくなるでしょう．
このように積の和に変形すればAbelの総和公式の出番です．
$A_n := \sum\limits_{k=1}^n \frac{a_k}{b_k} \; (n \in \setN) $，$A_0 = 0 $とする．
Abelの総和公式を用いることで，
$$
\begin{align}
\frac{1}{b_n}\sum_{k=1}^n a_k &= \frac{1}{b_n}\sum_{k=1}^n \frac{a_k}{b_k} b_k
= \frac{1}{b_n}\left( A_n b_n - \sum_{k=1}^{n-1} A_k (b_{k+1} - b_k) \right) \\
&= A_n - \frac{1}{b_n} \sum_{k=1}^{n-1} A_k (b_{k+1} - b_k)
\end{align}
$$
となる．
いま$\liminfty{n} A_n =: A $が存在するので，$\liminfty{n} \frac{1}{b_n}\sum\limits_{k=1}^n a_k = 0 $を示すには$\liminfty{n}\frac{1}{b_n} \sum\limits_{k=1}^{n-1} A_k (b_{k+1} - b_k) = A $を示せばよい．
数列$\sequence{b}{n} $は単調非減少より$b_{k+1} - b_{k} \geq 0$であるから，
$$
\begin{align}
\Abs{\frac{1}{b_n} \sum_{k=1}^{n-1} A_k (b_{k+1} - b_k) - A} &= \Abs{\frac{1}{b_n} \sum_{k=1}^{n-1} A_k (b_{k+1} - b_k) - \frac{1}{b_n}A(b_{n} - b_1) - \frac{b_{1}}{b_{n}} } \\
&= \Abs{\frac{1}{b_n} \sum_{k=1}^{n-1} A_k (b_{k+1} - b_k) - \frac{1}{b_n}A \sum_{k=1}^{n-1}(b_{k+1} - b_k) - \frac{b_{1}}{b_{n}} } \\
&=\Abs{\frac{1}{b_n} \sum_{k=1}^{n-1} (A_k - A) (b_{k+1} - b_k) - \frac{b_{1}}{b_{n}} } \\
&\leq \frac{1}{b_n} \sum_{k=1}^{n-1} \abs{A_k - A}(b_{k+1} - b_k) + \frac{b_{1}}{b_{n}}
\end{align}
$$
となる．
$\epsilon > 0 $を任意にとる．
$\liminfty{n} A_n = A $であるから，$N \in \setN $が存在して，任意の$n \geq N $で$\abs{A_n - A} < \epsilon$となる．
よって，$n > N $で
$$
\begin{align}
\frac{1}{b_n} \sum_{k=1}^{n-1} \abs{A_k - A}(b_{k+1} - b_k)
&= \frac{1}{b_n} \left(\sum_{k=1}^{N-1} \abs{A_k - A}(b_{k+1} - b_k) + \sum_{k=N}^{n-1} \abs{A_k - A}(b_{k+1} - b_k) \right) \\
&< \frac{C}{b_n} + \frac{1}{b_n} \sum_{k=N}^{n-1} \epsilon (b_{k+1} - b_k) \quad \text{($C := \sum_{k=1}^{N-1} \abs{A_k - A}(b_{k+1} - b_k) $とおいた)} \\
&= \frac{C}{b_n} + \frac{\epsilon}{b_n}(b_n - b_{N}) \\
&= \epsilon + \frac{C'}{b_n} \quad \text{($C' := C- \epsilon b_N $とおいた)}
\end{align}
$$
となり，$\liminfty{n}b_n = \infty $であるから，
$$
\begin{align}
\limsup_{n \to \infty} \Abs{\frac{1}{b_n} \sum_{k=1}^{n-1} A_k (b_{k+1} - b_k) - A} &\leq \limsup_{n \to \infty} \left(\epsilon + \frac{C' + b_1}{b_n} \right) \\
&= \epsilon
\end{align}
$$
となる．
$\epsilon > 0 $は任意であったから$\liminfty{n}\frac{1}{b_n} \sum\limits_{k=1}^{n-1} A_k (b_{k+1} - b_k) = A $であることが示され，
したがって$\liminfty{n} \frac{1}{b_n}\sum\limits_{k=1}^n a_k = 0 $であることが示された．
ちなみに，この命題は積分についても全く同じものが成り立ちます．
$x \geq 0 $で定義された関数$f(x) $，$\varphi(x) $があり，$f(x)$は連続，$\varphi(x) $は$C^1$級で，$\varphi(x) > 0 \; (\forall x \geq 0) $で単調非減少かつ$\liminfty{x} \varphi(x) = \infty $であるとする．
もし$\liminfty{x} \int_{0}^{x} \frac{f(t)}{\varphi(t)} \spint dt $が収束するならば，
$\liminfty{x} \frac{1}{\varphi(x)} \int_{0}^{x} f(t) \spint dt = 0 $である．
定義域や積分の下端が$0$であることに特に意味はなく，任意の実数で置き換えてよいです．
また，$f(x) $や$\varphi(x) $についての仮定はもっと落とせるかもしれませんが，議論を簡単にするためにこのように置いています．
この命題は，級数のときの証明においてAbelの総和公式を使うところを部分積分に置き換えることで，級数のときと全く同じようにして示すことができます．
$F(x) = \int_{0}^x \frac{f(t)}{\varphi(t)} \spint dt \; (x \geq 0) $とおく．
部分積分を用いることで，
$$
\begin{align}
\frac{1}{\varphi(x)} \int_{0}^x f(t) \spint dt &= \frac{1}{\varphi(x)} \int_{0}^x \frac{f(t)}{\varphi(t)} \varphi(t) \spint dt \\
&= \frac{1}{\varphi(x)} \left( \tint{0}{x}{F(t) \varphi(t)} - \int_{0}^x F(t) \varphi'(t) \spint dt \right) \\
&= F(x) - \frac{1}{\varphi(x)}\int_{0}^x F(t) \varphi'(t) \spint dt
\end{align}
$$
となる．
いま$\liminfty{x} F(x) =: A $が存在するので，$\liminfty{x} \frac{1}{\varphi(x)} \int_{0}^x f(t) \spint dt = 0$を示すには
$\liminfty{x} \frac{1}{\varphi(x)}\int_{0}^x F(t) \varphi'(t) \spint dt = A $を示せばよい．
$\varphi(x) $は単調非減少より$\varphi'(x) \geq 0 $であるから，
$$
\begin{align}
\Abs{\frac{1}{\varphi(x)}\int_{0}^x F(t) \varphi'(t) \spint dt - A }
&= \Abs{\frac{1}{\varphi(x)}\int_{0}^x F(t) \varphi'(t) \spint dt - \frac{1}{\varphi(x)}A(\varphi(x) - \varphi(0)) - \frac{\varphi(0)}{\varphi(x)} } \\
&= \Abs{\frac{1}{\varphi(x)}\int_{0}^x F(t) \varphi'(t) \spint dt - \frac{1}{\varphi(x)}A\int_{0}^x \varphi'(t) \spint dt - \frac{\varphi(0)}{\varphi(x)} } \\
&= \Abs{\frac{1}{\varphi(x)}\int_{0}^x (F(t) - A) \varphi'(t) \spint dt - \frac{\varphi(0)}{\varphi(x)} } \\
& \leq \frac{1}{\varphi(x)} \int_{0}^x \abs{F(t) - A} \varphi'(t) \spint dt + \frac{\varphi(0)}{\varphi(x)}
\end{align}
$$
となる．
$\epsilon > 0 $を任意にとる．
$\liminfty{x} F(x) = A$であるから，$R > 0 $が存在して，任意の$x \geq R $で$\abs{F(x) - A } < \epsilon $となる．
よって，$x \geq R $で，
$$
\begin{aligned}
\frac{1}{\varphi(x)} \int_{0}^x \abs{F(t) - A} \varphi'(t) \spint dt
&= \frac{1}{\varphi(x)} \left(\int_{0}^R \abs{F(x) - A} \varphi'(t) \spint dt + \int_{R}^x \abs{F(t) - A} \varphi'(t) \spint dt \right) \\
&< \frac{C}{\varphi(x)} + \frac{1}{\varphi(x)} \int_{R}^x \epsilon \varphi'(t) \spint dt \quad \text{($C := \int_{0}^R \abs{F(x) - A} \varphi'(t) \spint dt$とおいた)} \\
&= \frac{C}{\varphi(x)} + \frac{\epsilon}{\varphi(x)}(\varphi(x) - \varphi(R) ) \\
&= \epsilon + \frac{C'}{\varphi(x)} \quad \text{($C' := C - \epsilon \varphi(R) $とおいた)}
\end{aligned}
$$
となり，$\liminfty{x} \varphi(x) = \infty $であるから
$$
\begin{align}
\limsup_{x \to \infty} \Abs{\frac{1}{\varphi(x)}\int_{0}^x F(t) \varphi'(t) \spint dt - A }
&\leq \limsup_{x \to \infty} \left( \epsilon + \frac{C' + \varphi(0)}{\varphi(x)} \right) \\
&= \epsilon
\end{align}
$$
となる．
$\epsilon > 0 $は任意であったから$\liminfty{x} \frac{1}{\varphi(x)}\int_{0}^x F(t) \varphi'(t) \spint dt = A $であることが示され，
したがって$\liminfty{x} \frac{1}{\varphi(x)} \int_{0}^x f(t) \spint dt = 0 $であることが示された．
級数と積分の証明を比べると，級数では添字の範囲がややこしかったりしますが，積分では積分範囲が変わらなかったり$\varphi'(x) $を積分して$\varphi(x) $に戻ることが一目でわかったりと，積分の方が少しわかりやすいのではないでしょうか (慣れの問題かもしれませんが)．
そのため，Abelの総和公式が使えそうな命題を示すときには，まずわかりやすい積分の方で方針を立ててから級数の方で示す，という方法が使えるかもしれません．
おわりに
Abelの総和公式を紹介し，それが部分積分と似ていることを示し，その使用例としてKroneckerの補題を示しました．
なお，本記事ではAbelの総和公式を極限や積分と絡めて紹介しましたが，
高校数学の美しい物語
さんでは，Abelの総和公式を用いた，純粋な和についての面白い不等式がいくつか紹介されています．