Zeta Archive: 不知名的碎片5

不知名的碎片 5

证明

其中

是对部分和的导数的变换，为正整数

变换的定义: 设是定义在正整数集上的函数，若存在一个解析表达式（如多项式、指数函数等）使得对所有成立，则变换将映射为定义在上的函数，满足：其中，即通过将原表达式中的离散变量直接替换为连续变量，实现定义域从到的扩展。

要证明（其中为正整数），需通过伯努利多项式的解析延拓、函数导数的经典关系及积分换元法：

黎曼函数部分和的导数为

黎曼函数部分和定义为

对求导得:

代入（为正整数, 此时）, 直接得到:

核心问题 ：当为非整数时, 和式无意义, 需通过解析延拓将其拓展为定义在全体实数（甚至复数）上的函数.

自然数幂和的伯努利多项式表示（基础公式）

先回顾自然数幂和的经典结果 ：对正整数 , 前个自然数的次幂之和可表示为伯努利多项式的形式:

其中:

是伯努利多项式（最高次项为的多项式）；

是伯努利数（伯努利多项式在处的取值, 如 , , , ）。

它将离散幂和转化为连续多项式, 为后续解析延拓提供可能.

对幂和公式求导, 引入项

为得到含的和式, 对上式两边关于求导（此时将视为连续变量进行解析延拓）：

左边求导 ：

（注：对整数 , 和式对的导数仅保留最后一项的导数；但延拓到非整数后, 需用解析导数, 即对全体项求导后的和。）

右边求导 ：

（因是常数, 求导后为 0；对的导数是其自身导数。）

联立两边, 得到:

其中是积分常数（求导时引入, 需通过边界条件确定）.

通过函数导数确定常数

为确定常数 , 需联系黎曼函数的导数 . 已知伯努利数与函数的经典关系:

$为正整数$

（可由函数的函数方程与伯努利多项式的性质推导, 是数论中的核心公式. ）

考虑当时, 有限和应趋近于无限和的导数（但需注意发散, 此处需通过解析延拓定义 “无限和的导数”）. 更简单的方法是取（此时和式为空和, 值为 0）代入公式:

再结合伯努利多项式的导数与函数导数的关系：通过赫尔维茨函数导数公式可证明（具体推导需用到在负整数点的导数表达式, 此处可视为已知结论）. 因此:

代入公式, 最终得到有限和的解析延拓表达式：

联立, 即得非整数时的解析表达式：

需计算积分，将被积函数代入延拓后的表达式：

换元技巧 ：令（则，积分限变为），积分化为：

伯努利多项式的积分性质 ：已知伯努利多项式在上的积分满足（）。对导数项积分：

而伯努利多项式的边界条件为（），故该项为 0。右侧积分，因此：

通过伯努利多项式的解析延拓、积分换元及边界条件，证明了对任意正整数：

特别地，时也成立。

不知名的碎片 5