[論文レビュー] Counting numbers in multiplicative sets: Landau versus Ramanujan

Pieter Moree|arXiv (Cornell University)|Oct 4, 2011

Analytic Number Theory Research参考文献 21被引用数 5

ひとこと要約

この論文は、特に二乗和の集合を含む乗法的集合における整数の個数を数える際、ランダウとラマヌジャンの漸近的近似を比較している。Euler-Kronecker定数 $\gamma_S < 1/2$ のとき、ラマヌジャンの近似が漸近的にランダウの近似よりも優れていることが示され、逆に $\gamma_S > 1/2$ のときはランダウの近似が優れている。この関係は、Dirichlet級数と対数積分を通じて、集合の算術的性質と近似の精度を結びつける。

ABSTRACT

A set S of integers is said to be multiplicative if for every pair m and n of coprime integers we have that mn is in S iff both m and n are in S. Both Landau and Ramanujan gave approximations to S(x), the number of n&lt;=x that are in S, for specific choices of S. The asymptotical precision of their respective approaches are being compared and related to Euler-Kronecker constants, a generalization of Euler's constant gamma=0.57721566.... This paper claims little originality, its aim is to give a survey on the literature related to this theme with an emphasis on the contributions of the author (and his coauthors).

研究の動機と目的

• 乗法的集合における整数の個数を数える際のランダウの近似とラマヌジャンの近似の漸近的精度を比較すること。
• これらの近似の相対的精度が、集合のDirichlet級数のEuler-Kronecker定数 $\gamma_S$ とどのように関係するかを明らかにすること。
• 特に二乗和や関連集合を含む、条件AまたはBを満たす乗法的集合 $S$ に対して、計数関数 $S(x)$ を分析すること。
• 漸近展開と部分積分を用いて、$\gamma_S < 1/2$ のときラマヌジャンの近似が優れており、$\gamma_S > 1/2$ のときはランダウの近似が優れていることを確立すること。
• Euler-Kronecker定数に関する既知の結果と、数論的計数関数におけるその役割についてのサーベイを提供すること。

提案手法

• 乗法的集合 $S$ のDirichlet級数 $L_S(s) = \sum_{n \in S} n^{-s}$ を用い、Euler-Kronecker定数を $\gamma_S = \lim_{s \to 1^+} \left( \frac{L_S'(s)}{L_S(s)} + \frac{\delta}{s-1} \right)$ で定義する。
• 定理1を用いて、条件Aのもとで $S(x) \sim C_0(S) x \log^{\delta-1} x$ を導出し、$C_0(S)$ を $\chi_S(p)$ を含むEuler積で定義する。
• 部分積分を用いて、$S(x)$ をラマヌジャンの近似に根ざす積分 $\int_2^x \log^{\delta-1} t \, dt$ と比較する。
• 定理2を用いて漸近展開を精緻化：$S(x) = C_0(S) x \log^{\delta-1} x \left(1 + \frac{(1-\delta)(1 - \gamma_S)}{\log x} + o(\log^{-1} x) \right)$。
• 誤差項の符号と大きさを分析することで、ランダウの近似とラマヌジャンの近似の誤差を比較する。
• Wirsing や Finch の結果を含む、計算的および解析的技法を用いて近似の妥当性を検証し、数論的レースにおける不等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 ラマヌジャンの $S(x)$ への近似がランダウの近似よりも精度が良いのはどのような条件下か？
• RQ2 Euler-Kronecker定数 $\gamma_S$ は、ランダウの近似とラマヌジャンの漸近公式の相対的精度をどのように決定するか？
• RQ3 条件Bを満たす乗法的集合に対して、計数関数 $S(x)$ と対数積分 $\mathrm{Li}(x)$ の間にはどのような関係があるか？
• RQ4 ラマヌジャン型の積分近似 $\int_2^x \log^{\delta-1} t \, dt$ が、ランダウ型のべき対数項よりも小さい誤差をもたらすことを示せるか？
• RQ5 具体的な乗法的集合（例：二乗和、非斜辺数）の定数 $\gamma_S$ は、一方の近似が他方を上回る要因としてどのように作用するか？

主な発見

• ラマヌジャンの近似が漸近的にランダウの近似よりも優れているのは、$\gamma_S < 1/2$ である場合に限り、逆に $\gamma_S > 1/2$ のときはランダウの近似が優れている。
• 二乗和として表せる整数の集合 $S_B$ に対しては $\gamma_{S_B} \approx -0.1638$ であるため、ラマヌジャンの近似が優れている。
• 非斜辺数の集合 $S_{NH}$ に対しては $\gamma_{NH} \approx -0.4095$ であり、この集合に対してもラマヌジャンの近似が優れていることが確認された。
• モジュラー形式に関連する集合 $S_{691\nmid\tau}$ に対しては $\gamma_S \approx 0.5717 > 1/2$ であるため、この集合ではランダウの近似が優れている。
• すべての $x \geq 0$ に対して $S_B(x) \geq S_H(x)$（$S_H$ は斜辺を含まない集合）であるという予想が計算的に証明され、ラマヌジャンの積分近似がグローバルに成り立つことが確認された。
• 論文は、ラマヌジャンの主張 $S_B(x) = C_0(S_B) \int_2^x \frac{dt}{\sqrt{\log t}} + O(\sqrt{x/\log x})$ が $\gamma_{S_B} = 0$ を意味するが、実際の値は $\approx -0.1638$ であると確認した。