1 基本概念

無限級数は、無限に続く項を順に加えたときに得られる極限的な和を扱う概念である。有限個の和と異なり、実際にすべての項を足し終えることはできないため、各段階での部分和を通じて値を定める。解析学では、これにより関数や数列のふるまいを精密に記述する。

1.1 無限級数の定義

数列 \(a_1, a_2, a_3, \dots\) に対し、 \[ \sum_{n=1}^{\infty} a_n \] を無限級数という。これは「項を1つずつ加える操作」を理想化したものであり、厳密には部分和列の極限として定義される。

1.2 部分和

第 \(n\) 部分和は \[ s_n = a_1 + a_2 + \cdots + a_n \] で表される。級数の性質は、この部分和の列 \((s_n)\) を調べることで判定される。級数の和が存在するとは、部分和がある有限値へ近づくことを意味する。

1.3 収束と発散

級数が有限の値に近づくとき収束、そうでないとき発散という。収束は級数を数として扱う根拠を与え、発散はそのような扱いができないことを示す。

1.3.1 収束の定義

部分和列 \((s_n)\) がある実数 \(S\) に収束するとき、級数 \(\sum a_n\) は \(S\) に収束するといい、\(S\) を和という。 \[ \lim_{n\to\infty} s_n = S \] が成立するときである。

1.3.2 発散の種類

部分和が無限大へ増大する場合、振動して極限を持たない場合、あるいは不規則に変動して収束しない場合がある。これらはいずれも発散に含まれる。特に、単純に「値が定まらない」状況だけでなく、無限大へ向かうケースも重要である。

1.4 級数の表記法

級数は一般にシグマ記号 \(\sum\) を用いて表される。例えば \[ \sum_{n=1}^{\infty} a_n \] は、第1項から順に無限個の項を加えることを示す。添字の開始位置や一般項の形を明示することで、さまざまな級数を統一的に記述できる。

2 収束判定

無限級数の研究では、収束するかどうかを見分ける判定法が中心となる。一般項の形が複雑な場合でも、既知の級数と比較したり、極限の性質を用いたりすることで結論を得られる。

2.1 必要条件

級数が収束するためには、項が十分小さくなる必要がある。ただし、この条件は必要であって十分ではない。項が0に近づいても、級数全体が収束するとは限らない。

2.1.1 項の極限

\[ \sum_{n=1}^{\infty} a_n \] が収束するならば、必ず \[ \lim_{n\to\infty} a_n = 0 \] である。逆に、項の極限が0であっても、例えば調和級数のように発散する例がある。

2.2 比較判定法

正の項からなる級数では、各項の大小を既知の級数と比べて収束性を判断する。ある級数の項が、収束する級数の項より十分小さければ、その級数も収束する。反対に、発散する級数より大きければ発散が導かれることがある。

2.3 極限比較判定法

2つの正項級数 \(\sum a_n\) と \(\sum b_n\) に対し、 \[ \lim_{n\to\infty}\frac{a_n}{b_n}=c \] が \(0<c<\infty\) であれば、両者は同時に収束または発散する。項の比が一定の正の値に近づくとき、同じ収束性を持つとみなせる。

2.4 比率判定法

一般項の隣接比 \[ \frac{a_{n+1}}{a_n} \] の極限を調べる方法である。極限値が1より小さければ収束、大きければ発散、1なら判定不能となることが多い。階乗や指数を含む級数で特に有効である。

2.5 ルート判定法

\[

\sqrt[n]{a_n}

\] の極限を用いて収束性を調べる。極限値が1より小さいと絶対収束し、1より大きいと発散する。比率判定法と同様、指数的な増減をもつ項に適している。

2.6 積分判定法

正の減少関数 \(f(x)\) に対し、\(a_n=f(n)\) とおくと、級数 \(\sum a_n\) と広義積分 \[ \int_1^\infty f(x)\,dx \] の収束性が対応する。連続的な量に置き換えて評価できるため、調和型の級数にしばしば用いられる。

2.7 交代級数判定法

符号が交互に変わる級数では、項の絶対値が単調に減少し、0へ近づくと収束が保証される。これはライプニッツの判定法として知られる。正項級数より弱い条件で収束が得られる点が特徴である。

3 特殊な級数

よく現れる級数には、基本形として重要なものがいくつかある。これらは理論の基準例であると同時に、応用上の出発点にもなる。

3.1 等比級数

等比級数は \[ a + ar + ar^2 + ar^3 + \cdots \] の形を持つ。公比 \(r\) の絶対値が1未満なら収束し、和は \[ \frac{a}{1-r} \] となる。最も基本的な収束級数の一つである。

3.2 調和級数

\[ \sum_{n=1}^{\infty}\frac{1}{n} \] を調和級数という。項は0に近づくが、級数自体は発散する。収束判定の教材としても重要で、無限和の直感に反する代表例である。

3.3 交代級数

正負が交互に現れる級数を交代級数という。 \[ a_1-a_2+a_3-a_4+\cdots \] の形をとることが多い。符号の打ち消しにより、正項級数より収束しやすい場合がある。

3.4 冪級数

\[ \sum_{n=0}^{\infty} c_n (x-a)^n \] の形をした級数を冪級数という。変数 \(x\) を含むため、ある範囲では関数として扱える。解析学では関数表現や近似の中心的手段である。

3.4.1 収束半径

冪級数は、中心 \(a\) からの距離に応じて収束性が変わる。ある非負数 \(R\) が存在し、\(x-a<R\) で収束し、\(x-a>R\) で発散する。この \(R\) を収束半径という。

3.4.2 収束区間

実数変数の場合、冪級数が収束する範囲は通常区間として表される。内部では必ず収束しても、端点では個別の判定が必要である。したがって、収束区間は中心と半径だけでは完全に決まらないことがある。

3.5 フーリエ級数

周期関数を三角関数の和で表す級数をフーリエ級数という。 \[ \frac{a_0}{2}+\sum_{n=1}^{\infty}\left(a_n\cos nx+b_n\sin nx\right) \] の形で書かれることが多い。信号解析、熱伝導、波動現象などで広く用いられる。

4 性質と応用

無限級数は、単に和を定めるだけでなく、関数の近似や変形にも深く関わる。絶対収束の有無は、項の並べ替えや演算の安定性を左右する重要な要素である。

4.1 級数の和

収束する級数には和が定義され、これを用いて数値や関数を表現できる。既知の和を求めるには、部分和の操作、変形、既知級数への帰着などが使われる。和の計算は解析的な同値変形の基礎となる。

4.2 絶対収束と条件収束

\[

\suma_n

\]

が収束するとき、元の級数 \(\sum a_n\) は絶対収束するという。これに対し、\(\sum a_n\) は収束するが \(\suma_n\) は発散する場合を条件収束という。両者は性質が大きく異なる。

4.2.1 絶対収束の性質

絶対収束する級数は、並べ替えに対して安定で、通常の演算とも相性がよい。多くの解析的操作で扱いやすく、収束の強い形とみなされる。誤差評価もしやすい。

4.2.2 条件収束の性質

条件収束級数は、順序を変えると和が変化することがある。したがって取り扱いには注意を要する。絶対収束に比べて性質が繊細で、収束の構造をより詳細に観察する必要がある。

4.3 級数の変形

項の分割、結合、添字の変更、部分和の再編成などにより、級数はしばしば形を変えられる。正当化には収束の仮定が重要であり、無条件に許されるわけではない。変形技法は計算を簡潔にするうえで有効である。

4.4 べき級数展開

多くの関数は、適当な点の周りで冪級数として表される。これをべき級数展開という。展開により、微分・積分・近似計算が容易になり、局所的な性質も把握しやすくなる。

4.5 関数近似への応用

無限級数は、複雑な関数を簡単な項の和で近似する手段として重要である。多項式近似、数値計算、微分方程式の解法、物理モデルの解析などに広く使われる。適切な収束域のもとで、実用上十分な精度を得られる。