二元函数的中值公式和泰勒公式与一元函数的拉也有相同的公式.PPT

其中 证 类似于定理17.8 的证明，先引入辅助函数 (11) 式称为 的 n 阶泰勒公式, 并称其中 而首项 也可看作 的情形. 件，于是有 由假设， 上满足一元函数泰勒公式的条 应用复合求导法则, 可求得 的各阶导数如下: 　 (12) 公式 (11)． 将 (13), (14) 两式代入 (12) 式, 就得到所求之泰勒 时的特殊情形. 此时的 n 阶泰勒公式可写作 则仅需 内存在 n 阶的连续偏导数即可, 将它们代入泰勒公式 (15)，即有 与§1 例7 的结果 (1. 32) 相比较，这是更接近于真 微分近似相当于现在的一阶泰勒公式． 三、极值问题 多元函数的极值问题是多元函数微分学的重要应 用, 这里仍以二元函数为例进行讨论. 有定义. 若 极大值点、极小值点统称极值点． 的极大 (或极小) 值点. 极大值、极小值统称极值; 极 注意 这里讨论的极值点只限于定义域的内点． 点, 是 g 的极大值点, 但不是 h 的极值点．这是因 同极值; 也取相同极值. 于是 得到二元函数取极值的必要条件如下: 定理17.10 (极值的必要条件) 若函数 在点 值 ( 注 由定义可见, 若 在点 取极值, 则当固 存在偏导数, 且在 取得极值, 则必有 的稳定点. 上述定理指出: 偏导数存在时, 极值点必是稳定点. 但要注意: 稳定点并不都是极值点．在例 6 中之所 以只讨论原点, 就是因为原点是那三个函数的惟一 稳定点；而对于函数 h, 原点虽为其稳定点,但却不 是它的极值点. 与一元函数的情形相同, 多元函数在偏导数不存在 原点没有偏导数, 但 (17) 定点, 则有如下结论: 于是有 证 由 在 的二阶泰勒公式，并注意到条件 二次型 连续函数 ( 仍为一正定二次型 ) 首先证明: 当 正定时， 在点 取得极小 值．这是因为，此时对任何 恒使 极大值． 由于 因此 在此有界 闭域上存在最小值 ，于是有 即 在点 取得极小值． 亦取 则沿着过 的任何直线 最后证明: 当 为不定矩阵时, 在点 不 返回 后页 前页 §4 泰勒公式与极值问题 三、极值问题 返回 一、高阶偏导数 二、中值定理和泰勒公式 一、高阶偏导数 如果它们关于 x 与 y 的偏导数也 导数有如下四种形式: 存在, 说明 具有二阶偏导数．二元函数的二阶偏 类似地可以定义更高阶的偏导数, 例如 的三阶偏导数共有八种情形: 解 由于 例1 因此有 数为 例2 注意 在上面两个例子中都有 数为混合偏导数). 但是这个结论并不对任何函数都 成立，例如函数 它的一阶偏导数为 数相等 (称这种既有关于 x, 又有关于 y 的高阶偏导 的混合偏导数: 由此看到, 这两个混合偏导数与求导顺序有关. 那么 在什么条件下混合偏导数与求导顺序无关呢? 为此 式. 由于 因此有 类似地有 这两个累次极限相等. 下述定理给出了使 (1) 与 (2) 相等的一个充分条件． 连续，则