高等数学下册第八章第五节复习.pptVIP

一、隐函数概念 二、一个方程的隐函数存在定理 三、方程组的隐函数存在定理 * * §5 隐函数的求导公式 ?隐函数：对应法则由方程(组)所确定的函数。 ?设有二元方程F(x, y) ?0，如果有定义于某区间I 的一 元函数 y ? f(x)，当x?I 时，F(x, f(x)) ?0，则称y ? f(x) 是由方程F(x, y) ?0 确定的隐函数。 ?设有三元方程F(x, y, z) ?0，如果有定义于某区域D的 二元函数 z ? f(x, y)，当(x, y)?D时，F(x, y, f(x, y)) ?0， 则称 z ? f(x, y)是由方程F(x, y, z) ?0 确定的隐函数。 ?不是任何方程(组)都能确定隐函数；由方程(组)所确 定的隐函数不一定能够给出显式表达式。 ?方程 x2 ? y2 ?1 ?0 不能确定任何隐函数。 ?问题：(1) 什么条件下方程(组)可以确定隐函数？ (2) 如果隐函数存在，它是否单值？是否连续？是否有 导数或偏导数？ ? ? ? ?例：方程 x2 ? y2 ?1 ?0 在点(0, 1) 附近确定单值隐函数 在点(1, 0)附近不确定单值隐函数 y ? f(x)， 但确定单值隐函数 隐函数存在定理1 设函数F(x, y)在点P(x0, y0)的某邻 域内具有连续偏导数，并且F(x0, y0) ?0，Fy(x0, y0) ?0， 则方程F(x, y) ?0在点P(x0, y0)的某邻域内唯一确定一个 具有连续导数的单值函数y ? f(x)，它满足 y0? f(x0)，且有求导公式 ?求导公式的推导： 方程F(x, y) ?0两端对x求导得 因为Fy连续且Fy(x0, y0) ?0，所以在(x0, y0)的某邻域内 Fy ?0，从而有 例1 验证方程 x2 ? y2 ?1 ?0 在点(0, 1)的某邻域内唯一 确定一个具有连续导数的单值函数y ? f(x)，满足条件 f(0) ?1。求它的一阶和二阶导数。 解 令F(x, y) ?x2 ? y2 ?1，则F(x, y)具有连续偏导数 Fx?2x, Fy ?2y , 又F(0, 1) ?0 , Fy(0, 1) ?2 ?0, 由定理1知 方程 x2 ? y2 ?1 ?0 在点(0, 1)的某邻域内唯一确定一个具 有连续导数的单值函数y ? f(x)，满足条件 f(0) ?1。 解 令 例2 已知函数 y ? f(x)由方程 确定，求 f ?(x)。 隐函数存在定理2 设函数F(x, y, z)在点(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, z) ?0两端分别对x和y求偏导得 因为Fz 连续且Fz(x0, y0, z0) ?0，所以在(x0, y0, z0)的某邻 域内Fz ?0，从而可从上两式解得求导公式。 解 方程两边对x求偏导，得 例3 设 x2? y2?z2 ? 4z ?0, 求 说明： 可利用全微分形式不变性求隐函数的微分或偏导数。 解 例4 设 z ? f(x ?y ?z, xyz), 求 隐函数存在定理3 设F(x, y, u, v)、G(x, y, u, v)在点(x0, y0, u0, v0)的某邻域内具有连续偏导数，又 F(x0, y0, u0, v0) ?0，G(x0, y0, u0, v0) ?0， 并且其函数行列式(或称雅可比(Jacobi)行列式) 在点(x0, y0, u0, v0)不等于零，则方程组 在点(x0, y0, u0, v0)的某邻域内唯一确定一组具有连续 偏导数的单值函数u ?u(x, y)、v ?v(x, y)，它们满足条 件 u0 ? u(x0, y0)，v0 ? v(x0, y0)，且有求导公式 ?求导公式的推导： 在点(x0, y0, u0, v0)的某邻域内此方程组的系数行列式 说明：(1) 定理的条件仅是充分条件。 (2) 定理可推广到一般情形：在“同样”的条件下，由方 程组 Fi(x1 , x2 , … , xn) ?0, i ?1, 2 , … , m 可以确定m个具 有 n ?m 个自变量的隐函数。 (3)求由方程组确定的隐函数的偏导数或导数时，把确 定的函数看成中间变量，按复合函数求导法则对方程 组进行求导，最后解求导后的方程组即可。 解1 直接代入公式。 解2 方程组对x求导并移项得 例5 设