[论文解读] Some identities of higher-order Bernoulli, Euler and Hermite polynomials arising from umbral calculus

Taekyun Kim, Dae San Kim+2 more|arXiv (Cornell University)|Feb 21, 2013

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

一句话总结

本文通过格拉斯曼演算推导出高阶伯努利、欧拉和埃尔米特多项式的新恒等式，利用Sheffer序列和生成函数建立这些多项式族之间的新线性关系。主要贡献在于通过包含斯特林数和指数生成函数的系数公式，系统地将埃尔米特多项式转化为高阶伯努利与弗罗贝尼乌斯-欧拉多项式的组合。

ABSTRACT

In this paper, we study umbral calculus to have alternative ways of obtaining our results. That is, we derive some interesting identities of the higher-order Bernoulli, Euler and Hermite polynomials arising from umbral calculus to have alternative ways.

研究动机与目标

• 通过格拉斯曼演算框架推导高阶伯努利、欧拉和埃尔米特多项式的新恒等式。
• 建立埃尔米特多项式用高阶伯努利与弗罗贝尼乌斯-欧拉多项式表示的替代形式。
• 为这些多项式展开提供显式系数公式，利用斯特林数等组合结构及生成函数。
• 通过格拉斯曼演算中的Sheffer序列形式化方法，统一处理经典正交多项式。

提出的方法

• 采用格拉斯曼演算框架，将形式幂级数视为多项式空间上的线性泛函。
• 应用由生成函数定义的Sheffer序列：$ E_n^{(r)}(x) \tilde{=} \big((e^t+1)/2\big)^r, t $ 和 $ H_n(x) \tilde{=} e^{t^2/4}, t/2 $。
• 使用反演公式 $ C_{n,k} = \frac{1}{k!} \big\< \frac{h(\bar{f}(t))}{g(\bar{f}(t))} l(\bar{f}(t))^k \big| x^n \big> $ 计算多项式展开中的系数。
• 通过生成函数、指数平移以及线性泛函对单项式的运算推导系数表达式。
• 应用恒等式 $ \left< f(t) | p(x) \right> = \sum_{k} \frac{\left< f(t) | x^k \right>}{k!} p^{(k)}(0) $ 通过导数提取系数。
• 通过涉及 $ (e^t - 1)^k $、$ (e^t - \lambda)^r $ 和 $ e^{-t^2/4} $ 的生成函数运算，将系数表示为斯特林数与埃尔米特数的函数。

实验结果

研究问题

• RQ1 如何通过格拉斯曼演算将高阶伯努利多项式表示为埃尔米特多项式的线性组合？
• RQ2 当 $ r > n $ 时，埃尔米特多项式用高阶伯努利多项式表示的显式系数公式是什么？
• RQ3 当 $ r \leq n $ 时，系数如何变化？第二类斯特林数在此情形中起什么作用？
• RQ4 能否使用弗罗贝尼乌斯-欧拉多项式表示埃尔米特多项式？其对应的系数结构如何？
• RQ5 在格拉斯曼变换下，埃尔米特、伯努利与弗罗贝尼乌斯-欧拉多项式生成函数之间的函数关系是什么？

主要发现

• 当 $ r > n \geq 0 $ 时，埃尔米特多项式 $ H_n(x) $ 表示为 $ n! \sum_{k=0}^n \left\{ \sum_{j=0}^k \sum_{l=0}^n \frac{(r-k)! S_2(l+r-k, r-k) (-1)^{k-j} \binom{k}{j} 2^l H_{n-l}(j) }{(l+r-k)! k! (n-l)!} \right\} B_k^{(r)}(x) $，其中涉及斯特林数与埃尔米特数。
• 当 $ n \geq r $ 时，$ H_n(x) $ 的展开分为两部分：$ k < r $ 时使用斯特林数，$ k \geq r $ 时涉及关于 $ j $ 的求和，包含二项式系数与埃尔米特数项。
• 在弗罗贝尼乌斯-欧拉情形下，$ H_n(x) = \frac{1}{(1-\lambda)^r} \sum_{k=0}^n \binom{n}{k} 2^k \left[ \sum_{j=0}^r \binom{r}{j} (-\lambda)^{r-j} H_{n-k}(j) \right] H_k^{(r)}(x|\lambda) $，提供向弗罗贝尼乌斯-欧拉多项式直接变换的公式。
• 另一种系数表达式为 $ H_n(x) = \frac{1}{(1-\lambda)^r} \sum_{k=0}^n \left\{ \sum_{j=0}^r \sum_{l=0}^{[\frac{n-k}{2}]} \frac{\binom{n}{k} \binom{r}{j} 2^k (-1)^l (-\lambda)^{r-j} (n-k)! (2j)^{n-k-2l} }{l! (n-k-2l)!} \right\} H_k^{(r)}(x|\lambda) $，通过 $ t^{2l} $ 引入偶数阶导数。
• 展开式 $ H_n(x) = \sum_{k=0}^n C_{n,k} B_k^{(r)}(x) $ 的系数 $ C_{n,k} $ 显式计算为关于 $ j $ 与 $ l $ 的双重求和，其依赖于 $ r-k $、$ S_2 $ 与埃尔米特数。
• 结果表明，格拉斯曼演算为跨不同多项式族推导恒等式提供了一种统一且系统的方法，尤其通过函数复合与逆级数技术实现。