1. 基本概念
1.1 点和点集之间的关系
任意一点 与任意一个点集
之间必有以下三种关系中的一种:
(1) 内点:如果存在点 的某个领域
,使得
,则称
为
的内点。
(2) 外点:如果存在点 的某个领域
,使得
,则称
为
的外点。
(3) 边界点: 如果点 的任一领域内既包含有属于
的点,又含有不属于
的点,则称
为
的边界点。
的边界点的全体,称为
的边界,记作
。
的内点必属于
,
的外点必不属于
,
的边界点可能属于
,也可能不属于
。
聚点:如果对于任意给定的 ,点
的去心领域
内总有
中的点,则称
是
的聚点。
开集:如果点集 的点都是
的内点,则称
为开集。
闭集:如果点集 的边界
,则称
为闭集。
连通集:如果点集 内任何两点,都可以用折线连接起来,且该折线上的点都属于
,则称
为连通集。
区域(或开区域):连通的开集称为区域。
闭区域:开区域连同它的边界一起所构成的点集称为闭区域。
有界集:对于平面点集,如果存在某一正数
,使得
,其中
为坐标原点,则称
为有界集。
无界集:一个集合如果不是有界集,就称这集合为无界集。
1.2 多元函数的极限
设二元函数 的定义域为
是
的聚点,如果存在常数
,对于任意给定的正数
,总存在正数
,使得当点
时,都有
成立,那么就称常数
为函数
当
时的极限,记作
1.2 多元函数的连续性
设二元函数 的定义域为
是
的聚点,且
,如果
则称函数
在点
连续。
设函数 在
上有定义,
内的每一点都是函数定义域的聚点。如果函数
在
的每一点都连续,那么就称函数
在
上连续,或者 函数
是
上的连续函数。
设函数 的定义域为
是
的聚点,如果函数
在点
不连续,则称
为函数
的间断点。
一切多元初等函数(多元初等函数是指可用一个式子表示的多元函数)在其定义区域内是连续的,所谓定义区域是指包含在定义域内的区域或闭区域。
2. 偏导数
2.1 定义
设函数 在点
的某一领域内有定义,当
固定在
而
在
处有增量
时,相应的函数有增量
,如果
存在,则称此极限为函数
在点
处对
的偏导数,记作
类似的,函数 在点
处对
的偏导数定义为
记作
一元函数在某点具有导数,则它在该点必定连续,但对于多元函数来说,即使各偏导数在某点都存在,也不能保证函数在该点连续,因为各偏导数存在只能保证点 沿着平行于坐标轴方向趋于
时,函数值
趋于
,但不能保证点
按任何方式趋于
时,函数 值
都趋于
。
2.2 高阶偏导数
设函数 在区域
内具有偏导数
那么在 内
都是
的函数,如果这两个函数的偏导数也存在,则称它们是函数
的二阶偏导数:
定理 如果函数 的两个二阶混合偏导数
在区域
内连续,那么在该区域内这两个二阶混合偏导数必相等。也就是说,二阶混合偏导数在连续的条件下与求导的次序无关。
3. 全微分
3.1 定义
设函数 在点
的某一领域内有定义,如果函数在点
的全增量
可表示为
其中 不依赖于
而仅与
有关,
,则称函数
在点
可微分,而
称为函数
在点
的全微分,记作
,即
如果函数在区域 内各点处都可微分,那么称这函数在
内可微分。
多元函数在某点的偏导数存在,并不能保证函数在该点连续;但是,如果函数 在点
可微分,那么这函数在该点必连续。
定理 1 如果函数 在点
可微分,则该函数在点
的偏导数
必定存在,且函数
在点
的全微分为
定理 2 如果函数 的偏导数
在点
连续,则函数在该点可微分。
3.2 全微分形式不变性
设函数 具有连续偏导数,则有全微分
如果 又是中间变量,即
、
,且则两个函数也具有连续偏导数,则复合函数
的全微分为
由4.2中的公式可得
4. 多元复合函数的求导
4.1 一元函数与多元函数复合的情形
定理 1 如果函数 及
都在点
可导,函数
在对应点
具有连续偏导数,则复合函数
在点
可导,且有
这里的 称为全导数。
4.2 多元函数与多元函数复合的情形
定理 2 如果函数 及
都在点
具有对
及对
的偏导数,函数
在对应点
具有连续偏导数,则复合函数
在点
的两个偏导数都存在,且有
4.3 其他情形
定理 3 如果函数 在点
具有对
及对
的偏导数,函数
在点
处可导,函数
在对应点
具有连续偏导数,则复合函数
在点
的两个偏导数都存在,且有
4.4 笔记
无论 对谁求导,也不论求了几阶导,求导之后的新函数仍具有与原来函数完全相同的复合结构。
5. 隐函数的求导
5.1 一个方程的情形
隐函数存在定理 1 设函数 在点
的某一领域内具有连续偏导数,且
,则方程
在点
的某一领域内恒能唯一确定一个连续且具有连续导数的函数
,它满足条件
,并有
此公式将 带入方程
然后对等式两边求导即可得出。
隐函数存在定理 2 设函数 在点
的某一领域内具有连续偏导数,且
,则方程
在点
的某一领域内恒能唯一确定一个连续且具有连续导数的函数
,它满足条件
,并有
同理,将 带入方程
然后对等式两边求导即可得出。
5.2 方程组的情形
隐函数存在定理 3 设函数 在点
的某一领域内具有对各个变量的连续偏导数,又
且偏导数所组成的函数行列式
在点 不等于零,则方程组
在点
的某一领域内恒能唯一确定一个连续且具有连续导数的函数
,它们满足条件
,并有
对方程组 两边进行求导,然后解方程组即可得出。
6. 空间曲线的切线与法平面
设空间曲线 的参数方程为
假定三个函数都在 上可导,且三个导数不同时为零。
设与点 对应的参数为
,记
,则向量
就是曲线
在点
处的一个切向量, 所以曲线
在点
处的切线方程为
通过点 且与切线垂直的平面称为曲线
在点
处的法平面,它是通过点
且以
为法向量的平面,因此,法平面的方程为
7. 曲面的切平面与法线
设曲面 由方程
给出,
是曲面
上的一点,并设函数
的偏导数在该点连续且不同时为零。在曲面
上通过点
的一切曲线在点
的切线所构成的平面称为曲面
在点
的切平面,其方程为
通过点 且垂直于切平面
的直线称为曲面在该点的法线,其方程为
垂直于曲面上切平面的向量称为曲面的法向量,向量
就是曲面 在点
处的一个法向量。
8. 方向导数与梯度
偏导数反应的是函数沿坐标轴方向的变化率。
8.1 方向导数
设 是
平面上以点
为始点的一条射线,
是与
同方向的单位向量。射线
的参数方程为
设函数 在
的某个邻域
内有定义,
为
上的另一点,且
。如果函数增量
与
到
的距离
的比值
当 沿着
趋于
(即
) 时的极限存在,则称此极限为函数
在点
沿方向
的方向导数,记作
,即
从方向导数的定义可知,方向导数 就是函数
在点
处沿方向
的变化率。
定理 1 如果函数 在点
可微分,那么函数在该点沿任一方向
的方向导数存在,且有
其中 是方向
的方向余弦。
8.2 梯度
设函数 在平面区域
内具有一阶连续偏导数,则对于每一点
,都可以定出一个向量
这向量称为函数 在点
的梯度,记作
或
,即
其中 称为(二维的)向量微分算子或
算子,
如果函数 在点
可微分,
是与方向
同向的单位向量,则
其中 为
与
之间的夹角。
这一关系式表明了函数在一点的梯度与函数在这一点的方向导数的关系:
(1) 当 ,即方向
与梯度
的方向相同时,函数
增加最快。此时,函数在这个方向的方向导数达到最大值,这个最大值就是梯度
的模,即
这个结果也表明,函数 在一点的梯度
是这样一个向量,它的方向是函数在这一点的方向导数取得最大值的方向,它的模就等于方向导数的最大值。
(2) 当 ,即方向
与梯度
的方向相反时,函数
减小最快,函数在这个方向的方向导数达到最小值,即
(3) 当 ,即方向
与梯度
的方向正交时,函数的变化率为零,即
一般说来,二元函数 在几何上表示一个曲面,这曲面被平面
所截的曲线在
面上的投影称为函数
的等值线。若
不同时为零,则等值线
上任一点
处的一个法向量为
这表明 函数 在一点
的梯度
的方向就是等值线
在这点的法线方向
,而梯度的模
就是沿这个法线方向的方向导数
,于是有
8.3 数量场及向量场
如果对于空间区域 内的任一点
,都有一个确定的数量
,则称在这空间区域
内确定了一个数量场。一个数量场可用一个数量函数
来确定。如果与点
对应的是一个向量
,则称在这个区域
内确定了一个向量场。一个向量场可以用一个向量值函数
来确定,而
其中 是点
的数量函数。
若向量场 是某个数量函数
的梯度,则称
是向量场
的一个势函数。并称向量场
为势场。
9. 多元函数的极值
定理 1(必要条件) 设函数 在点
具有偏导数,且在点
处有极值,则有
凡是能使 同时成立的点
称为函数
的驻点,从定理1可知,具有偏导数的函数的极值点必定是驻点。但函数的驻点不一定是极值点。
定理 2(充分条件) 设函数 在点
的某邻域内连续且有一阶及二阶连续偏导数,又
,令
则 在点
处是否取得极值的条件如下:
(1) 时具有极值,且当
时有极大值,当
时有极小值;
(2) 时没有极值;
(3) 时可能有极值,也可能没有极值,还需要另做讨论。
在求函数的极值时,除了考虑函数的驻点外,如果有偏导数不存在的点,那么对这些点也应当考虑。如果函数
在有界闭区域 上连续,则
在
上必定能取得最大值和最小值。一般地,如果知道函数的最大值(最小值)一定在
的内部取得,而函数在
内只有一个驻点,那么可以肯定该驻点处的函数值就是函数
在
上的最大值(最小值)。
10. 二元函数的泰勒公式
**定理 ** 设函数 在点
的某邻域内连续且有直到
阶的连续偏导数,
为此邻域内任一点,则有
其中记号
一般地,记号
当 时,公式
成为
公式 称为二元函数的拉格朗日中值定理。