[논문 리뷰] On harmonic numbers and nonlinear Euler sums

Ce Xu, Yulin Cai|arXiv (Cornell University)|2016. 09. 16.

Advanced Mathematical Identities참고 문헌 41인용 수 4

한 줄 요약

이 논문은 조화수, 스틸링 수, 벨 수의 곱을 포함하는 비선형 올러 합에 대한 새로운 해석적 표현과 명시적 평가를 제시한다. 적분 표현과 생성함수를 이용하여, 무게 ≤ 5인 올러 합에 대해 리만 제타값과 다중로그함수를 이용한 닫힌 형태를 도출하며, 올러 합과 관련된 여러 유형에 대해 새로운 명시적 공식을 제공한다.

ABSTRACT

In this paper we are interested in Euler-type sums with products of harmonic numbers, Stirling numbers and Bell numbers. We discuss the analytic representations of Euler sums through values of polylogarithm function and Riemann zeta function. Moreover, we provide explicit evaluations for almost all Euler sums with weight 5, which can be expressed in terms of zeta values and polylogarithms. Furthermore, we give explicit formula for several classes of Euler-related sums in terms of zeta values and harmonic numbers, and several examples are given. The given representations are new.

연구 동기 및 목표

• 조화수, 스틸링 수, 벨 수를 포함하는 올러 합에 대한 해석적 표현을 개발하는 것.
• 무게 ≤ 5인 올러 합을 리만 제타값과 다중로그함수의 형태로 명시적으로 평가하는 것.
• 적분 항등식과 생성함수를 이용하여 올러 합과 관련된 여러 유형에 대해 새로운 닫힌 형태의 식을 유도하는 것.
• 이전의 올러 합의 환원 가능성 결과를 더 높은 무게와 더 복잡한 구조로 확장하는 것.
• 올러 합, 다중 제타값, 조화수 항등식 간의 관계를 탐색하는 것.

제안 방법

• 베타 함수와 조화수의 생성함수를 포함하는 적분 표현을 사용한다.
• 경로 적분과 급수 전개 방법을 적용하여 합을 다중로그함수 및 제타함수와 연결한다.
• 벨 다항식과 스틸링 수의 생성함수를 활용하여 합을 닫힌 형태로 표현한다.
• 생성함수를 곱하고 단위구간 (0,1) 에 대해 적분하여 핵심 항등식을 도출한다.
• 부분분수 분해와 재귀적 합산 기법을 사용하여 이중 및 삼중 합을 단순화한다.
• 편이된 분모 (n + r)(n + k) 를 가진 올러 유형 합의 기존 평가를 응용하여 새로운 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 조화수의 곱과 n의 거듭제곱을 포함하는 비선형 올러 합은 제타값과 다중로그함수의 형태로 표현될 수 있는가?
• RQ2 무게 ≤ 5인 올러 합의 명시적 닫힌 형태 평가는 무엇인가?
• RQ3 스틸링 수와 벨 수를 포함하는 합은 조화수 항등식과 어떻게 관련되는가?
• RQ4 올러 합과 다중 제타(스타) 값 사이의 구조적 관계는 무엇인가?
• RQ5 교대 조화수와 편이된 분모를 포함하는 합에 대해 새로운 항등식을 도출할 수 있는가?

주요 결과

• 모든 무게 ≤ 5인 올러 합은 제타값과 다중로그함수의 형태로 명시적으로 평가된다.
• 논문은 $ S_{112224,q} $ 와 같은 조화수의 서로 다른 차수의 곱을 포함하는 합에 대해 새로운 닫힌 형태의 식을 제공한다.
• $ extstylerac{H_n^{(m_1)}H_n^{(m_2)} - H_n^{(m_1+m_2)}}{(n+r)(n+k)} $ 와 같은 합에 대해 명시적 공식이 유도되었으며, 매개변수에 대한 유리수 의존성을 보여준다.
• 작성자들은 적분 변환을 통해 교대 조화수 합, 예를 들어 $ ar{H}_n^{(m)} $ 에 대한 새로운 항등식을 수립한다.
• $ extstylerac{f(n)}{n^p(n+j)} $ 형태의 합에 대해 일반 공식이 제시되어 고차수 합의 재귀적 평가를 가능하게 한다.
• 이전 연구를 확장하여, 모든 올러 합의 무게 10과 11이 유리수 계수의 제타값과 $ S_{2,6} $ 와 같은 특정 합의 선형 조합으로 환원됨을 보여준다.