[理学]24隐函数微分法.ppt

高 等 数 学 BⅡ 吉林大学数学学院 第二章多元函数的微分学及其应用 偏导数 全微分 复合函数的微分法 隐函数微分法 方向导数与梯度 多元微分学的几何应用 多元函数的Taylor公式与极值问题 §4隐函数微分法 4.1 由方程式确定的隐函数的微分法 4.2 由方程组确定的隐函数的微分法 4.3 Jacobi行列式的性质 本节讨论 : 1) 方程在什么条件下才能确定隐函数 . 例如, 方程 除了(-1,0),(1,0)外, 能确定隐函数; 在(-1,0),(1,0)的任何邻域内,y都有两个值 2) 在方程能确定隐函数时, 研究其连续性、可微性 及求导方法问题 . 所以不能确定隐函数; 4.1 由方程式确定的隐函数的微分法 定理4.1 设函数 则(1)方程 单值连续函数 y = f (x) , (2)函数y = f (x)在点x0的某邻域内具有连续的导数， (隐函数求导公式) 定理证明从略，仅就求导公式推导如下： ① 具有连续的偏导数; 的某邻域内可唯一确定一个 在点 的某一邻域内满足 ② 满足 并且 两边对 x 求导 在 的某邻域内 则 在定理条件中 是重要的， 由此条件及Fy的 连续性，使在点P0的某邻域U(P0)内有 这样，对该邻域内固定的x，按满足F(x,y)=0为对应法则, 必对应唯一的y值，从而保证了隐函数的存在性. 从而在该邻域内对固定的x，F(x,y)关于y是严格单调的. 若F( x , y ) 的二阶偏导数也都连续, 二阶导数 : 则还有 隐函数存在定理可推广到三元以及三元以上 方程的情形: 定理4.2 设函数 则(1)方程 单值连续函数z= f (x,y) , (2)函数z = f (x,y)在点P的某邻域内具有连续的偏导数， ① 具有连续的偏导数; 的某邻域内可唯一确定一个 在点 的某一邻域内满足 ② 满足 并且 两边对 x 求偏导 同样可得 则 例4.1 验证方程 在点(0,1)的某邻域内 可确定一个单值可导隐函数 解: 令 连续 , 由隐函数存在定理知, ① 一个隐函数 则 ② 在(0,1) 的某邻域内方程能确定 且 并求 两边对 x 求导 两边再对 x 求导 导数的另一求法 — 利用隐函数求导 例4.2 设 解1: 令 当 求 时， 解2：利用隐函数求导 再对 x 求导 例4.2 设 求 例4.3 设 解：视u为x,y,z的函数，对该方程两端关于y求偏导数,得 其中F是 类函数,且 求 对上式再对y求偏导数,注意到 仍然是x,y,x-z, 的函数，得 其中 其中 4.2 由方程组确定的隐函数的微分法 隐函数存在定理还可以推广到方程组的情形. 由 F、G 的偏导数组成的行列式 称为F、G 的雅可比( Jacobi )行列式. 以两个方程确定两个隐函数的情况为例 , 即 定理4.3 的某一邻域内具有连续偏导数； 设函数 则(1)方程组 ③ ① 在点 ② 内可唯一确定一对一元函数y=y(x),z=z(x)，他们满足 满足: 在点P0的某邻域 (2)函数在点x0的某邻域内是 类函数，并且 有隐函数组 则 两边对 x 求导得 设方程组 的线性方程组，其系数行列式为 故得 这是关于 定理4.4 的某一邻域内具有连续偏 设函数 则方程组 ③ 的单值连续函数 且有偏导数公式 : ① 在点 ② 的某一邻域内可唯一确定一组满足条件 满足: 导数； 例4.4 设 求 解1：令 于是当 时， 例4.4 设 求 解2：在方程组两端关于x求偏导数，并注意r, 是x,y的函数，得 解此方程组，当 时，得 在方程组两端关于y求偏导数，类似地可得 例4.4 设 求 解3：在方程组两端求全微分，由一阶微分形式不变性，得 解此方程组，当 时，得 从而 例4.5 设 求 解：由题意知，方程组确定了u,v是x,y,z的函数，在方程组两端求全微分并加以整理，得 解此方程组，当 时，得 从而 例4.6 设y=f(x,t),而t是由方程F(x,y,t)=0确定的x,y的函数,其中f,F是 类函数，求 解1：设 则有方程式 两端对x求导，得 其中 所以