§2多元复合函数的求导法则 链式规则 设z=f(x,y)(x,y)∈D,是区域D,cR2上的二元函数,而 D→R (u,v)>(x(u,v).y(l,v) 是区域DcR2上的二元二维向量值函数。如果g的值域g(D)cD 那么可以构造复合函数 2=f°g=f[x(,.y(,y)(u,v)∈D 复合函数有如下求偏导数的法则
链式规则 设 z = f (x, y), (x, y) Df 是区域 Df 2 R 上的二元函数，而 : g g D → 2 R , (u,v) (x(u,v), y(u,v)) 是区域 Dg 2 R 上的二元二维向量值函数。如果 g 的值域 g D( ) g Df ， 那么可以构造复合函数 z = f g = f [x(u, v), y(u, v)], (u, v) Dg 。 复合函数有如下求偏导数的法则。 §2 多元复合函数的求导法则
定理12.2.1(链式规则)设g在(u1,v)∈D点可导,即x=x(,1), y=y(uν)在(u”)点可偏导。记xn=x(un,n),y=(n,n),如果∫在 点可微,那么 (l2V0) a+(x0,%) (60,v)+(x2,y)-(,v) az y (l0,v0)+ 证只证明第一式。由于∫在(xny3)点可微,因此 f(xo+Ax, yo +Ay)-f(xo,yo) (x0,y)Ax+(x0,y0)y+a(△x,△y)y△x2+△y 其中a(Ax,4y)满足mna(Ax,4y)=0。定义a(0,0)=0,那么上式当 (Ax,△y)=(00)时也成立
定理 12.2.1（链式规则） 设 g 在(u0 , v0 ) Dg 点可导，即x = x(u, v)， y = y(u,v) 在 ( , ) 0 0 u v 点可偏导。记 ( , ), ( , ) 0 0 0 0 0 0 x = x u v y = u v ，如 果 f 在 ( , ) 0 0 x y 点可微，那么 0 0 0 0 0 0 0 0 0 0 ( , ) ( , ) ( , ) ( , ) ( , ) z z x z y u v x y u v x y u v u x u y u = + ； 0 0 0 0 0 0 0 0 0 0 ( , ) ( , ) ( , ) ( , ) ( , ) z z x z y u v x y u v x y u v v x v y v = + 。 证 只证明第一式。由于 f 在( , ) 0 0 x y 点可微，因此 ( , ) ( , ) ( , ) , ( , ) ( , ) 2 2 0 0 0 0 0 0 0 0 x y y x y x y y f x y x x f f x x y y f x y + + + = + + − 其 中 (x,y) 满 足 lim ( , ) 0 ( , ) 0 = → x y x y 。定义(0,0) = 0 ，那么上式当 (x,y) = (0,0)时也成立
ix Ax=x(uo+Au, vo)-x(uo, vo), Ay=y(uo+Au, vo)-y(uo, vo), 由于x=x(u,0),y=y(u,)在(un,n)点可偏导,所以成立 lim (0,v),im lo Vo), 0△ △→>0 并且有mAx2+4y2=0。于是当AMn趋于0时, a(△x,△y)√△x2+△ △x =a(△x,Ay) △ △L 炒39(1的n(x+△M)yn+M0)(x(a,n)y(an 也 于0,所以 △ lim f(xo+Ax, Jo +Ay)-f(xo, yo) △l x0,y0)+(x,y0)-|+mn a(△x,△y) +△ =Im At→0 yo) ou
设 ( , ) ( , ) 0 0 0 0 x = x u + u v − x u v ， ( , ) ( , ) 0 0 0 0 y = y u + u v − y u v ， 由于x = x(u, v)， y = y(u,v) 在( , ) 0 0 u v 点可偏导，所以成立 lim ( , ), lim ( , ) 0 0 0 0 0 0 u v u y u y u v u x u x u u = = → → ， 并且有 lim 0 2 2 0 + = → x y u 。于是当u 趋于 0 时， 2 2 2 2 ( , ) ( , ) + = + u y u x u u x y u x y x y 也趋于 0，所以 u f x u u v y u u v f x u v y u v u v u z u + + − = → ( ( , ), ( , )) ( ( , ), ( , )) ( , ) lim 0 0 0 0 0 0 0 0 0 0 0 u f x x y y f x y u + + − = → ( , ) ( , ) lim 0 0 0 0 0 u x y x y u y x y y f u x x y x f u u + + + = → → 2 2 0 0 0 0 0 0 ( , ) lim ( , ) ( , ) lim 0 0 0 0 0 0 0 0 ( , ) ( , ) ( , ) ( , ) f x f y x y u v x y u v x u y u = +
注意,定理条件“∫可微”不能减弱为“∫可偏导” 例12.2.1从上节已经知道, 2x z=f(x,y)=x2+y x2+y2≠0, 0 x2+y2=0 在(00)点可偏导,且f(0)=f,(00)=0,但它在(00)点不可微。 现在设x,y分别是自变量t的函数 y=t, 直接代入就知这个复合函数实质上是z=t,因此在t=0点的导数为 d d t 但若贸然套用链式规则,就会导出 dz ∥<0)=n(2)21+f、(txN J2(0.0)·2.0+f,(00)1]=0 的错误结果
注意，定理条件“ f 可微”不能减弱为“ f 可偏导”。 例 12.2.1 从上节已经知道， + = + = = + 0, 0 , 0, 2 ( , ) 2 2 2 2 2 4 3 x y x y x y x y z f x y 在(0,0) 点可偏导，且 f x (0,0) = f y (0,0) = 0 ，但它在(0,0) 点不可微。 现在设 x, y分别是自变量 t 的函数 = = , , 2 y t x t 直接代入就知这个复合函数实质上是 z = t ，因此在t = 0点的导数为 (0) 1 d d = t z 。 但若贸然套用链式规则，就会导出 0 2 2 (0) [ ( , ) 2 ( , ) 1] d d = = + t x y f t t t f t t t z = [ f x (0,0) 2 0 + f y (0,0)1] = 0 的错误结果
下面不加证明地把链式规则推至一般情况 设 f(v1,y2…,ymn),(y1,y )∈D 为区域D,cR"上的m元函数。又设 g R X1.x xn)>(y,y2,…,yn) 为区域D2cR"上的n元m维向量值函数。如果g的值域g(D)cD, 那么可以构造复合函数 z=fog=y(x12x2,…,xn)y2(x1,x2…xn)…,yn(x1,x2…,xn)
下面不加证明地把链式规则推至一般情况。 设 z = f (y1 , y2 , , ym ), (y1 , y2 , , ym ) Df 为区域Df m R 上的m元函数。又设 : g g D → m R ， ( , , , ) ( , , , ) 1 2 n 1 2 m x x x y y y 为区域 Dg n R 上的n元m维向量值函数。如果 g 的值域 g D( ) g Df ， 那么可以构造复合函数 z = f g = [ ( , , , ), ( , , , ), , ( , , , )] 1 1 2 n 2 1 2 n m 1 2 n f y x x x y x x x y x x x , 1 2 ( , , , ) n x x x Dg