On the series expansion of k-free Dirichlet series and its analytical continuation

제시된 논문 "On the series expansion of k-free Dirichlet series and its analytical continuation" (k-자유 디리클레 급수의 급수 전개와 그 해석적 연속에 관하여) 에 대한 상세한 기술적 요약은 다음과 같습니다.

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

이 논문은 정수론에서 중요한 역할을 하는 k-자유 (k-free) 디리클레 급수 $\frac{\zeta(s)}{\zeta(ks)}$의 성질을 연구합니다.

• k-자유 정수: $k$ 번째 거듭제곱으로 나누어지지 않는 정수를 의미하며, 이를 나타내는 지시 함수는 $\mu^{(k)}(n)$으로 표기합니다. ($k=2$인 경우 제곱 자유 (square-free) 정수에 해당하며 $\mu^{(2)}(n) = |\mu(n)|$입니다.)
• 주요 대상: 급수 $\sum_{n=1}^{\infty} \frac{\mu^{(k)}(n)}{n^s} = \frac{\zeta(s)}{\zeta(ks)}$는 $\Re(s) > 1$에서 절대 수렴합니다.
• 연구 목적:
  1. 이 급수를 $s=1$ 주변에서 로랑 급수 (Laurent series) 로 전개하고, 정칙 부분 (regular part) 의 계수에 대한 스틸체스 (Stieltjes) 유사 공식을 유도하는 것.
  2. 급수의 새로운 해석적 연속 (analytical continuation) 을 제시하는 것.
  3. 양의 정수 $k \ge 2$에 대해 $\zeta(1/k)$ 값을 k-자유 지시 함수를 사용하여 표현하는 공식을 개발하는 것.

2. 방법론 (Methodology)

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

• 로랑 급수 전개: $s=1$에서의 극점 (pole) 을 분리하여 급수를 $\frac{\zeta(s)}{\zeta(ks)} = \frac{1}{\zeta(k)(s-1)} + \sum \gamma_{M,k}^n \frac{(s-1)^n}{n!}$ 형태로 전개합니다.
• 스틸체스 적분 (Stieltjes Integration): k-자유 수의 카운팅 함수 $Q_k(x) = \sum_{n \le x} \mu^{(k)}(n)$을 $Q_k(x) = \frac{x}{\zeta(k)} + f_k(x)$로 분해합니다. 여기서 $f_k(x)$는 오차 항이며, 리만 가설 (RH) 하에서 $O(x^{1/2k})$로 추정됩니다. 이를 이용해 로그가 포함된 합을 적분 형태로 변환하고 점근적 행동을 분석합니다.
• 적분 표현식 유도: 급수의 계수 $\gamma_{M,k}^n$을 무한 적분 $\int_{1^-}^{\infty} \frac{\log^n(t) - n\log^{n-1}(t)}{t^2} f_k(t) dt$ 형태로 표현하여, 이를 로그 - 극한 (log-limit) 공식과 연결합니다.
• 해석적 연속: 급수의 잔여 항 (remainder term) 을 적분 형태로 재구성하여, 원래 수렴 영역 ($\Re(s)>1$) 을 넘어 $\Re(s) > \frac{1}{2k}$ (RH 가정 하) 영역으로 확장하는 공식을 유도합니다.

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

A. 로랑 급수 계수에 대한 일반화된 공식 (Theorem 1)

저자는 $k=2$ (제곱 자유) 인 경우 Wolf 가 발견한 공식을 일반화하여 모든 $k \ge 2$에 대해 성립하는 계수 공식을 증명했습니다.

• 공식:
  $$\gamma_{M,k}^n = \lim_{x \to \infty} (-1)^n \left( \sum_{j=1}^x \frac{\mu^{(k)}(j) \log^n(j)}{j} - \frac{\log^{n+1}(x)}{\zeta(k)(n+1)} \right)$$
• 일반화된 오일러 상수: $n=0$인 경우, $\gamma_{M,k}$는 k-자유 디리클레 급수에 대응되는 일반화된 오일러 상수로 정의됩니다.
  $$\sum_{n \le x} \frac{\mu^{(k)}(n)}{n} = \gamma_{M,k} + \frac{1}{\zeta(k)} \log x + O\left(\frac{1}{x}\right)$$
• 계산 결과: $k=2$부터 $11$까지의$\gamma_{M,k}$값을 고정밀도로 계산하여 제시했습니다.$k \to \infty$일 때$\gamma_{M,k}$가 오일러 - 마스케로니 상수$\gamma$로 수렴함을 확인했습니다.
• 닫힌 형식 (Closed-form) 식: $n=0$ 계수에 대해 $\zeta(k)$와 $\zeta'(k)$를 사용한 대수적 표현식을 제시했습니다.
  $$\gamma_{M,k} = \frac{\gamma}{\zeta(k)} - \frac{k \zeta'(k)}{\zeta(k)^2}$$

B. 새로운 해석적 연속 공식

급수의 해석적 연속을 위한 새로운 공식을 유도하여, $s=1$을 제외한 $\Re(s) > \frac{1}{2k}$ 영역에서 유효함을 보였습니다.
$$\frac{\zeta(s)}{\zeta(ks)} = \lim_{x \to \infty} \left( \sum_{n \le x} \frac{\mu^{(k)}(n)}{n^s} - \frac{x^{1-s}}{\zeta(k)(1-s)} \right)$$
이 공식은 오일러 - 맥클로린 (Euler-Maclaurin) 공식에서 유도된 리만 제타 함수의 공식과 유사한 형태를 가지며, k-자유 급수가 제타 함수의 중간 단계와 같은 역할을 함을 시사합니다.

C. $\zeta(1/k)$ 값에 대한 공식 유도

분모의 $\zeta(ks)$가 $s=1/k$에서 극점을 갖는 점을 이용하여, $\zeta(1/k)$ 값을 k-자유 합을 통해 표현하는 공식을 도출했습니다.
$$\zeta\left(\frac{1}{k}\right) = \lim_{x \to \infty} \left( -\frac{1}{k} \sum_{n \le x} \frac{\mu^{(k)}(n)(\log n + \frac{k}{k-1})}{n^{1/k}} + \frac{1}{\zeta(k)(k-1)} x^{1-1/k} \log x \right)$$

• 수치 검증: $k=2, 3, 4, 5$에 대해 위 공식을 수치적으로 계산하여, 결과가 각각 $\zeta(1/2) \approx -1.460$, $\zeta(1/3) \approx -0.973$ 등 알려진 값과 일치함을 확인했습니다.
• 진동 특성: 계산된 급수는 수렴 속도가 느리고 진동 (oscillation) 이 크지만, $x$가 증가함에 따라 진폭이 서서히 감소하며 올바른 값으로 수렴하는 것을 관찰했습니다.

4. 의의 및 결론 (Significance)

• 이론적 확장: 기존에 제곱 자유 (square-free) 정수 ($k=2$) 에 대해서만 알려져 있던 로랑 급수 전개 및 계수 공식을 임의의 $k \ge 2$에 대해 일반화하여 정수론적 구조를 심화시켰습니다.
• 계산적 도구: $\zeta(1/k)$와 같은 특이점에서의 제타 함수 값을 계산하기 위한 새로운 급수 표현식을 제공했습니다. 이는 수치 해석 및 제타 함수의 성질 연구에 유용한 도구가 될 수 있습니다.
• 상수 분석: k-자유 수에 대응되는 일반화된 오일러 상수 ($\gamma_{M,k}$) 의 존재를 증명하고 그 값을 고정밀도로 계산함으로써, k-자유 정수의 분포 특성을 정량화했습니다.
• 해석적 연속의 심화: 리만 가설을 가정할 때 급수의 수렴 영역을 확장하는 방법을 제시하여, 제타 함수와 관련된 디리클레 급수의 해석적 성질에 대한 이해를 넓혔습니다.

요약하자면, 이 논문은 k-자유 정수론을 바탕으로 제타 함수의 확장된 성질을 분석하고, 새로운 해석적 연속 공식과 계수 공식을 유도하여 정수론 및 해석적 수론 분야에 중요한 기여를 했습니다.