[논문 리뷰] Some infinite series involving hyperbolic functions

Ce Xu|arXiv (Cornell University)|2017. 07. 19.

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

한 줄 요약

이 논문은 쌍곡함수를 포함하는 무한급수를 평가하기 위해 윤곽적분과 잔여치 미적분 기법을 개발하며, 이를 통해 리만 제타 함수 값으로 명시적으로 표현되는 결과를 도출한다. 주요 기여는 Ramanujan의 ζ(2n+1) 공식 유도, 새로운 급수 항등식 수립, 잔여치 기반의 합산 기법을 통한 지수함수 및 쌍곡함수 항을 포함하는 무한곱 계산이다.

ABSTRACT

This paper develops an approach to the evaluation of infinite series involving hyperbolic functions. By using the approach, we give explicit formulas for several classes of series of hyperbolic functions in terms of Riemann zeta values. Moreover, we also establish many relations involving two or more series of hyperbolic functions. Furthermore, we obtain the Ramanujan's formula for ζ(2n + 1) and find another similar formulas. The approach is based on simple contour integral representations and residue computations. Some interesting (known or new) consequences and illustrative examples are considered.

연구 동기 및 목표

• 복소해석학 기법을 활용해 쌍곡함수를 포함하는 무한급수를 체계적으로 평가할 수 있는 방법을 개발한다.
• 이러한 급수를 기존 결과를 확장하여 리만 제타 함수 값으로 표현한다.
• Ramanujan의 ζ(2n+1) 공식을 유도하고, 유사한 새로운 항등식을 발견한다.
• 쌍곡급수, 조화수, 특수 무한곱 간의 관계를 수립한다.
• 잔여치 이론을 활용해 지수함수 및 쌍곡함수 항을 포함하는 특정 무한곱의 정확한 값을 계산한다.

제안 방법

• 무한급수를 유한 잔여치 계산으로 환원함으로써 윤곽적분과 잔여정리로 급수를 평가한다.
• 핵심 함수와 O(s⁻²)로 감소하는 유리함수에 대해 Lemma 1.1을 적용하여 합의 항등식을 도출한다.
• 쌍곡함수 및 삼각함수의 이차 곱의 부분분수 전개를 핵심 도구로 활용한다.
• 베르누이 수와 오일러 수의 생성함수를 활용해 급수와 제타 함수 값을 연결한다.
• 리만 제타 함수의 함수방정식과 시타 함수의 모듈라 성질을 무한곱 평가에 적용한다.
• coth 및 tanh 함수를 포함하는 급수와 관련지어 무한곱의 닫힌 형태 표현을 유도한다.

실험 결과

연구 질문

• RQ1 복소해석학 기법을 활용해 쌍곡함수 급수를 체계적으로 평가할 수 있는가?
• RQ2 이러한 급수와 기껏해야 홀수 정수에서의 리만 제타 함수 간의 정확한 관계는 무엇인가?
• RQ3 잔여치 미적분을 통해 Ramanujan의 ζ(2n+1) 공식을 재유도하고 확장할 수 있는가?
• RQ4 지수함수 및 쌍곡함수 항을 포함하는 특정 무한곱의 닫힌 형태 평가가 가능한가?
• RQ5 조화수는 쌍곡함수를 포함하는 무한급수와 어떻게 상호작용하는가?

주요 결과

• 논문은 윤곽적분과 잔여치 계산을 통해 Ramanujan의 ζ(2n+1) 공식을 도출한다.
• ζ(2n+1)에 대해 Ramanujan의 공식과 유사한 새로운 공식을 수립하여 기존의 홀수 제타 값 결과를 확장한다.
• ∑₁^∞ 1/(n sinh(πn)) = π/12 − (1/4)log 2 와 같이 특정 급수의 명시적 평가를 얻는다.
• ∏ₙ₌₁^∞ (1 + e^−πn) = 2^(-1/8) e^(π/24) 와 같은 무한곱의 닫힌 형태 평가를 수행한다.
• 잔여치 기반 항등식을 활용해 ∏ₙ₌₁^∞ (1 − e^−πn) = π^(1/4) e^(π/24) / (2^(3/8) Γ(3/4)) 의 정확한 값을 계산한다.
• 항등식 ∑₁^∞ (coth(πn)/n)(−1)^(n−1) = (1/4)log 2 + π/6 은 곱 전개를 통해 증명된다.