[論文レビュー] Generalizations for reciprocal Fibonacci-Lucas sums of Brousseau

Kunle Adegoke|arXiv (Cornell University)|Mar 16, 2017

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

ひとこと要約

本稿では、分母にフィボナッチ数またはリュカ数の複素積を含む有限および無限の逆数フィボナッチ＝リュカ和について、閉形式の式を導出する。ボルシェウの先行研究を一般化したものであり、テレスコピング和の恒等式とビネの公式を用いて、構造的配列のフィボナッチ数およびリュカ数を含む和の正確な評価を確立する。周期的インデックスと対称的分母構造を持つより広範な和のクラスへ既知の恒等式を拡張する。

ABSTRACT

We derive closed form expressions for finite and infinite Fibonacci-Lucas sums having products of Fibonacci or Lucas numbers in the denominator of the summand. Our results generalize and extend those obtained by pioneer Brother Alfred Brousseau and later researchers.

研究の動機と目的

• フィボナッチ＝リュカ和の逆数に関するブロッシューの基礎的業績を、より複雑で一般化された形に拡張すること。
• 周期的インデックスを用いたフィボナッチ数およびリュカ数の積を含む無限および有限和について、正確な閉形式式を導出すること。
• インデックスの間隔と分母項の対称性にパラメータを導入することで、既存の結果を統合・一般化すること。
• 符号が入れ替わる和や分母に二乗項を含む和を、新規のテレスコピング恒等式を用いて評価すること。
• 無限和が有理数倍の逆フィボナッチ数または逆リュカ数に収束するための条件を確立すること。

提案手法

• 複雑な和を有限の境界項に縮約するために、テレスコピング和の恒等式 (1.1) および (1.2) を用いる。
• ビネの公式を適用して漸近的挙動を分析し、無限和の収束を正当化する。
• 基本的なフィボナッチおよびリュカの恒等式（例：(1.7a), (1.8a), (1.12a)）を用いて、分母の積項を操作・簡略化する。
• 代数的変形により高階の項を低階の和に関連付ける、重要な再帰的恒等式（例：(2.107)）を導出する。
• 有限和の恒等式（例：(2.108), (2.109)）を用い、N → ∞ の極限を取ることで無限和を評価する。
• 符号を調整した恒等式（例：(2.113)）を用いて、特に奇数／偶数のパリティ条件における符号入れ替え和を処理する。

実験結果

リサーチクエスチョン

• RQ1 分母に複雑で対称的な積を含むフィボナッチ数およびリュカ数の無限逆数和について、閉形式の式を導出できるか？
• RQ2 テレスコピング恒等式は、分母に複数の項を含む和へどのように一般化可能か？特に周期的ステップでインデックスされた場合に。
• RQ3 パラメータ（m, n, q, p）にどのような条件を課すと、収束が保証され、有理数評価が可能になるか？
• RQ4 m, n, q, および mnq のパリティに応じて、符号入れ替え和はどのように振る舞うか？
• RQ5 二乗項や混合フィボナッチ＝リュカ積を含む恒等式は、既知の再帰関係を用いて有限和に還元可能か？

主な発見

• mnq が偶数のとき、無限和 ∑_{k=1}^∞ F_{2nk+mnq+np} / ∏_{j=0}^m L_{nk+jnq}L_{nk+jnq+np} は (1/(5F_{mnq})) × ∑_{k=1}^q 1 / ∏_{j=0}^{m-1} L_{nk+jnq}L_{nk+jnq+np} に等しい。
• mnq が奇数または q が偶数のとき、符号入れ替え和 ∑_{k=1}^∞ (-1)^{k-1} F_{2nk+mnq+np} / ∏_{j=0}^m L_{nk+jnq}L_{nk+jnq+np} は (1/(5F_{mnq})) × ∑_{k=1}^q (-1)^{k-1} / ∏_{j=0}^{m-1} L_{nk+jnq}L_{nk+jnq+np} に等しい。
• 和 ∑_{k=1}^∞ F_{2k+3}/(F_k^4 F_{k+1}^3 F_{k+2}^3 F_{k+3}^4) = 1/128 であり、∑_{k=1}^∞ F_{2k+3}/(L_k^4 L_{k+1}^3 L_{k+2}^3 L_{k+3}^4) = 1/829440 である。
• m=1, n=3, q=1 のとき、和 ∑_{k=1}^∞ (F_{3k+1}F_{3k+2}F_{6k+3}) / (F_{3k}^4 F_{3k+3}^4) = 1/128 であり、リュカ数版は 1/10240 である。
• n が偶数のとき、恒等式 ∑_{k=1}^∞ (-1)^{nk-1} F_{2nk+mnq+2} ∏_{j=1}^{m-1} F_{nk+jnq+1}^2 / ∏_{j=0}^m F_{nk+jnq} F_{nk+jnq+2} = q/F_{mnq} - (1/F_{mnq}) ∑_{k=1}^q ∏_{j=0}^{m-1} F_{nk+jnq+1}^2 / (F_{nk+jnq} F_{nk+jnq+2}) が成り立つ。
• n が奇数のとき、符号入れ替え版は ∑_{k=1}^∞ (-1)^{k-1} F_{2nk+mnq+2} ∏_{j=1}^{m-1} F_{nk+jnq+1}^2 / ∏_{j=0}^m F_{nk+jnq} F_{nk+jnq+2} = q/F_{mnq} - (1/F_{mnq}) ∑_{k=1}^q ∏_{j=0}^{m-1} F_{nk+jnq+1}^2 / (F_{nk+jnq} F_{nk+jnq+2}) を満たす。