[論文レビュー] Extreme values of the Dedekind $\\Psi$ function

Patrick Solé, Michel Planat|arXiv (Cornell University)|Nov 8, 2010

Analytic Number Theory Research被引用数 5

ひとこと要約

この論文は、Dedekind Ψ関数の極値を調査し、すべての $ n \geq 31 $ に対して $ R(n) = \Psi(n)/(n\log\log n) $ が $ e^{\gamma} $ より厳密に小さいことを、条件なしで証明する。また、$ N_n $ を最初の $ n $ 個の素数の素数階乗とするとき、すべての $ n \geq 3 $ に対して不等式 $ R(N_n) > e^{\gamma}/\zeta(2) $ が成り立つことと、Riemann予想が同値であるという新しい等価性を確立する。

ABSTRACT

Let $\\Psi(n):=n\\prod_{p | n}(1+\\frac{1}{p})$ denote the Dedekind $\\Psi$ function. Define, for $n\\ge 3,$ the ratio $R(n):=\\frac{\\Psi(n)}{n\\log\\log n}.$ We prove unconditionally that $R(n)< e^\\gamma$ for $n\\ge 31.$ Let $N_n=2...p_n$ be the primorial of order $n.$ We prove that the statement $R(N_n)>\\frac{e^\\gamma}{\\zeta(2)}$ for $n\\ge 3$ is equivalent to the Riemann Hypothesis.

研究の動機と目的

• Dedekind Ψ関数の極値を分析し、特に $ n\log\log n $ に対するその最大成長率を調査すること。
• 比 $ R(n) = \Psi(n)/(n\log\log n) $ に対する、条件なしの上界を確立し、$ n \geq 31 $ に対して $ R(n) < e^{\gamma} $ を示すこと。
• 素数階乗数における $ R(N_n) $ の振る舞いとRiemann予想との関係を調査すること。
• すべての $ n \geq 3 $ に対して不等式 $ R(N_n) > e^{\gamma}/\zeta(2) $ が成り立つことと、Riemann予想が同値であることを証明し、Riemann予想の新たな算術的基準を提供すること。
• 乗法的数論的手法を用いて、Eulerのトータル関数および約数関数に関する既知の結果をDedekind Ψ関数へと拡張すること。

提案手法

• 漸近解析に基づき、$ \Psi(n) $ の成長を正規化するため、比 $ R(n) = \Psi(n)/(n\log\log n) $ を定義する。
• 比 $ \Psi(n)/n $ を最大化する極値候補として、素数階乗数 $ N_n = \prod_{k=1}^n p_k $ を用いる。これは、この比のチャンピオン数であることが証明されている。
• Mertensの積公式と素数定理を用いて、漸近的関係 $ \Psi(N_n)/N_n \sim \frac{e^{\gamma}}{\zeta(2)} \log p_n $ を導出し、$ \lim_{n\to\infty} R(N_n) = \frac{e^{\gamma}}{\zeta(2)} $ を得る。
• Euler積に関する既知の不等式を用いて、$ \Psi(N_n)/N_n $ に対する明示的な上界を確立する：$ \prod_{p\leq x}(1-1/p)^{-1} \leq e^{\gamma}(\log x + 1/\log x) $ および $ \prod_{p>p_n}(1-1/p^2)^{-1} \leq \exp(2/p_n) $。
• これらの上界を $ \log\log N_n $ および $ \log p_n $ の推定値と組み合わせ、$ n \geq 4 $ に対して $ R(N_n) < e^{\gamma} $ を示し、$ n > 30 $ に対しては数値的検証により拡張する。
• $ \varphi(n)\Psi(n)/n^2 = \prod_{p|n}(1-1/p^2) $ という恒等式を用いて、$ \Psi(n) $ をEulerのトータル関数と関連付け、下界 $ \varphi(n)\Psi(n) > n^2/\zeta(2) $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 比 $ R(n) = \Psi(n)/(n\log\log n) $ の上界は何か？ そして、十分に大きな $ n $ に対して $ e^{\gamma} $ で有界であるか？
• RQ2 素数階乗数 $ N_n $ は比 $ \Psi(n)/n $ の極値をとるか？ 他のすべての整数よりも $ R(n) $ を最大化するか？
• RQ3 素数階乗数における $ R(N_n) $ の振る舞いを用いて、Riemann予想と同値な基準を定式化できるか？
• RQ4 すべての $ n \geq 3 $ に対して不等式 $ R(N_n) > e^{\gamma}/\zeta(2) $ が成り立つことと、Riemann予想が同値であるか？
• RQ5 Dedekind Ψ関数は、Eulerのトータル関数および約数関数と比較して、極値的成長や算術的境界においてどのように異なるか？

主な発見

• すべての $ n \geq 31 $ に対して、比 $ R(n) = \Psi(n)/(n\log\log n) $ は $ R(n) < e^{\gamma} $ を満たすことが、条件なしに証明された。
• 素数階乗数における $ R(N_n) $ の漸近的挙動は $ \lim_{n\to\infty} R(N_n) = \frac{e^{\gamma}}{\zeta(2)} \approx 1.08 $ を満たし、これはMertensの公式と素数定理から導出された。
• $ n \geq 4 $ に対して、Euler積に関する明示的推定と対数項の推定値を組み合わせることで、$ R(N_n) < e^{\gamma} $ が成り立つ。
• すべての $ n \geq 3 $ に対して $ R(N_n) > \frac{e^{\gamma}}{\zeta(2)} $ が成り立つことと、Riemann予想が同値であることが示された。これは、Eulerのトータル関数に関するNicolasの基準との比較によって得られた。
• Riemann予想が真であるならば、すべての $ n \geq 3 $ に対して $ R(N_n) > \frac{e^{\gamma}}{\zeta(2)} $ が成り立ち、Riemann予想が偽であっても、この不等式は無限に多くの $ n $ に対して成り立つ。
• $ \varphi(n)\Psi(n) $ は二重不等式 $ n^2 > \varphi(n)\Psi(n) > n^2/\zeta(2) $ を満たし、下界は無限積の意味で鋭い。