[논문 리뷰] Series with summands involving harmonic numbers

Zhi‐Wei Sun|arXiv (Cornell University)|2022. 10. 13.

Advanced Mathematical Identities인용 수 10

한 줄 요약

이 논문은 중심 이항계수를 포함한 라마누잔 유형 급수에 대한 조화수의 순서 최대 3까지의 무한급수에 관한 66개의 추측을 제시한다. π, ζ(3), 캐럴턴 상수 G를 포함한 정확한 평가를 도출하며, 기존의 급수 항등식과 모듈라 형식에 기반하여 p^4 이상의 모듈로 p-진 합동식을 제안한다.

ABSTRACT

For each positive integer $m$, the $m$th order harmonic numbers are given by $$H_n^{(m)}=\sum_{0

연구 동기 및 목표

• 조화수의 순서 최대 3을 포함한 무한급수의 정확한 닫힌형 평가를 발견하기 위해.
• 1/π 및 π에 대한 라마누잔 유형 급수에 조화수 보정을 포함하여 확장하기 위해.
• 반데르하메의 추측에 영감을 받아 p^4 이상의 모듈로 p-진 합동식을 제안하고 뒷받질하기 위해.
• 중앙 이항계수와 조화합을 포함한 기존 항등식을 통합하고 일반화하기 위해.
• 특수 L함수의 값, 제타함수, 조합론적 급수 간의 연결 고리 탐색하기 위해.

제안 방법

• 생성함수와 초함수 항등식을 활용하며, 특히 ∑(6k+1) binom(2k,k)^3 x^k에 초점을 맞춘다.
• arcsin(x/2) 및 그 거듭제곱에 대한 알려진 급수 전개를 적용하여 H_n^(2) 및 H_n^(3)을 포함하는 항등식을 유도한다.
• p-진 L함수 이론과 q-아날로그를 활용하여 p^4 이상의 모듈로에 대한 추측적 합동식을 수립한다.
• 기존 결과와 수치적 증거를 바탕으로 기호 계산과 패턴 인식을 통해 새로운 항등식을 제안한다.
• 일반화된 초함수와 역중앙이항계수 급수를 활용하여 닫힌 형태를 도출한다.
• Ramanujan 유형 급수의 보정을 모델링하기 위해 H_{mk} 및 H_k를 포함하는 가중 조화합 표현을 도입한다.

실험 결과

연구 질문

• RQ1 형태 ∑(6k+1) binom(2k,k)^3 / 256^k (H_{2k}^{(3)} - c H_k^{(3)})의 급수에 대해 어떤 정확한 닫힌형이 도출될 수 있는가?
• RQ2 홀수 소수 p에 대해 중심 이항계수를 포함한 조화급수의 p-진 합동식은 p^4 모듈로에서 어떻게 행동하는가?
• RQ3 H_n^{(2)} 및 H_n^{(3)}을 포함하는 항등식은 Ramanujan 유형 급수에서 고차 조화수로 일반화될 수 있는가?
• RQ4 닫힌형에서 로그 항과 급수의 분모에 있는 대수적 수 사이의 관계는 무엇인가?
• RQ5 제안된 p-진 합동식은 모듈라 형식 또는 L함수의 특수값과 더 깊은 연결 고리를 가지는가?

주요 결과

• 논문은 ∑_{k=0}^∞ (6k+1) binom(2k,k)^3 / 256^k (H_{2k}^{(3)} - 7/64 H_k^{(3)}) = 25ζ(3)/(8π) - G 라는 추측을 제기한다. 여기서 G는 캐럴턴 상수이다.
• 논문은 ∑_{k=0}^∞ (6k+1) binom(2k,k)^3 / (-512)^k (H_{2k}^{(2)} - 5/16 H_k^{(2)}) = -√2 π / 48 라는 추측을 제안한다.
• ∑_{k=0}^∞ (6k+1) binom(2k,k)^3 / 256^k (H_{2k}^{(2)} - 5/16 H_k^{(2)}) 급수의 정확한 값은 π/12이다.
• 논문은 ∑_{k=0}^∞ (1640k^2 + 278k + 15) binom(2k,k)^2 binom(3k,k) binom(4k,2k) binom(6k,3k) / (-2^{22}3^3)^k × [(1640k^2 + 278k + 15)H(k) + 3280k + 278] = 256 / (√3 π²) log(2^{22}3^3) 라는 추측을 제기한다.
• 소수 p > 3에 대해, p-진 합동식 ∑_{k=0}^{p-1} [...] ≡ (3/p)(278p + 15p² q_p(2^{22}3^3) - 15/2 p³ q_p(2^{22}3^3)^2) mod p^4 가 성립한다.
• 논문은 ∑_{k=0}^∞ (1920k^2 + 304k + 15) binom(2k,k)^3 binom(4k,2k) binom(8k,4k) / (2^{18}7^4)^k × [(1920k^2 + 304k + 15)ℋ(k) + 1920k + 152] = 56√7 / π² (9 log 2 + 2 log 7) 라는 추측을 제기한다.