[논문 리뷰] Arithmetic theory of harmonic numbers (II)

Zhi‐Wei Sun, Lilu Zhao|arXiv (Cornell University)|2009. 11. 23.

Advanced Mathematical Identities참고 문헌 10인용 수 4

한 줄 요약

이 논문은 조화수의 순서 m을 포함하는 가중 조화합에 대한 새로운 p진 합동식을 수립하며, p가 홀수 소수이고 p−1∤6n일 때 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n} ≡ 0 (mod p)임을 증명하고, p > 6n+1일 경우 베르누이 수를 포함하는 p² 수준의 합동식으로 이를 정밀화한다. 주요 결과는 p진 해석과 베르누이 수 항등식을 이용하여 선 씨의 이러한 합의 구조에 대한 추측을 모od p²에서 확인한다.

ABSTRACT

For $k=1,2,\ldots$ let $H_k$ denote the harmonic number $\sum_{j=1}^k 1/j$. In this paper we establish some new congruences involving harmonic numbers. For example, we show that for any prime $p>3$ we have $$\sum_{k=1}^{p-1}\frac{H_k}{k2^k}\equiv\frac7{24}pB_{p-3}\pmod{p^2},\ \ \sum_{k=1}^{p-1}\frac{H_{k,2}}{k2^k}\equiv-\frac 38B_{p-3}\pmod{p},$$ and $$\sum_{k=1}^{p-1}\frac{H_{k,2n}^2}{k^{2n}}\equiv\frac{\binom{6n+1}{2n-1}+n}{6n+1}pB_{p-1-6n}\pmod{p^2}$$ for any positive integer $n

연구 동기 및 목표

• p−1∤6n인 홀수 소수 p에 대해 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n} ≡ 0 (mod p)임을 증명하는 선 씨의 추측을 입증한다.
• p > 6n+1일 경우 동일한 합에 대해 베르누이 수로 표현된 보다 정밀한 p² 수준의 합동식을 수립한다.
• 조화수의 산술 이론을 확장하여, 베르누이 수와 p진 값매김과의 연결을 시도한다.
• 생성함수와 조합 항등식을 이용하여 H_{k,m}^2 / k^m를 포함하는 가중 조화합에 대한 체계적인 p진 분석을 제공한다.
• p진 기법과 베르누이 수 산술을 사용하여 이전의 소수 거듭제곱 모듈로에 대한 조화합 합동식 추측을 검증하고 일반화한다.

제안 방법

• p진 합동식과 B_{p−1−k}의 성질을 활용하여 조화합을 mod p 및 mod p²에서 분석한다.
• 조화수 H_{n,m} 및 그 제곱에 대한 알려진 항등식을 적용하며, 특히 생성함수를 통해 ∑_{k=1}^n inom{n}{k} (-1)^{k-1}/k H_k = H_{n,2}를 표현한다.
• ∑_{k=1}^{p-1} H_k / k ≡ (p/3) B_{p−3} (mod p²) 및 (−1)^k / k^m를 포함하는 유사한 합을 활용하여 핵심 합동식을 유도한다.
• 베르누이 다항식과 바이어슈트라스-클로이제르 정리를 사용하여 ∑_{j=0}^{k-1} j^{p-1−r}의 전개를 통해 합을 mod p로 간소화한다.
• 조합 항등식 ∑_{k=1}^m inom{k-1}{r-1} = inom{m}{r}과 p 모듈로에서의 이항계수 간소화를 통해 이중합을 단순화한다.
• 대칭적인 이중합 조작과 인덱스(j<k)의 대칭성을 활용하여 H_{p-1,3m}과 조화합 제곱에서의 교차항을 분리한다.

실험 결과

연구 질문

• RQ1 p−1∤6n인 모든 홀수 소수 p에 대해 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n}가 mod p에서 0이 되는가?
• RQ2 이 합동식의 p² 수준 정밀화가 가능한가? 만약 가능하다면, 베르누이 수로 표현된 명시적 공식은 무엇인가?
• RQ3 ∑_{k=1}^{p-1} H_k / (k 2^k) 및 ∑_{k=1}^{p-1} H_{k,2} / (k 2^k)는 mod p²에서 어떻게 행동하며, 베르누이 수와 어떤 관계가 있는가?
• RQ4 s(n) = inom{6n+1}{2n-1} + n이라는 정수의 역할은 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n}의 p²-합동식에서 무엇인가?
• RQ5 조화합 ∑_{k=1}^{p-1} H_{k,m}^2 / k^m의 p진 값매김은 지수 m과 소수 p와 어떻게 관련이 있는가?

주요 결과

• p−1∤6n인 모든 홀수 소수 p에 대해 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n} ≡ 0 (mod p)가 성립하며, 이는 선 씨의 두 번째 추측을 확인한다.
• p > 6n+1일 경우, 합은 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n} ≡ [s(n)/(6n+1)] p B_{p−1−6n} (mod p²)로 p² 수준의 합동식을 만족하며, 여기서 s(n) = inom{6n+1}{2n−1} + n이다.
• 3보다 큰 소수 p에 대해 ∑_{k=1}^{p-1} H_k / (k 2^k) ≡ (7/24) p B_{p−3} (mod p²)임을 확인하여 선 씨의 추측 1.1의 첫 번째 부분을 검증한다.
• ∑_{k=1}^{p-1} H_{k,2} / (k 2^k) ≡ −(3/8) B_{p−3} (mod p)임을 확인하여 p 수준의 정밀화를 제공한다.
• 이중합 ∑_{1≤j<k≤p−1} (1/j^{2m} k^m + 2/j^m k^{2m}) ≡ [(-1)^m / (m+1)(2m+1)] inom{3m}{m} B_{p−1−3m} (mod p)가 유도되었으며, 주요 증명에 사용된다.
• ∑_{k=1}^{p−1} H_k / k ≡ (p/3) B_{p−3} (mod p²)는 p진 조화합 항등식을 사용하여 핵심 중간 결과로 확립된다.