[论文解读] A New Approach to Multivariate q-Euler polynomials by using Umbral calculus

Serkan Aracı, Xiangxing Kong+2 more|arXiv (Cornell University)|Nov 16, 2012

Advanced Mathematical Identities被引用 5

一句话总结

本文提出了一种基于 umbral 微积分的新方法，用于推导多变量 $q$-Euler 多项式恒等式，将经典 Euler 多项式推广至多变量并引入 $q$-变形。主要贡献在于提出了一种新的展开公式，可将任意多项式表示为多变量 $q$-Euler 基多项式的形式，从而通过微分算子和生成函数实现显式系数计算。

ABSTRACT

In this work, we derive numerous identities for multivariate q-Euler polynomials by using umbral calculus.

研究动机与目标

• 使用 umbral 微积分建立多变量 $q$-Euler 多项式的系统性框架。
• 将经典 Euler 多项式推广至多变量并引入 $q$-变形。
• 推导任意多项式在多变量 $q$-Euler 多项式基下的显式系数公式。
• 利用生成函数与线性泛函，建立涉及多变量 $q$-Euler 多项式的积分与微分恒等式。
• 通过形式幂级数与线性泛函技术，统一并扩展现有关于 $q$-Euler 与 Sheffer 序列的结果。

提出的方法

• 在 $\mathcal{F}$ 中使用 umbral 微积分与形式幂级数，将线性泛函与多项式视为对偶空间。
• 应用 Sheffer 序列框架，将多变量 $q$-Euler 多项式识别为特定生成函数 $g(t) = \frac{(q^{b_1}e^{a_1 t}+1)\cdots(q^{b_r}e^{a_r t}+1)}{2^r}$ 的 Appell 序列。
• 利用线性泛函的作用 $\langle f(t) \mid p(x) \rangle = a_n$，其中 $f(t) = \sum a_k \frac{t^k}{k!}$，将系数与导数联系起来。
• 利用恒等式 $\left\langle \frac{e^{yt}-1}{t} \mid p(x) \right\rangle = \int_0^y p(u) du$ 推导 $q$-Euler 多项式的积分表示。
• 通过公式 $b_k = \frac{1}{2^r k!} \sum_{k_1+\cdots+k_r=1} q^{\sum b_l k_l} p^{(k)}\left(\sum a_j k_j\right)$ 推导系数公式，将展开系数表示为加权和处导数的形式。
• 依赖生成函数与 delta 级数的复合逆，以构造和操作多项式序列。

实验结果

研究问题

• RQ1 如何利用 umbral 微积分技术系统地生成多变量 $q$-Euler 多项式？
• RQ2 如何显式表示任意多项式在多变量 $q$-Euler 多项式基下的展开公式？
• RQ3 涉及 $\frac{e^{yt}-1}{t}$ 的积分恒等式如何反映多变量 $q$-Euler 多项式的结构？
• RQ4 生成函数 $g(t) = \frac{(q^{b_1}e^{a_1 t}+1)\cdots(q^{b_r}e^{a_r t}+1)}{2^r}$ 在定义 $q$-Euler 基中的作用是什么？
• RQ5 如何高效计算多项式在多变量 $q$-Euler 多项式基下展开的系数？

主要发现

• 证明了多变量 $q$-Euler 多项式 $E_{n,q}(x \mid a_1,\dots,a_r; b_1,\dots,b_r)$ 对于生成函数 $g(t) = \frac{(q^{b_1}e^{a_1 t}+1)\cdots(q^{b_r}e^{a_r t}+1)}{2^r}$ 构成一个 Appell 序列。
• 推导出显式系数公式：$b_k = \frac{1}{2^r k!} \sum_{k_1+\cdots+k_r=1} q^{\sum b_l k_l} p^{(k)}\left(\sum a_j k_j\right)$，实现了在 $q$-Euler 基下的多项式展开。
• 建立了恒等式 $\left\langle \frac{e^{yt}-1}{t} \mid E_{n,q}(x \mid \dots) \right\rangle = \int_0^y E_{n,q}(u \mid \dots) du$，将生成泛函与定积分联系起来。
• 证明了 $t^k$ 对多项式的作用对应于 $k$ 阶微分：$t^k p(x) = p^{(k)}(x)$，这是 umbral 微积分中的关键恒等式。
• 利用生成函数展开式 $\left(q^{b_1}e^{a_1 t}+1\right)\cdots\left(q^{b_r}e^{a_r t}+1\right) = \sum_{k_1+\cdots+k_r=1} q^{\sum b_l k_l} e^{t \sum a_j k_j}$ 分解泛函作用。
• 该框架成功地将经典 $q$-Euler 多项式推广至多变量情形，引入多个参数 $a_i, b_i$，并保持了 Appell 与 Sheffer 序列的性质。