[论文解读] Complete Bell polynomials and new generalized identities for polynomials of higher order

Boris Rubinstein|ArXiv.org|Nov 16, 2009

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

一句话总结

本文通过将高阶伯努利多项式与欧拉多项式表示为完全贝尔多项式，建立了它们之间的新恒等式，揭示了深刻的代数关联。主要贡献在于推导出一个通用恒等式，将这些特殊多项式与贝尔多项式通过幂和及伯努利数联系起来，从而导出新颖的递推关系，并将欧拉恒等式推广至高阶情形。

ABSTRACT

The relations between the Bernoulli and Eulerian polynomials of higher order and the complete Bell polynomials are found that lead to new identities for the Bernoulli and Eulerian polynomials and numbers of higher order. General form of these identities is considered and generating function for polynomials satisfying this general identity is found.

研究动机与目标

• 建立高阶伯努利多项式与欧拉多项式同完全贝尔多项式之间的系统性联系。
• 利用完全贝尔多项式的结构，推导高阶伯努利与欧拉多项式的新型递推恒等式。
• 通过参数化生成函数，将已知的欧拉与伯努利恒等式推广至高阶情形。
• 为满足广义贝尔型恒等式的多项式，提供统一的生成函数框架。
• 在更广泛的代数背景下，恢复并拓展经典恒等式，包括诺尔伦德恒等式。

提出的方法

• 将高阶伯努利与欧拉多项式的生成函数表示为包含幂和与伯努利数的指数生成函数。
• 利用对数生成函数的泰勒展开，通过累积量与矩将系数与完全贝尔多项式关联。
• 推导出一个通用恒等式，其中高阶多项式表示为完全贝尔多项式，其系数包含伯努利数与幂和。
• 应用完全贝尔多项式的生成函数，推导高阶多项式的递推关系。
• 通过代入幂和表达式并利用二项式系数化简，将通用恒等式转化为显式递推关系。
• 通过将贝尔多项式表示与已知的伯努利数与多项式恒等式（包括欧拉恒等式）结合，推导新恒等式。

实验结果

研究问题

• RQ1 如何系统地将高阶伯努利与欧拉多项式与完全贝尔多项式关联起来？
• RQ2 当这些多项式表示为完全贝尔多项式时，会涌现出哪些广义递推恒等式？
• RQ3 能否在此框架下，将伯努利数的经典欧拉恒等式推广至高阶伯努利多项式？
• RQ4 本研究推导出的广义贝尔型恒等式所满足的多项式，其生成函数是什么？
• RQ5 新恒等式如何恢复或推广已知结果，例如高阶伯努利多项式的诺尔伦德恒等式？

主要发现

• 高阶伯努利多项式 $ B^{(m)}_n(s|\boldsymbol{d}) $ 恰好等于完全贝尔多项式 $ \boldsymbol{B}_n(s + a_1, a_2, \bar{a}) $，其中 $ a_i = (-1)^{i-1} B_i \tau_i / i $ 且 $ \tau_k = \text{tr}(\boldsymbol{d}^k) $。
• 推导出一个广义恒等式：$ B^{(m)}_n(s|\boldsymbol{d}) = (s - \tau_1) B^{(m)}_{n-1}(s|\boldsymbol{d}) - \frac{1}{n} \binom{n}{k} B_k \tau_k B^{(m)}_{n-k}(s|\boldsymbol{d}) $，在特定化后可退化为已知恒等式。
• 恒等式 $ \tau_1 B^{(m)}_n(s|\boldsymbol{d}) = (s - \tau_1) B^{(m)}_{n-1}(s|\boldsymbol{d}) - \frac{1}{n} \tau_k B_k B^{(m)}_{n-k}(s|\boldsymbol{d}) $ 导出了高阶伯努利多项式的新型递推关系。
• 建立了一个新恒等式：$ \tau_1 B^{(m)}_n(s|\boldsymbol{d}) = (s - \tau_1) B^{(m)}_{n-1}(s|\boldsymbol{d}) - \frac{1}{n} \tau_k B_k B^{(m)}_{n-k}(s|\boldsymbol{d}) $，该恒等式推广了经典欧拉恒等式。
• 当 $ \boldsymbol{d} = \boldsymbol{1} $ 时，该恒等式退化为诺尔伦德的已知结果：$ m B^{(m+1)}_n(s|\boldsymbol{1}) = (m - n) B^{(m)}_n(s|\boldsymbol{1}) + n(s - m) B^{(m)}_{n-1}(s|\boldsymbol{1}) $。
• 当 $ m = n $ 时，该恒等式推出 $ B^{(m+1)}_m(s|\boldsymbol{1}) = (s - m) B^{(m)}_{m-1}(s|\boldsymbol{1}) = \tau_{m-1} $，从而确认了在 $ m = n $ 时伯努利多项式的一个已知乘积恒等式。