§182隐函数组.ppt

§18.2 隐函数组 18.2.1　隐函数组 18.2.2　隐函数组定理 18.2.3　反函数组和坐标变换 18.2.1　隐函数组 18.2.2　隐函数组定理 依据一阶微分形式不变性, 得到 并由此推知 继续求以 u, v 为自变量的 与 的表达式: * 一般地，有： 假设方程组(1)中F和G可微 ，对两式两边求微分 得到下列方程组： 我们将其中的du,dv看成变元，而F及G关于u,v的偏导数看成是系数，则(E1)可视为二元线性方程组，设其系数行列式不为零，即 (E1) 移项有 Jacobi行列式 利用Grammer法则可求出du及dv: 注意到微分与其偏导数的关系 从而可得 定理 18.4 ( 隐函数组定理 ) 设方程组 (1) 中的函数 F 与 G 满足下列条件： (i) 在以点 为内点的某区域 上连续； (ii) (初始条件); (iii) 在 V 内存在连续的一阶偏导数； (iv) 即有 则有如下结论成立： 且满足 必定存在邻域 其中 使得 在 上连续. 在 上存在一阶连续偏导 数, 且有 本定理的详细证明从略 ( 第二十三章有一般隐函 数定理及其证明 ), 下面给出一些说明: 说明：(1)定理的证明，利用隐函数定理来证。 解得： 同理： √ √ √ 解1 直接代入公式； 解2 运用公式推导的方法， 将所给方程的两边对 求导并移项 将所给方程的两边对 求导，用同样方法得 例 3 设函数 具有连续的偏导数, 是由方程组 所确定的隐函数组. 试求 解 设 则有 由此计算所需之雅可比行列式: 于是求得 注 计算隐函数组的偏导数 ( 或导数 ) 比较繁琐, 要学懂前两例所演示的方法 ( 利用雅可比矩阵和 雅可比行列式 ), 掌握其中的规律. 这里特别需要 “ 精心＋细心＋耐心 ”. 三、反函数组与坐标变换 设有一函数组 它确定了一个映射 ( 或变换 ) : 写成点函数形式, 即为 并记 的 象集为 现在的问题是: 函数组 (6) 满足 何种条件时, 存在逆变换 即存在 亦即存在一个函数组 使得满足 这样的函数组 (7) 称为函数组 (6) 的反函数组. 它 的存在性问题可化为隐函数组的相应问题来处理. 为此, 首先把方程组 (6) 改写为 然后将定理 18. 4 应用于 (8) , 即得下述定理. 定理 18. 5 (反函数组定理) 设 (6) 中函数在某区域 上具有连续的一阶偏导数, 是 的内点, 且 则在点 的某邻域 内, 存在惟一 此外, 反函数组 (7) 在 内存在连续的一阶 的一组反函数 (7) , 使得 偏导数; 若记 则有 同理又有 由 (9) 式进一步看到: 此式表示: 互为反函数组的 (6) 与 (7) , 它们的雅 可比行列式互为倒数, 这和以前熟知的反