[论文解读] Some identities of polynomials arising from umbral calculus

Dae San Kim, Taekyun Kim+1 more|arXiv (Cornell University)|Nov 15, 2012

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

一句话总结

本文通过 umbral 微积分技术推导出特殊多项式（如伯努利、欧拉及广义阿佩尔型多项式）的新恒等式。通过利用相关序列和生成函数，作者建立了涉及第二类斯特林数、高阶伯努利数及二项式系数的显式公式，借助形式幂级数上的运算微积分，为多项式序列提供了闭式表达。

ABSTRACT

In this paper, we study some properties of associated sequaences in umbral calculus. From these properties, we derive new and interesting identities of several kinds of polynomials.

研究动机与目标

• 研究 umbral 微积分中相关序列的结构性质，以推导广义伯努利与欧拉多项式的新恒等式。
• 通过线性泛函与生成函数，建立多项式序列与形式幂级数之间的联系。
• 利用 umbral 代数中的运算方法，推导广义伯努利与欧拉多项式的显式公式。
• 通过将多项式用斯特林数与二项式系数表示，统一并推广已知恒等式。
• 通过 umbral 运算为序列 $ A_n(x;a) $、$ S_n(x) $ 与 $ E_n^{(n)}(x) $ 提供闭式表达。

提出的方法

• 采用 umbral 代数框架，将形式幂级数视为多项式上的线性泛函。
• 应用运算恒等式 $ x \to x \frac{f(t)}{g(t)} x^{-1} $，关联相关序列 $ p_n(x) \sim (1,f(t)) $ 与 $ q_n(x) \sim (1,g(t)) $。
• 使用伯努利 $ \left(\frac{t}{e^t-1}\right)^r $、欧拉 $ \left(\frac{2}{e^t+1}\right)^r $ 以及下降阶乘多项式生成函数。
• 将 $ \left(\frac{e^t-1}{t}\right)^n $ 表示为含第二类斯特林数 $ S_2(l+n,n) $ 的 $ t^l $ 级数。
• 利用关系式 $ (x)_{n-1} = \sum_{l=0}^{n-1} S_1(n-1,l) x^l $ 将多项式展开为单项式基。
• 应用运算微积分恒等式 $ t^k p(x) = \frac{d^k}{dx^k} p(x) $ 与 $ e^{yt} p(x) = p(x+y) $ 以操作多项式序列。

实验结果

研究问题

• RQ1 如何利用 umbral 微积分中的相关序列推导广义伯努利与欧拉多项式的新恒等式？
• RQ2 当对序列 $ x(x-an)^{n-1} $ 与 $ E_n^{(n)}(x) $ 应用 umbral 运算时，会涌现出哪些闭式表达？
• RQ3 第一类与第二类斯特林数在 umbral 运算下多项式序列展开中如何体现？
• RQ4 序列 $ S_n(x) \sim (1, t(1+t)^a) $ 与单项式 $ x^n $ 之间的运算关系为何？其代数表达形式如何？
• RQ5 高阶伯努利数 $ B_k^{(k-n+1)}(an+1) $ 是否可通过 umbral 框架中的生成函数与多项式序列建立联系？

主要发现

• 本文推导出 $ A_n(x;a) = x(x - an)^{n-1} $ 的闭式表达，其为包含斯特林数与二项式系数的下降阶乘之和。
• 证明了 $ S_n(x) \sim (1, t(1+t)^a) $ 满足 $ S_n(x) = \sum_{k=1}^n \binom{-an}{n-k} (n-1)_{n-k} x^k $，将其与广义二项式系数联系起来。
• 建立了恒等式 $ xE_{n-1}^{(n)}(x) = \sum_{k=0}^{n-1} \binom{n-1}{k} E_k^{(n)}(an) A_{n-k}(x - ak; a) $，将欧拉多项式与广义阿佩尔多项式联系起来。
• 发现一新恒等式：$ S_2(n,m) = \sum_{l=m}^n \binom{-an}{n-l} (n-1)_{n-l} \binom{l-1}{m-1} B_{l-m}^{(l-m-n+1)}(an+1) $，将斯特林数与高阶伯努利数联系起来。
• 推导出生成函数 $ \left(\frac{t(1+t)^a}{\log(1+t)}\right)^n = \sum_{k=0}^\infty B_k^{(k-n+1)}(an+1) \frac{t^k}{k!} $，并用于表达多项式序列。
• 当设定 $ b=1 $ 时，$ A_n(x;a) $ 的恒等式简化为含 $ (-an)^{k-j} $、$ S_2(j+n,n) $、$ S_1(n-1,l) $ 与二项式系数的和式。