[论文解读] Symmetric identities for an analogue of Catalan polynomials

Taekyun Kim, Dae San Kim+1 more|arXiv (Cornell University)|Jun 15, 2016

Advanced Mathematical Identities参考文献 6被引用 5

一句话总结

本文通过在 p 进整数上的费米子 p 进积分，推导出一种卡塔兰多项式类比物——称为 w-卡塔兰多项式——的对称恒等式。主要贡献是提出了一种新颖的对称恒等式，将 w-卡塔兰多项式与广义斯特林型求和联系起来，其应用涵盖乘法公式和函数对称性。

ABSTRACT

In this paper, we consider an analogue of Catalan polynomials and give some identities of symmetry for those polynomials by using fermionic $p$-adic integrals on the ring of $p$-adic integers

研究动机与目标

• 通过 p 进分析，将卡塔兰多项式推广至广义的 w-卡塔兰多项式框架。
• 通过费米子 p 进积分，建立 w-卡塔兰多项式与广义斯特林求和之间的对称恒等式。
• 利用 p 进积分对称性，推导卡塔兰多项式的函数方程与乘法型公式。
• 通过 p 进方法，统一并推广已知的卡塔兰数与多项式恒等式。
• 通过 p 进积分表示，探索 w-卡塔兰多项式的代数与算术性质。

提出的方法

• 在 p 进整数环 Z_p 上使用费米子 p 进积分，定义 w-卡塔兰多项式的生成函数。
• 应用恒等式 ∫_{Z_p} f(x) dμ_{-1}(x) = lim_{N→∞} Σ_{x=0}^{p^N−1} f(x)(−1)^x，推导对称函数方程。
• 应用双重费米子 p 进不变积分，关联 w-卡塔兰多项式生成函数的乘积。
• 引入广义求和 S_{k,d}(w−1) = Σ_{i=0}^{w−1} binom(di/2, k)(−1)^i，以编码对称恒等式。
• 通过将同一 p 进积分表达式在 t 的幂次上进行两种不同展开，推导对称恒等式。
• 使用生成函数的运算与系数比较，证明涉及 C_{n,w}(x) 与 S_{k,d}(w−1) 的恒等式。

实验结果

研究问题

• RQ1 如何通过 p 进积分推导出卡塔兰多项式的类比物的对称恒等式？
• RQ2 当通过 p 进方法将卡塔兰多项式推广为 w-卡塔兰多项式时，会涌现出哪些函数对称性？
• RQ3 费米子 p 进积分如何促进卡塔兰多项式乘法型公式的推导？
• RQ4 广义斯特林型求和 S_{k,d}(w−1) 在建立 w-卡塔兰多项式对称恒等式中起什么作用？
• RQ5 能否通过 p 进积分对称性，在 C_{n,w₁}(w₂x) 与 C_{n,w₂}(w₁x) 之间建立对称恒等式？

主要发现

• 定理 1 建立了对称恒等式：C_n(d) + C_n = 2^{2n+1} Σ_{i=0}^{d−1} binom(i/2, n)(−1)^{n−i}，其中 d ≥ 1 为奇数。
• 定理 2 证明了对称恒等式：Σ_{l=0}^n (−4)^{n−l} C_{l,w₁}(w₂x) S_{n−l,w₂}(w₁−1) = Σ_{l=0}^n (−4)^{n−l} C_{l,w₂}(w₁x) S_{n−l,w₁}(w₂−1)，其中 w₁, w₂ 为奇数。
• 推论 3 给出了乘法公式：C_n(w₂x) = Σ_{l=0}^n (−4)^{n−l} C_{l,w₂}(x) S_{n−l}(w₂−1)，当 w₁=1 时成立。
• 定理 5 建立了对称恒等式：Σ_{l=0}^{w₁−1} (−1)^l C_{n,w₁}(w₂x + w₂/w₁ l) = Σ_{l=0}^{w₂−1} (−1)^l C_{n,w₂}(w₁x + w₁/w₂ l)，其中 w₁, w₂ 为奇数。
• 在定理 5 中令 w₂=1，可得乘法公式：C_n(w₁x) = Σ_{l=0}^{w₁−1} (−1)^l C_{n,w₁}(x + 1/w₁ l)。
• 本文确认，w-卡塔兰多项式在通过 p 进积分对称性交换参数 w₁ 与 w₂ 时，满足对称函数方程。