[論文レビュー] A Diophantine problem with prime variables

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

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

ひとこと要約

本稿では、$1 < k < 4/3$、$λ_1, λ_2, λ_3$ がすべて同じ符号を持たない非ゼロの実数で、$λ_1/λ_2$ が無理数である条件下で、$λ_1 p_1 + λ_2 p_2 + λ_3 p_3^k$ の形の一次結合による実数の近似を研究する。円周法の変種と指数和の推定を用いて、著者らは、このような形が任意の実数 $φ$ を、$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 のとき、実数直線上におけるディオファントス形式 $λ_1 p_1 + λ_2 p_2 + λ_3 p_3^k$ の値の稠密性を調査すること。
• 不等式 $|λ_1 p_1 + λ_2 p_2 + λ_3 p_3^k - φ| \leq \eta$ が素数において無限に多くの解を持つような最適な誤差率 $\eta$ を特定すること。
• 非整数乗数を含む素数に関する線形形式の既存の結果を、無理数性と符号の違いの条件を組み合わせることで、完全な近似を保証する形に拡張すること。
• 素数の大きさと指数 $k$ に依存する近似誤差の定量的評価を確立すること。

提案手法

• 著者らは、ダヴェンポートとハイルブロンが開発した円周法の変種を用い、非整数乗数および実数係数に適応した。
• 指数和 $S_k(\alpha) = \sum_{\delta X \leq p^k \leq X} \log p \cdot e(p^k \alpha)$ および $U_k(\alpha)$ を、それぞれ $k$ 乗の素数と整数に対して定義する。
• 証明では、円周を主要領域、微小領域（$\mathfrak{m}$）、自明領域（$\mathfrak{t}$）に分割し、各領域が指数和の積の積分に与える寄与を推定する。
• 主要な推定は、指数和の $L^2$ 平均と一般化されたセルバーグ積分に依拠しており、素数定理と $L^2$ ノルム推定を用いて境界を導出する。
• 微小領域の寄与は、コーシー＝シュワルツの不等式と $|S_1(\lambda_1\alpha)|$ と $|S_1(\lambda_2\alpha)|$ の比較を用いて抑えられ、$λ_1/\lambda_2$ の無理数性が利用されている。
• 自明領域は、$R = \eta^{-2}(\log X)^{3/2}$ を選び、尾部積分が十分に速く減少することを保証することで制御される。

実験結果

リサーチクエスチョン

• RQ1 $(1, 4/3)$ 内のどの $k$ に対して、形式 $\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$ の無理数性と係数の符号の違いが近似の質にどのように影響するか？
• RQ4 円周法は、素数変数を含む非整数乗数のディオファントス形式に対応して適応可能か？

主な発見

• 形式 $\lambda_1 p_1 + \lambda_2 p_2 + \lambda_3 p_3^k$ は、すべての $1 < k < 4/3$ に対して、任意の実数 $\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)$ の場合に、非整数乗数を含む類似形式についての既存の文献の境界を改善している。