[論文レビュー] Applications of some exponential sums on prime powers: a survey

Alessandro Languasco|arXiv (Cornell University)|Jun 2, 2016

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

ひとこと要約

本稿では、標準的な三角関数和 $S_{\ell}(\alpha)$ の代わりにラプラス重み付き指数和 $\widetilde{S}_{\ell}(\alpha) = \sum_{n=1}^{\infty} \Lambda(n) e^{-n^{\ell}/N} e(n^{\ell}\alpha)$ を用いたハーディー＝リトルウッドの円周法の洗練された応用を提示する。この手法により、素数および素数冪を含む加法的問題における漸近公式の誤差項が鋭く抑えられる。主な貢献は、リーマン仮説の下でも、あるいは無条件でも、ゴールドバッハ型問題やワーリング＝ゴールドバッハ問題の文脈において、誤差項が $\mathcal{O}_k(N)$ に改善されることである。これは、従来の $\mathcal{O}_k(N^{1/2})$ よりも明確に優れている。

ABSTRACT

A survey paper on some recent results on additive problems with prime powers.

研究の動機と目的

• 円周法における生成関数の再定義により、素数および素数冪を含む加法的問題における漸近公式の誤差項を改善すること。
• 短区間および平均化問題の文脈において、$\widetilde{S}_{\ell}(\alpha)$ が古典的 $S_{\ell}(\alpha)$ より優れていることを正当化すること。
• Languasco-Zaccagnini (2018, 2020) の先行研究における誤った誤差項を、ゼータ関数の零点およびベッセル関数を含む積分表現の収束を厳密に分析することで是正すること。
• ゴールドバッハ問題およびハーディー＝リトルウッド問題の文脈において、リーマンゼータ関数の非自明な零点、ガンマ関数、ベッセル関数を含む漸近公式を確立すること。
• パラメータ $k>1$ のセザロ平均化が、ゴールドバッハ問題の文脈において特に顕著に誤差項を改善することを示すこと。

提案手法

• 標準的な三角関数和の代わりに、$\widetilde{S}_{\ell}(\alpha) = \sum_{n=1}^{\infty} \Lambda(n) e^{-n^{\ell}/N} e(n^{\ell}\alpha)$ として定義されるラプラス変換された指数和を、円周法における生成関数として用いる。
• 元来のハーディー＝リトルウッドの円周法の枠組みを応用し、リーマンゼータ関数の非自明な零点 $\rho = 1/2 + i\gamma$ を含む漸近公式を導出する。
• カウント関数の滑らか化と誤差項の制御向上を目的として、セザロ（リエス）重み $\frac{(1 - n/N)^k}{\Gamma(k+1)}$ を用いる。
• ガンマ関数およびベッセル関数 $J_\nu(u)$ を含む積分表現を用いて、漸近展開における2次項を表現する。
• ベッセル関数のソニネ積分表現を応用し、ゼータ関数の零点寄与に由来する振動的積分を推定する。
• 置換 $u = \ell^2 / (N y^2)$ を用い、$\Gamma(\rho)$ および $\sum_{\rho} \Gamma(\rho) z^{-\rho}$ の有界性を用いて、複素積分を厳密に評価し、誤差項を制御する。

実験結果

リサーチクエスチョン

• RQ1 なぜ短区間加法的問題において、ラプラス重み付き和 $\widetilde{S}_{\ell}(\alpha)$ を用いることで、古典的 $S_{\ell}(\alpha)$ よりも鋭い誤差項が得られるのか？
• RQ2 パラメータ $k>1$ を持つ重み付きゴールドバッハ問題の漸近公式における正しい誤差項は何か？
• RQ3 リーマンゼータ関数の非自明な零点の寄与は、整数が素数または素数冪の和として表される方法の数の漸近的挙動にどのように影響するか？
• RQ4 セザロ平均化を用いることで、標準的手法で達成可能な範囲を超えて、ゴールドバッハ問題における誤差項を改善できるか？
• RQ5 積分表現における誤った誤差項見積もりのため、先行研究（Languasco-Zaccagnini, 2018, 2020）で修正が必要な点は何か？

主な発見

• ゴールドバッハ問題において、リーマン仮説の下で、和 $\sum_{n=1}^N R_G(n)$ は誤差項 $\mathcal{O}(N \log^3 N)$ を持つ漸近公式に従い、Bhowmik & Schlage-Puchta の $\mathcal{O}(N \log^5 N)$ よりも改善されている。
• セザロ重み付きゴールドバッハ和 $\sum_{n \leq N} R_G(n) \frac{(1 - n/N)^k}{\Gamma(k+1)}$ は、$\Gamma(\rho)$、$\Gamma(\rho_1 + \rho_2 + k + 1)$、ゼータ関数の零点を含む漸近展開を有し、$k > 1$ の場合に誤差項 $\mathcal{O}_k(N)$ を達成する。
• Languasco-Zaccagnini (2020) の定理2.2における誤差項は、元々の $\mathcal{O}_k(N^{1/2})$ ではなく、修正後は $\mathcal{O}_k(N)$ である。
• ハリー＝リトルウッド問題（素数＋平方数）において、重み付き和 $\sum_{n \leq N} R_{\text{HL}}(n) \frac{(1 - n/N)^k}{\Gamma(k+1)}$ は、$\Gamma(\rho)$、ベッセル関数 $J_{k+3/2}(2\pi\ell N^{1/2})$、ゼータ関数の零点を含む漸近公式を持ち、誤差項は $\mathcal{O}_k(N^{1/2})$ である。
• Languasco-Zaccagnini (2018) の定理2.3における誤差項は、元々の $\mathcal{O}_k(1)$ ではなく、修正後は $\mathcal{O}_k(N^{1/2})$ である。この修正は、$E(y,a)$ および $|e^{Nz}|$ を含む積分のより注意深い分析に起因する。
• 積分 $\int_{(1/N)} |E(y,1/N)| |e^{Nz}| |z|^{-k-1} |dz|$ の収束が $\ll_k N^{k+1}$ であることが示され、主な漸近公式における誤差項の改善が正当化される。