[논문 리뷰] Generating function identities for $ζ(2n+2), ζ(2n+3)$ via the WZ method

Khodabakhsh Hessami Pilehrood, Tatiana Hessami Pilehrood|arXiv (Cornell University)|2008. 01. 10.

Advanced Mathematical Identities참고 문헌 7인용 수 9

한 줄 요약

이 논문은 Wilf-Zeilberger(WZ) 방법을 사용하여 ζ(2n+2) 및 ζ(2n+3)에 대한 기존 생성함수 항등식의 간소화되고 알고리즘화된 증명을 제공하며, 리만 제타 함수 값에 대해 수렴 속도가 빠른 새로운 표현을 도출한다. 주요 기여는 기하 수렴 비율 1/1024에 이르는 Apéry 유사 급수의 체계적인 WZ 기반 유도로, ζ(3), ζ(5), 그리고 더 높은 홀수 및 짝수 제타 값에 대한 새로운 공식을 포함한다.

ABSTRACT

Using the WZ method we present simpler proofs of Koecher's, Leshchiner's and Bailey-Borwein-Bradley's identities for generating functions of the sequences $\{ζ(2n+2)\}_{n\ge 0}, \{ζ(2n+3)\}_{n\ge 0}.$ By the same method we give several new representations for these generating functions yielding faster convergent series for values of the Riemann zeta function.

연구 동기 및 목표

• WZ 방법을 사용하여 ζ(2n+2) 및 ζ(2n+3)에 대한 고전적 생성함수 항등식의 간소화되고 알고리즘화된 증명을 제공한다.
• 리만 제타 함수 값에 대해 수렴 속도가 빠른 새로운 생성함수 표현을 도출한다.
• 특히 ζ(3), ζ(5), 그리고 그 이상의 고차 제타 값에 대해 WZ 방법의 적용 범위를 확장한다.
• 기하 수렴 비율이 최소 1/1024에 이르는 개선된 수렴 속도를 가진 새로운 Apéry 유사 급수를 확립한다.
• 초함수 및 Pochhammer 기호 기반 항등식을 통해 생성함수를 표현하여 기존 결과를 통합하고 일반화한다.

제안 방법

• F(n,k)와 G(n,k)로 이루어진 WZ 쌍을 구성하여 함수 방정식 F(n+1,k) - F(n,k) = G(n,k+1) - G(n,k)를 만족시킨다.
• WZ 이론의 보조정리 1을 적용: ∑ₖ F(0,k) = ∑ₙ G(n,0)로 k에 대한 급수와 n에 대한 급수를 연결한다.
• Pochhammer 기호 (λ)ₙ과 이항계수를 사용하여 F(n,k) 및 G(n,k)의 초함수 항을 표현한다.
• 복소수 변수 a를 포함하는 매개변수를 통해 F(n,k)를 설계하여 a²의 거듭제곱에 대한 생성함수를 유도한다.
• WZ 알고리즘을 적용하여 수렴 속도가 향상된 새로운 WZ 쌍을 도출하며, 이는 1/64 또는 1/1024 수준의 수렴 비율을 가진 항등식을 생성한다.
• WZ 쌍의 대칭성과 곱 구조를 활용하여 ∏ₘ₌₁ⁿ⁻¹(1 - a²/m²) 또는 (1 - 4a²/m²)과 같은 곱의 형태를 포함하는 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 WZ 방법을 사용하여 ζ(2n+2) 및 ζ(2n+3)에 대한 기존 생성함수 항등식에 대해 더 단순하고 알고리즘화된 증명을 얻을 수 있는가?
• RQ2 WZ 방법을 통해 ζ(s) 값에 대해 수렴 속도가 향상된 새로운 생성함수 항등식을 유도할 수 있는가?
• RQ3 WZ 방법을 통해 유도된 새로운 Apéry 유사 급수의 수렴 속도는 ζ(2n+2) 및 ζ(2n+3)에 대해 어떻게 되는가?
• RQ4 WZ 방법은 Koecher, Leshchiner, Bailey-Borwein-Bradley의 공식과 같은 기존 공식을 통합하거나 일반화할 수 있는가?
• RQ5 WZ 프레임워크를 어떻게 확장하여 ζ(5), ζ(7) 등에 대해 더 나은 유리수 또는 초함수 수렴을 가지는 급수를 생성할 수 있는가?

주요 결과

• 논문은 Koecher의 항등식 ∑ₖ ζ(2k+3)a²ᵏ = ∑ₙ 1/(n(n²−a²))에 대해 새로운 단순화된 WZ 기반 증명을 제공한다.
• 새로운 생성함수 항등식이 도출되었으며, ∑ₖ 1/(k(k²−a²)) = ∑ₙ [ (a⁴ − a²(32n²−10n+1) + 2n²(56n²−32n+5)) / (2n³ binom(2n,n) binom(3n,n) ((2n−1)²−a²)(4n²−a²)) ] × ∏ₘ₌₁ⁿ⁻¹(a²/m² − 1)로 표현되며, 기하 수렴 비율 1/64로 수렴한다.
• ∑ₖ 1/(k²−a²)에 대한 새로운 항등식이 도출되었으며, 수렴 속도는 1/64이며, ζ(2) = ∑ₙ (21n−8)/(n³ binom(2n,n)³) 및 ζ(4)는 이러한 급수의 조합으로 표현된다.
• ∑ₖ 1/(k(k²−a²))에 대한 새로운 식이 발견되었으며, 수렴 비율은 1/1024로, ζ(3) = (1/2)∑ₙ (-1)ⁿ⁻¹(205n²−160n+32)/(n⁵ binom(2n,n)⁵)로 표현되며, Amdeberhan과 Zeilberger가 이전에 구한 결과와 일치한다.
• 생성함수에서 a²의 계수를 비교함으로써 ζ(5)에 대한 새로운 급수를 도출하였으며, 이는 유리수 및 조화수 유사 항을 포함하는 이중 합 표현이다.
• WZ 방법은 ζ(2n+2) 및 ζ(2n+3)에 대해 기존 표현보다 수렴 속도가 훨씬 빠른 여러 개의 새로운 Apéry 유사 급수를 성공적으로 유도하였다.