[논문 리뷰] Extreme values of the Dedekind $\\Psi$ function

Patrick Solé, Michel Planat|arXiv (Cornell University)|2010. 11. 08.

Analytic Number Theory Research인용 수 5

한 줄 요약

이 논문은 디데킨드 Ψ 함수의 극값을 조사하여, 모든 $ n \geq 31 $ 에 대해 비조건부로 비율 $ R(n) = \Psi(n)/(n\log\log n) $ 가 $ e^{\gamma} $ 보다 엄밀히 작다는 것을 증명한다. 또한, $ N_n $ (첫 $ n $ 개의 소수의 원주율)에 대해 $ R(N_n) > e^{\gamma}/\zeta(2) $ 를 만족하는 모든 $ n \geq 3 $ 에 대해 성립하는 부등식은 리만 가설과 동치임을 새롭게 밝혀낸다.

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.

연구 동기 및 목표

• 디데킨드 Ψ 함수의 극값을 분석하고, 특히 $ n\log\log n $ 대비 그 성장 최대치를 조사한다.
• 비조건부 상한을 $ R(n) = \Psi(n)/(n\log\log n) $ 에 대해 확립하여, $ n \geq 31 $ 에 대해 $ R(n) < e^{\gamma} $ 임을 보인다.
• 원주율 수에서의 $ R(N_n) $ 의 행동과 리만 가설 사이의 관계를 조사한다.
• 모든 $ n \geq 3 $ 에 대해 $ R(N_n) > e^{\gamma}/\zeta(2) $ 라는 부등식이 리만 가설과 동치임을 증명하여, 리만 가설에 대한 새로운 산술 기준을 제시한다.
• multiplicative number theory 기법을 통해 오일러 피 함수와 약수 함수에 대한 기존 결과를 디데킨드 Ψ 함수로 확장한다.

제안 방법

• asymptotic 분석에 기반하여 $ \Psi(n) $ 의 성장률을 정규화하기 위해 비율 $ R(n) = \Psi(n)/(n\log\log n) $ 을 정의한다.
• $ \Psi(n)/n $ 의 최대화에 있어 극값 후보로 원주율 수 $ N_n = \prod_{k=1}^n p_k $ 를 사용하며, 이 비율의 챔피언 수임이 이미 증명되어 있다.
• 메르텐스의 곱공식과 소수 정리(Prime Number Theorem)를 적용하여 점점 더 큰 $ \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)} $ 를 도출한다.
• 오일러 곱에 대한 알려진 부등식을 사용하여 $ \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) $ 와 오일러 피 함수 사이의 관계를 설정하고, 하한 $ \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) $ 의 행동을 이용하여 리만 가설과 동치인 기준을 제시할 수 있는가?
• RQ4 모든 $ n \geq 3 $ 에 대해 $ R(N_n) > e^{\gamma}/\zeta(2) $ 라는 부등식은 리만 가설과 동치인가?
• RQ5 오일러 피 함수와 약수의 합 함수에 비해 디데킨드 Ψ 함수의 극값 성장과 산술적 상한은 어떻게 비교되는가?

주요 결과

• 모든 $ 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 $ 을 만족하며, 이는 메르텐스의 공식과 소수 정리로부터 도출된다.
• $ n \geq 4 $ 에서는 오일러 곱에 대한 명시적 추정과 로그 항의 추정치를 통해 $ R(N_n) < e^{\gamma} $ 가 성립한다.
• 모든 $ n \geq 3 $ 에 대해 $ R(N_n) > \frac{e^{\gamma}}{\zeta(2)} $ 라는 부등식은 리만 가설과 동치이며, 오일러 피 함수에 대한 니콜라스 기준과의 비교를 통해 밝혀졌다.
• 리만 가설이 참이라면, 모든 $ n \geq 3 $ 에 대해 $ R(N_n) > \frac{e^{\gamma}}{\zeta(2)} $ 가 성립하며, 리만 가설이 거짓이라면 이 부등식은 여전히 무수히 많은 $ n $ 에 대해 성립한다.
• $ \varphi(n)\Psi(n) $ 는 이중부등식 $ n^2 > \varphi(n)\Psi(n) > n^2/\zeta(2) $ 를 만족하며, 하한은 무한곱의 의미에서 정확하다.