On the Ratat-Goormaghtigh equation and integer points close to the graph of a smooth function

基本信息

• 论文ID: 2510.11252
• 标题: On the Ratat-Goormaghtigh equation and integer points close to the graph of a smooth function
• 作者: Tomohiro Yamada (大阪大学日本语言文化中心)
• 分类: math.NT (数论)
• 发表时间: 2025年10月13日
• 论文链接: https://arxiv.org/abs/2510.11252

摘要

本文证明了对于给定整数$N$，丢番图方程$(x^m-1)/(x-1)=N$在$x,m\geq 2$条件下的整数解中，除最小的$x$外，所有解的倒数$1/x$之和小于5.9037。当限制$x$为素数时，该和小于0.73194。

研究背景与动机

问题起源

本研究源于著名的Ratat-Goormaghtigh方程： $N = \frac{x^m-1}{x-1} = \frac{y^n-1}{y-1}$ 其中$x,y\geq 2$，$m,n\geq 3$为整数。

该方程有着悠久的历史：

1. Ratat (1916) 发现解$(x,m,y,n,N) = (2,5,5,3,31)$
2. Goormaghtigh (1917) 发现另一解$(x,m,y,n,N) = (2,13,90,3,8191)$
3. 现在猜想这是仅有的两个解

研究动机

虽然完整的Ratat-Goormaghtigh方程研究困难，但单个方程$(x^m-1)/(x-1) = N$的解分布问题同样重要且更易处理。已知结果包括：

• Loxton: 解的个数至多为$\log^{1/2+o(1)} N$
• Luca: 当$x$为素数时，解的个数有更精确的上界

创新之处

本文采用几何方法，将问题转化为研究光滑函数图像附近的整点分布，这与Luca等人的算术方法形成对比。

核心贡献

1. 主要定理1: 证明了除最小解外，所有解的倒数和$\sum_{i\geq 2} \frac{1}{x_i} < 5.9037$
2. 主要定理2: 当限制$x$为素数时，倒数和$\sum_{i\geq 2} \frac{1}{q_i} < 0.73194$
3. 渐近性质: 证明了当$N\to\infty$时，倒数和趋于0
4. 方法创新: 建立了丢番图方程与光滑函数附近整点计数的联系

方法详解

任务定义

给定正整数$N$，寻找所有满足$(x^m-1)/(x-1) = N$的整数对$(x,m)$，其中$x\geq 2$，$m\geq 2$。

核心思想转换

通过对数变换将原方程转化为： $m \log x - \log(x-1) - \log N = \log\left(\frac{x^m}{x^m-1}\right)$

这导出关键不等式： $0 < m - f_N(x) < \frac{1}{N\log x}$ 其中 $f_N(x) = \frac{\log N + \log(x-1)}{\log x}$

几何化方法

将问题转化为研究集合： $\left\{x \in \mathbb{Z}_{\geq 2} : \|f_N(x)\| < \frac{1}{N\log x}\right\}$ 其中$\|t\|$表示$t$到最近整数的距离。

技术工具

1. 光滑函数附近整点计数

使用Huxley等人的结果（引理2.1）： 对于$k$阶可导函数$f$，如果$k$阶导数满足$\lambda \leq |f^{(k)}(x)| \leq c\lambda$，则 $R(f,M,\delta) \leq \alpha M\lambda^{2/(k^2+k)} + 4k$

2. 对数线性型下界

使用Matveev定理获得第二小解$x_2$的下界： $x_2 > \log^{0.33479} N$

3. 函数$f_N(x)$的分析

详细计算$f_N^{(k)}(x)$的表达式和估计： $f_N^{(k)}(x) = \frac{(-1)^k}{\log^{k+1} x}\left(P_{k,k}(\log x)\frac{\log N + \log(x-1)}{x^k} - \sum_{r=1}^k \frac{P_{k,r}(\log x)}{x^r(x-1)^{k-r}}\right)$

实验设置

数值计算策略

1. 分区间处理: 根据$N$的大小选择不同的$k$值优化估计
2. 常数优化: 通过数值计算确定最优常数$C_k$、$\gamma_k$、$\tau_k$
3. 边界情况: 特别处理$N < 10^{100000}$的小值情况

参数选择

• 对于不同的$k = 1,2,\ldots,6$，选择$M_k = \min\{2^n M_6 : 2^n M_6 \geq \log^{2/k} N\}$
• $M_6 = \min\{10^5, \log^{0.33479} N\}$

实验结果

主要结果

定理1.1: $\sum_{i\geq 2} \frac{1}{x_i} < 5.9037$

定理1.2: 当$x$限制为素数时， $\sum_{i\geq 2} \frac{1}{q_i} < 0.73194$$\prod_{i\geq 2} \frac{q_i}{q_i-1} < 2.07913$

技术估计

通过精细分析得到关键常数表：

渐近行为

证明了$\sum_{i\geq 2} \frac{1}{x_i} \to 0$当$N \to \infty$。

相关工作

历史发展

1. 经典结果: Ratat-Goormaghtigh猜想的历史
2. 现代进展:
   • Loxton的一般上界
   • Luca的素数情形结果
   • Bennett等人的小参数情形

方法对比

• 算术方法: Luca使用初等数论和筛法
• 几何方法: 本文使用光滑函数附近整点计数
• 解析方法: 使用对数线性型的下界估计

结论与讨论

主要结论

1. 给出了Ratat-Goormaghtigh方程单边情形解分布的显式数值界
2. 证明了解的倒数和的有界性和渐近性质
3. 建立了丢番图方程与几何整点计数的新联系

局限性

1. 常数5.9037可能不是最优的
2. 方法主要适用于形如$(x^m-1)/(x-1) = N$的特定方程
3. 对于一般的指数丢番图方程推广性有限

未来方向

1. 改进常数界
2. 推广到更一般的指数丢番图方程
3. 研究多变量情形

深度评价

优点

1. 方法创新: 几何化处理丢番图方程的新思路
2. 结果精确: 给出显式的数值常数
3. 技术严谨: 详细的函数分析和误差估计
4. 理论完整: 从方法到应用的完整理论框架

不足

1. 计算复杂: 涉及大量数值计算和案例分析
2. 常数优化: 某些常数可能还有改进空间
3. 推广性: 方法的一般化程度有限

影响力

1. 理论贡献: 为丢番图方程研究提供新视角
2. 技术价值: 整点计数方法的新应用
3. 实用性: 为相关问题提供具体的数值界

适用场景

1. 指数丢番图方程的解分布研究
2. 光滑函数附近整点计数问题
3. 数论中的显式估计问题

参考文献

论文引用了该领域的重要文献，包括Matveev的对数线性型理论、Huxley的整点计数结果、以及Luca和Bennett等人在Ratat-Goormaghtigh方程方面的最新进展。

技术要点总结： 本文通过巧妙的对数变换将丢番图方程问题转化为光滑函数图像附近的整点分布问题，使用现代解析数论中的整点计数理论和对数线性型下界估计，获得了该经典问题的精确数值结果。这种几何化的处理方法为相关丢番图方程研究开辟了新的技术路径。