资源描述:
《第6章多元函数微分学4-10(方向导数-梯度).ppt》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、中南大学开放式精品示范课堂高等数学建设组高等数学A6.1.6方向导数6.1.7梯度6.1多元函数微分的基本概念第6章多元函数微分学6.1.6方向导数6.1.7梯度6.1.7梯度6.1.6方向导数方向导数梯度小结方向导数定义引入方向导数存在定理方向导数定义方向导数的计算习例定义方向导数与梯度的关系梯度的几何意义梯度的基本运算公式习例6-7一、方向导数函数的导数就是函数的变化率.比如,y=f(x),如图所示xoyx0x0+xx0+xyx<0x>0y=f(x)1.方向导数定义引入6.1.6方向导
2、数6.1.7梯度xoyx0x0+xx0+xyx<0x>0y=f(x)表示在x0处沿x轴正方向的变化率.表示在x0处沿x轴负方向的变化率.又比如,z=f(x,y),偏导数分别表示函数在点(x0,y0)沿x轴方向,沿y轴方向的变化率.如图xoyzx0(x0,y0)y表示在(x0,y0)处沿y轴正方向的变化率.表示在(x0,y0)处沿y轴负方向的变化率.但在许多实际问题中,常需知道f(X)在X0沿任何方向的变化率.比如,设f(X)表示某物体内部点X处的温度.那么,这个物体的热传导就依赖于温度沿
3、各方向下降的速度.因此有必要引进f(X)在X0沿一给定方向的方向导数.把偏导数概念略加推广即可得到方向导数的概念.yxzoz=f(x,y)X0M0即f‘x(x0,y0)表示y=y0与z=f(x,y)的交线在M0处的切线对x的斜率.T11:z=f(x,y0)1y0yxzoz=f(x,y)M0X022:z=f(x0,y)即f'y(x0,y0)表示x=x0与z=f(x,y)的交线在M0处的切线对y的斜率.x0T2如图xoyzM0lX0=(x0,y0)X=(x0+x,y0+y)MN设z=f
4、(X)=f(x,y)在点X0=(x0,y0)的某邻域U(x0)内有定义.以X0为端点引射线l,其单位方向向量为e=(cos,cos),设X=(x0+x,y0+y)是l上另一点.xoyzM0lX0=(x0,y0)X=(x0+x,y0+y)MN2.方向导数定义定义若当X沿l趋于X0时,对应的函数改变量与线段X0X的长
5、
6、X0X
7、
8、的比值X=(x0+x,y0+y)xoyzM0lX0=(x0,y0)MN则称它为z=f(X)=f(x,y)在点X0=(x0,y0)沿l的方向导数.xoyz
9、M0lX0=(x0,y0)MNX=(x0+x,y0+y)沿l沿l1.定义中要求点X只取在l的正向上,且X沿l趋向于X0.的分母大于0.如图另外比值xoyX0=(x0,y0)lX=(x0+x,y0+y)yx注2.若z=f(X)=f(x,y)在X0=(x0,y0)处偏导存在.则在X0处沿x轴正向的方向导数,在X0处沿x轴负方向的方向导数,同样可得沿y轴正向的方向导数为f'y(x0,y0),而沿y轴负方向的方向导数为–f'y(x0,y0).3.定义中的极限表示式可用另一形式给出.由于l的
10、单位方向向量为e=(cos,cos),从而l的参数式方程为x=x0+tcosy=y0+tcost>0或(x,y)=(x0,y0)+t(cos,cos),而XX0就是t0+.即X=X0+te从而这正是教材中给出的定义式.沿l若z=f(X)=f(x,y)在点X0=(x0,y0)可微,则z=f(X)在X0沿任一方向e=(cos,cos)的方向导数存在.e为单位向量.且=Jf(X0)·e.(最后两式为数量积)定理3.方向导数的定理证:如图xoyX0=(x0,y0)eyxlX0=(
11、x0+x,y0+y)在射线l上取点X=(x0+x,y0+y)其中,X=(x,y)因向量X=X–X0=X0X//e,故X=te,(t>0),X=X0+te,
12、
13、X0X
14、
15、=
16、
17、X
18、
19、=t=X0+X由方向导数定义看f(X0+te)–f(X0).沿l因f(X)在X0可微,知z=f(X0+X)–f(X0)=f(x0+x,y0+y)–f(x0,y0)=Jf(X0)·X+0(
20、
21、X
22、
23、)上式对任何x,y都成立.特别,当X=X0+X在射线l上时,当然成立.即,当X0+
24、X=X0+te时,有f(X0+te)–f(X0)=Jf(X0)·(te)+0(
25、
26、te
27、
28、)=t[(Jf(X0)·e]+0(t)除以t>0,并令t0+,有即z=f(X0+X)–f(X0)=Jf(X0)·X+0(
29、
30、X
31、
32、)=Jf(X0)·e特别:•当l与x轴同向•当l与x轴反向即,若u=f(x,y,z)在点X0=(x0,y0,z0)可微,则u在该点处沿任何方向e=(cos,cos,cos)的方向导数存在=Jf(X0)·e且公式可推广到三元函数中去.4