調和級数

数学における調和級数（ちょうわきゅうすう、）とは発散無限級数


のことをいう。名称の「調和」 というのは音楽や和声学における倍音の概念に由来するもので、振動する弦の倍音の波長がその弦の基本波長の 1/2, 1/3, 1/4, ... となっていることによる。調和級数の各項は前後の項の調和平均になっており、また調和平均という用語もやはり音楽に由来するものである。

 歴史 
史実として、調和級数が発散することの最初の証明は14世紀のニコル・オレームによるものだが、これには誤りがあった。後に正しい証明がなされるのは17世紀、、ヨハン・ベルヌーイ、ヤコブ・ベルヌーイらによってである。

歴史的には、調和数列は建築学の観点からの需要があった。特にバロック時代には、平面図や立面図での均衡をとるために、あるいは教会や宮殿の内装と外装の構造的詳細の調和関係を確立するために用いられたGeorge L. Hersey, Architecture and Geometry in the Age of the Baroque, p 11-12 and p37-51.。

 導入 
調和級数は、その項の極限が 0 になるにもかかわらず発散するという意味で、初学者にとっては直観的ではない級数である。つまり、0 に収束する数列の無限和が必ずしも有限値に収束するとは限らないことが示される。調和級数が発散することに起因するいくつかの逆理や直観に反する結果が知られている。
サムネイル|block-stacking problem

有名なものとして「block-stacking problem」がある。これは「まったく同じドミノの集まりが与えられたとき、それをテーブルの縁に積み上げることができるのは明らかだが、それではテーブルのへりを（どの程度）張り出すように積めるか」というものが挙げられる。この直観的でない結果というのは、「ドミノが十分あれば、いくらでも好きなだけ張り出させることができる」である.。

例えば、「ゴムひもの上の芋虫」 と呼ばれる逆理がある.。内容は「1メートルの(無限に伸びることができる)ゴムひもがある。ひもの一端からもう一方の端に向かって芋虫が毎分1センチの速さでひもの上を這うものとする。ゴムひもは1分ごとに(正確には芋虫が1センチ這った直後に)一様に長さが1メートル引き伸ばされる。すなわち、1分後に芋虫は始点から1センチ這っただけだが、実際は(ゴムひもが引き伸ばされたため)始点から2センチの位置にいることになる。2分後にはそこからさらに1センチしか這っていないにもかかわらず、実際は始点から4.5センチの位置にいる。このようなプロセスを繰り返すとき、芋虫はひもの端まで到達できるだろうか」というものである。答えは、直観に反して「到達できる」である。出発点と 分後に芋虫がいる位置との距離を  センチメートルとすると、 は
  (ただしとする)
という漸化式で表される。これを解くと、

となる。一方、 分後のゴムひもの長さは  センチメートルだから、芋虫が端点に到着できるのは、

となるとき、すなわち

となるときである。この級数は  を大きくすればいくらでも大きくすることができるから、十分大きな  に対して上の式は成り立つ。すなわち芋虫は端まで到達できることになる。ただし、そのようなことになるためには  の値を極めて大きくする必要がある。具体的には、後述の積分判定法のところで見るように、左辺の Σ の和は  よりわずかに大きな値をとるので、およそ  分でやっと端に到達できることになる。

 発散性 

調和級数は正の無限大 +∞ に発散する。この事実を証明する方法はよく知られたものがいくつか存在する。

 比較判定法 
調和級数の発散性を示す方法の一つは別の発散級数と比較することである。調和級数の各項は、以下の第二の級数の対応する項よりも大きいかさもなくば一致するので、調和級数の和の値は第二の級数よりも大きい。

しかし、第二の級数の値は無限大であるから比較判定法により、調和級数の和も同様に無限大となる。もっとはっきり述べれば、上記の証明において比較

が任意の正の整数  に対して成立する。この証明はニコル・オレームによるもので、中世の数学の極みである。現在では、この方法が教科書的な証明の標準的なものとして教えられている。コーシーの判定法はこの方法を一般化したものになっている。

 積分判定法 
調和級数の発散をある広義積分との比較によって示すこともできる。これには、調和級数の各項に対応する面積をもつ可算無限個の長方形の集まりを考える。 番目の項に対応する長方形は、横幅 1、高さ  を持つものとする。これらの長方形の面積の合計は調和級数

の値に一致する。一方、曲線  を考え、 の部分の下にある面積は広義積分

である。この面積は先ほどの長方形たちによって完全に覆われるから、長方形の面積の合計も同様に無限大となる。もっといえば、

が示されたということになる。このような手法を一般に積分判定法という。

 発散率 
調和級数の発散は非常に遅く、たとえば最初の 1043 個の項の和は 100 よりも小さいSequence  in the  On-Line Encyclopedia of Integer Sequences。これは部分和が対数的増加であることによる。特に

が成り立つ。ここで  はオイラー・マスケローニ定数で  は  の極限で 0 に近づく。この結果はレオンハルト・オイラーによる。

 部分和 
発散する調和級数の第  部分和

は第  調和数 と呼ばれる。これは以下の性質を持つhttps://mathworld.wolfram.com/HarmonicNumber.html。
  番目の調和数  と  との差は、オイラー・マスケローニ定数  に収束する。
 相異なる番号の調和数同士の差は決して整数にはならない。
  を除いてどの調和数も整数でない。

 関連のある級数 

 交代調和級数 
級数 

は交代調和級数  として知られる。この級数の収束性はからわかる。とくにこの級数の和は 2 の自然対数に等しい。つまり 

が成り立つ。この式は自然対数関数のテイラー級数であるメルカトル級数の特別な場合である。

逆正接関数のテイラー級数から、関連する級数

が導かれる。これはライプニッツの π の公式として知られる。

 一般調和級数 

一般調和級数  は ,  を実数とし、 なるものとして

という形に表される級数である。比較判定法により、任意の一般調和級数が発散することが示せるArt of Problem Solving:
"General Harmonic Series"。

 p-級数 

調和級数の一般化で -級数 () と呼ばれるものは、正の実数  を用いて

の形に表される。 のときの -級数は通常の調和級数であり、発散する。積分判定法やコーシーの判定法を用いれば、-級数は  のときに必ず収束することがわかる（このときの -級数は、優調和級数 () とも呼ばれる）。逆に、 のときは発散する。 のとき、-級数の和の値はリーマンゼータ関数の  における値  に等しい。

 φ-級数 

実数値凸関数  で 

を満たすものに対し、級数

は必ず収束する。

 確率調和級数 

アルバータ大学のバイロン・シュムランド (Byron Schmuland) は確率調和級数  

の性質について研究した"Random Harmonic Series", American Mathematical Monthly 110, 407-416, May 2003Schmuland's preprint of Random Harmonic Series。分子の  は ±1 の値をそれぞれ 1/2 の等確率でとる独立同分布確率変数列である。この確率変数の和がほとんど確実に収束することは、コルモゴロフの三級数定理などを利用して示せる。
シュムランドは、その極限がいくつかの興味深い性質を持った確率変数となることを示した。特に、その確率変数の確率密度関数 ±2 における値は 
 0.124 999 999 999 999 999 999 999 999 999 999 999 999 999 764…
で、これは 1/8(=0.125) よりも 10−42 ほど小さい。シュムランドの論文には、この確率が 1/8 に近いが一致するわけではないことの説明が示されている。この確率の厳密な値は
   Weisstein, Eric W. “Infinite Cosine Product Integral.” From MathWorld – a Wolfram Web Resource. https://mathworld.wolfram.com/InfiniteCosineProductIntegral.html accessed 2014-11-09
で与えられる。

 劣化調和級数 

劣化調和級数  は、調和級数の項のうち、分母の十進表示の各位の数のどこかに 9 が現れるものを全て排除することで得られる級数である。劣化調和級数は収束して、その値は 22.92067... となるNick's Mathematical Puzzles: Solution 72。実は、十進表示列からどの特定の数字列を取り除いたとしても、そうして得られる級数は収束する。

 脚注 

 関連項目 

調和数列
Divisor summatory function
複素対数関数
オイラーの定数

調和平均

 外部リンク 

"Harmonic Series" at Springer Encyclopaedia of Mathematics
"The Harmonic Series Diverges Again and Again", The AMATYC Review, 27 (2006), pp. 31–43. Many proofs of divergence of harmonic series.

Category:級数
Category:数学に関する記事