**发散级数**（英語：）是指（按柯西意义下）不收敛的级数。如级数1 + 2 + 3 + 4 + \cdots和1 - 1 + 1 - 1 + \cdots ，也就是说该级数的部分和序列没有一个有穷极限。

如果一个级数是收敛的，这个级数的项一定会趋于零。因此，任何一个项不趋于零的级数都是发散的。不过，收敛是比这更强的要求：不是每个项趋于零的级数都收敛。其中一个反例是调和级数

{\displaystyle 1+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+\cdots =\sum \_{n=1}^{\infty }{\frac {1}{n}}.}

调和级数的发散性被中世纪数学家奥里斯姆所证明。

Les séries divergentes sont en général
quelque chose de bien fatal et c'est une honte qu'on ose y fonder aucune démonstration. 

("发散级数通常是灾难性的，基于它的任何证明都是不光彩的。"经常被翻译为"发散级数是魔鬼的发明 ……")N. H. Abel, letter to Holmboe, January 1826, 再版于他论文集的第二卷。

可和法
---

在实际的数学研究以及物理、天文等其它学科的应用中，经常会自然地涉及各种发散级数，所以数学家们便试图给这类发散级数客观地指派一个实或复的值，定义为相应级数的和，并在这种意义之下研究所涉及的发散级数。每一种定义都被称为一个**可和法**（英語：），也被理解为一类级数到实数或复数的一个映射，通常也是一个线性泛函，例如阿贝尔可和法、切萨罗可和法与波莱尔可和法等。

可和法通常保持收敛级数的收敛值，而对某些发散级数，这种可和法和能额外定义出相应级数的和。例如切萨罗可和法将格兰迪级数

1 - 1 + 1 - 1 + \cdots
可和到1/2。大部分可和法与相应幂级数的解析延拓相关，每个适当的可和法试图描述的是序列趋于无穷时的平均表现，这种意义下也可以理解为无穷序列的均值。

历史
--

…… 柯西之前的数学家们不会问"我们应该如何定义1 − 1 + 1...？"而会问"1 − 1 + 1...是什么？"他们认知中的这种习惯将他们引入了不必要的疑惑和争辩，它们往往是非常口头上的。G. H. Hardy, Divergent series, 第6页
19世纪前，欧拉以及其他数学家广泛地应用发散级数，但经常引出令人困惑与矛盾的结果。其中，主要的问题是欧拉的思想，即每个发散级数都应有一个自然的和，而无需事先定义发散级数的和的含义。柯西最终给出了（收敛）级数的和的严格定义，从这过后的一段时间，发散级数基本被排除在数学之外了。直到1886年，它们才在庞加莱关于渐进级数的工作中再次出现。在1890年，切萨罗意识到可以对一类发散级数的和给出严格定义，从而定义了切萨罗和。（这并不是第一次应用到切萨罗和，弗罗贝尼乌斯在1880年曾经使用过；切萨罗关键的贡献并不是发现了这个可和法，而是由于他認為「应当给出发散级数和的精确定义」的思想。）在切萨罗的论文发表的后一年，其他的一些数学家陆续给出了发散级数和的其他定义，不過这些定义并不总是相容的：不同的定义可能对相同的发散级数给出不同的和。所以，当提及发散级数的和时，需要具体指明所使用的是哪个可和法，尽管大部分常用的可和法某种意义上是彼此相容的。

关于发散级数求和的可和法定理
--------------

收敛级数映射到它的和的函数是线性的，从而根据哈恩-巴拿赫定理可以推出，这个函数能扩张成可和任意部分和有界的级数的可和法，这个事实一般并不怎么有用，因为这样的扩张许多都是互不相容的，并且也由于这种算子的存在性证明诉诸于选择公理或它的等价形式，例如佐恩引理，所以它们还都是非构造的。

发散级数这一分支，作为分析学的领域，本质上关心的是明确而且自然的技巧，例如阿贝尔可和法、切萨罗可和法、波莱尔可和法以及相关对象。维纳陶伯型定理的出现标志着这一分支步入了新的阶段，它引出了傅里叶分析中巴拿赫代数与可和法间出乎意料的联系。

发散级数的求和作为数值技巧也与插值法和序列变换相关，这类技巧的例子有：帕德近似、Levin类序列变换以及与量子力学中高阶微扰论的重整化技巧相关的依序映射。

可和法的基本性质
--------

可和法通常关心的是级数的部分和序列。有时这个序列并不收敛，但经常能发现，从序列首项起，逐个取越来越多的项的平均，得到的均值列可以是收敛的，可以用这个均值列的极限取代原本的概念，用以表示相应级数的和。所以通常为了得到级数 *a*0 + *a*1 + *a*2 + ...的和，会从序列*s*出发考虑，其中*s*0 = *a*0，*s**n*+1 = *s**n* + *a**n*+1，其中在收敛的情形下，序列*s*趋于某个极限*a*。每个**可和法**也能被理解为一类级数的部分和序列到实数或复数的一个映射，在这种理解下，可以通过考虑将相应级数映射到相同的值的映射，将其化为**级数可和法** **A***Σ*，反之亦然。这些可和法通常需要遵循或者拥有一类自然的性质，使得它们在应用上如同极限的概念一样，更容易推出一般性的结论。

1. **正则性**. 称可和法**A**为*正则*的，是指对每个收敛到*x*的序列*s*，有**A**(*s*) = *x*。等价地说，相应的级数可和法总会给出**A***Σ*(*a*) = *x*。
2. **线性**. 称可和法**A**为*线性*的，是指它作为(部分和)序列上的函数是一个线性泛函，因此对序列*r*、*s*与实或复的标量*k*有**A**(*k* *r* + *s*) = *k* **A**(*r*) + **A**(*s*)。 由于级数*a*的项*a**n*+1 = *s**n*+1 − *s**n*是一族关于序列*s*的线性泛函，反之亦然，所以这也等价于说 **A***Σ*是作用在级数的项序列上的线性泛函。
3. **稳定性** (也被称为可移性).若*s*是从*s*0开始的序列，并且*s*′是通过删去*s*的首项并在余下每一项减去*s*0得到的序列，也就是*s*′*n* = *s**n*+1 − *s*0，则**A**(*s*)有定义当且仅当**A**(*s*′)有定义，并且**A**(*s*) = *s*0 + **A**(*s*′)。 等价地说，只要对每个*n*有*a*′*n* = *a**n*+1，那么**A***Σ*(*a*) = *a*0 + **A***Σ*(*a*′)。对此的另一种表述是，在这个可和法下可和的级数都满足移位法则。

有许多可和法都满足比正则性更强的全正则性，例如切萨罗和。

1. **全正则性**.倘若可和法不仅正则，还将每个发散到正无穷的序列可和到正无穷，发散到负无穷的序列可和到负无穷，则称这个可和法是全正则的。

这种性质是将正则性与广义实数结合考虑后所自然产生的，换句话说，并不将通常意义下的发散到正无穷的级数视作没有极限的，而是视作以正无穷为"极限"。例如一个可和法将1 + 2 + 3 + 4 + \cdots可和到{\displaystyle -1/12}，那么它一定不是全正则的。类似的，也可以在纳入广义实数考虑的情形下，借助广义实数间的运算法则定义出类似意义下的线性。

第三个性质不那么重要，对一些重要的可和法而言，例如波莱尔可和法，可能会没有这种性质。应该注意到的是，这里并没有希望所考虑的可和法定义在每个实序列或者有界实序列上，这是因为大部分有力的可和法也无法满足这种性质。倘若希望讨论额外满足这种性质的可和法，例如巴拿赫极限，需要证明这种可和法的存在性，这将会涉及哈恩-巴拿赫定理。

还可以给出比稳定性稍弱一点的条件。

1. **有限可重排性**.若 *a*和*a*′是两个级数，之间存在一个双射 {\displaystyle f:\mathbb {N} \rightarrow \mathbb {N} } ，使得*a**i* = *a*′*f*(*i*)对每个 *i*成立，还存在{\displaystyle N\in \mathbb {N} }使得对每个*i* > *N*都有*a**i* = *a*′*i*，则 **A***Σ*(*a*) = **A***Σ*(*a*′)。(换句话说，*a*′和*a*只要重排有限项后便是同一个级数。)注意到这是比**稳定性**要弱的条件，因为每个遵循**稳定性**的可和法也会遵循**有限可重排性**，但反过来并不正确。

对于两个不同的可和法**A**和**B**，会希望它们能享有*相容性*：称**A**和**B**为相容的，是指对两个可和法下都可和的序列*s*而言，有**A**(*s*) = **B**(*s*)。如果两个可和法是相容的，并且其中一个能可和的级数多于另一个，便把能可和得更多的那个称为*更强的*。

有一些有力的数值可和法既不正则也不线性，例如一些非线性的序列变换，像是Levin类序列变换和帕德近似，以及基于重整化技巧中微扰级数的依序映射。

倘若将正则性、线性和稳定性视作公理，那么通过基本的代数操作便能对许多发散级数求和。这部分地解释了不同的可和法对一类级数总给出同一个值的原因。

例如，对于公比*r*≠1的几何级数，假定在某个符合以上三条的可和法下都是可和的，便可得到

{\displaystyle {\begin{aligned}G(r,c)&=\sum \_{k=0}^{\infty }cr^{k}&&\\&=c+\sum \_{k=0}^{\infty }cr^{k+1}&&\\&=c+r\sum \_{k=0}^{\infty }cr^{k}&&\\&=c+r\,G(r,c),&&\\G(r,c)&={\frac {c}{1-r}}.&&\\\end{aligned}}}
值得一提的是，这里{\displaystyle G(r,c)}所满足的方程{\displaystyle x=c+rx}，在*r*>1时也可理解为以\infty为另一个解，所以在**这种意义**下便不能断言{\displaystyle {\frac {c}{1-r}}}是唯一的解。更严格地说，每个遵循这些性质，并且将相应几何级数可和到有限值的可和法，一定将其可和到这个值。进一步的，当*r*是大于1的实数时，部分和递增且无界，从而在之前所说的平均法下，以正无穷为和。

传统意义下的可和法
---------

常规收敛和绝对收敛是级数在传统意义下的两个可和法，这里只是出于完整性的考虑才加以讨论；严格来说，它们并不算是发散级数的可和法，这是因为只有当这些可和法失效时，才说一个级数发散。大部分发散级数的可和法都是这两个可和法在更大一类序列上的延拓。

### 级数的和

柯西对级数*a*0 + *a*1 + ...的和的经典定义为部分和序列*a*0 + ... + *a**n*的极限。通过两个实数之间加法运算的定义，再依据数学归纳法，不难自然地定义出有限个实数间的加法。但是有限个实数间的加法有定义并不意味着能直接地导出级数的和的定义，因为此时并没有定义无限项相加的概念，只有借助极限进行额外定义才能明确级数的和的概念。

### 绝对收敛

给定收敛到*s*的收敛级数*a*，倘若任意置换级数*a*的项得到级数*a*′后，*a*′收敛也总是收敛到*s*，则称级数*a*是绝对收敛的。在这个定义之下可以证明，一个级数收敛当且仅当取它每一项绝对值后得到的新级数在经典意义下收敛。有些地方会将后者作为绝对收敛的定义，但由于不涉及绝对值的概念，所以前者的定义更有一般性。

Nørlund平均
---------

取从*p*0起的正项序列*pn*，并且满足

{\displaystyle {\frac {p\_{n}}{p\_{0}+p\_{1}+\cdots +p\_{n}}}\rightarrow 0.}
用序列*p*变换序列*s*，给出加权平均，也就是取

{\displaystyle t\_{m}={\frac {p\_{m}s\_{0}+p\_{m-1}s\_{1}+\cdots +p\_{0}s\_{m}}{p\_{0}+p\_{1}+\cdots +p\_{m}}}.}
当*m*趋于无穷时，*tm*的极限倘若存在，则称其为*s*的**Nørlund平均**或者**Nørlund和** **N***p*(*s*)，相应的可和法称为**Nørlund可和法**。

Nørlund可和法是全正则、线性、稳定的。令人惊讶的是，任意两个Nørlund可和法都是相容的。

### 切萨罗可和法

条目：切萨罗求和
最特别的Nørlund可和法是切萨罗可和法。

考虑级数\sum\_{n=1}^{\infty}a\_n，记s\_n = a\_1 + \cdots + a\_n为它的部分和，再记t\_n = \frac{s\_1 + \cdots + s\_n}{n}。如果t\_n \rightarrow s，则称这个级数的切萨罗和为s。这显然是一个Nørlund可和法。

作为推广，取*pk*为

{\displaystyle p\_{n}^{k}={n+k-1 \choose k-1}.}
定义**N**(*pk*)(*s*)为切萨罗和*C**k*(*s*)，*k*不必总为整数。当*k* ≥ 0时，切萨罗和也是Nørlund和，从而是全正则、线性、稳定并且两两相容的。其中*C*0是常规的和，*C*1是经典的切萨罗和。进一步的，若*h* > *k*，则*C**h*强于*C**k*。

阿贝尔型可和法
-------

假定*λ* = {*λ*0, *λ*1, *λ*2,...}是严格递增趋于无穷的序列，并且*λ*0 ≥ 0。倘若

{\displaystyle f(x)=\sum \_{n=0}^{\infty }a\_{n}\exp(-\lambda \_{n}x)}
对每个实数*x* > 0收敛，则定义其**阿贝尔型平均**/**阿贝尔型可和法** *A**λ*为

{\displaystyle A\_{\lambda }(s)=\lim \_{x\rightarrow 0^{+}}f(x).}
更一般地说，如果级数*f*只对大的*x*收敛，但能解析延拓到每个正的实*x*上，那么依旧能以上述方式定义出相应的可和法。

这类级数也被称为广义狄利克雷级数；在物理应用中，这被称为热核正则化方法。

阿贝尔型可和法是正则、线性的，但不稳定，并且两个不同的阿贝尔型可和法也不总是相容的。不过，其中一些可和法是非常重要的。

### 阿贝尔可和法

参见：阿贝尔定理
如果取*λ**n* = *n*，便得到了**阿贝尔可和法**。并且

{\displaystyle f(x)=\sum \_{n=0}^{\infty }a\_{n}e^{-nx}=\sum \_{n=0}^{\infty }a\_{n}z^{n},}
其中*z* = exp(−*x*)。因此当*x*右趋于0时，*f*(*x*)的极限恰为*z*左趋于1时，幂级数*f*(*z*)的极限。所以阿贝尔和*A*(*s*)也可以定义为

{\displaystyle A(s)=\lim \_{z\rightarrow 1^{-}}\sum \_{n=0}^{\infty }a\_{n}z^{n}.}
阿贝尔可和法某种意义上非常有趣，因为它和每个切萨罗可和法相容且更有力，即总有*A*(*s*) = *C**k*(*s*)，只要后者有定义。阿贝尔和是正则、线性、稳定的，并且与切萨罗可和法相容。

### 林德勒夫可和法

如果取*λ**n* = *n* log(*n*)，便得到了**林德勒夫可和法**（指标从1算起），有

{\displaystyle f(x)=a\_{1}+a\_{2}2^{-2x}+a\_{3}3^{-3x}+\cdots .}
于是*L*(*s*)或者说**林德勒夫和** （Volkov 2001），是*x*右趋于0时*f*(*x*)的极限。林德勒夫和是非常有力的可和法，倘若应用在有正收敛半径的幂级数上，那么在这个幂级数的米塔-列夫勒星形域上处处都是可和的。

准确的说，如果*g*(*z*)是在原点解析的解析函数，从而有相应正收敛半径的麦克劳林级数，并且在其米塔-列夫勒星形域上总有*L*(*G*(*z*)) = *g*(*z*)。进一步的，*L*(*G*(*z*))在这个星形域的每个紧集上一致收敛到*g*(*z*)。

解析延拓
----

参见：解析延拓
有一些可和法涉及了对相关函数的解析延拓的讨论。

### 幂级数的解析延拓

如果Σ*a**n**x**n*对小的复*x*收敛，并且能沿着某条路径从*x* = 0延拓到*x* = 1，则可以把级数的和定义为延拓后的函数在*x* = 1处的值。这个值可能会依赖于路径的选取。

### 欧拉可和法

条目：欧拉变换
欧拉可和法本质上是解析延拓的精确形式。如果一个幂级数对小的复*z*收敛，并且能从半径为−1/*q* + 1的圆解析地延拓到半径为1的圆上，而且在z=1处连续，则此处的值被称为级数*a*0 + ....的欧拉和或是(E,*q*)和。欧拉在解析延拓被定义前普遍地应用这个概念，并且给出了幂级数解析延拓的精确形式。

欧拉变换的操作能被重复上好几次，它本质上等价于考虑幂级数在*z* = 1处的解析延拓。

### 狄利克雷级数的解析延拓

考虑狄利克雷级数

{\displaystyle f(s)={\frac {a\_{1}}{1^{s}}}+{\frac {a\_{2}}{2^{s}}}+{\frac {a\_{3}}{3^{s}}}+\cdots }
解析延拓到*s* = 0处的值，如果存在便是唯一的，将其定义为相应级数的和便给出了一个可和法。这个可和法有时会被混同于zeta函数的正则化。

### zeta函数的正则化

如果级数

{\displaystyle f(s)={\frac {1}{a\_{1}^{s}}}+{\frac {1}{a\_{2}^{s}}}+{\frac {1}{a\_{3}^{s}}}+\cdots }
(对于正的*a**n*)对大的实*s*收敛，并且能沿着实线解析地延拓到*s* = −1，则它在*s* = −1处的值被称为级数*a*1 + *a*2 + ...的zeta正则和，这种广义和是非线性的。在应用中，*a**i*有时会是有紧分解的自伴算子*A*的特征值，从而*f*(*s*)是*A*−*s*的迹。例如，若*A*有特征值 1, 2, 3, ... 则*f*(*s*)是黎曼zeta函数， *ζ*(*s*)在*s* = −1处的值是−1/12，这为发散级数1 + 2 + 3 + 4 + …指派了相应的和。其它的*s*处的值，也能以此被理解为定义了相应的广义和，像是*ζ*(0) = 1 + 1 + 1 + ... = −1/2、*ζ*(−2) = 1 + 4 + 9 + ... = 0。一般而言，

{\displaystyle \zeta (-s)=\sum \_{n=1}^{\infty }n^{s}=1^{s}+2^{s}+3^{s}+\cdots =-{\frac {B\_{s+1}}{s+1}}\,,}
其中*Bk*是伯努利数.

基于整函数的可和法
---------

如果*J*(*x*) = Σ*p**n**x**n*是一个整函数，并且下述极限存在，则级数*a*0 + ...的*J*和被定义为

{\displaystyle \lim \_{x\rightarrow \infty }{\frac {\sum \_{n}p\_{n}(a\_{0}+\cdots +a\_{n})x^{n}}{\sum \_{n}p\_{n}x^{n}}}.}
在一个变体下，*J*相应的级数有有限收敛半径*r*并且在*x* = *r*处发散。在这种情形下也可以用如上方式定义相应的可和法，不过要将*x*趋于无穷大替换为*x*（左）趋于*r*。

### 波莱尔可和法

参见：博雷尔求和
*J*(*x*) = *e**x*这个特殊情形给出了(弱)波莱尔可和法。

### Valiron可和法

Valiron可和法是波莱尔可和法在一类更一般的整函数*J*上的推广。Valiron展示了在一定条件下，它等价于将级数的和定义为 

{\displaystyle \lim \_{n\rightarrow +\infty }{\sqrt {\frac {H(n)}{2\pi }}}\sum \_{h\in Z}e^{-{\frac {1}{2}}h^{2}H(n)}(a\_{0}+\cdots +a\_{h})}
其中*H*是*G*的二阶导数，并且*c*(*n*) = *e*−*G*(*n*)。

矩可和法
----

*dμ*是实数上的测度，并使得每个矩

{\displaystyle \mu \_{n}=\int x^{n}\,d\mu }
有限。若级数*a*0 + *a*1 + ...使得

{\displaystyle a(x)={\frac {a\_{0}x^{0}}{\mu \_{0}}}+{\frac {a\_{1}x^{1}}{\mu \_{1}}}+\cdots }
对每个*x*收敛，那么级数的(*dμ*)和被定义为积分

{\displaystyle \int a(x)\,d\mu }
的值，只要这个积分有定义。（注意到如果*μ**n*增速过快，则它们并不能唯一决定测度*μ*。）

### 波莱尔可和法

例如若对正的*x*，*dμ* = *e*−*x* *dx*，而对负的*x*为0，则*μ**n* = *n*!。这个给出了一种形式的波莱尔可和法，其中级数的和为

{\displaystyle \int \_{0}^{\infty }e^{-t}\sum {\frac {a\_{n}t^{n}}{n!}}\,dt.}
可以对此推广出依赖于参量*α*的可和法，称为(B′,*α*)和，其中级数*a*0 + ... 的和被定义为

{\displaystyle \int \_{0}^{\infty }e^{-t}\sum {\frac {a\_{n}t^{n\alpha }}{\Gamma (n\alpha +1)}}\,dt,}
只要这个积分存在。更进一步的推广将被积函数替换为从小的 *t*起的解析开拓。

各类可和法
-----

### 豪斯多夫变换

Hardy (1949，chapter 11).

### 赫尔德可和法

条目：赫尔德求和
### Hutton可和法

Hutton于1812年，引入了一种发散级数的可和法，它从部分和序列出发，反复执行将序列 *s*0, *s*1, ...替换为平均序列*s*0 + *s*1/2, *s*1 + *s*2/2, ...的操作，再取其极限。

（Hardy 1949，p. 21）

### 英厄姆可和法

称级数*a*1 + ... 英厄姆可和到*s*，指的是

{\displaystyle \lim \_{x\rightarrow \infty }\sum \_{1\leq n\leq x}a\_{n}{\frac {n}{x}}\left[{\frac {x}{n}}\right]=s.}
英厄姆证明了如果取定*δ*为某个正数，则(C,−*δ*) (切萨罗)可和性可以推出英厄姆可和性，并且英厄姆可和性还能推出(C,*δ*)可和性。

Hardy (1949，Appendix II)

### 朗伯可和法

称级数*a*1 + ... 朗伯可和到*s*，指的是

{\displaystyle \lim \_{y\rightarrow 0^{+}}\sum \_{n\geq 1}a\_{n}{\frac {nye^{-ny}}{1-e^{-ny}}}=s.}
如果级数对某个*k*是(C,*k*) (切萨罗)可和的，则它也朗伯可和到相同的值。若级数是朗伯可和的，则它也阿贝尔可和到相同的值。

Hardy (1949，Appendix II)

### Le Roy可和法

称级数*a*0 + ... Le Roy可和到*s*，指的是

{\displaystyle \lim \_{\zeta \rightarrow 1^{-}}\sum \_{n}{\frac {\Gamma (1+\zeta n)}{\Gamma (1+n)}}a\_{n}=s.}
Hardy (1949，4.11)

### 米塔-列夫勒可和法

称级数*a*0 + ... 米塔-列夫勒(M)可和到*s*，指的是

{\displaystyle \lim \_{\delta \rightarrow 0}\sum \_{n}{\frac {a\_{n}}{\Gamma (1+\delta n)}}=s.}
Hardy (1949，4.11)

### 拉马努金可和法

条目：拉马努金求和
拉马努金可和法是拉马努金基于欧拉-麦克劳林求和公式给出的发散级数可和法。级数*f*(0) + *f*(1) + ...的拉马努金和不仅依赖于*f*在整数上的取值，也依赖于*f*在其它非整数上的取值，所以它并不是在通常意义下的可和法。

如果指数母函数\sum\_{n=1}^{\infty}a\_n e^{-nz}的收敛区域非空，且它可以解析延拓为复平面上的亚纯函数，它的洛朗级数的零次系数就等于级数\sum\_{n=1}^{\infty}a\_n的拉馬努金和。

例如，有以下级数的拉馬努金和：

1 + 2 + 3 + 4 + \cdots = -\frac{1}{12}(\Re).
1 + 1 + 1 + 1 + \cdots = -\frac{1}{2}(\Re).
1 - 1 + 1 - 1 + \cdots = \frac{1}{2}(\Re).
### 黎曼可和法

称级数*a*1 + ... (R,*k*)(或黎曼)可和到*s*，指的是

{\displaystyle \lim \_{h\rightarrow 0}\sum \_{n}a\_{n}\left({\frac {\sin nh}{nh}}\right)^{k}=s.}
Hardy (1949，4.17)
称级数*a*1 + ... R2可和到*s*，指的是

{\displaystyle \lim \_{h\rightarrow 0}{\frac {2}{\pi }}\sum \_{n}{\frac {\sin ^{2}nh}{n^{2}h}}(a\_{1}+\cdots +a\_{n})=s.}
### 里斯可和法

若*λ**n*组成递增的实数列，并且

{\displaystyle A\_{\lambda }(x)=a\_{0}+\cdots +a\_{n}{\text{ for }}\lambda \_{n}<x\leq \lambda \_{n+1}}
则将级数*a*0 + ...的里斯和(R,*λ*,*κ*)定义为

{\displaystyle \lim \_{\omega \rightarrow \infty }{\frac {\kappa }{\omega ^{\kappa }}}\int \_{0}^{\omega }A\_{\lambda }(x)(\omega -x)^{\kappa -1}\,dx.}
### Vallée-Poussin可和法

称级数*a*1 + ... VP(或Vallée-Poussin)可和到*s*，指的是

{\displaystyle \lim \_{m\rightarrow \infty }a\_{0}+a\_{1}{\frac {m}{m+1}}+a\_{2}{\frac {m(m-1)}{(m+1)(m+2)}}+\cdots =s.}
Hardy (1949，4.17).

参考文献
----

* Arteca, G.A.; Fernández, F.M.; Castro, E.A. Berlin: Springer-Verlag, 1990 .
* Baker, Jr. G. A.; Graves-Morris, P. Cambridge University Press, 1996 .
* Brezinski, C.; Zaglia, M. Redivo, North-Holland, 1991 .
* Hardy, G. H. Oxford: Clarendon Press, 1949 .
* LeGuillou, J.-C.; Zinn-Justin, J. Amsterdam: North-Holland, 1990 .
* Volkov, I.I. Hazewinkel, Michiel (编), Springer, 2001, ISBN 978-1-55608-010-4 .
* Zakharov, A.A. Hazewinkel, Michiel (编), Springer, 2001, ISBN 978-1-55608-010-4 .
* Hazewinkel, Michiel (编), , Springer, 2001, ISBN 978-1-55608-010-4

引用
--

1. ↑ . Michon's Numericana.  [2017-05-06]. （原始内容存档于2017-06-01）.
2. ↑ . The Encyclopedia of Mathematics. Springer.  [2017-05-06]. （原始内容存档于2015-06-21）.
3. ↑  Muraev, E. B. Akademiya Nauk SSSR, 1978, **19** (6): 1332–1340, 1438, MR 0515185 . Muraev注意到波莱尔可和法在两个方向中的一个上是可移的：在级数的起始处添入零扩充这个级数，并不会改变这个级数的可和性以及可和到的值。但是他陈述道"反过来并不正确"。
4. ↑  Tao, Terence.. 2010-04-10  [2017-05-09]. （原始内容存档于2017-06-06）.
5. ↑  Candelpergher, B. H. Gopalkrishna Gadiyar, and R. Padma,  （页面存档备份，存于）, *Ramanujan summation and the exponential generating function {\begin{smallmatrix}{\sum \_{{k=0}}^{{\infty }}{\frac {z^{{k}}}{k!}}\zeta ^{{\prime }}(-k)}\end{smallmatrix}}.*, The Ramanujan Journal,21, no. 1 (2010): pp. 99-122.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
序列與級數 |
| --- |
|  |
| 算術序列 | 

|  |  |
| --- | --- |
| 发散级数 | 1 + 1 + 1 + 1 + … · 1 + 2 + 3 + 4 + … · 无穷算术级数 |

 | Fibonacci spiral with square sizes up to 34. |
|  |
| 幾何序列 | 

|  |  |
| --- | --- |
| 收斂級數 | 1/2 − 1/4 + 1/8 − 1/16 + … · 1/2 + 1/4 + 1/8 + 1/16 + … · 1/4 + 1/16 + 1/64 + 1/256 + … |
|  |
| 发散几何级数 | 1 + 1 + 1 + 1 + … · 1 + 2 + 4 + 8 + … · 1 − 2 + 4 − 8 + … · 1 − 1 + 1 − 1 + … · 2的幂 · 10的幂 |

 |
|  |
| 超幾何級數 | 广义超几何函数 · 矩陣參數的超幾何函數（英语：） · 超幾何級數 · 橢圓超幾何級數（英语：） · 黎曼微分方程（英语：） |
|  |
| 整數序列 | 整數數列列表 · 階乘 · 斐波那契數列 · 等諧數列 · 三角形數 · 立方數 · 平方数 · 多邊形數 · 五邊形數 · 六邊形數 · 七邊形數 · 八邊形數 · 卢卡斯数 |
|  |
| 其他序列 | 

|  |  |
| --- | --- |
| 发散级数 | 1 − 2 + 3 − 4 + … · 1 − 1 + 2 − 6 + 24 − 120 + ⋯ |

 |

 |