A study of degenerate Bernoulli and Euler numbers via operators

技术摘要：通过算子研究退化伯努利数与欧拉数

问题陈述
本文旨在解决关于退化特殊数（即退化伯努利数 $\beta_{n,\lambda}$、退化欧拉数 $E_{n,\lambda}$ 以及第二类退化欧拉数 $E^*_{n,\lambda}$）的显式表达式及其关系的需求。虽然这些多项式和数字的退化版本已通过各种工具（生成函数、umbral 微积分、$p$ 进分析）得到了研究，但本研究侧重于利用特定的微分算子来推导这些显式形式并建立它们之间的联系。

方法论
核心方法论涉及引入并应用两类作用于实变量 $x$ 函数的特定微分算子：

1. 算子 $\left(x^{1-\lambda} \frac{d}{dx}\right)^n$。
2. 算子 $x^{n\lambda} \left(x^{1-\lambda} \frac{d}{dx}\right)^n$，作者将其识别为算子 $\left(x \frac{d}{dx}\right)^n$ 的退化版本，记作 $\left(x \frac{d}{dx}\right)_{n,\lambda}$。

作者通过以下步骤利用这些算子：

• 算子展开：他们推导了这些算子关于第二类退化斯特林数 $\left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\}_\lambda$ 及标准导数的显式展开式。
• 应用于生成函数：将这些算子应用于与退化数相关的特定生成函数。例如，将算子 $\left(x^{1-\lambda} \frac{d}{dx}\right)^n$ 应用于函数 $\frac{1}{1+e_\lambda(z)}$（其中 $e_\lambda(z)$ 是退化指数函数），以提取与 $E_{n,\lambda}$ 相关的系数。
• 变量代换：一个关键技术是进行变量代换 $u = e_\lambda(z)$，这使得关于 $z$ 的导数转化为涉及 $u^{1-\lambda} \frac{d}{du}$ 的算子形式。
• 在零点处求值：作者在 $z=0$（或 $x=0$）处对所得表达式进行求值，以分离出特定的退化数。
• 递推与组合恒等式：论文利用涉及退化下降阶乘 $(x)_{n,\lambda}$ 的恒等式和二项反转法来求解多项式展开中的系数。

主要贡献与结果

1. 算子理论与恒等式：

   • 论文建立了展开式 $\left(x^{1-\lambda} \frac{d}{dx}\right)^n = \sum_{l=0}^n \left\{ \begin{smallmatrix} n \\ l \end{smallmatrix} \right\}_\lambda x^{l-n\lambda} \left(\frac{d}{dx}\right)^l$。
   • 推导了第二类退化斯特林数的递推关系：$\left\{ \begin{smallmatrix} n+1 \\ l \end{smallmatrix} \right\}_\lambda = \left\{ \begin{smallmatrix} n \\ l \end{smallmatrix} \right\}_\lambda (l - n\lambda) + \left\{ \begin{smallmatrix} n \\ l-1 \end{smallmatrix} \right\}_\lambda$。
   • 推导了一个关于退化贝尔多项式的 Dobinski 型公式：$e^x \phi_{n,\lambda}(x) = \sum_{j=0}^\infty \frac{(j)_{n,\lambda}}{j!} x^j$。

2. 退化欧拉数的显式表达式：
   通过将算子应用于 $\frac{1}{1+e_\lambda(z)}$ 并在 $z=0$ 处求值，作者推导出了退化欧拉数的显式公式：
   $$E_{n,\lambda} = \sum_{k=0}^n \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\}_\lambda (-1)^k k! 2^{-k}$$

3. 退化伯努利数与欧拉数之间的关系：
   论文建立了退化伯努利数与退化欧拉数之间的直接关系。通过分析 $\frac{2z}{e_\lambda^2(z)-1}$ 的导数并利用恒等式 $\frac{2z}{e_\lambda^2(z)-1} = \frac{z}{e_\lambda(z)-1} - \frac{z}{e_\lambda(z)+1}$，作者证明了：
   $$2^n \beta_{n, \frac{\lambda}{2}} - \beta_{n,\lambda} = -\frac{n}{2} E_{n-1,\lambda}$$
   该结果推广了已知的经典伯努利数与欧拉数之间的关系（通过取 $\lambda \to 0$ 得到）。

4. 第二类退化欧拉数的显式表达式：
   作者引入了函数 $g_{n,\lambda}(u) = u^{n\lambda} \left(u^{1-\lambda} \frac{d}{du}\right)^n \left(\frac{u}{1+u^2}\right)$。通过两种方式展开该函数——一次通过退化下降阶乘级数，另一次通过包含系数 $a(n,k|\lambda)$ 的特定多项式形式——作者推导出了第二类退化欧拉数（在文中语境下 $E^*_{n,\lambda}$ 被记作 $E_{n,\lambda}$）的显式表达式：
   $$E^*_{n,\lambda} = \sum_{k=0}^n 2^{-k} \sum_{j=0}^k (-1)^j \binom{k}{j} (2j+1)_{n,\lambda}$$

意义与主张
论文声称，当试图确定退化欧拉数的显式表达式以及寻找退化伯努利数与欧拉数之间的关系时，这些特定的算子会自然出现。其意义在于提供了一个统一的算子理论框架，无需仅仅依赖于生成函数的操纵即可得出这些显式公式和关系。作者指出，这些算子通过变量代换 $u = e_\lambda(z)$，促进了不同退化数表示形式之间的转换。

这项工作被视为对退化特殊多项式和数字更广泛研究的贡献，提供了新的组合恒等式和显式公式，这些公式在 $\lambda \to 0$ 的极限下还原为经典结果。作者最后指出，他们打算继续研究这些特殊数的概率扩展及 $\lambda$ 模拟。