[论文解读] On the Diophantine equation F_{n}-F_{m}=2^{a}

Zafer Şi̇ar, Refık Keskin|arXiv (Cornell University)|Dec 29, 2017

Mathematical Dynamics and Fractals被引用 9

一句话总结

本文在非负整数 $ m, n, a $ 范围内求解了丢番图方程 $ F_n - F_m = 2^a $，证明唯一解为明确列出的16组三元组。研究结合了对数线性型的下界估计与Baker-Davenport约化方法，有效界定了大解并予以消除，最终将问题简化为有限搜索，通过计算验证与理论分析确认了所有解。

ABSTRACT

In this paper, we solve Diophantine equation in the tittle in nonnegative integers m,n, and a. In order to prove our result, we use lower bounds for linear forms in logarithms and and a version of the Baker-Davenport reduction method in diophantine approximation.

研究动机与目标

• 确定丢番图方程 $ F_n - F_m = 2^a $ 在非负整数 $ (n, m, a) $ 范围内的所有解，其中 $ F_n $ 表示第 $ n $ 个斐波那契数。
• 扩展此前关于涉及斐波那契数与卢卡斯数的指数丢番图方程的研究，特别是形如 $ F_n \pm F_m = 2^a $ 的方程。
• 应用超越数论中的先进工具——具体而言，对数线性型的下界估计与Baker-Davenport约化技术——以有效界定解空间。
• 将 $ n $ 的上界从初始的指数估计值缩减至可处理的有限范围，从而实现对所有解的完整计算搜索。
• 在界定了范围后，通过分析同余条件并利用斐波那契数与卢卡斯数的性质，解决剩余情况，特别是当 $ n - m = 1, 2, 4, 12 $ 时。

提出的方法

• 利用Matveev关于对数线性型下界的定理，基于 $ 2 $、$ \alpha = (1+\sqrt{5})/2 $ 与 $ \sqrt{5} $ 的代数独立性，推导出 $ n $ 的初始上界。
• 通过引理2应用Baker-Davenport约化方法，利用 $ \gamma = \log 2 / \log \alpha $ 的连分数逼近来消除 $ n $ 与 $ n - m $ 的大值。
• 采用Binet公式 $ F_n = (\alpha^n - \beta^n)/\sqrt{5} $ 及涉及 $ |\beta| < 1 $ 的估计，对差值 $ |F_n - F_m - 2^a| $ 进行界定，导出涉及 $ \alpha^{-n} $ 与 $ \alpha^{-(n-m)} $ 的不等式。
• 利用恒等式 $ F_n - F_m = F_{(n-m)/2} L_{(n+m)/2} $ 或 $ F_{(n+m)/2} L_{(n-m)/2} $，依 $ n \equiv m \pmod{4} $ 而定，分析差值的结构。
• 应用对数高度函数 $ h(\eta) $ 界定线性型中的系数，确保下界定理的适用性。
• 迭代应用约化方法，先对 $ n - m $，再对 $ n $ 进行，逐步缩小解空间至计算上可行的范围。

实验结果

研究问题

• RQ1 方程 $ F_n - F_m = 2^a $ 在非负整数范围内的所有解 $ (n, m, a) $ 是什么？
• RQ2 能否利用分析数论工具，特别是对数线性型，有效界定解集？
• RQ3 Baker-Davenport约化方法如何应用于消除涉及斐波那契数的指数丢番图方程中的大解？
• RQ4 是否存在满足 $ n - m = 12 $ 的解？若存在，其成立条件为何？
• RQ5 卢卡斯数 $ L_k $ 的性质在决定 $ F_n - F_m = 2^a $ 的可解性中起何作用？

主要发现

• 丢番图方程 $ F_n - F_m = 2^a $ 在非负整数 $ m < n $ 与 $ a $ 范围内恰好有16组解，全部在定理5中明确列出。
• 解为 $ (n, m, a) = (1,0,0), (2,0,0), (3,0,1), (6,0,3), (3,1,0), (4,1,1), (5,1,2), (3,2,0), (4,3,0), (4,2,1), (5,2,2), (9,3,5), (5,4,1), (7,5,3), (8,5,4), (8,7,3) $。
• 首次应用Baker-Davenport约化后，$ n $ 的初始上界从 $ 2.91 \times 10^{28} $ 降低至 $ 7.56 \times 10^{15} $。
• 第二次应用约化方法后，$ n $ 的上界进一步缩减至 $ n \leq 98 $，与假设 $ n > 200 $ 矛盾，从而强制进入有限情况分析。
• 当 $ n - m = 1 $ 时，方程化为 $ 2^a = F_{m-1} $，解为 $ (3,2,0), (4,3,0), (8,7,3) $，均与已知的斐波那契数的幂一致。
• 当 $ n - m = 4 $ 时，方程变为 $ 2^a = L_{m+2} $，由于卢卡斯序列中唯一的完全幂为 $ L_1 = 1 $ 与 $ L_3 = 4 $，故唯一有效解为 $ m = 1 $，$ a = 2 $，$ n = 5 $。