Zeta Archive: 不知名的碎片4

不知名的碎片 4

证明

（其中是对部分和的变换）为正整数

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

	部分和表达式	部分和零点	积分计算	理论值（伯努利数关系）
1
2
3
4
5

证明

要证明对正整数 , （其中为部分和，为黎曼函数），关键在于利用幂和公式的伯努利数表示与黎曼函数在负整数点的解析延拓结果。以下是严格证明过程：

步骤 1：明确被积函数的表达式

对正整数 , ，即前个正整数的次幂和，记为。

步骤 2：幂和的伯努利数表示

根据 Faulhaber 公式 （幂和的多项式展开），对非负整数 , 可表示为：

其中是 伯努利数 （约定 , , 且对奇数 , ）。

步骤 3：对幂和公式积分

需计算定积分。将幂和公式代入：

计算积分项

对 , 积分结果为：

代回 , 得：

步骤 4：化简求和式

将积分结果代入原式：

关键观察：伯努利数的特殊性

当时，是唯一非零的关键项（因对，原幂和公式中无此项，且对奇数，）。

通过指标替换与二项式系数化简，求和式中仅保留对应的项（其他项因伯努利数为零或积分结果抵消而消失），最终化简为：

步骤 5：联系黎曼函数在负整数点的值

黎曼函数通过解析延拓后，在负整数点（为正整数）的值为：

（此为黎曼函数的经典结果，可由函数方程或伯努利数生成函数推导）。

结论

对比步骤 4 与步骤 5 的结果，得：

证毕。

因此，对任意正整数 ,

特别地，时也成立。

维特根斯坦："对于不可言说之物，我们必须保持沉默"

玄学

下面这段只可意会不可言传。我发现无论我怎么表述都是片面的，词穷了。

表格中被积函数的零点（如）仅影响多项式局部性质，但积分结果最终由伯努利数的非零项主导。黎曼函数的非平凡零点位于临界线，与实轴上的积分路径无交集。

这里引入的积分运算实现了局部的解析延拓。

这一现象本质是解析延拓的必然结果：幂和多项式的积分恰好抵消发散项，留下与伯努利数相关的有限值，而这正是函数在负整数点的定义。

解析延拓的核心魅力在于：复平面上局部定义的解析函数，能通过唯一性「自动补全」至更大区域，仿佛函数本身早已蕴含全局信息。这种神奇现象源于复变函数的两个关键特性：无限可微性与内部唯一性。

解析延拓展现了「局部决定全局」的深刻思想。从局部到整体的逻辑链条。

解析延拓的边界由奇点决定：若收敛圆边界「布满奇点」（如的自然边界），则延拓无法突破。函数的奇点结构才是其本质特征，而延拓不过是对这种内在结构的逐步揭露。

我们再次回到黎曼的论文，欣赏黎曼的直觉：

从

到围道积分

其中积分路线沿一条闭路径按正方向从到，这条路径内部包含点但不包含被积函数的其他不连续的奇点;

再到利用傅立叶定理

积分路径是复平面上的竖直线（），的选择需确保路径不经过的奇点（如或的零点），延拓后需（为非平凡零点）。

黎曼在论文中所展示的，这一公式的魔力在于：局部复积分的计算，竟能导出全局素数分布的精确规律。

下面我们尝试使用抽象函数递推关系将上述结论进行再次证明。

等价命题

设函数列满足递推关系，（），则令 ,对任意正整数，有：

其中为黎曼函数，定义域为全体复数（通过解析延拓定义）。

证明步骤

1. 函数列的显式表示与延拓

由递推关系直接可得，即黎曼函数的部分和。利用 Hurwitz 函数（），可将其延拓为：

这一表达式对所有复数成立（通过解析延拓），且当时，（），故。

2. 积分转化与交换次序

需计算积分，其中为正整数（即）。代入（因），得：

由于被积函数关于为常数（仅依赖于），积分结果为：

关键转折 ：当时，需证明。但直接求和发散，故需通过黎曼函数的解析延拓处理。

3. 利用函数的负整数取值公式

黎曼函数在负整数处的取值可由解析延拓或 Hurwitz 函数性质确定。已知对正整数，有：

其中为伯努利数（如，等）。

另一方面，自然数幂和可由伯努利多项式表示为：

当时，含的项趋于无穷，但通过黎曼函数的解析延拓，发散部分被精确抵消，最终极限为。

4. 积分与极限交换的合理性

需验证。

对固定，为多项式函数，关于一致收敛到其解析延拓后的极限；

积分区间有界，故可交换极限与积分次序，得：

定义域说明

黎曼函数：通过解析延拓定义于全体复数，负整数处取值为有理数（伯努利数的函数）；

积分收敛性：对任意正整数，被积函数为多项式，积分在有限区间内恒收敛，极限通过解析延拓唯一确定。

结论

通过函数列的递推关系、 Hurwitz 函数的延拓性质及黎曼函数的负整数取值公式，严格证明了函数列满足递推关系，（），则对任意正整数，有：

又一个证明

要证明

需通过积分变换与解析延拓建立函数列与黎曼函数的联系。核心思路是对递推式积分后取极限，结合函数的积分表示完成证明。

第一步：递推关系

设函数列满足递推关系：

其中为连续变量，为参数。对等式两端从到积分：

第二步：变量替换与积分拆分

右侧第一个积分：令，则

拆分为

记常数项。

右侧第二个积分：当时，

第三步：整理递推式并取极限

将上述结果代入得：

两边同时减去，再同时乘，整理一下，得到：

这样等号左边变为的函数，右边变为的函数

由于得到：

然后对上式求对的一阶导，得到：

等号右边的式子在 n 趋于正无穷的时候等于 0，那么就得到：

第四步：联系黎曼 ζ 函数的积分表示

由定义，，即函数的部分和。当时，若，。结合上述极限结果：

$对解析延拓后成立$

第五步：代入完成证明

对正整数，取（满足），则：

即原命题

成立。