[論文レビュー] 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}$ の正の整数解の個数 $f(p)$ の分布を研究し、和 $\sum_{p \leq N} f(p)$ の漸近的評価を与える。その結果、$N \log^2 N$ のオーダーで成長することが示され、対数的要因を除いて成立する。主な結果は、ほとんどすべての素数において $f(p)$ が比較的小さく、統計的にエドーシュ＝ストロウズ予想が成立することを示唆する。

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$.

研究の動機と目的

• 素数 $p$ に対してディオファントス方程式 $\frac{4}{p} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ の解の個数 $f(p)$ の分布と成長を理解すること。
• $N \to \infty$ のときの和 $\sum_{p \leq N} f(p)$ の漸近的上界および下界を確立すること。
• 特にエドーシュ＝ストロウズ予想に関連して、素数 $p$ に対して $f(p)$ の典型的な大きさを分析すること。
• 個々の素数 $p$ に対して $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}$ の解の構造を分析すること。
• 小整数を法とする解の個数を制御するために、スieve法および指標和の推定を適用すること。
• 素数定理を用いて、素数上の $f(p)$ の平均サイズと和 $\sum_{p \leq N} f(p)$ の漸近的成長を関連させること。
• dyadic分解と平均化の議論を用いて、和の上界および下界を導出すること。
• 3項加法的問題および有理ディオファントス方程式の理論を用いて、表現の個数を評価すること。
• 数の幾何学の解析と算術的等差数列内の解の個数を調べることで、$f(p)$ の個別的な境界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 $N \to \infty$ のとき、和 $\sum_{p \leq N} f(p)$ の漸近的成長率はいかほどか？
• RQ2 平均的またはほとんど everywhere の観点で、典型的な素数 $p$ に対して $f(p)$ はどの程度の大きさか？
• RQ3 真のオーダーを反映する非自明な上界および下界を、和 $\sum_{p \leq N} f(p)$ に対して確立できるか？
• RQ4 個々の素数 $p$ に対して、$f(p)$ の最良の点ごとの境界は何か？
• RQ5 素数全体にわたるエドーシュ＝ストロウズ方程式の解の分布は、平均的にどのように振る舞うか？

主な発見

• 和 $\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)$ を満たし、非自明な点ごとの境界を与える。
• 和の上界および下界から、素数1つあたりの平均解の個数が $\log^2 N$ のオーダーで増加することが示され、緩やかだが非自明な成長が確認される。
• 結果は、エドーシュ＝ストロウズ予想が統計的に妥当であることを示唆しており、大多数の素数が少数の正の解を持つからである。
• 境界 $f(p) \ll p^{3/5}$ は自明な推定を上回り、大きな素数では解の個数が疎らであることを反映している。