2019年最新-3全微分-精选文档.ppt

第三节 全 微 分 1 一、全微分的定义 由一元函数微分学中增量与微分的关系得 f ( x ? ? x , y ) ? f ( x , y ) ? f ( x , y ) ? x x ? f ( x , y ) ? y f ( x , y ? ? y ) ? f ( x , y ) y 二 元 函 数 x 和 y 的 对 对 偏 增 量 二 元 函 数 x y 的 对 和 对 偏 微 分 全增量的概念 2 如果函数 z ? f ( x , y ) 在点 ( x , y ) 的某邻域内有定 义，并设 P ? ( x ? ? x , y ? ? y ) 为这邻域内的任意一点， 则称这两点的函数值之差 f ( x ? ? x , y ? ? y ) ? f ( x , y ) 为函数在点 P 对应于自变量增量 ? x , ? y 的 全增 量，记为 ? z ， 即 ? z = f ( x ? ? x , y ? ? y ) ? f ( x , y ) 一般来讲，全增量 ? z 与 ? x , ? y 的相依关系是比较复 杂的，因此我们希望能象一元函数的微分那样，用 ? x , ? y 的线性函数 A ? x ? B ? y 来近似表示，并给出误 差估计。由此引出如下定义： 3 全微分的定义 如果函数 z ? f ( x , y ) 在点 ( x , y ) 的全增量 ? z ? f ( x ? ? x , y ? ? y ) ? f ( x , y ) 可以表示为 ? z ? A ? x ? B ? y ? o ( ? ) ，其中 A , B 不依赖于 ? x , ? y 而仅与 x , y 有关， ? ? ( ? x ) ? ( ? y ) ， 则称函数 z ? f ( x , y ) 在点 ( x , y ) 可微分， A ? x ? B ? y 称为函数 z ? f ( x , y ) 在点 ( x , y ) 的 全微分 ，记为 dz ，即 dz = A ? x ? B ? y . 2 2 函 数 若 在 某 区 域 D 内 各 点 处 处 可 微 分 ， 则 称 这 函 数 在 D 内 可 微 分 . 如果函数 z ? f ( x , y ) 在点 ( x , y ) 可微分 , 则函数在该点连续 . 4 事实上 lim ? z ? 0 , ? z ? A ? x ? B ? y ? o ( ), ? ? 0 ? x ? 0 ? y ? 0 ? lim f ( x ? ? x , y ? ? y ) ? ? 0 ? lim [ f ( x , y ) ? ? z ] ? f ( x , y ) 故 函 数 在 点 处 连 续 . z ? f ( x , y ) ( x , y ) 二、可微的条件 5 定理 1 （必要条件） 如果函数 z ? f ( x , y ) 在点 ? z ( x , y ) 可微分，则该函数在点 ( x , y ) 的偏导数 、 ? x ? z 必存在，且函数 z ? f ( x , y ) 在点 ( x , y ) 的全微分 ? y 为 ? z ? z ? x ? ? y ． dz ? ? x ? y 如 证 果 函 数 在 点 可 微 分 , z ? f ( x , y ) P ( x , y ) ? ( x ? ? P x , y ? ? y ) ? P 的 某 个 邻 域 ? z ? A ? x ? B ? y ? o ( ) 总成立 , 6 ? ? ? | ? x | , 此 时 ? y ? 0 当 时 ， 上 式 仍 成 立 ， ? A ? ? x ? o (| ? x |) f ( x ? x , y ) ? f ( x , y ) ? f ( x ? ? x , y ) ? f ( x , y ) ? z lim ? A ? , ? x ? 0 ? x ? x ? z B ? . 同理可得 ? y 一元函数在某点的导数存在 微分存在． 多元函数的各偏导数存在 全微分存在． ? xy 2 2 x ? y ? 0 ? 2 2 例如 f ( x , y ) ? . ? x ? y 2 2 ? 0 x ? y ? 0 ? 7 在 点 处 有 ( 0 , 0 ) f ( 0 , 0