2.3 习题课讲解
2.3.1 大O和小o
例 2.3.1 (
)
证明。
证明
由定义,等价于,,使得,当时,有
设,取、,则有
故不存在满足条件的。
2.3.2 多元函数的可微性
例 2.3.2 (例1)
若在点的某个邻域内有定义,,且
其中为常数。证明:
-
(1)
-
在点处连续;
-
(2)
-
若,则在点处连续,但不可微;
-
(3)
-
若,则在点处可微。
证明
已知条件可化为,亦即
(1) 由上式知,再根据已知,因此在点处连续。
(2) 若,则,不可微。
(3) 若,则,从而在点处可微, 。
注
由上式知,在点处可微当且仅当在点处可微。当时,曲面是圆锥面,它在顶点处没有切平面,所以函数不可微。具体而言,是一次齐次的,即:若在该曲面上,则整个射线都位于该曲面上。因此在原点可微当且仅当它是平面,但这只有是才成立。
例 2.3.3 (例2)
讨论函数在点处的连续性和可微性。
解
(1) ,从而在点连续。
(2) 因为
所以沿直线在时不可微,所以不可微。
注
,所以在原点可微当且仅当在原点可微。是一次齐次函数,但它不是平面,所以在原点处不可微。
例 2.3.4 (例2补,
)
函数
在处是多少阶连续可微的?
解
定义函数(补充定义),根据Taylor公式可得
因此。
由于,故。又因为,故。
例 2.3.5 (例3,
)
下列条件成立时能够推出在点可微,且全微分的是____。
-
(A)
-
偏导数;
-
(B)
-
在点的全增量;
-
(C)
-
在点的全增量;
-
(D)
-
在点的全增量。
解
(A) 例2.3.3中的函数满足,但在处并不可微。
(B) 参见例3.1.2(4)。
(C) 记,则
所以连续,但不可微(理由同例2.3.2)。
(D) ,,从而可微,且。
注
偏导数存在不能推出可微,全微分的充要条件是全增量。
例 2.3.6 (例4,
)
设 ,则在 点____。
-
(A)
-
连续,但偏导数不存在;
-
(B)
-
偏导数存在,但不可微;
-
(C)
-
可微;
-
(D)
-
偏导数存在且连续。
解
(D)蕴涵(C)。由例2.3.3中的方法知不可微,所以(C)假,从而(D)假。
所以存在偏导数,因此(A)假,(B)真。
注
设。注意到,不具有线性,故不可微。而,故在处的偏导数存在,且均为0。
例 2.3.7 (例5)
设,讨论在点处的连续性,偏导数存在性,偏导函数连续性,以及可微性。
解
注意到
所以在处可微,从而连续。,从而。当时,为初等函数,所以偏导数连续。计算可得
其中
而
所以极限不存在,所以的偏导数在处不连续。
例 2.3.8 (例6,
)
设,其中在处连续,求。有如下做法:
。令,。
指出上述方法的错误,并给出正确做法。
解
原做法使用了可微这个原题未提供的条件。正确的做法为:
注
非常遗憾的错误:。
2.3.3 微分与偏导数
例 2.3.9 (例7)
设二元函数在点处可微,求极限。
解
注意到
所以。
例 2.3.10 (例8,
)
设定义在矩形区域上的函数。证明:
-
(1)
-
;
-
(2)
-
。
注
(1) 利用中值定理;(2) 利用定积分。
证明
(1) :显然。:
(2) :是可微函数,所以
:由(1)知,由条件知连续。于是
例 2.3.11 (例9,
)
设,求。
解
计算可得
因此
另解
对两边求微分得到
从而
这样避免了直接求反三角函数的导数。
注
注意函数定义域,考虑!
例 2.3.12 (例10)
设函数,证明:。
证明
记,则,从而
因此
注1
如果求解微分方程,先做因式分解。再做变量替换、,则对有
取、,则,解得
注2
也可以设,则,从而 。再解一阶微分方程
我们用特征线法求解这个一阶偏微分方程。考虑,对求导,得到
于是取、,因此
从而
于是
注3
二阶偏微分方程称为双曲型方程,如果。双曲型方程总可以经适当换元分解为两个一阶线性偏微分方程组成的方程组,对后者可以用特征线法求解。
例 2.3.13 (例11)
设函数,求及。
解
原式可化为,计算可得
例 2.3.14 (例13,
)
设,且。
-
(1)
-
若,求;
-
(2)
-
若,求。
解
(1) 为避免符号引起歧义,我们记表示在点处对的第一个自变量求偏导数,记表示在点处对的第二个自变量求偏导数。于是。对求导得到
所以当时,。再由偏导数连续,得到对任意,。
(2)视固定,对用Newton-Leibniz公式
也可以用不定积分,
但要注意这里是相对于而言的常数,它应该是关于的函数。所以
再把条件代入,得到
得到。所以。
注1
(1) 在时对求导可得,随后利用偏导数的连续性得到。
(2) 为了避免把误当作常数,建议同学们使用Newton-Leibniz公式,尽量避免使用不定积分。
注2
多元微积分中的符号常给同学们造成困惑。二元函数经过函数复合后成为一元函数,是这个一元函数的导数,即,也就是
是二元函数对第一个自变量的偏导数在点处的值,即
二者的含义是不同的,前者是先取值后求导,后者是先求导后取值。
例 2.3.15 (例16)
设函数,求。
解
原式可化为,两边求微分可得
所以
亦即
另解
记,则,由链式法则可得
同理可得。从而
例 2.3.16 (例17)
若函数有二阶导数,,求。
解
计算可得
2.3.4 微分与原函数
例 2.3.17 (例12)
求使。
解
直接凑全微分。
所以函数。
另解
通过路径积分得到。
其中
注
如果存在可微函数使得,则称为的一个原函数。此时,微分方程的通解就是。
例 2.3.18 (例12补,
)
是否有原函数?为什么?你能给出具有原函数的一个必要条件吗?
解
设有原函数,即使得,则
故是具有原函数的一个必要条件。
对于,显然,故没有原函数。
注
判断是否有原函数的问题将在第二型曲线积分时解决。
2.3.5 微分与梯度、方向导数
例 2.3.19 (例14)
求函数在点沿与轴成角方向的方向导数。
解
方向为。
例 2.3.20 (例15,
)
求函数在点沿曲线在该点的内法方向的方向导数。
解
曲线 即 ,梯度 是该曲线在点 处的法向量。
沿梯度方向,的值增大,的值减小,所以梯度方向恰好是曲线内法向,其方向向量为。
函数在点处沿向量的方向导数为
注
判断内法方向:沿梯度方向的值增大,的值减小,所以梯度方向恰好是曲线内法方向,因此
例 2.3.21 (例18)
求可微函数在球坐标系下的梯度。
解
已知,对求导得到
对求导得到
对求导得到
设,,则
所以
其中是方向的单位向量。
另解
利用度规矩阵:
这是一个正交坐标系,因此的梯度可表示为
其中分别是方向的单位向量。
2.3.6 与微分有关的证明题
例 2.3.22 (
)
设,若存在,在的某个邻域存在且在处连续,证明:在处可微。
证明
此处使用1-范数,故命题等价于证明:当时,
注意到
由的存在性,,,使得
根据Lagrange中值定理,位于之间,使得
故
由于在处连续,故,,使得
因此,,使得
得证。
例 2.3.23
设为开集,函数满足:对连续、对的偏导数有界,证明:在上连续。
证明
给定,由于是开集,故存在的邻域。由对的连续性可得,,使得,都有
由的偏导数有界可得()对所有成立。由Lagrange中值定理可得
取,则有
因此
由的任意性可知在上连续。
例 2.3.24 (
)
函数区域(连通的开集)上的梯度恒为,证明:在上是常函数。
证明
任选,。下设。
若为凸集,则从到的连线都在内。令,则可微,由Lagrange中值定理可得使得
亦即
若为一般区域,则为道路连通集,故存在连续映射使得,,显然是紧集。由于上的点都是的内点,故,使得,因此存在开覆盖。由于是紧集,故存在有限子覆盖。
对于开球,其为凸集,在上是常函数。故在上是常函数,即在上是常函数。由于是内的任意一点,因此在上是常函数。