第十二章多元函数的微分学 §1偏导数与全微分 偏导数 定义12.1.1设DcR2为开集, 二=f(x,y),(x,y)∈D 是定义在D上的二元函数,(x0,y)∈D为一定点。如果存在极限 lim f(xo+Ax, yo)-/o, yo) x→)0 那么就称函数∫在点(xn,y)关于x可偏导,并称此极限为∫在点 (x0,y)关于x的偏导数,记为 (xy)(或(x),可(x,)
偏导数 定义 12.1.1 设 D 2 R 为开集， z f x y x y = ( , ), ( , ) D 是定义在 D 上的二元函数，( , ) 0 0 x y D 为一定点。如果存在极限 x f x x y f x y x + − → ( , ) ( , ) lim 0 0 0 0 0 ， 那么就称函数 f 在 点 ( , ) 0 0 x y 关 于 x 可偏导，并称此极限为 f 在 点 ( , ) 0 0 x y 关于x的偏导数，记为 ( , ) 0 0 x y x z （或 ( , ) 0 0 f x y x ， ( , ) 0 0 x y x f ）。 第十二章 多元函数的微分学 §1 偏导数与全微分
如果函数∫在D中每一点都关于x可偏导,则D中每一点(x,y)与 其相应的∫关于x的偏导数f(x,y)构成了一种对应关系即二元函数关 系,它称为f关于x的偏导函数(也称为偏导数),记为 或f(x,y) 类似地可定义f在点(xn,y)关于y的偏导数(xn3)(或 f(xn,y),(x0,y))及关于y的偏导函数(或f(x,y),9) 若∫在点(x,υ)关于x和y均可偏导,就简称∫在点(x,y)可偏
如果函数 f 在 D 中每一点都关于 x 可偏导，则 D 中每一点 (x, y) 与 其相应的 f 关于 x 的偏导数 f (x, y) x 构成了一种对应关系即二元函数关 系，它称为 f 关于x的偏导函数（也称为偏导数），记为 x z （或 f (x, y) x ， x f ）。 类 似 地 可 定义 f 在 点 ( , ) 0 0 x y 关 于 y 的偏导数 ( , ) 0 0 x y y z （ 或 ( , ) 0 0 f x y y ， ( , ) 0 0 x y y f ）及关于 y 的偏导函数 y z （或 f (x, y) y ， y f ）。 若 f 在 点 ( , ) 0 0 x y 关 于 x 和 y 均可偏导，就简称 f 在 点 ( , ) 0 0 x y 可 偏 导
现在来看偏导数的几何意义。考虑函数 z=f(x,y)2(x,y)∈D, 它的图像是一张曲面。平面y=y0与这张曲面的交线l(见图12.1.1) 方程为 X=X y=yo f(x,yo) Z z=f(x, y) X 图12.1.1
现在来看偏导数的几何意义。考虑函数 z f x y x y = ( , ), ( , ) D， 它的图像是一张曲面。平面 0 y = y 与这张曲面的交线 l （见图 12.1.1） 方程为 l : = = = ( , ). , , 0 0 z f x y y y x x X Y Z 0 x z f x y = ( , ) T O y0 图12.1.1
利用曲线的切向量的方向余弦表示式,该曲线在点(x0,y)处的切向量 T的方向余弦满足 coS(T, x): coS(T, y): coS(T, 2)=1: 0: f(xo, yo 也就是说,f(x2y)是平面y=y上的曲线l在点(x0,y)处的切线关 于x轴的斜率。这是一元情况的直接推广。 Z z=f(x, y) X 图12.1.1
利用曲线的切向量的方向余弦表示式，该曲线在点 ( , ) 0 0 x y 处的切向量 T 的方向余弦满足 0 0 cos( , ) : cos( , ) : cos( , ) 1: 0: ( , ) x T T T x y z f x y = ， 也就是说， ( , ) 0 0 f x y x 是平面 0 y = y 上的曲线 l 在点( , ) 0 0 x y 处的切线关 于x 轴的斜率。这是一元情况的直接推广。 X Y Z 0 x z f x y = ( , ) T O y0 图12.1.1
从偏导数的定义可以看出,对某个变量求偏导数,只要在求导时 将其他变量看成常数就可以了,这种思想可以推广到一般的n元函数 上去:设x°=(x0,x2,…,x)为开集DcR中一定点。定义n元函数 =f(x12x2,…,xn),(x1,x2…,x)∈D 在x°点关于x,(i=12,…,n)的偏导数为 lim fo +△x1,x+1,…,xn)-f( (如果等式右面的极限存在的话) 如果函数∫在开集(或区域)D上每一点关于每个x,都可偏导 n),则称f在D上可偏导
从偏导数的定义可以看出，对某个变量求偏导数，只要在求导时 将其他变量看成常数就可以了，这种思想可以推广到一般的n元函数 上去：设 ( , , , ) 0 0 2 0 1 0 n x = x x x 为开集 n D R 中一定点。定义n元函数 ( , , , ) 1 2 n u = f x x x ， 1 2 ( , , , ) n x x x D 在 0 x 点关于 i x （i = 1,2, , n）的偏导数为 ( ) 0 x i x f = ( , , , ) 0 0 2 0 1 n i x x x x f = i i i i i n n x x f x x x x x x f x x x i − + + − → ( , , , , , , ) ( , , , ) lim 0 0 2 0 1 0 0 1 0 0 1 0 1 0 （如果等式右面的极限存在的话）。 如果函数 f 在开集（或区域）D 上每一点关于每个 i x 都可偏导 （i = 1,2, , n），则称 f 在 D 上可偏导