[논문 리뷰] A Note on Harmonic number identities, Stirling series and multiple zeta values

Markus Kuba, Alois Panholzer|ArXiv.org|2018. 07. 02.

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

한 줄 요약

이 논문은 잘라낸 다중 리만 제타 및 제타 스타 값의 일반화된 급수를 도입하며, 이를 스틸링 급수, 오일러 합, 아라카와-카네코 제타 함수와 연결한다. 중간 다중 제타 값에 대한 행렬식 표현을 수립하고, 이러한 표현이 t=0(일반 제타) 및 t=1(스타 제타)일 때에만 존재하며, t=1/2일 경우 특수한 경우로 조화수를 포함하는 새로운 공식을 도출함을 증명한다.

ABSTRACT

We study a general type of series and relate special cases of it to Stirling series, infinite series discussed by Choi and Hoffman, and also to special values of the Arakawa-Kaneko zeta function, complementing and generalizing earlier results. Moreover, we survey properties of certain truncated multiple zeta and zeta star values, pointing out their relation to finite sums of harmonic numbers. We also discuss the duality result of Hoffman, relating binomial sums and truncated multiple zeta star values.

연구 동기 및 목표

• 잘라낸 다중 제타 및 제타 스타 값이 포함된 일반화된 급수 S(ℓ₁,ℓ₂,r₁,r₂)를 연구한다.
• 이 급수가 스틸링 급수 및 호프만 유형 오일러 합과 같은 알려진 합 클래스와 어떻게 관련되어 있는지 밝힌다.
• 중간 다중 제타 값 ζⁿᵗ({1}ᵏ)에 대한 행렬식 표현을 조사하고, 그 존재 조건을 규명한다.
• 조화수 항등식을 활용하여 아라카와-카네코 제타 함수 및 잘라낸 제타 값에 관한 결과를 일반화한다.

제안 방법

• 조화수, 이항계수, 잘라낸 제타 함수를 사용하여 급수 S 및 그 잘라낸 형태 Sₙ을 정의한다.
• 스터플 곱과 생성함수 기법을 활용하여 ζⁿᵗ({1}ᵏ)를 조화수 Hₙ⁽ⁱ⁾에 대한 다항식으로 전개한다.
• 라플라스 전개와 계수 비교를 적용하여 행렬식 표현의 존재 조건을 규명한다.
• 호프만과 이하라의 대수적 프레임워크를 활용하여 t=1/2에서 ζⁿᵗ({1}ᵏ)의 생성 급수를 유도한다.
• 스터플 관계의 반복적 적용을 통해 ζⁿᵗ({1}ᵏ)의 구조를 분석하고 명시적인 다항식 표현을 도출한다.
• 계수 매칭에서 유도된 방정식계를 풀어 k≥5 및 t≠0,1일 때 행렬식 형태의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 ζⁿᵗ({1}ᵏ) = (1/k!)|H| 형태의 행렬식 표현이 존재하는 t의 값은 무엇인가?
• RQ2 일반화된 급수 S(ℓ₁,ℓ₂,r₁,r₂)는 스틸링 급수 및 아라카와-카네코 제타 함수와 어떻게 관련되어 있는가?
• RQ3 t=1/2일 때, 중간 제타 값 ζⁿᵗ({1}ᵏ)는 조화수로 표현될 수 있는가?
• RQ4 t=0과 t=1 이외의 경우에 이러한 행렬식 공식의 존재에 필요한 필수 및 충분 조건은 무엇인가?
• RQ5 ζⁿᵗ({1}ᵏ)는 일반화된 조화수 Hₙ⁽ⁱ⁾에 대한 다항식으로서 어떤 구조를 갖는가?

주요 결과

• ζⁿᵗ({1}ᵏ)에 대한 행렬식 표현은 t=0(일반 제타) 및 t=1(스타 제타)일 때에만 존재하며, t=1/2일 경우 특수한 경우가 있다.
• t=1/2 및 k=4일 때, ζⁿᵗ({1}⁴) = (1/24)[Hₙ⁴ + 2HₙHₙ⁽³⁾]이며, c₁=0, c₂=i√2, c₃=−i√2이다.
• k=5 및 t=1/2일 때, ζⁿᵗ({1}⁵) = (1/80)Hₙ⁽⁵⁾ + (1/24)Hₙ²Hₙ⁽³⁾ + (1/120)Hₙ⁵이지만, 행렬식 형태는 존재하지 않는다.
• 계수 비교 방법을 통해 일반적인 k에 대해 유일하게 t=0 및 t=1이 요구되는 방정식계를 만족함을 증명한다.
• t=1/2일 때, ζⁿᵗ({1}ᵏ)는 벨 다항식을 포함하는 생성 급수 공식을 갖는다: Bₖ₋₁(0!·2Hₙ⁽¹⁾, 0, 2!·2Hₙ⁽³⁾, 0, …).
• t=1/2의 경우 모든 짝수 차수의 일반화된 조화수 Hₙ⁽²ˡ⁾는 0이 되어 표현식이 단순화된다.