部分和分

数学における**部分和分**（ぶぶんわぶん、）は、積の和分を計算あるいは評価しやすい特定の形に変形する方法の一種である。数列の定和分に関する部分和分法はニールス・アーベルに因んで**アーベルの補題**あるいは**アーベルの級数変形法**とも呼ばれる。

## 部分和分法
函数  に対し、 を不定和分とすると、
: \sum_x f(x)(g(x+1)-g(x))=f(x)g(x)-\sum_x g(x+1)(f(x+1)-f(x))
が成り立つ。これを**不定和分に関する部分和分の公式**と呼ぶ。 を前進差分作用素とすれば、
:\sum_x f(x)\Delta g(x)=f(x)g(x)-\sum_x (g(x)+\Delta g(x)) \Delta f(x),
あるいは
:\sum_x f(x)\Delta g(x)+\sum_x g(x)\Delta f(x)=f(x)g(x)-\sum_x \Delta f(x)\Delta g(x)
と書ける。

不定和分に関する部分和分は、不定積分に関する部分積分
:\int f\,dg = f g - \int g\,df
の離散的なアナロジー（類似対応物）である。比較して部分和分の方は  の項が余分に加わっていることに注意。これは部分積分の方では対応する項  は二次の微分として消えることによる。

同様の公式はいわゆる「定和分」についても成立する。すなわち 二つの数列  に対して、
:\sum_{k=m}^n f_k(g_{k+1}-g_k) = \left[f_{n+1}g_{n+1} - f_m g_m\right] - \sum_{k=m}^n g_{k+1}(f_{k+1}- f_k),
あるいは前進差分を用いて書けば
: \sum_{k=m}^n f_k\Delta g_k = \left[f_{n+1} g_{n+1} - f_m g_m\right] - \sum_{k=m}^n g_{k+1}\Delta f_k,
が成立する（後述）。

## ニュートン級数を用いた表示
定和分に関する公式を少し違った形に書くことができる。即ち、部分和分の公式を繰り返し適用することにより、
: \begin{align}
\sum_{k=0}^n f_k g_k &= f_0 \sum_{k=0}^n g_k+ \sum_{j=0}^{n-1} (f_{j+1}-f_j) \sum_{k=j+1}^n g_k\\
&= f_n \sum_{k=0}^n g_k - \sum_{j=0}^{n-1} \left( f_{j+1}- f_j\right) \sum_{k=0}^j g_k, 
\end{align}

あるいはより一般に、

:\begin{align}\sum_{k=0}^n f_k g_k &= \sum_{i=0}^{M-1} f_0^{(i)} G_{i}^{(i+1)}+ \sum_{j=0}^{n-M} f^{(M)}_{j} G_{j+M}^{(M)}=\\
&= \sum_{i=0}^{M-1} \left( -1 \right)^i f_{n-i}^{(i)} \tilde{G}_{n-i}^{(i+1)}+ \left( -1 \right) ^{M} \sum_{j=0}^{n-M} f_j^{(M)} \tilde{G}_j^{(M)}\end{align}

が成り立つ（ とすると先の式）。ここで補助的に用いた数列  は

* f_j^{(M)}:= \sum_{k=0}^M \left(-1 \right)^{M-k} {M \choose k} f_{j+k},
* G_j^{(M)}:= \sum_{k=j}^n {k-j+M-1 \choose M-1} g_k,
* \tilde{G}_j^{(M)}:= \sum_{k=0}^j {j-k+M-1 \choose M-1} g_k

である。ただし、\textstyle {n \choose k} は二項係数。

特に  として得られる等式
:\sum_{k=0}^n f_k g_k = \sum_{i=0}^n f_0^{(i)} G_i^{(i+1)} = \sum_{i=0}^n (-1)^i f_{n-i}^{(i)} \tilde{G}_{n-i}^{(i+1)}

は有用なものとして著しい。

## アーベルの級数変形法
部分和分を特に級数に対して考えたものは、ふつう**アーベルの級数変形法** (Abel transformation) と呼ばれるものである。すなわち、二つの数列  に対して、それらの項ごとの積から得られる和
: S_N = \sum_{n=0}^N a_n b_n

の振舞いを知りたいとする。ここで  と置けば、 であって、かつ 
: \begin{align} S_N 
  &= a_0 b_0 + \sum_{n=1}^N a_n (B_n - B_{n-1})\\
  &= a_0 b_0 - a_0 B_0 + a_N B_N + \sum_{n=0}^{N-1} B_n (a_n - a_{n+1})
\end{align}
すなわち
: \sum_{n=0}^N a_n b_n = a_N B_N - \sum_{n=0}^{N-1} B_n (a_{n+1} - a_n)
が得られるが、このような変形を施すことをアーベルの級数変形法と呼ぶのである。これは  のいくつかある収束判定法の証明に用いられる。

ここで、特に、 *a**n* が微分可能な関数 f(x) によって a_n=f(n) と定義されているとき、*B**n* を実数全体に拡張して B(x)=\sum_{k\leq x} b_k, N=\lfloor x \rfloor とおくことで
: \begin{align} S_x=S_N 
  &= a_N B_N - \int_{0}^{N} B(t) f^\prime (t) dt\\
  &= f(x) B(x) - \int_{0}^{x} B(t) f^\prime (t) dt
\end{align}
が導かれる。これをアーベルの総和公式という（この方法自体を単に部分和分と呼ぶこともある）。

定積分に対する部分積分の公式
: \int_a^b f(x)\,dg(x) = [f(x)\,g(x)]_{a}^{b} - \int_a^b g(x)\,df(x)
は境界条件をさておけば、左辺の積分記号下で掛けられた二つの函数が、右辺の積分記号下では一方は積分され (つまり  は  に) 他方は微分される (つまり  は  に) という形になっている。アーベルの級数変形法でも同様に、左辺の掛けられた二つの数列のうち、右辺では一方が総和され (つまり  が  に) 他方は差分される (つまり  が  に)。前進差分作用素  を用いて書けば上式は
: \sum_{n=0}^N a_n \Delta B_n = a_N B_N - \sum_{n=0}^{N-1} B_n \Delta a_n
となり、部分積分との類似性は見易い。

なお、アーベルの級数変形法を応用する場面ではほとんどの場合において級数の収束性を問題にすることになるが、ここで述べた変形法自体は純代数的なものであり、従って「数列」の成分を任意の体の元としてもそのまま成り立つ。あるいは一方をベクトル空間におけるベクトル列とし、他方をそのベクトル空間の係数体に成分を持つスカラー列としたような場合などでも有効である。

## 応用

* アーベルの級数判定法はクロネッカーの補題の証明に用いられる。同補題は分散が従属関係にある制約条件下での大数の強法則の証明に利用できる。
* アーベルの定理の証明にアーベルの級数変形法はよく用いられる。

アーベルの級数変形法はある種の級数の収束判定法の証明に用いられる。
; 判定法 1:  が収斂級数 で、 が有界単調列 ならば、 は収束する。
; 判定法 2: 以下の三条件
:# 部分和  が  によらず有界数列を成す。
:# \sum_{n=0}^\infty |a_{n+1} - a_n| . (従って \sum_{n=N}^{M-1} |a_{n+1}-a_n| \to 0 (\text{ as } N\to \infty)
:# \lim a_n = 0
: がすべて満たされるならば  は収束する。

何れの場合においても、収束値  は
:  |S| = \left|\sum_{n=0}^\infty a_n b_n \right| \le B \sum_{n=0}^\infty |a_{n+1}-a_n|
なる評価を得る。ただし、 は部分和  の成す列の（ に依らない）上界とする。

実際に上記の判定法が成り立つことを見よう。を用いるために  を計算すれば、アーベルの級数変形法を適用して
: S_M - S_N = a_M B_M - a_N B_N + \sum_{n=N}^{M-1} B_n (a_{n+1} - a_n)
と書ける。後者の判定法においては  の適当な上界  を取れば
: |S_M-S_N| \le |a_M|B + |a_N|B + B\sum_{n=N}^{M-1} |a_{n+1} - a_n| \to 0\quad (\text{as }N\to \infty)
であるからよい。前者の場合にはさらに  の極限を  として
:  S_M - S_N = (a_M-a) B_M - (a_N-a) B_N + a(B_M - B_N) + \sum_{n=N}^{M-1} B_n (a_{n+1} - a_n)
と書きなおせば、 が収束することにより  に依らず  は有界ゆえ、その上界を  として最初の二項は
: |(a_M-a) B_M - (a_N-a) B_N| \le |a_M -a|B + |a_N -a|B \to 0\quad (\text{as }N,M\to\infty)
であり、また第三項は  に対するコーシーの判定法により 0 へ行き、残りは  の単調性により
: \sum_{n=N}^{M-1} |B_n| |a_{n+1}-a_n| \le B \sum_{n=N}^{M-1} |a_{n+1}-a_n| = B|a_N - a_M|
と評価できて所期の結果を得る。

## 参考文献

## 関連項目
* 収斂級数
* 発散級数
* 部分積分
* チェザロ総和法
* アーベルの連続性定理
* アーベルの総和公式

## 外部リンク
*