[論文レビュー] Sums of squares of Tetranacci numbers: A generating function approach

Helmut Prodinger, Sarah J. Selkirk|arXiv (Cornell University)|Jun 19, 2019

Advanced Combinatorial Mathematics参考文献 2被引用数 6

ひとこと要約

本稿では、ハダマール積を用いた母関数のアプローチを開発し、テトラナッチ数の平方和の明示的公式を導出するとともに、この手法を高次フィボナッチ数列へ一般化する。一般化された二項級数を用いて母関数の分母を明示的に因数分解することで、一般化フィボナッチ数のバイネ型閉形式表現を提供する。

ABSTRACT

It is demonstrated how an explicit expression of the (partial) sum of Tetranacci numbers can be found and proved using generating functions and the Hadamard product. We also provide a Binet-type formula for generalized Fibonacci numbers, by explicitly factoring the denominator of their generating functions.

研究の動機と目的

• 母関数を用いてテトラナッチ数の平方和の明示的閉形式表現を導出すること。
• ハダマール積の母関数が、このような和の体系的計算を可能にすることを示すこと。
• この手法を高次フィボナッチ数列（例：クイナンナッチなど）に一般化し、類似の恒等式を導出すること。
• 一般化フィボナッチ数の母関数の分母を因数分解することで、明示的にすべての根を一般化された二項級数を用いて計算し、バイネ型の公式を構築すること。
• 記号計算ツールとコンピュータ代数を用いて、このアプローチを検証し、既知の恒等式と同等であることを確認すること。

提案手法

• テトラナッチ数 $ u_n $ に対して、$ u_n^2 $ の母関数を計算するために、母関数のハダマール積を用いる。
• Maple の Gfun パッケージを用いて、有理母関数のハダマール積を記号的に計算する。
• $ \frac{1}{1-z} $ との乗算により、部分和 $ \sum_{k=0}^n u_k^2 $ の母関数を導出する。
• 補助的数列 $ t_n = \frac{1}{c} u_n u_{n+k} $ を用いて和を表現し、和の表現を簡潔に保つ。
• 一般化された二項級数を用いて、一般化フィボナッチ数の母関数の分母 $ 1 - 2z + z^{h+1} $ を因数分解する。
• 一般化された二項級数で表される根を用いた部分分数分解を用い、完全なバイネ型公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして母関数とハダマール積を用いて、テトラナッチ数の平方和を導出し、証明できるか？
• RQ2 ハダマール積の手法は、高次フィボナッチ数列に対しても体系的に応用可能であり、平方和の閉形式表現を導出できるか？
• RQ3 分母 $ 1 - z - z^2 - \cdots - z^h $ の明示的根は何か？ そして、一般化された二項級数を用いてどのように表現できるか？
• RQ4 母関数の分母を因数分解することで、一般化フィボナッチ数のバイネ型公式をどのように構築できるか？
• RQ5 Gfun などの記号計算ツールは、このような恒等式を自動的に導出・検証するためにどの程度活用できるか？

主な発見

• 母関数 $ \sum_{n \geq 0} u_n^2 z^n $ は、明示的に $ \frac{z - z^2 - 2z^3 - 2z^4 - 2z^5 + z^6 + z^7}{1 - 2z - 4z^2 - 6z^3 - 12z^4 + 4z^5 + 6z^6 + 2z^8 - z^{10}} $ として計算され、母関数技法による平方和の確認がなされた。
• 部分和 $ \sum_{k=0}^n u_k^2 $ は、$ \frac{1}{3} + \frac{1}{3}(2t_n + t_{n-1} - t_{n-2} - t_{n-3} + \cdots) $ として表現され、ここで $ t_n = \frac{1}{2} u_n u_{n+2} $ である。これは計算上効率的であるが同等の式である。
• クイナンナッチ数（$ h=5 $）に対しては、平方和の母関数が $ \frac{3z}{8(1-z)} + \text{分母が15次多項式の有理関数} $ として導出され、この手法のスケーラビリティが示された。
• 一般化フィボナッチ数の完全なバイネ型公式が、$ 1 - 2z + z^{h+1} $ のすべての $ h+1 $ 個の根を一般化された二項級数を用いて明示的に計算することで構築された。
• テトラナッチ数（$ h=4 $）に対しては、5つの根が数値的に計算された：$ r_4 \approx 0.51879 $, $ r_0 = 1 $, $ r_1 \approx -0.11407 - 1.21675i $, $ r_2 \approx -1.29065 $, $ r_3 \approx -0.11407 + 1.21675i $ であり、これにより係数の正確な表現が可能になった。
• $ n $ 番目のテトラナッチ数は $ u_n = A r_4^{-n} + B r_0^{-n} + C r_1^{-n} + D r_2^{-n} + E r_3^{-n} $ として表現され、係数は $ A \approx 0.29381 $, $ B = 0 $, $ C \approx -0.05045 - 0.16968i $, $ D \approx -0.19291 $, $ E \approx -0.05045 + 0.16968i $ である。これにより、完全な閉形式表現が得られた。