微积分复习笔记(上)
这篇文章是我数学复习计划的一部分,内容参考清华大学出版社的《高等微积分教程》上册和姚家燕老师在微积分课上的讲义。
# 1 实数系与实数列的极限
# 1.1 实数系
引入了上界、下界、有界和无界的概念。
还引入了最大值、最小值、上确界(最小上界)和下确界
的概念。
确界定理:有上界的非空数集必有上确界,有下界的非空数集必有下确界。
上确界的刻画:是
的上界,且
。同样也有下确界的刻画。
# 1.2 数列极限的基本概念
数列极限:。则称数列
有极限
,
。
# 1.3 收敛数列的性质
收敛数列有以下性质:
- 唯一性;
- 有限韧性:添加、删除或改变有限项,不改变收敛性与极限值;
- 均匀性:数列
收敛于
它的任意子列收敛于
;
- 有界性;
- 局部保序:
,则
;
。
- 局部保号:上述数列
取
常数列可得到的推论。
极限遵守四则运算法则。此外还有夹逼原理:且
,则
收敛且
。
增长速度:。
平均性:。
# 1.4 单调数列
引入了单调递增(单调递减)、严格单调递增(严格单调递减)的概念。
单调有界定理:单调递增有上界的数列必收敛,单调递减有下界的数列必收敛。
由此可定义自然对数。且有
。
# 1.5 Stolz定理
引入了趋向于、趋向于
和趋向于
的概念。
Stolz定理:设数列严格递增趋于
,
。
# 1.6 关于实数系的几个基本定理
下列结论等价:
- 确界定理;
- 单调有界定理;
- 区间套定理:
满足
且
,则
且
;
- 列紧性:有界数列必有收敛子列;
- 称
为Cauchy数列,若
。数列收敛当且仅当它为Cauchy数列。
# 2 函数,函数的极限与连续
# 2.1 函数
引入了映射、定义域和值域的概念。定义域和值域均为数集的映射称为函数。
定义了函数的四则运算及映射的复合,单射、满射及双射的概念。对于双射还可以定义其逆映射。
函数的基本性质有:
- 有界性;
- 周期性;
- 奇偶性;
- 单调性。
严格单调函数为单射。严格单调函数的反函数与原来的函数有同样的单调性。
基本初等函数有:
- 常数函数;
- 幂指对函数;
- 三角函数;
- 反三角函数。
基本初等函数经过有限次四则运算和复合后得到的函数称为初等函数。
# 2.2 函数极限的概念
对于,定义了
-领域
和
-去心领域
。
设为非空数集,
,如果
,则称
为
的极限点。
刻画:设为非空数集,
,则
为
的极限点
存在极限为
的数列。
函数极限的定义:设为非空数集,
为
的极限点,
,
为函数。若
,则称当
趋近于
时,
趋近于
,记为
。有如下几种情况:
,有如下三种情况:
,则我们有
;
- 右极限:
,则我们有
;
- 左极限:
,则我们有
;
,极限及其左右极限,共9种情况;
,共12种情况。
函数在某点(包括)极限存在等价于其左右极限存在且相等。
# 2.3 函数极限的性质
函数极限与数列极限的关系:设为非空数集,
为
的极限点,
为函数,而
,那么
对
中极限为
的任意数列
,有
。
函数极限有以下性质:
- 唯一性;
- 局部有界性:对于
,则
;
- 局部保序:对于
:
;
。
- 局部保序:上述
恒取
可得到的推论。
有5条定理:
- 函数极限遵守四则运算和广义四则运算法则(包含了
);
- 此外也有夹逼原理:
且
,则
;
- 复合函数极限:设
为非空数集,
为
的极限点而
,且函数
,满足
且
,则
;
- 单调有界定理:
- 左极限:设
为单调函数,
存在。若
递增,
是上确界。若
递增,
是下确界。还有与之类似的右极限的情况;
- 左右极限:设
为单调函数而
,
存在且有限。若
递增,
。若
递减,
。
- 左极限:设
- Cauchy准则:设
为非空数集,
为其极限点,
为函数,则极限
存在且有限
。
# 2.4 无穷小量与无穷大量
极限为0的函数被称为无穷小量。若,则记
。极限为无穷的函数称为无穷大量。
设且
:
- 如果
,则称
时,
是
的高阶无穷小量,记作
;
- 如果
,则称
时,
与
为同阶无穷小量;
- 如果
,则称
时,
与
为等价无穷小量,记作
;
- 设
如果
,则称
时,
为**
阶无穷小量**。
等价无穷小量的代换是求极限的方法之一。无穷大量也有类似的定义。
# 2.5 函数的连续与间断
设为数集,
为函数。若
,则称
在点
连续。若
在
的每点连续,则称
为
的连续函数。这样连续函数的集合记为
。若
为
的极限点,则
在点
连续
。
若,称
在点
左连续;若
,称
在点
右连续。
有如下的定理:
- 函数在某点(内点)连续
函数在该点左、右连续;
- 设
为数集,
,则
在点
处连续
对
中收敛到
的任意数列
,均有
;
- 设
为数集,
而
:
- 局部有界:若
在点
处连续,则
;
- 局部保序:设
在点
处连续
;
。
- 局部保号:上述
恒为0的特殊情况;
- 局部有界:若
- 四则运算法则:连续函数的四则运算也连续;
- 复合法则:连续函数函数的复合也连续。
初等函数在其定义域内连续。
间断点的分类:
存在且有限,但异于
或
在
处无定义,称点
为
的可去间断点;
- 若左右极限存在且有限,但不相等,称改点为
的跳跃间断点
- 可去间断点及跳跃间断点合称为第一类间断点,其余的称为第二类间断点,它的至少一个单侧极限不存在或无限。
单调函数只能有第一类间断点(否则与单调有界定理矛盾)。
# 2.6 闭区间上连续函数的性质
有如下的定理:
- 连续函数介值定理:若
介于
和
之间,则
。推论:零点存在定理:若
,则
;
- 若
为区间,
,则
为区间;
- 若
为区间,
为单射,则
为严格单调函数;
- 若
为区间,
为单调函数,则
是区间。
- 若
- 反函数定理:若
为区间,
为单射,则反函数
存在且连续;
- 最值定理:若
,则
有最值。
# 3 函数的导数
# 3.1 导数与微分的概念
设为函数,
。若
存在且有限,则称
在点
处可导,该极限称为
在点
处的导数,记作
。若
在
处处可导,则称
在
上可导,由此得到的函数
称为
的导函数。此外还有单侧导数:
- 左导数:
;
- 右导数:
。
函数在某点可导函数在该点左右导数存在有限且相等。若函数在某点可导,则函数在该点连续。
设为函数,
。若
,使得
,则称
在点
处可微,此时还称线性函数
为
在点
的微分,记作
。如果函数
在
处处可微,则称
在
上可微。
函数在某点可微函数在该点可导。此时
。
# 3.2 求导法则
有如下定理:
- 导数的四则运算:若
在点
处可导,则:
;
;
,若
。推论:
。
- 复合函数求导的链式法则:
;
- 反函数求导法则:设函数
为双射,在点
可导且
,若
在点
处连续,则
在点
处可导,且
;
- 初等函数在其定义域内内部可导,且导函数也为初等函数。
隐函数求导:在两变量的方程中,将
看成
的函数,对
求导后解出
。
参数方程求导:。
# 3.3 高阶导数
的**
阶导数**记作
。若
阶可导且
连续,那么称
为
阶连续可导。这样的函数的集合记为
。
有如下定理:
- 初等函数在其定义域内内部无穷可导;
- 高阶导数的四则运算:若
为
阶可导,则:
;
。
# 4 导数的应用
# 4.1 微分中值定理
极值的定义:设为数集,
,
,若
,则称
为
的极小值点,称
为极小值,类似可以定义极大值点和极大值。
有如下定理:
- Fermat(费马):设
为
的极值点,若
在
处可导,则
。导数为0的点称为驻点;
- Darboux(达布)导数介值定理:若
在
上可导,而
严格介于
之间,则
;
- 推论:若
在某个区间上可导,则其导函数的像集为区间。若
恒不为0,则它恒正或恒负。
- 推论:若
- Rolle(罗尔):若
在
内可导且
,则
;
- Lagrange拉格朗日中值定理:若
在
内可导,则
;
- 设
在
内可导,则
为常值函数
;
- 设
在
内可导,若
,则
;
- 反函数定理:若
在
内可导且
不为0,则
为单射且反函数可导。
- 设
- Cauchy柯西中值定理:设
在
内可导,则
。
# 4.2 L'Hospital(洛必达)法则
设,函数
可导,而
恒不为0,且
,若
,或
,则我们有
。极限过程换成
和
仍成立。
# 4.3 Taylor(泰勒)公式
有如下定理:
- 带Peano(皮亚诺)余项的Taylor公式:设
为整数,
,函数
为
阶可导,且在点
为
阶可导。则当
时,
。当
时,该公式也称为Maclaurin(麦克劳林)公式;
- 带Lagrange余项的Taylor公式:设
为整数,
在(a,b)上
阶可导,那么
严格介于
之间,使得
。
- 推论:如果
在
上的
阶导数恒为0,则
为次数不超过
的多项式。
# 4.4 函数的增减性与极值问题
对于函数的增减性,有如下定理:
- 若
在
内可导,则
递增
;
递减
;
- 若
在
内可导,则
严格递增
且
在
的任意子区间不恒为0;
严格递减
且
在
的任意子区间不恒为0。
对于函数的极值,有如下定理:
- 设
在
上可导,若
,则
为
的最大值点,也为极大值点;若
,则
为
的最小值点,也为极小值点;
- 设
可导,
,且
存在,若
,则
为
的极大值点;若
,则
为
的极小值点;若
,无法判断。
# 4.5 凸函数
凸函数的定义:设为区间,而
为函数:
- 若
,则称
为
上的下凸函数,简称凸函数;
- 若
,则称
为
上的严格下凸函数,也称严格凸;
- 若
,则称
为
上的上凸函数,简称凹函数;
- 若
,则称
为
上的严格上凸函数,也称严格凹。
有如下定理:
- 函数
为区间
上的凸函数
,若
,则
;
- 函数
为区间
上的凸函数
,当
时,均有
;
- 若
在
内可导,则
为凸函数
在
上递增;
- 若
在
上二阶可导,则
为凸函数
;
- 若
在
上二阶可导,则
为严格凸函数
且
在
的任意子区间上不恒为0。
函数凹凸性发生改变的点为拐点。
# 4.6 函数作图
渐近线的定义:设曲线由方程
给出:
- 若
或
,则称
为曲线
的水平渐近线;
- 若
或
,则称
为曲线
的竖直渐近线;
- 若
或
,则称
为曲线
的斜渐近线。
# 5 Riemann(黎曼)积分
# 5.1 Riemann积分的概念
设为函数:
- 分割:称
为
的分割,它将
分成内部不相交的小区间
。令
,步长
;
- 取点:称
为分割
的取点,其中
。此时称
为
的带点分割;
- Riemann和:对
的带点分割
,令
,称为
关于带点分割
的Riemann和;
- Riemann积分:若
,对于
的任意带点分割
,当
。此时记
,称为
在
上的定积分,简记为
,并且称
在
上可积,否则称之为不可积。
记为
上所有可积函数的集合。若
,则
在
上有界。
判断函数可积的Darboux准则:设为有界函数,而
为
的分割。对于
,定义
,Darboux下和
,Darboux上和
。有如下定理:
- 设
为有界函数,而
为
的两个分割,则
。由此定义下积分
,上积分
,我们有
;
- 设
为有界函数,而
为
的分割,则
;
- Darboux:设
为有界函数,则下述结论等价:
;
,存在
的分割
使得
;
;
。
利用振幅刻画函数的可积性:设为非空数集,而
为有界函数,对于任意非空子集
,定义
,并称之为
在
上的振幅。则有
。有如下定理:
。
一致连续函数:设为非空数集,
为函数,若
,当
时,有
,则称
为一致连续。有如下定理:
- 函数
为一致连续
对于
中任意的数列
,若
,则
;
- 若
,则
为一致连续;
可积函数类有:
;
- 若
为有界函数并且存在有限多个点间断,则
;
- 若
单调,则
;
Lebesgue判别准则:称数集为零测度集,若
,存在一列开区间
,使
。区间
上的有界函数
为Riemann可积
的所有间断点构成的集合是零测度集。
# 5.2 Riemann积分的性质
有如下性质:
- 积分的线性性:设
,则
且
;
- 积分区间的可加性:设
,则
在
上可积
分别在
上可积,此时
;
- 保序性:若
且
,则
。特别地,若
,则
;
- 保号性:若
非负,则
;
- 严格保号性:若
非负,则
;
- 严格保序性:若
且
,则
,等号成立
。
- 保号性:若
- 若
,则
且
;
- 若
,则
。
有如下定理:
- Cauchy不等式:若
,则
。
- 经典的Hölder不等式:若
,则
,且等号成立
为不依赖
的常数。积分Hölder不等式:若
且
,则
。
- 积分第一中值定理:若
,则
。
- 广义积分第一中值定理:若
且
不变号,则
。
# 5.3 微积分基本定理
原函数的定义:设为区间,
为函数,若
在
上连续,在
内部可导且
,则称
为
的一个原函数。
有如下定理:
- 设
,
,定义
,则
,若
在点
连续,则
在点
处可导且
,若
仅有单侧连续,则
有相应的单侧导数;
- 若
,则
且
,即
为
在
上的一个原函数;
- 若
,
可导,
,令
,则
可导且
。
- 若
- Newton-Leibniz公式:设
为
的一个原函数,则
。
# 5.4 不定积分
将定义在区间上的函数的原函数的一般表达式称为
的不定积分,记作
。
有如下性质:
- 若
均为
的原函数,则
,故
(
为常数);
- 若
,则
;
- 线性性:
。
有跳跃间断点的函数没有原函数。
有如下的积分法:
- 第一换元积分法(凑微分):
;
- 第二换元积分法:
;
- 分部积分法:
。
有理函数的不定积分:有理真分式最终可以分解成如下4种最简单的分式之和:()
,经过变量替换,可以归结成下述6种最简单的分式的不定积分(
):
,这些不定积分有公式可用。
三角有理函数的不定积分:设为关于
的有理函数,则
。
某些无理函数的不定积分:考虑不定积分:
:
;
:先配方,再用三角函数将原来的不定积分转化为三角有理函数的不定积分。
# 5.5 定积分的计算
有如下定理:
- 定积分的换元积分公式:若
,则
;
- 定积分的分部积分公式:若
,则
;
- 积分的对称性:
,若
为奇函数,则
;若
为偶函数,则
;
- 周期连续函数的定积分:如果
是周期为
的周期函数,则
;
- 定积分与数列极限:设
,而
为
的一列分割,使得
,记
,则对任意点
,均有
;
- 带积分余项的Taylor:设
,若
,则
。
# 5.6 积分的应用
积分有如下的应用:
- 平面面积:
- 直角坐标系:设
,则由曲线
与直线
,所围平面区域的面积
;
- 直角坐标系下的参数方程:设曲线
的方程为
,其中
连续,
,
为严格递增,定义
,则由
和
轴所围区域的面积
;
- 极坐标系:设曲线弧
的极坐标方程为
,其中
为连续函数,则曲线弧
与射线
所围成的区域的面积等于
。
- 直角坐标系:设
- 曲线弧长:
- 直角坐标系下的参数方程:若曲线
的参数方程为
,其中
为连续可导且导数不同时为0,这样的曲线称为光滑曲线,则弧长为
;
- 直角坐标系:若曲线
的方程为
,其中
连续可导,则弧长为
;
- 极坐标系:若曲线
的极坐标系方程为
,其中
连续可导,则弧长为
;
- 直角坐标系下的参数方程:若曲线
- 曲线曲率:曲线曲率为
,其中
是切线与
轴正向的夹角:
- 直角坐标系下的参数方程:
;
- 直角坐标系:
;
- 极坐标系:
。
- 直角坐标系下的参数方程:
- 旋转体体积:
- 绕
轴旋转:
;
- 绕
轴旋转:
。
- 绕
- 旋转体的侧面积,绕
轴旋转:
- 直角坐标系下的参数方程:
;
- 直角坐标系:
;
- 极坐标系:
。
- 直角坐标系下的参数方程:
# 6 广义Riemann积分
# 6.1 广义Riemann积分的概念
设,定义
在
上的广义积分为
。当
,而函数
在
的领域内无界,此时称
为
的奇点,相应的广义积分称为瑕积分。
广义积分继承了正常的定积分的性质,比如说线性性,保序性,Newton-Leibniz公式,分部积分,换元法。
# 6.2 广义积分收敛性的判定
有如下定理:
- Cauchy准则:设
,则
收敛
;
- 比较法则:设
在
的任意闭子区间上可积且
,若
收敛,则
收敛;若
发散,则
发散。有如下推论:
- 若
在
的任意闭子区间上可积,则
发散
;
- 设
在
的任意闭子区间上可积且
,若
,则
和
同敛散;若
且
收敛,则
收敛;若
且
发散,则
发散;
- 设
在
的任意闭子区间上可积且
,若
,则
收敛;若
,则
发散;
- 设
在
的任意闭子区间上可积且
,若
,则
收敛;若
,则
发散;
- 若
- 设
在
的任意闭子区间上可积,若
收敛,则
收敛;若
收敛,则称
绝对收敛;若
收敛但不绝对收敛,则称
条件收敛;
- 积分第二中值定理:若
,而
在
上单调,则
;
- 设
在
的任意闭子区间上可积:
- Abel判别准则:若
收敛,
单调有界,则
收敛;
- Dirichlet判别准则:若
有界,而
单调且
,则
收敛。
- Abel判别准则:若
函数:
。
收敛当且仅当
。有如下性质:
。推论:
;
。特别地,
。
函数:
。
收敛当且仅当
。有如下性质:
;
;
。
# 7 常微分方程
# 7.1 常微分方程的基本概念
等式被称为常微分方程。方程中导数的最高阶称为方程的阶,若
为线性函数,则称之为线性常微分方程。多个常微分方程组联立成常微分方程组。在区间
上满足
的函数
称为该方程在
上的一个解,称
为解的存在区间。如果该解含
个独立常数,则称为方程的通解。若不含常数,则称之为特解。没有包含在通解中的特解称为奇解。
阶常微分方程一般需要
个条件确定通解中的常数,这类条件称为定解条件。
# 7.2 一阶常微分方程的初等解法
一阶常微分方程的一般形式为。一阶线性常微分方程的典型形式为
。如果
则称之为一阶线性齐次常微分方程,否则称之为一阶线性非齐次常微分方程。
有如下定理:
- 一阶线性非齐次常微分方程的通解为方程的特解与相应的齐次方程的通解之和;
的通解为
;
的通解为
(可通过常数变易法求)。
有如下求解方法:
- 可分离变量的一阶常微分方程,
:当
时,
。此外当
时,
也为方程的解;
:首先作变换
,再利用分离变量法;
- 齐次型一阶常微分方程,
:首先作变换
,再利用分离变量法;
:设直线
的交点为
,作变换
,则方程化为齐次型一阶常微分方程;
- Bernoulli方程,
:作变换
,则方程化为一阶线性常微分方程。
# 7.3 可降阶的高阶常微分方程
有如下求解方法:
:求
次原函数;
:令
,由
解出
,再对
求
次原函数;
:令
,原方程变为
,解出
,再对
应用分离变量法。
# 7.4 高阶线性常微分方程解的结构
阶线性常微分方程的标准形式为
,其中
均为区间
上的连续函数,函数
被称为该方程的非齐次项。当
时,相应的方程为齐次方程。有如下基本结论:
- 存在与唯一:
,在区间
上均存在唯一的解
使得
;
- 齐次方程的解集:齐次方程的所有解组成的集合是一个
维的线性空间;
- 非齐次方程的解集:非齐次方程的通解就是非齐次方程的特解与齐次方程的通解之和。
线性相关与线性无关:设函数,若存在不全为0的实数
,使得
,则称
在
上线性相关,否则称
在
上线性无关。
Wronsky(朗斯基)行列式:设。定义
,并称为
的Wronsky行列式。
有如下定理:
- 若
在
上线性相关,则
;
- 设
为
阶齐次线性常微分方程
上的解,则它们在
上线性相关
(证明充分性仅需要
)。
阶齐次线性常微分方程的
个线性无关解被称为该方程的基本解组。
# 7.5 常系数高阶线性常微分方程
阶线性常系数常微分方程的标准形式为
,其中
,函数
被称为该方程的非齐次项。当
时,相应的方程为齐次方程。
二阶线性常系数齐次方程:,
,称
为特征方程,称其解为特征根。令
:
- 若
,则有两个不同的实特征根
,方程通解为
;
- 若
,方程通解为
;
- 若
,则有两共轭复特征根
,方程通解为
。
考虑阶线性常系数齐次常微分方程
,其中
。其特征多项式被定义为
。假设该特征多项式不同的特征根为
,重数为
,则齐次方程的复值通解为
,其中
。为得到实值通解,只需要针对复数值特征根
,在上式中将
及其共轭替换成
的实部和虚部,并让
为任意的实常数。
二阶线性常系数非齐次方程:由公式可得非齐次方程的一个通解。
特殊的二阶线性常系数方程的求解:为
次多项式。有以下情况:
- 若
不是齐次方程的特征根,则会有特解
为待定
次多项式;
- 若
是齐次方程的一重特征根,则会有特解
为待定
次多项式;
- 若
是齐次方程的二重特征根,则会有特解
为待定
次多项式。
两个有用的命题:
- 设
为实值函数,
为复值函数,而复值函数
满足非齐次方程
,令
,则
;
- 假设
,则
为非齐次方程
的特解。
Euler方程:一般的Euler方程为,其中
为常数,作变量替换
。
# 7.6 一阶线性常微分方程组
一阶线性常微分方程组可以写成。该方程组满足初值条件
的解存在且唯一。用向量和矩阵可以重新表述为
,其解为
,
为Volterra积分。
一阶线性常微分方程组解的结构:
个方程组成的一阶线性齐次常微分方程组的解集是
维线性空间;
- 设
为该齐次方程组的
个线性无关的解,定义
称为齐次方程组的基解矩阵,则其通解为
,其中
为常数列向量;
- 设
为方程组的
个解,令
,称为
的Wronsky行列式;
,于是
;
或者恒为0,或者恒不为0。
有如下定理:
- 基解矩阵满足
;
- 齐次方程组的
个解
线性相关当且仅当
(证明充分性仅需要
);
- 一阶线性非齐次常微分方程组的通解为该方程组的一个特解与相应的齐次方程组的通解之和。
一阶线性常系数常微分方程组的求解:,其解为
。
设为
的相应齐次方程组的基解矩阵,则非齐次方程组的通解为
。
一阶线性常系数齐次方程组的求解:,特征方程为
,考虑
的情形:
- 若
有两个不相等的实特征根
,那么相应特征向量
为实向量且线性无关,通解为
,其中
为任意实常数;
- 若
有两个相等的实特征根
,相应特征向量
为实向量,则
为方程组的解,与之线性无关的解可以取为
,其中
是一个待定列向量,它的每个元素为次数
的多项式;
- 若
有两个不相等的共轭复特征根
,相应的特征向量
也为共轭的复向量且线性无关。通解为
,其中
为任意复常数,也可表示成
,其中
为任意实常数。
一般情形():假设
的不同特征根为
,其重数分别为
,对于
,存在
个形如
的线性无关的解,其中
为
阶列向量,其元素为次数
的多项式,待定系数即可求解。