この論文は、大きな素数rを法とするディリクレ指標χと、特定のディオファントス条件を満たす無理数θに対して、混合指標和 Σ_{1⩽n⩽x} χ(n)e(nθ)w(n/x) の平均サイズを考察しています。ここで、wは滑らかな関数です。
Harperの先行研究により、加法的指標を含まないディリクレ指標和 Σ_{1⩽n⩽x} χ(n) の平均サイズはo(√x)であることが示されました。これは、ランダム乗法的関数モデルにおける類似の現象と関連付けられています。本論文では、加法的指標e(nθ)を含む混合指標和の場合に、その平均サイズがどのように変化するかを調べることが目的です。
主定理として、θが特定のディオファントス条件を満たす無理数である場合、混合指標和の平均サイズは√xのオーダーであることが示されました。これは、θが有理数の場合は平均サイズがo(√x)となるHarperの結果とは対照的です。
証明は、x ⩽√rの場合と√r ⩽x ⩽rの場合に分けられます。
この場合、混合指標和の四次モーメントを直接計算することで、平均サイズが√xのオーダーであることが示されます。証明には、ランダム乗法的関数に関する先行研究の結果が用いられています。
この場合、ポアソン和公式を用いて、指標和を双対問題に変換します。これにより、ディオファントス近似と合同式を含む新しい問題に帰着されます。鳩ノ巣原理を用いることで、ディオファントス条件を満たすθに対して、この問題の解の個数が制限されることが示され、最終的に混合指標和の平均サイズが√xのオーダーであることが導かれます。
本論文は、混合指標和の平均サイズが、加法的指標e(nθ)の指数θのディオファントス近似性質に依存することを明らかにしました。今後の課題として、混合指標和の分布の決定や、より一般的なディオファントス条件下での解析などが挙げられます。
他の言語に翻訳
原文コンテンツから
arxiv.org
深掘り質問