[논문 리뷰] On Bernoulli Numbers and Its Properties

Lin Cong|ArXiv.org|2004. 08. 06.

History and Theory of Mathematics참고 문헌 2인용 수 4

한 줄 요약

이 종합 논문은 베르누이 수의 역사적 발전, 생성함수를 통한 현대적 정의, 삼각함수 및 쌍곡함수의 급수 전개에서의 등장 등을 포괄적으로 개괄한다. 클라우젠-폰 슈타우트 정리, 정규 소수를 통한 페르마의 마지막 정리에서의 역할, 그리고 수백만 자리가 넘는 매우 큰 베르누이 수를 계산할 수 있는 효율적 계산 방법 등 핵심 성질을 상세히 기술한다. 특히 300만 자리가 넘는 B_{750,000}을 포함한 초거대 수의 계산이 가능하다.

ABSTRACT

In this survey paper, I first review the history of Bernoulli numbers, then examine the modern definition of Bernoulli numbers and the appearance of Bernoulli numbers in expansion of functions. I revisit some properties of Bernoulli numbers and the history of the computation of big Bernoulli numbers.

연구 동기 및 목표

• 고전적 거듭제곱의 합 공식에서 현대적 응용에 이르기까지 베르누이 수의 역사적 및 수학적 서론을 제공한다.
• 베르누이 수가 코탄젠트, 쌍곡코탄젠트, 탄젠트, 쌍곡탄젠트 함수의 급수 전개에서 차지하는 역할을 설명한다.
• 클라우젠-폰 슈타우트 정리 및 정규 소수와 비정규 소수와의 연결을 포함한 깊이 있는 수론적 성질을 탐구한다.
• Euler의 계산에서부터 현대의 고정밀 알고리즘에 이르기까지 계산 기술의 발전을 검토하며, 수백만 자리의 베르누이 수 계산을 가능하게 한다.
• 베르누이 수가 수론에서 가지는 중요성을 부각시키며, 키퍼의 작업에서 페르마의 마지막 정리에 대한 결정적 역할을 설명한다.

제안 방법

• 생성함수 $ \frac{x}{e^x - 1} = \sum_{n=0}^\infty \frac{B_n x^n}{n!} $를 통해 베르누이 수를 유도함으로써 정의와 재귀관계를 설정한다.
• 생성함수를 활용해 $ \coth(x) $, $ \cot(x) $, $ \tanh(x) $, $ \tan(x) $의 급수 전개를 유도하며, 짝수 인덱스의 베르누이 수와 연결한다.
• 클라우젠-폰 슈타우트 정리를 적용하여 $ B_{2k} $의 분수부분을 $ p-1 \mid 2k $인 소수 $ p $의 역수의 합으로 표현함으로써 $ B_{2k} + \sum_{(p-1)\mid 2k} \frac{1}{p} \in \mathbb{Z} $임을 증명한다.
• 리만 제타 함수 관계식 $ \zeta(2k) = (-1)^{k-1} \frac{(2\pi)^{2k}}{2(2k)!} B_{2k} $를 활용하여 재귀 계산 없이도 큰 베르누이 수를 직접 계산할 수 있도록 한다.
• 스팅어링의 근사법을 사용하여 큰 $ k $에 대해 $ B_{2k} \simeq (-1)^{k-1} 4 \left( \frac{k}{\pi e} \right)^{2k} \sqrt{\pi k} $의 점근적 추정식을 도출한다.
• 역사적 및 현대적 계산 기록을 검토하며, 제타-베르누이 관계를 활용해 개인용 컴퓨터에서 $ B_{200,000} $ 및 $ B_{750,000} $를 직접 평가한 사례를 기술한다.

실험 결과

연구 질문

• RQ1 베르누이 수는 $ \sum_{k=1}^{n-1} k^r $의 합 공식에서 어떻게 나타나며, $ n $에 대한 다항식으로 거듭제곱의 합을 표현하는 데 어떤 역할을 하는가?
• RQ2 베르누이 수는 $ \cot(x) $, $ \coth(x) $, $ \tan(x) $, $ \tanh(x) $의 급수 전개와 어떤 연관이 있는가?
• RQ3 클라우젠-폰 슈타우트 정리는 $ B_{2k} $의 분수부분을 어떻게 결정하며, 베르누이 수의 분모에 어떤 영향을 미치는가?
• RQ4 베르누이 수는 키퍼의 정규 소수 기준을 통해 페르마의 마지막 정리의 증명에 어떤 방식으로 영향을 미치는가?
• RQ5 어떤 계산 기법이 $ B_{750,000}과 같은 초거대한 베르누이 수를 직접이고 효율적으로 계산할 수 있게 하는가?

주요 결과

• 생성함수 $ \frac{x}{e^x - 1} = \sum_{n=0}^\infty \frac{B_n x^n}{n!} $는 현대적 베르누이 수의 정의를 제공하며, $ B_0 = 1 $, $ B_1 = -\frac{1}{2} $, $ B_2 = \frac{1}{6} $, 그리고 $ n \geq 1 $일 때 $ B_{2n+1} = 0 $임을 포함한다.
• $ x \cot(x) = \sum_{n=0}^\infty (-1)^n \frac{2B_{2n} (2x)^{2n-1}}{(2n)!} $의 급수 전개는 베르누이 수와 삼각함수 간의 연관성을 나타낸다.
• 클라우젠-폰 슈타우트 정리는 $ B_{2k} + \sum_{(p-1)\mid 2k} \frac{1}{p} $가 정수임을 주장하며, $ B_{2k} $의 분수부분을 정확히 결정할 수 있도록 한다; 예를 들어 $ B_{16} \equiv \frac{463}{510} \pmod{1} $이다.
• 소수 $ p = 3n+1 $에 대해 $ B_{2p} $의 분수부분은 정확히 $ \frac{1}{6} $이며, $ B_{14}, B_{26}, B_{38}, \dots $에서 관찰된다. 이는 조건을 만족하는 소수의 집합이 제한되어 있기 때문이다.
• 키퍼는 페르마의 마지막 정리가 소수 $ p $에 대해 성립함을 증명하기 위해, $ p $가 어떤 $ B_{2k} $의 분자도 나누지 않는 정규 소수일 경우를 증명하였다; 37은 첫 번째 비정규 소수로, $ B_{32} $의 분자에 포함된다.
• 제타 함수 관계식과 직접 계산을 활용하여 플루프와 피는 개인용 컴퓨터에서 21시간 만에 3,391,993자리의 $ B_{750,000} $을 계산하여, 가장 큰 명시적 계산된 베르누이 수 기록을 수립하였다.