[论文解读] Poly-Bernoulli polynomials arising from umbral calculus

Dae san Lom, Taekyun Kim|arXiv (Cornell University)|Jun 28, 2013

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

一句话总结

本文利用上下文演算推导出多伯努利多项式与数的新递推公式与恒等式。通过将多伯努利多项式表示为高阶伯努利、欧拉与弗罗贝尼乌斯-欧拉多项式的线性组合，建立了涉及第二类斯特林数与生成函数的显式变换公式，为这些特殊多项式提供了新的代数结构。

ABSTRACT

In this paper, we give some recurrence formula and new and interesting identities for the poly-Bernoulli numbers and polynomials which are derived from umbral calculus.

研究动机与目标

• 利用上下文演算框架推导多伯努利多项式与数的新递推公式与恒等式。
• 将多伯努利多项式表示为高阶伯努利、欧拉与弗罗贝尼乌斯-欧拉多项式的线性组合。
• 建立涉及第二类斯特林数与生成函数的变换公式。
• 提出一种系统性的基于上下文演算的方法，以统一并推广已知的多伯努利多项式恒等式。

提出的方法

• 采用上下文代数框架，将形式幂级数视为多项式上的线性泛函。
• 应用谢弗序列与阿佩尔序列，将多伯努利多项式建模为 $ B_n^{(k)}(x) \sim \left( \frac{1 - e^{-t}}{\operatorname{Li}_k(1 - e^{-t})}, t \right) $。
• 利用生成函数与复合逆 $ \bar{f}(t) $ 推导不同多项式序列之间的变换系数。
• 使用恒等式 $ \left\langle f(t) \mid p(x) \right\rangle = \sum_{k=0}^\infty \frac{\left\langle f(t) \mid x^k \right\rangle}{k!} \left\langle t^k \mid p(x) \right\rangle $ 通过内积计算系数。
• 应用公式 $ C_{n,m} = \frac{1}{m!} \left\langle \frac{h(\bar{f}(t))}{g(\bar{f}(t))} l(\bar{f}(t))^m \mid x^n \right\rangle $ 计算多项式序列之间的变换系数。
• 利用第二类斯特林数的生成函数与指数平移，将系数表示为 $ B_{n-l-m}^{(k)} $ 与 $ S_2(l+r, r) $ 的形式。

实验结果

研究问题

• RQ1 如何利用上下文演算系统地将多伯努利多项式表示为高阶伯努利多项式的线性组合？
• RQ2 多伯努利多项式与 $ r $ 阶欧拉多项式之间的显式变换系数是什么？
• RQ3 弗罗贝尼乌斯-欧拉多项式如何通过生成函数与上下文演算与多伯努利多项式关联？
• RQ4 第二类斯特林数在多伯努利多项式的分解中起到什么作用？
• RQ5 能否利用上下文演算框架推导出多伯努利数与多项式的新型递推恒等式？

主要发现

• 本文推导出定理 4，将多伯努利多项式表示为 $ B_n^{(k)}(x) = \sum_{m=0}^n \left\{ \binom{n}{m} \sum_{l=0}^{n-m} \frac{r!(n-m)_l}{(l+r)!} S_2(l+r,r) B_{n-l-m}^{(k)} \right\} \mathbb{B}_n^{(r)}(x) $，将其与高阶伯努利多项式关联起来。
• 定理 5 给出 $ B_n^{(k)}(x) = \frac{1}{2^r} \sum_{m=0}^n \left\{ \binom{n}{m} \sum_{j=0}^r \binom{r}{j} B_{n-m}^{(k)}(j) \right\} E_n^{(r)}(x) $，表明其可线性分解为 $ r $ 阶欧拉多项式。
• 定理 6 提供 $ B_n^{(k)}(x) = \frac{1}{(1-\lambda)^r} \sum_{m=0}^n \left\{ \binom{n}{m} \sum_{j=0}^r \binom{r}{j} (-\lambda)^{r-j} B_{n-m}^{(k)}(j) \right\} H_m^{(r)}(x|\lambda) $，将多伯努利多项式与弗罗贝尼乌斯-欧拉多项式关联。
• 所有变换中的系数均涉及多伯努利数 $ B_{n-m}^{(k)}(j) $，其在整数点 $ j = 0,1,\dots,r $ 处取值，显示出离散卷积结构。
• 推导依赖于生成函数 $ \frac{\operatorname{Li}_k(1 - e^{-t})}{1 - e^{-t}} $ 作为 $ B_n^{(k)}(x) $ 的生成级数，确认其在上下文模型中的作用。
• 结果表明，多伯努利多项式可通过上下文演算框架中明确定义的线性变换，由经典多项式序列生成。