第八章　多元函数微分法.docVIP

第八章　多元函数的微分法 在前面我们学习的一元函数的微分学中，我们所讨论的函数都只有一个变量，这种函数叫做一元函数，但在许多自然现象或实际问题中，一个事物往往受到多方面的因素的影响，反映在数学上就是一个变量依赖于其它多个变量的情形，这种函数叫做多元函数，多元函数所依赖的诸变量之间彼此无关，它们的值可在一定的范围内任意选取，因而这些变量也称为自变量。 本章将在一元函数微分法的基础上讨论多元函数微分的基本方法，在讨论的过程中，我们以二元函数为主，因为与一元函数相比，二元函数的微分法，有它独特的规律，而从二元函数到二元函数以上的多元函数则不会产生新的问题，其微分法可以类推。 第一节　多元函数的概念 一、区域 在学习一元函数时，经常用到邻域和区间的概念，讨论多元函数时同样要用到这些概念，现在我们将邻域和区间的概念加以推广，为将来的应用打好基础。 1．邻域 若点是平面上的一个点，是某一个正数，我们把满足不等式 的一切点的全体，称为点的邻域，记为，即 在几何上，就是平面上以点为中心、为半径的圆的内部的点的全体。 对于点的邻域，当不考虑点时，也称它为去心邻域，如不需强调邻域半径，可记为。 2．区域 设是平面上的一个点集，是平面上的一个点，如果存在点的某一个邻域，使，则称是的内点（如图7-1（a））。 如果点集的点都是内点，则称为开集，例如，点集 中的每一个点都是的内点，因此是开集。 如果点的任一邻域内既有属于的点，也有不属于的点（点本身可以属于，也可以不属于），则称为的边界点（如图7-1（b））。的边界点的全体称为的边界。，例如上例中，的边界是圆周和。 设是开集，如果对于内任何两点，都可用折线连接起来，且该折线上的点都属于，则称是连通的。 连通的开集称为区域或开区域。例如，及都是区域。 开区域连同它的边界一起，称为闭区域。例如， 及 都是闭区域。 对于点集如果存在正数，使一切点与某一定点间的距离不超过，即对一切成立，则称为有界点集，否则称为无界点集。例如，是有界闭区域，是无界闭区域。 3、维空间 我们知道，数轴上的点与实数有一一对应关系，从而实数全体表示数轴上一切点的集合，即直线。在平面上引入直角坐标系后，平面上的点与有序二元数组（x,y）一一对应，从而有序而元数组(x,y)全体表示平面上一切点的集合，即平面。在空间引入直角坐标系后，空间的点与有序三元数组(x,y,z)一一对应，从而有序三元数组(x,y,z)全体表示空间一切点的集合，即空间。一般地，设n为取定的一个自然数，我们称有序n元数组的全体为n维空间，而每个有序n元数组称为n维空间的一个点，数称为该点的第i个坐标。维空间记为。 维空间中两点及间的距离规定为 容易知道，当=1，2，3时，由上式便得解析几何中关于直线（数轴），平面，空间内两点间的距离。 二．多元函数的概念 在许多科学实验与生产实践中，多元函数有着广泛的应用，下面我们先看几个多元函数的例子，然后再给出二元函数以较严密的定义。 例１　圆柱体的体积和它的底半径、高之间具有关系式 这里，当、在集合内取定一对值时，由上面的关系式，总有一个值与之对应，即体积是自变量与的函数。 例２　一定量的理想气体的压强、体积和绝对值之间具有关系式　 其中为常数，当取，（其中是该气体的液化点）的一对值时，由上面关系式，的对应值就随之确定，所以是自变量与的函数。 例３　若对平面上任一点，当时，有值与之对应，当时，有与之对应，则是自变量的函数，记为 以上的三个例子虽然反映的问题具体意义各不相同，且函数的表达式形式不同，但它们都有共同的性质，即都是一个量依赖于两个独立取值的自变量，是两个变量的函数，抽出这个共同的性质，可以得出下面二元函数的定义。 定义1　设是平面上的一个点集，如果对于每个点，变量按照一定的法则，总有确定的值与之对应，则称是变量的二元函数，记为（或）。 习惯上，也把或 称为点的二元函数或称为变量的二元函数，叫做自变量，也叫做因变量，点集称为函数的定义域，数集或称为函数的值域。 类似地还可以定义三元函数及三元以上的函数，比如元函数，这里当时，元函数就是一元函数，当时，元函数统称为多元函数。 例１中，圆柱体体积，说明是自变量和的函数，故可记作，当取定，则圆柱体体积　，称为二元函数当时的函数值，记作　或，即 或 当分别给自变量的值时，平面上便确定了一点，如果对于点，函数有确定的值与之对应，则称函数在点处是有定义的。 关于二元函数的定义域与一元函数类似，一般讨论由解析式表示的函数　时，其定义域是指使这个算式有确定值的所有点的集合，即使有意义的点的全体。 一般情况下，二元函数的定义域是坐标面上的平面区域。 我们已经知道，一般地，一元函数的图形是平面上的一条曲线，现在来讨论二元函数的图形，设二元函数的定义域为面内的