On Maximal Values of Gronwall Numbers for Integers with Given Greatest Prime Factor and Remainder in Modified Mertens Formula

논문 개요

저자: Gennadiy Kalyabin (러시아, Samara)
주제: 정수론, 특히 소수 분포, Riemann 가설 (RH), Gronwall 수, Mertens 공식의 오차항 간의 관계.
핵심 기여: Riemann 가설 (RH) 의 성립 여부를 가정하지 않는 무조건부 (unconditional) 로, 수정된 Mertens 공식의 오차항과 주어진 최대 소인수를 갖는 정수들 중 Gronwall 수 $G(N)$ 의 최댓값 사이의 정확한 극한 관계를 규명함.

---

1. 연구 배경 및 문제 정의

• Gronwall 수 ($G(N)$):
  • $G(N) = \frac{\sigma(N)}{N \log \log N}$로 정의되며, 여기서 $\sigma(N)$은 $N$의 약수들의 합입니다.
  • Gronwall (1913) 은 $\limsup_{N \to \infty} G(N) = e^\gamma$ ($\gamma$는 오일러 - 마스케로니 상수) 임을 보였습니다.
• Ramanujan-Robin 부등식과 Riemann 가설 (RH):
  • Ramanujan (1915) 과 Robin (1983) 은 모든 $k > 4$에 대해 $G_k < e^\gamma$ (즉, $g_k < \gamma$) 인 것이 Riemann 가설과 동치임을 증명했습니다. 여기서 $G_k$는 최대 소인수가 $p_k$인 정수들 중 $G(N)$의 최댓값입니다.
• Mertens 공식의 수정:
  • Mertens (1874) 의 고전적 공식: $S(x) = \sum_{p \le x} \frac{\log p}{p-1} = \log \log x + \gamma + R(x)$.
  • Nicolas (1983) 은 이를 $\theta(x)$ (제 1 체비셰프 함수) 를 사용하여 수정한 공식을 제시했습니다: $S(x) = \log \log \theta(x) + \gamma + Q(x)$. 여기서 $Q(x)$는 오차항입니다.
• 연구 목표:
  • RH 를 가정하지 않고, 최대 소인수가 $p_k$인 정수들 ($N \in W_k$) 중에서 $G(N)$이 최댓값을 갖는 경우와 수정된 Mertens 공식의 오차항 $Q(p_k)$ 사이의 정밀한 극한 관계를 규명하는 것. 특히, 모든 소인수 $p_j (j \le k)$로 나누어지는 정수들의 집합 $\tilde{W}_k$에 초점을 맞춥니다.

---

2. 주요 결과 (Theorem 1)

논문은 다음과 같은 무조건부 극한 관계를 증명합니다.

$$\liminf_{k \to \infty} (\tilde{g}_k - \gamma - Q_k)\sqrt{p_k} \log p_k = -2\sqrt{2}$$

여기서 $\tilde{g}_k = \log \tilde{G}_k$이며, $\tilde{G}_k$는 집합 $\tilde{W}_k$ (모든 $p_j (j \le k)$로 나누어지는 정수들) 에 속하는 $N$에 대한 $G(N)$의 최댓값입니다.

이 정리는 두 부분으로 나뉩니다:

1. 하한 (Lower Bound): 특정 정수열 $M_k \in \tilde{W}_k$가 존재하여, $k$가 충분히 클 때 $G(M_k)$가 특정 하한을 초과함을 보임.
2. 상한 (Upper Bound): 무한 집합 $E \subset \mathbb{N}$이 존재하여, $k \in E$인 모든 $N \in \tilde{W}_k$에 대해 $G(N)$이 특정 상한을 초과하지 않음을 보임.

이 결과는 Ramanujan-Robin 부등식 ($G(N) < e^\gamma$) 의 증명에 중요한 단서를 제공합니다.

---

3. 방법론 및 증명 전략

논문은 크게 두 부분의 증명으로 구성됩니다.

Part I: 하한 증명 (구체적 정수열 $M_k$의 구성)

• 목표: $G(N)$이 충분히 큰 값을 갖는 정수 $M_k$를 명시적으로 구성하여 (1.10) 식을 만족함을 보임.
• 전략:
  • $M_k$를 다음과 같이 구성합니다:
    $$M_k = \left( \prod_{j=1}^m p_j^{b_k} \right) \cdot \left( \prod_{j=m+1}^n p_j^2 \right) \cdot \left( \prod_{j=n+1}^k p_j \right)$$
  • 여기서 $m, n, b_k$는 $k$에 의존하는 자연수 시퀀스로, $\theta_n \approx \sqrt{2}\theta_k$, $\theta_n = o(\theta_m^2)$ 등의 조건을 만족하도록 선택됩니다.
  • 이 구성을 통해 $\log M_k$와 $\log \sigma(M_k)/M_k$를 근사하고, Taylor 급수를 사용하여 $\log G(M_k)$의 하한을 유도합니다.

Part II: 상한 증명 (G-maximality 조건 및 최적화)

• 목표: $\tilde{W}_k$ 내의 임의의 정수 $N$에 대해 $G(N)$의 상한을 증명.
• 핵심 개념 도입:
  • $U_{1,k}$ 클래스: $N \in W_k$가 $GA_1$ (어떤 소인수 $q$에 대해 $G(N/q) \le G(N)$) 에 속하고, $p \le p_k$인 모든 소수 $p$에 대해 $G(Np) \le G(N)$을 만족하는 정수들의 집합.
  • Theorem 2: $N \in U_{1,k}$일 때, 지수 $\alpha_j$가 단조감소하며 ($\alpha_1 \ge \alpha_2 \ge \dots \ge \alpha_k$), $\alpha_k=1$임을 보임. 또한 $\log N$이 특정 함수 $\xi(p, \alpha)$와 $\nu(p, \eta)$로 정의된 구간 내에 있음을 증명.
• 최적화 문제:
  • $G(N)$을 최대화하는 정수는 $U_{1,k}$에 속함을 이용.
  • 정수 지수 $\alpha_j$를 실수 $t_j$로 확장하여 함수 $\tilde{g}(t) = \log \tilde{G}(t)$를 정의하고, 미분을 통해 극대점을 찾음.
  • 결정 방정식 $x = A + B \log(1 + x \log x)$의 근을 분석하여 $\tilde{\eta}^* = \log \tilde{N}^*$의 점근적 행동을 규명.
  • 이를 통해 $\log G(N)$의 상한이 $-2\sqrt{2}$ 항을 포함하는 형태로 수렴함을 보임.

---

4. 주요 기여 및 의의

1. 무조건부 결과 (Unconditional Result):
   • 기존의 많은 정수론적 결과들이 Riemann 가설 (RH) 에 의존하는 반면, 본 논문은 RH 를 가정하지 않고도 Gronwall 수의 최댓값과 Mertens 오차항 사이의 정밀한 관계를 확립했습니다.
2. 정밀한 점근식 도출:
   • 오차항의 크기가 $\frac{1}{\sqrt{p_k} \log p_k}$ 수준임을 구체적으로 보였으며, 그 계수가 $-2\sqrt{2}$임을 증명했습니다. 이는 기존 연구들보다 더 정밀한 정보를 제공합니다.
3. G-maximality 구조의 규명:
   • $G(N)$이 극대값을 갖는 정수들의 구조 (지수의 단조성, 특정 소인수들의 존재 여부 등) 를 체계적으로 분석하여, $U_{1,k}$ 클래스의 성질을 심화시켰습니다.
4. Ramanujan-Robin 부등식 증명에 대한 기여:
   • 저자는 이 연구가 Ramanujan-Robin 부등식 ($G(N) < e^\gamma$) 의 증명에 중요한 단서가 될 것이라고 기대합니다. 특히 $g_k - \gamma$의 거동을 이해하는 데 필수적인 단계입니다.

5. 결론

Gennadiy Kalyabin 의 논문은 정수론의 고전적인 문제인 소수 분포와 약수 합 함수의 극한 행동을 연결하는 새로운 무조건부 극한 법칙을 제시합니다. 수정된 Mertens 공식의 오차항과 Gronwall 수의 최댓값 사이의 정밀한 관계를 규명함으로써, Riemann 가설과 관련된 미해결 문제들을 접근하는 데 있어 중요한 이론적 토대를 마련했습니다. 특히, 최적의 정수 구조를 분석하고 이를 기반으로 한 점근적 추정치는 향후 관련 분야 연구에 중요한 참고 자료가 될 것입니다.