[論文レビュー] Convolution identities for Tetranacci numbers

Rusen Li|arXiv (Cornell University)|Sep 17, 2016

Advanced Mathematical Identities参考文献 7被引用数 3

ひとこと要約

本稿では、母関数および指数型母関数を用いて、テトラナッチ数の畳み込み恒等式を確立し、二項係数を含む・含まない閉形式の表現を導出する。バイネット型係数の積を含む新規の恒等式を提示し、一般化されたテトラナッチ型数列の再帰的構成法を提供する。

ABSTRACT

We give convolution identities without binomial coefficients for Tetranacci numbers and convolution identities with binomial coefficients for Tetranacci and Tetranacci-type numbers.

研究の動機と目的

• 通常母関数を用いて、二項係数を含まないテトラナッチ数の畳み込み恒等式を導出すること。
• 指数型母関数を用いて、テトラナッチ数およびテトラナッチ型数の二項係数を含む畳み込み恒等式を構築すること。
• 任意の初期条件をもつ一般化されたテトラナッチ数列を定義し、その母関数の再帰的関係を確立すること。
• バイネット係数の積を、新しいテトラナッチ型数列の指数型母関数として表現すること。
• 母関数の代数的変形を用いて、高階の畳み込み恒等式を体系的に生成する手法を提供すること。

提案手法

• 係数比較を用いて、畳み込み恒等式を導出するため、通常母関数 $ T(x) = rac{x}{1 - x - x^2 - x^3 - x^4} $ を用いる。
• 導関数 $ T'(x) $ と代数的変形を適用し、$ T(x)^2 $ と $ x^2 T'(x) $ の関係を導出し、$ n \to \text{畳み込み和} $ の恒等式を得る。
• 指数型母関数 $ t(x) = \frac{1}{563} \frac{d}{dx} \text{ある関数} $ を用いて、二項係数を含む恒等式を表現する。
• 任意の初期値をもつ修正されたテトラナッチ数 $ T_n^{(s_0,s_1,s_2,s_3)} $ を導入し、再帰構造を一般化する。
• 特性方程式 $ x^4 - x^3 - x^2 - x - 1 = 0 $ の部分分数分解と根の解析を用いて、バイネット型の公式を導出する。
• 多項式展開とインデックス $ j,k $ における符号調整付きの和を用いて、母関数展開における係数を表現する。

実験結果

リサーチクエスチョン

• RQ1 通常母関数を用いて、二項係数を含まないテトラナッチ数の畳み込み恒等式をどのように導出できるか？
• RQ2 指数型母関数を用いて、テトラナッチ数およびテトラナッチ型数の二項係数を含む畳み込み恒等式をどのように構築できるか？
• RQ3 バイネット係数の積 $ c_i c_j $ は、新しいテトラナッチ型数列の母関数として表現可能か？
• RQ4 このような恒等式から生じる一般化されたテトラナッチ数列の初期値および正規化定数を支配する再帰的関係は何か？
• RQ5 母関数の成分の代数的変形を用いて、高階の畳み込み恒等式を体系的に生成する方法は何か？

主な発見

• $ n \to 4 $ のとき、恒等式 $ \textstyle\binom{n-4}{k=0} T_k (T_{n-k} + T_{n-k-2} + 2T_{n-k-3} + 3T_{n-k-4}) = (n-2)T_{n-1} - T_{n-2} - 3T_{n-3} $ が成り立つ。
• 畳み込み和 $ \textstyle\binom{n}{k=0} T_k T_{n-k} $ は、$ \textstyle\binom{n-2}{l=0} (l+1)T_{l+1} D $ に等しく、ここで $ D $ は二項係数および符号項を含む $ j,k $ に関する複雑な和である。
• 母関数 $ \textstyle\frac{1}{563} \text{sum} T_k^{(146,416,581,1080)} \frac{x^k}{k!} $ は、係数 $ c_i c_j + c_j c_k + c_k c_i $ をもつ $ e^{\theta x} $ 項の線形結合に等しい。
• $ n \to 1 $ のとき、和 $ (c_2c_3 + c_3c_4 + c_4c_2)e^{\theta x} + \text{循環項} $ は、初期値 $ (146,416,581,1080) $ をもつテトラナッチ型数列を生成する。
• $ A_3^{(n)} $ および初期値 $ s_{3,i}^{(n)} $ の再帰的関係が導出され、$ (c_i c_j + \text{循環})^n e^{\theta x} $ は $ \frac{1}{A_3^{(n)}} \text{sum} T_{3,k}^{(s_{3,0}^{(n)},\text{...})} \frac{x^k}{k!} $ を生成する。
• 正規化定数 $ A_3^{(n)} $ は、以前の $ s_{3,i}^{(n)} $ の有理関数として更新され、大きな $ k $ に対して得られる数列が正の値をとることを保証する。