高等数学--隐函数的求导法则
第五节 隐函数的求导法则
一、一个方程的情形
隐函数存在定理1 设函数F (x , y ) 在点P (x 0, y 0) 的某一邻域内具有连续偏导数,F (x 0, y 0) =0,F y (x 0, y 0) ≠0,则方程F (x , y ) =0在点x 0的某一邻域内恒能唯一确定一个连续且具有连续导数的函数y =f (x ) , 它满足条件y 0=f (x 0) ,并有
F d y
=-x . d x F y
说明:1) 定理证明略,现仅给出求导公式的推导:将y =f (x ) 代入
F (x , y ) =0,得恒等式
F (x , f (x )) ≡0,
等式两边对x 求导得
∂F ∂F d y +=0, ∂x ∂y d x
由于F y ≠0 于是得
F d y
=-x . d x F y
2) 若F (x , y ) 的二阶偏导数也都连续, 则按上述方法还可求隐函数的二阶导数:
F x F x d y d 2y ∂∂
=(-) +(-) ⋅
d x 2∂x F y ∂y F y d x
=-
F x x F y -F y x F x
F y 2
-
F x y F y -F y y F x
F y 2
(-
F x
) F y
=-
F x x F y 2-2F x y F x F y +F y y F x 2
F
3y
.
例1 验证方程sin y +e x -xy -1=0在点(0,0) 的某一邻域内能唯一确定一个
d y d 2y
单值可导的隐函数y =f (x ) ,并求. , 2
d x x =0d x x =0
解 设F (x , y ) =sin y +e x -xy -1, 则 1) F x =e x -y ,F y =cos y -x 连续; 2) F (0,0)=0; 3) F y (0,0)=1≠0.
因此由定理1可知,方程sin y +e x -xy -1=0在点(0,0)的某一邻域内能唯一确定一个单值可导的隐函数y =f (x ) .
F x d y e x -y
=-=-1, =-
d x x =0cos y -x x =0, y =0F y x =0
d 2y d e x -y
=-( )
d x 2x =0d x cos y -x x =0, y =0, y '=-1
(ex -y ')(cosy -x ) -(ex -y )(-sin y ⋅y '-1)
=-
(cosy -x ) 2
x =0y =0y '=-1
=-3.
隐函数存在定理还可以推广到多元函数.一般地一个二元方程F (x , y ) =0可以确定一个一元隐函数,而一个三元方程F (x , y , z ) =0可以确定一个二元隐函数. 隐函数存在定理2 设函数F (x , y , z ) 在点P (x 0, y 0, z 0) 的某一邻域内具有连续的偏导数,且F (x 0, y 0, z 0) =0,F z (x 0, y 0, z 0) ≠0,则方程F (x , y , z ) =0在点(x 0, y 0) 的某一邻域内恒能唯一确定一个连续且具有连续偏导数的函数z =f (x , y ) , 它满足条件z 0=f (x 0, y 0) ,并有
F y F x ∂z ∂z
=-,=-. ∂x F z ∂y F z
说明:定理证明略,现仅给出求导公式的推导:将z =f (x , y ) 代入
F (x , y , z ) =0, 得F (x , y , f (x , y ) ) ≡0,
将上式两端分别对x 和y 求导,得
∂z
F x +F z ⋅∂z =0, F y +F z ⋅=0.
∂y ∂x
因为F z 连续且F z (x 0, y 0, z 0) ≠0,于是得
F y F x ∂z ∂z
=-, =-. ∂x F z ∂y F z
∂2z
例2 设x +y +z -4z =0,求2.
∂x
2
2
2
解 设F (x , y , z ) =x 2+y 2+z 2-4z ,则F x =2x ,F z =2z -4,
F ∂z 2x =x =∂x F 2z -4z
2
x
, 2-z
∂z
=2∂x
(2-x ) +x
∂z x
(2-x ) +x ) 22
==(2-x ) +x . 2
(2-z ) (-2z 2) -(z 23)
二、方程组的情形
在一定条件下, 由方程组
⎧F (x , y , u , v ) =0
⎨
⎩G (x , y , u , v ) =0
可以确定一对二元函数
⎧u =u (x , y )
, ⎨
v =v (x , y ) ⎩
例如方程xu -yv =0和yu +xv =1可以确定两个二元函数u =
v =
x
. 事实上, x 2+y 2
y
,
x +y y x x
xu -yv =0 ⇒v =u ⇒yu +x ⋅u =1⇒u =,
y y x +y
y
v =x ⋅22=2x 2. y x +y x +y
下面讨论如何由组求u ,v 的导数.
隐函数存在定理3 设F (x , y , u , v ) ,G (x , y , u , v ) 点P (x 0, y 0, u 0, v 0) 的某一邻域内具有对各个变量的连续偏导数,又F (x 0, y 0, u 0, v 0) =0,G (x 0, y 0, u 0, v 0) =0,且偏导数所组成的函数行列式(或称雅可比(Jacobi )行列式)
∂F
∂(F , G ) ∂u J ==
∂G ∂(u , v )
∂u
∂F ∂v ∂G ∂v
在点P (x 0, y 0, u 0, v 0) 不等于零,则方程组F (x , y , u , v ) =0,G (x , y , u , v ) =0,在点
P (x 0, y 0, u 0, v 0) 的某一邻域内恒能唯一确定一组连续且具有连续偏导数的函数
⎧u =u (x , y ) ,
⎨
⎩v =v (x , y ) .
它们满足条件u 0=u (x 0, y 0) ,v 0=v (x 0, y 0) ,且有
F x G x ∂u 1∂(F , G )
=-=-
F u ∂x J ∂(x , v )
G u
F y
G y ∂u 1∂(F , G )
=-=-
F u ∂y J ∂(y , v )
G u
F v G v ∂v 1∂(F , G ) ,=-=-F v ∂x J ∂(u , x ) G v
F v G v
F u G u F u G u
F u
F x G x
, F v G v
F y G y F v G v
G u ∂v 1∂(F , G ) =-,=-
F v F u ∂y J ∂(u , y ) G v G u
.
说明:方程组所确定的隐函数的偏导数可分别对方程组中各方程两边求偏导数,然后解关于各偏导数的方程组,其中偏导数∂u ,∂v 由方程组
∂x ∂x
∂u ∂v ⎧
F +F +F =0, u v ⎪⎪x ∂x ∂x
⎨
∂u ∂v ⎪G +G +G v =0x u
⎪∂x ∂x ⎩
确定;偏导数∂u ,∂v 由方程组
∂y ∂y
⎧F +F ∂u +F ∂v =0,
⎪y u ∂y v ∂y
⎨∂u ∂v
⎪G y +G u +G v =0.
∂y ∂y ⎩
确定.
例3 设xu -yv =0,yu +xv =1,求
∂u ∂v ∂v ∂u ,,和. ∂x ∂x ∂y ∂y
∂u ∂v
和的方程组 ∂x ∂x
解 两个方程两边分别对x 求偏导,得关于
∂u ∂v ⎧
u +x -y =0,⎪⎪∂x ∂x
⎨
∂u ∂v ⎪y +v +x =0.⎪∂x ∂x ⎩
当x 2+y 2≠0时,解之得
∂v yu -xv ∂u xu +yv
,. ==-2
∂x x 2+y 2∂x x +y 2
∂u ∂v
和的方程组 ∂y ∂y
两个方程两边分别对y 求偏导,得关于
∂v ⎧∂u
x -v -y =0,⎪∂y ∂y ⎪
⎨
∂u ∂v ⎪u +y +x =0.⎪∂y ∂y ⎩
当x 2+y 2≠0时,解之得
∂u xv -yu ∂v xu +yv
,. =2=-∂y x 2+y 2∂y x +y 2
另解 将两个方程的两边微分得
⎧u d x +x d u -v d y -y d v =0,⎧x d u -y d v =v d y -u d x ,即⎨ ⎨
u d y +y d u +v d x +x d v =0,y d u +x d v =-u d y -v d x .⎩⎩
解之得
d u =-
xu +yv xv -yu yu -xv xu +yv
d x +d y d v =d x -d y . ,22222222
x +y x +y x +y x +y
于是
∂v yu -xv ∂u xu +yv ∂u xv -yu ∂v xu +yv
=,,,. =-2==-∂x x 2+y 2∂y x 2+y 2∂x x +y 2∂y x 2+y 2
例4 设函数x =x (u , v ), y =y (u , v ) 在点(u , v ) 的某一领域内连续且有连续偏导数,又
∂(x , y )
≠0. ∂(u , v )
1) 证明方程组
⎧x =x (u , v )
⎨
⎩y =y (u , v )
在点(x , y , u , v ) (的某一领域内唯一确定一组单值连续且有连续偏导数的反函数
u =u (x , y ) , v =v (x , y ) .
2)求反函数u =u (x , y ) , v =v (x , y ) 对x , y 的偏导数. 解 1)将方程组改写成下面的形式
⎧⎨
F (x , y , u , ≡v
) -x x (u , =v ,)
⎩G (x , y , u , ≡v ) -y y (u , =v ,) 0
则按假设 J =
∂(F , G ) ∂(u , v ) =∂(x , y ∂(u , v ≠)
)
0,
由隐函数存在定理3,即得所要证的结论.
2)将方程组所确定的反函数u =u (x , y ) , v =v (x , y ) 代入原方程组,即得⎧⎨
x ≡x [u (x , y ), v (x , y )],
⎩
y ≡y [u (x , y ), v (x , y )]. 将上述恒等式两边分别对x 求偏导数,得
⎧⎪⎪1=∂x ⎨
∂u ⋅∂u ∂x ∂v ∂x +∂v ⋅∂x
, ⎪⎩
0=∂y ⋅∂u x +∂y ∂v ⋅∂v ⎪∂u ∂∂x . 由于J ≠0,故可解得
∂u ∂x =1∂y ∂v 1∂y J ∂v , ∂x =-J ∂u
. 同理,可得
∂u 1∂x ∂y =-J ∂v , ∂v ∂y =1∂x J ∂u
.