On the series expansion of the prime zeta function about $s=1$ and its coefficients

논문 요약: 소수 제타 함수의 s=1 특이점 근방 급수 전개

1. 연구 배경 및 문제 제기 (Problem)

• 소수 제타 함수 (Prime Zeta Function, $P(s)$): 소수 $p$에 대한 일반화된 제타 급수 $P(s) = \sum_p p^{-s}$로 정의되며, $\Re(s) > 1$에서 절대 수렴합니다.
• 특이점 구조: $P(s)$는 뫼비우스 역변환 공식을 통해 $\zeta(ns)$의 로그와 연결되며, $s=1/n$ ($n \ge 1$) 과 리만 제타 함수의 비자명한 영점 $\rho_n$에서 로그 특이점 (logarithmic singularities) 을 가집니다. 특히 $s=1$은 1 차 로그 특이점 (branch point) 입니다.
• 연구 목적: $s=1$에서의 로그 특이점을 분리하고, 나머지 정규 부분 (regular part) 을 $(s-1)$의 멱급수로 전개하여 그 계수 ($\alpha_n$) 에 대한 일반 공식을 유도하고, 이를 고정밀도로 계산하는 것입니다. 이는 메르텐스 (Mertens) 의 정리를 고차원으로 일반화하는 작업과도 연결됩니다.

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구를 활용하여 문제를 해결했습니다.

• 급수 전개 정의: $P(s)$를 $s=1$ 근방에서 다음과 같이 정의합니다.
  $$P(s) = \log\left(\frac{1}{s-1}\right) + \sum_{n=0}^{\infty} \frac{\alpha_n}{n!} (s-1)^n$$
  여기서 $\log\left(\frac{1}{s-1}\right)$은 특이점을 제거하기 위한 항이며, $\alpha_n$은 구하고자 하는 전개 계수입니다.
• 적분 변환 및 스틸체스 (Stieltjes) 적분:
  • 소수 계수 함수 $\pi(x)$와 로그 적분 함수 $\text{li}(x)$의 차이인 오차 항 $f(x) = \pi(x) - \text{li}(x)$를 도입합니다.
  • $P(s)$와 그 미분값을 스틸체스 적분 형태로 표현하고, 부분적분 (integration by parts) 을 적용하여 $f(x)$를 포함하는 적분식으로 변환합니다.
  • 리만 가설 (RH) 을 가정하여 $f(x) = O(\sqrt{x}\log x)$로 추정함으로써 적분의 수렴성을 확보합니다.
• 계수 유도:
  • 정리 1 (Theorem 1): $P(s)$의 계수 $\alpha_n$을 소수 합과 로그 항의 차이의 극한으로 표현합니다.
    • $n=0$: $\alpha_0 = \lim_{x\to\infty} (\sum_{p\le x} \frac{1}{p} - \log\log x) - \gamma$
    • $n \ge 1$: $\alpha_n = \lim_{x\to\infty} (-1)^n (\sum_{p\le x} \frac{\log^n p}{p} - \frac{\log^n x}{n})$
  • 정리 2 (Theorem 2): 뫼비우스 함수 $\mu(n)$과 리만 제타 함수 $\zeta(s)$의 로그 급수 전개 계수 $g_n$ (Stieltjes 상수 관련) 을 이용한 더 빠른 수렴 공식을 제시합니다.
    $$\alpha_n = g_n + \frac{d^n}{ds^n} \left[ \sum_{k=2}^{\infty} \frac{\mu(k)}{k} \log \zeta(ks) \right]_{s \to 1}$$
  • 정리 3 (Theorem 3): 계수를 $f(t)$와 로그 항이 포함된 적분 형태로 표현하는 대안 공식을 유도합니다.
    $$\alpha_n = (-1)^n \int_1^{\infty} \frac{\log^n t - n \log^{n-1} t}{t^2} [\pi(t) - \text{li}(t)] dt$$

3. 주요 기여 및 결과 (Key Contributions & Results)

1. 계수에 대한 일반 공식 유도:

   • $s=1$ 근방의 $P(s)$ 전개 계수 $\alpha_n$에 대한 두 가지 표현식 (극한 형태와 뫼비우스 급수 형태) 을 rigorously 증명했습니다.
   • 특히 $\alpha_n$이 리만 제타 함수의 로그 미분 계수 ($g_n$) 와 뫼비우스 함수를 통해 어떻게 구성되는지 명확히 했습니다.

2. 고정밀 수치 계산:

   • 직접적인 극한 공식 (정리 1) 은 수렴 속도가 매우 느리기 때문에, 뫼비우스 함수를 포함한 급수 (정리 2) 를 사용하여 계수를 고정밀도로 계산했습니다.
   • Table 1을 통해 $n=0$부터 $n=10$까지의 계수 값을 30 자리 이상의 정밀도로 제시했습니다.
     • 예: $\alpha_0 \approx -0.315718...$, $\alpha_1 \approx 1.332582...$
   • $n=0$인 경우, 이는 메이스텔 - 메르텐스 상수 (Meissel-Mertens constant, $M$) 와 오일러 상수 ($\gamma$) 의 관계인 $\alpha_0 = M - \gamma$임을 재확인했습니다.
   • $n \ge 2$인 경우 (예: $\alpha_2, \alpha_3$) 는 기존 문헌에서 계산된 바가 없었으나, 본 논문을 통해 최초로 고정밀 값을 제시했습니다.

3. 메르텐스 정리의 일반화:

   • 기존의 메르텐스 정리 (소수 역수의 합, 소수 로그의 합 등) 를 $n$차 로그 항을 포함하는 고차 형태로 일반화하여, 소수 분포의 더 깊은 구조를 설명하는 새로운 상수들을 도출했습니다.

4. 의의 및 중요성 (Significance)

• 해석적 정수론의 확장: 소수 제타 함수의 특이점 구조를 정밀하게 분석함으로써, 리만 제타 함수와 소수 분포 사이의 연결 고리를 더욱 강화했습니다.
• 계산적 효율성: 느리게 수렴하는 직접적인 극한 정의 대신, 뫼비우스 함수와 제타 함수를 이용한 급수 전개를 통해 고정밀 계산을 가능하게 하는 알고리즘적 기여를 했습니다.
• 새로운 상수 발견: $n \ge 2$에 대한 새로운 상수 ($\alpha_n$) 를 정의하고 그 값을 제공함으로써, 향후 소수 분포 연구나 관련 수론적 문제 해결에 필요한 기준 데이터 (Reference) 를 마련했습니다.
• 자연 경계 (Natural Boundary) 이해: $P(s)$가 $\Re(s)=0$에서 자연 경계를 가지며, $s=1$에서의 전개가 어떻게 이 함수의 분석적 성질을 반영하는지에 대한 이해를 심화시켰습니다.

5. 결론

본 논문은 소수 제타 함수 $P(s)$가 $s=1$에서 가지는 로그 특이점을 제거한 후의 급수 전개 계수 $\alpha_n$에 대한 엄밀한 이론적 유도와 고정밀 수치 계산을 성공적으로 수행했습니다. 이는 고전적인 메르텐스 정리를 고차원으로 확장한 것이며, 뫼비우스 함수를 활용한 효율적인 계산 공식을 제시하여 소수 이론 연구에 중요한 기여를 했습니다.