[論文レビュー] A Diophantine inequality involving different powers of primes of the form $[n^c]$

S. I. Dimitrov|arXiv (Cornell University)|Jan 14, 2026

Analytic Number Theory Research被引用数 0

ひとこと要約

要約: 本論文は、特定の無理数比とパラメータに対して、Piatetski-Shapiro 素数 p1, p2, p3 の三つ組が無限に存在し、 p_i = [n_i^{1/γ}] を満たし、線形結合 p1, p2, p3^4 を含むディオファントine 不等式を満たすことを証明する。

ABSTRACT

Let $[\, x\,]$ denote the integer part of a real number $x$. Assume that $λ_1,λ_2,λ_3$ are nonzero real numbers, not all of the same sign, that $λ_1/λ_2$ is irrational, and that $η$ is real. Let $\frac{219}{220}<γ<1$ and $θ>0$. We establish that, there exist infinitely many triples of primes $p_1,\, p_2,\, p_3$ satisfying the inequality \begin{equation*} |λ_1p_1 + λ_2p_2 + λ_3p^4_3+η|<\big(\max \{p_1, p_2, p^4_3\}\big)^{\frac{219-220γ}{208}+θ} \end{equation*} and such that $p_i=[n_i^{1/γ}]$, $i=1,\,2,\,3$.

研究の動機と目的

• p3 を 4乗した場合を含む Piatetski-Shapiro 型 γ の素数 p1, p2 の三つの素数変数を用いるディオファントine 不等式の solvability を調べる。
• λ1 p1 + λ2 p2 + λ3 p3^4 + η の線形形に対する厳密な近似を満たす p_i = [n_i^{1/γ}] の無限個の三つ組が存在することを示す。
• 混合冪不等式の文脈で k=1,2,3 に対する既存結果を k=4 に拡張する。

提案手法

• Piatetski-Shapiro 型素数を用いた不等式を円法で研究する。
• p = [n^{1/γ}] および p^4 を用いる素数に対する指数和 S_k(t) の展開と評価（S_1, S_4 および付随和を含む）。
• Γ(X) を Γ1(X), Γ2(X), Γ3(X) の三部に分解し、それぞれの下界/上界を得る。
• 滑らかな重み関数、Piatetski-Shapiro 素数の分布、指数和の平均値境界に関する補助補題を適用する。
• Γ(X) ≫ ε X^{5/4} の下界を導出して、適切な素数三つ組の無限性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 不等式 |λ1 p1 + λ2 p2 + λ3 p3^4 + η| < (max{p1, p2, p3^4})^{(219 − 220 γ)/208 + θ} を、p_i = [n_i^{1/γ}] を満たす Piatetski-Shapiro 素数 p1, p2, p3 に対して無限個解として解くことができるか。
• RQ2 上記不等式が p3 を4乗した場合で、γの範囲（1 に近い）と θ に対して無限個の素数解を持つ条件は何か。
• RQ3 円法の枠組みで、Piatetski-Shapiro 素数に対する指数和の見積りは混合冪ケース k=4 にどのように拡張されるか。
• RQ4 Γ(X) の分解における有効な誤差項と主項の寄与は、下界が成長することをどう保証するか。
• RQ5 滑らかな θ 関数と平均値見積りに関する補助補題は、主弧/副弧の寄与をどのように制御するのに寄与するか。

主な発見

• γ の範囲 (219/220, 1) にある Piatetski-Shapiro 素数 p1, p2, p3 の無限に多くの順序付けられた三つ組が、上記のディオファントine 不等式を満たすことが示される。
• 誤差項の境界は ε = X^{(219−220γ)/208 + θ} で明示的に与えられ、全体の下界 Γ(X) は ε X^{5/4} により増大する。
• 主な下界寄与 Γ1(X) は Γ1(X) ≫ ε X^{5/4} であることが、主弧/副弧の処理と平滑化後に示される。
• Γ2(X) および Γ3(X) の上界が導出され、Γ2(X) ≪ X^{(479−220γ)/208 + δ} および Γ3(X) ≪ 1、支配項が Γ1(X) から来ることを保証する。
• 本手法は、混合冪不等式における Piatetski-Shapiro 素数の k=1,2,3 の結果を k=4 に拡張する。
• 指定された γ 範囲内で、Piatetski-Shapiro 素数の混合冪に対する解可能性を確証する。