级数收敛、cesaro可和以及Abel可和的关系

Cesaro和

已有一个数列 { c n } , c n ∈ C \{c_n\},c_n \in \mathbb{C} { cn​},cn​∈C，在这个意义下我们可以定义部分和数列 { s n = c 1 + c 2 + ⋯ + c n } \{s_n=c_1 + c_2 + \cdots + c_n\} { sn​=c1​+c2​+⋯+cn​}，显然这个数列的第n项是原有数列前n项的和。而cesaro和是在这个部分和数列上定义的： { σ n = s 1 + s 2 + ⋯ + s n n } \{\sigma_n=\frac{s_1 + s_2 + \cdots + s_n}{n}\} { σn​=ns1​+s2​+⋯+sn​​}，即这个cesaro和序列的每一项都是部分和序列前n项的均值。

cesaro可和

一个数列$c_n$被称为是cesaro可和的(cesaro summable)，若${\lim }_{n\to \infty }{\sigma }_n=\sigma$收敛。我们在后面可以证明，cesaro收敛是比平常意义下的级数收敛更广泛的一种收敛形式。即若一个数列的级数收敛，那么他一定是cesaro收敛的，进一步的，可以证明二者收敛到一个极限，反向不成立。用数学语言表述是这样的：

∀ { c n ∈ C } , 若 lim ⁡ n → ∞ s n = s 收敛，那么 lim ⁡ n → ∞ σ n = s 同样收敛到 s 。 \forall \{c_n \in \mathbb{C} \}, 若\lim_{n \rightarrow \infty}s_n=s收敛，那么\lim_{n\rightarrow \infty}\sigma_n=s同样收敛到s。 ∀{ cn​∈C},若n→∞lim​sn​=s收敛，那么n→∞lim​σn​=s同样收敛到s。
这个证明其实并不难，整体的证明思路是$\forall ϵ>0,|{\sigma }_n-s|<ϵ$，从而证明二者相等，具体而言：
Proof:
$\forall ϵ>0,\exists N\in \mathbb{N},\forall n>N,|s_n-s|<ϵ.$

$${\sigma }_n=\sum _{i=1}^n{s}_i/n=\sum _{i=1}^{N-1}{s}_i/n+\sum _{i=N}^n{s}_i/n$$
把他拆成两部分，cesaro这种均值形式的，有限项是没有意义的。
整体把${\sigma }_n$减掉s：
$${\sigma }_n-s=\sum _{i=1}^{N-1}\frac{s_i-s}{n}+\sum _{i=N}^n\frac{s_i-s}{n}$$
对于第二部分，我们有如下变换：
$$\sum _{i=N}^n\frac{s_i}{n}-s\le |\sum _{i=N}^n\frac{s_i-s}{n}|\le \sum _{i=N}^n\frac{|s_i-s|}{n}\le ϵ\frac{n-N+1}{n}\le ϵ$$
再令n趋于无穷，我们有如下结果：
lim ⁡ n → ∞ σ n − s ≤ lim ⁡ n → ∞