k-ナッチ数列の部分和からなる数列の一般項についての予想(その２・厳密解との関係)

はじめに

この記事は
k-ナッチ数列の部分和からなる数列の一般項についての予想
の続きの記事になります。まだ読んでいない方はそちらを先に読んでみてください。

今回は、まず $k$-ナッチ数列の部分和からなる数列の一般項の厳密な表現を導出します。この部分は予想ではなく、ちゃんと証明します。

そのあとで、予想との関係を説明したいと思います。
また、これまでの記事と同じように次のように定義します。

以下の記事では特に断りがない限り $k$ は 2以上の整数、$n$ は０以上の整数とします。

$k$-ナッチ数列の部分和からなる数列の一般項の厳密な表現の導出

母関数を考える

母関数を考えます。
$a_k(n),S_k(n)$ の母関数をそれぞれ

とします。

階差を考えれば、$i>0$ のときは $a_k(i)=S_k(i)-S_k(i-1)$ となりますから、
${\displaystyle \begin{array}{rl}(1-x)H^{[k]}(x)& =\sum _{i=0}^{\mathrm{\infty }}{S}_k(i)(1-x)x^i\\ & =S_k(0)+\sum _{i=1}^{\mathrm{\infty }}(S_k(i)-S_k(i-1))x^i\\ & =a_k(0)+\sum _{i=1}^{\mathrm{\infty }}{a}_k(i)x^i(\because S_k(0)=a_k(0)=0)\\ & =G^{[k]}(x)\end{array}}$

ところで $G^{[k]}(x)$ を閉じた式で表すとこうなるのでした。

　${\displaystyle G^{[k]}(x)=\frac{x^{k-1}}{1-x-x^2-x^3-\cdots -x^k}}$

参考: フィボナッチ数を一般化したk-ナッチ数の一般項
これを使うと

部分分数分解して無限級数化する

　　$x$の方程式 $1-x-x^2-x^3-\cdots -x^k=0$の$k$つの解を ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_k$ とし、さらに ${\alpha }_{k+1}=1$ とすると、
　　　　${\displaystyle \begin{array}{rl}{H}^{[k]}(x)& =\frac{x^{k-1}}{(1-x-x^2-x^3-\cdots -x^k)(1-x)}\\ & =\frac{x^{k-1}}{(x-{\alpha }_1)(x-{\alpha }_2)\cdots (x-{\alpha }_{k+1})}\\ & =\sum _{i=1}^{k+1}\frac{x^{k-1}}{x-{\alpha }_i}\cdot \frac{1}{\prod _{\begin{array}{c}j=1\\ i\ne j\end{array}}^{k+1}({\alpha }_i-{\alpha }_j)}\\ & =\sum _{i=1}^{k+1}\frac{-x^{k-1}}{1-\frac{x}{{\alpha }_i}}\cdot \frac{1}{{\alpha }_i\prod _{\begin{array}{c}j=1\\ i\ne j\end{array}}^{k+1}({\alpha }_i-{\alpha }_j)}\\ & =\sum _{n=0}^{\mathrm{\infty }}(-x^{n+k-1}\sum _{i=1}^{k+1}\frac{1}{{\alpha }_i^{n+1}\prod _{\begin{array}{c}j=1\\ i\ne j\end{array}}^{k+1}({\alpha }_i-{\alpha }_j)})\end{array}}$

ここで　${\displaystyle H^{[k]}(x)=\sum _{n=0}^{\mathrm{\infty }}{S}_k(n)x^n}$　だったことを思い出して上記の式と係数比較すると、

逆数で書き換える

ここまで$x$の方程式 $(1-x-x^2-x^3-\cdots -x^k)(x-1)=0$の $k+1$ つの解を ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_{k+1}$ として計算してきましたが、$x=\frac{1}{t}$と置換した $t$の方程式　$(t^k-t^{k-1}-\cdots -t^2-t-1)(t-1)=0$の解を $t={\beta }_1,{\beta }_2,\cdots ,{\beta }_{k+1}$　とすると、${\alpha }_i=\frac{1}{{\beta }_i}$ と書き換えることができます。このとき ${\beta }_{k+1}=\frac{1}{{\alpha }_{k+1}}=1$ と対応させます。

すると、
　　　　${\displaystyle \begin{array}{rl}{S}_k(n)& =\sum _{i=1}^{k+1}\frac{-{\beta }_i^{n-k+2}}{\prod _{\begin{array}{c}j=1\\ i\ne j\end{array}}^{k+1}(\frac{1}{{\beta }_i}-\frac{1}{{\beta }_j})}\\ & =\sum _{i=1}^{k+1}\frac{-{\beta }_i^{n-k+2}\cdot {\beta }_i^{k-1}\cdot {\beta }_1{\beta }_2\cdots {\beta }_{k+1}}{\prod _{\begin{array}{c}j=1\\ i\ne j\end{array}}^{k+1}({\beta }_j-{\beta }_i)}\\ & =\sum _{i=1}^{k+1}\frac{-{\beta }_i^{n-k+2}\cdot {\beta }_i^{k-1}\cdot (-1{)}^{k+1}}{(-1{)}^k\prod _{\begin{array}{c}j=1\\ i\ne j\end{array}}^{k+1}({\beta }_i-{\beta }_j)}\\ & =\sum _{i=1}^{k+1}\frac{{\beta }_i^{n+1}}{\prod _{\begin{array}{c}j=1\\ i\ne j\end{array}}^{k+1}({\beta }_i-{\beta }_j)}\end{array}}$

これで、k-ナッチ数の部分和の一般項を表す式ができました!

別表現を作る

ところで、
$f(x):=x^k-x^{k-1}-\cdots -x^2-x-1$,
$g(x):=(x-1)f(x)$
とすると$g(x)=(x-{\beta }_1)(x-{\beta }_2)\cdots (x-{\beta }_{k+1})$ と因数分解できることと、ロピタルの定理を使うと、

　　　　　　　　${\displaystyle \begin{array}{rl}\prod _{\begin{array}{c}j=1\\ i\ne j\end{array}}^{k+1}({\beta }_i-{\beta }_j)& =\underset{x\to {\beta }_i}{lim}\frac{g(x)}{x-{\beta }_i}\\ & =g^{\prime }({\beta }_i)\end{array}}$
と書き換えることができます。
さらに、${\beta }_{k+1}=1$ を使えば、

　　　　${\displaystyle \begin{array}{rl}{S}_k(n)& =\sum _{i=1}^{k+1}\frac{{\beta }_i^{n+1}}{g^{\prime }({\beta }_i)}\\ & =\frac{1^{n+1}}{g^{\prime }(1)}+\sum _{i=1}^k\frac{{\beta }_i^{n+1}}{g^{\prime }({\beta }_i)}\end{array}}$

ここで
$g^{\prime }(x)=(x-1)f^{\prime }(x)+f(x)$
$f({\beta }_i)=0$
より
$\begin{array}{rl}{g}^{\prime }(1)& =(1-1)f^{\prime }(1)+f(1)\\ & =1-k\end{array}$
$\begin{array}{rl}{g}^{\prime }({\beta }_i)& =({\beta }_i-1)f^{\prime }({\beta }_i)+f({\beta }_i)\\ & =({\beta }_i-1)f^{\prime }({\beta }_i)\end{array}$
ですから

予想との関係

以前の記事で確認したとおり、$x^k-x^{k-1}-\cdots -x^2-x-1=0$ は $1<x<2$ の範囲に１つの実数解をもち、残りの $k-1$個の(複素数範囲の)解の絶対値は１未満です。

参考: フィボナッチ数列を拡張したk-ナッチ数列の一般項についての予想(その2)

上記の式は等比数列の和の形になっていますから、公比の絶対値が１未満の項は $n$ が大きいときは計算結果にほとんど影響をあたえないことから、$n$ が大きいときには前の記事の予想(以下に再掲)が成立することがわかります。

まとめるとこうなります。

数値計算で実験したところでは、 $n$ が大きいときだけでなく、すべての $n$ に対してこの式が成立するのではないかと考えています。
引き続き何か情報等ありましたらコメント欄等へご連絡お願いします!