[论文解读] Umbral calculus and Euler polynomials

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

Advanced Mathematical Identities被引用 10

一句话总结

本文运用上下文演算推导出关于欧拉多项式及其高阶类比的新恒等式。通过利用生成函数、线性泛函以及上下文代数中的运算微积分，作者建立了显式展开公式，将欧拉多项式和 s 阶伯努利多项式表示为高阶欧拉多项式的线性组合，通过微分与移位算子提取系数，从而获得新颖的组合恒等式。

ABSTRACT

In this paper, we study some properties of Euler polynomials arising from umbral calculus. Finally, we give some interesting identities of Euler polynomials using our results. Recently, Dere and Simsek have studied umbral calculus related to special polynomials (see[6]).

研究动机与目标

• 利用上下文演算框架研究欧拉多项式的结构性质。
• 推导出 r 阶欧拉多项式用经典欧拉多项式表示的显式展开公式。
• 将该方法扩展至将 s 阶伯努利多项式表示为高阶欧拉多项式的线性组合。
• 建立一种系统化的运算方法，利用上下文代数中的微分与移位算子计算展开系数。

提出的方法

• 利用上下文代数结构，其中关于 t 的形式幂级数通过配对 $<f(t) | p(x)>$ 作为线性泛函作用于多项式。
• 应用生成函数 $ \frac{2}{e^t + 1} e^{xt} = \sum_{n=0}^\infty E_n(x) \frac{t^n}{n!} $ 来定义欧拉多项式及其高阶版本。
• 采用运算恒等式 $ t^k p(x) = p^{(k)}(x) $ 和移位算子 $ e^{yt} p(x) = p(x+y) $ 来操作多项式序列。
• 使用 Sheffer 序列形式化方法，特别是针对与 $ g(t) $ 和 $ f(t) $ 相关的序列，推导系数公式。
• 应用恒等式 $ <(e^t + 1)^r t^k | p(x)> = \sum_{l=0}^r \binom{r}{l} p^{(k)}(l) $ 以提取多项式展开中的系数。
• 通过 $ b_k^r = \frac{1}{2^r k!} \sum_{l=0}^r \binom{r}{l} p^{(k)}(l) $ 推导展开系数，从而实现任意多项式在高阶欧拉多项式基下的表示。

实验结果

研究问题

• RQ1 如何系统地应用上下文演算来推导欧拉多项式的新恒等式？
• RQ2 如何显式表示 $ E_n(x) $ 关于高阶欧拉多项式 $ E_k^{(r)}(x) $ 的展开式？
• RQ3 s 阶伯努利多项式能否表示为高阶欧拉多项式的线性组合？
• RQ4 此类展开式中系数的运算公式是什么，如何利用微分与移位算子表示？
• RQ5 涉及 $ E_n^{(r)}(x+1) + E_n^{(r)}(x) = 2E_n^{(r-1)}(x) $ 的恒等式如何与上下文演算框架的整体结构相关联？

主要发现

• 本文推导出恒等式 $ E_n^{(r)}(x) = \sum_{k=0}^n \binom{n}{k} E_{n-k}^{(r-1)} E_k(x) $，将高阶欧拉多项式表示为经典欧拉多项式的线性组合。
• 确立了 $ E_n(x) = \frac{1}{2^r} \sum_{k=0}^n \binom{n}{k} \left( \sum_{l=0}^r \binom{r}{l} E_{n-k}(l) \right) E_k^{(r)}(x) $，提供了经典欧拉多项式在高阶欧拉多项式基下的新展开式。
• 对于任意多项式 $ p(x) \in \mathbb{P}_n $，展开式 $ p(x) = \sum_{k=0}^n b_k^r E_k^{(r)}(x) $ 成立，其中系数 $ b_k^r = \frac{1}{2^r k!} \sum_{l=0}^r \binom{r}{l} p^{(k)}(l) $，且 $ p^{(k)}(l) $ 表示在 l 处求值的 k 阶导数。
• 推导出恒等式 $ B_n^{(s)}(x) = \frac{1}{2^r} \sum_{k=0}^n \binom{n}{k} \left( \sum_{l=0}^r \binom{r}{l} B_{n-k}^{(s)}(l) \right) E_k^{(r)}(x) $，揭示了高阶伯努利多项式与欧拉多项式之间的直接联系。
• 本文证实集合 $ \{E_0^{(r)}(x), \dots, E_n^{(r)}(x)\} $ 构成空间 $ \mathbb{P}_n $ 的一组基，从而实现多项式的唯一表示。
• 确立了运算恒等式 $ E_n(\alpha x) = \alpha^n \frac{g(t)}{g(t/\alpha)} E_n(x) $，其中 $ g(t) = \frac{1}{2}(e^t + 1) $，展示了在变量线性变换下多项式缩放行为。