arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0907.1356math.NTcs.NAmath.CAmath.NA
收藏

使用连分数重新审视 Erdős--Moser 方程 $1^k+2^k+...+(m-1)^k=m^k$

The Erdős--Moser equation $1^k+2^k+...+(m-1)^k=m^k$ revisited using continued fractions

Max-Planck-Institut für Mathematik(马克斯·普朗克数学研究所);University of Newcastle(纽卡斯尔大学)

Yves Gallot, Pieter Moree, Wadim Zudilin

AI总结:

通过证明 $2k/(2m-3)$ 是 $\log2$ 的一个渐近分数,并计算 $(\log2)/N$ 的大量连分数位数,将 Erdős--Moser 方程的解的下界从 $m>10^{9.3\cdot10^6}$ 提升到 $m>10^{10^9}$。

摘要:

如果标题中的方程存在 $k\ge2$ 的整数解,那么 $m>10^{9.3\cdot10^6}$。这是当前最佳结果,并且是通过 L. Moser (1953) 的方法证明的。这种方法无法改进以达到基准 $m>10^{10^7}$。这里我们通过证明 $2k/(2m-3)$ 是 $\log2$ 的一个渐近分数,并计算 $(\log2)/N$ 的大量连分数位数(其中 $N$ 是适当的整数),实现了 $m>10^{10^9}$。这种方法与 Moser 的方法截然不同。实际上,我们的结果似乎提供了数值常数的大规模计算具有应用的极少数实例之一。

英文摘要:

If the equation of the title has an integer solution with $k\ge2$, then $m>10^{9.3\cdot10^6}$. This was the current best result and proved using a method due to L. Moser (1953). This approach cannot be improved to reach the benchmark $m>10^{10^7}$. Here we achieve $m>10^{10^9}$ by showing that $2k/(2m-3)$ is a convergent of $\log2$ and making an extensive continued fraction digits calculation of $(\log2)/N$, with $N$ an appropriate integer. This method is very different from that of Moser. Indeed, our result seems to give one of very few instances where a large scale computation of a numerical constant has an application.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑