数学分析十课件隐函数存在性定理.pptVIP

第十七章 隐函数存在定理 前面关于隐函数（组）的微分法都假定：隐函数存在，且它们的导数或偏导数也存在。 本章：存在性问题及连续性、可微性。 内容小结 隐函数存在性定理 隐函数的连续性 隐函数的可微性 隐函数的求导方法 习题 1、设函数 补充题 作业 P231页，2，3，5 P239页，3，6，7，8，11 从方程组②解得 同理, ①式两边对 y 求导, 可得 2、 验证方程 在点(0,0)某邻域 可确定一个单值可导隐函数 解: 令 则 ① 连续； ② ③ 由定理可知, 在 x = 0 的某邻域内方程存在单值可 导的隐函数 ３、试讨论方程组 在点 的附近能否确定形如 的隐函数． ４、求下列函数组的反函数组的偏导数； 分别由下列两式确定 : 又函数 有连续的一阶偏导数 , 1. 设 解: 两个隐函数方程两边对 x 求导, 得 (2001考研) 解得 因此 2. 设 是由方程 和 所确定的函数 , 求 解法1 分别在各方程两端对 x 求导, 得 (99考研) * §1 单个方程的情况 曲面 与 面的交线 唯一确定隐 函数 曲面 必须与 相交 （1）连续 （1）连续曲线存在 ,使 （2）可微 （2）存在切线 交线 曲面 在 点有切平面且切平面的法线不平行于 轴（即切平面不是 平面） 切平面的法向量为 与 不共线 （即 不能同时为零） 交线 存在切线 ，意味着一元函数的可微性，也要求 定理17.1：设 满足下列条件： 在 D： ， 上连续 （3） （1） （2） 则 使得在 点的某一邻域内，方程 唯一地确定一个定义在区间 内的隐函数 ，定义在 内满足 ,且 （2） 在 上连续 在 有连续的导数，且 （3） （1）存在 条件（1） 在D连续 条件（3）不妨设 对每个 关于 严格单调上升 ,特别 固定 严格单调上升 又 ，所以 要证（1） ： 有任意 使 在D（不妨设）， 证明： 取 故对任意 ， 关于 连续且 唯一 则：（1）存在 使得在 点的某一邻域内，方程 唯一地确定一个定义在区间 内的隐函数 ，定义在 内满足 且 （2） 在 上连续(证明略) 在 有连续的导数，且 （3） (证明略) 可将条件（3）改为 ，结论应改为？ 例1．方程 能否在原点的某邻域内确定隐函数 或 ？ 解： 令 则 ， 他们都在全平面上连续，而 故方程在 点的邻域内可唯一地确定可微的隐函数 它定义在 ，使得 ， 但由于 ，据此无法断定是否在 点的某邻域内 存在。 ， ， 。 有隐函数 例2． 。由 知, 当 ， 确定可微的隐函数 上任何 在这个邻域内可唯一 定理17.2 满足下列条件： ， （ii） ； (iii) 则 （i）偏导数 设函数 . 存在 的一个邻域 ，使得在 点的某邻域内，方程 唯一地确定了一个定义在 的 元隐函数 ，满足 。换句话说，存在函数 ，使得当 时 ； 且 ； （2） 内连续； 内有连续的偏导数，且 ， . （3） 例3 设 ,问方程是否在原点 地确定可微函数 ，其中 属于 某个领域 ，使得 .如可能，求 的某邻域唯一 点的 解： 令 .显然 的偏导数，且 ,由 ， 知，存在 ，使得在 有唯一的可微函数 ，满足： 在全平面有连续 ， . 且 第2节 方程组的情况 问题： 由 能否唯一确定 定理17.3 的某个领域 元有一阶连续偏导数； （初始条件）； 则 (ii) (i) 在点 (iii) 设函数 满足： 内F，G对各变 . (1)在 点的某个邻域 内，方程组 唯一地确定一组函数 ，它们定义在 的某邻域D内，当 满足 ， ，且 ； (1) ， (2) (3) ， 且 ， 注：条件(iii)在定理中的地位和作用与定理17.1中的条件 的地位和作用相当，它对于隐函数组的存在性、 连续性和可微性都是重要的。另外，结论(3)中公式的推导方法 就是我们在第十六章第2节中介绍的隐函数组求导法，因此公式 不必死2记硬背，重要的是掌握求导方法。 例1. 设有方程组 讨论在 的某邻域能否确定隐函数组 .又问在 点的某邻域能否确定函 对确定的函数组求其偏导数。 数组 解: 显然F，G在全平面上有连续的偏导数。又 ， ， ， 因此在 ，但在 点的附近难言是否可唯一确定 . 求函数 点的某邻域方程组可以唯一地确定一组可微函数 函数组 和 数，在方程组两边对 的偏导 求偏导数，得: . 在方程组两边对 求偏导数得: ,解得 定