[論文レビュー] Sums of products of generalized Fibonacci and Lucas numbers

Hacène Belbachir, Farid Bencherif|ArXiv.org|Aug 17, 2007

Advanced Mathematical Theories and Applications参考文献 3被引用数 4

ひとこと要約

本稿では、整数 $ p $ と $ q $ をパrameterとする一般化フィボナッチ数および一般化ルーカス数の積の和および交代和について、閉形式の公式を導出する。$ q = \pm 1 $ の条件下で、フィボナッチ、ルーカス、ペル、ヤコブスティェール数に関する先行研究を一般化・簡略化し、和 $ S_n^{(r,s)}(U), S_n^{(r,s)}(V), A_n^{(r,s)}(U), A_n^{(r,s)}(V) $ を基本的な数列と再帰的補助数列を用いて表現することで、一貫した代数的枠組みの中で一元化・拡張した。

ABSTRACT

In this paper, we establish several formulae for sums and alternating sums of products of generalized Fibonacci and Lucas numbers. In particular, we recover and extend all results of Z. Cerin and Z. Cerin & G. M. Gianella, more easily.

研究の動機と目的

• 一般化フィボナッチ数およびルーカス数の積の和および交代和について、閉形式の式を導出すること。
• フィボナッチ、ルーカス、ペル、ヤコブスティェール数に関する先行結果を、一つの代数的枠組みで統一・拡張すること。
• 再帰的補助数列を用いて、Čerin (2005) および Čerin & Gianella (2006) の結果を簡略化・一般化すること。
• $ U_n^{(p,q)}, V_n^{(p,q)} $ および導出された数列 $ a_n, b_n, c_n, d_n, e_n $ を含む恒等式を用いて、このような和を体系的かつ代数的に計算する方法を確立すること。

提案手法

• 著者たちは、パrameter $ p $ と $ q $ を持つ2階線形再帰により、一般化フィボナッチ数 $ U_n^{(p,q)} $ およびルーカス数 $ V_n^{(p,q)} $ を定義し、非退化性を保証するため $ q = \pm 1 $ を仮定する。
• 主な和を表現するために、$ U_n $ および $ V_n $ から導かれる線形再帰（定数係数）に従う5つの補助数列 $ a_n, b_n, c_n, d_n, e_n $ を導入する。
• 既知のビネ型公式およびフィボナッチ数・ルーカス数の三角法的類似恒等式を用いて、特に $ V_{n+m}V_{n-m} - q^n \Delta U_m U_{n-m} $ や類似関係を活用して、重要な恒等式を導出する。
• 主な結果は、数学的帰納法と再帰的代入を用いて証明され、特にインデックスのずれや積の恒等式を操作するために補題4および補題5を重要な役割で用いる。
• 偶数番目の項に関する和と、$ V_{4n+r+s+2} $、$ U_{4n+r+s+2} $、および $ q^r V_{s-r} $ や $ q^r U_{s-r} $ を含む補正項を含む表現との間の変換を確立する。
• 交代和の処理では、$ (-1)^n $ 項と対称性の性質を用い、$ V_{r+s-2} + (-1)^n V_{4n+r+s+2} $ を含む式が得られる。

実験結果

リサーチクエスチョン

• RQ1 偶数番目の項について、一般化フィボナッチ数およびルーカス数の積の和に対して、閉形式の式を導出できるか？
• RQ2 フィボナッチ、ルーカス、ペル、ヤコブスティェール数の積に関する先行結果を、一つの代数的枠組みで統一できるか？
• RQ3 補助数列 $ a_n, b_n, c_n, d_n, e_n $ は、和の恒等式の簡略化および一般化において果たす役割は何か？
• RQ4 このような積の交代和はどのように振る舞い、再帰的計算を避けられるか？
• RQ5 導出された公式は、Čerin (2005) および Čerin & Gianella (2006) の既知の結果を、より体系的かつ一般化された形で回復・拡張できるか？

主な発見

• 本稿では、$ S_n^{(r,s)}(U) = \sum_{i=0}^n U_{r+2i} U_{s+2i} $ について、$ p^{-1}\Delta^{-1}(U_{4n+r+s+2} - U_{r+s-2}) - (n+1)\Delta^{-1} q^r V_{s-r} $ という統一的な閉形式式を提供する。これはすべての整数 $ r,s $ および $ n \geq 0 $ に対して有効である。
• $ S_n^{(r,s)}(V) $ については、ルーカス数の積の和が $ p^{-1}(U_{4n+r+s+2} - U_{r+s-2}) + (n+1) q^r V_{s-r} $ として与えられ、$ U_n $ を通じてフィボナッチ数と直接的な関係を持つことが示される。
• 交代和 $ A_n^{(r,s)}(U) $ は、$ \Delta^{-1} V_2^{-1} (V_{r+s-2} + (-1)^n V_{4n+r+s+2}) - \varepsilon \Delta^{-1} q^r V_{s-r} $ で与えられ、ここで $ \varepsilon = (1 + (-1)^n)/2 $ であり、偶奇に依存する性質を捉えている。
• $ A_n^{(r,s)}(V) $ については、ルーカス数の積の交代和が $ V_2^{-1} (V_{r+s-2} + (-1)^n V_{4n+r+s+2}) + \varepsilon q^r V_{s-r} $ で与えられ、偶奇に依存する補正項を含む。
• 結果は、$ (p,q) = (2,-1) $ のときペルおよびペル＝ルーカス数に適用され、Čerin および Gianella (2006) の定理1～7を回復・拡張する。また、$ (p,q) = (1,-1) $ のときフィボナッチ・ルーカス恒等式も同様に回復される。
• 本稿では、$ V_n V_m = V_{n+r} V_{m-r} + q^n \Delta U_r U_{m-n-r} $ という一般恒等式を確立し、これがすべての和の公式の導出を支える基盤となっている。