[論文レビュー] A note on Catalan numbers associated with p-adic integral on Zp

Taekyun Kim|arXiv (Cornell University)|Jun 1, 2016

Advanced Mathematical Identities参考文献 3被引用数 14

ひとこと要約

本稿は、Catalan数と$ℤ_p$上でのフェルミオン的$p$-進積分との間の関係を確立し、$\lambda$-Changhee数やEuler数、Stirling数などの特別な数を用いてCatalan数を明示的に表現する公式を導出する。主な貢献は、$C_n$を$p$-進積分と$\frac{1}{2}$-Changhee多項式に関連付けるWitt型の公式を確立し、Catalan数の新たな$p$-進表現を可能にする点にある。

ABSTRACT

In this paper, we study Catalan numbers which can be represented by the p-adic integral on Zp and we investigate some properties and formulae related to Catalan numbers and special numbers.

研究の動機と目的

• Catalan数と$\mathbb{Z}_p$上での$p$-進積分との関係を調査すること。
• フェルミオン的$p$-進積分と特別な数列を用いてCatalan数の新たな表現を導出すること。
• $p$-進解析の文脈においてCatalan数のWitt型の公式を確立すること。
• $\lambda$-Changhee多項式とEuler数を、$p$-進積分の恒等式を通じてCatalan数と結びつけること。

提案手法

• Kimが定義したフェルミオン的$p$-進積分$I_{-1}(f) = \int_{\mathbb{Z}_p} f(x) d\mu_{-1}(x)$を用い、Catalan数を含む母関数を表現する。
• $\lambda$-Changhee多項式の母関数と$p$-進積分を応用し、$\frac{1}{2}$-Changhee数を含む恒等式を導出する。
• $t \mapsto -4t$のような置換を含む母関数の操作を用い、$\frac{2}{1+\sqrt{1-4t}}$をCatalan数の母関数と関連付ける。
• $\sqrt{1-4t}$の展開と二項係数を用いて、$C_n = \binom{2n}{n}/(n+1)$を含む恒等式を導出する。
• 第1種および第2種Stirling数を用いて、$p$-進積分の表現を多項式形式に分解する。
• $p$-進積分表現のべき級数展開における係数比較により、明示的な公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 Catalan数はどのように$\mathbb{Z}_p$上での$p$-進積分で表現できるか？
• RQ2 $\frac{1}{2}$-Changhee数とCatalan数の$p$-進的設定における関係は何か？
• RQ3 $p$-進積分と特別な数列を用いて、Catalan数のWitt型の公式を確立できるか？
• RQ4 Euler数と第1種Stirling数は、Catalan数の$p$-進表現においてどのように現れるか？

主な発見

• 本稿は、$C_n = (-1)^n \frac{4^n}{n!} Ch_{n,\frac{1}{2}}$を導出し、$p$-進積分の恒等式を介してCatalan数を$\frac{1}{2}$-Changhee数で表現する。
• $\int_{\mathbb{Z}_p} \binom{x/2}{n} d\mu_{-1}(x) = \frac{(-1)^n}{4^n(n+1)} \binom{2n}{n}$を証明し、$\mathbb{Z}_p$上の二項係数をCatalan数と結びつける。
• 新たな公式を確立：$C_n = \frac{(-1)^n}{n!} \sum_{m=0}^n 2^{2n-m} E_m S_1(n,m)$。Catalan数をEuler数と第1種Stirling数に結びつける。
• $E_m = \sum_{n=0}^m C_n (-1)^n 2^{m-2n} n! S_2(m,n)$という恒等式により、Euler数をCatalan数と第2種Stirling数に結びつける。
• 本稿は、$p$-進積分を用いてCatalan多項式$C_n(x)$を構成し、$C_n(x) = \sum_{m=0}^n \sum_{j=0}^m \left(\frac{x}{2}\right)^j S_1(m,j) \frac{(-4)^m}{m!} C_{n-m}$を示す。
• 閉形式の式を導出：$C_n = (-1)^{n+1} \frac{4^n (2n-1)}{(n+1)!} \sum_{m=0}^n \left(\frac{1}{2}\right)^m S_1(n,m)$。Catalan数の$p$-進積分に基づく公式を提供する。