高数课件 11.4隐函数微分法
- 格式:ppt
- 大小:699.00 KB
- 文档页数:29
第五节 隐函数微分法教学目的:(1) 了解隐函数存在定理的条件与结论;(2) 会求隐函数的导数和偏导数。
教学重点:方程、方程组确定的二元隐函数的偏导数或全微分计算。
教学难点:方程、方程组确定的二元隐函数的偏导数或全微分计算。
教学方法:讲练结合 教学时数:2课时一、一个方程的情形1.(,)0F x y =定理5.1 (隐函数存在定理1) 设函数(,)F x y 在点00(,)P x y 的某一邻域内满足: ①具有连续的偏导数(,),(,)x y F x y F x y , ②00(,)0F x y =, ③00(,)0y F x y ≠,则方程(,)0F x y =在点00(,)P x y 的某一邻域内恒能唯一确定一个单值且具有连续导数的函数()y f x =,它满足条件00()y f x =,并有yx F Fdx dy -=. (1)说明:1)定理的条件是充分的,如方程330y x -=在原点(0,0)不满足条件③, 但它仍能确定唯一单值连续且可导函数y x =2)若③换成00(,)0x F x y ≠,则确定隐函数(),x x y =在点00(,)x y 可导, 且.y xF dxdy F =- 定理的证明从略,仅对公式(1)作如下推导:设方程(,)0F x y =在点00(,)P x y 的某一邻域内确定一个具有连续导数的隐函数()y f x =,则有恒等式 (,())0,F x f x ≡两边对x 求导,得 0,x ydyF F dx +=由00(,)0y F x y ≠,得yx F F dx dy -=。
隐函数的求导公式例1验证方程0122=-+y x 在点(0,1)的某邻域内能唯一确定一个单值可导且0=x 时1=y 的隐函数()y f x =,并求这函数的一阶和二阶导数在0=x 的值.解:令1),(22-+=y x y x F ,则 ,2x F x =,2y F y =,0)1,0(=F ,02)1,0(≠=y F依定理知方程0122=-+y x 在点)1,0(的某邻域内能唯一确定一个单值可导、且0=x 时1=y 的函数)(x f y =.函数的一阶和二阶导数为y x F F dx dy -= ,yx -= ,00==x dx dy222y y x y dx y d '--=2y y x x y ⎪⎪⎭⎫⎝⎛---=,13y -=.1022-==x dx y d例2 已知x yy x arctan ln22=+,求dxdy .解:令,arctan ln ),(22xy y x y x F -+= 则,),(22y x y x y x F x ++=,),(22yx xy y x F y +-= 所以y x F F dx dy -= .xy y x -+-= 2.(,,)0F x y z =定理5.2(隐函数存在定理2) 设函数(,,)F x y z 在点000(,,)P x y z 的某一邻域内满足: ①具有连续的偏导数, ②000(,,)0F x y z =, ③000(,,)0z F x y z ≠,则方程(,,)0F x y z =在点000(,,)P x y z 的某一邻域内恒能唯一确定一个单值连续且具有连续偏导数的函数(,)z f x y =,它满足条件000(,)z f x y =,并有z x F F x z -=∂∂, zy F F y z-=∂∂. 定理的证明从略,偏导公式与一元隐函数类似,请自己推导.例3 设04222=-++z z y x ,求22xz∂∂.解:令,4),,(222z z y x z y x F -++=则,2x F x = ,42-=z F z,2z x F F x z z x -=-=∂∂ 22xz ∂∂2)2()2(z x z xz -∂∂+-=2)2(2)2(z z xx z --⋅+-= .)2()2(322z x z -+-=例4 设),(xyz z y x f z ++=,求x z ∂∂,y x ∂∂,zy∂∂. 思路:把z 看成y x ,的函数对x 求偏导数得xz∂∂,把z 看成y x ,的函数对x 求偏导数得x z ∂∂,把y 看成z x ,的函数对z 求偏导数得zy ∂∂. 解:令,z y x u ++= ,xyz v = 则),,(v u f z = 把z 看成y x ,的函数对x 求偏导数得x z ∂∂)1(x z f u ∂∂+⋅=),(xzxy yz f v ∂∂+⋅+ 整理得x z∂∂,1vu v u xyf f yzf f --+=把x 看成y z ,的函数对y 求偏导数得 )1(0+∂∂⋅=y x f u ),(yxyz xz f v ∂∂+⋅+ 整理得yx∂∂ ,v u v uyzf f xzf f ++-= 把y 看成z x ,的函数对z 求偏导数得 )1(1+∂∂⋅=z y f u ),(zyxz xy f v ∂∂+⋅+ 整理得zy ∂∂.1v u vu xzf f xyf f +--=二、方程组的情形(,,)01.(,,)0F x y z G x y z =⎧⎨=⎩为了叙述方便,引入雅可比(Jacobi )行列式:(,)(,)xy xy F F F G G G x y ∂=∂,(,,)(,,)xy z x y z x y zF F F FGH G G G x y z H H H ∂=∂定理5.3(隐函数存在定理3) 设(,,)F x y z 、(,,)G x y z 在点000(,,)P x y z 的某一邻域内满足:①具有对各个变量的一阶连续偏导数,②000(,,)0F x y z =,000(,,)0G x y z = ③000(,,)(,)0(,)x y z F G x y ∂≠∂,则方程组 (,,)0(,,)0F x y z G x y z =⎧⎨=⎩在点000(,,)P x y z 的某一邻域内恒能唯一确定一组单值连续且具有连续偏导数的函数()()y y x z z x =⎧⎨=⎩,它们满足条件00()y y x =,00()z z x =,并有(,)(,),(,)(,)x z x zy z yzF F FG G G dy x z F G F F dxy z G G ∂∂=-=-∂∂(,)(,).(,)(,)yx y x y z yzF F FG G G y x dz F G F F dxy z G G ∂∂=-=-∂∂2. (,,,)0(,,,)0F x y u vG x y u v =⎧⎨=⎩ 定理5.4(隐函数存在定理4) 设(,,,)F x y u v 、(,,,)G x y u v 在点0000(,,,)P x y u v 的某一邻域内满足:①具有对各个变量的一阶连续偏导数,②0000(,,,)0F x y u v =,0000(,,,)0G x y u v = ③0000(,,,)(,)0(,)x y u v F G u v ∂≠∂,则方程组(,,,)0(,,,)0F x y u v G x y u v =⎧⎨=⎩在点0000(,,,)P x y u v 的某一邻域内恒能唯一确定一组单值连续且具有连续偏导数的函数(,)(,)u u x y v v x y =⎧⎨=⎩,它们满足条件000(,)u u x y =,v v =000(,)x y ,并有(,)1,(,)F G u x J x v ∂∂=-∂∂ (,)1(,)F G v x J u x ∂∂=-∂∂, (,)1,(,)F G u y J y v ∂∂=-∂∂ (,)1.(,)F G v y J u y ∂∂=-∂∂定理的证明从略,仅推导偏导数公式如下:(同时也提供了一种比较实用的方法)设方程组(,,,)0(,,,)0F x y u v G x y u v =⎧⎨=⎩有隐函数组(,),(,)u u x y v v x y =⎧⎨=⎩则 (,,(,),(,))0(,,(,),(,))0F x y u x y v x y G x y u x y v x y ≡⎧⎨≡⎩两边对x 求偏导得 00xu v x uv u v F F F x x u v G G G x x ∂∂⎧+⋅+⋅=⎪∂∂⎪⎨∂∂⎪+⋅+⋅=⎪∂∂⎩(这是关于u x ∂∂,v x ∂∂的线性方程组)在点P 的某邻域内,系数行列式0,uvu vF F JG G =≠故得(,)1(,)u F G x J x v ∂∂=-∂∂,(,)1(,)v F G x J u x ∂∂=-∂∂ 同理可得(,)1(,)u F G y J y v ∂∂=-∂∂,(,)1(,)v F G y J u y ∂∂=-∂∂ 例5:设22250,23 4.x y z x y z ⎧++=⎨++=⎩,,求 , dy dzdx dx .解1:直接代入公式;解2:方程两边对x 求导:2220,1230.dy dz x y z dx dxdy dz dx dx ⎧++=⎪⎪⎨⎪++=⎪⎩即,23 1.dydz y z x dx dxdy dz dxdx ⎧+=-⎪⎪⎨⎪+=-⎪⎩ 23y zJ =32.y z =-在0≠J 的条件下, 1323x z u y z x--∂=∂3,32z x y z -=- 2123y x v y z x --∂=∂2,32x y y z -=- 例6:设0=-yv xu ,1=+xv yu ,求x u ∂∂,y u ∂∂,x v ∂∂和yv∂∂. 解1:直接代入公式;解2:运用公式推导的方法,将所给方程的两边对x 求导并移项得,⎪⎪⎩⎪⎪⎨⎧-=∂∂+∂∂-=∂∂-∂∂vx v x xu y u x v y x ux x y y x J -= ,22y x +=在0≠J 的条件下,x y y x x v y u x u ----=∂∂,22y x yv xu ++-= xy y x v y ux x v ---=∂∂,22y x xv yu +-= 将所给方程的两边对y 求导,用同样的方法可得,22y x yu xv y u +-=∂∂ .22y x yv xu y v ++-=∂∂ 解3:(用全微分法) 方程组两边求全微分,得00udx xdu vdy ydv udy ydu vdx xdv +--=⎧⎨+++=⎩ 即xdu ydv udx vdyydu xdv vdx udy -=-+⎧⎨+=--⎩解得:22221[()()]1[()()]du xu yv dx xv yu dy x y dv yu xv dx xu yv dy x y ⎧=--+-⎪+⎪⎨⎪=-+--⎪+⎩所以,有22,xu yv u x x y +∂=-∂+ ,22y x yu xv y u +-=∂∂ v x ∂∂,22y x xv yu +-=.22y x yv xu y v++-=∂∂ 内容小结:隐函数的求导法则(分以下几种情况):1.(,)0F x y =;2.(,,)0F x y z =; 3.(,,)0(,,)0F x y z G x y z =⎧⎨=⎩ 4.⎩⎨⎧==00)v ,u ,y ,x (G )v ,u ,y ,x (F . 思考题:已知)zy(z x ϕ=,其中ϕ为可微函数,求?y z yx z x =∂∂+∂∂ 解答:z作业: 练习册P16---P19.。