発散級数のソースを表示

[[数学]]において'''発散級数'''（はっさんきゅうすう、{{lang-en-short|''divergent series''}}）とは、[[収束級数|収束]]しない級数である、つまり、[[部分和]]の成す[[数列|無限列]]が有限な[[数列の極限|極限]]を持たない級数である。

級数が収束するならば、級数の各項の成す数列は必ず 0 に収束する。したがって、0 に収束しないような数列を項に持つ級数はいずれも発散する。しかし逆に、級数の項が 0 に収束しても級数は収束するとは限らない。最も簡単な[[反例]]として、[[調和級数]]
:<math>1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \cdots =\sum_{n=1}^\infty\frac{1}{n}</math>
が挙げられる。調和級数が発散することは、中世の数学者[[ニコル・オレーム]]によって示された。

数学の特別な文脈では、部分和の列が発散するようなある種の列について、その和として意味のある値を割り当てることができる。'''総和法''' {{lang|en|(''summability method'', ''summation method'')}} とは、級数の部分和の列全体の成す集合から「和の値」の集合への[[部分写像]]である。例えば、[[チェザロ総和法]]では[[グランディ級数|グランディの発散級数]]

:<math>1 - 1 + 1 - 1 + \cdots</math>

に 1/2 を値として割り当てる。チェザロ総和法は'''平均化'''法 {{lang|en|(''averaging'' method)}} の一種で、部分和の列の[[算術平均]]をとることに基づいている。他の方法としては、関連する級数の[[解析接続]]として和を定める方法などがある。[[物理学]]では、非常に多種多様な総和法が用いられる（詳細は{{仮リンク|正則化 (物理学)|en|regularization (physics)|label=正則化}}の項を参照）。

== 発散級数の総和法に関する定理 ==
総和法 ''M'' が'''正則'''であるとは、[[収束級数]]については通常の和と一致することである。総和法 ''M'' が正則であることを示す定理は（[[アーベルの連続性定理|アーベルの定理]]が原型的な例であることから）''M'' に対する'''アーベル型定理'''という（また、正則であるという代わりに「''M'' についてのアーベル型定理が成り立つ」というように述べることもできる）。これの「部分的に逆」の結果を与える'''タウバー型定理'''は、より重要で一般にはより捉えにくい（呼称は、原型的な例をアルフレッド・タウバーが与えたことによる）。ここで「部分的に逆」というのは ''M'' が級数 &Sigma; を総和し、かつ「ある特定の付加条件を満たす」ならば、&Sigma; はそもそも収束級数であるということを言っている。「なんらの付加条件をなにも課さない形でタウバー型定理が成立する」ならば ''M'' は収束級数だけしか総和できないという意味になる（これでは発散級数の総和法としては役に立たない）。

収束級数にその和を対応させる作用素は'''線型'''であり、[[ハーン-バナッハの定理]]によれば、これを部分和が有界となる任意の級数を総和する総和法に拡張することができる。しかしこの事実は実用上はあまり有用ではない。そういった拡張の大部分は互いに無矛盾とはならず、またそのような拡張された作用素の存在をしめすのに[[選択公理]]あるいはそれと同値な[[ツォルンの補題]]などの適用を必要とするため、構成的に拡張を得られないためである。

[[解析学]]の領域での発散級数に関する主題としては、もともとは[[アーベル総和法]]や[[チェザロ総和法]]、[[ボレル総和]]といった明示的で自然な手法およびそれらの関係性に関心がもたれていた。{{仮リンク|ウィーナーのタウバー型定理|en|Wiener's tauberian theorem|fr|Théorème taubérien de Wiener}}の出現が時代の契機となって、[[フーリエ解析]]における[[バナッハ環]]の手法との予期せぬ関連がこの主題に導入されることとなる。

発散級数の総和法は数値解法としての[[外挿]]法や級数変形法にも関係する。そのような手法として、[[パデ近似]]、レヴィン型級数変形および[[量子力学]]の高次[[摂動論]]に対する[[繰り込み]]手法に関係した次数依存写像 {{lang|en|(order-dependent mapping)}} などが挙げられる。

== 総和法の性質 ==
総和法はふつうは級数の部分和の列に注目する。この部分和の列が収束しないとしても、この数列のもともとの項からどんどん大きな[[平均]]をとることにより、平均が収束するものがしばしば求められて、極限をとる代わりにこの平均を級数の和として評価に利用することができる。ゆえに、
: <math>a = a_0 + a_1 + a_2 + \cdots</math>
の評価のために ''s''<sub>0</sub> = ''a''<sub>0</sub> および ''s''<sub>''n''+1</sub> = ''s''<sub>''n''</sub> + ''a''<sub>''n+1''</sub> で定まる数列 ''s'' を合わせて考える。収束級数の場合には、数列 ''s'' はその極限値として ''a'' に収束する。'''総和法'''を、級数の部分和の列からなる集合から値の集合への写像とみることができる。数列の集合に値を割り当てる任意の総和法 '''A''' が与えられれば、対応する級数に同じ値を割り当てる'''級数総和法''' {{lang|en|(''series-summation method'')}} '''A'''<sup>&Sigma;</sup> に機械的に翻訳することができる。こういった総和法について、値を数列の極限や級数の和にそれぞれ割り当てるものという解釈を与えたいならば、持っていて欲しい「あるべき性質」というものがいくつかある。

# '''正則性''' {{lang|en|(''Regularity'')}}: 総和法 '''A''' が'''正則''' {{lang|en|(''regular'')}} であるとは、部分和の列 ''s'' が ''x'' に収束するならば '''A'''(''s'') = ''x'' となること、あるいは同じことだが、''s'' に対応する級数 ''a'' に対して '''A''' に対応する級数総和法 '''A'''<sup>&Sigma;</sup> が '''A'''<sup>&Sigma;</sup>(''a'') = ''x'' を満たすことをいう。
# '''線型性''' {{lang|en|(''Linearity'')}}: 総和法 '''A''' が'''線型''' {{lang|en|(''linear'')}} であるとは、それが定義される限りにおいて数列全体の成す線型空間上の線型汎関数となること、つまり '''A'''(''r'' + ''s'') = '''A'''(''r'') + '''A'''(''s'') かつ '''A'''(''ks'') = ''k'' '''A'''(''s'') が成り立つときにいう。ただし ''k'' はスカラー。級数 ''a'' の項 ''a''<sub>''n''</sub> = ''s''<sub>''n''+1</sub> &minus; ''s''<sub>''n''</sub> は数列 ''s'' 上の線型[[汎関数]]で逆も成り立つから、'''A''' が線型であることは、対応する級数総和法 '''A'''<sup>&Sigma;</sup> がその項全体の上の線型汎関数となることに同値である。
# '''安定性''' {{lang|en|(''Stability'')}}: ''s'' が初項 ''s''<sub>0</sub> の数列で、''s''&prime; を ''s'' の初項を落として、残りの項は ''s''<sub>0</sub> を引くことによって得られる数列とする。つまり、''s''&prime;<sub>''n''</sub> := ''s''<sub>''n''+1</sub> &minus; ''s''<sub>0</sub> とするとき、総和法 '''A''' が'''安定''' {{lang|en|(''stable'')}} であるとは、'''A'''(''s'') が定義されることと '''A'''(''s''&prime;) が定義されることが同値で、'''A'''(''s'') = ''s''<sub>0</sub> + '''A'''(''s''′) が成立するときにいう。同じことだが、各 ''n'' について ''a''&prime;<sub>''n''</sub> := ''a''<sub>''n''+1</sub> とすれば '''A'''<sup>Σ</sup>(''a'') = ''a''<sub>0</sub> + '''A'''<sup>&Sigma;</sup>(''a''&prime;) が成り立つとき、級数総和法 '''A'''<sup>&Sigma;</sup> は安定であるという。

ただし、有用な総和法が以上の性質を満しているとはかぎらない。特に、最後の三つ目の条件は他の二つよりはやや重要性が低く、{{ill2|ボレル総和法|en|Borel summation|fr|Sommation de Borel|es|Sumación de Borel|ru|Сходимость по Борелю}}のような重要な総和法の中にもこの性質を持たないものが存在する。

安定性の条件をより緩い制限で代えることもできる。
# '''有限再可付番性''': 二つの列 ''s'' と ''s''&prime; が適当な[[全単射]] ''f'': '''N'''} &rarr; '''N''' で各 ''i'' について {{nowrap|1=''s''<sub>''i''</sub> = ''s''′<sub>''f(i)''</sub>}} となるようにできるとき、自然数 ''N'' &isin; '''N''' で {{math|''i'' > ''N''}} なる任意の ''i'' において {{nowrap|1=''s''<sub>''i''</sub> = ''s''′<sub>''i''</sub>}} が存在するならば {{nowrap|1='''A'''(''s'') = '''A'''(''s''′)}} が成り立つ。
言葉を変えれば、''s''&prime; は ''s'' の有限個の項を並べ替えただけでそれ以外全く同じ数列ということである。注意すべきはこれが'''安定性'''よりも弱い条件であることで、実際「安定性」を示す任意の総和法は「有限再可付番性」も持つが、逆は真でない。

また、二つの相異なる総和法 '''A''', '''B''' が共有すべき良い性質として'''一貫性'''あるいは'''無矛盾性''' {{lang|en|(''consistency'')}} といわれるものがある。'''A''', '''B''' が一貫しているあるいは互いに矛盾しないとは、'''A''', '''B''' の双方で値の割り当てられている任意の級数 ''s'' に対して {{nowrap|1 = '''A'''(''s'') = '''B'''(''s'')}} が成り立つことを言う。二つの総和法が互いに無矛盾で、一方が他方よりも多くの級数に和を割り当てることができるならば、総和可能な級数の多いほうを、他方より'''強い''' {{lang|en|(''stronger'')}} 総和法という。

強力な数値的総和法の中には正則でも線型でもないようなものがあることに注意すべきである。レヴィン型級数変形法や[[パデ近似]]のような級数変形法、あるいは[[繰り込み]]に基づく摂動級数の次数依存写像などは、そのようなものの例である。

== 公理的方法 ==
正則性、線型性、安定性を公理として扱えば、多くの発散級数を初等代数的操作のみで総和することが可能である。たとえば、{{nowrap|1=''r'' ≠ 1}} なる任意の公比 ''r'' に対する[[幾何級数]] ''G''(''r'', ''c'') に対して、
:<math>\begin{align}
G(r,c) & = \sum_{k=0}^\infty cr^k\\
 & = c + \sum_{k=0}^\infty cr^{k+1}\quad\text{(stability)} \\
 & = c + r \sum_{k=0}^\infty cr^k \quad\text{(linearity)} \\
 & = c + r \, G(r,c) \\
G(r,c) & = \frac{c}{1-r}\\
\end{align}</math>
というように、収束性を考えることなしに評価することができる。より厳密に言えば、これらの性質を持ち、有限な値を定める任意の総和法において、[[幾何級数]]には必ずこの値が与えられなければならない。しかし ''r'' が 1 より大きい実数のときは、その部分和は際限なく増加し、平均化法では極限としての &infin; が[[幾何級数]]の値として与えられることになる。

== ネールルンド平均 ==
''p''<sub>''n''</sub> は初項 ''p''<sub>0</sub> の正項数列とし、さらに
:<math>\frac{p_n}{p_0+p_1 + \cdots + p_n} \to 0</math>
なるものと仮定する。いま、級数 ''s'' を ''p'' を使って変形して、
:<math>t_m = \frac{p_m s_0 + p_{m-1}s_1 + \cdots + p_0 s_m}{p_0+p_1+\cdots+p_m}</math>
なる加重平均を考えるとき、''t''<sub>''n''</sub> の ''n'' を無限大に飛ばした極限は'''ネールルンド平均''' '''N'''<sub>''p''</sub>(''s'') と呼ばれる（ニールス・エリック・ネールルンドに由来）。

ネールルンド平均は正則、線型かつ安定であり、さらに任意の二種類のネールルンド平均は互いに矛盾しない。もっとも重要なネールルンド平均はチェザロ和である。いま、数列 ''p''<sup>''k''</sup> を
:<math>p_n^k = {n+k-1 \choose k-1}</math>
で定めれば、''k''-次のチェザロ和 C<sub>''k''</sub> は
: <math>C_k(s) = \mathbf{N}(p^k)(s)</math>
で定義されるものである。''k'' &ge; 0 のとき、チェザロ和はネールルンド平均であり、したがって正則、線型かつ互いに無矛盾となる。0-次のチェザロ和 C<sub>0</sub> は通常の和であり、1-次のチェザロ和 C<sub>1</sub> は通常の[[チェザロ総和法]]である。チェザロ和について、''h'' &gt; ''k'' ならば、C<sub>''h''</sub> は C<sub>''k''</sub> よりも強いという性質がある。

== アーベル平均 ==
&lambda; = {&lambda;<sub>''0''</sub>, &lambda;<sub>''1''</sub>, &lambda;<sub>''2''</sub>, ...} は &lambda; &ge; 0 なる真の増加列で無限大に発散するものとする。''a''<sub>''n''</sub> = ''s''<sub>''n''+1</sub> &minus; ''s''<sub>''n''</sub> とおけば、''a'' に対応する級数はその部分和の列が ''s'' となることを思い出そう。任意の正の実数 ''x'' に対し、
:<math>f(x) = \sum_{n=0}^\infty a_n \exp(-\lambda_n x)</math>
が収束すると仮定するとき、'''アーベル平均''' {{lang|en|(''Abelian mean'')}} ''A''<sub>&lambda;</sub> が
:<math>A_\lambda(s) = \lim_{x \to 0^{+}} f(x)</math>

として定義される。この種類の級数は一般化[[ディリクレ級数]]として知られる。また、物理学への応用においては{{仮リンク|熱核正則化|en|heat-kernel regularization}}としても知られる。

アーベル平均は正則、線型かつ安定だが、&lambda; の選び方によっては必ずしも一貫性を持たない。しかしながら、ある特別の場合には非常に重要な総和法である。

=== アーベル和 ===
{{see also|[[アーベルの連続性定理|アーベルの定理]]|アーベル総和法}}
アーベル平均において &lambda;<sub>''n''</sub> = ''n'' ととれば、'''アーベル総和法''' {{lang|en|(method of ''Abel summation'')}} が得られる。ここに

:<math>f(x) := \sum_{n=0}^\infty a_n \exp(-nx) = \sum_{n=0}^\infty a_n z^n =: g(z)</math>

（ただし ''z'' = exp(&minus;''x'')）とおけば、''f''(''x'') の ''x'' を正の方向から 0 に近づけた極限は、冪級数 ''g''(''z'') の ''z'' を正の実数を通って下から 1 に近づける極限に一致し、'''アーベル和''' ''A''(''s'') が

:<math>A(s) = \lim_{z \to 1^{-}} \sum_{n=0}^\infty a_n z^n</math>

として定義される。アーベル総和法の重要性のひとつには、チェザロ和と矛盾せず、かつチェザロ和よりも強いという点がある。つまり ''A''(''s'') = ''C''<sub>''k''</sub>(''s'') が、右辺が定義される限りにおいて必ず成立する。したがって、アーベル和は正則、線型、安定かつチェザロ和と一貫性を持つ。

=== リンデレーフ和 ===
アーベル平均において、（添字は 1 から付すものとして）&lambda;<sub>''n''</sub> = ''n'' ln(''n'') ととれば、

:<math>f(x) = a_1 + a_2 2^{-2x} + a_3 3^{-3x} + \cdots</math>

となり、'''リンデレーフ和''' {{lang|en|(''Lindelöf sum'')}} ''L''(''s'') が、''x'' を 0 に近づけるときの ''f''(''x'') の極限として定まる {{harv|Volkov|2001}}。{{仮リンク|ミッターグ-レフラー・スター|en|Mittag-Leffler star|ru|Звезда Миттаг-Леффлера}} における冪級数の和や、その他の応用で冪級数に対して適用するとき、リンデレーフ和は強力な総和法である。

''g''(''z'') が 0 の周りのある円板において解析的で、したがって収束半径が正の[[マクローリン級数]] ''G''(''z'') をもつものとするならば、''L''(''G''(''z'')) = ''g''(''z'') がミッターグ-レフラー・スターにおいて成立する。さらに ''g''(''z'') への収束はスターのコンパクト部分集合上一様である。

== 関連項目 ==
* [[1−2+3−4+…|1 − 2 + 3 − 4 + · · ·]]
* [[1−2+4−8+…|1 − 2 + 4 − 8 + · · ·]]
* [[1+1+1+1+…|1 + 1 + 1 + 1 + · · ·]]
* [[1+2+3+4+…|1 + 2 + 3 + 4 + · · ·]]
* [[1+2+4+8+…|1 + 2 + 4 + 8 + · · ·]]
* [[グランディ級数]]
* {{仮リンク|ランバート和|en|Lambert summation|es|Sumación de Lambert}}
* {{仮リンク|シルバーマン–テープリッツの定理|en|Silverman–Toeplitz theorem}}

== 関連文献 ==
和書
* 内田虎雄:「発散級数論」、大雅堂（1959年）。
* 石黒一男：「発散級数論」（POD版）、森北出版、ISBN 978-4-627031494（2011年6月）。※初版は1977年。
洋書
* {{citation|title=Large-Order Perturbation Theory and Summation Methods in Quantum Mechanics|first1=G.A.|last1=Arteca|first2=F.M.|last2=Fernández|first3=E.A.|last3=Castro|publisher=Springer-Verlag|publication-place=Berlin|year=1990}}.
* {{citation|title=Padé Approximants|first1=G. A.|last1=Baker, Jr.|first2=P. |last2=Graves-Morris|publisher=Cambridge University Press|year=1996}}.
* {{citation|title=Extrapolation Methods. Theory and Practice|first1=C.|last1=Brezinski|first2=M. Redivo|last2=Zaglia|publisher=North-Holland|year=1991}}.
* {{citation|title=Divergent Series|first=G. H.|last=Hardy|authorlink=G. H. Hardy|publication-place=Oxford|publisher=Clarendon Press|year=1949|url=https://archive.org/details/divergentseries033523mbp}}.
** G. H. Hardy: ''Divergent Series'', Oxford Univ. Press, (1956). ※ 修正版。
* {{citation|title=Large-Order Behaviour of Perturbation Theory|first1=J.-C.|last1=LeGuillou|first2=J.|last2=Zinn-Justin|publisher=North-Holland|publication-place=Amsterdam|year=1990}}.
* Werner Balser: ''From Divergent Power Series to Analytic Functions'', Springer-Verlag, LNM 1582, ISBN 0-387-58268-1 (1994).
* William O. Bray and Časlav V. Stanojević(Eds.): ''Analysis of Divergence'', Springer, ISBN 978-1-4612-7467-4 (1999).
* Werner Balser: ''Formal Power Series and Linear System of Meromorphic Ordinary Differential Equations'', Springer,  ISBN 0-387-98690-1 (2000).
* {{SpringerEOM|title=Lindelöf summation method|last=Volkov|first=I.I.|urlname=Lindelöf_summation_method}}.
* {{SpringerEOM|title=Abel summation method|last=Zakharov|first=A.A.|urlname=Abel_summation_method}}.
* Alexander I. Saichev and Wojbor Woyczynski: ''Distributions in the Physical and Engineering Sciences, Volume 1'', Springer (2018). ※ Chap.8 "Summation of divergent series and integrals".
* Bernard Candelpergher: ''Ramanujan Summation of Divergent Series'', Springer, LNM 2185, (2017).
* Claude Mitschi,and David Sauzin: ''Divergent Series, Summability and Resurgence I : Monodromy and Resurgence'', Springer, LNM 2153, (2016).
* Michèle Loday-Richaud: ''Divergent Series, Summability and Resurgence II : Simple and Multiple Summability'', Springer, LNM 2154, (2016).
* Eric Delabaere: ''Divergent Series, Summability and Resurgence III : Resurgent Methods and the First Painlevé Equation'', Springer, LNM 2155, (2016).
* Ford, Walter B.: ''Studies on Divergent Series and Summability and the Asymptotic Developments of Functions Defined By Maclaurin Series'', Chelsea Pub., (1960).
* Chales N. Moore: ''Summable Series and Convergence Factors'', American Mathematical Society (Colloquim pub, v.22), (1938).

== 外部リンク ==
* {{MathWorld|title=Divergent Series|urlname=DivergentSeries}}

{{級数}}
{{DEFAULTSORT:はつさんきゆうすう}}
[[Category:級数]]
[[Category:総和法]]
[[Category:漸近解析]]
[[Category:解析学]]
[[Category:数学に関する記事]]