§8.3全微分.pptVIP

* f (x+?x, y) – f (x, y) ? fx(x, y)?x f (x, y+?y) – f (x, y) ? fy(x, y)?y §8.3 全 微 分 一、全微分的定义 由一元函数微分学中增量与微分的关系得 全增量的概念 二元函数 对x和对y的偏增量 二元函数 对x和对y的偏微分 如果函数 z=f(x, y) 在点P(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 来近似表示?z, 并给出误差估计. 由此引出如下定义: 全微分的定义 如果函数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 有关, 则称函数z=f(x, y)在点(x, y)可微分(简称可微), 称A?x+B?y为函数z=f(x, y)在点(x, y)的全微分, 记为dz, 即 dz = A?x + B?y 函数z=f(x, y)若在某区域D内各点处处可微分, 则称函数z=f(x, y)在D内可微分. 结论1: 如果函数z=f(x, y)在点(x, y)可微分, 则函数在该点连续. 事实上, 由条件知: ?z = A?x + B?y + o(?), 则 = f(x, y) 故, 函数z=f(x, y)在点(x, y)处连续. 即 二、可微的条件 定理1(必要条件): 如果函数z=f(x, y)在点(x, y)可微分, 则该函数在点(x, y)的偏导数 必存在, 且函数z=f(x, y)在点(x, y)的全微分为: 证: 如果函数z=f(x, y)在点P(x, y)可微分, 设P?(x+?x, y+?y)为点P邻域内的任意一点, 则总有 成立, ?z = A?x + B?y + o(?) 当?y=0时, 上式仍成立, 此时? =| ?x |, ?z = f(x+?x, y) – f(x, y) = A?x + o(|?x|) 则 即 同理, 可得: 对于一元函数, 在某点的导数存在当且仅当在该点可微． 但对于多元函数, 在某点的各偏导数都存在并不能保证在该点的全微分存在. 例如: 可以证明, 函数 f(x, y)在点(0, 0)处, 两个偏导数都存在, 且 fx(0, 0) = fy(0, 0) = 0, 则 如果考虑点P?(?x, ?y)沿直线 y = x 趋近于(0, 0), 则 说明它不随? →0而趋于0. 换言之, 当?→0时, 所以, 函数f(x, y)在点(0, 0)处不可微. 说明: 多元函数的各偏导数存在并不能保证全微分存在. 在点(x, y)处连续, 则该函数f(x, y)在点(x, y)处可微分. 定理2(充分条件): 如果函数 f(x, y)的偏导数 ?z = f(x+?x, y+?y) – f(x, y) =[ f(x+?x, y+?y) – f(x, y+?y)] +[ f(x, y+?y) – f(x, y)] 证: 对第一个方括号内的表达式在以 x 和 x+?x 为端点构成的区间内应用拉格朗日中值定理(此时将y+?y视为常量), 得 f(x+?x, y+?y) – f(x, y+?y) = fx(x+?1?x, y+?y)?x ( 0?11 ) = fx(x, y)?x + ?1?x (依偏导数的连续性) 其中, ?1为?x→0, ?y→0时的无穷小量. 同理, f(x, y+?y) – f(x, y) = fy(x, y+?2?y)?y ( 0?21 ) = fy(x, y)?y + ?2?y (依偏导数的连续性) 其中, ?2为?y→0时的无穷小量. 所以, ?z = fx(x, y)?x + fy(x, y)?y + ?1?x + ?2?y, 而 由于d