[논문 리뷰] Recurrent Sums and Partition Identities

Roudy El Haddad|arXiv (Cornell University)|2021. 01. 22.

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

한 줄 요약

이 논문은 순서가 지정된 인덱스를 가진 중첩 합계(재귀적 합계)를 분할 항등식과 역행 공식을 사용하여 분석하는 일반적인 프레임워크를 제안한다. 이 프레임워크는 이러한 합계를 비재귀적 합계로 표현하는 감소 정리(reduction theorem)를 도출함으로써 다중 리만 제타 별 값과 일반화된 $p$-급수의 닫힌 형식 평가를 가능하게 한다. 특히, $1/N^2$의 $m$중 재귀적 합계가 $\left(2 - \frac{1}{2^{2(m-1)}}\right)\zeta(2m)$로 수렴함을 보여주는 새로운 항등식을 제시하며, 이는 오일러의 베르사르 문제를 일반화한다.

ABSTRACT

Sums of the form $\sum_{N_m=q}^{n}{\cdots \sum_{N_1=q}^{N_2}{a_{(m);N_m}\cdots a_{(1);N_1}}}$ where the $a_{(k);N_k}$'s are same or distinct sequences appear quite often in mathematics. We will refer to them as recurrent sums. In this paper, we introduce a variety of formulas to help manipulate and work with this type of sums. We begin by developing variation formulas that allow the variation of a recurrent sum of order $m$ to be expressed in terms of lower order recurrent sums. We then proceed to derive theorems (which we will call inversion formulas) which show how to interchange the order of summation in a multitude of ways. Later, we introduce a set of new partition identities in order to then prove a reduction theorem which permits the expression of a recurrent sum in terms of a combination of non-recurrent sums. Finally, we apply this reduction theorem to a recurrent form of two famous types of sums: The $p$-series and the sum of powers.

연구 동기 및 목표

• 수학적 물리학 및 수론에서 자주 나타나는 형태인 $\sum_{1 \leq N_1 \leq \cdots \leq N_m \leq n} a_{(m);N_m} \cdots a_{(1);N_1}$의 재귀적 합계를 체계적으로 다룰 수 있는 이론을 개발하는 것.
• 재귀적 합계의 차이를 순서가 낮은 합계로 표현하는 변형 공식(variation formulas)을 도출하는 것.
• 재귀적 합계의 합계 인덱스를 여러 방식으로 재정렬할 수 있도록 해주는 역행 공식(inversion formulas)을 수립하는 것.
• 재귀적 합계를 비재귀적 합계의 조합으로 표현하는 감소 정리를 증명하기 위해 새로운 분할 항등식을 도입하는 것.
• 일반 프레임워크를 특수 케이스에 적용하여 다중 리만 제타 별 값과 거듭제곱의 파울하버 유형 합계를 다루는 것.

제안 방법

• 재귀적 합계의 개념을 도입하고, 비감소 인덱스를 가진 중첩 합계를 사용하여 그 구조를 정의한다.
• 순서가 $m$인 재귀적 합계의 차이를 낮은 순서의 재귀적 합계로 표현하는 변형 공식을 개발한다.
• 다양한 방식으로 합계 인덱스의 순서를 재정렬할 수 있도록 해주는 역행 공식을 유도한다. 이는 인덱스 조작을 용이하게 한다.
• 정수 분할의 관점에서 재귀적 합계의 구조를 표현하기 위해 새로운 분할 항등식의 집합을 도입한다.
• 분할 기반 계수를 사용하여 임의의 재귀적 합계를 비재귀적 합계의 유한 조합으로 표현하는 감소 정리를 증명한다.
• 감소 정리를 두 가지 핵심 케이스에 적용한다: 다중 리만 제타 별 값과 일반화된 $p$-급수, 특히 $p=1$ 케이스($1/N^2$).

실험 결과

연구 질문

• RQ1 순서가 $m$인 재귀적 합계의 변화는 어떻게 낮은 순서의 재귀적 합계로 표현할 수 있는가?
• RQ2 재귀적 합계에서 합계 순서를 얼마나 많은 방식으로 바꿀 수 있으며, 이러한 재배열을 제어하는 공식은 무엇인가?
• RQ3 분할 항등식을 사용하여 재귀적 합계를 비재귀적 합계의 조합으로 줄일 수 있는가?
• RQ4 $1/N^2$의 $m$중 재귀적 합계에 대해 닫힌 형식의 표현식을 유도할 수 있으며, 이는 리만 제타 함수와 어떻게 관련되는가?
• RQ5 합계의 수 $m$이 증가하거나 무한대에 접근할 때 재귀적 $p$-급수의 渐近적 행동은 어떠한가?

주요 결과

• $1/N^2$의 $m$중 재귀적 합계는 $\left(2 - \frac{1}{2^{2(m-1)}}\right)\zeta(2m)$로 주어지며, 이는 오일러의 베르사르 문제를 일반화한다.
• $m \to \infty$일 때, $1/N^2$의 재귀적 합계는 $\zeta(2m) \to 1$ 이고 $\left(2 - \frac{1}{2^{2(m-1)}}\right) \to 2$ 이므로 2로 수렴한다.
• $m \geq 0$ 인 모든 재귀적 $p$-급수 중 $2p=2$ 인 경우의 합은 발산한다. 왜냐하면 $m \geq 0$ 일 때 각 항이 1 이상으로 유계이기 때문이다.
• 감소 정리는 임의의 재귀적 합계를 정수 분할에 대한 유한 합으로 표현할 수 있도록 하며, 계수에는 팩토리얼과 제타 함수 값의 거듭제곱이 포함된다.
• 조합론과 제타 함수를 연결하는 분할에 대한 합으로 표현된 새로운 이중계수 항등식이 도출되었다.
• 논문은 분할에 대한 베르누이 수의 합을 포함하는 항등식을 유도하였으며, 이는 기존의 수론적 항등식을 확장한다.