多元函数微分法及其应用.doc
多元函数微分及其应用
1 f1 xyf 2 f1 yzf 2 z x 1 f1 xyf 2
三、
多元函数微分学的应用
空间曲线的切线与法平面 曲面的切平面与法线
(1) 几何应用
(2) 方向导数与梯度 (3) 求极值与最值
例1 设 f ( u ) 可微,证明曲面 上任一点处的切平面都通过原点.
P P0
则称 f ( P ) 在点 P0 处连续.
偏导数定义
定义 设函数 z f ( x , y ) 在点( x 0 , y 0 ) 的某一邻 域内有定义，当 y 固定在 y 0 而 x 在 x 0 处有增量 x 时，相应地函数有偏增量 f ( x0 x , y0 ) f ( x0 , y0 ) ， f ( x0 x , y0 ) f ( x 0 , y0 ) 如果 lim 存在，则称 x 0 x 此极限为函数 z f ( x , y ) 在点( x 0 , y 0 ) 处对 x 的 偏导数，记为
2 2
多元函数的全微分的计算方法
(1)微分的计算公式，如
dz z x dx z y dy .
(2)利用微分的形式不变性
不论 u , v 是自变量还是因变量,
dz
du
dv
问题3.如何求复合函数的偏导数？
例 3 设 z arctan( xy ), y e , 求
x
dz dx
设 xy u, 则链式结构如图
xy k kx 2 lim 2 2 lim 2 2 2 x0 x y x0 x k x 1 k2 y 0 y kx
其值随k的不同而变化， 极限不存在．
故函数在(0,0)处不连续．
(2)可偏导性
d f x (0,0) f ( x,0) x0 dx d f y (0,0) f (0, y ) y0 dy
多元函数微分法及其应用
多元函数：设D为一个非空的n 元有序数组的集合，f为某一确定的对应规则。
若对于每一个有序数组( x1,x2,…,xn)∈D，通过对应规则f，都有唯一确定的实数y与之对应，则称对应规则f为定义在D上的n 元函数。
记为y=f(x1,x2,…,xn) 其中( x1,x2,…,xn)∈D。
变量x1,x2,…,xn称为自变量，y称为因变量。
当n=1时，为一元函数，记为y=f(x),x∈D，当n=2时，为二元函数，记为z=f(x,y),(x,y)∈D。
二元及以上的函数统称为多元函数。
微分：微分在数学中的定义：由函数B=f(A)，得到A、B两个数集，在A中当dx靠近自己时，函数在dx处的极限叫作函数在dx处的微分，微分的中心思想是无穷分割。
微分是函数改变量的线性主要部分。
微积分的基本概念之一。
发展历史：萌芽时期早在希腊时期，人类已经开始讨论「无穷」、「极限」以及「无穷分割」等概念。
这些都是微积分的中心思想；虽然这些讨论从现代的观点看有很多漏洞，有时现代人甚至觉得这些讨论的论证和结论都很荒谬，但无可否认，这些讨论是人类发展微积分的第一步。
例如公元前五世纪，希腊的德谟克利特（Democritus）提出原子论：他认为宇宙万物是由极细的原子构成。
在中国，《庄子．天下篇》中所言的「一尺之捶，日取其半，万世不竭」，亦指零是无穷小量。
这些都是最早期人类对无穷、极限等概念的原始的描述。
其他关于无穷、极限的论述，还包括芝诺（Zeno）几个著名的悖论：其中一个悖论说一个人永远都追不上一只乌龟，因为当那人追到乌龟的出发点时，乌龟已经向前爬行了一小段路，当他再追完这一小段，乌龟又已经再向前爬行了一小段路。
芝诺说这样一追一赶的永远重覆下去，任何人都总追不上一只最慢的乌龟－－当然，从现代的观点看，芝诺说的实在荒谬不过；他混淆了「无限」和「无限可分」的概念。
人追乌龟经过的那段路纵然无限可分，其长度却是有限的；所以人仍然可以以有限的时间，走完这一段路。
多元函数微分法及其应用
第九章多元函数微分法及其应用一、基本要求及重点、难点1. 基本要求(1)理解二元函数的概念，了解多元函数的概念。
(2)了解二元函数的极限、连续性概念，有界闭域上连续函数的性质。
(3)理解偏导数和全微分的概念，熟练掌握偏导数的计算，了解全微分存在的必要条件和充分条件。
(4)了解方向导数与梯度的概念及其计算方法。
(5)掌握复合函数一阶偏导数的求法，会求复合函数的二阶偏导数。
(6)会求隐函数（包括由方程组确定的隐函数）的偏导数（主要是一阶）。
(7)了解曲线的切线和法平面及曲面的切平面与法线、并会求出它们的方程。
(8)理解多元函数极值和条件极值的概念，会求二元函数的极值。
了解求条件极值的拉格朗日乘数法，会求解一些较简单的最大值和最小值的应用问题。
2. 重点及难点（1）重点：多元函数概念，偏导数与全微分概念，偏导数计算，微分在几何上的应用，多元函数的极值的计算。
（2）难点：二重极限的定义与计算，多元函数连续；偏导数存在与可微之间的关系；复合函数的高阶偏导数；方向导数、偏导数、梯度之间的关系。
二、内容概述多元函数微分学是一元函数微分学的推广，因此两者之间有许多相似之处，但是要特别注意它们之间的一些本质差别。
1.多元函数的极限和连续(1)基本概念1)点集和区域。
2)多元函数的定义、定义域。
3)二元函数的极限、连续。
(2)基本定理1)多元初等函数在其定义域内是连续的。
2)多元连续函数在有界闭区域上一定有最大值M、最小值m；且必取到最大值M和最小值m之间的任何值。
2.多元函数微分法(1)基本概念偏导数、全微分、高阶偏导数的定义。
(2) 计算方法1) 偏导数：),(y x f z =在),(00y x 处对x 的偏导数x x xz =∂∂，就是一元函数),(0y x f z =在0x x =处的导数；对y 的偏导数x x xz =∂∂（同理）。
2) `全微分：),(y x f z =的全微分dy yzdx x z dz ∂∂+∂∂=3) 复合函数求导法则：画出函数到自变量的路经，然后利用链式迭加法则：即同条路经的偏导数相乘，不同路经的偏导数相加，求出所要的偏导数。
多元函数微分法及其应用
第九章 多元函数微分法及其应用§8 1 多元函数的基本概念一、平面点集n 维空间1．平面点集二元的序实数组x y 的全体 即R 2RR {x y |x y R }就表示坐标平面坐标平面上具有某种性质P 的点的集合 称为平面点集 记作E {x y | x y 具有性质P } 例如 平面上以原点为中心、r 为半径的圆内所有点的集合是C {x y | x 2y 2r 2} 如果我们以点P 表示x y 以|OP |表示点P 到原点O 的距离 那么集合C 可表成C {P | |OP |r }邻域设P 0x 0 y 0是xOy 平面上的一个点 是某一正数 与点P 0x 0 y 0距离小于的点P x y 的全体 称为点P 0的邻域 记为U P 0 即}|| |{),(00δδ<=PP P P U 或} )()( |) ,{(),(20200δδ<-+-=y y x x y x P U 邻域的几何意义 U P 0 表示xOy 平面上以点P 0x 0 y 0为中心、 >0为半径的圆的内部的点P x y 的全体 点P 0的去心邻域 记作) ,(0δP U即}||0 |{) ,(00δδ<<=P P P P U注 如果不需要强调邻域的半径 则用U P 0表示点P 0的某个邻域 点P 0的去心邻域记作)(0P U点与点集之间的关系任意一点P R 2与任意一个点集E R 2之间必有以下三种关系中的一种1内点 如果存在点P 的某一邻域UP 使得UPE 则称P 为E 的内点2外点 如果存在点P 的某个邻域UP 使得UPE 则称P 为E 的外点3边界点 如果点P 的任一邻域内既有属于E 的点 也有不属于E 的点 则称P 点为E 的边点E 的边界点的全体 称为E 的边界 记作EE 的内点必属于E E 的外点必定不属于E 而E 的边界点可能属于E 也可能不属于E 聚点如果对于任意给定的0 点P 的去心邻域),( P U内总有E 中的点 则称P 是E 的聚点由聚点的定义可知 点集E 的聚点P 本身 可以属于E 也可能不属于E例如 设平面点集E {x y |1x 2y 22}满足1x 2y 22的一切点x y 都是E 的内点 满足x 2y 21的一切点x y 都是E 的边界点 它们都不属于E 满足x 2y 22的一切点x y 也是E 的边界点 它们都属于E 点集E 以及它的界边E 上的一切点都是E 的聚点开集 如果点集E 的点都是内点 则称E 为开集闭集 如果点集的余集E c为开集 则称E 为闭集开集的例子 E {x y |1<x 2y 2<2}闭集的例子 E {x y |1x 2y 22}集合{x y |1x 2y 22}既非开集 也非闭集连通性 如果点集E 内任何两点 都可用折线连结起来 且该折线上的点都属于E 则称E 为连通集区域或开区域 连通的开集称为区域或开区域 例如E {x y |1x 2y 22}闭区域 开区域连同它的边界一起所构成的点集称为闭区域 例如E {x y |1x 2y 22}有界集 对于平面点集E 如果存在某一正数r 使得 EUO r其中O 是坐标原点 则称E 为有界点集无界集 一个集合如果不是有界集 就称这集合为无界集例如 集合{x y |1x 2y 22}是有界闭区域 集合{x y | xy 1}是无界开区域集合{x y | xy 1}是无界闭区域 2 n 维空间设n 为取定的一个自然数 我们用R n表示n 元有序数组x 1 x 2 x n 的全体所构成的集合 即R nRRR {x 1 x 2 x n | x i R i 1 2 n } R n中的元素x 1 x 2 x n 有时也用单个字母x 来表示 即x x 1 x 2 x n 当所有的x i i 1 2 n 都为零时 称这样的元素为R n 中的零元 记为0或O 在解析几何中 通过直角坐标 R 2或R 3中的元素分别与平面或空间中的点或向量建立一一对应 因而R n中的元素x x 1 x 2 x n 也称为R n 中的一个点或一个n 维向量 x i称为点x 的第i 个坐标或n 维向量x 的第i 个分量 特别地 Rn中的零元0称为R n中的坐标原点或n 维零向量为了在集合R n 中的元素之间建立联系 在R n中定义线性运算如下 设x x 1 x 2 x n y y 1 y 2 y n 为R n 中任意两个元素 R 规定xy x 1 y 1 x 2 y 2 x n y n x x 1 x 2 x n这样定义了线性运算的集合R n称为n 维空间R n中点x x 1 x 2 x n 和点 y y 1 y 2 y n 间的距离 记作x y 规定2222211)( )()(),(n n y x y x y x -+⋅⋅⋅+-+-=y x ρ显然 n 1 2 3时 上术规定与数轴上、直角坐标系下平面及空间中两点间的距离一至R n中元素x x 1 x 2 x n 与零元0之间的距离x 0记作||x ||在R 1、R 2、R 3中 通常将||x ||记作|x | 即22221 ||||n x x x ⋅⋅⋅++=x采用这一记号 结合向量的线性运算 便得),()( )()(||||2222211y x y x ρ=-+⋅⋅⋅+-+-=-n n y x y x y x 在n 维空间R n 中定义了距离以后 就可以定义R n中变元的极限设x x 1 x 2 x n a a 1 a 2 a n R n如果||xa ||0则称变元x 在R n中趋于固定元a 记作xa 显然xa x 1a 1 x 2a 2 x n a n在R n中线性运算和距离的引入 使得前面讨论过的有关平面点集的一系列概念 可以方便地引入到nn 3维空间中来 例如设a a 1 a 2 a n R n是某一正数 则n 维空间内的点集U a {x | x R nx a }就定义为R n中点a 的邻域 以邻域为基础 可以定义点集的内点、外点、边界点和聚点 以及开集、闭集、区域等一系列概念二 多元函数概念例１ 圆柱体的体积V 和它的底半径r 、高h 之间具有关系V r 2h这里 当r 、h 在集合{r h | r >0 h >0}内取定一对值r h 时 V 对应的值就随之确定例2 一定量的理想气体的压强p 、体积V 和绝对温度T 之间具有关系V RTp =其中R 为常数 这里 当V 、T 在集合{V T | V >0 T >0}内取定一对值V T 时 p 的对应值就随之确定 例3 设R 是电阻R 1、R 2并联后的总电阻 由电学知道 它们之间具有关系2121R R R R R +=这里 当R 1、R 2在集合{ R 1 R 2 | R 1>0 R 2>0}内取定一对值 R 1 R 2时 R 的对应值就随之确定定义1 设D 是R 2的一个非空子集 称映射f D R 为定义在D上的二元函数通常记为zfx y x yD或zfP PD其中点集D称为该函数的定义域x y称为自变量z称为因变量上述定义中与自变量x、y的一对值x y相对应的因变量z的值也称为f在点x y处的函数值记作fx y即zfx y 值域fD{z| zfx y x yD}函数的其它符号zzx y zgx y等类似地可定义三元函数ufx y z x y zD以及三元以上的函数一般地把定义1中的平面点集D换成n维空间R n内的点集D映射f D R就称为定义在D上的n元函数通常记为ufx1x2x n x1x2x n D或简记为uf x x x1x2x n D也可记为ufP Px1x2x n D函数定义域的约定在一般地讨论用算式表达的多元函数uf x时就以使这个算式有意义的变元x的值所组成的点集为这个多元函数的自然定义域因而对这类函数它的定义域不再特别标出例如函数z ln xy的定义域为{x y|xy>0}无界开区域函数z arcsin x2y2的定义域为{x y|x2y21}有界闭区域二元函数的图形点集{x y z|zfx y x yD}称为二元函数zfx y的图形二元函数的图形是一张曲面例如zaxbyc是一张平面而函数z=x2+y2的图形是旋转抛物面三多元函数的极限与一元函数的极限概念类似如果在Px yP0x0y0的过程中对应的函数值fx y无限接近于一个确定的常数A则称A 是函数fx y当x yx0y0时的极限定义2设二元函数fPfx y 的定义域为D P 0x 0 y 0是D 的聚点 如果存在常数A 对于任意给定的正数总存在正数 使得当),(),(0δP U D y x P⋂∈时 都有|fPA ||fx yA |成立 则称常数A 为函数fx y 当x yx 0 y 0时的极限 记为 Ay x f y x y x =→),(lim ),(),(0或fx yA x yx 0 y 0也记作AP f P P =→)(lim 0或fPAPP 0上述定义的极限也称为二重极限例4. 设22221sin)(),(y x y x y x f ++= 求证0),(lim )0,0(),(=→y x f y x证 因为2222222222 |1sin ||| |01sin)(||0),(|y x y x y x y x y x y x f +≤+⋅+=-++=-可见 >0 取εδ=则当δ<-+-<22)0()0(0y x即),(),(δO U D y x P⋂∈时 总有|fx y 0|因此0),(lim )0,0(),(=→y x f y x 必须注意1二重极限存在 是指P 以任何方式趋于P 0时 函数都无限接近于A2如果当P 以两种不同方式趋于P 0时 函数趋于不同的值 则函数的极限不存在 讨论函数⎪⎩⎪⎨⎧=+≠++=0 00 ),(222222y x y x y x xy y x f 在点0 0有无极限 提示 当点Px y 沿x 轴趋于点0 0时0lim )0 ,(lim ),(lim00)0,0(),(===→→→x x y x x f y x f 当点Px y 沿y 轴趋于点0 0时0lim ) ,0(lim ),(lim 0)0,0(),(===→→→y y y x y f y x f当点P x y 沿直线ykx 有22222022 )0,0(),(1lim lim kk x k x kx y x xy x kx y y x +=+=+→=→ 因此 函数fx y 在0 0处无极限极限概念的推广 多元函数的极限多元函数的极限运算法则 与一元函数的情况类似 例5 求x xy y x )sin(lim)2,0(),(→解 y xy xy xxy y x y x ⋅=→→)sin(lim )sin(lim)2,0(),()2,0(),(y xy xy y x y x )2,0(),()2,0(),(lim )sin(lim→→⋅=122 四 多元函数的连续性定义3 设二元函数fPf x y 的定义域为D P 0x 0 y 0为D的聚点 且P 0D 如果),(),(lim00),(),(00y x f y x f y x y x =→ 则称函数f x y 在点P 0x 0 y 0连续如果函数f x y 在D 的每一点都连续 那么就称函数f x y 在D 上连续 或者称f x y 是D 上的连续函数二元函数的连续性概念可相应地推广到n 元函数fP 上去例6设fx ,y sin x 证明fx y 是R 2上的连续函数证 设P 0x 0 y 0 R 20 由于sin x 在x 0处连续 故0 当|xx 0|时 有|sin x sin x 0|以上述作P 0的邻域UP 0 则当Px yUP 0 时 显然 |fx yfx 0 y 0||sin x sin x 0|即fx y sin x 在点P 0x 0 y 0 连续 由P 0的任意性知 sin x 作为x y 的二元函数在R 2上连续证 对于任意的P 0x 0 y 0R 2因为),(sin sin lim),(lim 000),(),(),(),(0000y x f x x y x f y x y x y x y x ===→→ 所以函数fx ,y sin x 在点P 0x 0 y 0连续 由P 0的任意性知 sin x作为x y 的二元函数在R 2上连续类似的讨论可知 一元基本初等函数看成二元函数或二元以上的多元函数时 它们在各自的定义域内都是连续的 定义4设函数fx y 的定义域为D P 0x 0 y 0是D 的聚点 如果函数fx y 在点P 0x 0 y 0不连续 则称P 0x 0 y 0为函数fx y 的间断点 例如 函数⎪⎩⎪⎨⎧=+≠++=0 00 ),(222222y x y x y x xy y x f其定义域D R 2O 0 0是D 的聚点 fx y 当x y 0 0时的极限不存在 所以点O 0 0是该函数的一个间断点又如 函数11sin22-+=y x z 其定义域为D {x y |x 2y 21} 圆周C {x y |x 2y 21}上的点都是D 的聚点 而fx y 在C 上没有定义 当然fx y 在C 上各点都不连续 所以圆周C 上各点都是该函数的间断点注 间断点可能是孤立点也可能是曲线上的点可以证明 多元连续函数的和、差、积仍为连续函数 连续函数的商在分母不为零处仍连续 多元连续函数的复合函数也是连续函数多元初等函数 与一元初等函数类似 多元初等函数是指可用一个式子所表示的多元函数 这个式子是由常数及具有不同自变量的一元基本初等函数经过有限次的四则运算和复合运算而得到的例如2221y y x x +-+ sin xy 222z y xe ++都是多元初等函数一切多元初等函数在其定义区域内是连续的 所谓定义区域是指包含在定义域内的区域或闭区域由多元连续函数的连续性 如果要求多元连续函数fP 在点P 0处的极限 而该点又在此函数的定义区域内 则 )()(lim 00P f P f p p =→例7 求xy y x y x +→)2,1(),(lim解 函数xy yx y x f +=),(是初等函数 它的定义域为D {x y |x 0 y 0}P 01 2为D 的内点 故存在P 0的某一邻域UP 0D 而任何邻域都是区域 所以UP 0是fx y 的一个定义区域 因此23)2,1(),(lim)2,1(),(==→f y x f y x 一般地 求)(lim 0P f P P →时 如果fP 是初等函数 且P 0是fP 的定义域的内点 则fP 在点P 0处连续 于是)()(lim 00P f P f P P =→例8 求xy xy y x 11lim)0 ,0(),(-+→解)11()11)(11(lim11lim)0 ,0(),()0 ,0(),(++++-+=-+→→xy xy xy xy xy xy y x y x 21111lim )0 ,0(),(=++=→xy y x多元连续函数的性质性质1 有界性与最大值最小值定理在有界闭区域D 上的多元连续函数 必定在D 上有界 且能取得它的最大值和最小值性质1就是说 若fP 在有界闭区域D 上连续 则必定存在常数M 0 使得对一切PD 有|fP |M 且存在P 1、P 2D 使得 fP 1max{fP |PD } fP 2min{fP |PD }性质2 介值定理 在有界闭区域D 上的多元连续函数必取得介于最大值和最小值之间的任何值§8 2 偏导数一、偏导数的定义及其计算法对于二元函数zfx y 如果只有自变量x 变化 而自变量y 固定 这时它就是x 的一元函数 这函数对x 的导数 就称为二元函数zfx y 对于x 的偏导数定义 设函数zfx y 在点x 0 y 0的某一邻域内有定义 当y 固定在y 0而x 在x 0处有增量x 时 相应地函数有增量fx 0x y 0fx 0 y 0如果极限x y x f y x x f x ∆-∆+→∆),(),(lim00000存在 则称此极限为函数zfx y 在点x 0 y 0处对x 的偏导数 记作0y y x x x z==∂∂ 00y y x x x f ==∂∂0y y x x xz == 或),(00y x f x例如x y x f y x x f y x f x x ∆-∆+=→∆),(),(lim),(0000000类似地 函数zfx y 在点x 0 y 0处对y 的偏导数定义为y y x f y y x f y ∆-∆+→∆),(),(lim00000记作y y x x y z==∂∂y y x x y f==∂∂y y x x yz == 或f y x 0 y 0偏导函数 如果函数zfx y 在区域D 内每一点x y 处对x 的偏导数都存在 那么这个偏导数就是x 、y 的函数 它就称为函数zfx y 对自变量x 的偏导函数 记作x z ∂∂ xf ∂∂ x z 或),(y x f x偏导函数的定义式x y x f y x x f y x f x x ∆-∆+=→∆),(),(lim),(0类似地 可定义函数zfx y 对y 的偏导函数 记为y z ∂∂ yf∂∂ z y 或),(y x f y偏导函数的定义式y y x f y y x f y x f y y ∆-∆+=→∆),(),(lim),(0求xf∂∂时 只要把y 暂时看作常量而对x求导数 求yf∂∂时只要把x 暂时看作常量而对y 求导数讨论 下列求偏导数的方法是否正确),(),(00y y x x x x y x f y x f ===),(),(00y y x x y y y x f y x f ===0]),([),(000x x x y x f dx d y x f == 0]),([),(000y y y y x f dy dy x f ==偏导数的概念还可推广到二元以上的函数例如三元函数ufx y z 在点x y z 处对x 的偏导数定义为x z y x f z y x x f z y x f x x ∆-∆+=→∆),,(),,(lim),,(0其中x y z 是函数ufx y z 的定义域的内点 它们的求法也仍旧是一元函数的微分法问题例1 求zx 23xyy 2在点1 2处的偏导数解 y x x z 32+=∂∂ yx y z 23+=∂∂ 8231221=⋅+⋅=∂∂==y x xz7221321=⋅+⋅=∂∂==y x yz例2 求zx 2sin 2y 的偏导数解 y x x z 2sin 2=∂∂ yx y z 2cos 22=∂∂例3 设)1,0(≠>=x x xz y求证zy z x x z y x 2ln 1=∂∂+∂∂证 1-=∂∂y yx x z xx y z y ln =∂∂zx x x x x yx y x y z x x z y x y y y y 2ln ln 1ln 11=+=+=∂∂+∂∂-例4 求222z y x r ++=的偏导数解 r x z y x x x r =++=∂∂222 r y z y x y y r =++=∂∂222例5 已知理想气体的状态方程为pV =RTR 为常数求证 1-=∂∂⋅∂∂⋅∂∂p T T V V p证 因为V RTp = 2V RT V p-=∂∂p RT V = p RT V =∂∂RpV T =R Vp T =∂∂所以12-=-=⋅⋅-=∂∂⋅∂∂⋅∂∂pV RT R V p R V RT p T T V V p例 5 说明的问题 偏导数的记号是一个整体记号 不能看作分子分母之商二元函数zfx y 在点x 0 y 0的偏导数的几何意义f x x 0 y 0fx y 0x 是截线zfx y 0在点M 0处切线T x 对x 轴的斜率f y x 0 y 0 fx 0 y y 是截线zfx 0 y 在点M 0处切线T y 对y 轴的斜率偏导数与连续性 对于多元函数来说 即使各偏导数在某点都存在 也不能保证函数在该点连续 例如⎪⎩⎪⎨⎧=+≠++=0 00),(222222y x y x y x xy y x f在点0 0有 f x 0 00 f y 0 00 但函数在点0 0并不连续提示0)0 ,(=x f 0) ,0(=y f0)]0 ,([)0 ,0(==x f dx d f x 0)] ,0([)0 ,0(==y f dy df y当点Px y 沿x 轴趋于点0 0时 有0lim )0 ,(lim ),(lim00)0,0(),(===→→→x x y x x f y x f当点Px y 沿直线ykx 趋于点0 0时 有22222022 )0,0(),(1lim lim kk x k x kx y x xy x kx y y x +=+=+→=→因此),(lim )0,0(),(y x f y x →不存在 故函数fx y 在0 0处不连续类似地 可定义函数zfx y 对y 的偏导函数 记为y z ∂∂ yf∂∂ z y 或),(y x f y偏导函数的定义式y y x f y y x f y x f y y ∆-∆+=→∆),(),(lim),(0二 高阶偏导数设函数zfx y 在区域D 内具有偏导数),(y x f x z x =∂∂ ),(y x f y z y=∂∂那么在D 内f x x y 、f y x y 都是x y 的函数 如果这两个函数的偏导数也存在 则称它们是函数zfx y 的二偏导数 按照对变量求导次序的为同有下列四个二阶偏导数如果函数zfx y 在区域D 内的偏导数f x x y 、f y x y 也具有偏导数则它们的偏导数称为函数zfx y 的二阶偏导数 按照对变量求导次序的不同有下列四个二阶偏导数),()(22y x f x z x z x xx =∂∂=∂∂∂∂ ),()(2y x f y x z x z y xy=∂∂∂=∂∂∂∂),()(2y x f x y z y z x yx =∂∂∂=∂∂∂∂ ),()(22y x f y z y z y yy =∂∂=∂∂∂∂其中),()(2y x f y x z x z y xy =∂∂∂=∂∂∂∂ ),()(2y x f x y z y z x yx=∂∂∂=∂∂∂∂称为混合偏导数22)(x z x z x ∂∂=∂∂∂∂ yx z x z y ∂∂∂=∂∂∂∂2)( x y z y z x ∂∂∂=∂∂∂∂2)( 22)(y zy z y ∂∂=∂∂∂∂同样可得三阶、四阶、以及n 阶偏导数二阶及二阶以上的偏导数统称为高阶偏导数例6 设zx 3y 23xy 3xy 1 求22x z ∂∂、33x z∂∂、x y z ∂∂∂2和y x z∂∂∂2解 y y y x x z --=∂∂32233 xxy y x y z --=∂∂23922226xy x z =∂∂ 2336y x z =∂∂196222--=∂∂∂y y x y x z 196222--=∂∂∂y y x x y z由例6观察到的问题 y x zx y z ∂∂∂=∂∂∂22定理 如果函数zfx y 的两个二阶混合偏导数x y z ∂∂∂2及yx z∂∂∂2在区域D 内连续 那么在该区域内这两个二阶混合偏导数必相等类似地可定义二元以上函数的高阶偏导数例7 验证函数22ln y x z +=满足方程02222=∂∂+∂∂y z x z证 因为)ln(21ln 2222y x y x z +=+= 所以22y x xx z +=∂∂22y x y y z +=∂∂222222222222)()(2)(y x x y y x x x y x xz +-=+⋅-+=∂∂222222222222)()(2)(y x y x y x y y y x yz +-=+⋅-+=∂∂因此 0)()(22222222222222=+-++-=∂∂+∂∂y x x y y x y x y z x z例8．证明函数r u 1=满足方程0222222=∂∂+∂∂+∂∂z u y u x u其中222z y x r ++=证 32211r xr x r x r r x u -=⋅-=∂∂⋅-=∂∂52343223131r x r x r r x r x u +-=∂∂⋅+-=∂∂同理5232231r y r y u +-=∂∂ 5232231r z r z u +-=∂∂因此)31()31()31(523523523222222r z r r y r r x r zu y u x u +-++-++-=∂∂+∂∂+∂∂33)(3352352223=+-=+++-=r r r r z y x r提示 6236333223)()(r x rr x r r r x x r rx x x u ∂∂⋅--=∂∂⋅--=-∂∂=∂∂§8 3全微分及其应用 一、全微分的定义根据一元函数微分学中增量与微分的关系有 偏增量与偏微分fxx yfx yf x x yxfxx yfx y 为函数对x 的偏增量 f x x yx 为函数对x 的偏微分fx yyfx yf y x yyfx yyfx y 为函数对y 的偏增量 f y x yy 为函数对y 的偏微分全增量 z fxx yyfx y计算全增量比较复杂 我们希望用x 、y 的线性函数来近似代替之定义 如果函数zfx y 在点x y 的全增量 z fxx yyfx y 可表示为) )()(( )(22y x o y B x A z ∆+∆=+∆+∆=∆ρρ 其中A 、B 不依赖于x 、y 而仅与x 、y 有关 则称函数zfx y 在点x y 可微分 而称AxBy 为函数zfx y 在点x y 的全微分 记作dz 即dzAxBy如果函数在区域D 内各点处都可微分 那么称这函数在D 内可微分可微与连续 可微必连续 但偏导数存在不一定连续 这是因为 如果zfx y 在点x y 可微则 z fxx yyfx yAxByo 于是 0lim 0=∆→z ρ从而),(]),([lim ),(lim)0,0(),(y x f z y x f y y x x f y x =∆+=∆+∆+→→∆∆ρ因此函数zfx y 在点x y 处连续 可微条件定理1必要条件如果函数zfx y 在点x y 可微分 则函数在该点的偏导数x z∂∂、y z ∂∂必定存在 且函数zfx y 在点x y 的全微分为yy z x xz dz ∆∂∂+∆∂∂= 证 设函数zfx y 在点Px y 可微分 于是 对于点P 的某个邻域内的任意一点P xx yy 有zAxByo 特别当y 0时有f xx yfx yAxo |x |上式两边各除以x 再令x 0而取极限 就得Ax y x f y x x f x =∆-∆+→∆),(),(lim从而偏导数x z ∂∂存在 且Ax z =∂∂同理可证偏导数y z ∂∂存在 且B y z =∂∂所以yy z x xz dz ∆∂∂+∆∂∂= 简要证明设函数zfx y 在点x y 可微分 于是有zAxByo 特别当y 0时有f xx yfx yAxo |x |上式两边各除以x 再令x 0而取极限 就得Ax x o A x y x f y x x f x x =∆∆+=∆-∆+→∆→∆]|)(|[lim ),(),(lim00从而x z ∂∂存在 且A x z =∂∂同理y z ∂∂存在 且B y z =∂∂ 所以yy z x xz dz ∆∂∂+∆∂∂= 偏导数x z∂∂、y z ∂∂存在是可微分的必要条件 但不是充分条件例如函数⎪⎩⎪⎨⎧=+≠++=0 00 ),(222222y x y x y x xy y x f 在点00处虽然有f x 0 00及f y 0 00但函数在00不可微分即zf x 0 0xf y 0 0y 不是较高阶的无穷小这是因为当x y 沿直线yx 趋于0 0时ρ])0 ,0()0 ,0([y f x f z y x ∆⋅+∆⋅-∆021)()()()(2222≠=∆+∆∆⋅∆=∆+∆∆⋅∆=x x x x y x y x定理2充分条件 如果函数zfx y 的偏导数x z∂∂、y z ∂∂在点x y 连续 则函数在该点可微分定理1和定理2的结论可推广到三元及三元以上函数 按着习惯x 、y 分别记作dx 、dy 并分别称为自变量的微分则函数zfx y 的全微分可写作dyy z dx x z dz ∂∂+∂∂=二元函数的全微分等于它的两个偏微分之和这件事称为二元函数的微分符合叠加原理 叠加原理也适用于二元以上的函数 例如函数uf x y z 的全微分为dzz u dy y u dx x u du ∂∂+∂∂+∂∂= 例1 计算函数zx 2y y 2的全微分解 因为xy x z 2=∂∂ yx y z 22+=∂∂所以dz 2xydxx 22ydy例2 计算函数ze xy在点2 1处的全微分解 因为xy ye x z =∂∂ xyxe y z =∂∂ 212e x z y x =∂∂== 2122ey z y x =∂∂==所以 dze 2dx 2e 2dy 例3 计算函数yze yx u ++=2sin 的全微分解 因为1=∂∂x u yz ze y y u +=∂∂2cos 21 yzye z u =∂∂ 所以 dzye dy ze ydx du yz yz +++=)2cos 21(二、全微分在近似计算中的应用当二元函数zf x y 在点P x y 的两个偏导数f x x y fyx y 连续 并且|x | |y |都较小时 有近似等式z dz f x x yxf y x yy即 f xx yy fx yf x x yxf y x yy我们可以利用上述近似等式对二元函数作近似计算 例4 有一圆柱体 受压后发生形变 它的半径由20cm 增大到20 05cm 高度由100cu 减少到99cm 求此圆柱体体积变化的近似值解 设圆柱体的半径、高和体积依次为r 、h 和V 则有V r 2h已知r 20 h 100 r 0 05 h 1 根据近似公式 有VdVV r rV h h 2rhrr 2h2201000 052021200 cm 3即此圆柱体在受压后体积约减少了200 cm 3例5 计算1 04202的近似值解 设函数f x yx y显然 要计算的值就是函数在x 104y 202时的函数值f 104 202 取x 1 y 2 x 004 y 002 由于f xx yy fx yf x x yxf y x yyx y yx y 1xx yln x y所以10420212212100412ln1002108例6 利用单摆摆动测定重力加速度g 的公式是224T lg π=现测得单摆摆长l 与振动周期T 分别为l =100±、T =2±.问由于测定l 与T 的误差而引起g 的绝对误差和相对误差各为多少解 如果把测量l 与T 所产生的误差当作|Δl |与|ΔT |,则利用上述计算公式所产生的误差就是二元函数224T lg π=的全增量的绝对值|Δg |.由于|Δl ||ΔT |都很小因此我们可以用dg 来近似地代替Δg 这样就得到g 的误差为||||||T T g l l g dg g ∆∂∂+∆∂∂=≈∆T l T g l g δδ⋅∂∂+⋅∂∂≤||||)21(4322Tl T l T δδπ+=其中l 与T 为l 与T 的绝对误差 把l =100 T =2, l =, δT =代入上式 得g 的绝对误差约为)004.02100221.0(4322⨯⨯+=πδg)/(93.45.022s cm ==π.02225.0210045.0=⨯=ππδg g从上面的例子可以看到对于一般的二元函数z =fx, y , 如果自变量x 、y 的绝对误差分别为x 、y , 即|Δx |x , |Δy |y , 则z 的误差||||||y y z x x z dz z ∆∂∂+∆∂∂=≈∆ ||||||||y y z x x z ∆⋅∂∂+∆⋅∂∂≤ y x y z x z δδ⋅∂∂+⋅∂∂≤||||从而得到z 的绝对误差约为yx z yz xz δδδ⋅∂∂+⋅∂∂=||||z 的相对误差约为yx z z y z z x zz δδδ∂∂+∂∂=||§8 4 多元复合函数的求导法则 设zfu v 而ut vt 如何求dt dz设zfu v 而ux y vx y 如何求x z∂∂和y z ∂∂1 复合函数的中间变量均为一元函数的情形定理1 如果函数ut 及vt 都在点t 可导 函数zfu v 在对应点u v 具有连续偏导数 则复合函数zft t 在点t 可导 且有dt dv v z dt du u z dt dz ⋅∂∂+⋅∂∂=简要证明1 因为zfu v 具有连续的偏导数 所以它是可微的 即有dvv z du uz dz ∂∂+∂∂=又因为ut 及vt 都可导 因而可微 即有dt dt du du = dtdt dv dv = 代入上式得dt dtdv v z dt dt du u z dz ⋅∂∂+⋅∂∂=dtdt dv v z dt du u z )(⋅∂∂+⋅∂∂= 从而 dt dvv z dt du u z dt dz ⋅∂∂+⋅∂∂=简要证明2 当t 取得增量t 时 u 、v 及z 相应地也取得增量u 、v 及z 由zfu v 、ut 及vt 的可微性 有)(ρo v v z u u z z +∆∂∂+∆∂∂=∆)()]([)]([ρo t o t dt dv v z t o t dt du u z +∆+∆∂∂+∆+∆∂∂=)()()()(ρo t o v z u z t dt dv v z dt du u z +∆∂∂+∂∂+∆⋅∂∂+⋅∂∂= t o t t o v z u z dt dv v z dt du u z t z ∆+∆∆∂∂+∂∂+⋅∂∂+⋅∂∂=∆∆)()()(ρ令t 0 上式两边取极限 即得dt dvv z dt du u z dt dz ⋅∂∂+⋅∂∂=注0)()(0)()()(lim )(lim 222200=+⋅=∆∆+∆⋅=∆→∆→∆dt dv dt du t v u o t o t t ρρρ推广 设zf u v w u t vt wt 则zf t t t 对t 的导数为dt dww z dt dv v z dt du u z dt dz ∂∂+∂∂+∂∂=上述dt dz称为全导数2 复合函数的中间变量均为多元函数的情形定理2 如果函数ux y vx y 都在点x y 具有对x 及y 的偏导数 函数zfu v 在对应点u v 具有连续偏导数 则复合函数zf x y x y 在点x y 的两个偏导数存在 且有x v v z x u u z x z ∂∂⋅∂∂+∂∂⋅∂∂=∂∂ y vv z y u u z y z ∂∂⋅∂∂+∂∂⋅∂∂=∂∂推广 设zfu v w ux y vx y wx y 则x w w z x v v z x u u z x z ∂∂⋅∂∂+∂∂⋅∂∂+∂∂⋅∂∂=∂∂ y ww z y v v z y u u z y z ∂∂⋅∂∂+∂∂⋅∂∂+∂∂⋅∂∂=∂∂讨论 1设zfu v ux y vy 则=∂∂x z =∂∂y z提示 x u u z x z ∂∂⋅∂∂=∂∂ dy dvv z y u u z y z ⋅∂∂+∂∂⋅∂∂=∂∂2设zfu x y 且ux y 则=∂∂x z =∂∂y z提示 x f x u u f x z ∂∂+∂∂∂∂=∂∂ y fy u u f y z ∂∂+∂∂∂∂=∂∂ 这里x z∂∂与xf ∂∂是不同的 x z∂∂是把复合函数zfx y x y 中的y 看作不变而对x 的偏导数 xf∂∂是把fu x y 中的u 及y 看作不变而 对x 的偏导数 y z∂∂与yf ∂∂也有类似的区别3．复合函数的中间变量既有一元函数 又有多元函数的情形定理3 如果函数ux y 在点x y 具有对x 及对y 的偏导数 函数vy 在点y 可导 函数zfu v 在对应点u v 具有连续偏导数 则复合函数zfx y y 在点x y 的两个偏导数存在 且有x u u z x z ∂∂⋅∂∂=∂∂ dy dvv z y u u z y z ⋅∂∂+∂∂⋅∂∂=∂∂例1 设ze u sin v uxy vxy 求x z∂∂和y z ∂∂解 x vv z x u u z x z ∂∂⋅∂∂+∂∂⋅∂∂=∂∂e u sin vye ucos v 1 e x yy sin xy cos xyy vv z y u u z y z ∂∂⋅∂∂+∂∂⋅∂∂=∂∂e u sin vxe ucos v 1 e xyx sin xy cos xy 例2 设222),,(z y x ez y x f u ++== 而y x z sin 2= 求x u∂∂和y u ∂∂解 x zz f x f x u ∂∂⋅∂∂+∂∂=∂∂y x ze xez y xz y xsin 222222222⋅+=++++yx y xey x x 2422sin 22)sin 21(2++++=y zz f y f y u ∂∂⋅∂∂+∂∂=∂∂y x ze yez y xz y xcos 222222222⋅+=++++yx y xey y x y 2422sin 4)cos sin (2+++=例3 设zuv sin t 而uetv cos t 求全导数dt dz解 t zdt dv v z dt du u z dt dz ∂∂+⋅∂∂+⋅∂∂=ve tu sin t cos t e tcos te tsin t cos t e t cos t sin t cos t 例4 设wfxyz xyz f具有二阶连续偏导数 求x w∂∂及z x w ∂∂∂2解 令uxyz vxyz 则wfu v 引入记号u v u f f ∂∂='),(1 v u v u f f ∂∂∂='),(12同理有2f '11f ''22f ''等 21f yz f x v v f x u u f x w '+'=∂∂⋅∂∂+∂∂⋅∂∂=∂∂z f yz f y z f f yz f z z x w ∂'∂+'+∂'∂='+'∂∂=∂∂∂221212)(2222121211f z xy f yz f y f xy f ''+''+'+''+''= 22221211)(f z xy f y f z x y f ''+'+''++''= 注 1211111f xy f z v v f z u u f z f ''+''=∂∂⋅∂'∂+∂∂⋅∂'∂=∂'∂ 2221222f xy f z v v f z u u f z f ''+''=∂∂⋅∂'∂+∂∂⋅∂'∂=∂'∂例5 设ufx y 的所有二阶偏导数连续 把下列表达式转换成极坐标系中的形式122)()(y u xu ∂∂+∂∂ 22222y u x u ∂∂+∂∂ 解 由直角坐标与极坐标间的关系式得 ufx yf cos θ sin θF θ 其中x cos θ y sin θ 22yx +=ρx yarctan=θ应用复合函数求导法则 得x u x u x u ∂∂∂∂+∂∂∂∂=∂∂θθρρ2ρθρρy u x u ∂∂-∂∂=ρθθθρsin cos y u u ∂∂-∂∂=y u y u y u ∂∂∂∂+∂∂∂∂=∂∂θθρρ2ρθρρx u y u ∂∂+∂∂=ρθθθρcos sin ∂∂+∂∂=u u两式平方后相加 得22222)(1)()()(θρρ∂∂+∂∂=∂∂+∂∂u u yu x u 再求二阶偏导数 得x x u x x u x u ∂∂⋅∂∂∂∂+∂∂⋅∂∂∂∂=∂∂θθρρ)()(22θρθθθρρcos )sin cos (⋅∂∂-∂∂∂∂=u u ρθρθθθρθsin )sin cos (⋅∂∂-∂∂∂∂-u u 22222222sin cos sin 2cos ρθθρθθθρθρ∂∂+∂∂∂-∂∂=u u u ρθρρθθθ22sin cos sin 2∂∂+∂∂+u u同理可得2222222222cos cos sin 2sin ρθθρθθθρθρ∂∂+∂∂∂+∂∂=∂∂u u u y u ρθρρθθθ22cos cos sin 2∂∂+∂∂-u u两式相加 得22222222211θρρρρ∂∂++∂∂=∂∂+∂∂u u y u x u])([1222θρρρρρ∂∂+∂∂∂∂=u u全微分形式不变性 设zfu v 具有连续偏导数 则有全微分dvv z du uz dz ∂∂+∂∂= 如果zfu v 具有连续偏导数 而ux y vx y 也具有连续偏导数 则dyy z dx x z dz ∂∂+∂∂=dyy v v z y u u z dx x v v z x u u z )()(∂∂∂∂+∂∂∂∂+∂∂∂∂+∂∂∂∂=)()(dy y v dx x v v z dy y u dx x u u z ∂∂+∂∂∂∂+∂∂+∂∂∂∂= dv v z du uz ∂∂+∂∂= 由此可见 无论z 是自变量u 、v 的函数或中间变量u 、v 的函数 它的全微分形式是一样的 这个性质叫做全微分形式不变性例6 设ze usin v ux y vxy 利用全微分形式不变性求全微分解 dv v z du uz dz ∂∂+∂∂= e u sin vdu e ucos v dv e u sin vy dxx dy e u cos vdxdy ye u sin v e u cos vdxxe u sin v e ucos v dye xy y sin xy cos xydx e xyx sin xy cos xydy§8 5 隐函数的求导法则一、一个方程的情形 隐函数存在定理1设函数Fx y 在点Px 0 y 0的某一邻域内具有连续偏导数Fx 0 y 00 F y x 0 y 00 则方程Fx y 0在点x 0 y 0的某一邻域内恒能唯一确定一个连续且具有连续导数的函数yfx 它满足条件y 0fx 0 并有yx F F dx dy-= 求导公式证明 将yfx 代入Fx y 0 得恒等式 Fx fx 0 等式两边对x 求导得=⋅∂∂+∂∂dx dy y F x F由于F y 连续 且F y x 0 y 00 所以存在x 0 y 0的一个邻域 在这个邻域同F y 0 于是得yx F F dx dy-=例1 验证方程x 2y 210在点0 1的某一邻域内能唯一确定一个有连续导数、当x 0时y 1的隐函数yfx 并求这函数的一阶与二阶导数在x 0的值解 设Fx yx 2y 21 则F x 2x F y 2y F 0 10 F y 0 120 因此由定理1可知 方程x 2y 210在点0 1的某一邻域内能唯一确定一个有连续导数、当x 0时y 1的隐函数yfx yx F F dx dyy x -=-= 00==x dx dy332222221)(y y x y y y x x y y y x y dx y d -=+-=---='--=1022-==x dx yd隐函数存在定理还可以推广到多元函数 一个二元方程Fx y 0可以确定一个一元隐函数 一个三元方程Fx y z 0可以确定一个二元隐函数 隐函数存在定理2设函数Fx y z 在点Px 0 y 0 z 0的某一邻域内具有连续的偏导数 且Fx 0 y 0 z 00 F z x 0 y 0 z 00 则方程Fx y z 0在点x 0 y 0z 0的某一邻域内恒能唯一确定一个连续且具有连续偏导数的函数zfx y 它满足条件z 0fx 0 y 0 并有zxF F x z -=∂∂ zyF F y z -=∂∂公式的证明 将zfx y 代入Fx y z 0 得Fx y fx y 0 将上式两端分别对x 和y 求导 得0=∂∂⋅+x z F F z x 0=∂∂⋅+y zF F z y因为F z 连续且F z x 0 y 0 z 00 所以存在点x 0 y 0 z 0的一个邻域 使F z 0 于是得zx F F x z -=∂∂ zy F F y z -=∂∂例2. 设x 2y 2z 24z 0 求22x z∂∂解 设Fx y z x 2y 2z 24z 则F x 2x F y 2z 4 z x z x F F x z z x -=--=-=∂∂24223222222)2()2()2()2()2()2()2(z x x z z x x x z x z x x x z -+-=--+-=-∂∂+-=∂∂二、方程组的情形在一定条件下 由个方程组Fx y u v 0 Gx y u v 0可以确定一对二元函数uux y vvx y 例如方程xuyv 0和yuxv 1可以确定两个二元函数22y x y u +=22y x x v +=事实上 xuyv 0 u yx v =1=⋅+u y x x yu 22y x yu += 2222yx x y x yy x v +=+⋅=如何根据原方程组求u v 的偏导数 隐函数存在定理3 隐函数存在定理3设Fx y u v 、Gx y u v 在点Px 0 y 0 u 0 v 0的某一邻域内具有对各个变量的连续偏导数 又Fx 0 y 0 u 0 v 00 Gx 0 y 0 u 0 v 00 且偏导数所组成的函数行列式v G u Gv Fu Fv u G F J ∂∂∂∂∂∂∂∂=∂∂=),(),(在点Px 0 y 0 u 0 v 0不等于零 则方程组Fx y u v 0 Gx y u v 0在点Px 0 y 0 u 0 v 0的某一邻域内恒能唯一确定一组连续且具有连续偏导数的函数uux y vvx y 它们满足条件u 0ux 0 y 0 v 0vx 0y 0 并有v uv uv x v xG G F F G G F F v x G F J x u -=∂∂-=∂∂),(),(1vuv ux u x uG G F F G G F F x u G F J x v -=∂∂-=∂∂),(),(1vu vu vy v y G G F F G G F F v y G F J y u -=∂∂-=∂∂),(),(1vu vu yu y u G G F F G G F F y u G F J y v -=∂∂-=∂∂),(),(1隐函数的偏导数:设方程组Fx y u v 0 Gx y u v 0确定一对具有连续偏导数的二元函数uux y vvx y 则偏导数x u ∂∂ x v ∂∂由方程组⎪⎩⎪⎨⎧=∂∂+∂∂+=∂∂+∂∂+.0,0x v G x u G G x v F x u F F v u x v u x 确定偏导数y u ∂∂ y v ∂∂由方程组⎪⎩⎪⎨⎧=∂∂+∂∂+=∂∂+∂∂+.0,0y v G y u G G y v F y u F F v u y v u y 确定例3 设xuyv 0 yuxv 1 求x u ∂∂ x v ∂∂ y u∂∂和y v ∂∂解 两个方程两边分别对x 求偏导 得x u ∂∂和x v∂∂的方程组⎪⎩⎪⎨⎧=∂∂++∂∂=∂∂-∂∂+00x v x v x u y x v y x u x u当x 2y 2时 解之得22y x yv xu x u ++-=∂∂ 22y x xvyu x v +-=∂∂两个方程两边分别对x 求偏导 得y u∂∂和y v∂∂的方程组⎪⎩⎪⎨⎧=∂∂+∂∂+=∂∂--∂∂00y v x y u y u y v y v y u x 当x 2y 2时 解之得22y x yu xv y u +-=∂∂ 22y x yvxu y v ++-=∂∂另解 将两个方程的两边微分得⎩⎨⎧=+++=--+00xdv vdx ydu udy ydv vdy xdu udx 即⎩⎨⎧--=+-=-vdx udy xdv ydu udxvdy ydv xdu解之得dy y x yuxv dx y x yv xu du 2222+-+++-=dy y x yvxu dx y x xv yu dv 2222++-+-=于是 22y x yv xu x u ++-=∂∂ 22yx yu xv y u +-=∂∂22y x xv yu x v +-=∂∂ 22y x yv xu y v ++-=∂∂例 设函数xxu v yyu v 在点u v 的某一领域内连续且有连续偏导数 又0),(),(≠∂∂v u y x1证明方程组⎩⎨⎧==),(),(v u y y v u x x在点x y u v 的某一领域内唯一确定一组单值连续且有连续偏导数的反函数uux y vvx y2求反函数uux y vvx y 对x y 的偏导数 解 1将方程组改写成下面的形式⎩⎨⎧=-≡=-≡0),(),,,(0),(),,,(v u y y v u y x G v u x x v u y x F则按假设.0),(),(),(),(≠∂∂=∂∂=v u y x v u G F J由隐函数存在定理3 即得所要证的结论2将方程组7所确定的反函数uux yvvx y 代入7 即得⎩⎨⎧≡≡)],(),,([)],(),,([y x v y x u y y y x v y x u x x将上述恒等式两边分别对x 求偏导数得⎪⎩⎪⎨⎧∂∂⋅∂∂+∂∂⋅∂∂=∂∂⋅∂∂+∂∂⋅∂∂=x v v y x u u y x vv x x u u x 01由于J 0 故可解得v y J x u ∂∂=∂∂1 u yJ x v ∂∂-=∂∂1同理 可得v x J y u ∂∂-=∂∂1 u xJ y v ∂∂=∂∂1§8 6多元函数微分学的几何应用一 空间曲线的切线与法平面 设空间曲线的参数方程为 xt yt zt 这里假定t t t 都在 上可导在曲线上取对应于tt 0的一点M 0x 0 y 0 z 0及对应于tt 0t 的邻近一点Mx 0+x y 0+y z 0+z 作曲线的割线MM 0 其方程为z z z y y y x x x ∆-=∆-=∆-000当点M 沿着趋于点M 0时割线MM 0的极限位置就是曲线在点M 0处的切线 考虑t z z z ty y y t x x x ∆∆-=∆∆-=∆∆-000 当MM 0 即t 0时 得曲线在点M 0处的切线方程为)()()(000000t z z t y y t x x ωψϕ'-='-='- 曲线的切向量 切线的方向向量称为曲线的切向量 向量T t 0 t 0 t 0就是曲线在点M 0处的一个切向量法平面 通过点M 0而与切线垂直的平面称为曲线在点M 0 处的法平面 其法平面方程为 t 0xx 0t 0yy 0t 0zz 00例1 求曲线xt yt 2zt 3在点1 1 1处的切线及法平面方程解 因为x t 1 y t 2t z t 3t 2而点1 1 1所对应的参数t 1 所以T 1 2 3 于是 切线方程为 312111-=-=-z y x法平面方程为x 12y 13z 10 即x 2y 3z 6讨论1 若曲线的方程为 yx zx问其切线和法平面方程是什么形式提示 曲线方程可看作参数方程 xx yx zx 切向量为T 1 x x2 若曲线的方程为Fx y z 0 Gx y z 0 问其切线和法平面方程又是什么形式提示 两方程确定了两个隐函数 yx zx 曲线的参数方程为xx yx zx由方程组⎪⎩⎪⎨⎧=++=++00dx dz G dx dy G G dxdz F dx dy F F z y x z y x 可解得dx dy 和dx dz 切向量为) ,,1(dx dz dx dy =T例2 求曲线x 2y 2z 26 xyz 0在点1 2 1处的切线及法平面方程解 为求切向量 将所给方程的两边对x 求导数 得⎪⎩⎪⎨⎧=++=++010222dx dz dx dydxdz z dx dy y x解方程组得z y xz dx dy --= z y yx dx dz --=在点1 2 1处 0=dx dy 1-=dx dz从而T 1 0 1 所求切线方程为 110211--=+=-z y x法平面方程为x 10y 2z 10 即xz 0解 为求切向量 将所给方程的两边对x 求导数 得⎪⎩⎪⎨⎧=++=++010222dx dz dx dydx dz z dx dy y x方程组在点1 2 1处化为⎪⎩⎪⎨⎧-=+=-112dx dz dx dydx dz dx dy 解方程组得0=dx dy 1-=dx dz从而T 1 0 1 所求切线方程为 110211--=+=-z y x法平面方程为x 10y 2z 10 即xz 0。
第九章多元函数微分法及其应用
E
• 若点 P 的任一去心邻域 U (P) 中总有 E 中的点， 则称 P 为 E 的 聚点 。 聚点 可能 属于 E，也可能 不属于 E 。 聚点 是 内点 或者 边界点。
E
• 若点 PE，且 P 不是聚点， 则称 P 为 E 的 孤立点 。
孤立点 属于 E
3.开区域及闭区域
• 若点集 E 的点都是内点，则称 E 为开集；
同理可以定ffx义y((xx函,,yy数))，z liyfxmf，0( xfz,
，或 z x( x, y xy) y)对自变量y y
f (x, y)
的偏导数，
记作
f
y
(
x,
y)，
f y
，
z
y
，或
z y
由上述定义可知，求二元函数 z f (x, y) 关于某个变量的偏导数， 只需将另一个自变量 看作常数，然后利用一元函数求导公式和求导法 则，就可求得结果。
② 找两种不同趋近方式，使 lim f ( x, y) 存在， x x0 y y0 但两者不相等，则极限不存在。
例2
讨论函数
f
( x,
y)
xy x2 y2
在点 (0, 0) 的极限.
解: 设 P(x , y) 沿直线 y = k x 趋于点 (0, 0) , 则有
kx2
lim
x0
f
( x,
y)
lim
如果存在
lim
P P0
f (P)
f (P0 )
则称 二元函数 f (P)在点P0 连续;
否则称为不连续, 此时 称为间断点 。
如果函数在 D 上各点处都连续, 则称此函数在 D 上连续。
例如, 函数
第二章 多元函数微分法及其应用 第四节 多元函数微分法在几何上的应用
Fz ( x0 , y0 , z0 ) ( t0 ) 0
- 15 -
第四节
多元函数微分在几何上的应用
令 T { ( t0 ) , ( t0 ) , ( t0 )}
第 八 章 切向量 T n 多 元 函 数 微 分 法 及 其 应 用
n { Fx ( x0 , y0 , z0 ) , Fy ( x0 , y0 , z0 ) , Fz ( x0 , y0 , z0 )}
第四节
多元函数微分在几何上的应用
切平面方程
第 八 章
Fx ( x0 , y0 , z0 ) ( x x0 ) Fy ( x0 , y0 , z0 ) ( y y0 )
Fz ( x0 , y0 , z0 )( z z0 ) 0
多 元 通过点 M ( x 0 , y 0 , z 0 ) 而垂直于切平面的直线称为曲 函 数 面在该点的法线.法线方程 微 分 x x0 y y0 z z0 法 Fx ( x0 , y0 , z0 ) Fz ( x0 , y0 , z0 ) Fy ( x0 , y0 , z0 ) 及 其 应 用
第 八 章
在
解: 由于
M 0 (0 , R , k ) 2 z
多 对应的切向量为 T ( R , 0 , k ) , 故 元 函 yR zk x 2 切线方程 数 微 0 R k 分 法 k x Rz R k 0 2 即 及 其 yR0 应 用 法平面方程 R x k ( z k ) 0 2
- 17 -
第四节
多元函数微分在几何上的应用
垂直于曲面上切平面的向量称为曲面的法向量. 曲面在M 处的法向量即
第 八 章 多 元 函 数 微 分 法 及 其 应 用
高等数学第9章多元函数微分学及其应用(全)
f ( x, y ) A 或 f x, y A( x x0，y y0 ).
31
二、二元函数的极限
定义 9.3
设二元函数z f ( P) f ( x, y ) 的定义域为D ，P0 ( x0 , y0 )
是D 的一个聚点，A 为常数．若对任给的正数 ，总存在 0 ，当
0 当 P( x, y) D 且 0 P0 P ( x x0 )2 ( y y0 ) 2 总有
f ( P) A , 则称A为 P P0 时的(二重)极限.
4
01
极限与连续
注意 只有当 P 以任何方式趋近于 P0 相应的 f ( P )
都趋近于同一常数A时才称A为 f ( P ) P P0 时的极限
P为E 的内点，如图9.2所示.
②边界点：如果在点P的任何邻域内，既有属于E 的点，也有不
属于E的点，则称点P 为E 的边界点．E 的边界点的集合称为E 的边
界，如图9.3所示．
P
E
图 9.2
P
E
图 9.3
16
一、多元函数的概念
③开集：如果点集E 的每一点都是E 的内点，则称E 为开集.
④连通集：设E 是平面点集，如果对于E 中的任何两点，都可用
高等数学（下册）（慕课版）
第九章 多元函数微分学及其应用
导学
主讲教师 | 张天德 教授
第九章
多元函数微分学及其应用
在自然科学、工程技术和社会生活中很多实际问题的解决需要引进多元
函数. 本章将在一元函数微分学的基础上讨论多元函数微分学及其应用.
本章主要内容包括：
多元函数的基本概念
偏导数与全微分
多元复合函数和隐函数求偏导
(完整版)第九章多元函数微分法及其应用答案.doc
第九章 多元函数微分法及其应用一、填空题1.若 f ( x, y) x 2 y 2 xy tan x,则 f (tx , ty ) t 2 x 2 t 2 y 2 t 2xy tanxt 2 f ( x, y) .y y 2.若 f ( x)x 2 y 21 u2.y( y 0) ,则 f (x)y3.函数 z arcsin y的定义域为 {( x, y) || y| 1且x0} .xx14. lim(1 xy) sin xy e .xy5.若 ze xyyx 2,则zxe xy x 2 .y6.若 f ( x, y) 5x 2 y 3 ,则 f x (0,1) 10xy 3 |(0,1) 0 .7.若 u ln(1 x 2y 22) ,则 du22 ( xdx ydy zdz) .zx 2y 2zyyy8.设 z e x ,则 dzy e x dx 1e x dy .x 2 x9.已知 z sin( y e x) ,而 y x 3,则dz(3x 2 e x )cos( x 3 e x ) .dx10. 已知 ze x 2 y,而 x sin t , y t 3,则 dzsin t 2 t 3(cost 6t 2).dte11. 设 zln(1 x2y 2) , 则 dz x 11dx2dy .y 23312. 设 zu 2v , 而 u x cos y, v x sin y , 则 z 3x 2 cos 2 ysin y ,xz 32y 2sin 2y) .yx cos y(cos13.若 z f (x, y) 在区域 D 上的两个混合偏导数2z,2z 连续 ，则在 D 上x yy x2z2z.x yy x14.函数 z f (x, y) 在点 (x 0 , y 0 ) 处可微的 必要 条件是 z f ( x, y) 在点 ( x 0 , y 0 ) 处的偏导数存在 .(填“充分”、“必要”或“充分必要” )15.函数 z f (x, y) 在点 (x 0 , y 0 ) 可微是 zf (x, y) 在点 (x 0 , y 0 ) 处连续的 充分 条件 . (填“充分”、“必要”或“充分必要” )16．设 f ( x, y, z) xy 2 z 3 ，其中 z z( x, y) 是由方程 x 2 y 2 z 2 3xyz 0所确定的 隐函数，则 f x (1,1,1) 2 . 二、选择题1.二元函数 zlnx 2 4arcsin x 21的定义域是 ( A ) y 2y 2（ A ）{( x, y) |1 x 2y 24};（ ） {( x, y) |1 x 2 y 24} ;B （C ）{( x, y) |1 x 2y 24}; （ ） {( x, y) |1 x 2 y 24} .D2. 设函数 z ln( xy) , 则z( C )x（A ）1;（B ） x;（C ） 1;（ D ） y.yyxx3. 设函数 z sin( xy 2) , 则z( D )x（ A ）2; （ ） xy cos(xy 2（ ） 22) ; （ ） 2 2xy cos(xy ) B ) ;Cy cos(xy D y cos( xy ) .4. 设函数 z 3xy, 则z( D )x（ A ） 3xy（ ） xy ; （C ） xy 1 ; （D ） 3xyln 3y ; 3 ln3 xy3 y .B5. 设函数 z1 , 则 z( C )xyy（ A ）1 ; （ ） 1 ; （C ） 12 ; （ ） 1 2 .2Bx 2yxyDxyx y6. 设函数 z sin xy , 则2z( A )x2（ A ）y 2sin xy ;2sin xy ;（ ） 2 sin xy ; （ D ） x 2sin xy .（ B ） yCx 7. 设二元函数 zx y, 则 dz ( B )x y（ A ）2( xdx ydy) ; （B ）2( xdy ydx) ;（ C ）2( ydyxdx) ; （D ）2( ydx xdy) .(x y)2( x y) 2( x y)2( x y)28. 设函数 y f ( x) 是由方程 y xeyx 0 确定 , 则dy(B )dx（ A ） e y y;（B ） ey1y ;（C ） ey1y ;（D ） e yy.1 xe 1 xe1 xe1 xe9. 设函数 zf (x, y) 是由方程 x2y3xyz20 确定 , 则z( B)x（ A ）2x yz 2 ; （ B ）2x yz 2; （C ）3y 2xz 2; （ D ） 3y 2xz 2 .2xyz2xyz2xyz2xyz 10. 若函数 f ( x, y) 在点 ( x 0 , y 0 ) 处不连续，则 ( C)（ A ） lim f (x, y) 必不存在；（B ）0 , y 0 ) 必不存在；xx 0 yy 0（ C ） f (x, y) 在点 (x 0 , y 0 ) 必不可微；（ D ） f x ( x 0 , y 0 ), f y (x 0, y 0 ) 必不存在 .f(x11.考虑二元函数 f (x, y) 的下面 4 条性质：①函数 f ( x, y) 在点 ( x 0 , y 0 ) 处连续；②函数 f ( x, y) 在点 ( x 0 , y 0 ) 处两个偏导数连续；③函数 f ( x, y) 在点 ( x 0 , y 0 ) 处可微；④函数 f ( x, y) 在点 ( x 0 , y 0 ) 处两个偏导数存在 .则下面结论正确的是（A ）（A ）②③ ①；（ B ）③ ②①；（C ）③ ④ ①；D ）③ ① ④。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第八章多元函数微分法及其应用一、本章教学目标：1.使学生掌握多元函数的基本概念2.使学生掌握多元函数的微分求解关系3.使学生掌握多元函数各知识点之间的联系二、本章基本要求：1.使学生掌握多元函数连续的计算2.使学生掌握多元函数微分的计算三、本章各节的教学内容：第一节多元函数的基本概念教学内容：①平面点集，n维空间②多元函数的概念③多元函数的极限④多元函数的连续性第二节偏导数教学内容：①偏导数的定义及计算法②高阶偏导数第三节全微分教学内容：①全微分的定义②全微分在近似计算中的应用第四节多元复合函数的求导法则教学内容：①多元复合函数的求导法则第五节隐函数的求导法则教学内容：①一个方程的情形②方程组的情形第六节多元函数微分学的几何应用教学内容：①空间曲线的切线与法平面②曲面的切平面与法线第七节方向导数与梯度教学内容：①方向导数②梯度第八节多元函数的极值及其求法教学内容：①多元函数极值、最大值和最小值②条件极值，拉格朗日乘数法四、本章教学重点：1.使学生掌握多元函数的连续2.使学生掌握多元函数的微分3.使学生掌握多元函数微分学的应用五、本章教学内容的深化和拓宽：使学生深化对多元函数知识点间的联系六、本章教学方式：多媒体七、本章教学过程中应注意的问题：培养学生用发展变化的观点看待问题八、本章主要参考书目：1.同济大学数学教研室主编.1996年.北京：高等教育出版社2.华东师范大学数学系主编.1990年.北京：高等教育出版社3.惠淑荣主编.2002年.北京：中国农业出版社4.李喜霞主编.2003年.北京：中国农业出版社九、本章思考题：1.多元函数极限，连续，可微之间的关系2.多元函数求导的法则及应用3.多元函数微分学及应用§8-1多元函数的基本概念一、区域 1.邻域设0P 是XOY 平面上的一点，δ是一个正数，与点0P 的距离小于δ的点(,)P x y 的全体，称为点0P 的δ邻域。
记作()0,U P δ，即(){}00,U PP PP δδ=<，也就是 ()({}0,,U P x y δδ=<。
内点；开集；边界点； 开区域； 闭区域； 有界点集； 2.n 维空间一般地，有序n 元数组()12,,,n x x x 的全体为n 维空间，而每个有序n 元数组()12,,,n x x x 称为n 维空间的一个点。
i X 称为该点的第i 个坐标，n 维空间记作n R 。
二、多元函数的概念 1.多元函数的概念n 维空间内的点集D ，则可类似定义n 元函数()12,,,n u f x x x =或()u f P =，这里()12,,,n P x x x D ∈。
当1n =时，n 元函数就是一元函数，当2n ≥时，n 元函数统称为多元函数。
多元函数的定义域就是使()u f P =这个算式有确定值u 的变量所确定的点集。
三、多元函数的极限如果对于任意给定的正数ε，总存在0δ>，使得对于适合不等式00PP δ<=<的一切点(),P x y D ∈，都有(,)f x y A ε-<成立，则称A 为函数(),f x y 当00,x x y y →→时的极限，记作()00lim ,x x y y f x y A →→=或()()0,0f x y A PP →→。
二元函数的极限叫做二重极限。
n 元函数。
四、多元函数的连续性1.定义3 设函数(),f x y 在开区域（或闭区域）D 内有定义，()000,P x y 是D 的内点或边界点且0P D ∈。
如果()()000lim ,,x x y y f x y f x y →→=则称函数(),f x y 在点()000,P x y 连续。
2.性质1（最大值和最小值定理）在有界闭区域D 上的多元连续函数，在D 上一定有最大值和最小值。
性质2（界值定理）在有界闭区域D 上的多元连续函数，如果在D 上取得两个不同的函数值，则它在D 上取得介于这两个值之间的任何值至少一次。
性质3（一致连续性定理）在有界闭区域D 上的多元连续函数必定在D 上一致连续。
例1. 求02sin()limx y xy x →→例2. 求12limx y x yxy →→+例3.求00x y →→§8-2偏导数一、偏导数的定义及计算法1.设函数(),z f x y =在点()00,x y 的某一邻域内有定义，当y 固定在0y 而x 在0x 处有增量x ∆时，相应地函数有增量()()0000,,f x x y f x y +∆-，如果00000(,)(,)limx f x x y f x y x∆→+∆-∆存在，则称此极限为函数(),z f x y =在点()00,x y 处对x的偏导数，记作00x x y y z x ==∂∂，00x x y y fx ==∂∂，00x x x y y z ==或),(00y x f x 。
例1. 求223z x xy y =++在点()1,2处的偏导数。
例2. 求2sin 2z x y =的偏导数。
例3. 设()0,1yz xx x =>≠，求证：z yzx x z y x 2ln 1=∂∂+∂∂。
例4. 已知理想气体的状态方程PV RT =（R 为常量），求证：1P V T V T P∂∂∂⋅⋅=-∂∂∂。
二、高阶偏导数二阶偏导数：),()(22y x f x zx z x xx =∂∂=∂∂∂∂ ),()(2y x f y x z x z y xy =∂∂∂=∂∂∂∂ ),()(2y x f x y z y z x yx =∂∂∂=∂∂∂∂ ),()(22y x f yzy z y yy =∂∂=∂∂∂∂ 例5. 设32331z x y xy xy =--+，求22x z ∂∂，y x z ∂∂∂2，x y z ∂∂∂2，22y z ∂∂及33xz∂∂。
定理 如果函数(),z f x y =的两个二阶混合偏导数x y z ∂∂∂2和yx z∂∂∂2在区域D 内连续，那么在该区域内这两个二阶混合偏导数必相等例6. 验证函数22ln y x z +=满足方程22x z ∂∂+220zy∂=∂。
例7. 证明函数r u 1=满足方程22x z ∂∂+22y z ∂∂+220z z∂=∂，其中222z y x r ++=。
§8-3全微分及其应用一、全微分的定义1.如果函数(),z f x y =在点(),x y 的全增量(,)(,)z f x x y y f x y ∆=+∆+∆-可表示为()+ +z A x B y o ρ∆=∆∆，其中,A B 不依赖于x ∆、y ∆而仅与,x y 有关，ρ=(),z f x y =在点(),x y 可微分，而+A x B y ∆∆称为函数(),z f x y =在点(),x y 的全微分，记作dz ，即+dz A x B y =∆∆。
2.定理1（必要条件）如果函数(),z f x y =在点(),x y 处可微分，则该函数在点(),x y 的偏导数x z ∂∂、y z ∂∂必定存在，并且函数(),z f x y =在点(),x y 的全微分为z zdz x y x y∂∂=∆+∆∂∂。
3.定理2（充分条件）如果函数(),z f x y =的偏导数x z ∂∂、yz∂∂在点(),x y 连续，则函数在该点可微分。
例1. 计算函数22z x y y =+的全微分 例2．计算函数xy z e =在点()2,1处的全微分例3．计算函数sin 2yzy u x e ⎛⎫=++ ⎪⎝⎭的全微分§8-4多元复合函数的求导法则一、多元复合函数的求导法则1.定理 如果函数()(),u t v t ϕψ==在点t 都可导，函数(),z f u v =在对应点(),u v 具有连续偏导数，则复合函数()(),z f t t ϕψ=⎡⎤⎣⎦在点t 可导，且其导数可按如下公式计算：dtdvv z dt du u z dt dz ∂∂+∂∂=； xvv z x u u z x z ∂∂∂∂+∂∂∂∂=∂∂ ， y v v z y u u z y z ∂∂∂∂+∂∂∂∂=∂∂xww z x v v z x u u z x z ∂∂∂∂+∂∂∂∂+∂∂∂∂=∂∂ ， y w w z y v v z y u u z y z ∂∂∂∂+∂∂∂∂+∂∂∂∂=∂∂ xfx u u f x z ∂∂+∂∂∂∂=∂∂ ， y f y u u f y z ∂∂+∂∂∂∂=∂∂ 例1．设sin ,,uz e v u xy v x y ===+，求x z ∂∂和yz ∂∂例2．设()2222,,,sin x y z u f x y z e z x y ++===，求x u ∂∂和yu ∂∂例3．设sin ,,cos tz uv t u e v t =+==，求dtdz例4．设(),w f x y z xyz =++，f 具有二阶连续偏导数，求x w ∂∂和zx w∂∂∂2例5．设(),u f x y =的所有二阶偏导数连续，把下列表达式转换为极坐标系中的形式(1)22)()(yu x u ∂∂+∂∂ (2)2222yu x u ∂∂+∂∂§8-5 隐函数的求导公式一、一个方程的情形1.隐函数存在定理1 设函数(),F x y 在点),(00y x p 的某一邻域内具有连续偏导数，且()00,0F x y =，00(,)0y F x y ≠，则方程(),0F x y =在点()00,x y 的某一邻域内能唯一确定一个单值连续且具有连续导数的函数()y f x =，它满足条件()00y f x =，并有yx F F dx dy-=。
如果(),F x y 的二阶偏导数也连续，也可以求22dx y d ，经过计算得公式22dx yd =3222yx yy y x xy y xx F F F F F F F F +--。
例1. 验证方程2210x y +-=在点()0,1的某一邻域内能唯一确定一个单值且有连续导数，当0x =时1y =的隐函数()y f x =，并求这函数的一阶及二阶导数在0的值。
2.隐函数存在定理2 设函数(),,F x y z 在点),,(0000z y x p 的某一邻域内具有连续偏导数，且()000,,0F x y z =，000(,,)0z F x y z ≠，则方程(),,0F x y z =在点（000,,z y x ）的某一邻域内能唯一确定一个单值连续且具有连续偏导数的函数(),z f x y =，它满足条件()000,z f x y =，并有z x F F x z -=∂∂，zy F F y z-=∂∂。
例2．设22240x y z z ++-=，求22xz∂∂二、方程组的情形1.隐函数存在定理3 设设函数(),,,F x y u v 和(),,,G x y u v 在点),,,(0000v u y x p 的某一邻域内具有连续偏导数，又()0000,,,0F x y u v =，()0000,,,0G x y u v =，且由偏导数所组成的行列式（或Jacobi 行列式）J=),(),(v u G F ∂∂=vG u G v Fu F ∂∂∂∂∂∂∂∂在点),,,(0000v u y x p 不等于零，则方程组(),,,0F x y u v =，(),,,0G x y u v =在点),,,(0000v u y x p 的某一邻域内恒能唯一确定一组单值连续且具有连续偏导数的函数()(),,,u u x y v v x y ==,它们满足条件()()000000,,,u u x y v v x y ==，并有 J x u 1-=∂∂),(),(v x G F ∂∂=J 1-vG x Gv FxF∂∂∂∂∂∂∂∂，J y u 1-=∂∂),(),(v y G F ∂∂=J 1-vG y Gv Fy F ∂∂∂∂∂∂∂∂， J x v 1-=∂∂),(),(x u G F ∂∂=J 1-xG uGx FuF∂∂∂∂∂∂∂∂。