![曖昧さ回避](//upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Confusion_grey.svg/25px-Confusion_grey.svg.png) |
アーベルの(級数)変形法 (Abel transformation) はアーベル変換(英語版)(Abel transform)とは異なります。 |
数学における部分和分(ぶぶんわぶん、英: summation by parts)は、積の和分を計算あるいは評価しやすい特定の形に変形する方法の一種である。数列の定和分に関する部分和分法はニールス・アーベルに因んでアーベルの補題あるいはアーベルの級数変形法とも呼ばれる。
部分和分法[編集]
函数 f(x), g(x) に対し、∑x を不定和分とすると、
![{\displaystyle \sum _{x}f(x)(g(x+1)-g(x))=f(x)g(x)-\sum _{x}g(x+1)(f(x+1)-f(x))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cd7cfa479d683c01a3e75a0b54a5673aade8533)
が成り立つ。これを不定和分に関する部分和分の公式と呼ぶ。Δ を前進差分作用素とすれば、
![{\displaystyle \sum _{x}f(x)\Delta g(x)=f(x)g(x)-\sum _{x}(g(x)+\Delta g(x))\Delta f(x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ca88a58a66948ce39f91f8db6bb3ec3a30f1553)
あるいは
![{\displaystyle \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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a49348a55afcd42b23bf963e609c4c4123b2d4a)
と書ける。
不定和分に関する部分和分は、不定積分に関する部分積分
![{\displaystyle \int f\,dg=fg-\int g\,df}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b23bceb00a23b6a3ae7ae1f98f92ed8a1b2c32ee)
の離散的なアナロジー(類似対応物)である。比較して部分和分の方は Δf Δg の項が余分に加わっていることに注意。これは部分積分の方では対応する項 df dg は二次の微分として消えることによる。
同様の公式はいわゆる「定和分」についても成立する。すなわち 二つの数列 (fk), (gk) に対して、
![{\displaystyle \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}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a3fb9fc04c9db154e6b4c02796ec112a7a92089)
あるいは前進差分を用いて書けば
![{\displaystyle \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},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45fd3676558832fd31fb887b16746d78ea8646ef)
が成立する(後述)。
ニュートン級数を用いた表示[編集]
定和分に関する公式を少し違った形に書くことができる。即ち、部分和分の公式を繰り返し適用することにより、
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ece73b5eb1b0e74f5872db491ab2b4c883de0f5)
あるいはより一般に、
![{\displaystyle {\begin{aligned}\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_{j}^{(M)}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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eaa696c45fb58098541d758dffa0bb8e5240bf0e)
が成り立つ(M = 1 とすると先の式)。ここで補助的に用いた数列 f(M)
j はニュートン級数(英語版)
![{\displaystyle f_{j}^{(M)}:=\sum _{k=0}^{M}\left(-1\right)^{M-k}{M \choose k}f_{j+k},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37ff15a66d20532d3df72adcddcd46b0a9b894c4)
![{\displaystyle G_{j}^{(M)}:=\sum _{k=j}^{n}{k-j+M-1 \choose M-1}g_{k},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68c7a352857a4021852ffa0b9b70ea1762d163e5)
![{\displaystyle {\tilde {G}}_{j}^{(M)}:=\sum _{k=0}^{j}{j-k+M-1 \choose M-1}g_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c12d2a9251341c4bcb332c998731b763ba949028)
である。ただし、
は二項係数。
特に M = n + 1 として得られる等式
![{\displaystyle \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)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8334ca7ed01ea260f2a3dbb8f299f702f8ad88f)
は有用なものとして著しい。
アーベルの級数変形法[編集]
部分和分を特に級数に対して考えたものは、ふつうアーベルの級数変形法 (Abel transformation) と呼ばれるものである。すなわち、二つの数列 (an), (bn) (n = 0, 1, 2, …) に対して、それらの項ごとの積から得られる和
![{\displaystyle S_{N}=\sum _{n=0}^{N}a_{n}b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd93051b59c7f9e7bf36263c44bf3f99b49e7a9e)
の振舞いを知りたいとする。ここで Bn = ∑n
k=0 bk と置けば、b0 = B0, bn = Bn − Bn−1 (n ≥ 1) であって、かつ
![{\displaystyle {\begin{aligned}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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28cdf4b2344902ccd461312880d3631e55aa744d)
すなわち
![{\displaystyle \sum _{n=0}^{N}a_{n}b_{n}=a_{N}B_{N}-\sum _{n=0}^{N-1}B_{n}(a_{n+1}-a_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/030a69a4c3aa2a66dbca63c0548c6fa56b9d55cd)
が得られるが、このような変形を施すことをアーベルの級数変形法と呼ぶのである。これは SN のいくつかある収束判定法の証明に用いられる。
ここで、特に、 an が微分可能な関数
によって
と定義されているとき、Bn を実数全体に拡張して
とおくことで
![{\displaystyle {\begin{aligned}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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad3eb902d7f2dbe2db80738b24360476c1bad1e4)
が導かれる。これをアーベルの総和公式という(この方法自体を単に部分和分と呼ぶこともある)。
定積分に対する部分積分の公式
![{\displaystyle \int _{a}^{b}f(x)\,dg(x)=[f(x)\,g(x)]_{a}^{b}-\int _{a}^{b}g(x)\,df(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28b1fe4d1fd9429f9df98d4ed5dea0dbaf2556d2)
は境界条件をさておけば、左辺の積分記号下で掛けられた二つの函数が、右辺の積分記号下では一方は積分され (つまり dg は g に) 他方は微分される (つまり f は df に) という形になっている。アーベルの級数変形法でも同様に、左辺の掛けられた二つの数列のうち、右辺では一方が総和され (つまり bn が Bn に) 他方は差分される (つまり an が an+1 − an に)。前進差分作用素 Δ を用いて書けば上式は
![{\displaystyle \sum _{n=0}^{N}a_{n}\Delta B_{n}=a_{N}B_{N}-\sum _{n=0}^{N-1}B_{n}\Delta a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acd89180b6063f1c69fd934b7a6fbcca203e92b6)
となり、部分積分との類似性は見易い。
なお、アーベルの級数変形法を応用する場面ではほとんどの場合において級数の収束性を問題にすることになるが、ここで述べた変形法自体は純代数的なものであり、従って「数列」の成分を任意の体の元としてもそのまま成り立つ。あるいは一方をベクトル空間におけるベクトル列とし、他方をそのベクトル空間の係数体に成分を持つスカラー列としたような場合などでも有効である。
アーベルの級数変形法はある種の級数の収束判定法の証明に用いられる。
- 判定法 1
- ∑ bn が収斂級数 で、an が有界単調列 ならば、SN = ∑N
n=0 anbn は収束する。
- 判定法 2
- 以下の三条件
- 部分和 BN が N によらず有界数列を成す。
. (従って ![{\displaystyle \sum _{n=N}^{M-1}|a_{n+1}-a_{n}|\to 0({\text{ as }}N\to \infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f175700ea7d5a871027ec83997455ce2a39f6ec3)
![{\displaystyle \lim a_{n}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf8776cc34579886defa192ad7f853491ecf16b0)
- がすべて満たされるならば SN = ∑N
n=0 anbn は収束する。
何れの場合においても、収束値 S = ∑∞
n=0 anbn は
![{\displaystyle |S|=\left|\sum _{n=0}^{\infty }a_{n}b_{n}\right|\leq B\sum _{n=0}^{\infty }|a_{n+1}-a_{n}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eda0b3c5c94df8d3cc219342a9c7c26cd216789b)
なる評価を得る。ただし、B は部分和 BN = ∑N
n=0 bn の成す列の(N に依らない)上界とする。
実際に上記の判定法が成り立つことを見よう。コーシーの判定法(英語版)を用いるために SM − SN を計算すれば、アーベルの級数変形法を適用して
![{\displaystyle S_{M}-S_{N}=a_{M}B_{M}-a_{N}B_{N}+\sum _{n=N}^{M-1}B_{n}(a_{n+1}-a_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c265f2d7c95a7bdc990a4799706a73de1ce6c32d)
と書ける。後者の判定法においては BN の適当な上界 B を取れば
![{\displaystyle |S_{M}-S_{N}|\leq |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 )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/708f5070d41e07180e22fe4c3f6175d35313d453)
であるからよい。前者の場合にはさらに an の極限を a として
![{\displaystyle 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})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b07be65562496d26aba02ad424fa8a3b1aefad3)
と書きなおせば、∑bn が収束することにより N に依らず BN は有界ゆえ、その上界を B として最初の二項は
![{\displaystyle |(a_{M}-a)B_{M}-(a_{N}-a)B_{N}|\leq |a_{M}-a|B+|a_{N}-a|B\to 0\quad ({\text{as }}N,M\to \infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78447973e53b06e2beef096c5047408409de406d)
であり、また第三項は ∑bn に対するコーシーの判定法により 0 へ行き、残りは an の単調性により
![{\displaystyle \sum _{n=N}^{M-1}|B_{n}||a_{n+1}-a_{n}|\leq B\sum _{n=N}^{M-1}|a_{n+1}-a_{n}|=B|a_{N}-a_{M}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3557c7ceedfa381d0c1cab32681a3b16716256ef)
と評価できて所期の結果を得る。
参考文献[編集]
関連項目[編集]
外部リンク[編集]