[論文レビュー] Counting the number of solutions to the Erdos-Straus equation on unit fractions

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

Mathematical Dynamics and Fractals被引用数 7

ひとこと要約

この論文は、素数 $n$ に対して、Erdös-Straus のディオファントス方程式 $\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ の解の平均個数を調査する。解析的整数論およびスieve法を用いて、和 $\sum_{p \leq N} f(p)$ が漸近的に $N \log^2 N$ に比例することを示し、典型的な素数が非ゼロではあるが少数の解を持つこと、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$ に対して、ディオファントス方程式 $\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ の解の個数 $f(n)$ の平均的挙動を理解すること。
• 素数 $p$ を範囲として $\sum_{p \leq N} f(p)$ の漸近的成長を分析し、Erdös-Straus予想に証拠を提供すること。
• 解をタイプ I およびタイプ II のクラスに分解し、それらが総解数に与える寄与の上限を導出すること。
• Bombieri-Vinogradov定理やTurán-Kubilius不等式を含む、解析的整数論の高度な道具を用いて、解の分布を制御すること。

提案手法

• 著者たちは、$x,y,z$ が $n$ で割り切れるかどうかに基づいてタイプ I およびタイプ II の解を定義し、対称性を用いて $f(n)$ を $f_{\text{I}}(n)$ および $f_{\text{II}}(n)$ に結びつける。
• Brun-Titchmarsh不等式を用いて、特に小さなモジュラスの場合の算術級数内の素数の個数を上限で制御する。
• Bombieri-Vinogradov定理を用いて、$q$ を法とする剰余類内の素数個数の平均的下界を得る。
• Turán-Kubilius不等式およびBarbanの結果（加法的関数のシフトされた素数上での分布）を用いて、除数関数に類似した関数の平均的大きさを制御する。
• 乗法的整数論および指標和の推定を用いて、$\sum_{n \leq N} f_{\text{I}}(n)$ および $\sum_{n \leq N} f_{\text{II}}(n)$ の境界を確立する。
• 一般の $n$ と素数 $n$ を区別し、奇素数では $x,y,z$ の少なくとも一つが $p$ で割り切れるが、すべてが割り切れるとは限らないという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 $p \leq N$ となる素数 $p$ に対して、Erdös-Straus方程式の平均解数 $f(p)$ は何か？
• RQ2 奇素数に対して、タイプ I およびタイプ II の解は、総解数 $f(p)$ にどのように寄与するか？
• RQ3 $N \to \infty$ のとき、$\sum_{p \leq N} f(p)$ の漸近的成長率は何か？
• RQ4 Bombieri-Vinogradov定理やスieve法などの解析的整数論的手法を用いて、Erdös-Straus方程式の解数を制御できるか？
• RQ5 典型的な素数の解数は、Waringの問題のような古典的ディオファントス問題と比較してどうか？

主な発見

• 和 $\sum_{p \leq N} f(p)$ は下限で $N \log^2 N$、上限で $N \log^2 N \log \log N$ に比例しており、典型的な素数が非ゼロではあるが少数の解を持つことを示している。
• 一般の $n$ に対して、$\sum_{n \leq N} f_{\text{I}}(n)$ および $\sum_{n \leq N} f_{\text{II}}(n)$ はともに $\asymp N \log^3 N$ に比例しており、合成数 $n$ の総解数に著しい成長が見られることを示している。
• 素数に対しては、$\sum_{p \leq N} f_{\text{I}}(p)$ が $\asymp N \log^2 N$、$\sum_{p \leq N} f_{\text{II}}(p)$ が $\asymp N \log^2 N$ に比例しており、両タイプが総解数に顕著に寄与していることが確認された。
• 平均的挙動により、すべての $n \geq 2$ に対して $f(n) > 0$ であることが支持されており、解数は平均的に対数的に増加することが示された。
• 平均的には、通常の数よりも著しく多くの約数を持つ整数の影響は無視できるほど小さく、$f(n)$ が通常は小さいという直感的仮説を支持する。
• 結果として、平均解数がゆっくりではあるが正に増加することを示しており、Erdös-Straus予想に強い証拠を提供している。