级数

在数学中，一个有穷或无穷的序列${\displaystyle u_1,u_2,u_3,u_4\dots <!--\; \dots \; -->}$。这时可以定义级数${\displaystyle \sum <!--\; \sum \; -->u_n}$-级数是指通项为${\displaystyle \frac{1}{n^p}}$，当${\displaystyle p>1}$有界，这时${\displaystyle \sum <!--\; \sum \; -->u_n}$收敛，${\displaystyle \underset{n\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}{S}_n=s}$，要么部分和数列趋于正无穷，这时级数发散。

设${\displaystyle \sum <!--\; \sum \; -->u_n}$ 和 ${\displaystyle \sum <!--\; \sum \; -->v_n}$是正项级数。

比如，我们已知级数：${\displaystyle \sum <!--\; \sum \; -->\frac{1}{n^2}}$收敛，则级数：${\displaystyle \sum <!--\; \sum \; -->\frac{|\sin <!--\; \; -->n|}{n^2}}$也收敛，因为对任意的${\displaystyle n}$，${\displaystyle \sin <!--\; \; -->n\le <!--\; \le \; -->1}$。

比较判别法的特点是要已知若干级数的敛散性。一般来说，我们可以选择比较简单的级数：${\displaystyle U_p=\sum <!--\; \sum \; -->\frac{1}{n^p}}$作为“标准级数”，依此判断其他函数的敛散性。需要知道的是当${\displaystyle p\le <!--\; \le \; -->1}$时，${\displaystyle U_p}$发散，当${\displaystyle p>1}$时，${\displaystyle U_p}$收敛。

在比较判别法中，如果取几何级数为比较的标准级数，可得：

这个判别法也称为比值判别法或比值审敛法。

这个判别法也称为根值判别法或根值审敛法'。

具有以下形式的级数

其中所有的${\displaystyle a_n}$非负，被称作交错级数。

在上述的级数${\displaystyle \underset{n=0}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}(-<!--\; -\; -->1{)}^n{a}_n}$中，如果当${\displaystyle n}$趋于无穷时, 数列${\displaystyle a_n}$的极限存在且等于 0，并且每个${\displaystyle a_n}$小于${\displaystyle a_{n-<!--\; -\; -->1}}$（即, 数列${\displaystyle a_n}$是单调递减的），那么级数收敛。

对于通项为任意实数的无穷级数${\displaystyle \sum <!--\; \sum \; -->u_n}$，将级数${\displaystyle \sum <!--\; \sum \; -->|u_n|}$称为它的绝对值级数。可以证明，如果${\displaystyle \sum <!--\; \sum \; -->|u_n|}$收敛，那么 ${\displaystyle \sum <!--\; \sum \; -->u_n}$也收敛，这时称 ${\displaystyle \sum <!--\; \sum \; -->u_n}$绝对收敛。如果${\displaystyle \sum <!--\; \sum \; -->u_n}$收敛，但是${\displaystyle \sum <!--\; \sum \; -->|u_n|}$发散，则称${\displaystyle \sum <!--\; \sum \; -->u_n}$条件收敛。比如说，级数${\displaystyle \sum <!--\; \sum \; -->\frac{\sin <!--\; \; -->n}{n^2}}$绝对收敛，因为前面已经证明 ${\displaystyle \sum <!--\; \sum \; -->\frac{|\sin <!--\; \; -->n|}{n^2}}$收敛。而级数${\displaystyle \sum <!--\; \sum \; -->\frac{(-<!--\; -\; -->1{)}^n}{n}}$是条件收敛的。它自身收敛到${\displaystyle \ln <!--\; \; -->\frac{1}{2}}$，但是它的绝对值级数${\displaystyle \sum <!--\; \sum \; -->\frac{1}{n}}$是发散的。

黎曼级数定理说明，如果一个无穷级数${\displaystyle \sum <!--\; \sum \; -->u_n}$条件收敛，那么对于任意的实数${\displaystyle x}$，存在一个正整数到正整数的双射${\displaystyle \mathrm{\sigma <!--\; \sigma \; -->}}$，使得级数${\displaystyle \sum <!--\; \sum \; -->u_{\mathrm{\sigma <!--\; \sigma \; -->}(n)}}$收敛到 ${\displaystyle x}$。对于正负无穷大，上述双射也存在。

设${\displaystyle (u_n(x){)}_{n\ge <!--\; \ge \; -->0}}$为定义在区间${\displaystyle \mathcal{I}}$上的函数列，则表达式：${\displaystyle u_1(x)+u_2(x)+\cdots <!--\; \cdots \; -->+u_n(x)+\cdots <!--\; \cdots \; -->}$称为函数项级数，简记为${\displaystyle \sum <!--\; \sum \; -->u_n(x)}$。对函数项级数的主要研究是：

对区间${\displaystyle \mathcal{I}}$上的每个 ${\displaystyle x_0}$，级数 ${\displaystyle \sum <!--\; \sum \; -->u_n(x_0)}$是常数项级数。若${\displaystyle \sum <!--\; \sum \; -->u_n(x_0)}$收敛，则称${\displaystyle x_0}$是${\displaystyle \sum <!--\; \sum \; -->u_n(x)}$的一个收敛点，${\displaystyle \sum <!--\; \sum \; -->u_n(x)}$全体收敛点的集合称为它的收敛域。若${\displaystyle \sum <!--\; \sum \; -->u_n(x_0)}$发散，则称${\displaystyle x_0}$是${\displaystyle \sum <!--\; \sum \; -->u_n(x)}$的一个发散点，${\displaystyle \sum <!--\; \sum \; -->u_n(x)}$全体发散点的集合称为它的发散域。${\displaystyle \sum <!--\; \sum \; -->u_n(x)}$在其收敛域的每一点上都有定义，因此定义了一个函数，称为${\displaystyle \sum <!--\; \sum \; -->u_n(x)}$的和函数，记为${\displaystyle S(x)}$。按照定义，${\displaystyle S(x_0)=\underset{n\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}{S}_n(x_0)}$，其中${\displaystyle S_n(x_0)=u_1(x_0)+u_2(x_0)+\cdots <!--\; \cdots \; -->+u_n(x_0)}$为函数项级数在${\displaystyle x_0}$点上的部分和。

函数项级数的取值可以在它的收敛域上用和函数定义，但和函数的性质可能会和级数的每一项不同。比如说，当函数项级数${\displaystyle \sum <!--\; \sum \; -->u_n(x)}$中的每一项${\displaystyle u_n(x)}$在收敛域上都是连续函数时，和函数未必会是连续函数。以下是一个例子：

然而，如果函数项级数能够满足某些更严格的条件的话，可以证明级数的和函数的规则性将会等于每一项函数的规则性，这就是所谓的一致收敛性质。和函数列的一致收敛性质一样，函数项级数${\displaystyle \sum <!--\; \sum \; -->u_n(x)}$在某个区间${\displaystyle \mathcal{I}}$内（关于某个范数${\displaystyle \Vert \cdot <!--\; \cdot \; -->\Vert }$）一致收敛的定义是它的部分和函数${\displaystyle S_n}$ 在区间${\displaystyle \mathcal{I}}$上一致收敛到和函数${\displaystyle S}$，

可以证明：

如果级数${\displaystyle \sum <!--\; \sum \; -->u_n(x)}$ 在区间${\displaystyle \mathcal{I}}$ 内一致收敛，并且每个${\displaystyle u_n(x)}$ 都是连续函数，那么和函数${\displaystyle S}$ 在区间${\displaystyle \mathcal{I}}$ 上也是连续函数。

进一步的，如果导函数级数的每一项都是${\displaystyle {\mathcal{C}}^p}$函数（${\displaystyle p}$

相关

• 趋化性趋化性（英语：Chemotaxis，亦被称为化学趋向性）是趋向性的一种，指身体细胞、细菌及其他单细胞、多细胞生物依据环境中某些化学物质而趋向的运动（详细请看细胞迁移）。这对细菌寻找食物
• 镍镉电池镍镉电池（Nickel-cadmium battery，通常简称NiCd，读作“nye-cad”）是一种流行的蓄电池。这种电池以氢氧化镍（NiOH）及金属镉（Cd）作为产生电能的化学品。对比其他种类的蓄电池，镍镉电池
• 韩国国字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧  小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧ 
• 埃及第一王朝第八第十古埃及第一王朝连同第二王朝通常被纳入为早王朝时期。在这段时期，埃及的首都在提尼斯（Thinis）。埃及第一王朝法老列表有关这个时期的资料乃来自少数的遗址及其他刻有法
• 石油输出国组织石油输出国组织（英语：Organization of the Petroleum Exporting Countries，OPEC，发音为/ˈoʊpɛk/ OH-pek；简称欧佩克、油盟或油组）是由伊朗、伊拉克、科威特、沙特阿拉伯和委内
• 新徒步主义新徒步主义（New Pedestrianism，简称NP），是一个基于步行计划理论进行理想化的新城市主义，由美国作家、艺术家、未来主义者、城市／室内／环境设计师麦克·E·亚瑟于1999年提出。新徒步
• 帖木儿帝国帖木儿帝国（波斯语：تیموریان‎ Timuriyān；1370年－1507年）是渴石地区的突厥化蒙古人巴鲁剌思氏之贵族帖木儿（1370年－1405年在位）所创之帝国。建国者帖木儿本为渴石地区的突
• 导水管周围灰质中脑导水管周围灰质（Periaqueductal gray，简称PAG）位于中脑的腹侧被盖区，是聚集在中脑导水管周围的神经细胞构成的灰质。PAG的已知功能包括对疼痛的下行调控、防卫行为、生殖行
• 科思创科思创(德语：Covestro AG})是一家德国化学工业公司。创建于2015年9月1日，前身是拜耳材料科学事业部。后来剥离出来成为一家独立公司。 2015年10月在法兰克福证券交易所挂牌上
• 丁汉丁汉（1963年8月－），安徽枞阳人，中国机械电子工程专家。2013年当选为中国科学院院士。1978年，进入西安公路学院（现为长安大学）汽车制造专业。1985年，获得武汉汽车工业大学（现为武汉理工