[논문 리뷰] Sums of alternating products of Riemann zeta values and solution of a Monthly problem

Mark W. Coffey|arXiv (Cornell University)|2011. 06. 25.

Analytic Number Theory Research참고 문헌 6인용 수 6

한 줄 요약

이 논문은 미국 수학회 월간지의 문제 11585를 해결하며, 교대적인 리만 제타 함수 값의 곱을 포함하는 무한합의 정확한 평가를 증명한다. 특수함수 이론, 부분합의 합산, 적분 표현을 사용하여 다음과 같은 닫힌 형태 결과를 도출한다: $ \sum_{k=3}^{\infty} \frac{1}{k}\left[\sum_{m=1}^{k-2} \zeta(k-m)\zeta(m+1) - k\right] = 3 + \gamma^2 + 2\gamma_1 - \frac{\pi^2}{3}$, 여기서 $ \gamma$는 오일러-마스케로니 상수이고 $ \gamma_1$는 첫 번째 스티엘티우스 상수이다.

ABSTRACT

We solve problem 11585 proposed by B. Burdick, AMM June-July 2011 {\bf 118} (6), p. 558 for the sum of certain products of Riemann zeta function values. We further point out an alternating sum analog, and then present and prove different alternating sum analogs. In addition, we present summation by parts and other results for the Hurwitz and Riemann zeta functions and for the digamma and trigamma functions.

연구 동기 및 목표

• 미국 수학회 월간지의 문제 11585를 해결하며, 리만 제타 함수 값의 곱을 포함하는 복잡한 무한합의 평가를 수행한다.
• 원래 합의 교대합 형태를 유도하고, 특히 제타 함수 곱에 교대 부호가 포함된 경우를 다루어 닫힌 형태로 평가한다.
• 해석적 수론에서 유용한 히르체츠 제타, 리만 제타, 디감마, 트리감마 함수에 대한 새로운 부분합의 합산 항등식을 수립한다.
• 제곱된 디감마 함수와 첫 번째 스티엘티우스 상수와 관련된 함수 $\xi(x)$에 대한 적분 표현과 급수 전개를 탐색하고 유도한다.
• 부분합의 합산과 급수 변형을 사용하여 [4]에 기록된 알려진 적분 표현을 보완하고 수정한다.

제안 방법

• 식 $2\sum_{n=1}^{\infty} \frac{\psi(n)}{n^k} = k\zeta(k+1) - 2\gamma\zeta(k) - \sum_{\ell=1}^{k-2} \zeta(\ell+1)\zeta(k-\ell)$를 이용하며, 여기서 $\psi(n) = H_{n-1} - \gamma$이다.
• 저자들은 주요 합을 기하급수와 로그 전개를 사용하여 $\sum_{k=3}^{\infty} \frac{\zeta(k)-1}{k}$ 및 $\sum_{k=3}^{\infty} (\zeta(k+1)-1)$와 같은 기본 성분으로 분해한다.
• 히르체츠 제타 함수와 다이감마 함수에 대해 부분합의 합산을 체계적으로 적용하여, $\zeta(s+1,a) = \sum_{r=0}^{\infty} [\psi(a+r+1) - \psi(a)] \left( \frac{1}{(r+a)^s} - \frac{1}{(r+a+1)^s} \right)$와 같은 새로운 항등식을 도출한다.
• 함수 $\xi(x)$가 도입되며, 다음과 같은 적분 형태로 표현된다: $\xi(x) = \int_0^\infty (e^{(1-x)t} - 1) \frac{\ln(1 - e^{-t})}{1 - e^t} dt$ 및 $\xi(x) = \int_0^1 (u^{x-1} - 1) \frac{\ln(1 - u)}{u - 1} du$.
• 저자들은 알려진 로그 조화합 항등식, 예를 들어 $\sum_{n=2}^\infty \left( \ln\left(\frac{n}{n-1}\right) - \frac{1}{n} \right) = 1 - \gamma$를 사용하여 핵심 부분합을 평가한다.
• 수치적 검증은 알려진 값들인 $\zeta(2) = \frac{\pi^2}{6}$, $\zeta(3) \approx 1.202$, $\gamma \approx 0.5772$를 활용하여 최종 간소화 과정에서 사용된다.

실험 결과

연구 질문

• RQ1 문제 11585에서 제기된 무한합 $\sum_{k=3}^{\infty} \frac{1}{k} \left[ \sum_{m=1}^{k-2} \zeta(k-m)\zeta(m+1) - k \right]$의 정확한 값은 무엇인가?
• RQ2 원래 제타 곱 합의 교대합 형태를 유도하고 닫힌 형태로 평가할 수 있는가?
• RQ3 히르체츠 제타, 디감마, 트리감마 함수에 대해 새로운 부분합의 합산 항등식을 어떻게 수립할 수 있는가?
• RQ4 제곱된 디감마 함수 $[\psi(x) + \gamma]^2$와 관련된 함수 $\xi(x)$는 적분 및 급수 형태로 어떻게 표현할 수 있는가?
• RQ5 부분합의 합산 기법을 사용하여 기존의 제타 및 관련 함수의 적분 표현을 어떻게 보완하거나 수정할 수 있는가?

주요 결과

• 주요 합은 정확히 $3 + \gamma^2 + 2\gamma_1 - \frac{\pi^2}{3}$로 평가되며, 여기서 $\gamma$는 오일러-마스케로니 상수이고 $\gamma_1$는 첫 번째 스티엘티우스 상수이다.
• 교대합 형태가 도출되었으며, $\sum_{r=1}^{\infty} \frac{1}{2r+1} \left[ \sum_{\ell=1}^{2r-1} (-1)^{\ell+1} \zeta(\ell+1)\zeta(2r-\ell+1) - 2 \right] = \sum_{n=2}^{\infty} \frac{1}{n} \ln\left(\frac{n}{n-1}\right) + 2 - \zeta(2) - 2\gamma_1 - \gamma^2 - \ln 2$이다.
• 적분 표현 $\int_0^\infty \frac{\sin u}{u} e^{-ku} du = \cot^{-1}k$가 적분 기호 아래 미분을 통해 유도되었으며, 수치적으로 확인되었다.
• 함수 $\xi(x)$는 $\xi(x) = \sum_{n=1}^\infty H_n \left( \frac{1}{x+n} - \frac{1}{n+1} \right)$를 만족하며, $[0,1]$에서의 적분값은 $\frac{1}{2}(\zeta(2) - \gamma^2 - 2\gamma_1)$이다.
• [4]의 식 (44.8.5)에 대한 수정이 제시되었으며, 원래의 적분 표현은 조정이 필요하며, 부분합의 합산을 통해 새로운 타당한 형태가 도출되었다.
• $\lim_{s \to 0} [\zeta'(s+1,a) - \zeta'(s+1,b)] = \gamma_1(b) - \gamma_1(a)$라는 항등식이 확인되었으며, 이로부터 $\gamma_1 - \gamma_1(1/2) = \ln^2 2 + 2\gamma \ln 2$임을 유도할 수 있다.