[论文解读] On Some Explicit Formulas for Bernoulli Numbers and Polynomials

Lazhar Fekih‐Ahmed|arXiv (Cornell University)|Jun 26, 2011

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

一句话总结

本文为两个较少为人知的伯努利数显式公式提供了初等证明：$ B_k = (-1)^{k+1} \textstyle\sum_{n=1}^{k} \frac{1}{n(n+1)} \Delta_n(k) $ 和 $ B_k = (-1)^{k+1} \textstyle\sum_{n=1}^{k+1} \frac{1}{n^2} \Delta_n(k+1) $，其中 $ \Delta_n(k) $ 表示 $ j^k $ 的前向差分。该方法利用分数阶导数和赫鲁维茨 zeta 函数，将伯努利数与多项式推广至复指数，定义为 $ B_s = s\zeta(1-s) $ 和 $ B_s(x) = s\zeta(1-s,x) $，从而实现其全纯推广。

ABSTRACT

We provide direct elementary proofs of several explicit expressions for Bernoulli numbers and Bernoulli polynomials. As a byproduct of our method of proof, we provide natural definitions for generalized Bernoulli numbers and polynomials of complex order.

研究动机与目标

• 提供两个在文献中较少被引用的伯努利数显式公式的直接、初等证明。
• 利用分数阶微积分和赫鲁维茨 zeta 函数，将伯努利数与多项式的定义推广至复指数。
• 通过分数阶导数与积分表示，建立伯努利数与多项式复阶的自然推广。
• 证明伯努利数的生成函数可通过分数阶导数重新解释，从而导出新恒等式与推广。

提出的方法

• 通过前向差分 $ \Delta_n(k) = \sum_{j=1}^n (-1)^j \binom{n}{j} j^k $ 及求和恒等式的代数运算推导第一个公式。
• 应用洛朗的分数阶导数轮廓积分定义，将 $ B_k $ 表示为 $ I^{k-1}[\psi(-t)]_{t=0} $，其中 $ \psi(t) $ 是与生成函数相关的函数。
• 利用 $ s\zeta(s+1) $ 的全局收敛级数及逐项分数阶微分，推导第二个公式。
• 通过 $ B_s = s\zeta(1-s) $ 和 $ B_s(x) = s\zeta(1-s,x) $ 定义广义伯努利数 $ B_s $ 与多项式 $ B_s(x) $，适用于复数 $ s $。
• 将生成函数 $ \frac{t}{e^t - 1} $ 转化为包含 $ \psi(t) $ 的积分表示，以实现分数阶导数的计算。
• 利用伽马函数的函数方程与留数计算，求解零点处的分数阶导数，将其与黎曼 zeta 函数关联。

实验结果

研究问题

• RQ1 能否在不依赖斯特林数或递推关系的前提下，使用初等方法证明这两个伯努利数的显式公式？
• RQ2 分数阶导数如何用于定义复指数下的伯努利数与多项式？
• RQ3 在伯努利数的背景下，生成函数的分数阶导数与赫鲁维茨 zeta 函数之间存在何种关系？
• RQ4 是否存在一个自然的全纯推广，将伯努利数与多项式扩展至复指数，并保持其函数性质？

主要发现

• 第一个公式 $ B_k = (-1)^{k+1} \sum_{n=1}^{k} \frac{1}{n(n+1)} \Delta_n(k) $ 通过前向差分与求和恒等式得到直接证明。
• 第二个公式 $ B_k = (-1)^{k+1} \sum_{n=1}^{k+1} \frac{1}{n^2} \Delta_n(k+1) $ 通过 $ s\zeta(s+1) $ 的全局收敛级数进行逐项分数阶微分推导得出。
• 复阶广义伯努利数定义为 $ B_s = s\zeta(1-s) $，实现了经典定义的全纯推广。
• 复阶广义伯努利多项式定义为 $ B_s(x) = s\zeta(1-s,x) $，将经典多项式推广至复指数。
• 函数 $ \psi(t) = \frac{t e^{-t}}{(1 - e^{-t})^2} - \frac{e^{-t}}{1 - e^{-t}} $ 在 $ t=0 $ 处的 $ -s $ 阶分数阶导数为 $ (s-1)\zeta(s) $，将 zeta 函数与分数阶微积分联系起来。
• 该方法为通过 zeta 函数的解析延拓，自然定义复阶广义伯努利数与多项式提供了框架。