隐函数存在定理预案.ppt

华北科技学院基础部 前面关于隐函数（组）的微分法都假定：隐函数存在，且它们的导数或偏导数也存在。 设有一组方程 则称由 (1) 确定了隐函数组 之对应, 能使 其中 定义在 若存在 使得对于任给的 有惟一的 三、方程组情形 并有 关于隐函数组的一般情形 ( 含有 m + n 个变量的 m 个方程所确定的 n 元隐函数 )，与此同理. 定理 3 ( 隐函数组定理 ) 设方程组 (1) 中的函数 F 与 G 满足下列条件： (i) 在以点 为内点的某区域 内有连续的偏导数； (ii) (初始条件); (iii) 则有如下结论成立： (i) 在 P0 点的某一邻域 Δ 内，方程 F = 0; G = 0 确定惟一一组隐函数 它们被定义在 (x0, y0) 的某个邻域 U 内，且满足 及 (ii) 在 U 内连续； 且有 本定理的详细证明从略，下面只作一粗略的解释: 在 内存在一阶连续偏导数， (iii) ① 由方程组 (1) 的第一式 确定隐 函数 ② 将 代入方程组(1) 的第二式, 得 ③ 再由此方程确定隐函数 并代回至 这样就得到了一组隐函数 通过详细计算, 又可得出如下一些结果: 例5 设有方程组 试讨论在点 的近旁能确定怎样的隐函 数组？并计算各隐函数在点 处的导数. 解 易知点 满足以上方程组 . 设 它们在　 上有连续的各阶偏导数. 再考察 在点 关于所有变量的雅可比矩阵 由于 因此由隐函数组定理可知, 在点 近旁可以惟一 地确定隐函数组: 但不能肯定 y , z 可否作为 x 的两个隐函数. 运用定理 3 的结论 , 可求得隐函数在点 P0 处的 导数值: 且 解： 例6 * Chapter14. 偏导数和全微分 2009年9月21日 星期一 * §16.1 隐函数存在定理 《数学分析》(2) 第 16 章 隐函数存在定理函数相关 《数学分析》（2） 一、 F (x, y) = 0 情形 二、多变量情形 三、方程组情形 本章讨论隐函数存在性问题及连续性、可微性。 1、隐函数概念 显函数：因变量可由自变量的某一分析式来表示 的函数称为显函数．例如： 一、 F (x, y) = 0 情形 方程式所确定的函数,通常称为隐函数．例如： 隐函数：自变量与因变量之间的关系是由某一个 注2 不是任一方程　　　　　 都能确定隐函数, 例如　　　　　　 显然不能确定任何隐函数． 注1 隐函数一般不易化为显函数，也不一定需要 化为显函数．上面把隐函数仍记为 ，这 与它能否用显函数表示无关． 注3 一个方程能否确定隐函数还应与所讨论的点及其某邻域有关. (0,1) (0,-1) (-1,0) (1,0) 注4 类似地可定义多元隐函数．例如: 由方程 确定的隐函数 由方程 确定的隐函数 等 等. 条件时，由 F(x, y) =0 能确定隐函数 y =f (x) 并使 要讨论的问题是：当函数　　　 满足怎样一些 该隐函数具有连续、可微等良好性质?