北大高数GS68隐函数存在定理.pptVIP

* §6.8 隐函数求导法则 一、一个方程的情形 二、方程组的情形 隐函数存在定理1 隐函数存在定理2 本章讨论 : 1) 方程在什么条件下才能确定隐函数y = f (x) . 例如, 方程 当 C 0 时, 能确定隐函数; 当 C 0 时, 不能确定隐函数; 2) 在方程能确定隐函数时, 研究其可微性及求导方法. 设给定方程F(x,y)=0. 或者更一般些,给定方程组 1) 方程组在什么条件下能确定隐函数 2) 在方程组能确定隐函数时, 研究其可微性及求导方法. 设 在一点 的邻域内有定义.且满 足下列条件: 定理1 则在 的某个邻域 内存在一个函数 使得 且 并且 内有连续的导函数 一．一个方程的情形 x y z O 定理的几何意义:函数 看作三维空间中的一张 曲面,其与平面z=0有交点(x0,y0,0).由 及偏导数的连 续性,可知 在(x0,y0)附近保号,不妨设其为正. 从而,如把 函数z=F(x,y)看作y的函数为单调递增. 因此曲面和平面z=0的交集必定 是一条曲线,此即是我们要求的 隐函数的图形. (x0,y0) 条件 对从 方程F(x,y)=0中将y解成x的函数 也是十分重要的.例如,要从方程 ax+by=0中将y解成x的函数,必须 b≠0,而恰好有 两边对 x 求导 在 的某邻域内 则 此定理不仅证明了隐函数的存在性,还给出了隐函数微商法. 例1 求方程 在点 附近所 确定的隐函数 y=y(x)的导数 解 令 则 均为连续函数,又 由定理1,上述方程在 点附近所确定的隐函数可微,且 于是 已求得 于是 故 …………(*) 也可这样求得,直接把 代入到式(*),得 设函数F (x，y，z)在点P(x0，y0，z0)的某一邻域内具有 连续的偏导数，且F(x0，y0，z0)?0，Fz(x0，y0，z0)?0 ，则方程 程F (x，y，z)?0在点(x0，y0，z0)的某一邻域内恒能唯一确定一 个单值连续且具有连续偏导数的函数z?f (x，y)，它满足条件 z0?f(x0，y0)，F ( x, y, f (x,y) )=0, 并有 隐函数存在定理2 ， ． 定理1可推广到三元函数或更多元的情形. 解 设F (x，y，z)? x2?y2?z2?4z，则Fx?2x，Fz?2z?4， 例2 设x2?y2?z2?4z?0，求 ． ， ． 注:本题求一阶导数还可用复合导数求导法则来做.方程两边求偏导 求二阶导数的方法则同前. 例3 求方程 确定的隐函数 的 偏导数 解1 令 则 当 时,由定理2, 解2 直接由方程 两边分别对x,y求导,得 由此解得 例4 求由方程 确定的隐函数 两个偏导数. 解 引入辅助变量 则 于是 注: 有些地方引入记号:以 分别表示 对第一个变量的偏导数 和第二个变量的偏导数,则上面的结果可表示为 二．方程组的情形 下面讨论由方程组 在什么条件下确定隐函数 的问题. 为此,先 介绍线性代数中解线性方程组的克里默法则. 用消元法解二元线性方程组 方程组的解为 若记 系数行列式 则二元线性方程组的解为 例 解 定理3 且满足方程组 的导函数由下列方程组求出: 使得 回到由方程组确定的隐函数的求导问题. 有隐函数组 则 两边对 x 求导得 在点P 的某邻域内雅可