[論文レビュー] Small prime solutions to cubic Diophantine equations

Desmond W. Leung|ArXiv.org|Oct 24, 2006

Analytic Number Theory Research参考文献 23被引用数 5

ひとこと要約

この論文は、ハリー＝リトルウッドの円周法を用いて、形式 $\sum_{j=1}^9 a_j p_j^3 = n$ の立方不定方程式に対する小さい素数解の上限を確立する。係数がすべて同じ符号を持たない場合、$p_j \ll n^{1/3} + \max\{|a_j|\}^{20+\epsilon}$ を満たす解が存在することを証明する。すべての係数が正で $n$ が十分に大きい（$n \gg \max\{|a_j|\}^{61+\epsilon}$）場合、素数解が存在する。

ABSTRACT

Let a1,..., a9 be non-zero integers and n any integer. Suppose that a1 + ... + a9 = n (mod 2) and (ai, aj) = 1 for 1 <= i < j <= 9. We will prove that (i) if not all of the aj's are of the same sign, then the cubic diagonal equation a1p1^3 + ... + a9p9^3 = n has prime solutions satisfying pj << n^{1/3} + max{|aj|}^{20+ e}; and (ii) if all aj are positive and n >> max{|aj|}^{61+e}, then the cubic diagonal equation a1p1^3 + ... + a9p9^3 = n is soluble in primes pj. This result is motivated from the analogous result for quadratic diagonal equations by S.K.K. Choi and J. Liu. To prove the results we will use the Hardy-Littlewood Circle method, which we will outline. Lastly, we will make a note on some possible generalizations to this particular problem.

研究の動機と目的

• Waring-Goldbach問題を小さい素数解を伴う立方形式へ拡張すること。
• 立方方程式 $\sum_{j=1}^9 a_j p_j^3 = n$ が素数解をもつための条件を特定すること。
• 解の素数 $p_j$ の大きさに関する、$n$ と係数 $a_j$ を用いた有効な上界を確立すること。
• 符号が異なる係数や正の係数をもつ立方形式に対して、ハリー＝リトルウッドの円周法を適用すること。

提案手法

• 立方形式の特異級数と特異積分を分析するため、ハリー＝リトルウッドの円周法の応用。
• 主要領域の取り扱いは、指標和の推定と漸近公式の構成による。
• 微小領域の寄与の推定には、指数和の評価と部分和法を用いる。
• 微小領域解析における誤差項を制御するために、大スクリーブとホルダーの不等式を用いる。
• 素数定理とvon Mangoldt関数の評価を組み合わせて、解の個数を推定する。
• 特に係数がすべて正でない場合に、主項と誤差項の大きさを比較することで、評価を導出する。

実験結果

リサーチクエスチョン

• RQ1 係数 $a_j$ がすべて同じ符号を持たない場合、立方不定方程式 $\sum_{j=1}^9 a_j p_j^3 = n$ が素数解をもつ条件は何か？
• RQ2 符号が混合している係数に対して、$n$ と $\max\{|a_j|\}$ を用いた素数解 $p_j$ の最良上界は何か？
• RQ3 すべての係数が正の場合、立方形式 $\sum_{j=1}^9 a_j p_j^3 = n$ に素数解が存在するための $n$ の最小サイズは何か？
• RQ4 特に微小領域解析において、円周法がこの立方形式の漸近公式における誤差項をどのように制御するか？
• RQ5 この手法は、変数の数を減らすか、関連するWaring型問題と同様に準素数解を許容するように拡張可能か？

主な発見

• 係数 $a_j$ がすべて同じ符号を持たない場合、方程式 $\sum_{j=1}^9 a_j p_j^3 = n$ は $p_j \ll n^{1/3} + \max\{|a_j|\}^{20+\epsilon}$ を満たす素数解をもつ。
• すべての $a_j$ が正で $n \gg \max\{|a_j|\}^{61+\epsilon}$ であれば、方程式は素数解をもつ。
• 解の個数の漸近公式における主項は特異級数と特異積分から得られ、誤差項は微小領域の推定によって評価される。
• 微小領域の寄与は $O\left(\frac{L^c N^{5/3 + 19/60}}{|a_1\cdots a_8|^{5/24} |a_9|^{19/60}}\right)$ と示され、$n \gg \max\{|a_j|\}^{61+\epsilon}$ のとき主項より小さくなる。
• 証明は円周法に依拠し、素数定理と指数和の評価からの結果（特に Kumchev [19] の第9変数に関する結果）を含む。
• 解析により、$n$ が係数に対して十分に大きいとき、誤差項の大きさが主項に支配され、解の存在が保証される。