[论文解读] A Diophantine problem with prime variables

Alessandro Languasco, Alessandro Zaccagnini|arXiv (Cornell University)|Jun 1, 2012

Analytic Number Theory Research参考文献 12被引用 7

一句话总结

本文研究了实数被素数及其素数幂的线性组合逼近的问题，具体形式为 $\lambda_1 p_1 + \lambda_2 p_2 + \lambda_3 p_3^k$，其中 $1 < k < 4/3$，$\lambda_1, \lambda_2, \lambda_3$ 为非零实数，且不全同号，且 $\lambda_1/\lambda_2$ 为无理数。通过使用圆法的变体及指数和估计，作者证明了对于无穷多组素数三元组，该形式可将任意实数 $\varpi$ 逼近到 $O(\max p_j)^{3/10 - 2/(5k) + \varepsilon}$ 的误差范围内。

ABSTRACT

We study the distribution of the values of the form $λ_1 p_1 + λ_2 p_2 + λ_3 p_3^k$, where $λ_1$, $λ_2$ and $λ_3$ are non-zero real number not all of the same sign, with $λ_1 / λ_2$ irrational, and $p_1$, $p_2$ and $p_3$ are prime numbers. We prove that, when $1 &lt; k &lt; 4 / 3$, these value approximate rather closely any prescribed real number.

研究动机与目标

• 研究当 $1 < k < 4/3$ 时，丢番图形式 $\lambda_1 p_1 + \lambda_2 p_2 + \lambda_3 p_3^k$ 在实直线上取值的稠密性。
• 确定不等式 $|\lambda_1 p_1 + \lambda_2 p_2 + \lambda_3 p_3^k - \varpi| \leq \eta$ 对无穷多组素数有解的最优误差率 $\eta$。
• 通过引入无理性条件与符号条件，将先前关于非整数指数下素数线性形式的研究结果加以推广，以确保实现完全逼近。
• 建立一个依赖于素数大小与指数 $k$ 的逼近误差的定量上界。

提出的方法

• 作者采用由 Davenport 和 Heilbronn 发展的圆法变体，并将其适配于非整数指数与实系数的情形。
• 他们定义了关于素数 $k$ 次幂的指数和 $S_k(\alpha) = \sum_{\delta X \leq p^k \leq X} \log p \cdot e(p^k \alpha)$ 以及关于整数 $k$ 次幂的 $U_k(\alpha)$。
• 证明过程将圆周划分为主要弧、次要弧 ($\mathfrak{m}$) 和平凡弧 ($\mathfrak{t}$)，并分别估计其对指数和乘积积分的贡献。
• 关键估计依赖于指数和的 $L^2$-平均值以及广义 Selberg 积分，其界通过素数定理与 $L^2$-范数估计推导得出。
• 通过柯西-施瓦茨不等式比较 $|S_1(\lambda_1\alpha)|$ 与 $|S_1(\lambda_2\alpha)|$，利用 $\lambda_1/\lambda_2$ 的无理性来控制次要弧的贡献。
• 通过选取 $R = \eta^{-2}(\log X)^{3/2}$ 控制平凡弧，确保尾部积分足够快地衰减。

实验结果

研究问题

• RQ1 对于哪些 $k \in (1, 4/3)$ 的取值，形式 $\lambda_1 p_1 + \lambda_2 p_2 + \lambda_3 p_3^k$ 能够以任意小的误差逼近任意实数 $\varpi$？
• RQ2 不等式 $|\lambda_1 p_1 + \lambda_2 p_2 + \lambda_3 p_3^k - \varpi| \leq \eta$ 对无穷多组素数有解的最优误差率 $\eta$ 是多少？
• RQ3 系数 $\lambda_1/\lambda_2$ 的无理性以及 $\lambda_1, \lambda_2, \lambda_3$ 的符号混合性如何影响逼近质量？
• RQ4 圆法能否被适配以处理含素数变量的非整数指数丢番图形式？

主要发现

• 对于所有 $1 < k < 4/3$，形式 $\lambda_1 p_1 + \lambda_2 p_2 + \lambda_3 p_3^k$ 可将任意实数 $\varpi$ 逼近到 $O(\max p_j)^{3/10 - 2/(5k) + \varepsilon}$ 的误差范围内。
• 误差界为 $\eta = O(\max p_j)^{3/10 - 2/(5k) + \varepsilon}$，且该界对无穷多组素数三元组 $p_1, p_2, p_3$ 成立。
• 无理数 $\lambda_1/\lambda_2$ 与系数 $\lambda_1, \lambda_2, \lambda_3$ 的符号混合条件对于避免逼近至 $\mathbb{R}$ 的真子集而言至关重要。
• 即使当 $k$ 接近 $4/3$ 时，该方法仍能给出非平凡的误差率，显示出圆方法在此参数区间的鲁棒性。
• 该结果改进了文献中针对类似非整数指数形式的先前误差界，尤其在 $k \in (1, 4/3)$ 范围内。