部分和 - Ciallo Wiki | チャロ百科

1 定義

部分和とは、与えられた数列や級数について、最初の項から順に有限個を足し合わせて得られる和をいう。無限個の項を扱う対象では、各段階での累積値を調べることで、全体の振る舞いを理解する手がかりになる。

数列 \(a_1, a_2, a_3, \dots\) に対し、最初の \(n\) 項を加えたものを部分和という。通常は \[ s_n = a_1 + a_2 + \cdots + a_n \] と表す。これは、数列の値そのものではなく、項を積み上げた累積的な量である。

級数では、無限に続く和を直接扱う代わりに、有限段階での部分和列を考える。これにより、級数が収束するかどうかを調べやすくなる。部分和は、級数の挙動を数列として捉えるための標準的な道具である。

有限個の項からなる和は、そのまま部分和として定義できる。たとえば、和の項が \(a_1, a_2, \dots, a_n\) であれば、その総和 \[ a_1 + a_2 + \cdots + a_n \] が対応する部分和である。これは、計算上も理論上も最も直接的な形である。

無限級数 \(\sum_{k=1}^{\infty} a_k\) の値は、部分和 \[ s_n = \sum_{k=1}^{n} a_k \] の極限として定義される。極限が存在すれば級数は収束し、その極限値が級数の和となる。極限が存在しなければ、その級数は発散する。

部分和を \(n=1,2,3,\dots\) と順に並べた列 \[ s_1, s_2, s_3, \dots \] を部分和列という。級数の性質は、この列の収束性・有界性・増減の傾向などによって特徴づけられる。解析学では、級数そのものよりも部分和列を調べることが中心になる。

部分和は、項の追加に応じて順次更新されるため、再帰的な扱いがしやすい。さらに、加法や定数倍に対して素直に振る舞うので、計算や理論の両面で利用価値が高い。

部分和は、前の値に次の項を加える漸化式で表される。すなわち \[ s_n = s_{n-1} + a_n \] と書ける。初期値を \(s_1=a_1\) とすれば、以後の部分和は順次決定される。この表現は、計算機的処理や証明にも適している。

有限和では、項の順序を入れ替えても総和は変わらない。ただし、無限級数では、並べ替えが部分和列の性質を変え、収束や極限値に影響することがある。そのため、無限和を論じる際には、項の順序や再配置に注意が必要である。

部分和は線形性をもつ。二つの数列の部分和を組み合わせたとき、和や定数倍に関して自然な法則が成り立つ。これにより、複雑な級数を単純な成分に分解して扱える。

数列 \(a_n\) の部分和を \(s_n\)、数列 \(b_n\) の部分和を \(t_n\) とすると、\(ca_n\) の部分和は \(cs_n\) となり、\(a_n+b_n\) の部分和は \(s_n+t_n\) になる。これは、級数計算の基本法則として広く用いられる。

部分和は、多くの典型例で具体的に計算できる。代表的な数列や級数では、部分和の形が明示的に求まり、そのまま収束性の理解につながる。

等差数列では、各項が一定の差で増減するため、部分和は二次式で表されることが多い。最初の \(n\) 項の和は、初項と末項を用いて簡潔に表せる。古典的な計算例として、項の対称性を利用した方法が知られている。

等比数列では、部分和が比の値に応じて明確な公式をもつ。公比 \(r\neq 1\) のとき、初めの \(n\) 項の和は \[ a\frac{1-r^n}{1-r} \]

で表される。特に \(	r	<1\) なら、部分和はある極限に近づく。

べき級数は、各項が変数のべきで表される級数であり、部分和は多項式になる。これにより、関数を有限次数の多項式で近似する考え方が自然に導かれる。解析学では、収束半径の範囲内で部分和が関数近似に役立つ。

フーリエ級数の部分和は、三角関数の有限和として現れる。これは周期関数の近似に用いられ、信号解析や偏微分方程式の理論でも重要である。部分和の性質は、近似精度や振動の現れ方を理解する際の基礎となる。

部分和は、級数の理論にとどまらず、近似、誤差見積もり、数値計算の基盤として使われる。無限過程を有限段階で扱うための枠組みとして、実用上の意義も大きい。

級数の収束を調べる際、部分和列がある極限へ近づくかを確認する。部分和の増え方や上下からの挟み込みは、収束判定における基本的な観点である。

部分和列が有界であることは、収束を示す有力な手がかりになる場合がある。特に単調増加かつ有界な列は収束するため、その条件を満たす部分和列は極限を持つ。もっとも、有界性だけで直ちに収束が決まるわけではない。

部分和列が単調に増加または減少し、かつ有界であれば、収束が保証される。正の項からなる級数では、部分和はしばしば単調増加となるため、この性質が頻繁に利用される。単調性は、解析的な見通しを与える重要な特徴である。

無限級数の値を実際に求める際には、部分和を途中で打ち切って近似値とする。有限項で計算を止めることで、理論的な和に近い値を得られる。これは、数値計算や物理的モデルの評価において基本的な方法である。

部分和を用いた近似では、残りの項の大きさが誤差を表す。どの程度で打ち切れば十分かを判断するには、未加算部分の寄与を見積もる必要がある。誤差評価は、近似の信頼性を支える中心的な手続きである。

数値解析では、関数計算や方程式の近似解法に部分和が頻繁に現れる。多項式近似、級数展開、反復計算などは、いずれも有限個の項を扱うという点で部分和の考え方と深く結びつく。精度と計算量の調整にも、この概念が役立つ。