微積分 · 無限級数

無限級数

級数は数列の項を1つずつ足していきます。nを増やしたとき、部分和Sₙが1つの数に近づけば収束します。項が0に近づくことは必要ですが、それだけでは十分ではありません。

この可視化で見る級数

無限級数a1+a2+a3+⋯a_1 + a_2 + a_3 + \cdotsには最後の項がないので、最初のn項の和である部分和SnS_nを、nを増やしながら調べます。SnS_nがある数Sに近づくなら級数は収束し、Sがその和です。それ以外は発散します。

級数の和は部分和の極限
Sn=∑k=1nak,∑k=1∞ak=lim⁡n→∞Sn=SS_n = \sum_{k=1}^{n} a_k, \qquad \sum_{k=1}^{\infty} a_k = \lim_{n\to\infty} S_n = S

グラフは1から100万までの対数軸上のnに対してSnS_nを描きます。左の数直線では各項をSk−1S_{k-1}からSkS_kへの弧で示します。正の項の弧はすべて同じ方向に進み、交代する項の弧は行き来します。

収束には項が0に近づく必要があります。an=Sn−Sn−1→S−S=0a_n = S_n - S_{n-1} \to S - S = 0だからです。しかし、それだけでは十分ではありません。調和級数1+12+13+⋯1 + \tfrac12 + \tfrac13 + \cdotsは項が0に近づいても部分和が上限なく増大します。積分との比較で理由が分かります。区間[k, k + 1]の高さ1/kの長方形は曲線y = 1/xより上にあるので、Sn>ln⁡(n+1)S_n > \ln(n+1)です。増え方はとても遅く、100万項足しても約14.39にしかなりません。

同じ長方形でp級数∑1/kp\sum 1/k^pも判定できます。収束するのはp > 1のとき、かつそのときに限られます。p > 1では、n項の後に残る剰余Rn=S−SnR_n = S - S_nも挟めます:

最初の項を足した後の残りは2つの積分の間にある
(n+1)1−pp−1=∫n+1∞x−p dx  <  Rn  <  ∫n∞x−p dx=n1−pp−1\frac{(n+1)^{1-p}}{p-1} = \int_{n+1}^{\infty} x^{-p}\,dx \;<\; R_n \;<\; \int_{n}^{\infty} x^{-p}\,dx = \frac{n^{1-p}}{p-1}

そのため、極限を簡単な式で書けなくても、極限を必ず含む区間を示せます。ただし、区間が狭いからといってSnS_nが極限に近いとは限りません。p = 1.1では100万項足しても極限まで約2.5足りません。それでも2つの積分にSnS_nを加えれば、極限を含むとても狭い区間が得られます。

等比級数r+r2+r3+⋯r + r^2 + r^3 + \cdotsの部分和は閉じた式で書けます:

等比級数とその和
Sn=∑k=1nrk=r(1−rn)1−r(r≠1),∑k=1∞rk=r1−r(∣r∣<1)S_n = \sum_{k=1}^{n} r^k = \frac{r(1 - r^n)}{1 - r} \quad (r \ne 1), \qquad \sum_{k=1}^{\infty} r^k = \frac{r}{1 - r} \quad (|r| < 1)

r = ½では、各項が残りの差の半分を埋めます。残りの差はその様子を描き、12+14+18+⋯=1\tfrac12 + \tfrac14 + \tfrac18 + \cdots = 1が成り立ちます。r = 1では部分和は上限なく増大し、r = −1では−1と0の間をいつまでも行き来します。

項の符号が交互に変わり、絶対値が単調に減って0に近づくなら、級数は収束し、その和は常に隣り合う2つの部分和の間にあります。それぞれの区間は前の区間に含まれ、幅が0に近づくので、1つの数に絞り込まれます。入れ子の区間はそれらを積み重ねて描きます。このページでは1−12+13−⋯=ln⁡21 - \tfrac12 + \tfrac13 - \cdots = \ln 2と、ライプニッツの級数1−13+15−⋯=π/41 - \tfrac13 + \tfrac15 - \cdots = \pi/4を扱います。

交代調和級数は条件収束です。符号を取り除いた∑1/k\sum 1/kは発散します。リーマンの級数並べ替え定理によると、このような級数は並べ替えることで任意の数Tに収束させられます。並べ替えでは、各符号の項の順序を保ち、和がT以下なら次の正の項、Tより大きければ次の負の項を加えます。正の項だけの和は+∞、負の項だけの和は−∞へ向かうので、どちらも加え続ければTに届くか、またぎます。行き過ぎる幅はその項の絶対値以下で、項は0に近づくため、和はTに落ち着きます。

注目する点

  • 100万項の計算は手がかりであり、証明ではありません。この尺度では、発散する調和級数と収束するp = 1.1の級数はよく似て見えます。収束するかどうかは、上に示したような論証で決まります。
  • 1−1+1−⋯1 - 1 + 1 - \cdotsには和がありません。部分和は1, 0, 1, 0, …です。(1−1)+(1−1)+⋯=0(1 - 1) + (1 - 1) + \cdots = 0のように項をまとめると、一部の部分和だけを残すことになり、級数を変えてしまいます。

操作

  • グラフを押してnを設定し、左右にドラッグできます。nは10の累乗の位置に吸着します。並べ替えではTのハンドルを上下にドラッグできます。

関連する概念