[論文レビュー] Infinite arctangent sums involving Fibonacci and Lucas numbers

Kunle Adegoke|arXiv (Cornell University)|Mar 26, 2016

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

ひとこと要約

本稿では、初等的な三角関数的恒等式およびこれらの数列の性質を用いて、フィボナッチ数およびルカス数を含む新しい無限の逆正接和公式を導出する。主な貢献は、既知の結果を統一・拡張する包括的な一般化逆正接恒等式を体系的に導出することであり、特に π/2、π/3、π/4 に収束する特殊ケースが閉形式として得られることである。

ABSTRACT

Using a straightforward elementary approach, we derive numerous infinite arctangent summation formulas involving Fibonacci and Lucas numbers. While most of the results obtained are new, a couple of celebrated results appear as particular cases of the more general formulas derived here.

研究の動機と目的

• フィボナッチ数およびルカス数を含む新しい無限の逆正接和公式を導出すること。
• 既に知られていた逆正接恒等式をより広範かつ包括的な形に一般化すること。
• 初等的手法を用いて、文献に登場する著名な結果を一つの体系的枠組みに統合すること。
• 逆正接級数の特別な値が、π/2、π/3、π/4 などの既知の定数に収束することを調査すること。
• 逆正接級数、ルカス数およびフィボナッチ数の恒等式、およびそれらの積との関係を確立すること。

提案手法

• 逆正接加法定理を用いる：$\tan^{-1}\left(\frac{\lambda(y-x)}{xy + \lambda^2}\right) = \tan^{-1}(\lambda/x) - \tan^{-1}(\lambda/y)$ は、特定の符号および絶対値の条件を満たす場合に有効である。
• フィボナッチ数およびルカス数を結びつける基本的恒等式を適用する。例えば $F_{u-v}F_{u+v} = F_u^2 - (-1)^{u-v}F_v^2$ および $L_u L_v = L_{u+v} + (-1)^u L_{v-u}$ である。
• 再帰に基づく恒等式を用いる：$F_{2u} = F_u L_u$、$L_{2u} = L_u^2 - 2(-1)^u$、および $5F_u^2 - L_u^2 = 4(-1)^{u+1}$ である。
• 初期値 $G_0, G_1$ をパrameterとする一般化されたフィボナッチ数列 $G_i$ を導入し、特定の初期値では $F_i$ や $L_i$ に還元される。
• 一般化された逆正接恒等式を数列 $G_{mr+n}$ および $G_{mr+n-m}$ に適用し、無限級数恒等式の導出を可能にする。
• 特定の値 $\lambda$、$p$、$k$、$j$ を代入することで、閉形式の和が得られることを導出する。

実験結果

リサーチクエスチョン

• RQ1 初等的な三角関数的恒等式を用いて、フィボナッチ数およびルカス数を含む無限の逆正接和を体系的に導出できるか？
• RQ2 任意の $G_0, G_1$ を持つ一般化されたフィボナッチ数列 $G_i$ は、より広範な逆正接恒等式の導出をどのように可能にするか？
• RQ3 導出された恒等式に特定のパrameter（$\lambda$、$p$、$k$、$j$）を代入した際に、どのような特別な値が得られるか？
• RQ4 既知の著名な結果（例：$\sum \tan^{-1}(1/F_{2r+1}) = \tan^{-1}(1/F_{2k})$）が、より一般化された公式の特殊ケースとして回復できるか？
• RQ5 パrameter $j \to \infty$ のとき、導出された逆正接級数の極限的挙動はいかなるものか？

主な発見

• 本稿では、すべての整数 $j \neq 0$ に対して有効な恒等式 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{F_{2j}^2 L_{4jr+2j}}{F_{4jr+2j}^2}\right) = \tan^{-1}\left(\frac{1}{L_{2j}}\right)$ を導出する。
• また、$\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{L_{4r-2}}{F_{4r-2}^2}\right) = \frac{\pi}{2}$ を確立し、$\pi/2$ に収束する顕著な特殊値を示す。
• 恒等式 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{\sqrt{3}L_{2r}}{L_{4r}}\right) = \frac{\pi}{3}$ を特殊ケースとして導出する。
• 本稿では、$\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{1}{5} \frac{L_{2r}}{F_{2r}^2}\right) = \frac{\pi}{4}$ を証明し、顕著な定数和の結果を示す。
• さらに、$\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{\sqrt{5} F_{2r-1}}{L_{2r-1}^2}\right) = \frac{\pi}{2}$ を示し、別の正確な定数和恒等式を提示する。
• 極限 $\lim_{j \to \infty} \sum_{r=1}^{\infty} \tan^{-1}\left(\frac{F_{4j}}{F_{4jr+2k-1}}\right) = \tan^{-1}(\phi^{-(2k-1)})$ を導出し、級数が黄金比と関連することを示す。