阿贝尔求和公式

阿贝尔求和公式是由尼尔斯·阿贝尔所发现，广泛应用于数论之中，以便用来计算级数。

恒等式

设$a_{n}$为一列由实数或复数所组成的序列，$\phi (x)$是一列${\mathcal {C}}^{1}$级函数，则

$\sum _{1\leq n\leq x}a_{n}\phi (n)=A(x)\phi (x)-\int _{1}^{x}A(u)\phi '(u)\,\mathrm {d} u$

其中

$A(x):=\sum _{1\leq n\leq x}a_{n}\,.$

而且这正是在黎曼－斯蒂尔杰斯积分之上运用分部积分法所得到的。

更概况的表示，我们有

$\sum _{x<n\leq y}a_{n}\phi (n)=A(y)\phi (y)-A(x)\phi (x)-\int _{x}^{y}A(u)\phi '(u)\,\mathrm {d} u\,.$

例

欧拉-马斯刻若尼常数

设$a_{n}=1$，$\phi (x)={\frac {1}{x}}\,,$ 因而 $A(x)=\lfloor x\rfloor$

$\sum _{1}^{x}{\frac {1}{n}}={\frac {\lfloor x\rfloor }{x}}+\int _{1}^{x}{\frac {\lfloor u\rfloor }{u^{2}}}\,\mathrm {d} u$

因此是一种可以表示欧拉-马斯刻若尼常数的方式。

黎曼ζ函数的表示

设$a_{n}=1$，$\phi (x)={\frac {1}{x^{s}}}\,,$ 因而 $A(x)=\lfloor x\rfloor$

$\sum _{1}^{\infty }{\frac {1}{n^{s}}}=s\int _{1}^{\infty }{\frac {\lfloor u\rfloor }{u^{1+s}}}\mathrm {d} u\,.$

公式维持在$\Re (s)>1\,.$，并且可以用来推导狄利克雷定理, 其为, $\zeta (s)$ 具有一则在 s = 1的留数为 1 的简单极点 (复分析)。

黎曼ζ函数的倒数

设$a_{n}=\mu (n)$ 是一则默比乌斯函数, $\phi (x)={\frac {1}{x^{s}}}\,,$ 因而 $A(x)=M(x)=\sum _{n\leq x}\mu (n)$ 是一则梅滕斯函数

$\sum _{1}^{\infty }{\frac {\mu (n)}{n^{s}}}=s\int _{1}^{\infty }{\frac {M(u)}{u^{1+s}}}\mathrm {d} u\,.$

公式维持在$\Re (s)>1\,.$

参见

• 分部积分法
• 黎曼ζ函数

参考文献

• Apostol, Tom, Introduction to Analytic Number Theory, 数学大学生教材, Springer-Verlag, 1976 .