数学分析课件第四版华东师大研制-第17章-多元函数微分学.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《数学分析课件第四版华东师大研制-第17章-多元函数微分学.ppt》由用户(ziliao2023)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数学分析 课件 第四 华东师大 研制 17 多元 函数 微分学
- 资源描述:
-
1、1 可微性与偏导数 本节首先讨论二元函数的可微性,这是多元函数微分学的基本概念.然后给出二元函数对单个自变量的变化率,即偏导数.偏导数无论在理论上或应用上都起着关键作用.一、一、可微性与全微分二、二、偏导数三、三、可微性条件四、四、可微性的几何意义及应用 一、一、可微性与全微分 定义定义 1 设函数设函数0(,)()zf x yU P 在某邻域在某邻域内有定内有定 0()U P00(,)(,),P x yxx yy 义义.对于对于内的点内的点 若若 0P:z 可可表表示示为为f 在点在点的全增量的全增量0000(,)(,)(),zf xx yyf xyA xB yo(1)0P22,xy 其中其
2、中A,B是仅与点是仅与点有关的常数有关的常数,()o 是是0P的高阶无穷小量的高阶无穷小量,则称则称 f 在点在点可微可微.并称并称 (1)式中关于式中关于,xyA xB y 的的线线性性表表达达式式|,|xy dz由由(1),(2)可见可见,当当充分小时充分小时,全微分全微分(,)(0,0)(,)(0,0)limlim0.xyxy 这里这里,zA xByxy (4)000d|d(,).Pzf xyA xBy(2)0fP在在为为的的全微分全微分,记作记作z 可作为全增量可作为全增量的近似值的近似值,于是有于是有:在使用上在使用上,有时也把有时也把(1)式写成如下形式:式写成如下形式:0000(
3、,)(,)()().f x yf xyA xxB yy(3)例例1 考察考察00(,)(,).f x yxyxy 在在任任一一点点的的可可微微性性解解 f在在点点00(,)xy处的全增量为处的全增量为000000(,)()()f xyxxyyx y 00.yxxyxy 由于由于|0(0),xyxy 00().(,),x yofxy 因因此此从从而而在在可可微微 且且00d.fyxxy 二、偏导数 由一元函数微分学知道由一元函数微分学知道:若若 0(),f xx在在可可微微则增量则增量 00()()(),f xxf xA xox 其其中中0().Afx(,)f x y00(,)xy现在来讨论现在
4、来讨论:当二元函数当二元函数在点在点可微可微 时时,(1)式中的常数式中的常数 A,B 应取怎样的值?应取怎样的值?为此为此,在在(4)式中令式中令0(0),yxf 这这时时得得到到关关x于于的的偏偏增增量量为为.xxzzA xxAx 或或0,xA 现现让让由由上上式式便便得得的的一一个个极极限限表表示示式式000000(,)(,)limlim.xxxzf xx yf xyAxx (5)容易看出容易看出,(5)式右边的极限正是关于式右边的极限正是关于 x 的一元函数的一元函数00(,).f x yxx 在在处处的的导导数数类似地类似地,(4)0(0),xy 在在式式中中令令又可得到又可得到00
5、0000(,)(,)limlim,yyyzf xyyf xyByy (6)它是关于它是关于 y 的一元函数的一元函数00(,).f xyyy 在在处处的的导导数数二元函数当固定其中一个自变量时二元函数当固定其中一个自变量时,它对另一个自它对另一个自 变量的导数称为该函数的偏导数变量的导数称为该函数的偏导数,一般定义如下一般定义如下:0.x 的某邻域内有定义的某邻域内有定义 则当极限则当极限 存在时存在时,称此极限为称此极限为00(,)fxy在在点点关于关于x 的的偏导数偏导数,记作记作000000(,)(,)(,),.xxyxyfzfxyxx或或0(,),(,),(,)zf x yx yDf
6、x y设设函函数数且且在在定义定义 2000000(,)(,)limlimxxxzf xx yf xyxx(7)类似地可定义类似地可定义00(,)fxy在在点点关于关于 y 的偏导数的偏导数:000000(,)(,)limlim,yyyzf xyyf xyyy (7)记作记作000000(,)(,)(,),.yxyxyfzfxyyy或或注注1 1,xy这里是专用于偏导数的符号,与一元这里是专用于偏导数的符号,与一元ddx函函数数的的导导数数符符号号相相仿仿,但但又又有有区区别别.注注2 在上述定义中在上述定义中,00(,)fxy在在点点存在对存在对 x(或或 y),f的的偏偏导导数数 此此时时
7、至至少少在在00(,),|x yyyxx 00(,),|.x yxxyy 或上必须有定义或上必须有定义显然,在定义域的内点处总能满足这种要求,而在显然,在定义域的内点处总能满足这种要求,而在 界点处则往往无法考虑偏导数界点处则往往无法考虑偏导数(,)zf x y(,)x y若函数若函数在区域在区域 D 上每一点上每一点 都存在都存在 对对 x (或对或对y)的偏导数的偏导数,则得到则得到(,)zf x y 在在 D 上上 对对 x(或对或对y)的偏导函数的偏导函数(也简称偏导数也简称偏导数),记作记作 (,)(,)(,)(,),xyf x yf x yfx yfx yxy或或或或,.xxyyf
8、ffzfzxy也可简单地写作或或也可简单地写作或或偏导数的几何意义偏导数的几何意义:(,)zf x y 的几何图象通常是的几何图象通常是 三维空间中的曲面三维空间中的曲面,设设0000(,)P xyz为此曲面上一为此曲面上一 000(,).zf xy 00,Pyy 过过点点作作平平面面它它与与点点,其中其中曲面相交得一曲线:曲面相交得一曲线:0:,(,).Cyyzf x y 如图如图17-1 所示,偏导数所示,偏导数00(,)xfxy的几何意义为的几何意义为:在平面在平面0yy 上上,曲线曲线 C 在点在点 P0 处的切线与处的切线与 x 轴轴 00(,)tan.xfxy 正向所成倾角正向所成
9、倾角的正切,即的正切,即xyzO0P 图图17-1 0y(,)zf x y C 可同样讨论偏导数可同样讨论偏导数00(,)yfxy的几何意义的几何意义(请读者自请读者自 行叙述行叙述)由偏导数的定义还知道由偏导数的定义还知道,多元函数多元函数 f 对某一个自变对某一个自变 量求偏导数量求偏导数,是先把别的自变量看作常数是先把别的自变量看作常数,变成一变成一 元函数的求导元函数的求导.因此第五章中有关求导数的一些基因此第五章中有关求导数的一些基 本法则本法则,对多元函数求偏导数仍然适用对多元函数求偏导数仍然适用.例例2 323(,)2(1,3)f x yxx yy求求函函数数在在点点处处关关于于
10、 x 和关于和关于 y 的偏导数的偏导数.解解 先求先求 f 在点在点(1,3)处关于处关于 x 的偏导数的偏导数.为此为此,令令y =3,得到得到32(,3)627,f xxx 求它在求它在 x=1 的的 导数导数,则得则得 211d(,3)(1,3)(312)15.dxxxf xfxxx再求再求 f 在在(1,3)处关于处关于 y 的偏导数的偏导数.为此令为此令 y=3,得得 3(1,)12,fyyy 求它在求它在 y=3 处的导数处的导数,又得又得233d(1,)(1,3)2325.dyyyfyfyy 通常也可先分别求出关于通常也可先分别求出关于 x 和和 y 的偏导函数的偏导函数:22
11、2(,)34,(,)23.xyfx yxxyfx yxy然后以然后以(x,y)=(1,3)代入代入,也能得到同样结果也能得到同样结果.例例3 求函数求函数(0)yzxx 的偏导数的偏导数.解解 把把yzx 依次看成幂函数和指数函数依次看成幂函数和指数函数,分别求得分别求得 1,ln.yyzzy xxxxy 例例4 求三元函数求三元函数2sin(e)zuxy的偏导数的偏导数.解解 把把 y 和和 z 看作常数看作常数,得得 2cos(e);zuxyx 22 cos(e);zuyxyy 2e cos(e).zzuxyz 把把 z,x 看作常数看作常数,得得 把把 x,y 看作常数看作常数,得得 三
12、、可微性条件 000(,),fP xyf在在点点可可微微 则则在在由可微定义易知由可微定义易知:若若 0P 必连续必连续.这表明这表明:“连续是可微的一个必要条件连续是可微的一个必要条件”此外此外,由由(5),(6)两式又可得到可微的另一必要条两式又可得到可微的另一必要条 件件:定理定理17.1 若二元函数若二元函数 f 在其定义域内一点在其定义域内一点(x0,y0)处可微处可微,则则 f 在该点关于每个自变量的偏导数都存在该点关于每个自变量的偏导数都存 在此时在此时,(1)式中的式中的 0000(,),(,).xyAfxyBfxy于是于是,函数函数 00(,)fxy在在点点的全微分的全微分(
13、2)可惟一地表可惟一地表示为示为000000d(,)(,)(,).xyf xyfxyxfxyy 与一元函数一样与一元函数一样,若约定自变量的增量等于自变量若约定自变量的增量等于自变量 的微分,即的微分,即 d,d,xxyy则全微分又可写为则全微分又可写为 000000d(,)(,)d(,)d.xyf xyfxyxfxyy若函数若函数 f 在区域在区域 D 的每一点的每一点(x,y)都可微都可微,则称函则称函 数数 f 在区域在区域 D 上可微,且上可微,且 f 在在 D 上的全微分为上的全微分为 d(,)(,)d(,)d.xyf x yfx yxfx yy(8)定理定理17.1 的应用的应用:
14、对于函数对于函数 22(,),f x yxy 由于由于 (,0)|,(0,)|,f xxfyy 0 x 它们分别在它们分别在0y 与与(0,0)xf与与都不可导,即都不可导,即(0,0),yf都不存在都不存在(,)(0,0).f x y 在在点点不不可可微微故故00(,0)(0,0)00(0,0)limlim0;xxxfxffxx 再看一个例子再看一个例子:在原点的可微性在原点的可微性222222,0,(,)0,0 xyxyxyf x yxy例例5 考察函数考察函数解解 按偏导数的定义先求出按偏导数的定义先求出 同理可得同理可得(0,0,)0.yf 若若 f 在原点可微在原点可微,则则 22(
15、0,0)(0,0)(0,0)(0,0)xyfxyffxfyx yxy 22xy 应是的高阶无穷小量.然而极限应是的高阶无穷小量.然而极限2200dlimlimffx yxy 不存在不存在(第十六章第十六章2 例例3),因此函数因此函数 f 在原点不在原点不 可微可微.以前知道,一元函数可微与存在导数是等价的而以前知道,一元函数可微与存在导数是等价的而 现在这个例子说明现在这个例子说明:偏导数即使存在偏导数即使存在,函数也不一函数也不一 定可微这就是说定可微这就是说,当所有偏导数都存在时当所有偏导数都存在时,还需还需 要添加适当的条件要添加适当的条件,才能保证函数可微请看如下才能保证函数可微请看
16、如下 定理定理:定理定理 17.2 (可微的充分条件可微的充分条件)若函数若函数(,)zf x y在在 000(,)P xy,xyff与与点点的某邻域内存在偏导数的某邻域内存在偏导数 且它且它 0Pf0P在点在点们在点们在点连续连续,则则可微可微.000000000000(,)(,)(,)(,)(,)(,).zf xx yyf xyf xx yyf xyyf xyyf xy 在第一个方括号里的是函数在第一个方括号里的是函数0(,)f x yy 关于关于 x 的增量的增量;在第二个括号里的是函数在第二个括号里的是函数 0(,)f xy关于关于 y 的增量的增量.第二步第二步 对它们分别应用一元函
17、数的拉格朗日中值对它们分别应用一元函数的拉格朗日中值 定理定理,则则12,(0,1),使得使得证证 第一步第一步 把全增量把全增量 写作写作z 010002(,)(,).xyzfxxyyxfxyyy (9)00,(,),xyffxy在点连续在点连续第三步第三步 由于由于 因此有因此有 (,)(0,0),0,0.xy 其其中中当当时时0000(,)(,).xyzfxyxfxyyxy 第四步第四步 将将(10),(11)代入代入(9)式式,得到得到 由可微定义的等价式由可微定义的等价式(4),便知函数便知函数 f 00(,)xy在点在点00200(,)(,),yyfxyyfxy(11)01000(
18、,)(,),xxfxx yyfxy (10)可微可微.定理定理17.的应用的应用 容易验证例容易验证例2 中的函数中的函数 323(,)2f x yxx yy满足定理满足定理 17.2 的条件的条件,故在点故在点(1,3)可微可微(且在且在2R上处处可微上处处可微);3(,)|0,yzxx yxy例例 中中的的函函数数在在 上满足定理上满足定理 17.2 的条件的条件,亦在其定义域上可微;亦在其定义域上可微;例例4 中的函数中的函数23sin(e)Rzuxy在在上上同同样样可可微微.注意注意 偏导数连续并不是可微的必要条件,例如偏导数连续并不是可微的必要条件,例如 222222221()sin
19、,0,(,)0,0.xyxyxyf x yxy 它在原点它在原点(0,0)处可微处可微,但但xyff与与却在该点不连续却在该点不连续(见本节习题见本节习题 7,请自行验证,请自行验证).所以定理所以定理 17.2 是可是可 微的充分性定理微的充分性定理(,)f x y00(,)xy在点在点xyff与与若若的偏导数的偏导数都连续都连续,则则 00(,)fxy称在点称在点连续可微连续可微 在定理在定理 17.2 证明过程中出现的证明过程中出现的(9)式式,实际上是二实际上是二(,),x y导数,若属于该邻域 则存在导数,若属于该邻域 则存在元函数的一个中值公式元函数的一个中值公式,将它重新写成定理
20、如下将它重新写成定理如下:120,1,00000(,)(,)(,)()(,)().xxf x yf xyfyxxfxyy (12)00(,)fxy在在点点的某邻域内存在偏的某邻域内存在偏定理定理 17.3 设函数设函数和和 010()xxx020(),yyy使得使得四、可微性的几何意义及应用 一元函数一元函数()yf x可微,在几何上反映为曲线存在可微,在几何上反映为曲线存在 不平行于不平行于 y 轴的切线轴的切线.对于二元函数而言对于二元函数而言,可微性可微性 则反映为曲面与其切平面之间的类似关系则反映为曲面与其切平面之间的类似关系.为此需为此需 要先给出切平面的定义要先给出切平面的定义,这
21、可以从切线定义中这可以从切线定义中获得获得 启发启发.在第五章在第五章1中中,我们曾把平面曲线我们曾把平面曲线 S 在其上某一在其上某一 00(,)P xy点点的切线的切线 PT 定义为过点定义为过点 P 的割线的割线 PQ 当当 Q 沿沿 S 趋近趋近 P 时的极限位置时的极限位置(如果存在的话如果存在的话).这时这时,PQ 与与 PT 的夹角的夹角 也将随也将随 QP 而趋于零而趋于零(参见参见图图17-2).用用 h 和和 d 分别表示点分别表示点 Q 到直线到直线 PT 的距离的距离 和点和点 Q 到点到点 P 的距离的距离,由于由于 sin,hd0QSP 因因此此当当沿沿趋趋于于时时
22、,等等同同于于0.hd仿照这个想法仿照这个想法,我们引进曲面我们引进曲面 S 在点在点 P 的切平面的的切平面的 定义定义.PTSdh图图 17-2 Q PQhdxyzOS 图图 17-3 定义定义 3 设曲面设曲面 S 上一点上一点 P,为通过点为通过点 P 的一个的一个 平面平面,S 上的动点上的动点 Q 到定点到定点 P 和到平面和到平面的的距离距离 分别记为分别记为 d 和和 h(图图17-3).若当若当 Q 在在 S 上以任上以任意方意方 式趋近于式趋近于 P 时时,恒有恒有 0,hd 则称平面则称平面 为曲为曲面面 S 在点在点 P 的的切平面切平面,称称 P 为为切点切点.定理定
23、理 17.4 曲面曲面0000(,)(,(,)zf x yP xyf xy 在点在点存在不平行于存在不平行于 z 轴的切平面的充要条件是轴的切平面的充要条件是:函数函数 f在点在点000(,)P xy可微可微.证证(充分性充分性)若函数若函数f在在 P0 可微可微,由定义知道由定义知道 0000000(,)()(,)()(),xyzzfxyxxfxyyyo 讨论过点讨论过点0000(,(,)P xyf xy的平面的平面:0000000(,)()(,)(),xyZzfxyXxfxyYy 其中其中 X,Y,Z 是平面上点的流动坐标是平面上点的流动坐标.下面证明它就下面证明它就 是曲面是曲面(,)z
24、f x yP 在在点点的切平面的切平面.(,)Q x y z 由于由于 S 上动点上动点 到到的距离为的距离为 0000000220000|(,)()(,)()|1(,)(,)xyxyzzfxyxxfxyyyhfxyfxy2200000(,),.()()zf xyxxyy 其中其中现在现在220000|()|,1(,)(,)xyofxyfxy 000222()()(),dxxyyzz 00hd 因此由,以及时的因此由,以及时的220000|()|10,1(,)(,)xyhhodfxyfxy P 到到 Q 的距离为的距离为 (,)zf x y 在在点点根据定义根据定义 3 便知便知平面平面 即为
25、曲面即为曲面P 的切平面的切平面(,)zf x yP 在在点点(必要性必要性)若曲面若曲面存在不平行于存在不平行于z 轴的切平面轴的切平面 000()().ZzA XxB Yy第一步第一步 设设 Q(x,y,z)是曲面上任意一点是曲面上任意一点,由由 Q 到这到这 个平面的距离为个平面的距离为 00022|()()|.1zzA xxB yyhAB00022222,.xxxyyyzzzxydxyz,QP 0.hd由切平面的定义知道由切平面的定义知道,当当时时,有有 因因此对于充分接近的此对于充分接近的 P 与与 Q,有有 2222|1,12 1hzA xB yddABAB则得则得 221|.22
展开阅读全文