[논문 리뷰] Explicit formulas of Euler sums via multiple zeta values

Ce Xu, Weiping Wang|arXiv (Cornell University)|2018. 05. 17.

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

한 줄 요약

이 논문은 치환과 분할을 사용하여 오일러 합과 교대 오일러 합을 각각 다중 제타 값(MZV)과 교대 다중 제타 값으로의 유리수 계수의 선형 조합으로 표현하는 명시적 공식을 제시한다. 주요 기여는 비교적 무게 11 이하의 비교대 오일러 합과 무게 6 이하의 교대 오일러 합에 대해 이러한 합을 모두 MZV로 체계적으로 감소시키는 방법을 제공하며, 이에 대응하는 계산을 위한 Maple 패키지도 함께 제공한다.

ABSTRACT

Flajolet and Salvy pointed out that every Euler sum is a $\mathbb{Q}$-linear combination of multiple zeta values. However, in the literature, there is no formula completely revealing this relation. In this paper, using permutations and compositions, we establish two explicit formulas for the Euler sums, and show that all the Euler sums are indeed expressible in terms of MZVs. Moreover, we apply this method to the alternating Euler sums, and show that all the alternating Euler sums are reducible to alternating MZVs. Some famous results, such as the Euler theorem, the Borwein--Borwein--Girgensohn theorems, and the Flajolet--Salvy theorems can be obtained directly from our theory. Some other special cases, such as the explicit expressions of $S_{r^m,q}$, $S_{r^m,\bar{q}}$, $S_{\bar{r}^m,q}$ and $S_{\bar{r}^m,\bar{q}}$, are also presented here. The corresponding Maple programs are developed to help us compute all the sums of weight $w\leq 11$ for non-alternating case and of weight $w\leq 6$ for alternating case.

연구 동기 및 목표

• 모든 오일러 합을 다중 제타 값(MZV)으로의 유리수 계수 선형 조합으로 표현하는 일반적인 명시적 공식을 찾는 오랜 동안 미해결된 문제를 해결하기 위해.
• 이 틀을 교대 오일러 합으로 확장하여, 교대 오일러 합이 교대 MZV로 감소 가능함을 보여주기 위해.
• 유명한 결과들인 오일러의 정리, 보르베인–보르베인–기르젠토른 정리, 플라조레트–살비의 정리를 모두 복원할 수 있는 통합 이론적 기반을 제공하기 위해.
• 비교대 오일러 합의 특정 예들(예: $S_{r^m,q}$, $S_{\bar{r}^m,q}$)을 무게 11 이하, 교대 오일러 합의 경우 무게 6 이하까지 명시적으로 평가하고 표로 정리하기 위해.
• 유도된 명시적 공식을 기반으로 오일러 합의 자동 평가를 위한 Maple 패키지를 개발하기 위해.

제안 방법

• 정수의 치환과 분할을 활용하여 오일러 합의 구조를 분해하고 명시적 대수적 항등식을 도출하기 위해.
• 중첩 합의 준순서 대수를 적용하여 조화수와 제타 값 간의 대수적 관계를 모델링하기 위해.
• 오일러 합의 분수의 분자 부분을 조합적 분해를 통해 MZV 기저 원소들의 선형 조합으로 표현하기 위해.
• 기호 계산 기법을 사용하여 재귀적 분해를 통해 조화수의 곱을 MZV의 조합으로 체계적으로 감소시키기 위해.
• 유도된 공식을 기반으로 비교대 오일러 합의 경우 무게 $ w \leq 11 $, 교대 오일러 합의 경우 무게 $ w \leq 6 $까지의 모든 오일러 합을 계산할 수 있는 커스터마이징된 Maple 패키지를 구현하기 위해.
• MZV와 교대 MZV에 대한 기존 결과를 활용하여 감소 과정의 검증과 校정을 수행하기 위해.

실험 결과

연구 질문

• RQ1 모든 오일러 합은 일반적인 공식을 통해 다중 제타 값(MZV)으로의 유리수 계수 선형 조합으로 명시적으로 표현될 수 있는가?
• RQ2 교대 오일러 합은 어느 정도까지 교대 다중 제타 값으로 감소시킬 수 있는가?
• RQ3 조화수 곱의 구조는 치환과 분할을 통해 어떻게 체계적으로 분해될 수 있는가?
• RQ4 주어진 무게의 모든 오일러 합을 표현하기 위해 필요한 기저 원소의 완전한 집합은 무엇인가?
• RQ5 지정된 무게까지 오일러 합의 평가를 자동화할 수 있는 계산 프레임워크를 개발할 수 있는가?

주요 결과

• 무게 $ w \leq 11 $ 이하의 모든 비교대 오일러 합은 MZV로의 유리수 계수 선형 조합으로 표현 가능하며, 무게 3에서 11까지의 완전한 기저가 제공된다.
• 무게 $ w \leq 6 $ 이하의 모든 교대 오일러 합은 교대 MZV로 감소 가능하며, 표 1에 18개의 특정 합에 대한 명시적 평가가 정리되어 있다.
• 이 방법은 오일러의 공식 $ \zeta(2,1) = \zeta(3) $, 이차 합에 관한 보르베인–보르베인–기르젠토른 정리, 플라조레트–살비의 일반 감소 정리와 같은 고전적 결과들을 복원한다.
• 특수 가족들인 $ S_{r^m,q} $, $ S_{\bar{r}^m,q} $, $ S_{r^m,\bar{q}} $, $ S_{\bar{r}^m,\bar{q}} $에 대해 명시적 닫힌 형태의 표현식을 제공하며, 구체적인 평가가 함께 제시된다.
• 무게 $ w \leq 11 $ (비교대) 및 $ w \leq 6 $ (교대)의 모든 오일러 합을 계산할 수 있는 Maple 패키지가 개발되고 검증되었으며, 자동 평가를 가능하게 한다.
• 특정 합들인 $ S_{1^4,\bar{2}} $, $ S_{1^2 2,\bar{2}} $, $ S_{2^2,\bar{2}} $의 평가가 유리수 계수를 포함하여 명시적으로 계산되어 표로 정리되어 있다.