二項係数を含む有限和では、分母にk+1や(k+1)²のような項が現れると、単純な二項定理だけでは処理が難しく見えます。しかし、積分表示や微分作用素、有限差分の考え方を利用すると、Σ記号を含まない形まで整理できます。この記事では、S_n=Σ(k=1 to n)(-1)^(k-1)k³C(n,k)/(k+1)²について、厳密な導出方法と収束・交換操作の正当性を解説します。
分母(k+1)²を含む和を分解する
まず分子のk³を変形します。k+1をtと考えると、k=t-1なので、
k³/(k+1)²=((k+1)-1)³/(k+1)²=(k+1)-3+3/(k+1)-1/(k+1)²
となります。
したがって、
S_n=Σ(k=1 to n)(-1)^(k-1)C(n,k)(k-2+3/(k+1)-1/(k+1)²)
となり、以下の4種類の和を求めればよいことになります。
- Σ(-1)^(k-1)kC(n,k)
- Σ(-1)^(k-1)C(n,k)
- Σ(-1)^(k-1)C(n,k)/(k+1)
- Σ(-1)^(k-1)C(n,k)/(k+1)²
二項定理から基本的な和を求める
二項定理より、
Σ(k=0 to n)(-1)^kC(n,k)x^k=(1-x)^n
が成立します。
これをxで微分して、さらにxを1に近づけることで、kを含む和を得られます。
Σ(k=0 to n)(-1)^kkC(n,k)=0
がn≥2で成立するため、
Σ(k=1 to n)(-1)^(k-1)kC(n,k)=0
となります。
また、x=1を代入すると、
Σ(k=1 to n)(-1)^(k-1)C(n,k)=1
を得ます。
積分表示による1/(k+1)と1/(k+1)²の計算
分母にk+1がある場合は、積分表示を利用できます。
1/(k+1)=∫(0 to 1)x^k dx
であるため、
Σ(k=0 to n)(-1)^kC(n,k)/(k+1)=∫(0 to 1)(1-x)^n dx=1/(n+1)
となります。
したがってk=1からの和では符号を反転して、
Σ(k=1 to n)(-1)^(k-1)C(n,k)/(k+1)=1-1/(n+1)=n/(n+1)
です。
次に、
1/(k+1)²=∫(0 to 1)x^k(-log x)dx
を使います。
すると、
Σ(k=0 to n)(-1)^kC(n,k)/(k+1)²=∫(0 to 1)(1-x)^n(-log x)dx
となります。
この積分はベータ関数の微分から、
∫(0 to 1)(1-x)^n(-log x)dx=H_(n+1)/(n+1)
と求められます。ここでH_mは調和数H_m=1+1/2+…+1/mです。
よって、
Σ(k=1 to n)(-1)^(k-1)C(n,k)/(k+1)²=1-H_(n+1)/(n+1)
となります。
S_nの閉じた形を求める
以上の結果をまとめます。
S_n=0-2+3n/(n+1)-(1-H_(n+1)/(n+1))
となるので、
S_n=-3+3n/(n+1)+H_(n+1)/(n+1)
整理すると、
S_n=(H_(n+1)-3)/(n+1)
が得られます。
ただしn=1の場合も直接計算すると同じ結果となり、任意の正の整数nについて成立します。
Σと積分を交換してよい理由
今回の積分表示では、二項係数を含む和は有限和です。そのため、
∑(k=0 to n)∫(0 to 1)f_k(x)dx=∫(0 to 1)∑(k=0 to n)f_k(x)dx
という交換は問題なく行えます。
無限級数の場合は絶対収束や一様収束などの条件が必要になりますが、有限和では項数が有限であるため、積分と和の交換に特別な収束条件は必要ありません。
またD=x(d/dx)という作用素を用いる場合も、有限個の多項式に対して作用させるだけなので、微分と和の交換は常に正当化されます。
別解としての有限差分的な考え方
二項係数に(-1)^kが付いた和は、有限差分演算と深く関係しています。
一般に、
Σ(k=0 to n)(-1)^kC(n,k)P(k)=0
は、P(k)がn未満の次数の多項式である場合に成立します。
今回のように分母が存在する場合は、そのまま多項式として扱えませんが、積分表示によって多項式型の二項和へ変換することで、この有限差分の性質を利用できます。
まとめ｜二項係数和は変形して基本公式へ落とし込む
今回の有限和は、分母(k+1)²があるため一見複雑ですが、k³/(k+1)²の代数的分解と積分表示を組み合わせることで整理できます。
最終的な結果は、
S_n=(H_(n+1)-3)/(n+1)
となります。
二項係数を含む有限和では、分母を積分で処理し、二項定理やベータ関数につなげる方法が非常に有効です。また、有限和であることを利用すれば、和と積分、微分作用素の交換も厳密に保証できます。
コメント