無限級数の計算では、各項を等比級数に展開した後、二重級数の和の順序を入れ替える操作がよく登場します。しかし、この操作は有限和のように自由に行えるわけではなく、絶対収束や一様収束などの条件を確認する必要があります。この記事では、複素数を含む無限等比級数の展開を例に、二重級数の交換条件、一般化された展開の正当性、さらにパラメータ極限での漸近評価について解説します。
無限等比級数の展開で注意すべき点
考える級数をF(z)=Σ[n=0→∞] z^n/(1+z^(2n+1))とします。|z|<1の場合、各nについて分母部分は無限等比級数として展開できます。
1/(1+z^(2n+1))=Σ[k=0→∞](-1)^k z^((2n+1)k)
したがって形式的には、
F(z)=Σ[n=0→∞]Σ[k=0→∞](-1)^k z^(n+(2n+1)k)
となります。ただし、ここで重要なのは、この変形が単なる式変形ではなく、無限和の交換を含んでいるという点です。
二重級数の和の順序交換が可能になる条件
二重級数ΣnΣk a(n,k)において、
ΣnΣk a(n,k)=ΣkΣn a(n,k)
と交換するには、一般には絶対収束が必要です。
今回の場合、項の絶対値を考えると、
|(-1)^k z^(n+(2n+1)k)|=|z|^(n+(2n+1)k)
となります。ここでρ=|z|<1と置くと、絶対値級数は
Σ[n=0→∞]Σ[k=0→∞]ρ^(n+(2n+1)k)
になります。
指数部分を整理すると、
n+(2n+1)k=n(2k+1)+k
なので、
Σ[k=0→∞]ρ^k Σ[n=0→∞](ρ^(2k+1))^n
となります。内側は等比級数なので、
Σ[n=0→∞](ρ^(2k+1))^n=1/(1-ρ^(2k+1))
です。
したがって絶対値級数は、
Σ[k=0→∞]ρ^k/(1-ρ^(2k+1))
となります。
この級数はρ<1で収束します。実際、kが大きくなるとρ^(2k+1)は0に近づくため、分母は1に近づき、項はほぼρ^kとなります。
よって元の二重級数は絶対収束し、Fubiniの定理やTonelli型の議論によって和の順序交換が正当化できます。
交換後の級数表示を導く方法
絶対収束が確認できたため、nとkの順番を交換できます。
F(z)=Σ[k=0→∞](-1)^k Σ[n=0→∞]z^(n+(2n+1)k)
指数を整理すると、
n+(2n+1)k=k+n(2k+1)
なので、
F(z)=Σ[k=0→∞](-1)^k z^k Σ[n=0→∞](z^(2k+1))^n
となります。
再び等比級数を使うことで、
F(z)=Σ[k=0→∞]((-1)^k z^k)/(1-z^(2k+1))
を得ます。
ここで重要なのは、等比級数の公式を使ったことではなく、その前段階として「交換してよいこと」を絶対収束によって保証したことです。
一般的な級数Σa_n/(1-r_n)を展開する条件
一般に、
Σ[n=0→∞]a_n/(1-r_n)
について、|r_n|<1ならば、
1/(1-r_n)=Σ[k=0→∞]r_n^k
と展開できます。
すると、
Σ[n=0→∞]Σ[k=0→∞]a_n r_n^k
という二重級数になります。
この二重級数を入れ替えるための十分条件は、
Σ[n=0→∞]Σ[k=0→∞]|a_n r_n^k|<∞
すなわち、
Σ[n=0→∞]|a_n|/(1-|r_n|)<∞
が成立することです。
この条件が満たされれば絶対収束するため、
ΣnΣk a_n r_n^k=ΣkΣn a_n r_n^k
が保証されます。
ただし、絶対収束は十分条件であり、条件付き収束の場合には交換できる場合もありますが、一般的には保証されません。
z→1-での極限と無限和交換の問題
次にzを実数0 各項について、 z^n/(1+z^(2n+1))→1/2 となるため、固定したnだけを見ると有限値に近づきます。しかし、無限個の項が存在するため、単純に極限と和を交換することはできません。 これは優収束定理を使うための支配関数が存在しない典型的な例です。各項は1/2程度になるため、無限個足すと発散する方向に向かいます。 zが1に近づく場合は、z=e^{-t}と置く方法が有効です。ここでt→0+になります。 すると、 z^n=e^{-tn} となり、級数は積分近似やメルリン変換的な方法で解析できます。 元の級数の主要部分は、nがおよそ1/t以下の範囲で多数の項が1/2程度になることから、発散のオーダーは単純な1/(1-z)型ではなく、対数型になる可能性が高いと考えられます。 厳密な評価では、Euler-Maclaurin公式やTauber型定理などを利用し、和を積分へ近似して主要項を抽出します。 無限級数では、「式として変形できそう」という直感だけで操作してはいけません。特に以下の3点が重要です。 無限等比級数は便利な道具ですが、その背後には解析学の収束理論があります。公式を使う前に、その操作が正当化される条件を確認することが重要です。 複雑な級数を二重級数へ展開し、和の順序を交換する場合、最も重要なのは絶対収束の確認です。 今回の例では、|z|<1において絶対収束が成立するため、二重級数の交換は正当化できます。また、一般的なΣa_n/(1-r_n)型の級数でも、絶対収束条件を満たせば同様の議論が可能です。 一方で、z→1のような極限操作では、各項の極限だけを見ると誤った結論になることがあります。無限和、極限、積分などの操作では、常に収束条件を確認することが解析学を正しく扱うための基本になります。漸近挙動を調べる方法
無限級数の操作で重要な考え方
まとめ｜無限等比級数の展開は収束性の確認が核心
コメント