アーベルの級数変形法とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > アーベルの級数変形法の意味・解説 

部分和分

(アーベルの級数変形法 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/03/02 04:35 UTC 版)

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

部分和分法

函数 f(x), g(x) に対し、x不定和分とすると、

が成り立つ。これを不定和分に関する部分和分の公式と呼ぶ。Δ前進差分作用素とすれば、

あるいは

と書ける。

不定和分に関する部分和分は、不定積分に関する部分積分

の離散的なアナロジー(類似対応物)である。比較して部分和分の方は Δf Δg の項が余分に加わっていることに注意。これは部分積分の方では対応する項 dfdg は二次の微分として消えることによる。

同様の公式はいわゆる「定和分」についても成立する。すなわち 二つの数列 (fk), (gk) に対して、

あるいは前進差分を用いて書けば

が成立する(後述)。

ニュートン級数を用いた表示

定和分に関する公式を少し違った形に書くことができる。即ち、部分和分の公式を繰り返し適用することにより、

あるいはより一般に、

が成り立つ(M = 1 とすると先の式)。ここで補助的に用いた数列 f(M)
j
ニュートン級数英語版

である。ただし、二項係数

特に M = n + 1 として得られる等式

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

アーベルの級数変形法

部分和分を特に級数に対して考えたものは、ふつうアーベルの級数変形法 (Abel transformation) と呼ばれるものである。すなわち、二つの数列 (an), (bn) (n = 0, 1, 2, …) に対して、それらの項ごとの積から得られる和

の振舞いを知りたいとする。ここで Bn = ∑n
k=0
bk
と置けば、b0 = B0, bn = BnBn−1 (n ≥ 1) であって、かつ

すなわち

が得られるが、このような変形を施すことをアーベルの級数変形法と呼ぶのである。これは SN のいくつかある収束判定法の証明に用いられる。

定積分に対する部分積分の公式

境界条件をさておけば、左辺の積分記号下で掛けられた二つの函数が、右辺の積分記号下では一方は積分され (つまり dgg に) 他方は微分される (つまり fdf に) という形になっている。アーベルの級数変形法でも同様に、左辺の掛けられた二つの数列のうち、右辺では一方が総和され (つまり bnBn に) 他方は差分される (つまり anan+1an に)。前進差分作用素 Δ を用いて書けば上式は

となり、部分積分との類似性は見易い。

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

応用

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

アーベルの級数変形法はある種の級数の収束判定法の証明に用いられる。

判定法 1
bn収斂級数 で、an有界単調列英語版 ならば、SN = ∑N
n=0
anbn
は収束する。
判定法 2
以下の三条件
  1. 部分和 BNN によらず有界数列を成す。
  2. . (従って
がすべて満たされるならば SN = ∑N
n=0
anbn
は収束する。

何れの場合においても、収束値 S = ∑
n=0
anbn

なる評価を得る。ただし、B は部分和 BN = ∑N
n=0
bn
の成す列の(N に依らない)上界とする。

実際に上記の判定法が成り立つことを見よう。コーシーの判定法英語版を用いるために SMSN を計算すれば、アーベルの級数変形法を適用して

と書ける。後者の判定法においては BN の適当な上界 B を取れば

であるからよい。前者の場合にはさらに an の極限を a として

と書きなおせば、bn が収束することにより N に依らず BN は有界ゆえ、その上界を B として最初の二項は

であり、また第三項は bn に対するコーシーの判定法により 0 へ行き、残りは an の単調性により

と評価できて所期の結果を得る。

参考文献

関連項目

外部リンク


アーベルの級数変形法

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/03/02 04:35 UTC 版)

部分和分」の記事における「アーベルの級数変形法」の解説

部分和分を特に級数に対して考えたものは、ふつうアーベルの級数変形法 (Abel transformation) と呼ばれるのである。すなわち、二つ数列 (an), (bn) (n = 0, 1, 2, …) に対して、それらの項ごとの積から得られるS N = ∑ n = 0 N a n b n {\displaystyle S_{N}=\sum _{n=0}^{N}a_{n}b_{n}} の振舞い知りたいとする。ここで Bn = ∑nk=0 bk置けばb0 = B0, bn = BnBn−1 (n ≥ 1) であって、かつ S N = a 0 b 0 + ∑ n = 1 N a n ( B nB n − 1 ) = a 0 b 0a 0 B 0 + a N B N + ∑ n = 0 N − 1 B n ( a n − a 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}}} ∑ n = 0 N a n b n = a N B N − ∑ n = 0 N − 1 B n ( a n + 1 − a n ) {\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})} が得られるが、このような変形を施すことをアーベルの級数変形法と呼ぶのである。これは SNいくつかある収束判定法の証明用いられる定積分対す部分積分の公式 ∫ a b f ( x ) d g ( x ) = [ f ( x ) g ( x ) ] a b − ∫ a b g ( x ) d f ( x ) {\displaystyle \int _{a}^{b}f(x)\,dg(x)=[f(x)\,g(x)]_{a}^{b}-\int _{a}^{b}g(x)\,df(x)} ∑ n = 0 N a n Δ B n = a N B N − ∑ n = 0 N − 1 B n Δ a n {\displaystyle \sum _{n=0}^{N}a_{n}\Delta B_{n}=a_{N}B_{N}-\sum _{n=0}^{N-1}B_{n}\Delta a_{n}} となり、部分積分との類似性見易い。 なお、アーベルの級数変形法を応用する場面ではほとんどの場合において級数の収束性問題にすることになるが、ここで述べた変形自体は純代数的なものであり、従って「数列」の成分任意の体の元としてもそのまま成り立つ。あるいは一方ベクトル空間におけるベクトル列とし、他方をそのベクトル空間係数体成分を持つスカラー列としたような場合などでも有効である。

※この「アーベルの級数変形法」の解説は、「部分和分」の解説の一部です。
「アーベルの級数変形法」を含む「部分和分」の記事については、「部分和分」の概要を参照ください。

ウィキペディア小見出し辞書の「アーベルの級数変形法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「アーベルの級数変形法」の関連用語

アーベルの級数変形法のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



アーベルの級数変形法のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの部分和分 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの部分和分 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS