1. 极限和连续
1. 函数
1. 定义
通俗来说,函数的本质是一种确定的对应关系,你给它一个输入,它按规则给你唯一输出。
函数是描述两个集合之间关系的一种规则或映射。具体来说,函数将一个集合中的每个元素唯一地映射到另一个集合中的某个元素:
其中:
- 是定义域,表示所有可以输入的值的集合
- 是陪域(目标集),表示输出所在的集合;它不必被输出取遍
- 被实际取到的那些输出组成值域(像集) ,显然
- 是函数本身,它描述了输入与输出之间的关系
对于每个 ,通过函数 能找到唯一的 ,我们称 ,即 是 经过 的映射后得到的结果。
函数是一种映射。设 是从集合 到集合 的映射:
-
若对 中任意两个不同元素 都有 ,则称 为 到 的单射
-
若 中任一元素 都能找到 中的某元素与之对应,则称 为 到 的满射
-
若同时满足单射和满射,则称 为 到 的双射。此时 和 中的元素一一对应
2. 特性
1. 有界性
如果存在 使得函数 对于定义域中的所有 都满足 ,那么称 有上界,上界为 。
如果存在 使得函数 对于定义域中的所有 都满足 ,那么称 有下界,下界为 。
如果存在 使得函数 对于定义域中所有的 都满足 ,那么称 有界;如果不存在,则称 无界。
2. 单调性
设函数 的定义域为 ,区间 :
- 如果对于区间 上任意两点 ,当 时,恒有 ,那么称 在 上单调递增。
- 如果对于区间 上任意两点 ,当 时,恒有 ,那么称 在 上单调递减。
3. 奇偶性
一个函数 如果对于定义域中的所有 满足 ,则称 是一个偶函数,其图像关于 轴对称。
一个函数 如果对于定义域中的所有 满足 ,则称 是一个奇函数,其图像关于原点轴对称。
4. 周期性
设函数 的定义域为 ,如果存在一个正数 ,使得对任一 有 ,且 恒成立,那么称 为周期函数, 为 的周期。
对于周期函数,如果它的所有正周期中存在最小的一个,就称这个最小的正周期为它的最小正周期,通常所说的"周期"指的就是最小正周期(例如 的周期是 )。
并非每个周期函数都有最小正周期:常数函数以任何正数为周期,没有最小的正周期;狄利克雷函数 (有理点取 、无理点取 )也以任何正有理数为周期,同样没有最小正周期。
3. 反函数
如果一个函数 将集合 中的每个元素 映射到集合 中的唯一元素 ,即 ,并且存在另一个函数 ,使得:
那么函数 称为 的反函数,记作
反函数的存在条件:
-
函数必须是单射(Injective)
即对于定义域中的任意不同的两个元素 和 有:,单射保证了不同的输入映射到不同的输出,从而反函数的映射是唯一的
-
函数必须是满射(Surjective)
即对于值域中的每个元素 ,都存在定义域中的某个 使得 ,满射保证了反函数 的定义域和值域是完整的,使得每个输出都有相应的输入
反函数的性质:
-
对称性
函数 和它的反函数 的图像关于直线 对称。这是因为反函数将 和 的角色互换了
-
复合性
如果 有反函数 ,那么对于任意 满足:
【例】求函数 的反函数
【解】
因为 ,所以 恒成立,函数的定义域为 ;又 严格递增,故反函数存在,且值域也是 。
两边取指数:
对 (1) 取倒数,用平方差公式 消去分母中的根式:
消去根式,得 ,即 。
交换 与 ,所求反函数为:
(即双曲正弦函数 ,与 互为反函数。)
4. 复合函数
设函数 的定义域为 ,函数 的定义域为 ,且其值域 ,则由下式确定的函数
称为由函数 与函数 构成的复合函数,它的定义域为 ,变量 称为中间变量。
函数 与函数 构成的复合函数,即按“先 后 ”的次序复合的函数,通常记为 ,即
5. 初等函数
基本初等函数:幂函数、指数函数、对数函数、三角函数、反三角函数,统称为基本初等函数。
初等函数:由基本初等函数经过有限次四则运算与复合运算所构成、并能用一个解析式表示的函数,称为初等函数。例如 就是初等函数。
1. 幂函数
设 为常数,幂函数的标准形式为 。
2. 指数函数
设 是不等于 1 的正实数,函数 是底为 的指数函数。
3. 对数函数
若 是任何不为 1 的正实数,以 为底的指数函数 存在反函数。它的反函数称为底为 的对数函数,记为 。
以 为底的对数函数记为 ,以 10 为底的对数记为 。
运算性质:
| 性质名称 | 数学表达式 (a > 0, a ≠ 1, M > 0, N > 0) |
|---|---|
| 积的对数 | |
| 商的对数 | |
| 幂的对数 | |
| 方根的对数 | |
| 换底公式 | |
| 倒数性质 | |
| 复合链式 | |
| 同幂性质 | |
| 对数恒等式 |
4. 三角函数
基本三角函数
记从原点出发引射线 与圆心在原点 单位半径为 的圆交于点 ,与 轴的正方向的夹角为 。则 的基本三角函数为:
三角函数公式
-
毕达哥拉斯恒等式:
根据这个公式,可以得到:
-
倒数关系
-
和角公式
-
余弦定理
如果 是三角形的三边, 是 边的对角,那么:
反三角函数
反三角函数是求出角度的函数,用于得到给定三角函数值所对应的角度
三角函数在定义域内并不是单射,即并不满足每个值对应唯一角度。因此,为了定义反函数,反三角函数需要限定在一个特定的范围内,以确保唯一性。
| 反三角函数 | 定义域 | 值域 |
|---|---|---|
2. 极限
1. 极限定义
通俗来说,极限是当输入靠近某处时,输出稳定趋向的那个值
邻域
- 设 是一个实数, 是一个实数的集合
- 如果存在正实数 ,使得区间 ,则称 是 的一个邻域
- 如果存在正实数 ,使得区间 ,则称 是 的一个去心邻域
函数极限
-
设 是定义在实数域的一个子集 上,值域为
-
是一个给定的实数, 是一个实数,并且函数 在 的某个去心邻域内有定义
-
如果对任意正实数 ,都存在一个正实数 , 使得对于任意满足 的 值,都有 ,那么称 在 趋于 时的极限为 ,记作:
可以简单地表述为:
-
上述定义描述了自变量趋于某一点的极限,类似地,可定义趋于无穷的极限:
单侧极限
单侧极限是指函数在某一点附近从单侧(左侧或右侧)逼近时的极限值。
左极限:
右极限:
2. 极限性质
唯一性
极限存在:当一个函数趋于某点或无穷时,它的极限值是一个确定的,唯一的数。而不是无界(发散、趋于无穷),振荡,或者左右极限不一致。
如果函数某处的极限存在,则该极限唯一。
证明:
假设 在 时有两个极限 和 ,且 。
根据极限的定义:
对于任意 ,存在一个 ,当 时,满足:
同样,存在一个 ,当 时,满足:
取 ,则当 时,同时满足:
利用三角不等式:
代入上述条件:
这里由 可知 ,于是三角不等式实际给出的是
即 ,这是不可能的,矛盾
因此,假设 是错误的,即极限值 是唯一的
局部有界性
如果函数 在 时的极限存在为 ,则函数 在点 的邻域内是局部有界的。
具体地,局部有界性是指:存在 的一个去心邻域 ,以及某个正数 ,使得对于所有 ,都有
通俗地说,只要 离 足够近时, 的值和 就会足够接近,所以不可能发散。 在 附近的点必然小于一个大于 的常数 。
保号性
如果函数 在 时的极限存在为 (其中 ),则称 在 的过程中具有保号性。
具体是指:存在 的一个去心邻域 ,使得在这个邻域内, 的符号与 相同。
当 时,函数的符号可能发生变化,保号性不再适用
证明:
根据极限的定义,若
则对于任意的 ,存在 ,使得当 时,
令 ,则有
由三角不等式可得:
因此,当 时, 与 的符号一致,即函数 保号性成立
夹逼定理
设函数 、、 在某点 的邻域内定义,且满足以下条件:
- 在 的某邻域内(去掉 本身),有
则
证明:
已知 和 。对于任意 ,存在 和 ,使得当 时, ;当 时,。
令 ,则当 时, 和 。
因为 ,故对任意 满足 ,有:
所以,,根据极限的定义:,得证。
3. 无穷大与无穷小
无穷小
如果函数 当 (或 ) 时极限为零,那么称函数 为当 (或 ) 时的无穷小
在自变量的同一变化过程中 (或 ) 中,函数 具有极限 的充分必要条件是 ,其中 是无穷小。
无穷大
设函数 在 的某一去心邻域内有定义(或 大于某一正数时有定义)。如果对于任意给定的正数 (不论它多么大),总存在正数 (或正数 ),只要 (或 ),总有:
那么称函数 是当 (或 ) 时的无穷大。
在自变量的同一变化过程中,如果 是无穷大,那么 为无穷小;
如果 是无穷小,且 ,那么 为无穷大
无穷小的比较
如果 ,那么就说 是比 高阶的无穷小,记作 ;
如果 ,那么就说 是比 低阶的无穷小;
如果 ,那么就说 与 是同阶无穷小;
如果 ,那么就说 是关于 的 阶无穷小;
如果 ,那么就说 与 是等价无穷小,记作 .
4. 运算法则
-
两个无穷小的和是无穷小
用数学归纳法可证:有限个无穷小之和也是无穷小
-
有界函数与无穷小的乘积是无穷小
常数与无穷小的乘积是无穷小
有限个无穷小的乘积是无穷小
-
如果 ,,那么:
-
-
-
若 ,则
-
如果 存在, 为常数,那么
如果 存在, 为正整数,那么
-
-
如果 ,而 ,,那么
-
设函数 是由函数 与函数 复合而成, 在点 的某去心邻域内有定义,若 ,,且存在 ,当 时,有 ,则
5. 重要极限
6. 连续性
通俗来说,连续就是极限值正好等于该点的函数值
设函数 在点 的某一邻域内有定义,如果
那么就称函数 在点 连续。
设 ,此定义也可以表述为:
设函数 在点 的某一邻域内有定义,如果
那么就称函数 在点 连续。
左连续与右连续
如果 存在且等于 ,即 ,那么称 在点 左连续
如果 存在且等于 ,即 ,那么称 在点 右连续
在 处连续的充要条件也可描述为左右极限相等且等于 :
7. 间断点
设函数 在 的某去心邻域内有定义。如果 有下列三种情形之一:
- 在 没有定义;
- 不存在;
- ;
那么函数 在 处不连续,称 为 的间断点。
第一类间断点(左右极限均存在)
- 可去间断点:左右极限相等,但不等于该点的函数值或者函数在该点无定义
- 跳跃间断点:左右极限不等
第二类间断点(左右极限至少有一个不存在)
- 无穷间断点:
- 震荡间断点:当 时,函数值在某个区间内无限次地往复震荡,没有确定的趋向
在实际的工程或几何建模中(如处理 B-Spline 或几何拓扑),第一类间断点通常是良性的,可以通过重新定义或分段处理来平滑化;第二类间断点往往代表系统性的崩溃或边界条件失效,需要从底层公式上避开。
8. 函数形式与连续性
-
设函数 和 在点 连续,则它们的和(差)、积 及商 (当 时)都在点 连续
连续性在代数运算下具有封闭性
-
如果函数 在区间 上单调递增(或单调递减)且连续,那么它的反函数 也在对应的区间 上单调递增(或单调递减)且连续
-
设函数 由函数 与函数 复合而成,。若 ,而函数 在 连续,则:
基本初等函数在它们的定义域内都是连续的
9. 闭区间上连续函数的性质
有界性与最值定理
在闭区间上连续的函数在该区间上有界且一定能取得它的最大值和最小值
零点定理
设函数 在闭区间 上连续,且 与 异号(即 ),则在开区间 内至少有一点 ,使 。
介值定理
设函数 在闭区间 上连续,且在这区间的端点取不同的函数值 及 ,则对于 与 之间的任意一个数 ,在开区间 内至少有一点 ,使得
推论:
在闭区间 上连续的函数 的值域为闭区间 ,其中 与 依次为 在 上的最小值与最大值。
一致连续性
设函数 在区间 上有定义。如果对于任意给定的正数 ,总存在正数 ,使得对于区间 上的任意两点 ,当 时,有:
那么称函数 在区间 上一致连续。
通俗来说,一致连续就是:整个区间上的陡峭程度有统一的上限。一致连续性表示,不论在区间 的任何部分,只要自变量的两个数值接近到一定程度,就可使对应的函数值达到所指定的接近程度。
普通连续只要求每一点各自达标,那里的 可以随位置而变,在函数平缓的地方变得很大,在陡峭的地方缩得很小;一致连续要求的是一个万能的 :无论在区间的哪个位置,只要自变量跨度小于 ,函数值跳动就不超过 。
例如 在 上处处连续,但越靠近 越陡,压住同样的 需要越来越小的 ,找不到通用的 ,所以它不一致连续。
一致连续性定理
如果函数 在闭区间 上连续,那么它在该区间上一致连续。
这个定理能成立的根源在于闭区间的紧致性:闭区间上的连续函数在每一点附近都是"温和"的,而紧致性保证这些局部性质能转化成整体一致的性质。
对比开区间 上的 :越靠近 越陡,在 处需要用的 会随着 而趋于 。
用有限覆盖定理证明:由连续性,在每一点 处都存在 ,使得当 且 时,有
(在端点 、 处取单侧邻域即可。)这些邻域合起来覆盖了 ,由紧致性可以从中挑出有限个,记相应的点为 ,取
它们仍然覆盖 。
需要注意的是,不能简单地"取这些 的最小值的一半"当作 :若 落在 的邻域内,而 落在另一个邻域内,则由 只能得到 ,无法保证 也落在 的邻域内。要让两点一定落在同一个邻域里,需要引入下面的数。
引理(Lebesgue 数) 对上述有限覆盖,存在 ,使得 中任何长度小于 的区间都含于某个邻域 之中。
证明 反设不然,则对每个正整数 ,都存在区间 ,其长度 ,但不含于任何 之中。取 为 的中点,则 是 中的有界数列,由致密性定理存在收敛子列 。因为有限个邻域覆盖 , 必属于某个邻域,即存在 使 。
记 。当 充分大时 且 ,于是 中任一点 都满足
也就是说 含于第 个邻域之内,与 的取法矛盾。故这样的 存在。
有了这个 ,定理的证明就很简单了:任取 且 。不妨设 ,则区间 的长度小于 ,故它含于某个邻域 内,从而 、 都满足 。于是
这正是所要的结论。
2. 导数与微分
1. 导数
1. 定义
通俗来说,导数是瞬时变化率: 每变化一个单位, 大约变化多少。它是平均变化率 在 时的极限,几何上就是曲线在这一点处切线的斜率。
设函数 在点 的某个邻域内有定义。当自变量 在 处取得增量 (点 仍在该邻域内)时,相应地,因变量取得增量:
如果 与 之比当 时的极限存在,那么称函数 在点 处可导,并称这个极限为函数 在点 处的导数,记为 ,即:
其他等价写法:,,
导数定义的其他常用形式:
如果极限 不存在(比如左右极限不相等,或者趋向无穷大),那么我们就说该点不可导。
可导必定连续,连续不一定可导(证明见第 3 小节)。
单侧导数
左导数: 或
右导数: 或
在 处可导的充要条件是左导数 和右导数 存在且相等。如 在 处左导数 而右导数 ,所以它在 处不可导。
2. 几何意义
在点 处的导数 在几何上表示曲线 在点 处切线的斜率。,其中 是切线的倾角。

曲线 在点 处的切线方程为
过切点 且与切线垂直的直线称为曲线 在点 处的法线。如果 ,法线的斜率为 ,从而法线方程为
3. 可导性与连续性
函数在某点可导一定连续,但连续不一定可导
证明
设函数 在 处可导,即
欲证 在 处连续: ,即证
当 时, 显然恒成立,对等式两边同时取 的极限:
得证;
函数在某点连续是函数在该点可导的必要不充分条件,例如 在 处连续,但左导数为 、右导数为 ,故在该点不可导
4. 求导法则
基本导数公式
和差积商求导法则
设 都可导,则:
反函数求导法则
设 在区间 内单调、可导且 ,则它的反函数 在 内也可导,且:
复合函数的求导法则
设 ,而 且 及 都可导,则复合函数 的导数为:
2. 高阶导数
1. 定义
设函数 在某个区间内可导,其导数为 。如果 在该区间内仍然可导,我们称它的导数为 的二阶导数。
一般地, 的 阶导数是其 阶导数的导数,数学递推式为:
记号写法: 阶导数也可记作 或 ,二阶导数常记作 或 ,三阶及以上用带括号的上标 。
2. 几何意义
一阶导数 :描绘曲线的斜率(切线方向)
二阶导数 :描绘斜率的变化率,即曲线的凹凸性:
- 若 ,曲线呈凹状(向上弯曲,凹面朝上)
- 若 ,曲线呈凸状(向下弯曲,凹面朝下)
- 若 且两侧异号,该点为拐点(Inflection Point)
在微分几何中,一阶和二阶导数共同决定了曲线的曲率(Curvature)。二阶导数是切线斜率的变化率: 越大,斜率变化得越快,曲线弯曲的趋势越强。不过要注意,这不是说 大就一定曲率大:按 3.7 的公式 ,曲率还与 有关——同一个 下, 越大曲率反而越小。
3. 隐函数
1. 定义
显函数:因变量 被明确地单独放在等号的一边,而自变量 (和常数)被完全放在等号的另一边,一般形式为
隐函数:自变量 和因变量 混合在一个方程中,方程中并没有把 明确地表示为 的表达式,一般形式为
隐函数的显化:就是解方程的过程:把 从 中解出来,变成 的显函数形式
2. 求导
对隐函数的求导,应用复合函数求导法则(链式法则)。对于含 的项,将 看作中间变量,先对 求导,再乘以 ()
4. 参数方程
1. 定义
参数曲线(parametric curves)和参数方程(parametric equations)是使用一个或多个参数来描述几何曲线的一种方法。
参数方程通过一个或多个参数来描述曲线上的点。例如,设定一个参数 表示曲线上各个点的变化量,点的 和 坐标分别是 的函数:
点集 是一条参数曲线。
这种定义方法适用于二维平面中的曲线,如果在三维空间中则增加一个 坐标函数
2. 求导
已知 是 的函数, 又是 的函数,那么根据链式法则:,则:
5. 微分
1. 定义
一个通俗的理解:在一点附近,用一条直线去代替曲线,这条直线的变化量,就是微分。
如果拿着放大镜看一条曲线,放大到很小很小的一块,曲线看起来几乎就是一条直线。这条“局部直线”的斜率,就是导数 。沿着这条直线走一小步 高度变化就是 ,这就是微分。
设函数 在某区间内有定义, 及 都在这个区间内。如果函数的增量
可以表示为
- 表示按某个固定斜率 估算出来的变化量,是线性主部
- 表示剩下的误差,而且这个误差比 更快趋于 0
而微分即为:
本质上是曲线弯曲造成的偏差,非常小。 表示真实增量;微分 是真实增量的线性近似,当 越小,这个近似越准。
可微
可微即可导,常数 就是导数 。因为
令 ,右边第二项趋于 ,故 ,即 。反之,若 存在,记 ,则 是 时的无穷小,于是
可见可微与可导彼此等价。于是微分总可以写成
自变量的微分
当 (即 )时,,于是 。所以自变量的微分就是自变量的增量,微分可以写成
这也是导数记作 的由来:它确实可以看成两个微分之商,不过它的本质仍是极限。
2. 几何意义
在曲线 上取点 ,过 作切线。当自变量从 变到 时,曲线上的点从 变到 ,切线上的点从 变到 ,则:
- 是曲线纵坐标的增量,即线段
- 是切线纵坐标的增量,即线段
也就是说,微分就是切线上的增量。 越接近 ,切线与曲线越贴紧, 与 的差就越小,而且这个差是 ,比 本身更快地趋于 。

3. 运算法则
既然 ,把 2.1 的导数公式每条乘上 ,就得到相应的微分公式。
基本初等函数的微分公式
微分运算法则
设 、 都可微,则:
- ( 为常数)
复合函数的微分
设 、 都可微,则复合函数 的微分为
无论 是自变量还是中间变量,微分都保持 这一形式,这就是一阶微分形式不变性。
4. 近似计算
由 可知,当 很小时
把 代回,得常用的近似公式
常用近似公式
取 、( 很小),由 可得:
- (因为 ,)。单位圆上,小角度的正弦(对边)与弧长非常接近
- (因为 ,)。小角度时,切线段与弧长也非常接近
- ,更一般地
【例】 求 的近似值。
【解】
取 ,,。因为
所以
误差估计
设量 由测量得到,测量误差为 , 由 计算得到,则 的误差近似为
因此 的绝对误差限约为 ,相对误差限约为
例如 时 :测量值放大 倍,相对误差也放大 倍。
3. 一元函数微分学的应用
1. 微分中值定理
1. 费马引理
一个通俗的理解:光滑山顶的那一点,切线水平,瞬时坡度为零,导数为零。
设函数 在点 的某邻域 内有定义,并且在 处可导。如果对任意的 都有
那么
证明
只证 的情形,另一情形同理。
因为 ,所以对 总有
于是当 时
当 时
由 在 处可导,左、右导数都存在且等于 ,对上两式分别取极限:
故
导数为零的点
使 的点称为函数的驻点(或稳定点、临界点)。费马引理说的是:可导函数在区间内部的极值点必定是驻点。
反过来不成立: 在 处有 ,但 不是极值点。
2. 罗尔定理
一个通俗的理解:两端一样高,中间必有平地。函数在两个等值端点之间连续且光滑,那么曲线上至少有一点的切线是水平的。
如果函数 满足
- 在闭区间 上连续
- 在开区间 内可导
那么在 内至少存在一点 ,使得

证明
因为 在闭区间 上连续,由 1.2 的闭区间上连续函数的性质可知, 在 上必取到最大值 与最小值 。
- 若 ,则 在 上恒为常数,于是对任意 都有 ,任取一点作 即可
- 若 ,由 可知,最大值与最小值中至少有一个不等于 ,不妨设 ,则取到最大值 的点 必在 内(因为端点处的函数值都是 )
于是 是 在 内的最大值点,由费马引理得
【例】 设 ,证明方程 在 内有两个实根。
【解】
是多项式,在 上连续、在 内可导,且
在 上用罗尔定理,存在 使 ;在 上用罗尔定理,存在 使 。
又 是二次多项式,至多有两个实根,故 在 内恰有两个实根。
3. 拉格朗日中值定理
一个通俗的理解:两端不一样高,中间必有某点的切线平行于两端连线。罗尔定理是它的特殊情况(两端一样高时,两端连线水平)。
如果函数 满足
- 在闭区间 上连续
- 在开区间 内可导
那么在 内至少存在一点 ,使得
或写成

证明
构造辅助函数,把问题化成罗尔定理:
在 上连续、在 内可导,且
由罗尔定理,存在 使 ,即
故
几何上, 是弦 的斜率, 是点 处切线的斜率:定理说明曲线上至少有一点的切线平行于这条弦。
有限增量公式
把 换成 、 换成 ,定理可写成
这是用某点的导数精确表示增量,称为有限增量公式。它比 更强:不是近似,而是等式,只是 在哪个点取值事先不知道。
推论
- 如果函数 在区间 上可导,且 ,那么 在 上恒为常数。证明:任取 ,在 上用中值定理得
- 如果 在区间 上处处成立,那么 ( 为常数)
【例 1】 证明:当 时,。
【解】
取 ,它在 上连续、在 内可导,且
由拉格朗日中值定理,存在 使
因为 ,所以
即
【例 2】 证明:对任意实数 都有 。
【解】
不妨设 。取 ,它在 上连续、在 内可导,由拉格朗日中值定理,存在 使
两边取绝对值,并注意 :
若 显然成立,若 交换两者即可。
4. 柯西中值定理
一个通俗的理解:一个点从 走到 ,走的路线弯弯曲曲。把 和 用直尺连成一条直线,路上至少有一个瞬间,这个点走的方向,和 这条直线的方向平行。
更具体地,把两个函数看成参数曲线 ,起点 ,终点 。
连接 A、B 的直线叫割线,其代表从起点到终点的总方向;
曲线上某一时刻的切线代表那一瞬间的运动方向;
而在这条弯曲轨迹上,一定存在某一时刻,它的切线方向和起点终点连线的方向平行。
拉格朗日中值定理是 的特殊情况
如果函数 与 满足
- 在闭区间 上连续
- 在开区间 内可导
- ()
那么在 内至少存在一点 ,使得

证明
由 及拉格朗日中值定理可知 ,否则推出某点 ,矛盾。
构造辅助函数
在 上连续、在 内可导,且
由罗尔定理,存在 使 ,即
两边除以 (不为零)得
当 时,,公式化为拉格朗日中值定理,可见柯西中值定理是更一般的形式。
【例】 设 在 上连续、在 内可导(),证明存在 使
【解】
取 ,它在 上连续、在 内可导,且 。
对 与 用柯西中值定理,存在 使
即
2. 洛必达法则
一个通俗的理解:遇到“两个都趋于 0”或“两个都趋于无穷大”的比值,直接看比值没意义;那就看分子、分母各自变化得多快,也就是分别求导,再看导数之比。前提是求导之后的比值确实有极限。
这就是洛必达法则,它主要用于求未定式极限,把难算的极限变成可能好算的导数极限。
1. 两种基本型
型
设
- 当 (或 )时,,
- 在点 的某去心邻域内(或 充分大时), 与 都存在,且
- 存在(或为无穷大)
那么
这里的 都表示同一个变化过程(、、、 等)。
型
把条件 1 换成当 (或 )时 、,其余条件不变,结论同样成立。
证明(以 的 型为例)
补充定义 ,则 、 在点 处连续。在 附近任取 ,在 (或 )上用柯西中值定理,存在 介于 与 之间,使
当 时 ,于是
2. 使用要点
- 只有 与 才能直接用洛必达法则,其他形式必须先化成这两种
- 每用一次都要检查是否仍满足条件;只要还是 或 ,可以反复使用
- 若 不存在(且不是无穷大),不能断定 不存在,此时法则失效,需改用别的方法。例如 的极限为 ,但上下求导后 没有极限
- 能约分、能等价替换、能提公因式的,先化简再求导更省力
3. 其他未定式
其余未定式都可以化成两种基本型以后再用法则。
- :把 写成 或 ,化为 或
- :通分或有理化,化为 或
- 、、:设 ,取对数得 ,先求 (属于 型),再取指数
【例 1】 求 。
【解】
这是 型,连用洛必达法则:
最后一步用了重要极限 。
【例 2】 求 ( 为正整数,)。
【解】
这是 型,连用 次洛必达法则,每次分子降一次幂:
这说明:当 时,指数函数增长得比任何幂函数都快。
【例 3】 求 。
【解】
这是 型,把 写到分母上化为 型:
【例 4】 求 。
【解】
这是 型。设 ,取对数:
这是 型,令 ,当 时 ,由洛必达法则
故
这与 1.2 的重要极限一致。
3. 泰勒公式
泰勒公式的本质,是在某一点附近,用一个多项式去“模仿”一个复杂函数;
微分/一阶泰勒,是最低配的模仿,用一条直线模仿曲线;
泰勒公式用高阶导数,是升级版,用抛物线、三次曲线等去模仿,模仿得更接近;
它主要用于把难算、难分析、难处理的函数,换成好算的多项式。
1. 泰勒多项式
设 在点 处有 阶导数,称多项式
为 在 处的 次泰勒多项式,其中 是各项系数。
它的系数是按"多项式与函数的各阶导数在 处相等"定出来的:()。
2. 带佩亚诺余项的泰勒公式
设 在点 处有 阶导数,则当 时
即
其中 是比 更高阶的无穷小,称为佩亚诺余项。
这个公式只说明误差在 时趋于零的速度,适合用来求极限;如果要估计误差的大小,要用下面的拉格朗日余项。
3. 带拉格朗日余项的泰勒公式
设 在包含 的区间内有 阶导数,则对该区间内任意 ,存在 介于 与 之间,使
其中
称为拉格朗日余项。
当 时,,正是拉格朗日中值定理;所以拉格朗日中值定理是泰勒公式的最低阶情形。
如果在展开点 , 本身完美还原函数值和前 阶导数,余项为 0;
如果对于任意点 ,必须 才精确等于
有限阶时,余项通常不知道具体值,只能估计,所以实际常用于近似和误差分析

4. 麦克劳林公式
取 ,泰勒公式成为
称为麦克劳林公式。
常用初等函数的麦克劳林展开
其中最后一个式子当 取正整数时就是二项式定理。
这些展开式的系数来源都可以用 直接算出,例如 的任意阶导数都是 ,在 处都等于 ,故系数都是 。
【例 1】 求 的带佩亚诺余项的三阶麦克劳林公式。
【解】
当 时
两式相乘,只保留到 项:
【例 2】 求 。
【解】
用上例的展开式
代入得
【例 3】 估计 的近似值(用 的麦克劳林展开)。
【解】
由 的麦克劳林公式,取 :
拉格朗日余项给出误差范围
所以 ,与真值相符。
4. 函数的单调性与曲线的凹凸性
一个通俗的理解:导数管方向,二阶导数管弯曲。 为正说明曲线在往上走,为负说明往下走; 为正说明曲线是凹的(开口向上),为负说明是凸的(开口向下)。
1. 函数单调性的判定法
定理
设函数 在闭区间 上连续、在开区间 内可导:
- 如果在 内 ,那么 在 上单调递增
- 如果在 内 ,那么 在 上单调递减
证明
只证递增的情形。任取 ,在 上用拉格朗日中值定理,存在 使
由 、 得 ,故 单调递增。
求单调区间的方法
求 ,解出 的根与 不存在的点,用这些点把定义域划分为若干区间,再在每段上判断 的符号。使 变号的点往往就是极值点。
注意: 的区间上函数恒为常数(见 3.1 的推论),所以若只在个别点处 ,不影响单调性。例如 在 处导数为零,但它在整个 上单调递增。
【例】 确定 的单调区间。
【解】
令 得 。列表判断符号:
| 递增 | 极大值 | 递减 | 极小值 | 递增 |
故 在 与 上单调递增,在 上单调递减。
2. 曲线的凹凸性与拐点
定义
设 在区间 上连续。如果对 上任意两点 ,恒有
那么称曲线 在 上是凹的(凹弧);如果恒有
那么称曲线在 上是凸的(凸弧)。
几何上就是说:凹弧上任意两点的连线(弦)位于曲线的上方,凸弧上的弦位于曲线的下方。
判定定理
设 在 上连续、在 内二阶可导:
- 如果在 内 ,那么曲线在 上是凹的
- 如果在 内 ,那么曲线在 上是凸的
理由: 说明 单调递增,即切线斜率越来越大,曲线越走越"陡",因而开口向上。
拐点
连续曲线凹弧与凸弧的分界点称为曲线的拐点。
求拐点的方法是:解出 的根以及 不存在的点,检查这些点左右两侧 是否变号——变号的才是拐点。
注意两点:
- 而两侧不变号的点不是拐点。例如 ,,但曲线始终是凹的
- 二阶导数不存在的点也可能是拐点。例如 在 处 不存在,而 是拐点

【例】 求曲线 的凹凸区间与拐点。
【解】
令 得 。列表判断符号:
| 曲线 | 凹 | 拐点 | 凸 | 拐点 | 凹 |
故曲线在 与 上是凹的,在 上是凸的,拐点为 与 。
5. 极值与最值
一个通俗的理解:极值是"局部的高点或低点",只跟附近比;最值是"整段区间上的最高或最低",要跟全体比。局部的高点不一定是最高的,但整段最高的点一定是局部高点。
1. 极值
定义
设函数 在点 的某邻域 内有定义。如果对该邻域内任一 都有
那么称 是 的一个极大值(或极小值), 称为极大值点(或极小值点)。极大值与极小值统称极值。
极值是局部概念:只要在 附近它最大(小)即可,与区间其他地方无关。
必要条件
设 在 处可导,且 是极值点,则
这就是 3.1 的费马引理。它说明:可导函数的极值点必是驻点。
反过来不成立,例如 在 处 ,但 不是极值点。此外,导数不存在的点也可能是极值点,例如 在 处,导数不存在,但 是极小值。
所以求极值时,要把驻点和不可导点都作为候选点。
第一充分条件
设 在 处连续,在 的某去心邻域内可导:
- 若 时 ,而 时 ,则 是极大值
- 若 时 ,而 时 ,则 是极小值
- 若 在 两侧符号相同,则 不是极值
一句话:看 在 处是否由正变负(极大)或由负变正(极小)。
第二充分条件
设 在 处有二阶导数,且
那么
- 当 时, 是极大值
- 当 时, 是极小值
理由: 说明 在 附近递减,而 ,故左侧 、右侧 ,由第一充分条件即得极大值。
当 时第二充分条件失效,需改用第一充分条件(例如 与 在 处都有 ,但一个是极小值点,一个不是极值点)。
【例 1】 求 的极值。
【解】
定义域为 ,且
令 ,由 得 ,即 。
又
由第二充分条件, 是极小值点,极小值为
2. 最值
求最值的步骤
设 在闭区间 上连续,则它必取到最大值与最小值,且最值只可能在以下位置取到:
- 区间内部的驻点( 的点)
- 区间内部导数不存在的点
- 区间端点
因此只需算出这些点的函数值,比较大小即可。如果区间是开区间或半开区间(或函数在某端趋于无穷),则要靠单调性和极限来判断最值是否存在。
【例 2】 求 在 上的最大值与最小值。
【解】
驻点为 ,都在区间内。计算各候选点的函数值:
比较得:最大值为 ,最小值为 。
【例 3】 用边长为 的正方形铁皮做一个无盖水箱,在四角各剪去一个边长为 的小正方形,再把四边折起。问 为多少时水箱容积最大?
【解】
水箱的底是边长为 的正方形,高为 (),容积为
求导:
令 ,在 内得唯一驻点 。
又 ,,故 是极大值点,也是最大值点。此时容积为
【例 4】 证明:当 时,。
【解】
取 ,只需证 。求导得
在 内 有唯一驻点 。当 时 ,当 时 ,故 是 在 上的最小值。因此对一切 有
即
且等号只在 时成立。
6. 函数图形的描绘
步骤
- 确定定义域,讨论奇偶性、周期性,缩小要研究的范围
- 求一阶导数,定出驻点、不可导点,判断单调区间与极值
- 求二阶导数,判断凹凸区间与拐点
- 考察渐近线,以及 时的走向
- 求与坐标轴的交点,算出几个关键点的坐标
- 描点连线,按上面得到的信息把曲线画出来
渐近线
- 水平渐近线:若 (或 ),则 是水平渐近线
- 铅直渐近线:若 (或 、或两侧),则 是铅直渐近线
- 斜渐近线:若 存在且不为 , 存在,则 是斜渐近线
7. 曲率
“弧”就是曲线,“微分”就是无限小的一小段。合起来,弧微分 就是曲线上极短极短的一小段长度。
“曲”就是弯曲,“率”就是变化率。曲率就是衡量曲线弯曲程度的指标。
二者是配套使用的,只有知道“走了一小段弧长 ,才能去计算“在这一小段里方向转了多少”,从而算出曲率。
1. 弧微分
设函数 在区间 内具有连续导数。在曲线 上取定点 作为度量弧长的基点,规定 增大的方向为曲线的正向,则曲线上点 处的弧长 是 的函数。
给 以增量 ,弧长相应取得增量 。因为弧长与弦长之比当 时趋于 ,于是
所以弧微分(弧长的微分)为
如果曲线由参数方程 给出,则
2. 曲率及其计算公式
曲率的定义
设曲线 是光滑的。在曲线上取点 ,其切线的倾角为 ;取邻近点 ,切线倾角为 ,弧长 为 。称
为弧段 上的平均曲率,称
为曲线在点 处的曲率。
曲率描述的是切线方向随弧长变化的快慢:曲线转得越急, 相对 越大,曲率越大。
曲率的计算公式
若曲线为参数方程 ,且 、 不同时为零,则
若曲线为显函数 ,取 为参数即可得
验证两个熟悉的情形
- 直线 :,故 ,直线不弯曲
- 圆 :由参数方程 、 得 、、、,于是
即圆的曲率处处等于半径的倒数,半径越小曲率越大,与直观相符。
【例】 求曲线 在点 处的曲率。
【解】
在 处 、,故
3. 曲率圆与曲率半径
设曲线 在点 处的曲率为 ()。在点 处的法线上,取位于曲线凹侧的一点 ,使
以 为圆心、 为半径作圆,则这个圆与曲线在点 处有相同的切线,也有相同的曲率,称为曲线在点 处的曲率圆(也称密切圆), 称为曲率中心, 称为曲率半径。
求曲率半径的公式就是
曲率中心的计算公式
把曲线在点 处的曲率圆画出来后,曲率中心的坐标 可以这样推:曲率中心在过 的法线上,且到 的距离为 ,方向指向曲线凹侧(即 的符号一侧)。当 时曲线是凹的,曲率中心在法线的上方,故
当 时把 换成 即可。
4. 渐屈线与渐伸线
当点 沿曲线移动时,相应的曲率中心 的轨迹称为原曲线的渐屈线;而原曲线称为这条渐屈线的渐伸线。
由曲率中心的公式可见, 由 决定,所以渐屈线也可以看成以 为参数的参数曲线。

【例】 求抛物线 ()的渐屈线。
【解】
只研究上半支 ,此时 。求导:
曲率半径
因为 ,曲线是凸的,曲率中心在法线下方,代入公式(取 )得
其中第二个式子的化简过程是
又 ,代入 得
于是渐屈线的参数方程为
消去 :由 得 ,即 ,代入 得
两边立方,得渐屈线的直角坐标方程
这是一条半立方抛物线( 型),顶点在 ,也就是原抛物线的焦点所在处;这与"抛物线的渐屈线是一条半立方抛物线"这一结论一致。
8. 方程的近似解
一个通俗的理解:方程 的解就是曲线 与 轴的交点。精确解常常求不出来,就用"把根夹住、逐步缩小范围"或"用切线代替曲线"的办法,把根逼近到足够精确。
1. 二分法
设函数 在闭区间 上连续,,且 在 内单调,则方程 在 内有唯一实根 (存在性由零点定理,唯一性由单调性)。
做法
取中点 ,计算 :
- 若 ,则
- 若 与 同号,则根在 内,取新区间
- 若 与 同号,则根在 内,取
如此重复,得一系列区间 ,其中 ,取 作为近似根,则误差满足
若要误差不超过给定的 ,只要取
二分法的优点是简单可靠,只要有根就必定收敛;缺点是收敛慢(每次只把区间缩短一半),而且只能用于连续函数、必须先找到根的隔离区间。
【例】 用二分法求方程 在区间 内的近似根,要求误差不超过 。
【解】
在 上连续且单调递增(因为 ),又
故根唯一。由误差要求
逐次计算中点:
| 的符号 | ||||
|---|---|---|---|---|
取 ,误差不超过 ,与真值 相符。
使用 C++ 程序进行二分法运算:
1 |
|
2. 切线法(牛顿法)
一个通俗的理解:山坡就近找个点,顺着这个点的坡度(切线)往下滑,滑到平地(x轴)的地方,看看离目标有多远。然后从那个新位置,重新看坡度,继续滑。
还可以这么理解,曲线(非线性函数)太难算了,但直线(线性函数)极其简单,所将曲线变成直线。
在点 附近,对函数 做一阶泰勒展开:,正好是切线方程;想找 的根,干脆令这条切线等于 0,求出 后把它当作新的近似点 。
误差在迭代过程中会以平方级别缩小,所以此方法在数值计算中非常有用。
设 ,且在 上 与 都存在并保持定号(即 单调且曲线凹凸性不变),则方程 在 内有唯一实根。
做法
在根的隔离区间上,取端点中使 的那一端作为初始近似值 (即从曲线凹向 轴的那一端出发)。过点 作曲线的切线,以切线与 轴的交点 作为第一次近似:
重复这一步,得迭代公式
在满足上述定号条件时,数列 单调趋于根 ,且收敛速度较快(大致每迭代一次有效数字翻倍)。

3. 割线法
切线法每次都要算 ,如果导数不好求,就用差商代替导数:用过曲线上两点 与 的割线代替切线,把割线与 轴的交点 作为新的近似值,即
计算时先给定两个初始近似值 、,以后逐步迭代。割线法不必求导数,收敛速度比二分法快,但比切线法慢一些;若两个初始值取得不好,也可能不收敛或收敛到别的根。
【例】 用切线法求方程 在 内的近似根,要求误差不超过 。
【解】
,,。在 上 、,故取满足 的端点 (此处 、)。
迭代公式为
逐步计算:
相邻两次迭代值之差已小于 ,满足设定的停止准则,故取 。这里给出的是停止准则(相邻迭代值足够接近),并不等于真实的误差 一定不超过 ;因为切线法是二次收敛的,实际误差通常比这个差值还要小得多。与二分法相比,这里只迭代四次就达到同样的精度。
使用 C++ 程序进行牛顿法运算:
1 |
|
4. 不定积分
1. 概念与性质
不定积分的本质,是求导的逆运算;
已知导数 ,去找“它原本是谁求导得来的”;
它的结果不唯一,相差一个常数,所以最后要加 。
1. 概念
原函数
如果在区间 上,可导函数 的导函数为 ,即对任一 都有
那么称 是 在区间 上的一个原函数。
原函数不唯一。例如 、、 都是 的原函数,因为它们求导都得到 。
原函数存在定理
如果函数 在区间 上连续,那么在区间 上存在可导函数 ,使对任一 都有
即连续函数一定有原函数。
也就是说:求导是从函数到函数的一种运算,而连续函数都不会“漏掉”原函数。
原函数之间的关系
设 是 在区间 上的一个原函数,则 的全体原函数可以表示为
证明:若 也是 的原函数,则 ,由 3.1 的推论知 恒为常数,即 。
不定积分的定义
在区间 上,函数 的带有任意常数项的原函数称为 在区间 上的不定积分,记作
其中 称为积分号, 称为被积函数, 称为被积表达式, 称为积分变量。
由定义
其中 是 的任一原函数, 称为积分常数。
两个互逆的关系
求不定积分与求导数(或微分)互为逆运算:
- 先积分再求导(或求微分),还原为原来的函数
- 先求导(或求微分)再积分,得到原函数加上任意常数
积分曲线
函数 的原函数的图形称为 的积分曲线。不定积分表示的不是一条曲线,而是一族曲线:它们在横坐标相同的点处切线互相平行(因为导数都是 ),上下平移即可互相重合。
【例 1】 求 。
【解】
因为 ,所以 是 的一个原函数,故
【例 2】 求 ()。
【解】
因为
所以
2. 基本积分表
既然积分是求导的逆运算,把 2.1 的导数公式反过来写,就得到最基本的积分公式。
3. 性质
线性性质
设函数 与 的原函数都存在,则
- ( 为非零常数)
也就是说,积分可以和加减法、常数乘法交换次序,可以把被积函数拆开逐项积分。
第二式中 ; 时两边都是任意常数,约定俗成单独讨论。
分项积分的用法
用这两条性质,可以把较复杂的被积函数拆成几个基本积分表中的形式,再逐项积分。拆的时候常要做一点代数变形或三角恒等变形,把被积函数化成能查表的样子。
【例 3】 求 ()。
【解】
把被积函数拆开:
第二项的积分可以直接由公式 (19) 得到:
第一项不易看出,但注意到
恰好就是整个被积函数,于是
【例 4】 求 。
【解】
先做除法,把假分式化为多项式与真分式之和(第九章会系统讲有理函数积分):
于是
2. 换元积分法
一个通俗的理解:积分里的换元,就像求导里的链式法则,只不过要反着用;
第一类换元是“把一部分凑成某个函数的微分”,把 凑成 ;
第二类换元是“反过来把 换成某个函数的表达式”,主要用来对付根式。
1. 第一类换元法
定理
设 具有原函数 , 可导,则有换元公式
理由:把 求导,得
所以 就是左边那个被积函数的原函数。
怎么用:凑微分
实际计算时,先设法把被积表达式写成 的样子,也就是"凑"出一个微分,最常见的凑法有:
- ,
凑出微分后令 ,积分就化成基本积分表中的形式;积完之后再把 换回 。
【例 1】 求 。
【解】
注意到 ,令 :
【例 2】 求 。
【解】
先把分母配方,再凑微分:
令 ,则 ,由基本积分表公式 (16)(取 ):
【例 3】 求 。
【解】
注意到 :
【例 4】 求 。
【解】
配方:,令 ,则 :
2. 第二类换元法
定理
设 是单调、可导的函数,且 。又设 具有原函数 ,则有换元公式
其中 是 的反函数。
第二类换元法与第一类方向相反:第一类是"把 设成 ",第二类是"把 设成 ",因为它要求 单调可导,所以最后一定要把 用 表示回去。
三种常用的三角代换
主要用于去掉根式:
- 被积函数含 :令 (),则
- 被积函数含 :令 (),则
- 被积函数含 :令 (),则
除了三角代换,含 时可以令 ,直接把它有理化。
三角代换的替换规律
代换之后要回代,常用的三条三角关系是
- 由 得 ,,作直角三角形可得
- 由 得 ,,且
- 由 得 ,且
【例 5】 求 ()。
【解】
令 (),则 ,,于是
由 ,并注意 ,得
这个结果在求面积时很有用:它正是圆的一部分的面积公式。
【例 6】 求 ()。
【解】
令 (),则 ,,于是
由 、 回代:
这与基本积分表中的公式 (19) 一致(常数 已被并入 )。
【例 7】 求 。
【解】
令 (),则 ,,于是
由 回代:
这与例 3 的结果相同。
3. 分部积分法
一个通俗的理解:积分里的分部积分,就是求导里乘积法则的逆用;
乘积法则说 ,把它反过来移项、再积分,就把一个积分换成了另一个积分;
遇到两个不同类型的函数相乘,比如 与 、 与 ,就用它把难积的项“交换出去”。
公式
设函数 、 具有连续导数,由乘积求导法则
移项得 ,两边积分:
写成微分形式就是
这就是分部积分公式。
怎么用:选谁当
把被积表达式拆成 与 两部分,拆的原则是
- 要好求出来
- 换过之后的新积分 要比原来的积分容易
常用的经验次序(谁更适合当 ,越靠前越优先当 ):反三角函数、对数函数、幂函数、三角函数、指数函数。也就是说,遇到 、 这类,让幂函数进 ,把对数或反三角留下当 。
【例 1】 求 。
【解】
取 、,则 、,于是
【例 2】 求 。
【解】
被积函数只有一个,但可以看成 ,取 、,则 、,于是
【例 3】 求 。
【解】
取 、,则 、,于是
而
故
【例 4】 求 。
【解】
连用两次分部积分。第一次取 、:
第二次取 、:
代入得
【例 5】 求 。
【解】
取 、,则 、,于是
对右边的积分再分部一次,取 、:
代回并记 :
解出
这种"转了一圈又回来"的情形称为循环法:把原积分当成未知数解方程即可。
【例 6】 求 ( 为正整数)。
【解】
取 、,则 、,于是
这就是递推公式:把 次幂的积分化为 次幂的积分,逐步降到 。
例如取 :
4. 有理函数的积分
一个通俗的理解:有理函数就是两个多项式的商,它一定能积出来——办法是把它拆成几个最简单的分式之和;
拆开之后每一项都能用对数、反正切这些基本函数表示;
所以有理函数的积分,关键不在积分,而在于“拆”。
1. 有理函数的积分
有理函数
两个多项式的商
称为有理函数,其中 、 都是多项式,且假定分子与分母没有公因式。
若分子次数小于分母次数,称为真分式;否则称为假分式。假分式总可以用除法化为一个多项式与一个真分式之和,所以只需研究真分式的积分。
部分分式分解
设分母 在实数范围内分解为一次因式与二次不可约因式的乘积,则真分式总能拆成下面四种简单分式之和:
- 分母中有因式 ,对应
- 分母中有因式 (),对应
其中 、、 都是待定常数,用"通分后比较分子各项系数"或"代入特殊值"的办法定出来。
四种简单分式的积分
- ()
- :先把分子凑成分母的导数,拆成 与 两部分,前者是对数,后者配方后用反正切
- :同样拆成两部分,前一部分换元,后一部分用三角代换化为
【例 1】 求 。
【解】
分母分解为 ,设
通分得
代入 得 ,即 ;代入 得 。于是
【例 2】 求 。
【解】
这是分母有重因式的情形,设
通分得
代入 得 ;代入 得 ;再比较 的系数得 ,即 。于是
【例 3】 求 。
【解】
分母含二次不可约因式 ,设
通分得
比较系数: 项 , 项 ,常数项 ,故 、、。于是
2. 转化
有些被积函数虽然不是有理函数,但通过换元可以化成有理函数,从而用上面的办法积出来。常见的有两类。
一、三角函数有理式
形如 的积分( 表示有理运算),总可以用万能代换
化为有理函数的积分。由 可得
万能代换虽然一定能用,但常常把式子搞得很复杂。若能看出下面的规律,可以少走弯路:
- 若 ,令
- 若 ,令
- 若 ,令
二、简单根式的有理化
含 时,令 ,解出 后 也随之有理化。
【例 4】 求 。
【解】
用万能代换 ,则 、:
【例 5】 求 。
【解】
令 ,则 、:
做除法:,于是
把 代回:
5. 积分表
一个通俗的理解:积分表就是把已经算好的不定积分答案集中排在一起,按被积函数的形状分类,用的时候查出对应的那条公式,把参数代进去;
它的价值在于省去重复推导,难点在于“把要算的积分凑成表里的形状”。
1. 编排方式
积分表一般按被积函数的类型编排,常见的有
- 含 的积分
- 含 的积分
- 含 的积分
- 含 的积分
- 含 、 的积分
- 含三角函数、反三角函数、指数函数、对数函数的积分
表中的每一条都省略了积分常数 ,用它算出来的结果要自己补上。
2. 常见的积分表条目
3. 方法与注意
- 先看清楚被积函数属于表里哪一类,再找形状最接近的一条
- 形状不完全一样时,用换元、配方法、提常数、分部积分把它化成表中形式;这一步是真正要动脑的地方
- 代入参数时注意表里公式的条件,例如 类公式要求
- 表里的 是常数,遇到 之类的式子要先提系数,把常数归到 的位置上
【例 1】 查表求 。
【解】
先配方,把分母化成表中 的形状:
令 ,则 ,而 ,查表得
【例 2】 查表求 。
【解】
先提出根号内的系数,化成表里 的形状:
于是
把 并入常数后,也可以写成 。
【例 3】 查表求 。
【解】
被积函数正好是表中的第 8 条,取 代入(此时 ):
5. 定积分
1. 定积分的概念与性质
通俗来说,定积分就是把无数个微小部分累加起来,得到整体总量。其本质为无限细分,再无限求和。
1. 问题举例
曲边梯形的面积
设函数 在区间 上非负、连续。由直线 、、 及曲线 所围成的图形称为曲边梯形,其中曲线弧称为曲边。
求它的面积,主要困难在于曲边是弯的。办法是用"以直代曲":
- 把 任意分成 个小区间,分点为 ,第 个小区间记为 ,长度
- 在 上任取一点 ,用高为 、底为 的小矩形近似代替该小区间上的小曲边梯形,面积为
- 把所有小矩形加起来,得到面积的近似值
- 记 (分割的细度)。让 ,取极限,就得到面积的精确值
变速直线运动的路程
设某物体作直线运动,速度 是时间 的连续函数,求从时刻 到 所经过的路程 。
求它的困难在于速度是变的。同样用"以匀速代替变速":
- 把 分成 个小时间段,分点 ,第 段的长度为
- 在第 段上任取时刻 ,用 近似这一小段时间内的路程
- 求总和
- 取极限
这两个问题的实际意义完全不同,但处理方式完全相同,最后都归结为同一形式的和式极限。抽去具体含义,就得到定积分的定义。
【例】 求曲边梯形 ()的面积。
【解】
把 等分成 份,分点为 (),每个小区间的长度都是 。取 ,则
令 (此时 ):
2. 定义
设函数 在 上有界。在 中任意插入若干个分点
把区间分成 个小区间,各小区间的长度依次为
在每个小区间 上任取一点 ,作乘积 ,再求和
记 。如果当 时, 总趋于确定的极限 ,而且这个极限与区间的分法、 的取法都无关,那么称这个极限 为函数 在区间 上的定积分,记作
其中 称为被积函数, 称为被积表达式, 称为积分变量, 称为积分区间, 与 分别称为积分下限与积分上限。
注意以下几点:
- 定积分是一个数,它只取决于被积函数与积分区间,与积分变量用什么字母无关,即
- 和式 与分法、 的取法都有关,但要求极限与它们无关,这是定积分比不定积分更"苛刻"的地方
- 规定 ,并规定当 时
可积的条件
- 可积的必要条件:若 在 上可积,则 在 上必有界
- 可积的充分条件:若 在 上连续,则 在 上可积;若 在 上有界且只有有限个间断点,也可积
以后遇到的被积函数大多在积分区间上连续,所以不必每次都验证可积性。
3. 近似计算
当原函数不易求出,或 只是由测量、计算得到的数表时,可以用定义中的和式直接做近似:把 等分,用若干矩形面积之和代替曲边梯形面积。
- 矩形法:取 为小区间的左端点(或右端点),得
- 梯形法:用梯形代替曲边梯形,相当于取左右端点函数值的平均
- 抛物线法(辛普森法):用抛物线拟合每三个相邻的分点,精度最高
三种方法都是 越大越准,但精度顺序是矩形法 < 梯形法 < 抛物线法。
4. 性质
设所列定积分都存在。以下性质都可以由定义(和式取极限)直接推出。
- (、 为常数)
- ( 在 、 之间,或在其外都可)
- 如果在 上 ,则
- 如果在 上 ,则
- 如果在 上 ,则
- ()
- (估值定理)设 、 分别是 在 上的最大值与最小值,则
- (积分中值定理)如果 在 上连续,则在 上至少存在一点 ,使
积分中值定理的意义
可以看成函数在 上的平均值,定理说明:连续函数在区间上必能达到自己的平均值。几何上则是说,存在一条水平直线 ,使它与区间围成的矩形面积等于原曲边梯形的面积。
证明:由估值定理得 ,而 在 上连续,由介值定理知它必取到 与 之间的任何值,故存在 使 等于该平均值。
【例 1】 用定积分的定义计算 。
【解】
把 等分成 份,取 ,则
令 :
【例 2】 用定积分的性质证明 ( 为常数)。
【解】
由性质 1 与性质 3:
2. 微积分基本公式
一个通俗的理解:定积分是求面积,不定积分是找原函数,两者本来各说各话;
微积分基本公式把它们接上:要算 ,只要找一个原函数 ,代入上下限相减即可;
它的核心是“积分上限的函数求导等于被积函数”这一条。
1. 变速直线运动中位置函数与速度函数之间的联系
设物体作直线运动,位置函数为 ,速度函数为 。物体在时间间隔 内产生的位移(位置的改变量)可以用定积分表示
另一方面, 本身就是 的一个原函数。所以
即定积分等于原函数在两端点处的差。这个特殊情形就是牛顿-莱布尼茨公式的来源。
注意位移与路程不同:位移是位置的改变量,可正可负;路程是轨迹的总长度,永不减少。要算路程,应取速度的绝对值再积分(速度变号时把它分成几段,把每段上位移的绝对值相加),即
只有当 在 上处处成立时,位移与路程才相等。
2. 积分上限的函数及其导数
设函数 在区间 上连续,,称
为积分上限的函数(也称变上限积分)。这里把积分变量写成 ,以免与上限 混淆。
定理
如果函数 在 上连续,则积分上限的函数
在 上可导,且
也就是说:先积分再对上限求导,等于把被积函数原样取回。
证明
任取 ,给 以增量 ,使 ,则
由积分中值定理,存在 介于 与 之间,使
于是
当 时 ,由 的连续性得 ,故
推论
- 连续函数的原函数一定存在,而且可以用积分上限的函数具体写出来: 就是 的一个原函数。这就补上了 4.1 中原函数存在定理的证明
- 若 连续, 可导,则
- 若 连续,则 的积分上限换成变量后求导,一阶导数回到 ,这说明"积分"与"求导"在这里互逆
【例 1】 求 。
【解】
令 ,由上面的推论
【例 2】 求 。
【解】
分子是积分上限的函数,当 时分子趋于 ,可用洛必达法则:
3. 牛顿-莱布尼茨公式
定理
如果函数 是连续函数 在区间 上的一个原函数,则
这就是微积分基本公式,也称牛顿-莱布尼茨公式。
证明
由积分上限函数的性质, 也是 的一个原函数。于是 与 只相差一个常数:
在上式中令 ,得 ,即 ,故 。再令 :
通常把 记作 或 。
理解要点
- 公式把"求定积分"这件事从"求极限"变成了"找原函数",计算量大大减少
- 公式要求 在 上连续(或至少可积),并且 确实是 的原函数
- 定积分是数,不定积分是函数族: 中的 在代入上下限相减时自动消掉,所以用哪个原函数都可以
【例 3】 计算 。
【解】
是 的一个原函数,于是
这与第一节用定义算出的结果一致,但计算量小得多。
【例 4】 计算 。
【解】
【例 5】 计算 。
【解】
先用倍角公式化简被积函数:
在 上 ,故
这里必须保留绝对值再判断符号,否则会算错。
3. 换元法和分部积分法
一个通俗的理解:不定积分里的换元与分部,定积分里照样能用;
区别只在一点:换元时要把积分上下限一起换掉,换完之后不必再回代。
1. 换元法
定理
设函数 在区间 上连续,函数 满足
- ,
- 在 (或 )上具有连续导数,且其值域不超出
则
证明
设 是 的一个原函数,则
而由复合函数求导法则
说明 是 的一个原函数,于是
两者相等。
注意
- 换元必换限:把 代入后,下限换成 、上限换成 ,这里的 、 由 、 定出,且要保证 在两端之间是单调的
- 换元之后直接用 的上下限算完即可,不需要再回代成
- 若 在 上不单调,公式可能失效,此时可以分成几段分别换元
【例 1】 计算 。
【解】
令 ,则 、。换限: 时 , 时 。于是
【例 2】 计算 。
【解】
令 ,则 、。换限: 时 , 时 。于是
2. 分部积分法
公式
设 、 在 上具有连续导数,由不定积分的分部积分公式
两边在 上求定积分,得
也就是说:先算出 在两端的差,再算剩下的积分。选 的原则与不定积分相同:反三角、对数、幂函数、三角、指数,越靠前的越优先当 。
【例 3】 计算 。
【解】
取 、,则 、,于是
【例 4】 计算 。
【解】
取 、,则 、,于是
第一项等于 ;第二项中
所以
【例 5】 计算 。
【解】
先用换元去掉根号:令 ,则 、, 时 , 时 ,于是
再分部:取 、,则
【例 6】 计算 。
【解】
先换元:令 ,则 、, 时 , 时 ,于是
记这个积分为 ,用两次分部积分(与 4.3 例 5 同一套路):
即
解出
4. 反常积分
一个通俗的理解:正常的定积分要求区间有限、函数有界;
反常积分就是把这两个限制放开:要么区间伸到无穷远,要么函数在端点附近冲到无穷大;
办法是把放开的那一头先换成有限的量,算完再取极限——极限存在就说它收敛,否则说它发散。
1. 无穷限的反常积分
定义
设函数 在区间 上连续,如果极限
存在,则称这个极限为函数 在无穷区间 上的反常积分,记作
此时称反常积分收敛;如果极限不存在,则称反常积分发散。
类似地定义
以及
最后这个等式要求右边两个积分都收敛,才说左边的积分收敛。
【例 1】 计算 。
【解】
积分收敛。
2. 无界函数的反常积分
定义
设函数 在 上连续,而在点 的右邻域内无界(这时称 为瑕点),如果极限
存在,则称这个极限为函数 在 上的反常积分,记作
此时称反常积分收敛;否则称发散。
类似地,若瑕点在 ,则
若瑕点在区间内部 ,则要求
右边两个积分都收敛时,才说原积分收敛。
计算时先把瑕点处的积分写成极限,再按牛顿-莱布尼茨公式代入,最后取极限。
【例 2】 计算 。
【解】
是瑕点,于是
积分收敛。
5. 元素法
一个通俗的理解:元素法是"先切碎、再累加"的正式说法;
把要求的量切成无数小份,先写出其中一小份的近似值,再把它积分起来;
写出一小份近似值的那一步是关键,写对了,剩下的只是算一个定积分。
1. 思想
回忆定积分解决问题的那四步:分割、近似、求和、取极限。如果所求量 满足两个特点,就可以用定积分来算:
- 与区间 有关,并且对该区间具有可加性,即把区间分成若干部分时, 等于各部分上对应量之和
- 在小区间 上,对应的部分量 可以用 近似,且误差是比 高阶的无穷小,即
这时把 称为量 的元素(微元),记作 ,于是
2. 步骤
- 选取合适的积分变量 ,并定出它的变化区间
- 在 内任取小区间 ,把这一小段上的所求量近似写成
- 以 为被积表达式,在 上积分,得
关键在第 2 步:只要 写对,第 3 步就只是计算。后面的面积、体积、弧长都是这样来的。
【例】 用元素法写出半径为 的圆的面积表达式。
【解】
取圆心为原点,积分变量取 ,变化区间为 。
在 上任取小区间 ,该处圆内对应的窄条可以近似看成一个高为 、宽为 的矩形,于是
积分得
由 4.2 例 5 的原函数,,正是圆的面积公式。
6. 定积分在几何学上的应用
1. 面积
直角坐标情形
- 由曲线 ()与直线 、、 围成的曲边梯形,面积为
- 由上下两条曲线 、()与 、 围成的图形,面积元素是"上减下"的高乘 :
- 若图形更适合按 积分,则由左右两条曲线 、()与 、 围成的图形面积为
极坐标情形
由曲线 与两条射线 、 围成的曲边扇形,面积元素是一个小扇形,面积为 ,故
【例 1】 计算由抛物线 与直线 所围图形的面积。
【解】
先求交点:由 得 ,即 或 。
在 上直线在上、抛物线在下(例如 时直线高 、抛物线高 ),于是
代入得
【例 2】 计算心形线 ()所围图形的面积。
【解】
图形关于极轴对称,取 从 到 再乘以 :
逐项积分:
故
2. 体积
旋转体的体积
- 曲边梯形(由 、、、 围成)绕 轴旋转一周,体积元素是一个薄圆片,底面积为 、厚为 ,故
- 若绕 轴旋转,则把 解成 的函数 (),
平行截面面积已知的立体体积
如果立体在过点 ()且垂直于 轴的截面面积是 的已知连续函数 ,则体积元素是 ,故
【例 3】 计算由椭圆 绕 轴旋转所成旋转体的体积。
【解】
上半椭圆的方程为 (),于是
当 时得 ,正是球的体积公式。
【例 4】 计算由 、、、 围成的图形绕 轴旋转所成旋转体的体积。
【解】
绕 轴时把 解成 的函数:, 的变化范围是 ,于是
3. 弧长
直角坐标情形
由 3.7 的弧微分公式 ,曲线 在 上的弧长为
参数方程情形
若曲线由 、()给出,则
极坐标情形
若曲线由 ()给出,则
弧长的元素 就是这一小段曲线的长度,它与 3.7 中推出的弧微分是同一个式子,只是现在把它当成积分元素来累加。
【例 5】 计算曲线 在 上的弧长。
【解】
,于是
【例 6】 计算摆线 的一拱()的弧长。
【解】
,,于是
在 上 ,故
结果表明:摆线一拱的弧长恰好是底宽的 倍(底宽为 )。
6. 多元函数微分法及其应用
1. 多元函数
一元函数只有一个自变量,多元函数有好几个;
它的定义域不再是区间,而是平面(或空间)上的一块区域;
其余概念基本照搬:邻域、极限、连续,只是" 靠近 "要换成"点 靠近 ",而靠近的方式有无数种。
1. 平面点集
平面点集
设 是平面上的一个点集, 是平面上的一个点。如果存在 的某个邻域 ,则称 是 的内点;如果存在 的某个邻域 使 ,则称 是 的外点;如果 的任一邻域内既有属于 的点,也有不属于 的点,则称 是 的边界点。
的全体边界点称为 的边界,记作 。
开集与闭集
如果点集 的点都是内点,则称 为开集;如果 的所有聚点都属于 ,则称 为闭集。
例如 是开集, 是闭集。
区域
设 是平面上的开集,如果对于 内任何两点,都可用完全含于 内的折线连接起来,则称 是连通的。连通的开集称为区域(开区域),区域连同它的边界一起称为闭区域。
例如 是区域, 是闭区域。
有界集
如果存在正数 ,使 中所有的点 都满足 ,则称 是有界点集,否则称为无界点集。
维空间
把平面、空间推广到 个数组成的有序数组,就得到 维空间 :
其中每个元素 称为 维空间中的一个点, 称为第 个坐标。两点 与 之间的距离规定为
中的邻域、内点、区域等概念,都可以照平面上相应的定义逐字搬过来。本笔记后面主要在 上讨论,结论对 大多同样成立。
2. 概念
定义
设 是 上的一个非空点集,如果对于 内每一点 ,按照某个对应法则 ,都有唯一确定的实数 与之对应,则称 是定义在 上的二元函数,记作
其中 、 称为自变量, 称为因变量, 称为定义域,全体函数值组成的集合称为值域。
类似地可以定义三元函数 以及 元函数。二元及二元以上的函数统称多元函数。
定义域的求法
与一元函数一样,定义域就是使表达式有意义的所有点组成的集合,只是现在它一般是平面上的一块区域。常见限制有:
- 分式的分母不为零
- 偶次根号下非负
- 对数的真数为正
- 反正弦、反余弦的变量在 内
二元函数的图形
二元函数 的图形是空间中的一张曲面:点集
就是函数图形。例如 的图形是上半球面。
由于三元以上的函数无法直接画图,通常用等值线(等高线) 来刻画二元函数的形状。
【例 1】 求函数 的定义域。
【解】
需要同时满足
即
所以定义域是单位圆盘 中位于直线 下方的部分(不含直线 上的点),是有界区域。
【例 2】 设 ,求 。
【解】
令 、,两式相加、相减得
于是
所以
3. 极限
定义
设二元函数 的定义域为 , 是 的聚点。如果存在常数 ,使得当点 以任何方式无限接近 时,都有 无限接近于 ,则称 为函数 当 时的极限,记作
用 - 语言严格表述:对任意给定的 ,总存在 ,使得当
时,都有 。
与一元函数极限的差别
这里""要求点 沿任何路径趋于 时极限都存在且相同。这是多元极限比一元极限困难的地方:
- 若沿两条不同路径趋于 时得到的极限不同,则可以断定极限不存在
- 即使沿任何直线趋于 得到的极限都相同,也还不能断定极限存在,因为还可能有沿曲线趋近的路径
求极限的常用办法
- 直接用定义或夹逼定理
- 用极坐标 ,若表达式能化成与 无关、且随 而趋于 的形式,则极限为
【例 3】 讨论 是否存在。
【解】
沿直线 趋近原点,有
这个值随 变化。取 得 ,取 得 ,两者不等,故极限不存在。
【例 4】 求 。
【解】
用极坐标:、,则
当 时右边趋于 ,且与 无关,由夹逼定理得
4. 连续性
定义
设二元函数 的定义域为 , 且是 的聚点。如果
则称函数 在点 处连续。否则称 为间断点。
如果 在 内每一点都连续,则称它在 上连续。
有界闭区域上连续函数的性质
与一元函数完全平行:
- 有界性与最值定理:有界闭区域 上的连续函数必有界,且必能取得最大值与最小值
- 介值定理:有界闭区域 上的连续函数必能取得介于两个不同函数值之间的任何值
- 一切多元初等函数在其定义区域内都是连续的。因此求初等函数的极限时,若点属于定义区域,直接把点代进去即可
【例 5】 求 。
【解】
被积函数是初等函数,点 在其定义区域内,直接代入:
2. 偏导数
一个通俗的理解:偏导数就是"只看一个变量的变化率";
求 时,把 当作常数,就像一元函数那样对 求导;
1. 定义与计算
定义
设函数 在点 的某邻域内有定义。固定 ,给 以增量 ,如果极限
存在,则称此极限为函数 在点 处对 的偏导数,记作
类似地可定义对 的偏导数 。
如果函数在区域 内每一点处对 (或 )的偏导数都存在,就说它在 内有对 (或 )的偏导函数,记作
偏导数的计算
求 时把 看成常数,按一元函数的求导法则对 求导;求 时把 看成常数。
由此,一元函数的所有求导公式与法则都可以直接照搬。
偏导数的几何意义
是曲面 与平面 的交线(一条曲线)在点 处的切线对 轴的斜率。同理 是曲面与平面 的交线在该点处的切线对 轴的斜率。
【例 1】 求 的偏导数。
【解】
对 求导时把 看成常数:
对 求导时把 看成常数:
【例 2】 求 ()的偏导数。
【解】
对 求偏导时 是常数,这是幂函数:
对 求偏导时 是常数,这是指数函数:
同一个式子在不同变量下被当成不同的初等函数,这是偏导数里最容易出错的地方。
【例 3】 设 ,求 与 ,并说明 在原点是否连续。
【解】
按定义计算:
同理 。
但由上节例 3 已知 不存在,故 在原点不连续。
这个例子说明:偏导数存在推不出连续,这与一元函数"可导必连续"完全不同。原因是偏导数只考察沿两条坐标轴方向的变化,看不到其他方向的行为。
2. 高阶偏导数
定义
设函数 在区域 内有偏导数 、。如果这两个偏导数仍然可导,则它们的偏导数称为 的二阶偏导数,共有四个:
其中 与 称为混合偏导数。类似地可定义三阶及更高阶偏导数。
混合偏导数相等的条件
如果函数 的两个二阶混合偏导数 与 在区域 内连续,则在 内
即混合偏导数与求导次序无关。
这条结论很有用:实际计算时可以直接按更方便的顺序求导。但如果混合偏导数不连续,两者可能不等。
【例 4】 求 的所有二阶偏导数。
【解】
先求一阶偏导数:
再求二阶:
可见两个混合偏导数相等,与定理一致。
【例 5】 验证 满足拉普拉斯方程
【解】
记 ,则 。
再求一次:
同理
三式相加:
故 满足拉普拉斯方程。
3. 全微分
一个通俗的理解:一元函数的微分是"用切线代替曲线",多元函数的全微分是"用切平面代替曲面";
偏导数只描述沿坐标轴方向的变化,全微分则要求这些线性近似在各个方向上同时成立;
所以"偏导数存在"推不出"可微",要加上偏导数连续(或函数本身可微)才够。
1. 定义
定义
设函数 在点 的某邻域内有定义,如果函数在点 处的全增量
可以表示为
其中 、 不依赖于 、 而仅与 、 有关,,那么称函数 在点 处可微分,而 称为函数 在点 处的全微分,记作 ,即
与偏导数的关系
若 在点 处可微,则它在该点的偏导数必定存在,而且
于是全微分可以写成
和一元函数一样,自变量的微分等于自变量的增量:、,所以全微分常写成
可微的充分条件
如果函数 的偏导数 、 在点 处连续,则函数在该点处可微。
几个关系(务必分清)
- 可微 偏导数存在;反之不成立
- 可微 连续;反之不成立
- 偏导数存在 连续;偏导数存在也不 可微
- 偏导数连续 可微
即"偏导数连续"是最强的一条,其次是"可微",再次才是"偏导数存在"。
推广到更多元
三元函数 的全微分为
元函数依此类推。
【例 1】 求 的全微分。
【解】
故
【例 2】 讨论 在原点处是否可微。
【解】
先求偏导数。由定义
如果可微,全微分只能是 。考察
前面已证这个式子在原点没有极限(沿 得 ,沿 得 ),故它不趋于 ,函数在原点不可微。
这个例子说明:偏导数存在并不能保证可微。
2. 近似计算
由可微的定义
把 代回,得近似公式
也就是:函数在一点附近的值,可以用它在已知点处的值与两个偏增量之和来近似。这正是一元函数 的推广。
【例 3】 计算 的近似值。
【解】
取 ,、,、。由 6.2 例 2
于是
(真值约为 ,误差很小。)
4. 多元复合函数的求导法则
一个通俗的理解:复合函数的求导还是链式法则,只是链子变多了;
一元时是一条链,多元时是一棵树:每一条通向自变量的路径都要走一遍,再把各条路径的贡献加起来。
1. 一元函数与多元函数复合的情形
设 ,而 、 都可导,则 是 的一元函数,且
这里的 通过 、 两条路径依赖于 ,两条路径的结果相加就是全导数。
2. 多元函数与多元函数复合的情形
设 ,而 、,则
求 时把 看成常数,所以 、 对 的导数用偏导数;链条有两条,分别来自 与 。
3. 其他情形
如果中间变量更多,规律是一样的:从 出发,沿每一条通向自变量的路径相乘,再把同一条自变量的各条路径相加。
- 若 ,、、 都是 、 的函数,则
- 若 ,其中 ,则 对 的依赖有两条:直接的一条与通过 的一条
这时左边的 与右边的 含义不同:前者是"把 当常数时 对 的偏导数",后者是"把 也当常数时对 的偏导数",不能混用。
【例 1】 设 ,而 、,求 。
【解】
由全导数公式
代入 、:
【例 2】 设 ,而 、,求 与 。
【解】
两个中间变量各贡献一条路径:
直接代入 求偏导,结果相同。
5. 隐函数的求导公式
一个通俗的理解:隐函数求导不用先把 解出来,只要把 看成 的函数,两边同时对 求导,再解出 ;
它的理论依据是:只要 ,方程 就能在局部确定一个可导的 。
1. 一个方程的情形
由 确定的隐函数
设函数 在点 的某邻域内具有连续的偏导数,且
则方程 在点 的某邻域内能唯一确定一个连续且具有连续导数的函数 ,它满足 ,并且
由 确定的隐函数
设 在点 的某邻域内有连续偏导数,,且 ,则方程能唯一确定 ,且
公式的理解
把 中的 看成 的函数,两边对 求导(用链式法则):
只要 ,解出 即可。所以公式不必死记,现场推一遍更可靠。
2. 由方程组确定的情形
设方程组
在点 的某邻域内能唯一确定 、,条件是雅可比行列式
求导时把 、 看成 、 的函数,对方程组两边分别对 、 求偏导,得到关于 、(或 、)的线性方程组,解出即可。
【例 1】 设 ,求 。
【解】
令 ,则
由公式
也可以用两边同时对 求导的办法得到同一结果。
【例 2】 设 ,求 与 。
【解】
令 ,则
于是
【例 3】 设 、 由方程组
确定,求 。
【解】
两个方程分别对 求偏导(把 看成常数):
由第一式得 ,代入第二式:
整理得
故
6. 几何应用
一个通俗的理解:一元时,导数是曲线的切线斜率;多元时,偏导数拼起来给出曲面的切平面;
向量值函数的导数就是切向量,把它写出来,切线、法平面、切平面、法线的方程都只是套公式;
关键是把"切线方向"和"法线方向"这两个方向向量找对。
1. 一元向量值函数及其导数
向量值函数
设数集 ,则称映射 为一元向量值函数,通常记作
写成分量形式就是 ,或者
当 变化时,点 描出的点集就是空间中的一条曲线, 就是它的向量方程(参数方程)。
导数
设向量值函数 在点 的某邻域内有定义,如果极限
存在,则称 在 处可导,该极限称为 在 处的导数,记作 或 。
向量值函数的求导按分量进行:
其几何意义是曲线在对应点处的切向量(方向指向 增大的方向)。
【例 1】 设螺旋线 (),求它在 处的切向量,并写出该点处的切线方程。
【解】
求导:
在 处
故该点处的切向量为 ,切线方程为
其中 表示该分量恒为 。
2. 空间曲线的切线与法平面
参数方程给出的曲线
设空间曲线由参数方程
给出,且三个函数都可导、导数不同时为零。则曲线在对应于点 处的切向量为
切线方程为
通过点 且与切线垂直的平面称为曲线在该点处的法平面,方程为
也就是:法平面的法向量就是切向量。
由方程组给出的曲线
若曲线由两个曲面方程给出
则曲线在点 处的切向量可以取两个曲面法向量 与 的向量积
得到切向量后,切线方程与法平面方程同上。
【例 2】 求曲线 、、 在点 处的切线与法平面方程。
【解】
对应 ,切向量为
切线方程:
法平面方程:
即
3. 曲面的切平面与法线
隐函数给出的曲面
设曲面由方程 给出, 有连续偏导数且三个偏导数不同时为零。则曲面在点 处的切平面方程为
法线方程为
即:曲面在一点处的法向量就是梯度向量 。
显函数给出的曲面
若曲面为 ,令
则 、、,于是切平面方程为
这正是把全微分的线性近似写成了平面方程:曲面在一点附近可以用它的切平面代替。
【例 3】 求球面 在点 处的切平面与法线方程。
【解】
令 ,则
切平面方程:
化简得
法线方程:
【例 4】 求曲面 在点 处的切平面方程。
【解】
、,在 处 、,于是
即
7. 方向导数与梯度
一个通俗的理解:梯度就是站在山坡上,告诉你"往哪走上升最快,以及上升有多快"的那个箭头。
偏导数只回答"沿 轴、沿 轴走,函数变化多快";方向导数回答"沿任意指定方向走,函数变化多快";梯度把各个方向的信息打包成一个箭头:方向是最快上升方向,长度是最大变化率。
还要注意:梯度算出来是"每个点一个箭头"的规则,不是一个固定向量;先算公式,再代点,才得到那个点上确定的箭头。
1. 方向导数
从一元到多元
一元函数 的导数 是一个数,它表示在 这一点函数变化多快。到了多元函数,例如 ,情况变了:不再只有一个方向,可以往东走、往北走、往东北走……每个方向的变化率可能都不一样。
方向导数就是用来描述"沿某个指定方向 走"的变化率;而把所有方向的信息打包起来的那个向量,就是梯度。
定义
设函数 在点 的某邻域内有定义。从点 引射线 ,其方向由方向角 (与 轴正向的夹角)确定,在射线上取一点 ()。如果极限
存在,则称此极限为函数 在点 处沿方向 的方向导数,记作
计算公式
如果函数 在点 处可微,则它在点 处沿任何方向 的方向导数都存在,且
对三元函数 ,设方向 的方向余弦为 、、,则
2. 梯度
定义
设函数 在平面区域 内具有一阶连续偏导数,对每一点 ,称向量
为函数 在点 处的梯度,记作 或 ,即
对三元函数类似地有
偏导数是"沿坐标轴方向的坡度",梯度就是把这些偏导数组成一个向量。它是多元函数里"导数"的对应物,可以理解为导数向量:一元导数给出一个数,梯度给出一个箭头。
为什么它指向最快上升方向
把 看成一座山在点 处的高度。任取一个单位方向 ,沿它走的变化率就是方向导数,它可以写成梯度的点乘:
其中 是梯度与方向 的夹角(因为 )。于是
- 当 ,即 与 同向时,,变化率最大,等于
- 当 ,即 与 反向时,变化率最小,等于
- 当 时,变化率为零,这个方向与梯度的方向垂直
由此得到梯度的两条本质属性:
- 方向:函数值增长最快的方向
- 长度:这个最快方向上的变化率,也就是最大坡度
梯度 = 最陡上坡方向 + 最大坡度。沿梯度走函数上升最快,沿负梯度走函数下降最快——这正是机器学习里"梯度下降"的来源。
3. 梯度与微分、等高线的关系
与全微分的关系
一元函数有 ;多元函数相应的是
意思是:你走一小步 ,函数变化多少,等于梯度点乘这一步。当 与梯度同向时,函数增加最多;这与上面"梯度是最陡上升方向"是同一件事的两种写法。可见梯度就是多元函数局部线性化的核心。
与等高线垂直
等高线是函数值相同的线:。沿等高线走,函数值不变,也就是 ,即
点积为零说明梯度与这条线的切线方向垂直,所以
这与"沿等值线方向函数不变化"是同一件事,只是换了个说法。
以 为例:等高线是 ,即一圈一圈的同心圆。在点 处
它指向东北方向,即远离原点的方向;而圆的切线在 处是西北—东南方向,两者恰好垂直。
4. 梯度是"向量场",不是"一个向量"
梯度公式与梯度值
定义里已经写明:梯度是对区域内每一个点给出的一个向量。所以当写下
时,得到的不是一个确定的向量,而是一条"向量公式"。这与一元函数的情形完全平行:
- 不是一个数,而是一条规则; 才是一个确定的数
- 不是一个确定的向量; 才是
也就是说,梯度作为区域上的映射 ,是一个向量场:平面上每一点都画一个箭头,箭头指向该点函数增长最快的方向,箭头的长度就是该点的最大变化率。
例子
取 。对 求偏导时把 看成常数,得 ;对 求偏导时把 看成常数,得 (常数 不影响坡度,求导后消失)。于是
这是向量场。代入不同的点,得到不同的箭头:
| 点 | 梯度 | 含义 |
|---|---|---|
| 一阶看是平的 | ||
| 指向正右 | ||
| 指向右上 | ||
| 指向正上 | ||
| 指向左上,但更偏上 |
从公式本身也能读出整体走向: 分量的符号由 决定,所以右半平面箭头偏右、左半平面偏左; 分量 恒为非负,所以箭头在 方向永远朝上(因为 单调递增, 越大函数值越大);在 这条线上箭头水平;原点是梯度为零的点。
要点:先算公式,再代点
- 如果题目问"梯度是多少",那是要公式 ,并说明它是向量场
- 如果题目问"在点 处的梯度是多少",那才代点求值,得到确定向量
它的方向 是该点上升最快的方向,长度 是该点的最大上升率,负方向 则是下降最快的方向。
梯度只是"当前点"的局部信息
上面的表说明了一件事:换一个点,最速上升方向就可能变。站在 处,最陡方向是 ;但沿这个方向走一小步之后,人已经到了新位置,那里的地形变了,梯度也随之改变:
- 走很小的一步,比如走到 ,新梯度约为 ,变化很小,所以"用旧点的梯度近似指路"是合理的
- 走一大步,比如走到 ,新梯度是 ,与原来的 差别已经很大
所以"梯度方向是函数增长最快的方向"这句话只在当前点的无穷小邻域内严格成立(因为它来自 这一线性近似),这是梯度作为"局部信息"的含义。
梯度流与迭代
把"每到一个新点就重新算一次梯度、再沿新梯度方向走一小步"重复下去,就得到迭代公式
其中 是步长:沿 走是梯度上升,沿 走是梯度下降。步长太大可能冲过头而震荡,太小则走得慢,这正是一元情形"用切线指路"在多元情形的推广。
如果把步长取成无穷小,离散的迭代就变成连续的曲线
这条曲线称为梯度流,它处处以梯度的方向为切线方向:方向一直在变,但每一点都朝着当时最陡的方向爬升。
【例 1】 求函数 在点 处沿方向 的方向导数。
【解】
先求偏导数:、,在 处 、,梯度为 。
方向 的单位向量为 ,于是
【例 2】 求 在点 处的梯度,指出其方向与长度,并验证它垂直于过该点的等高线。
【解】
- 方向:,即东北方向,指向远离原点的方向
- 长度:,这是该点的最大上升率
- 负梯度:,往西南方向走,函数下降最快
验证垂直:过 的等高线是 ,把它看成隐函数 ,则该处切线的斜率为
所以切线方向可取 。梯度 与它作点积:
点积为零,说明梯度确实垂直于该点的等高线(也就垂直于切线)。
【例 3】 求 的梯度,并求在点 处的梯度,说明函数在该点沿哪个方向增长最快。
【解】
先求梯度公式:
这是向量场,不是一个固定向量。再代点 :
这个确定的向量就是该点增长最快的方向;最大方向导数为
沿方向 下降最快,变化率约为 。
【例 4】 求函数 在点 处的梯度,并说明函数在该点沿哪个方向增长最快。
【解】
梯度方向 (即方向 )就是增长最快的方向,最大方向导数为
沿方向 下降最快,变化率为 。
把这个结果与例 3 的 比较可以看出:同一个点处,不同函数的梯度不同;同一个函数,不同点处的梯度也不同。
8. 多元函数的极值及其求法
一个通俗的理解:多元极值与一元极值思路相同——先找"平坦的点"(偏导数为零),再判断它是山峰、山谷还是鞍点;
判断要依靠二阶偏导数,相当于把一元时的 换成一张二阶偏导数组成的表;
若自变量还要满足附加条件,就用拉格朗日乘数法把条件"吸收"进方程里。
1. 多元函数的极值及最大值与最小值
定义
设函数 在点 的某邻域内有定义。如果对该邻域内异于 的任何点 都有
则称 在点 处有极大值(或极小值), 称为极大值点(或极小值点)。极大值与极小值统称极值。
极值存在的必要条件
设函数 在点 处具有偏导数,且在 处取得极值,则必有
使两个偏导数同时为零的点称为驻点。所以可导函数的极值点必是驻点,但驻点不一定是极值点(例如 在原点,,但原点既不是极大值点也不是极小值点,这样的点称为鞍点)。
极值的充分条件
设函数 在点 的某邻域内有二阶连续偏导数,且
记
则
- 若 ,则 是极值:当 时为极大值,当 时为极小值
- 若 ,则 不是极值
- 若 ,则需另作讨论
这个判别法可以理解为用二次型 近似增量: 说明它恒正或恒负,故为极值; 说明它可正可负,故不是极值。它的证明放在 6.9 里给出。
求极值与最值的步骤
求极值:
- 解方程组 、,求出所有驻点
- 对每个驻点算出 、、,用上述充分条件判断
- 如果函数有偏导数不存在的点,也要单独考察
求有界闭区域 上的最值:
- 求出 内部的所有驻点,算出函数值
- 求出 在 的边界上的最大值与最小值(通常把边界化为条件极值或用参数表示,化为一元问题)
- 比较第 1、2 步得到的函数值,最大者为最大值,最小者为最小值
【例 1】 求 的极值。
【解】
解方程组
得唯一驻点 。
求二阶偏导数:、、,于是
且 ,故 是极小值点,极小值为
【例 2】 求 的极值。
【解】
解方程组 、,得驻点 。
二阶偏导数:、、,于是
故 不是极值点。实际上 在原点取值为 ,而在第一、三象限为正、第二、四象限为负,原点是鞍点。
2. 条件极值与拉格朗日乘数法
条件极值
在很多问题中,自变量还要满足一定的附加条件。例如求函数 在约束条件 下的极值,这类极值称为条件极值,原来的极值问题称为无条件极值。
拉格朗日乘数法
求 在条件 下的可能极值点,可以构造拉格朗日函数
解方程组
解出的点 就是可能的条件极值点, 称为拉格朗日乘子。
对多个约束或多个自变量的情形,规律相同:几个约束就引入几个乘子,把约束方程也一并写进方程组。
方法的理解
在条件极值点处,目标函数的等值线与约束曲线相切,也就是两者的法向量平行,即
这就是 、 的来源;再加上约束方程本身 ,恰好三个方程解三个未知数。
【例 3】 求 在条件 下的最小值。
【解】
构造 ,解方程组
由前两式得 ,代入第三式得 。故最小值为
几何上,这是原点到直线 的最短距离的平方。
【例 4】 用铁皮做一个体积为 立方米的无盖长方体水箱,问长、宽、高各为多少时用料最省?
【解】
设长、宽、高分别为 、、(单位:米),用料面积就是表面积
约束条件为 。
构造拉格朗日函数
分别对 、、 求偏导并令其为零:
把第一式乘以 、第二式乘以 、第三式乘以 :
由前两式相减得 ,即 ;由第二、三两式相减得 。代入 :
即底面为正方形、高为底面边长一半时用料最省。
9. 二元函数的泰勒公式
一个通俗的理解:一元泰勒公式用多项式模仿曲线,二元泰勒公式用多项式模仿曲面;
一阶时得到的是切平面(线性近似),二阶时多用一项就得到抛物面(二次近似);
它同样由"函数值与各阶偏导数在展开点相等"定出各项系数。
1. 二元函数的泰勒公式
定理
设函数 在点 的某邻域内有直到 阶的连续偏导数,则对该邻域内的任意点 ,存在 ,使
其中余项
记号 表示按二项式展开后再作用到 上,例如
与 的情形
- 时就是二元函数的拉格朗日中值公式
- 时得到一阶近似(切平面近似)
这就是 6.3 中全微分近似公式的另一种写法,可见全微分就是二元泰勒公式的最低阶版本。
麦克劳林公式
取 、 即得二元函数的麦克劳林公式,例如
【例 1】 写出 在原点处的二阶泰勒公式。
【解】
求各阶偏导数并取原点处的值:
于是
2. 极值充分条件的证明
利用带佩亚诺余项的二阶泰勒公式可以证明 6.8 中的极值充分条件。
设 ,即点 是驻点。记 、 是自变量的增量,则全增量
其中 、、,余项 满足
下面用这个余项估计来证明判别法。把二次型记作 ,并把它配方:
第一种情形:
此时 与 同号且都不为零(否则 ),配方后的两项同号,故 是正定()或负定()的二次型。正定或负定的二次型都有一个共同特点:存在常数 ,使
(理由: 是连续函数,在单位圆 上有正的最小值,该最小值就取作 。)
由余项的定义,当 充分小时
于是当 且 充分小时
再看得细一点:因为 的绝对值不小于 ,而余项的绝对值至多为 ,所以 的符号完全由 的符号决定:
- 当 时 ,从而 , 是极小值
- 当 时 ,从而 , 是极大值
第二种情形:
此时二次型 不定,也就是说沿着某些方向 ,沿着另一些方向 。具体地,取两条特殊路径:
- 沿 的路径(即 ),有 ,故
其符号当 充分小时与 相同
- 沿 的路径( 时可行),有 ,故
其符号与 相同,也就是与 相反(因为 )
两条路径上 的符号相反,说明点 的任意邻域内既有使 增大的点,也有使 减小的点,故 不是极值。
当 时不能用上面的配方,但由 可知 ,故 ,此时可对 配方:
再沿 与 两条路径作同样的比较即可。
这就完成了 6.8 中判别法的证明。
10. 最小二乘法
一个通俗的理解:实验得到一批数据点,想在它们之间画一条"最合适"的直线;
最合适的标准是:每个点到直线的偏差的平方和最小;
把平方和看成待定系数的函数,用多元函数求极值的办法解出系数,就是最小二乘法。
1. 最小二乘法的思想
设通过观测或实验得到 对数据
想找一个函数 近似反映 与 之间的依赖关系。若选定 的类型(例如直线 ),就要定出其中的待定系数,使各点处的偏差
整体上尽可能小。
由于偏差有正有负,直接求和可能相互抵消,所以采用"偏差的平方和最小"作为标准,即求
的最小值。这样确定的 称为最小二乘拟合函数。
2. 线性拟合的公式
取 ,则 是 、 的二元函数
由极值的必要条件
得方程组
这个方程组称为正规方程组,解出
这样的 、 就使 取得最小值,所得直线 称为经验回归直线。
【例】 已知三组数据 、、,用最小二乘法求回归直线 。
【解】
先算各和:
代入公式():
故回归直线为
三个点的偏差依次为 、、,偏差平方和为
可以验证,任何其他直线都得不到比 更小的偏差平方和。
7. 重积分
1. 二重积分的概念与性质
一元定积分把区间切碎、求和、取极限,用来算"线"上的量;
二重积分把平面区域切碎、求和、取极限,用来算"面"上的量;
方法完全一样,只是把区间换成了区域、把 换成了面积元素 。
1. 二重积分的概念
引例:曲顶柱体的体积
设有一空间立体,它的底是 面上的有界闭区域 ,它的侧面是以 的边界曲线为准线而母线平行于 轴的柱面,它的顶是曲面 (,且在 上连续)。这样的立体称为曲顶柱体,求它的体积。
与曲边梯形面积的做法完全平行:
- 把区域 任意分成 个小区域 ,用 既表示第 个小区域,也表示它的面积
- 在每个小区域 上任取一点 ,用高为 、底为 的平顶柱体近似代替该小区域上方的曲顶柱体,体积为
- 求和得近似值
- 记 为各小区域直径的最大值。令 取极限,得
定义
设 是有界闭区域 上的有界函数。把 任意分成 个小区域 ,在每个小区域上任取一点 ,作和
如果当各小区域直径的最大值 时,这个和式的极限总存在,且与区域的分法、点的取法都无关,则称此极限为函数 在区域 上的二重积分,记作
其中 称为被积函数, 称为面积元素, 称为积分区域。
在直角坐标系中,常用平行于坐标轴的直线把 分成小矩形,这时 ,面积元素记作 ,于是二重积分也写成
可积的条件
- 若 在有界闭区域 上连续,则 在 上可积
- 若 在 上有界、且在 内除有限个点或有限条光滑曲线外都连续,也可积
以后遇到的被积函数大多在积分区域上连续,所以不必每次都验证可积性。
几何意义
当 时, 就是曲顶柱体的体积;当 时,它等于区域 的面积。
2. 二重积分的性质
设所列二重积分都存在, 为有界闭区域,以下性质都可以由定义直接推出。
- (、 为常数)
- 若 被一条曲线分成 与 两部分,则
- 若在 上 , 的面积为 ,则
- 若在 上 ,则
- 若在 上 ,则
- (估值定理)设 、 分别是 在 上的最大值与最小值, 为 的面积,则
- (积分中值定理)如果 在有界闭区域 上连续, 为 的面积,则在 上至少存在一点 ,使
积分中值定理的意义
可以看成函数在区域 上的平均值,定理说明:连续函数在区域上必能达到自己的平均值。几何上,存在一个以 为底、高为 的平顶柱体,其体积等于原来的曲顶柱体体积。
证明:由估值定理得 ,而 在 上连续,由有界闭区域上连续函数的介值定理知它必取到 与 之间的任何值,故存在 使 等于该平均值。
【例】 利用二重积分的几何意义求 ,其中 是圆域 。
【解】
被积函数 的图形是半径为 的上半球面,积分区域 是它的底面圆盘。由几何意义,积分值就是上半球的体积
2. 二重积分的计算法
一个通俗的理解:二重积分不好直接算,就把它变成两次一元积分;
办法是"先固定一条线、再让这条线扫过整个区域":先算一条线上的积分,再把这条线的结果沿另一个方向累加;
选直角坐标还是极坐标,取决于积分区域是"方的"还是"圆的"。
1. 利用直角坐标计算二重积分
X 型区域
设积分区域 可以表示为
这样的区域称为 X 型区域:用垂直于 轴的直线去截,截得的都是一条线段。此时
右边的写法称为先对 、后对 的累次积分,也常简写成 。
计算顺序是:先把 当常数,对 从 积到 ,得到一个关于 的函数;再对这个函数从 积到 。
Y 型区域
如果区域可以表示为
则称为 Y 型区域,相应地有先对 、后对 的累次积分
一般区域的分解
既不是 X 型也不是 Y 型的区域,可以用辅助线把它分成几块,分别属于这两种类型,再用性质 2 相加。
确定积分限的方法
画图是最可靠的办法:先画出积分区域 ,再判断该用哪一种类型,最后按"外层是常数限、内层是函数限"的原则写限。选哪一种类型,主要看哪种写法简单(有时只有一种可行)。
【例 1】 计算 ,其中 是由直线 、、、 所围成的矩形区域。
【解】
区域是矩形, 与 的限都是常数,先对 后对 :
内层积分:
于是
【例 2】 计算 ,其中 是由抛物线 与直线 所围成的区域。
【解】
先求交点:由 得 或 ,故 是 X 型区域
于是
2. 利用极坐标计算二重积分
极坐标下的面积元素
把直角坐标换成极坐标
则面积元素变成
于是
其中 是区域 在极坐标下的表示。
这个 不能漏:在极坐标里, 越大的地方,同样的 对应的小块面积越大,所以要用 作权。
适合用极坐标的情形
- 积分区域是圆、圆环、扇形、或由圆弧与射线围成的图形
- 被积函数含 、 等与 、 关系简单的式子
两种常见的区域
- 若 表示为 、(即从极点出发的射线与区域的交线是一段),则
- 若区域由两条射线和一个圆周围成(扇形),则 的限是常数, 的限是常数
常见区域的极坐标表示:圆盘 对应 、;圆环 对应 ;上半圆盘 、 对应 。
【例 3】 计算 ,其中 是圆域 。
【解】
被积函数与区域都是圆形的,用极坐标:,,且 ,于是
内层积分:
故
这个积分用直角坐标是算不出来的( 没有初等原函数),可见选对坐标系很关键。
【例 4】 计算 ,其中 是圆环 。
【解】
用极坐标:,,被积函数为 ,于是
3. 二重积分的换元法
公式
设变换
把 平面上的闭区域 一对一地映射成 平面上的闭区域 ,且 、 在 上具有连续偏导数,雅可比行列式
在 上不等于零,则
与极坐标的关系
极坐标变换 、 的雅可比行列式为
所以 ,这正是极坐标下面积元素多出一个 的来历。可见极坐标法是换元法的一个特例。
雅可比行列式的作用可以理解为"面积放大倍数": 平面上的小矩形 被映射成 平面上面积约为 的小块。
【例 5】 计算 ,其中 是由 、、、 围成的区域。
【解】
看被积函数与边界,取变换
它的逆变换为 、,雅可比行列式
故 。
区域 的边界: 与 化为 、; 与 化为 与 ,故 是三角形
于是
内层积分:
故
3. 三重积分
一个通俗的理解:二重积分是"面"上的累加,三重积分是"体"上的累加;
把空间区域切成许多小块,每块乘上被积函数的值再求和、取极限;
计算时同样化为三次一元积分,用直角坐标还是柱面、球面坐标,取决于区域是"方的"还是"柱的、球的"。
1. 三重积分的概念
定义
设 是空间有界闭区域 上的有界函数。把 任意分成 个小区域 ( 既表示第 个小区域,也表示它的体积),在每个小区域上任取一点 ,作和
如果当各小区域直径的最大值 时,这个和式的极限总存在,且与区域的分法、点的取法无关,则称此极限为函数 在区域 上的三重积分,记作
其中 称为体积元素。在直角坐标系中 ,于是三重积分也写成
可积的条件与几何意义
- 若 在有界闭区域 上连续,则它在 上可积
- 当 时, 等于区域 的体积
- 若 表示物体在点 处的密度,则三重积分就是物体的质量
性质与二重积分完全平行:线性性质、对区域的可加性、保序性、估值定理与积分中值定理都成立,只需把"面积"换成"体积"。
2. 三重积分的计算
直角坐标:投影法(先一后二)
设区域 可表示为
其中 是 在 面上的投影。此时先对 积分(“先一”),再在 上作二重积分(“后二”):
也就是把 看成一根根平行于 轴的细柱叠起来的,先沿每根柱子累加,再在底面上累加。
直角坐标:截面法(先二后一)
如果 在 轴上的投影是 ,且用平面 常数去截得到的截面 的面积容易表示,则
当 只与 有关时,这种办法最省事。
柱面坐标
柱面坐标与直角坐标的关系为
其中 、、。体积元素为
于是
圆柱、圆锥、旋转抛物面围成的区域用柱面坐标最方便。
球面坐标
球面坐标与直角坐标的关系为
其中 是点到原点的距离(), 是与 轴正向的夹角(), 是投影到 面后的极角()。体积元素为
于是
球体、球壳、锥面围成的区域用球面坐标最方便。这两个体积元素都可以由三重积分的换元法(用雅可比行列式)推得。
【例 1】 计算 ,其中 是由平面 、 和柱面 围成的区域。
【解】
用柱面坐标:、、,于是
三个积分都是独立的,分别算出:
【例 2】 计算球体 的体积。
【解】
用球面坐标:、、,体积元素为 ,于是
这就是球的体积公式。
4. 重积分的应用
一个通俗的理解:重积分能算的东西,都有一个共同点——可以先分成无数小份,每小份的值乘以"小份的大小",再累加;
曲面的面积、物体的质心、转动惯量、引力,都可以这样处理,"元素法"在三维里照样管用。
1. 曲面的面积
设曲面 由方程 给出, 在区域 上具有连续偏导数。把 分成小格,每格对应曲面上一小块,这一小块在切平面上的投影面积与它在 面上的投影面积 之比为 ,其中 是曲面法向量与 轴的夹角,而
故曲面面积元素为
曲面面积为
2. 质心
设平面薄片占有区域 、面密度为连续函数 ,则它的质量为
静矩(对坐标轴的矩)为
质心坐标(也叫形心,当密度为常数时就是几何形心)为
对空间物体,把二重积分换成三重积分、把 换成 即可,三元情况还要加上 与 。
3. 转动惯量
平面薄片对 轴、 轴和原点的转动惯量分别为
对空间物体 ,相应地有
转动惯量总是"到轴的距离的平方"乘上质量元素再累加,这也正是元素法的体现。
4. 引力
设空间物体 的密度为连续函数 ,在物体外有一点 处有一个质量为 的质点,则由万有引力定律,物体对质点的引力在三个坐标轴上的分量为
其中 , 为引力常数。做法仍是元素法:先求一小块 对质点的引力分量,再积分。
【例 1】 求球面 被圆柱面 ()所截得的那部分面积。
【解】
由上半球面 ,求偏导数:
于是
积分区域 是圆柱面 围成的圆,即 ,用极坐标:、。于是上半部分的面积为
内层积分:
故
由对称性,所求面积是上下两部分之和
【例 2】 求半径为 、圆心在原点、面密度为常数 的圆形薄片的质心。
【解】
区域 是圆盘 ,由对称性,质心必在原点,即 。用积分验证:质量为 ,而
因为被积函数关于 轴是奇函数、区域关于 轴对称,故 。同理 。
【例 3】 求密度为 (常数)、半径为 的均匀球体绕其直径的转动惯量。
【解】
取球心为原点、直径沿 轴,则
用球面坐标:,体积元素 ,于是
三个积分分别为 、、,故
又球体的质量 ,所以
这与力学中均匀球的转动惯量公式一致。
5. 含参变量的积分
一个通俗的理解:如果积分里的被积函数除了积分变量之外,还带一个"可以调的旋钮",那么积分的结果就随这个旋钮变化,成为一个新的函数;
这类积分叫含参变量积分,它的求导、求极限、交换积分次序都有明确的条件;
它最常用的地方是:把一个难算的定积分先加上参数,算完再代值,或者直接用莱布尼茨公式求导。
定义
设二元函数 在矩形区域 上有定义,则
称为含参变量 的积分( 是积分变量, 是参数)。它把每个 对应成一个数,所以是 的函数。
更一般地,如果积分限也依赖于参数,即
就称为含参变量的变限积分。
性质一:连续性
如果 在矩形 上连续,则 在 上连续,也就是极限与积分可以交换:
性质二:可导性与积分号下求导
如果 与 都在矩形上连续,则 可导,且
也就是说:求导可以"钻到"积分号里面去。这个性质是把含参积分当成工具的关键。
性质三:积分次序的交换
如果 在矩形上连续,则
两个累次积分的次序可以互换,结果相同。
性质四:变限积分的求导(莱布尼茨公式)
如果 与其偏导数 都在矩形上连续,且 、 在 上可导、其值域含于 ,则
也就是"对参数求导 + 上限贡献 − 下限贡献"三部分。当积分限是常数时,后两项为零,就退化成性质二。
【例】 计算 ()。
【解】
被积函数在 与 处都是可去奇点,故积分有意义,但直接求原函数很困难。
引入含参变量积分:对参数 ,考虑
把 与它联系起来:由
于是所求积分可以写成
交换积分次序(被积函数在矩形 上连续):
所以
这个例子说明:被积函数里出现 这种"求导才出现"的因子时,往往可以反过来把它看成某个含参积分对参数的积分。
