第十六章-隐函数存在定理.docx

第十六章 隐函数存在定理、函数相关 第一节 隐函数存在定理 1.（难）若在隐函数存在定理中条件改为: (1) 在区域上连续; (2) ; (3)当固定时，函数是的单调函数；则可得到什么样的结论，试证明之. 解析： 结论及证明: . (1)在点的某一邻域内，由方程能唯一确定是的单调函数且. 由条件(3)知，当固定时，是的严格单调函数.不妨设它是的严格单增函数 固定，函数是的严格增函数，且,因此有, 由条件(1)知，在区域上连续，因而存在,使当时，亦有 , 那么对，由函数在的连续性及, 据零点存在定理，必存在，使 由于在严格单调，从而当时，; 当时， 故上述y是唯一的 这表明对，通过上述方法，有唯一的与对应，且满足，于是确定了定义在上的单值函数满足，特别有即. （2）是连续函数. ，下证在点连续. 对，设，于是 又由条件(3)，是的严格单增函数 因此 则由的连续性，知存在邻域，使得当时，恒有 于是据零点存在定理，得必有，使即 即只要，就有即在点连续 由的任意性，得为连续函数. 2. （中上）函数在哪些点近旁可唯一地决定单值连续，且有连续导数的函数. 解析： 二元函数在整个二维空间连续，它的偏导数，也连续 由，若,则，解得 又，故即 当时， 由隐函数存在定理1，在任何满足近旁可唯一地决定单值连续且有连续导数的函数. 3.（中） 证明有唯一可导的函数满足方程，并求出导数. 证明:二元函数在整个二维空间连续，, 也连续 又且等号只在时成立,而此时,在一般情况下 则对一切点，恒有，于是 由隐函数存在定理1，在任何满足上述方程的点，有唯一可导的函数满足方程 其导函数为 4.（中上） 设是点的邻域，若 (1) ； (2) 关于一切变量的偏导数在中连续； (3) 在点不为零； 则在的邻域内存在唯一的一对函数 满足： （1）； （2）； （3）在点的邻域内有对一切变量的偏导数，且 解析： 由条件(3)知，中至少有一个在点不等于0 不妨设,则由隐函数存在定理2，知在点的某个邻域内可以把从 中解出来. 设且在的某个邻域内是唯一的， 具有关于的连续偏导数 把代入中得 故 由假设且在点,故 则由定理2,得在的某邻域内可从方程中解出u来. 设,它在的某邻域内有连续偏导数，且 把代入中得 则有 故即为所求 对方程组两端关于求导，得 解之，得 同理可得 5.（中）设是的连续可导函数，且 证明 其中 . 解析： 是的连续可导函数，且 则 于是 6.（中）设有二阶连续偏导数，并由可确定.讨论的极值的必要和充分条件.再求由 所确定的的极值. 解析： 因函数取得极值的必要条件为 又，则取得极值的必要条件为 又隐函数取极值的充分条件与显函数类同，只是求二阶偏导数时要用隐函数的高阶偏导数求法 令解得对应的值为 又 于是在点，，由及，则为极小值； 在点，，由及，则为极大值. 第二节 函数行列式的性质、函数相关 1.（中下）证明函数独立 解析： 因 则在.且的区域内 于是据定理5，得原函数组在区域内函数独立. 2.（中）证明函数相关，并写出其函数关系式. 解析： 因存在函数，使得在整个维空间内成为恒等式 则函数组在整个维空间中函数相关，其函数关系式为. 3.（中上）下列函数是否相关? （1） （2） 解析： (1) 因, 则函数相关. (2) 令 则矩阵为 又此矩阵的秩为3，则据定理6，得函数组函数独立.