- 海涅定理
- 有界数列必有收敛子列
- 参变量和变量生成的区域上连续的函数在参变量趋近于某个点时一致收敛于这个点对应的函数
-
数项级数
-
级数收敛性的概念和基本性质
- 级数收敛定义
- 级数收敛必要条件之通项收敛于零
- 级数收敛充要条件之柯西收敛原理
- 级数收敛性质之线性可加性
-
收敛级数的任一组合级数都收敛,且与原级数有相同的和
- 发散级数的组合级数可能收敛
-
正项级数的敛散性判别
- 正项级数收敛充要条件之部分和数列有界
- 比较判别法
- 达朗贝尔判别法(比值判别法)
- 柯西判别法(根式判别法)
- 积分判别法
- 阶的估计法
- *正项级数收敛性进一步讨论
-
变号级数
-
莱布尼茨判别法
- Topic
- 阿贝尔引理
- 阿贝尔判别法
- 狄里赫莱判别法
-
组合级数与重排级数
- Topic
- 重排级数定义
- 级数绝对收敛充要条件之正负部都收敛
- 级数条件收敛必要条件之正负部都发散
- Topic
- 黎曼定理
- *无穷乘积
- *级数的乘积、累次级数与二重级数
-
广义积分
-
无限区间上的广义积分
-
定义
- 单侧无限区间上的广义积分的概念
- 双侧无限区间上的广义积分的概念
-
广义积分性质
- 广义积分收敛的线性可加性
- 广义积分收敛的区间可加性
- 广义积分的牛顿-莱布尼兹公式
- 广义积分的分部积分法
- 积分第二中值定理
- 广义积分收敛充要条件之柯西收敛原理
-
广义积分收敛判别法
- 比较判别法
- 柯西判别法
- 级数判别法
- 阿贝尔判别法
- 狄里赫莱判别法
-
...
- Topic
-
有限区间上无界函数的广义积分
-
定义
- 设对任何δ∈(0,b-a),函数f(x)都在[a,b-δ]上可积,
f(x)在[a,b]上不可积,则b是f(x)的一个奇点
- Topic
- 柯西主值概念
-
性质
- 线性可加性
- 区间可加性
- 牛顿-莱布尼茨公式
- 分部积分公式
- 换元积分公式
- 柯西收敛原理
-
有限区间上无界函数广义积分敛散判别法
- 比较判别法
- 柯西判别法
- 阶的估计法
- 级数判别法
- 绝对收敛和条件收敛概念
- 阿贝尔判别法
- 狄里赫莱判别法
- 广义重积分
-
一致收敛
-
函数列的一致收敛性
-
概念
- 收敛域
- 逐点收敛
- 极限函数
- 一致收敛
- 函数与函数的距离
- 函数列一致收敛到某函数的充要条件:到该函数的距离的极限为0
-
性质
- 线性可加性
- 有界函数与一致收敛函数列的乘积为一致收敛函数列
- 两个有界一致收敛函数列的乘积为一致收敛函数列
- 两个一致收敛函数列之比为一致收敛函数列,若分子上的函数列有界,分母上的绝对值不小于某正数
- 一致收敛和一致连续推出复合函数一致连续
- 柯西收敛原理
-
敛散判别法
- 狄尼(Dini)定理
-
一致收敛与极限换序
- 函数列一致收敛推出累次极限换序
- 函数列一致收敛推出积分和求极限可换序
- 函数列在某点收敛,到函数列一致收敛,则函数列也一致收敛,并推出可逐项求导
-
内闭一致收敛
- 函数列内闭一致收敛和每一项连续推出收敛到的函数连续
- 导函数列内闭一致收敛推函数列内闭一致收敛及可逐项求导
- *逼近定理
-
函数项级数的一致收敛
-
概念
- 部分和
- 一致收敛
- 和函数
-
性质
- 开区间上一致收敛函数项级数可逐项求极限
- 内闭一致收敛函数项级数若每一项连续则和函数连续
- 闭区间上一致收敛的函数项级数若每项可积则和函数可积,并且求和和积分可换序
- 内闭一致收敛推逐项求导
-
判别法
- 柯西收敛原理
- 函数项级数一致收敛必要条件:每项绝对值上界趋于0
- 外尔斯特拉斯判别法
- 阿贝尔判别法
- 狄里赫莱判别法
-
幂级数
-
幂级数的性质与求和
-
概念
- 幂级数
- 收敛区间
- 柯西-阿达玛定理
- 收敛半径
-
性质
- 阿贝尔定理:幂级数在收敛区间上一致收敛
- 泰勒级数
-
傅里叶分析
-
傅里叶级数的引入
-
三角函数系的正交性
- 两可积函数在区间上正交的定义
- 正交函数系
- 三角函数系是[-π,π]上的一个正交函数系
- 三角函数积分常用公式
-
傅里叶级数
- 欧拉-傅里叶公式
- 函数的奇偶性与正弦、余弦傅里叶级数
- 贝塞尔不等式
- 周期为T的傅里叶级数
-
傅里叶级数的收敛性
- 傅里叶级数的部分和
-
局部化定理
- 黎曼引理
- 局部化定理
-
狄尼判别法及其推论
- 狄尼判别法
- 李普希茨判别法
- 设周期为2π的函数f(x)在[-π,π]上可积和绝对可积,如果f(x)在点x0可导或左右导数都存在,则
-
狄利克雷-约当判别法
- 狄利克雷引理:设ψ(u)在区间[0,δ]上是递增函数,ψ(0+0)=0,则
- 狄利克雷-约当判别法:设周期为2π的函数f(x)在[-π,π]上可积和绝对可积.若存在δ>0
使f(x)在[x0-δ,x0]和[x0,x0+δ]上都单调,或者f(x)在[x0-δ,x0+δ]上可以表示成两个递增函数之差,则f(x)的傅里叶级数在x0点收敛到
- 傅里叶级数的逐项积分、逐项求导
- 傅里叶积分和傅里叶变换
-
含参变量积分
-
含参变量的正常积分
-
一致收敛性与含参变量正常积分的连续性
- 含参变量积分的一致收敛性定义
- 定理:含参变量积分一致收敛推出该积分对参变量的极限等于先求极限再积分
- 参变量和变量生成的区域上连续的函数对于变量的积分是参变量的连续函数
-
积分与导函数
- 回顾:积分可换序的充分条件:二元可积,两个累次积分都存在,推出两个累次积分相等
- 二元连续推出累次积分可换序
- 函数与它对自变量的导函数在自变量和参变量生成的区域内连续,该函数的定积分对参变量可导且求导和积分可换序
-
变积分限的情形
- 积分上下限都是参变量的连续函数,且被积分函数连续,则该定积分为参变量的连续函数
- 子主题 2
-
含参变量的广义积分
-
含参变量广义积分的一致收敛性
- 一致收敛定义
- 内闭一致收敛定义
- 柯西收敛原理
- 外尔斯特拉斯判别法
- 狄里赫莱判别法
- 阿贝尔判别法
- 一致收敛积分的性质
-
Beta函数和Gamma函数
-
Gamma函数
- Γ(s)和它的任意借到书都在s>0连续,且
- Γ(s+1)=sΓ(s),∀s>0
- Γ(n)=(n-1)
- Beta函数
- 两个广义积分的交换次序*