[论文解读] A Survey on the Ternary Purely Exponential Diophantine Equation $a^x + b^y = c^z$

LE Mao-hua, Reese Scott+1 more|arXiv (Cornell University)|Aug 20, 2018

Algebraic Geometry and Number Theory参考文献 85被引用 8

一句话总结

本综述全面回顾了固定互素正整数 $a$、$b$、$c$ 满足 $\min\{a,b,c\} > 1$ 的三元纯指数丢番图方程 $a^x + b^y = c^z$。它综合了近期关于解的界、Jeśmanowicz 与 Terai-Jeśmanowicz 猜想以及解唯一性的研究成果，证明当 $c \equiv 1 \pmod{2}$ 时 $N(a,b,c) \leq 2$，且当 $\max\{a,b,c\}$ 足够大时 $N(a,b,c) \leq 3$，并在特定条件下进一步优化了这些界。

ABSTRACT

Let $a$, $b$, $c$ be fixed coprime positive integers with $\min\{a,b,c\}>1$. In this survey, we consider some unsolved problems and related works concerning the positive integer solutions $(x,y,z)$ of the ternary purely exponential diophantine equation $a^x + b^y = c^z$.

研究动机与目标

• 整合并组织现有关于固定互素基 $a$、$b$、$c$ 满足 $\min\{a,b,c\} > 1$ 的三元纯指数丢番图方程 $a^x + b^y = c^z$ 的研究成果。
• 澄清并统一 Terai-Jeśmanowicz 猜想的表述及其与 Jeśmanowicz 猜想的关系。
• 提供 $N(a,b,c)$ 解数的最新有效上界，尤其在奇偶性分类分析与对数界下的结果。
• 呈现近期结果：当 $c \equiv 1 \pmod{2}$ 时 $N(a,b,c) \leq 2$；当 $\max\{a,b,c\} > 5 \times 10^{27}$ 时 $N(a,b,c) \leq 3$，并在特定条件下获得更强的界。
• 突出开放问题与猜想，包括 Miyazaki 对 Terai-Jeśmanowicz 猜想的变体（shuffle variant），并通过结构化概述引导未来研究。

提出的方法

• 应用 $p$-进对数方法与对数线性型，推导出 $\max\{x,y,z\}$ 的有效上界，将先前结果改进为 $\max\{x,y,z\} < 6500(\log(\max\{a,b,c\}))^3$。
• 利用奇偶性类分解（I–IV）分析解的结构，实现对每类解数的约束。
• 利用有效界 $z < \frac{1}{2}ab$（当 $c \equiv 1 \pmod{2}$ 时）来限制解空间并减少解的数量。
• 结合初等方法与对数界，证明当 $\max\{a,b,c\} > 5 \times 10^{27}$ 时 $N(a,b,c) \leq 3$，且当 $2 \mid c$ 且 $\max\{a,b,c\} \geq 10^{62}$ 时 $N(a,b,c) \leq 2$，在特定条件下成立。
• 系统性地回顾并比较特殊族（如毕达哥拉斯三元组、斐波那契数列、参数族）的已知结果，以识别解的唯一性。

实验结果

研究问题

• RQ1 对于固定互素 $a,b,c$ 满足 $\min\{a,b,c\} > 1$，方程 $a^x + b^y = c^z$ 的解 $(x,y,z)$ 的当前最佳有效上界是什么？
• RQ2 在何种条件下方程 $a^x + b^y = c^z$ 的解至多只有一个？这与 Terai-Jeśmanowicz 猜想和 Jeśmanowicz 猜想有何关联？
• RQ3 当 $c \equiv 1 \pmod{2}$ 时，是否可以独立于 $c$ 对解数进行有界？目前已知的最佳此类界是什么？
• RQ4 参数族（如 $a=f$，$b=3f^2-1$，$c=4f^2-1$）与序列（如斐波那契数列及广义斐波那契数列）如何影响解的唯一性？
• RQ5 Miyazaki 对 Terai-Jeśmanowicz 猜想的 shuffle 变体是否普遍成立？目前在证明方面取得了哪些进展？

主要发现

• 当 $c \equiv 1 \pmod{2}$ 时，解数 $N(a,b,c)$ 至多为 2，由 Scott 和 Styer 证明，优于早期的 $2^{\omega(c)+1}$ 界。
• Hu 和 Le 建立了 $\max\{x,y,z\} < 6500(\log(\max\{a,b,c\}))^3$ 的界，相较于先前估计有显著改进。
• 当 $\max\{a,b,c\} > 5 \times 10^{27}$ 时，解数 $N(a,b,c)$ 至多为 3；当 $2 \mid c$ 且 $\max\{a,b,c\} \geq 10^{62}$ 时，$N(a,b,c) \leq 2$，在特定条件下成立。
• 对于参数族 $(a,b,c) = (f, 3f^2-1, 4f^2-1)$，方程有唯一解 $(x,y,z) = (2,1,1)$，该结果由 Chen 和 He-Togbé 独立确认。
• 对于基于斐波那契数列的情形 $(a,b,c) = (F_k, F_{k+1}, F_{2k+1})$ 且 $k \geq 3$，Miyazaki 证实了 Terai 的猜想：仅存在一个解 $(x,y,z) = (2,2,1)$。
• Miyazaki 证明了其 shuffle 变体在 $q = r = 2$ 且 $b+1 = c$ 时成立，即在此条件下方程 $c^X + b^Y = a^Z$ 仅有解 $(X,Y,Z) = (1,1,p)$。