[論文レビュー] Weighted Tribonacci sums

Kunle Adegoke|arXiv (Cornell University)|Apr 16, 2018

Advanced Mathematical Theories and Applications参考文献 5被引用数 11

ひとこと要約

本稿では、再帰に基づく母関数技法を用いて、トリボナッチ数の新しい重み付き和の恒等式（二項係数および二重二項係数和を含む）を導出する。重み付き和および二重和の閉形式表現を確立し、既知の結果を一般化し、組合せ係数を含む無限級数および有限和の正確な公式を提供する。

ABSTRACT

We derive various weighted summation identities, including binomial and double binomial identities, for Tribonacci numbers. Our results contain some previously known results as special cases.

研究の動機と目的

• トリボナッチ数の既知の和の恒等式を、二項係数を含む重み付き和を導入することで拡張すること。
• 再帰関係を用いて、トリボナッチ数列の線形和および二重和に関する既存の結果を一般化すること。
• 指数的および組合せ的重みを含むトリボナッチ数の有限および無限重み付き和の閉形式表現を導出すること。
• トリボナッチ数列における算術級数のインデックスおよび母関数に関する先行研究を統合・拡張すること。
• 例えば ∑ 2^{-j}T_j = 4 のような、トリボナッチ数を含む無限級数の正確な公式を提供すること。

提案手法

• 2次再帰補題（補題1）を用いて、トリボナッチ数列の指数的重み（例：2^{-j}, (-1)^j）を含む重み付き和を導出する。
• 一般化されたn次再帰補題（補題2）を用いて、任意のxおよびパラメータを含む形 ∑ x^j T_{tj + r} の有限重み付き和を導出する。
• 母関数技法（補題3）を用いて収束条件の下での無限級数和を導出する。
• 二項係数重み付き再帰恒等式（補題4）を導入し、∑ binom(k,j) f(j) T_{m + ...} に含まれる交互および指数的係数を含む恒等式を導出する。
• 二重二項係数和補題（補題5）を適用し、トリボナッチパラメータに基づく有理関数重みを含むネストされた二項係数およびその恒等式を導出する。
• 再帰と二項係数和構造を結びつける基本的恒等式 T_m = T_r T_{m-r-2} + (T_{r-1}+T_r)T_{m-r-1} + T_{r+1}T_{m-r} を用いる。

実験結果

リサーチクエスチョン

• RQ1 指数的および二項係数を含む重み付きトリボナッチ数の和の閉形式恒等式はどのようなものがあるか？
• RQ2 母関数を用いて、トリボナッチ数を含む無限級数和をどのように導出できるか？
• RQ3 再帰に基づく恒等式を用いて、トリボナッチ数列における二重二項係数和を閉形式で表すことは可能か？
• RQ4 例えば ∑ 2^{-j}T_j や ∑ 2^j T_{3j} のような無限重み付き和の正確な値は何か？
• RQ5 トリボナッチ数列の特性多項式のパラメータが、重み付き和恒等式の構造にどのように影響するか？

主な発見

• 無限和 ∑_{j=0}^∞ 2^{-j} T_j = 4 は、重み付き和恒等式 (2.8) の特別な場合として導出された。
• 任意の非負整数kに対して、恒等式 ∑_{j=0}^k (-1)^j binom(k,j) 2^j T_{3j} = (-1)^k T_{4k} が成り立つ。
• 二項係数重み付き和の閉形式表現として、∑_{j=0}^k binom(k,j) T_{4j} = 2^k T_{3k} が確立された。
• 二重二項係数和 ∑_{j=0}^k ∑_{s=0}^j binom(k,j) binom(j,s) (T_{r-1}+T_r)^{j-s} T_r^{-j} T_{m-(r+2)k+j+s} = T_m / T_r^k は、r ∉ {-17,-4,-1,0} のとき有効である。
• 整数mおよびrに対して、恒等式 ∑_{j=0}^k ∑_{s=0}^j (-1)^s binom(k,j) binom(j,s) (T_{r-1}+T_r)^{j-s} / T_r^j · T_{m-2k+j+(r+1)s} = (-1)^k (T_{r+1}/T_r)^k T_m が証明された。
• 生成関数 ∑_{j=0}^∞ x^j T_{tj + r} は、[T_r + x(λ₂(t) + x λ₃(t)) T_{r-t} + x² λ₃(t) T_{r-2t}] / [1 - λ₁(t)x - λ₂(t)x² - λ₃(t)x³] として導出された。ここで λ_i(t) は特性多項式の根の累乗和である。