チェビシェフ多項式の係数計算で現れる二項係数の和の計算について（解決編）

ずっと気になっていた計算が、いい方法で解けた気がするので、
ちょっとだけ殴り書きしておきます。

あと、最近記事の更新が止まっておりますが、ぼちぼちまた更新します、まぁぼちぼちで。

問題提起

発端は私の書いた記事「 直交多項式と超幾何関数(1)〜チェビシェフ多項式と三角関数〜 」内において、
私が計算に困っていたところでした。

困っていた主張は次のようなものでした。

ついでにそこまでの計算も端折っていたので、復習がてら背景を書いておきます。

第一種Chebyshev多項式$T_n(x)$の一般項をexplicitに書き下す式がほしいので
$T_n(x)$が満たす三項間漸化式から導出できないか、という話でした。
第一種Chebyshev多項式が満たす三項間漸化式は
\begin{align*} T_{n+2}(x)-2xT_{n+1}(x)+T_n(x)=0 \\ T_0(x)=1, \quad T_1(x)=x \end{align*}
のようになっていた。
ここから三項間漸化式を解くことで(ここは普通の定数係数の三項間漸化式と同様)
$T_n(x)$の一般項は
\begin{align*} T_n(x)=\frac{1}{2}\left\{\left(x+\sqrt{x^2-1}\right)^n+\left(x-\sqrt{x^2-1}\right)^n\right\} \end{align*}
のようになることがわかった。
次にこれを二項展開して、$x$の多項式としての係数が見やすい形にしたい。(ここからの計算を端折っていた)

まずそれぞれの項を二項展開する。
その後出てくる$(x^2-1)$の冪についても同様に二項展開を行う。その方針で計算をしていく。

\begin{align*} T_n(x) &=\frac{1}{2}\left\{\left(x+\sqrt{x^2-1}\right)^n+\left(x-\sqrt{x^2-1}\right)^n\right\} \\ &=\frac{1}{2}\left\{\sum_{k=0}^n\binom{n}{k}x^{n-k}\left(\sqrt{x^2-1}\right)^k+\sum_{k=0}^n\binom{n}{k}x^{n-k}(-1)^k\left(\sqrt{x^2-1}\right)^k\right\} \\ &=\sum_{\substack{k=0 \\ k: \text{偶数}}}^n\binom{n}{k}x^{n-k}\left(\sqrt{x^2-1}\right)^k \quad \text{($k$ が偶数のときのみ値が残る)} \\ &=\sum_{k=0}^{[n/2]}\binom{n}{2k}x^{n-2k}(x^2-1)^k \\ &=\sum_{k=0}^{[n/2]}\binom{n}{2k}x^{n-2k} \left\{\sum_{j=0}^k\binom{k}{j}(-1)^j(x^2)^{k-j}\right\} \quad \text{(二項定理)} \\ &=\sum_{k=0}^{[n/2]}\sum_{j=0}^k(-1)^j\binom{n}{2k}\binom{k}{j}x^{n-2j} \\ &=\sum_{j=0}^{[n/2]}\sum_{k=0}^j(-1)^k\binom{n}{2j}\binom{j}{k}x^{n-2k} \quad \text{(見映えのため変数 $j$ と $k$ の記号交換)} \\ &=\sum_{k=0}^{[n/2]}(-1)^k \left\{\sum_{j=k}^{[n/2]}\binom{n}{2j}\binom{k}{j}\right\}x^{n-2k} \quad \text{(和の順序交換)} \end{align*}
となり、この式が導き出される背景の式まで到達することができた。
この式はここで行き詰まってしまい、
別の導出方法で求めた一般項と等号で結んであげることで、二項係数に関する和の予想が立っていたのだ。

TKSSさんの記事

その後、当時の記事内でも改めて加筆紹介させていただきましたが、
TKSSさんの記事「 チェビシェフ多項式の係数計算で現れる二項係数の和の計算ついて 」において
この和を$k$重和に分解し、望遠鏡和でバサリバサリと和を計算していく手法が得られた。
これは見栄えがかっこいい。
本人が書かれていますように確かに和の範囲等気にすると面倒なところは山ほどありそうで
(もちろん正しい手法でしょうが)厳密性はまた別問題の気がしている。という話であった。

解決編

改めて、主張を述べようと思う。

元々必要だった式は(2)である(第二種の場合を計算する際には(1)の主張が必要である)。
式の形が一見して違うが、次のようにして一致することはすぐにわかる。
\begin{align*} \frac{n}{n-k}\binom{n-k}{k} =\frac{n}{n-k}\frac{(n-k)!}{k!(n-2k)!} =n\frac{(n-k-1)!}{k!(n-2k)!} \end{align*}

さて、実は(2)の証明は(1)に帰着されることがわかるので、実際(1)を示すだけで良いとなる。

同様にすれば、(2)式を仮定した状態で(1)式の成立も言える。すなわち同値な主張であった。
(1)式の方が見た目が簡単なので、こちらを証明することにする。

証明の方針であるが、
両辺の$n$に関する母関数が一致することを示すことで(1)式を示していく。
なお、ここで言う「母関数」とは通常型母関数のことであり、
数列$a_n$に対し、冪級数$\sum a_nt^n$のことをその母関数と呼ぶことにしている。

まず(1)式の右辺の母関数は次のようになる。
\begin{align*} \sum_{n\ge 2k}\left\{2^{n-2k}\binom{n-k}{k}\right\}t^n &=2^{-2k}\sum_{n\ge 2k}\binom{n-k}{k}(2t)^n \\ &=2^{-2k}\sum_{n\ge k}\binom{n}{k}(2t)^{n+k} \quad \text{($n-k$ を $n$ と置換する)} \\ &=2^{-k}t^k\sum_{n\ge k}\binom{n}{k}(2t)^n \\ &=2^{-k}t^k\frac{(2t)^k}{(1-2t)^{k+1}} \quad \text{(以下の 補題 2 より)} \\ &=\frac{t^{2k}}{(1-2t)^{k+1}} \end{align*}
とこのように簡単に母関数が計算できる。

ここで二項係数に関する母関数の式が必要である。簡単に述べておく。

帰納法でパパッと済ませておく。

最後に(1)式の左辺の母関数を計算する。実は必要な道具は全部もう揃っている。

\begin{align*} \sum_{n\ge 2k}\left\{\sum_{j=k}^{[n/2]}\binom{n+1}{2j+1}\binom{j}{k}\right\}t^n &=\sum_{j\ge k}\binom{j}{k}\left\{\sum_{n\ge 2j}\binom{n+1}{2j+1}t^n\right\} \quad \text{(ここの和の順序の取り替えに注意が必要)} \\ &=\sum_{j\ge k}\binom{j}{k}\left\{\sum_{n\ge 2j+1}\binom{n}{2j+1}t^{n-1}\right\} \quad \text{($n+1$ を $n$ で置換)} \\ &=t^{-1}\sum_{j\ge k}\binom{j}{k}\left\{\sum_{n\ge 2j+1}\binom{n}{2j+1}t^n\right\} \\ &=t^{-1}\sum_{j\ge k}\binom{j}{k}\frac{t^{2j+1}}{(1-t)^{2j+2}} \quad \text{(補題 2 より)} \\ &=\frac{1}{(1-t)^2}\sum_{j\ge k}\binom{j}{k}\left\{\frac{t^2}{(1-t)^2}\right\}^j \\ &=\frac{1}{(1-t)^2}\frac{\displaystyle \left\{\frac{t^2}{(1-t)^2}\right\}^k} {\displaystyle \left\{1-\frac{t^2}{(1-t)^2}\right\}^{k+1}} \quad \text{(補題 2 より)} \\ &=\frac{1}{(1-t)^2}\frac{t^{2k}(1-t)^2}{\left\{(1-t)^2-t^2\right\}^{k+1}} \quad \text{(繁分数の分母分子に $(1-t)^{2k+2}$ を掛ける)} \\ &=\frac{t^{2k}}{(1-2t)^{k+1}} \end{align*}
となり、(1)式の右辺の母関数と一致することがわかる。
よって(1)式の整合性が言えたことになる。（証明終わり）

いくつかの疑問

(Q1) 和の順序の取り替えのところは、無限和のものを順序交換しているが、大丈夫なのか？
(A1) 十分小さい実数$t$に関して絶対収束しているから大丈夫だろう(冪級数としてどうかは知らん)

(Q2) 補題2を$\frac{t^2}{(1-t)^2}$に対して用いているが、大丈夫なのか？
(A2) これも実数範囲に限定しての話であるが、
\begin{align*} |t|<1 \quad \text{かつ} \quad \left|\frac{t^2}{(1-t)^2}\right|<1 \quad \Leftrightarrow \quad -1< t<\frac{1}{2} \end{align*}
となるので、この領域の$t$に関しては正しい式であることは確かである。

追伸

\begin{align*} \sum_{n\ge 2k}\left\{\frac{n}{n-k}2^{n-2k-1}\binom{n-k}{k}\right\}t^n &=\sum_{n\ge 2k}\left\{\frac{n}{k}2^{n-2k-1}\binom{n-k-1}{k-1}\right\}t^n \\ &=k^{-1}2^{-2k-1}\sum_{n\ge 2k}n\binom{n-k-1}{k-1}(2t)^n \\ &=k^{-1}2^{-2k-1}\sum_{n\ge k-1}(n+k+1)\binom{n}{k-1}(2t)^{n+k+1} \\ &=k^{-1}2^{-k}t^{k+1}\sum_{n\ge k-1}(n+k+1)\binom{n}{k-1}(2t)^n \\ &=k^{-1}2^{-k}t^{k+1} \left\{ \sum_{n\ge k-1}(n+1)\binom{n}{k-1}(2t)^n+k\sum_{n\ge k-1}\binom{n}{k-1}(2t)^n \right\} \\ &=k^{-1}2^{-k}t^{k+1} \left\{ \sum_{n\ge k-1}k\binom{n+1}{k}(2t)^n+k\sum_{n\ge k-1}\binom{n}{k-1}(2t)^n \right\} \\ &=2^{-k}t^{k+1} \left\{ \sum_{n\ge k}\binom{n}{k}(2t)^{n-1}+\sum_{n\ge k-1}\binom{n}{k-1}(2t)^n \right\} \\ &=2^{-k}t^{k+1} \left\{ \frac{1}{2t}\frac{(2t)^k}{(1-2t)^{k+1}}+\frac{(2t)^{k-1}}{(1-2t)^k}\right\} \\ &=2^{-k}t^{k+1} \frac{(2t)^{k-1}\{1+(1-2t)\}}{(1-2t)^{k+1}} \\ &=\frac{t^{2k}(1-t)}{(1-2t)^{k+1}} \end{align*}

\begin{align*} \sum_{n\ge 2k}\left\{\sum_{j=k}^{[n/2]}\binom{n}{2j}\binom{j}{k}\right\}t^n &=\sum_{j\ge k}\binom{j}{k}\left\{\sum_{n\ge 2j}\binom{n}{2j}t^n\right\} \\ &=\sum_{j\ge k}\binom{j}{k}\frac{t^{2j}}{(1-t)^{2j+1}} \\ &=\frac{1}{1-t}\sum_{j\ge k}\binom{j}{k} \left\{\frac{t^2}{(1-t)^2}\right\}^j \\ &=\frac{1}{1-t} \frac{\displaystyle \left(\frac{t^2}{(1-t)^2}\right)^k} {\displaystyle \left(1-\frac{t^2}{(1-t)^2}\right)^{k+1}} \\ &=\frac{1}{1-t} \frac{t^{2k}(1-t)^2} {\displaystyle \left\{(1-t)^2-t^2\right\}^{k+1}} \\ &=\frac{t^{2k}(1-t)}{(1-2t)^{k+1}} \end{align*}

なんか、、、直接(2)式も普通に示せてしまいましたわ。そりゃそうだけど。

まとめ

やっぱり母関数は偉大だった。以上。
ま、帰納法でも示せるような式ではあるのではあるが、それだと面白みがなくて。

母関数で示したことによる帰結というか、面白いなと思ったのは、
\begin{align*} \sum_{k=0}^{[n/2]}(-1)^k \left\{\sum_{j=k}^{[n/2]}\binom{n}{2j}\binom{k}{j}\right\}x^{n-2k}=T_n(x) \end{align*}
というChebyshev多項式が出てくるのに対して、通常母関数を考えると
\begin{align*} \sum_{n\ge 2k}\left\{\sum_{j=k}^{[n/2]}\binom{n}{2j}\binom{j}{k}\right\}t^n =\frac{t^{2k}(1-t)}{(1-2t)^{k+1}} \end{align*}
という高々有理式になる、みたいなところである。何か背景に別の理論があるのかな。

後々の記事の伏線になっている気もするので。
今回の記事はこの辺りで止めておくことにする。