第五章微分学SETION32.docVIP

四、隐函数 1. 单变量隐函数 对于由方程 F(x,y)=0 所确定的隐函数有下述定理: [存在定理] 设函数F(x,y)在点M0(x0,y0)的某一邻域* 邻域的概念见第二十一章，这里M * 邻域的概念见第二十一章，这里M0的领域是指包含M0的某一矩形 (i) F(x,y)及其偏导数 SKIPIF 1 0 在R内连续, (ii) F(x0,y0)=0, (iii) SKIPIF 1 0 ≠0, 那末在点M0(x0,y0)的某一邻域 SKIPIF 1 0 SKIPIF 1 0 ; SKIPIF 1 0 ) 内有唯一的单值函数y=f (x)存在,具有下列性质: 1° F[x, f (x)]≡0,且f (x0)=y0, 2° 在区间( SKIPIF 1 0 )内函数f(x)连续, 3° 它在这区间内有连续的导数 SKIPIF 1 0 . [导数的计算] SKIPIF 1 0 ( SKIPIF 1 0 ≠0) SKIPIF 1 0 ( SKIPIF 1 0 ≠0) 2. 多变量隐函数 对于由方程 F(x,y,z)=0 所确定的隐函数有下述定理: [存在定理] 设函数F(x,y,z)在点P0(x0,y0,z0)的某一邻域R内定义并且满足下列条件: (i) F(x,y,z)及其偏导数 SKIPIF 1 0 , SKIPIF 1 0 在R内连续, (ii) F(x0,y0,z0)=0, (iii) SKIPIF 1 0 (x0,y0,z0) ≠0, 那末在点P0(x0,y0,z0)的某一邻域 SKIPIF 1 0 SKIPIF 1 0 ; SKIPIF 1 0 ; SKIPIF 1 0 ) 内有唯一的单值函数z=h(x,y)存在,具有下列性质: 1° F[x,y,h(x,y)]≡0,且h(x0,y0)= z0, 2° 函数h(x,y)连续, 3° 它有连续的偏导数 SKIPIF 1 0 . [导数的计算] SKIPIF 1 0 , SKIPIF 1 0 ( SKIPIF 1 0 ≠0) 如果需要求所有一,二, SKIPIF 1 0 各阶的偏导数,只要将恒等式 F(x,y,z)=0 两边求一阶,二阶,三阶,...各阶的全微分,然后和全微分dz,d2z, SKIPIF 1 0 的定义形式对比,即得. 注意,对于由方程 F(x1, SKIPIF 1 0 ,xn,y)=0 所确定的隐函数有类似结果. 3. 由方程组所确定的隐函数 对由方程组 SKIPIF 1 0 (1) 所确定的隐函数有下述定理: [存在定理] 设函数F(x,y,z)及G(x,y,z)在点P0(x0,y0,z0)的某一邻域R内定义,并且满足下列条件: (i) F(x,y,z),G(x,y,z)及其所有偏导数都在R内连续, (ii) F(x0,y0,z0)=0,G(x0,y0,z0)=0, (iii) 行列式 J(x,y,z)= SKIPIF 1 0 在点P0(x0,y0,z0)不等于零:J(x0,y0,z0)≠0. 那末在点P0(x0,y0,z0)的某一邻域 SKIPIF 1 0 SKIPIF 1 0 ; SKIPIF 1 0 ; SKIPIF 1 0 ) 内有唯一的一组单值函数y=f(x),z=g(x)存在,具有下列性质: 1° F[x,f(x),g(x)]≡0,G[x,f(x),g(x)]≡0,且f(x0)=y0,g(x0)=z0, 2° 在区间( SKIPIF 1 0 )内函数f(x),g(x)连续, 3° 在这区间内有连续导数 SKIPIF 1 0 . [导数的计算] 将y和z看作x的隐函数,将方程组(1)对x微分得 SKIPIF 1 0 这是关于 SKIPIF 1 0 及 SKIPIF 1 0 的线性方程组,其行列式J≠0,由此可以解出 SKIPIF 1 0 及 SKIPIF 1 0 . 注意,对于由方程组 SKIPIF 1 0 所确定的隐函数有类似的结果. 五、微分表达式中的变量替换 1.单变量函数 设y=f (x),并有一个含有自变量、因变量及其导数的表达式 H=F(x,y, SKIPIF 1 0 ) 当作变量替换时,各导数可按下列方法计算: [作自变量变换的情形] 设变换公式