隐函数的定理及重其应用.docVIP

PAGE PAGE 1 隐函数的定理及其应用 摘 要：本文主要讨论了隐函数和隐函数组的相关定理,并举例说明其应用. 关键词：隐函数；隐函数组；可微性；导数 Implicit Function Theorem and Its Application Abstract：This paper mainly discusses the related theorem of implicit function and implicit function group,and illustrates its application by examples. Key words：implicit function；implicit function group；differentiability；derivative 引言 我们在初中时就开始接触到函数,在我们眼中,函数就是一种关系,这种关系使一个集合里的每一个元素对应到另一个(可能相同的)集合里的唯一元素.在之前我们所接触到的函数,其表达式大多是自变量的某个算式,如 这种形式的函数即为显函数.然而我们在很多地方也会遇到另一种形式的函数,它的自变量与因变量之间的对应法则是由一个方程式所确定的.简单来说,若能由函数方程 　　　　　　　　　　　　　,　　　　　　　　　　　　　　① 确定为的函数,即,就称是的隐函数. 1.关于隐函数的一些定理 1.1 隐函数存在惟一性 若(1)函数在以为内点的某一区域上连续； (2)(通常称为初始条件)； (3)在内存在连续的偏导数； (4), 则在点的某邻域内,方程惟一地确定了一个定义在某区间内的函数(隐函数),使得 (1) ,时且； (2) 在内连续. 需要注意的是,上述定理中的条件仅仅是充分的.如方程在点不满足条件(4)(),但它仍能确定惟一的连续函数.当然,由于条件(4)不满足,往往会导致定理结论的失效. 事实上,条件(3)和(4)只是用来保证存在的某一邻域,在此邻域内关于变量是严格单调的.因此对本定理的结论来说,可以把后两个条件减弱为：在的某邻域内关于严格单调.采用较强的条件(3)和(4)只是为了在实际应用中便于检验. 如果把定理的条件(3)和(4)改为连续,且,这时结论是存在惟一的连续函数. 1.2 隐函数的可微性定理 设满足隐函数存在惟一性定理中的条件(1)-(4),又设在内还存在连续的偏导数,则由方程①所确定的隐函数在其定义域内有连续导函数,且 　　　　　　　　　　　　　 .　　　 　　　　　　　　② 若已知方程①确定存在连续可微的隐函数,则可对方程①应用复合求导法得到隐函数的导数,因为把看作与的复合函数时,有 当时,由它即可推得与②相同的结果. 对于隐函数的高阶导数,可以用和上面一样的方法求得,此时只要假定函数存在相应的连续的高阶偏导数. 我们可以类似的推出由方程所确定的元隐函数的概念. 1.3 元隐函数的惟一存在与连续可微性定理 若(1) 函数在以点为内点的区域上连续； (2) ； (3) 偏导数在内存在且连续； (4) , 则在点的某邻域内,方程惟一地确定了一个定义在的某邻域内的元连续函数(隐函数),使得 当时,,且 , . (2) 在内有连续偏导数：,而且 . 例1 设方程 　　 　 ③ 由于及在平面上任一点都连续,且,,故依上述定理,方程③确定了一个连续可导隐函数,按公式②,其导数为 . 上述都是由一个方程所组成的隐函数,下面来讨论由方程组所确定的隐函数组. 设和为定义在区域上的两个四元函数.若存在平面区域,对于中每一点分别有区间和上惟一的一对值,它们与一起满足方程组 　　　　　　　　　　　　　　　　　　　　　　　④ 则说方程组④确定了两个定义在上,值域分别落在和内的函数.我们称这两个函数为由方程组④所确定的隐函数组.若分别记这两个函数为,,则在上成立恒等式,. 为了探索由方程组④所确定隐函数组所需要的条件,不妨假设④中的函数和是可微的,而且由④所确定的两个隐函数与也是可微的.那么通过对方程组④关于分别求偏导数,得到 　　　　　　　　　　　　　　　　　　　　⑤ 　　　　　　　　　　　　　　　　　　　　⑥ 要想从⑤解出与,从⑥解出与,充分条件是它们的系数行列式不为零,即 　　　　　　　　　　　　　　　　　　　　　　　　　　⑦ ⑦式左边的行列式称为函数和关于变量,的函数行列式(或雅可比Jacobi行列式),亦可记作.条件⑦在隐函数组定理中所起作用与隐函数存在惟一性的条件(4)相当. 1.4 隐函数组定理 若(1) 和在以点为内点的区域内连续； 　 　(2) ,(初始条件)； 　 　(3) 在内,具有一阶连续偏导数； 　　 (4) 在点不等于零, 则在点的某一(四维空间)邻域内,方程组④惟一确定了