[논문 리뷰] On $q$-analogues of two-one formulas for multiple harmonic sums and multiple zeta star values

Khodabakhsh Hessami Pilehrood, Tatiana Hessami Pilehrood|arXiv (Cornell University)|2013. 03. 31.

Advanced Mathematical Identities인용 수 4

한 줄 요약

이 논문은 최근 조우진이 제안한 다중 조화 합에 대한 이항 항등식을 확장하여 다중 제타 스타 값에 대한 $q$-해석을 수립한다. 다중 조화 합과 $q$-제타 스타 값의 $q$-해석을 도입함으로써, 한계 $q \to 1$에서 오노와 즈두릴린의 고전적 두-한 항등식을 복원하는 유한한 $q$-이항 항등식을 유도한다. 주요 기여는 $\zeta_q^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1]$을 구조적 인덱스 스트링을 가진 $\hat{\mathfrak{z}}_q[\mathbf{p};\widetilde{\mathbf{p}}]$의 합으로 표현하는 새로운 $q$-해석 항등식을 제시하는 것이다.

ABSTRACT

Recently, the present authors jointly with Tauraso found a family of binomial identities for multiple harmonic sums (MHS) on strings $(\\{2\\}^a,c,\\{2\\}^b)$ that appeared to be useful for proving new congruences for MHS as well as new relations for multiple zeta values. Very recently, Zhao generalized this set of MHS identities to strings with repetitions of the above patterns and, as an application, proved the two-one formula for multiple zeta star values conjectured by Ohno and Zudilin. In this paper, we extend our approach to $q$-binomial identities and prove $q$-analogues of two-one formulas for multiple zeta star values.

연구 동기 및 목표

• 조우진이 최근 제안한 다중 제타 스타 값에 대한 두-한 항등식의 증명을 $q$-해석 설정으로 확장한다.
• 다중 조화 합과 $q$-제타 스타 값의 $q$-해석을 $q$-이항 계수와 $q$-정수를 사용하여 개발한다.
• 반복 패턴 $\{2\}^s,1$ 및 $\{2\}^s,1,\{2\}^{s_{m+1}}$을 가진 다중 조화 합에 대한 유한한 $q$-이항 항등식을 수립한다.
• 이 $q$-항등식의 극한 $q \to 1$이 오노와 즈두릴린의 고전적 두-한 항등식을 복원함을 증명한다.

제안 방법

• $q$-정수 $[k]_q$와 $q$-이항 계수 $\genfrac{[}{]}{0pt}{}{n}{k}$를 사용하여 다중 조화 합 $H_n^\star[\mathbf{s}]$와 $\mathcal{H}_n[\mathbf{s};\mathbf{t}]$의 $q$-해석을 정의한다.
• $q$-제타 스타 값 $\zeta_q^\star[\mathbf{s}]$와 유한 및 무한 합을 위한 두 개의 새로운 $q$-제타 유사 함수인 $\hat{\mathfrak{z}}_q[\mathbf{p};\widetilde{\mathbf{p}}]$와 $\overline{\mathfrak{z}}_q[\mathbf{p};\widetilde{\mathbf{p}}]$를 도입한다.
• 유한한 $q$-이항 항등식(정리 3.2 및 3.3)을 증명하여 $H_n^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1]$과 $H_n^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1,\{2\}^{s_{m+1}}]$을 $\hat{\mathfrak{z}}_q$ 및 $\overline{\mathfrak{z}}_q$에 대한 합으로 연결한다.
• 유한한 $q$-항등식에서 무한한 $q$-제타 항등식으로의 전환을 정당화하기 위해 한계 보조정리(보조정리 4.1)를 사용한다.
• 한계 과정을 적용하여 정리 1.1 및 1.2를 도출하며, 이는 $q$-제타 스타 값을 구조적 인덱스 스트링을 가진 $\hat{\mathfrak{z}}_q$ 및 $\overline{\mathfrak{z}}_q$의 합으로 표현한다.

실험 결과

연구 질문

• RQ1 다중 제타 스타 값에 대한 두-한 항등식을 $q$-이항 항등식을 사용하여 $q$-해석으로 일반화할 수 있는가?
• RQ2 유한 및 무한 합에서 다중 조화 합과 $q$-제타 스타 값의 $q$-해석은 어떻게 행동하는가?
• RQ3 끝이 1 또는 2로 끝나는 스트링에 대한 두-한 항등식의 $q$-해석의 구조는 어떠한가?
• RQ4 $q \to 1$의 극한이 오노 및 즈두릴린의 고전적 두-한 항등식을 어떻게 복원하는가?

주요 결과

• $\zeta_q^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1] = \sum_{\mathbf{p}=(2s_1+1)\circ\cdots\circ(2s_m+1)} \hat{\mathfrak{z}}_q[\mathbf{p};\widetilde{\mathbf{p}}]$ 형태의 다중 제타 스타 값에 대한 $q$-해석 항등식을 증명한다. 여기서 $\circ$는 쉼표 또는 덧셈을 의미하며, $\widetilde{\mathbf{p}}$는 해당 $s_i+1$의 연속된 스트링이다.
• $\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1,\{2\}^{s_{m+1}}$로 끝나는 두-한 스트링에 대한 $q$-해석을 수립한다: $\zeta_q^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1,\{2\}^{s_{m+1}}] = \sum_{\mathbf{p}=(2s_1+1)\circ\cdots\circ(2s_m+1)\circ(2s_{m+1})} \overline{\mathfrak{z}}_q[\mathbf{p};\widetilde{\mathbf{p}}]$.
• 정리 3.2 및 3.3에서 유한한 $q$-이항 항등식이 $H_n^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1]$ 및 $H_n^\star[\{2\}^{s_1},1,\ldots,\{2\}^{s_m},1,\{2\}^{s_{m+1}}]$에 대해 각각 증명되었으며, 재귀적 추론과 $q$-이항 계수 항등식을 사용하였다.
• $q$-항등식의 극한 $q \to 1$이 고전적 두-한 항등식을 복원한다: 조우진의 논문에서의 (33) 및 (34)식으로 확인되며, 기존 결과와의 일致성을 확인한다.
• 핵심 기술 보조정리(보조정리 4.1)를 확립하여 $n \to \infty$에서의 $q$-이항 항목 수렴성을 정당화함으로써, $q$-제타 항등식의 타당성을 보장한다.