Abel 变换
设 $\{a_n\}_{n=0}^{\infty}$ 和 $\{b_n\}_{n=0}^{\infty}$ 是两个复数列. 对任意 $N\in\mathbb{Z}$, $M\in\mathbb{N}^*$, 有
\[
\sum_{N < n\leqslant N+M}a_n b_n=A_{N+M}b_{N+M+1}+\sum_{N < n\leqslant N+M}A_n(b_n-b_{n+1}),
\]
其中 $A_n:=\sum_{N < m\leqslant n}a_m$, $n\geqslant 0$. 特别的, 若
\[
\sup_{N < n\leqslant N+M}|A_n|\leqslant A,
\]
$\{b_n\}_{n=0}^{\infty}$ 非负且单调下降, 那么
\[
\biggl|\sum_{N < n\leqslant N+M}a_n b_n\biggr|\leqslant Ab_{N+1}.
\]
References:
G. 特伦鲍姆 著, 《解析与概率数论导引》, 陈华一 译.
Abel 求和 (参见问题1717)