[论文解读] Two closed forms for the Apostol-Bernoulli polynomials

Su Hu, Min-Soo Kim|arXiv (Cornell University)|Sep 14, 2015

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

一句话总结

本文利用包含生成函数导数和斯特林数的行列式，提出了阿波斯托尔-伯努利多项式 $ B_n(u,z) $ 的两个新颖的闭式表达式。通过应用法拉德（Faà di Bruno）公式计算有理函数的高阶导数以及莱布尼茨法则，作者推导出基于行列式的显式表达式，这些表达式推广了先前的结果，并为这些特殊多项式提供了新的计算工具。

ABSTRACT

In this note, we shall obtain two closed forms for the Apostol-Bernoulli polynomials.

研究动机与目标

• 推导阿波斯托尔-伯努利多项式 $ B_n(u,z) $ 的新闭式表达，该多项式推广了经典伯努利多项式，在数论与分析中有应用。
• 通过提供显式、有限形式的表达式，克服现有表示方法在无限级数或特殊函数方面的局限性。
• 通过基于行列式的公式和第二类斯特林数的组合恒等式，统一并扩展卢奥（Luo）等人先前的结果。
• 建立一个高效计算阿波斯托尔-伯努利多项式的框架，借助矩阵行列式与导数展开。

提出的方法

• 应用法拉德公式计算函数比 $ \frac{\mu}{\nu} $ 的 $ n $ 阶导数，表示为包含 $ \mu $ 和 $ \nu $ 导数的矩阵行列式。
• 设 $ \mu(x) = 1 $，$ \nu(x) = \frac{ze^x - 1}{e^{ux}} $，使得 $ \frac{\mu}{\nu} = \frac{xe^{ux}}{ze^x - 1} $，即 $ B_n(u,z) $ 的生成函数。
• 使用莱布尼茨法则计算 $ x \cdot \frac{\mu}{\nu} $ 的 $ (n+1) $ 阶导数，并在 $ x \to 0 $ 时取极限，以提取 $ \frac{x^n}{n!} $ 的系数。
• 通过 $ ze^{(1-u)x} - e^{-ux} $ 的泰勒展开计算行列式元素，得到涉及 $ z(1-u)^{\ell-m} - (-u)^{\ell-m} $ 的表达式。
• 推导出以二项式系数与幂次项构成的行列式闭式表达：$ \left| \binom{\ell}{m} \left[ z(1-u)^{\ell-m} - (-u)^{\ell-m} \right] \right| $，其中 $ 1 \leq \ell \leq n $，$ 0 \leq m \leq n-1 $。
• 通过简化得到两个不同的闭式表达：一个以斯特林数表示，另一个以行列式形式表示，两者在 $ z \neq 1 $ 时均成立。

实验结果

研究问题

• RQ1 能否推导出避免使用无穷级数或特殊函数的阿波斯托尔-伯努利多项式闭式表达？
• RQ2 法拉德公式在有理函数高阶导数中的应用，如何被调整以生成 $ B_n(u,z) $ 的显式公式？
• RQ3 第二类斯特林数在构造这些多项式替代闭式表达中起什么作用？
• RQ4 能否将生成函数 $ \frac{xe^{ux}}{ze^x - 1} $ 转化为直接给出 $ B_n(u,z) $ 的行列式表示？
• RQ5 这些新闭式表达对阿波斯托尔-伯努利多项式的计算与理论研究有何影响？

主要发现

• 第一个闭式表达将 $ B_n(u,z) $ 表示为 $ n $ 阶行列式，其元素为 $ \binom{\ell}{m} \left[ z(1-u)^{\ell-m} - (-u)^{\ell-m} \right] $，适用于 $ z \neq 1 $。
• 第二个闭式表达通过代入 $ u = 0 $ 得到：$ B_n(z) = \frac{(-1)^n n!}{(z-1)^{n+1}} \left| \binom{\ell}{m} \left[ z(1)^{\ell-m} - 0 \right] \right| $，简化为仅含 $ z $ 和二项式系数的行列式。
• 基于行列式的公式推广了卢奥早期的超几何表示，提供无需特殊函数的有限可计算表达式。
• 该方法成功地将已知结果（如阿波斯托尔的递推关系）作为特例恢复，验证了方法的有效性。
• 推导过程确认了生成函数展开中第 $ n $ 个系数确实对应于在 $ x = 0 $ 处计算的第 $ n $ 阶导数，使用了莱布尼茨法则与极限过程。
• 结果扩展了存在闭式表达的函数类，并为阿波斯托尔-伯努利多项式的符号计算与数论应用开辟了新途径。