無限級数では、各項を無限等比級数に展開したり、二重級数の和の順序を入れ替えたりする操作が頻繁に登場します。しかし、有限和の場合とは異なり、無限和では「式変形できそうだから」という理由だけで交換することはできません。
特に複素数を含む級数では、絶対収束や一様収束を確認することが重要になります。この記事では、二重級数の交換が正当化される条件、具体例として複素級数の扱い方、さらにパラメータが1に近づく場合の漸近解析について解説します。
無限等比級数への展開で注意すべき点
まず、基本となる無限等比級数の公式を確認します。複素数 w に対して |w|<1 ならば、
1/(1-w)=Σ[k=0→∞]w^k
が成立します。
今回のように
1/(1+z^(2n+1))=Σ[k=0→∞](-1)^k z^((2n+1)k)
と展開する場合も、条件は |z^(2n+1)|<1 です。したがって |z|<1 であれば、すべての n に対して展開が可能になります。
ただし、各項を展開できることと、展開後の二重級数で和の順序を自由に変更できることは別問題です。ここで絶対収束の確認が必要になります。
二重級数の和の順序交換と絶対収束
二重級数
Σ[n=0→∞]Σ[k=0→∞]a(n,k)
について、和の順序を交換するための代表的な条件が絶対収束です。
つまり、
Σ[n=0→∞]Σ[k=0→∞]|a(n,k)|<∞
が成立すれば、Tonelliの定理やFubiniの定理によって、
Σ[n]Σ[k]a(n,k)=Σ[k]Σ[n]a(n,k)
として順序交換が可能になります。
今回の級数では、展開後の項は
a(n,k)=(-1)^k z^(n+(2n+1)k)
です。
絶対値を取ると、
|a(n,k)|=|z|^(n+(2n+1)k)
となります。
ここで r=|z| と置くと、
Σ[n,k]r^(n+(2n+1)k)=Σ[n,k]r^n(r^(2n+1))^k
となります。
kについて和を取ると、
Σ[k=0→∞}(r^(2n+1))^k=1/(1-r^(2n+1))
なので、
Σ[n=0→∞]r^n/(1-r^(2n+1))
を評価すればよいことになります。
|z|=r<1 の場合、r^(2n+1)は急速に0へ近づくため、分母は1に近づきます。そのため大きな n ではほぼ r^n と同じ大きさになり、
Σ[n=0→∞]r^n
に比較できます。
したがってこの二重級数は絶対収束し、和の交換が正当化されます。
交換後の級数表示が成立する理由
絶対収束が確認できたため、
F(z)=Σ[n=0→∞]Σ[k=0→∞](-1)^kz^(n+(2n+1)k)
に対して n と k の順序を交換できます。
すると、指数部分を整理して、
n+(2n+1)k=n(2k+1)+k
となるため、
F(z)=Σ[k=0→∞](-1)^kz^kΣ[n=0→∞](z^(2k+1))^n
となります。
内側の和は再び等比級数なので、
Σ[n=0→∞](z^(2k+1))^n=1/(1-z^(2k+1))
となり、
F(z)=Σ[k=0→∞]((-1)^kz^k)/(1-z^(2k+1))
が得られます。
重要なのは、式変形そのものではなく、その背後に絶対収束という保証がある点です。
一般的な級数で展開と交換を行う条件
一般に、
Σ[n=0→∞]a_n/(1-r_n)
のような級数を考え、
1/(1-r_n)=Σ[k=0→∞]r_n^k
と展開する場合を考えます。
このとき、
Σ[n,k]a_nr_n^k
という二重級数が元の級数と一致するための十分条件は、
Σ[n,k]|a_nr_n^k|<∞
です。
つまり、
Σ[n]|a_n|Σ[k]|r_n|^k<∞
が成立すれば、安全に和の交換ができます。
特に |r_n|<1 ならば、
Σ[k=0→∞}|r_n|^k=1/(1-|r_n|)
なので、
Σ[n=0→∞}|a_n|/(1-|r_n|)<∞
が十分条件になります。
必要十分条件については、絶対収束より弱い条件でも交換可能な場合がありますが、一般論としては絶対収束が最も扱いやすく、多くの解析で利用されます。
z→1-での極限と漸近挙動を調べる方法
次に、zが実数で0<z<1の場合に z→1- を考えます。
各固定 n では、
z^n/(1+z^(2n+1))→1/2
となります。しかし、項ごとの極限を取ってから和を求めることはできません。
これは、優収束定理を適用できるような一様な上界が存在しないためです。
実際、zが1に近づくと、多数の項が同時に1/2程度の大きさを持つため、単純な項別極限では発散の大きさを判断できません。
漸近解析では変数変換による評価が有効
z→1-では、
z=e^{-t}
と置く方法がよく使われます。ここで t→0+ です。
すると、
z^n=e^{-tn}
となり、級数は
F(e^{-t})=Σ[n=0→∞]e^{-tn}/(1+e^{-(2n+1)t})
となります。
tが小さい場合、nが1/t程度までの多くの項が約1/2になるため、主要な発散は項数の増加によって決まります。
おおまかな評価では、
Σ[n=0→∞]e^{-tn}≈1/t
であるため、
F(z)は1/(1-z)型の発散を持つと考えられます。
ただし、正確な係数を求めるには積分近似やEuler-Maclaurin公式などを用いた詳細な解析が必要になります。
まとめ
無限級数の項を等比級数へ展開し、二重級数の順序を交換する場合、最も重要なのは絶対収束の確認です。
今回の複素級数では |z|<1 において絶対収束が成立するため、Tonelliの定理やFubiniの定理により和の交換が正当化されます。
また、一般的な級数でも、展開後の二重級数が絶対収束する条件を確認することで、安全に変形できます。
さらに z→1- のような特異極限では、各項の極限と無限和を交換することはできず、積分近似や漸近解析の手法を用いて全体の挙動を調べる必要があります。無限級数では、公式の利用だけでなく、収束性と極限操作の正当性を確認することが解析学の基本となります。
コメント