[논문 리뷰] Another elementary proof of $\: \sum_{n \ge 1}{1/{n^2}} = \pi^2/6\,$ and a recurrence formula for $\,\zeta{(2k)}$

F. M. S. Lima|arXiv (Cornell University)|2011. 09. 19.

Advanced Mathematical Identities참고 문헌 1인용 수 2

한 줄 요약

이 논문은 Dancs와 He의 방법에 기반한 수정된 급수 전개 기법을 사용하여 베르부르그 문제의 초등적 증명을 제시한다. 이는 ∑₁^∞ 1/n² = π²/6임을 보이며, ζ(2k)에 대한 재귀 공식을 유도하여, 오일러의 공식이나 베르누이 수에 의존하지 않고도 ζ(2k)/π²ᵏ가 유리수임을 증명한다.

ABSTRACT

In this shortnote, a series expansion technique introduced recently by Dancs and He for generating Euler-type formulae for odd zeta values $\:\zeta{(2 k +1)}$, $\zeta{(s)}$ being the Riemann zeta function and $k$ a positive integer, is modified in a manner to furnish the even zeta values $ \zeta{(2k)}$. As a result, I find an elementary proof of $\sum_{n=1}^\infty{{1/{n^2}}} = {\pi^2/6}$, as well as a recurrence formula for $\zeta{(2k)}$ from which it follows that the ratio ${\zeta{(2k)} / \pi^{2k}}$ is a rational number, without making use of Euler's formula and Bernoulli numbers.

연구 동기 및 목표

• 복소해석학, 푸리에 급수, 혹은 다重 적분을 사용하지 않고 ∑₁^∞ 1/n² = π²/6의 초등적 증명을 제공하는 것.
• Dancs-He 급수 전개 기법의 수정된 버전을 사용하여 짝수 제타 값 ζ(2k)에 대한 재귀 공식을 도출하는 것.
• 오일러의 공식이나 베르누이 수에 의존하지 않고도 모든 양의 정수 k에 대해 ζ(2k)/π²ᵏ가 유리수임을 보이는 것.
• 余弦 기반 급수 치환을 통해 Dancs-He 방법의 적용 범위를 홀수 제타 값에서 짝수 제타 값으로 확장하는 것.

제안 방법

• sin(nπ) 대신 cos(nπ) = (−1)ⁿ을 사용하여 짝수 제타 값이 포함된 급수를 생성하는 방식으로 Dancs-He 급수 전개 기법을 수정한다.
• 보조 함수 f(u) = ∑₁^∞ (1/u)ⁿ / n²를 정의하고, cos(nπ)를 π에 대한 테일러 급수로 전개하여 φₘ(u)를 포함하는 이重 합을 도출한다.
• 내부 합을 φₘ(u)로 표현하며, 음수 인덱스의 경우 φ₋ₘ(1) = 2(1 − 2¹⁻ᵐ)ζ(m)를 통해 ζ(m)와 관련지운다.
• u → 1⁺로의 극한을 평가하여 결과 식에서 ζ(2)를 추출하며, 오일러 다항식 Eₘ(1)의 알려진 값을 활용한다.
• 지수 2를 2k로 대체하여 고차 짝수 제타 값으로의 일반화를 도모하고, ζ(2k)에 대한 재귀 공식을 도출한다.
• 계수로 팩토리얼 및 조합론적 항을 유도한 유한 합을 포함하는 재귀 공식을 유도한다.

실험 결과

연구 질문

• RQ1 복소해석학이나 푸리에 급수를 사용하지 않고 ∑₁^∞ 1/n² = π²/6의 초등적 증명을 구성할 수 있는가?
• RQ2 Dancs-He 급수 방법을 홀수 값뿐 아니라 짝수 제타 값 ζ(2k)의 계산에도 적용할 수 있는가?
• RQ3 도출된 ζ(2k)에 대한 재귀 공식이 오일러의 공식이나 베르누이 수를 언급하지 않고도 ζ(2k)/π²ᵏ가 유리수임을 시사하는가?
• RQ4 cos(nπ) = (−1)ⁿ의 역할은 무엇인가? 이는 급수를 짝수 제타 값만을 포함하는 형태로 변환하는 데 어떤 기여를 하는가?
• RQ5 오일러 다항식의 생성함수를 어떻게 활용하여 u → 1⁺에서 φₘ(u)와 제타 값 간의 관계를 설정할 수 있는가?

주요 결과

• 논문은 φ₋₂(1)을 포함하는 급수 전개의 극한 과정을 통해 ∑₁^∞ 1/n² = π²/6를 확립하며, 간단화 후 ζ(2) = π²/6을 도출한다.
• ζ(2k)에 대한 재귀 공식이 도출된다: (4 − 4/2²ᵏ)ζ(2k) = ∑ₘ₌₁^{k−1} (−1)ᵏ⁻ᵐ⁺¹/(2k−2m)! (2 − 4/2²ᵐ)π²ᵏ⁻²ᵐζ(2m) − (−1)ᵏπ²ᵏ/(2k)!
• k = 2일 때 재귀 공식은 ζ(4) = π⁴/90을 도출하며, 기존 값과 일치하여 공식의 정확성을 확인한다.
• 오일러의 공식이나 베르누이 수에 의존하지 않고도 모든 양의 정수 k에 대해 ζ(2k)/π²ᵏ가 유리수임을 수학적 귀납법으로 증명한다.
• 복소해석학, 푸리에 급수, 다중 적분을 피하고, 오직 테일러 급수, 푸비니 정리, 오일러 다항식의 성질에 의존한다.
• 재귀 공식이 ζ(2k)/π²ᵏ가 유리수임과 동치임을 보이며, 유리 계수를 갖는 재귀 공식이 유도 과정에서 유리수 성질을 유지함을 입증한다.