[论文解读] On the number of solutions to $\frac{4}{p}=\frac{1}{n_1}+\frac{1}{n_2}+\frac{1}{n_3}$

Terence Tao|arXiv (Cornell University)|Jul 6, 2011

Analytic Number Theory Research被引用 1

一句话总结

本文研究了素数 $p$ 的丢番图方程 $\frac{4}{p} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ 的正整数解的个数，建立了求和 $\sum_{p \leq N} f(p)$ 的渐近界，表明其增长为 $N \log^2 N$，忽略对数因子。关键结果表明，对几乎所有素数，$f(p)$ 相对较小，从统计意义上支持了 Erdős-Straus 猜想。

ABSTRACT

For any positive integer $n$, let $f(n)$ denote the number of solutions to the Diophantine equation $\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ with $x,y,z$ positive integers. The \emph{Erdős-Straus conjecture} asserts that $f(n) > 0$ for every $n \geq 2$. To solve this conjecture, it suffices without loss of generality to consider the case when $n$ is a prime $p$. In this paper we consider the question of bounding the sum $\sum_{p<N} f(p)$ asymptotically as $N o \infty$, where $p$ ranges over primes. Our main result establishes the asymptotic upper and lower bounds $$ N \log^2 N \ll \sum_{p \leq N} f(p) \ll N \log^2 N \log \log N.$$ In particular, from this bound and the prime number theorem we have $f(p) = O(\log^3 p \log \log p)$ for a subset of primes of density arbitrarily close to 1; thus a typical prime has a relatively small number of solutions to the Erdős-Straus Diophantine equation. We also establish some related results on $f$ and related quantities, for instance establishing the bound $f(p) \ll p^{3/5} + O(\frac{1}{\log\log p})}$ for all primes $p$.

研究动机与目标

• 理解丢番图方程 $\frac{4}{p} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ 在素数 $p$ 下解的个数 $f(p)$ 的分布与增长规律。
• 在 $N \to \infty$ 时，为求和 $\sum_{p \leq N} f(p)$ 建立渐近上界和下界。
• 分析素数 $p$ 下 $f(p)$ 的典型大小，特别是与 Erdős-Straus 猜想的关系。
• 为单个素数导出 $f(p)$ 的定量界，包括形如 $f(p) \ll p^{3/5} + O(1/\log\log p)$ 的界。

提出的方法

• 使用数论技巧和丢番图逼近分析 $\frac{4}{p} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ 的解的结构。
• 应用筛法和特征和估计控制模小整数的解的个数。
• 利用素数定理将素数上 $f(p)$ 的平均大小与求和 $\sum_{p \leq N} f(p)$ 的渐近增长联系起来。
• 通过二分分解和平均论证推导求和的上下界。
• 运用三元加法问题和有理丢番图方程的理论来界定向量表示的个数。
• 通过分析数的几何和算术级数中的解计数，推导出 $f(p)$ 的个体界。

实验结果

研究问题

• RQ1 当 $N \to \infty$ 时，求和 $\sum_{p \leq N} f(p)$ 的渐近增长速率是什么？
• RQ2 在平均或渐近几乎处处的意义下，$f(p)$ 对于典型素数 $p$ 的大小如何？
• RQ3 我们能否建立非平凡的上下界，以反映求和的真实数量级？
• RQ4 对单个素数 $p$，$f(p)$ 的最佳可能点态界是什么？
• RQ5 Erdős-Straus 方程的解在素数上的平均分布行为如何？

主要发现

• 求和 $\sum_{p \leq N} f(p)$ 满足渐近界 $N \log^2 N \ll \sum_{p \leq N} f(p) \ll N \log^2 N \log \log N$。
• 由求和界和素数定理可得，对密度任意接近 1 的素数子集，有 $f(p) = O(\log^3 p \log \log p)$。
• 对所有素数 $p$，解的个数满足 $f(p) \ll p^{3/5} + O(1/\log\log p)$，提供了非平凡的点态界。
• 求和的上下界表明，每个素数的平均解数增长类似于 $\log^2 N$，表明其增长缓慢但非平凡。
• 结果表明 Erdős-Straus 猜想在统计上是合理的，因为大多数素数具有少量但正数的解。
• 界 $f(p) \ll p^{3/5}$ 比平凡估计更强，反映了大素数下解的稀疏性。