高数同济六版bai-D9_9二元泰勒公式.ppt

目录 上页 下页 返回 结束 *第九节一、二元函数泰勒公式一、二元函数泰勒公式 二、极值充分条件的证明二、极值充分条件的证明 二元函数的泰勒公式 第九章 目录 上页 下页 返回 结束 一、二元函数的泰勒公式一、二元函数的泰勒公式一元函数)(xf的泰勒公式: 20000!2)()()()(hxfhxfxfhxfnnhnxf!)(0)(10) 1(!) 1()(nnhnxxf) 10(推广多元函数泰勒公式 目录 上页 下页 返回 结束 记号记号 (设下面涉及的偏导数连续): ),()(00yxfykxh),()(002yxfykxh),()(00yxfykxhm),(),(0000yxfkyxfhyx表示),(),(2),(00200002yxfkyxfkhyxfhyyyxxx),(C000yxyxfkhpmpmpmpmppm 一般地, 表示表示目录 上页 下页 返回 结束 定理定理1 1.),(),(00yxyxfz在点设的某一邻域内有直到 n + 1 阶连续偏导数 ,),(00kyhx为此邻域内任 一点, 则有),(),(0000yxfkyhxf),()(00yxfkhyx),()(002!21yxfkhyx),()(00!1yxfkhnyxn),()(001! ) 1(1kyhxfkhRnyxnn) 10(nR其中 称为f 在点(x0 , y0 )的 n 阶泰勒公式阶泰勒公式,称为其拉格拉格朗日型余项朗日型余项 .目录 上页 下页 返回 结束 证证: 令),10(),()(00tktyhtxft则 ),() 1 (, ),()0(0000kyhxfyxf利用多元复合函数求导法则可得: ),(),()(0000t kyt hxfkt kyt hxfhtyx),()()0(00yxfkhyx),()(002t kyt hxfhtxx ),(200t kyt hxfkhyx),(002t kyt hxfkyy),()()0(002yxfkhyx 目录 上页 下页 返回 结束 ),(C)(000)(t kyt hxyxfkhtpmpmpmpmppmm一般地, ),()()0(00)(yxfkhmyxm由 )(t的麦克劳林公式, 得 ) 1 ()() 1(! ) 1(1nn) 10(将前述导数公式代入即得二元函数泰勒公式. )0()0()0()0()(!1!21nn 目录 上页 下页 返回 结束 ),()(001! ) 1(1kyhxfkhRnyxnn说明说明:(1) 余项估计式. 因 f 的各 n+1 阶偏导数连续, 在某闭邻域其绝对值必有上界 M , ,22kh 令则有1)(! ) 1(nnkhnMRsincoskh11)sincos(! ) 1(nnnM)1(max2 1 , 0 xx利用11)2(! ) 1(nnnM)(no2目录 上页 下页 返回 结束 (2) 当 n = 0 时, 得二元函数的拉格朗日中值公式:),(),(0000yxfkyhxf),(00kyhxfhx),(00kyhxfky) 10(3) 若函数),(yxfz 在区域D 上的两个一阶偏导数恒为零, .),(常数yxf由中值公式可知在该区域上 定理1目录 上页 下页 返回 结束 例例1. 求函数)0 , 0()1ln(),(在点yxyxf解解: yxyxfyxfyx11),(),(的三阶泰勒公式. 2)1 (1),(),(),(yxyxfyxfyxfyyyxxx333)1 (!2yxyxfpp)3,2, 1 ,0(p444)1 (!3yxyxfpp)4,3,2, 1 ,0(p因此,)0, 0()(fkhyx)0, 0()0, 0(yxfkfhkh目录 上页 下页 返回 结束 )0, 0()(2fkhyx)0, 0()(3fkhyx)0, 0()0, 0(2)0, 0(22yyyxxxfkfkhfh)0 , 0(C333303ppppppyxfkh2)(kh3)(2kh,0)0, 0(f又代入三阶泰勒公式得将ykxh,)1ln(yxyx 2)(21yx 33)(31Ryx3)1 (!2yx),(),(0000yxfkyhxf),()(00yxfkhyx),()(002!21yxfkhyx),()(003!31yxfkhyx3R其中),()(43khfkhRyx44)1 ()(41yxyxykxh) 10(目录 上页 下页 返回 结束 时, 具有极值二、极值充分条件的证明二、极值充分条件的证明 的某邻域内具有一阶和二阶连续偏导数, 且令则: 1) 当A 0 时取极小值.2) 当3) 当时, 没有极值.时, 不能确定 , 需另行讨论.若函数的在点),(),(00yxyxfz 0),(,0),(0000yxfyxfyx),(, ),(, ),(000000yxfCyxfByxfAyyyxxx02 BAC02 BAC02 BAC定理定理2 (充分条件)目录 上页 下页 返回 结束 证证: 由二元函数的泰勒公式, 并注意0),(,0),(0000yxfyxfyx则有),(),(0000yxfkyhxfz20021),(hkyhxfxxkhkyhxfyx),(200),(200kkyhxfyy,),(),(00连续的二阶偏导数在点由于yxyxf所以Akyhxfxx),(00Bkyhxfyx),(00Ckyhxfyy),(0000, 0时kh00目录 上页 下页 返回 结束 22221kCkhBhA其中其中 , , 是当h 0 , k 0 时的无穷小量 ,于是z),(21khQ)(22kh ,很小时因此当kh.),(确定的正负号可由khQz(1) 当 ACB2 0 时, 必有 A0 , 且 A 与C 同号, )()2(),(2222221kBACkBkhBAhAkhQA)()(2221kBACkBhAA可见 ,0),(,0khQA时当从而z0 , 因此),(yxf;),(00有极小值在点yx)(2o22221kkhh目录 上页 下页 返回 结束 )()(),(2221kBACkBhAkhQA,0),(,0khQA时当从而 z0,在点因此),(yxf;),(00有极大值yx(2) 当 ACB2 0 时, 若A , C不全为零, 无妨设 A0, 则 )(),(221kkBhAkhQA)(2BAC ),(0)()(),(0000yxyyBxxAyx接近沿直线当时, 有,0kBhAAkhQ与故),(异号;),(yx当,),(0000时接近沿直线yxyy,0k有AkhQ与故),(同号.可见 z 在 (x0 , y0) 邻近有正有负, 在点因此),(yxf;),(00无极值yx),(00yxxyO目录 上页 下页 返回 结束 +若 AC 0 , 则必有 B0 ,不妨设 B0 , 此时 222),(kCkhBhAkhQ),(00kyhx对点,同号时当kh,0),(khQ,异号时当kh,0),(khQ可见 z 在 (x0 , y0) 邻近有正有负, 在点因此),(yxf;),(00无极值yxkhB2,0z从而,0z从而(3) 当ACB2 0 时, 若 A0, 则21)(),(kBhAkhQA若 A0 , 则 B0 ,2),(kCkhQ可能),(khQ为零或非零xy),(00yxO目录 上页 下页 返回 结束 此时)(),(221okhQz因此 作业作业P123 1 , 3 , 4 , 5第十节 ,)(,0),(2确定的正负号由时因为ozkhQ不能断定 (x0 , y0) 是否为极值点 .