[论文解读] Small prime solutions to cubic Diophantine equations

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

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

一句话总结

本文利用 Hardy-Littlewood 圆法，建立了形如 $\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$ 表示。
• 将 Hardy-Littlewood 圆法应用于具有非全同符号系数和正系数的三次型。

提出的方法

• 应用 Hardy-Littlewood 圆法分析三次型的奇异级数与奇异积分。
• 通过特征和估计与渐近公式构造处理主弧。
• 利用指数和估计与分部求和法估计小弧贡献。
• 使用大筛法与 Hölder 不等式控制小弧分析中的误差项。
• 结合素数定理与 von Mangoldt 函数的界，估计解的数量。
• 通过比较主项与误差项大小推导界限，尤其针对系数不全为正的情形。

实验结果

研究问题

• RQ1 当系数 $a_j$ 不全同号时，三次丢番图方程 $\sum_{j=1}^9 a_j p_j^3 = n$ 在何种条件下存在素数解？
• RQ2 对于混合符号系数，素数解 $p_j$ 大小的最优上界在 $n$ 和 $\max\{|a_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] 对第九个变量的结果。
• 分析表明，当 $n$ 相对于系数足够大时，误差项大小由主项主导，从而确保解的存在性。