1 定義

絶対収束とは、級数 \(\sum a_n\) に対して、絶対値を取った級数 \(\suma_n\) が収束する性質をいう。ここで対象となるのは、実数項の級数だけでなく、複素数項や、適切に定義されたノルムをもつベクトル値級数にも及ぶ。絶対収束は、通常の収束よりも強い条件であり、級数の挙動を安定に扱うための基本概念として用いられる。

1.1 収束と絶対収束

級数 \(\sum a_n\) が収束するとは、その部分和列がある有限値に近づくことをいう。一方、\(\suma_n\) が収束する場合に \(\sum a_n\) を絶対収束するという。前者は符号や位相による打ち消しを含みうるのに対し、後者は各項の大きさそのものが総和として制御されている点に特徴がある。

1.2 絶対収束の例

等比級数 \(\sum r^n\) は \(r<1\) のとき絶対収束する。さらに、\(\sum (-1)^n/n^2\) は、絶対値を取ると \(\sum 1/n^2\) となり、これが収束するため絶対収束である。一般に、十分速く減少する項をもつ級数は絶対収束しやすい。

1.3 絶対収束しない級数

調和級数 \(\sum 1/n\) は発散するため絶対収束しない。また、交代調和級数 \(\sum (-1)^{n-1}/n\) は収束するが、絶対値を取ると調和級数になるので絶対収束ではない。この種の例は、収束と絶対収束が異なる概念であることを示す代表例となる。

2 基本性質

絶対収束は、級数論における多くの操作を正当化する。特に、項の順序変更や積の操作に対して安定であり、複雑な級数を扱う際の信頼できる枠組みを与える。

2.1 収束との関係

絶対収束は収束を含意するが、その逆は一般には成り立たない。したがって、絶対収束は「より強い収束条件」と位置づけられる。解析学では、まず絶対収束を確認することで、後続の議論を簡潔にできる。

2.1.1 絶対収束なら収束

\(\suma_n\) が収束すれば、\(\sum a_n\) も収束する。これは、絶対値の和が有限である以上、元の級数の部分和が振幅を抑えられ、極限を持つことによる。この性質は、実数級数だけでなく、複素数級数でも同様に成立する。

2.1.2 収束しても絶対収束しない場合

収束するが絶対収束しない級数は条件収束と呼ばれる。交代調和級数はその典型で、符号交替による相殺によって収束するが、項の大きさだけを見ると和が無限大に発散する。条件収束では、項の順序変更に対して挙動が不安定になることがある。

2.2 項の並べ替えに対する性質

絶対収束級数は、項の並べ替えを行っても和が変わらない。これは、絶対和が有限であるため、再配置による相殺の偏りが生じないからである。この性質は、無限和を扱う上で非常に重要であり、解析や級数変換の安全性を支える。

2.3 和の一意性

絶対収束する級数の和は、並べ方や分割の仕方に依存せず一意に定まる。したがって、有限和の直感に近い安定性が保たれる。複数の表現があっても最終的な値が一致するため、計算や理論展開で扱いやすい。

3 判定法

絶対収束の判定には、既知の収束級数と比較する方法が中心となる。各判定法は、級数の項の減衰の速さや構造を手掛かりにして、絶対値級数の収束を見極める。

3.1 比較判定法

\(a_n\) が、既知に収束する正項級数の各項以下に抑えられるなら、\(\suma_n\) は収束する。逆に、発散する級数と比較して下から押さえることで発散を示すこともある。単純だが、実用上きわめて有効な方法である。

3.2 比判定法

\(a_n\) と比較対象の正項列 \(b_n\) について、\(\lima_n/b_n\) が正の有限値なら、両者は同じ収束性をもつ。この判定は、冪的な減衰や有理式で表される項に対して特に使いやすい。極限比が明確であれば、絶対収束の確認を短く済ませられる。

3.3 根判定法

\(\limsup \sqrt[n]{a_n}\) を用いて収束性を判定する方法である。極限上限が1未満なら絶対収束し、1を超えれば発散する。n乗根は指数的な増減を捉えるため、べき乗と指数関数が混在する級数で有効である。

3.4 積分判定法

正値で単調減少する関数 \(f(x)\) に対し、\(\sum f(n)\) と \(\int f(x)\,dx\) の収束性を対応させる方法である。絶対値級数の項が滑らかな関数で近似できる場合に役立つ。特に、\(\sum 1/n^p\) 型の評価では基本的な道具となる。

3.5 代表的な絶対収束判定

\(p\)-級数 \(\sum 1/n^p\) は \(p>1\) で収束し、これを基準に多くの級数が比較される。また、幾何的に減衰する項、あるいは指数関数的に小さくなる項は絶対収束しやすい。実際の計算では、比較判定法と比判定法が併用されることが多い。

4 応用

絶対収束は、級数を関数展開や積の計算へ適用する際の前提条件として頻繁に登場する。特に、交換操作を伴う場面で、その正当性を保証する役割が大きい。

4.1 冪級数

冪級数は、収束半径の内部で絶対収束する。これにより、項別微分や項別積分、級数の再配置などが扱いやすくなる。解析関数の局所表示としても重要で、絶対収束はその基礎を支える。

4.2 フーリエ級数

フーリエ解析では、係数の絶対可和性があると、級数の性質が大きく安定する。絶対収束するフーリエ級数は、関数の再構成や収束の議論を比較的明快にする。信号処理や調和解析でも、絶対収束は有用な条件として現れる。

4.3 級数の積

2つの級数の積を考えるとき、絶対収束していれば積の展開や項の再編成が安全に行える。代表例としてコーシー積がある。絶対収束は、無限個の積の項を並べ替えても矛盾が生じにくいことを保証する。

4.4 複素級数

複素数項の級数でも、絶対値の収束を通じて絶対収束を定義する。複素平面では偏角による相殺が起こりうるため、絶対収束は特に安定した条件となる。実数の場合と同様に、和の一意性や並べ替え不変性が成立する。

5 関連概念

絶対収束は、他の収束概念と対比することで理解が深まる。とくに、条件収束や一様収束との関係は、解析学における級数理論の骨格を成している。

5.1 条件収束

条件収束は、級数そのものは収束するが、絶対値級数は発散する場合を指す。項の相殺が本質的な役割を担うため、扱いが繊細になる。並べ替えによって和が変わりうる点で、絶対収束とは対照的である。

5.2 収束半径

冪級数において、収束半径の内側では絶対収束が成立し、外側では発散する。境界上の挙動は個別に調べる必要があるが、中心的な領域では絶対収束が標準的な振る舞いを保証する。これにより、冪級数は解析的対象として扱いやすくなる。

5.3 一様収束

一様収束は、関数列が集合全体で同じ速さで極限に近づく性質である。級数の場合、各項の絶対値を支配する一様可和性があれば、一様収束を導けることがある。絶対収束は、局所的な級数論から関数解析への橋渡しをする。

5.4 正項級数

正項級数は各項が非負である級数で、収束判定が比較的明快である。絶対収束の判定は、しばしば正項級数との比較に還元される。負号や複素位相を取り除いて考えることで、元の級数の本質的な大きさを把握しやすくなる。