《多元函数微分学》PPT课件

1第六章多元函数微分学DxyzOMxyP),(yxfz2偏导数与全微分复合函数与隐函数的微分法多元函数的连续性隐函数存在定理第六章多元函数微分学多元函数多元函数的极限方向导数与梯度多元函数的微分中值定理与泰勒公式极值问题3第一节、多元函数1.平面点集n维空间一元函数1R平面点集2Rn维空间nR实数组(x,y)的全体,即},),({2RyxyxRRR建立了坐标系的平面称为坐标面.坐标面坐标平面上具有某种性质P的点的集合,称为平面点集,记作}.),(),({PyxyxE具有性质(1)平面点集二元有序多元函数的基本概念4邻域(Neighborhood)设P0(x0,y0)是xOy平面上的一个点,几何表示：Oxy.P0})()(),({),(20200yyxxyxPU,0邻域的点P多元函数的基本概念令,0).(0PU有时简记为2R称之为①将邻域去掉中心,②也可将以P0为中心的某个矩形内(不算周界)注称之为的全体点称之为点P0邻域.去心邻域.),(0PU5(1)内点显然,E的内点属于E.,EP点,)(EPU使多元函数的基本概念E(2)外点如果存在点P的某个邻域),(PU则称P为E的外点.(3)边界点如点P的任一邻域内既有属于E的点,也有不属于E的点,称P为E的边界点.任意一点2RP2RE与任意一点集之间必有以下三种关系中的一种:设E为一平面点集,,0若存在称P为E的内点.1P)(1P)(2P2P3P)(3PE的边界点的全体称为E的边界,记作.E使U(P)∩E=,6聚点多元函数的基本概念如果对于任意给定的,0点P的去心邻域),(PU内总有E中的点则称P是E的聚点.例如,设点集(P本身可属于E,也可不属于E),},21),({22yxyxE,),(200RyxP点,212020yx若则P为E的内点;12020yx若,22020yx或则P为E的边界点,也是E的聚点.E的边界E为集合}.2),({}1),({2222yxyxyxyx7说明：1.内点一定是聚点；2.边界点可能是聚点；例}10|),{(22yxyx(0,0)既是边界点也是聚点．3.点集E的聚点可以属于E，也可以不属于E．例如,}10|),{(22yxyx(0,0)是聚点但不属于集合．例如,}1|),{(22yxyx边界上的点都是聚点也都属于集合．8平面区域(重要)设D是开集.连通的开集称区域多元函数的基本概念连通的.如对D内任何两点,都可用折线连且该折线上的点都属于D,称开集D是或开区域.如都是区域.},41),({22yxyx}0),({yxyx开集若E的任意一点都是内点,例}41),({221yxyxE称E为开集.E1为开集.0yx0yxOxy结起来,xyo9开区域连同其边界,称为有界区域否则称为多元函数的基本概念都是闭区域.},41),({22yxyx如总可以被包围在一个以原点为中心、适当大的圆内的区域,称此区域为半径(可伸展到无限远处的区域).闭区域.有界区域.无界区域xyo10OxyOxyOxyOxy有界开区域有界半开半闭区域有界闭区域无界闭区域多元函数的基本概念11n元有序数组),,,(21nxxx),,,(21nxxx的全体;nRn维空间中的每一个元素称为空间中kx数称为该点的第k个坐标.n维空间中两点),,,(21nxxxP的距离定义为2222211)()()(nnyxyxyxPQn维空间中点0P记作及),,,(21nyyyQ}.,δ{)δ,)(nRPPPPPUPU000(的邻域为(2)n维空间多元函数的基本概念n维空间.称为即}.,2,1,),,({21iRxxxxin的一个点,RRRRn内点、边界点、区域、聚点等概念也可定义．n维空间中12称为E的内点：如果存在一个正数使得0PEPU)(00P称为E的外点：如果存在一个正数使得EPU)(00P称为E的边界点：如果对任意一个正数使得)(0PU中即有E中点又有非E中点即不是E的内点也不是E的外点0PGGG闭区域：13nR（3）中的集合到的映射mR设D为中的一个集合.那么对D中每一个点),,,(21nxxx多元函数的基本概念nR在中都有一个惟一的点nR),,,(21nyyy与之对应，映射相当于个元函数:mRDf:mn),,(),,(1111nmmnxxfyxxfyFunctionofManyVariables14第二节、多元函数的极限1.二元函数的定义例理想气体的状态方程是VTRp称p为两个变量T,V的函数,其中(1)定义如温度T、体积V都在变化,则压强p依赖多元函数的基本概念(R为常数)RTpV其中p为压强,V为体积,T为温度.于T,V的关系是,0T.0V15按着这个关系有确定的点集D称为该函数),(yxfz))((Pfz或称为该函数的Dyxyxfzz),(),,(则称z是x,y的定义1若变量z与D中的变量x,y之间有一个依赖关系,设D是xOy平面上的点集,使得在D内每取定一个点P(x,y)时,z值与之对应,多元函数的基本概念记为称x,y为的数集二元(点)函数.称z为自变量,因变量,定义域,值域.16二元及二元以上的函数统称为(2)多元函数定义域定义域为符合实际意义的自变量取值的全体.记为函数在点处的函数值),(yxfz),(00yxP),(00yxf多元函数的基本概念).(0Pf或类似,可定义n元函数.多元函数.实际问题中的函数:自变量取值的全体.纯数学问题的函数:定义域为使运算有意义的17例求下面函数的定义域解Oxy无界闭区域xyz.1和00yx00yx多元函数的基本概念即定义域为,0xy181解Oxy12.22222yxyxxz1)1(22yx定义域是122yx且有界半开半闭区域多元函数的基本概念193求的定义域．222)3arcsin(),(yxyxyxf解013222yxyx22242yxyx所求定义域为}.,42|),{(222yxyxyxD20用联立不等式表示下列平面闭区域D.圆弧直线:有下列三种表示法域D解01x10x多元函数的基本概念xOy111)1(122yx0y1yx)2(01y112yxy)3(012yx及01yxD212、二元函数的图形),(yxfz设函数),(yxfz的定义域为D，对于任意取定的DyxP),(，对应的函数值为),(yxfz，这样，以x为横坐标、y为纵坐标、z为竖坐标在空间就确定一点),,(zyxM，当x取遍D上一切点时，得一个空间点集}),(),,(|),,{(Dyxyxfzzyx，这个点集称为二元函数的图形.（如下页图）研究单值函数多元函数的基本概念22二元函数的图形通常是一张曲面.23xyzoxyzsin例如,图形如右图.2222azyx例如,右图球面.}.),{(222ayxyxD222yxaz.222yxaz单值分支:24多元函数的基本概念最后指出,从一元函数到二元函数,在内容和方法上都会出现一些实质性的差别,而多元函数之间差异不大.因此研究多元函数时,将以二元函数为主.253、多元函数的极限讨论二元函数怎样描述呢?Oxy(1)P(x,y)趋向于P0(x0,y0)的),,(yxfz.),(),(000时的极限即yxPyxP回忆:一元函数的极限路径又是多种多样的.注,,00yyxx当多元函数的基本概念方向有任意多个,),(00yx),(yx),(yx),(yx),(yx),(yx),(yx),(00yx),(yx),(yx),(yxOxy26(2)变点P(x,y)这样,可以在一元函数的基础上得出二元函数极限的一般定义.2020)()(yyxx),(),(000yxPyxP0多元函数的基本概念0PP总可以用来表示极限过程:与定点P0(x0,y0)之间的距离记为不论的过程多复杂,),(),(00yxPyxP趋向于27,0,)()(当20200yyxx,0),(yxfzA为则称Ayxfyxyx),(lim),(),(00记作)0(),(Ayxf或多元函数的基本概念)(定义2有成立.的极限.时当),(),(00yxyx设二元函数P0(x0,y0)是D的聚点.的定义),()(yxfPf义域为D,如果存在常数A,AyxfAPf),()(APfPP)(lim0也记作).()(0PPAPf或28,0),(),(且,,当0000yxyxyyxx,0),(yxfzA为则称有成立.的极限.时当),(),(00yxyxP0(x0,y0)是D的聚点.),()(yxfPf定义域为D,如果存在常数A,AyxfAPf),()(定义3设二元函数说明：定义2与定义3等价29说明(1)定义中0PP(2)二元函数的极限也叫),(lim00yxfyyxx多元函数的基本概念(doublelimit)的方式是任意的；二重极限.30则当22)0()0(0yx,001sin)(lim),(lim22220000yxyxyxfyxyx试证例证01sin)(2222yxyx22yx22)0()0(yx2取01sin)(2222yxyx有证毕.多元函数的基本概念)0(22yx22221sinyxyx3132相同点多元函数的极限与一元函数的极限的一元函数在某点的极限存在的充要定义相同.差异为必需是点P在定义域内以任何方式和途径趋而多元函数于P0时,多元函数的基本概念相同点和差异是什么条件是左右极限都存在且相等;都有极限,且相等.)(Pf33确定极限关于二元函数的极限概念可相应地推广到n元函数上去.多元函数的基本概念不存在的方法则可断言极限不存在;),(yxP令若极限值与k有关,(1)(2)此时也可断言找两种不同趋近方式,但两者不相等,),(lim00yxfyyxx使处极限不存在.存在,在点),(yxf),(000yxPkxy),,(000yxP趋向于沿直线34定义设n元函数)(Pf的定义域为点集0,PD是其聚点，如果对于任意给定的正数，总存在正数，使得对于适合不等式||00PP的一切点DP，都有|)(|APf成立，则称A为n元函数)(Pf当0PP时的极限，记为APfPP)(lim0.n元函数的极限利用点函数的形式有35,0,)()(当2210nxxxx,0),(yxfzA为则称Ayxfyxyx),(lim),(),(00记作)0(),(Ayxf或多元函数的基本概念)(定义有成立.的极限.时当),(),(00yxyx设n元函数P0(x1,….,xn)是D的聚点.的定义),,()(nxxfPf1义域为D,如果存在常数A,AyxfAPf),()(APfPP)(lim0也记作).()(0PPAPf或36设函数讨论:当P(x,y)沿x轴的方向当P(x,y)沿y轴的方向)0,(lim0xfx),0(lim0yfy也有0,00,),(222222yxyxyxxyyxf证22000limxxx00lim0x22000limyyy00lim0y多元函数的基本概念函数的极限是否存在？,0,0时当yx无限接近点(0,0)时,同样,无限接近点(0,0)时,例37函数的极限存在且相等.当P(x,y)沿直线y=kx的方向220