河海大学理学院高等数学二元函数的taylor公式学习教案

1、会计学1河海大学理学院高等数学二元函数河海大学理学院高等数学二元函数(hnsh)的的taylor公式公式第一页，共29页。 ).10()()!1()()(!)()(2)()()()(1000)1(00)(200000 nnnnxxnxxxfxxnxfxxxfxxxfxfxf一元函数的泰勒(ti l)公式：问题(wnt)： 能否用多元多项式来逼近一个给定的多元函数(hnsh)，并能具体地估算出误差的大小呢？第1页/共28页第二页，共29页。定定理理 设设),(yxfz 在在点点),(00yx的的某某一一邻邻域域内内连连续续 且且 有有 直直 到到1 n阶阶 的的 连连 续续 偏偏 导导 数数 ,

2、 , ),(00hyhx 为为此此邻邻域域内内任任一一点点, ,则则有有 余余项项 nR ) 10(),()!1(1),(!1),(! 21),(),(),(00100002000000 kyhxfykxhnyxfykxhnyxfykxhyxfykxhyxfhyhxfnn第2页/共28页第三页，共29页。其中(qzhng)记号),(00yxfykxh ),(),(0000yxkfyxhfyx ),(002yxfykxh ),(),(2),(00200002yxfkyxhkfyxfhyyxyxx 一般(ybn)地,记号表表示示),(00yxfykxhm .),(000yxpmpmpmpmppmy

3、xfkhC第3页/共28页第四页，共29页。(2)当当0 n时时, ,泰泰勒勒公公式式成成为为 ),(),(),(),(00000000kyhxkfkyhxhfyxfkyhxfyx 上式称为二元函数(hnsh)的拉格朗日中值公式.第4页/共28页第五页，共29页。推论推论 如果函数如果函数),(yxf的偏导数的偏导数),(yxfx, ,),(yxfy 在某一邻域内都恒等于零在某一邻域内都恒等于零, ,则函数则函数),(yxf在该区在该区 域域内恒为常数内恒为常数. . )()0() 1 (证引入函数(hnsh).10(),()(00 tktyhtxft),()0(00yxf ).,()1(00

4、kyhxf 显然(xinrn)第5页/共28页第六页，共29页。),()!1(1)0 , 0(!1)0 , 0(! 21)0 , 0()0 , 0(),(12yxfyyxxnfyyxxnfyyxxfyyxxfyxfnn )10( )5(第6页/共28页第七页，共29页。注注：若若二二元元函函数数 的的各各阶阶导导数数在在点点),(00yx的的某某一一邻邻域域内内有有界界M. .于于是是, ,有有下下面面的的误误差差估估计计式式: : ),(yxfz )3(,!12!1111nnnnMnkhnMR其中.22kh 由由)3(式式可可知知, ,误误差差nR是是当当0 时时比比n 高高阶阶的的无无穷穷

5、小小. .第7页/共28页第八页，共29页。例1求函数求函数)1ln(),(yxyxf 的三阶麦的三阶麦克劳林公式克劳林公式. .解 3322322)0 , 0()0 , 0(3)0 , 0(3)0 , 0(! 31)0 , 0()0 , 0(2)0 , 0(21)0 , 0()0 , 0()0 , 0(),(Rfyfxyyfxfxfyxyffxyfxffyxfyyyxyyxxyxxxyyxyxxyx 第8页/共28页第九页，共29页。例解,11),(),(yxyxfyxfyx ,)1(1),(),(),(2yxyxfyxfyxfyyxyxx ,)1(! 2333yxyxfpp ),3,2,1

6、 ,0( p,)1(!3444yxyxfpp ),4,3,2,1 ,0( p第9页/共28页第十页，共29页。,)0 , 0()0 , 0()0 , 0(yxyfxffyyxxyx ,)()0 ,0()0 ,0(2)0 ,0()0 ,0(2222yxfyxyffxfyyxxyyxyxx ,)( 2)0 , 0()0 , 0(3)0 , 0(3)0 , 0()0 , 0(332233yxfyfxyyfxfxfyyxxyyyxyyxxyxxx 第10页/共28页第十一页，共29页。又又0)0 , 0( f, ,故故,)(31)(21)1ln(332Ryxyxyxyx 其中(qzhng).10(,)

7、1()(41),(!414443 yxyxyxfyyxxR第11页/共28页第十二页，共29页。例2解 22) 1)(1 , 0() 1() 1 , 0(2) 1 , 0(21) 1)(1 , 0() 1 , 0() 1 , 0(),( yfyxfxfyfxffyxfyyxyxxyx第12页/共28页第十三页，共29页。例2解,cos1,sin1, 2) 1 , 0(22xyyfxyffyx ,221) 1 , 0(, 0) 1 , 0(, 2) 1 , 0( yyxyxxfff,21) 1 , 0(, 0) 1 , 0( yxff,cos)1 (,sin1,cos123222xyfxyyfx

8、yfyyxyxx ) 1(2212(21) 1(212),(22 yxyyxf第13页/共28页第十四页，共29页。定理定理 2 2（充分条件）（充分条件）设函数设函数),(yxfz 在点在点),(00yx的某邻域内连续，的某邻域内连续，有一阶及二阶连续偏导数，有一阶及二阶连续偏导数，又又 0),(00 yxfx, , 0),(00 yxfy， 令令 Ayxfxx ),(00， Byxfxy ),(00， Cyxfyy ),(00，利用二元函数的泰勒公式(gngsh)证明第八节中定理2第14页/共28页第十五页，共29页。则则),(yxf在点在点),(00yx处是否取得极值的条件如下：处是否取

9、得极值的条件如下：（1 1）02 BAC时有极值，时有极值， 当当0 A时有极大值，时有极大值， 当当0 A时有极小值；时有极小值；（2 2）02 BAC时没有极值；时没有极值；（3 3）02 BAC时可能有极值时可能有极值. .证依二元函数的泰勒(ti l)公式，对于任一对于任一)(),(0100PUkyhx 有有),(),(0000yxfkyhxff 第15页/共28页第十六页，共29页。),(2),(2100002kyhxhkfkyhxfhxyxx ),(002kyhxfkyy ).10( )6()1( 设设02 BAC, ,即即 . 0),(),(),(2000000 yxfyxfyx

10、fxyyyxx)7( 因因),(yxf的的二二阶阶偏偏导导数数在在)(01PU内内连连续续, ,由由不不等等式式)7(可可知知, ,存存在在点点0P的的邻邻域域)()(0102PUPU , ,使使得得对对任任一一)(),(0200PUkyhx 有有第16页/共28页第十七页，共29页。 . 02 xyyyxxfff)8(注:将将),(yxfxx在在点点),(00kyhx 处处的的值值记记为为xxf, ,其其他他类类似似. . 由由)8(式式可可知知, ,当当)(),(0200PUkyhx 时时, ,xxf及及yyf都都不不等等于于零零且且两两者者同同号号. .于于是是)6(式式可可写写成成 .

11、21222xyyyxxxyxxxxfffkkfhfff 第17页/共28页第十八页，共29页。 当当kh、不同时为零且不同时为零且)(),(0200PUkyhx 时时, ,上式右端方括号内的值为正上式右端方括号内的值为正, ,所以所以f 异于零且异于零且与与xxf同号同号. . 又又由由),(yxf的的二二阶阶偏偏导导数数的的连连续续性性知知xxf与与A同同号号, ,因因此此f 与与A同同号号, ,当当0 A时时),(00yxf为为极极小小值值, ,当当0 A时时),(00yxf为为极极大大值值. .)2( 设设02 BAC, ,即即 . 0),(),(),(2000000 yxfyxfyxf

12、xyyyxx)9(第18页/共28页第十九页，共29页。先假定先假定, 0),(),(0000 yxfyxfyyxx则则. 0),(00 yxfxy分别令分别令hk 及及hk , ,则由则由)6(式可得式可得 ,),(2),(21010101010102kyhxfkyhxfkyhxfhfyyxyxx 及 ,),(2),(22020202020202kyhxfkyhxfkyhxfhfyyxyxx 其其中中.1,021 第19页/共28页第二十页，共29页。 当当0h时时, ,以上两式方括号内的式子分别以上两式方括号内的式子分别趋于极限趋于极限),(2),(20000yxfyxfxyxy 及及 从

13、而当从而当h充分接近零时充分接近零时, ,两式方括号内的值有两式方括号内的值有相反的符号相反的符号, ,因此因此f 可取不同符号的值可取不同符号的值, ,所以所以),(00yxf不是极值不是极值. . 再证再证),(),(0000yxfyxfyyxx与与不同时为零的情形不同时为零的情形. .不妨不妨. 0),(00 yxfxy先取先取0 k, ,于是由于是由)6(式得式得).,(21002yhxfhfxx 第20页/共28页第二十一页，共29页。当当h充分接近零时充分接近零时, , f 与与),(00yxfxx同号同号. .但但如如果果取取 ,),(,),(0000syxfksyxfhxxxy

14、 其中其中s是异于零但充分接近于零的数是异于零但充分接近于零的数, ,则可发现则可发现, ,当当s充分小时充分小时, , f 与与),(00yxfxx异号异号. . 如如此此证证明明了了: :在在点点),(00yx的的任任意意邻邻近近, , f 可可取取不不同同符符号号的的值值, ,因因此此),(00yxf不不是是极极值值. .)3(考察函数42),(yxyxf 及.),(32yxyxg 第21页/共28页第二十二页，共29页。容易验证容易验证, ,这两个函数都以这两个函数都以)0 , 0(为驻点为驻点, ,且在点且在点)0 , 0(处都满足处都满足02 BAC. .但但),(yxf在点在点)

15、0 , 0(处有极小值处有极小值, ,而而),(yxg在点在点)0 , 0(处却没有极值处却没有极值. .第22页/共28页第二十三页，共29页。定定理理 设设),(yxfz 在在点点),(00yx的的某某一一邻邻域域内内连连续续 且且 有有 直直 到到1 n阶阶 的的 连连 续续 偏偏 导导 数数 , , ),(00hyhx 为为此此邻邻域域内内任任一一点点, ,则则有有 余余项项 nR ) 10(),()!1(1),(!1),(! 21),(),(),(00100002000000 kyhxfykxhnyxfykxhnyxfykxhyxfykxhyxfhyhxfnn第23页/共28页第二十

16、四页，共29页。证引入函数(hnsh).10(),()(00 tktyhtxft显然(xinrn),()0(00yxf ).,()1(00kyhxf 由 的定义及多元复合函数的求导法则,可得)(t ),(),(),()(000000ktyhtxfykxhktyhtxkfktyhtxhftyx 第24页/共28页第二十五页，共29页。),(),(2),()(00200002ktyhtxfkktyhtxhkfktyhtxfhtyyxyxx ).,()(001),(111011)1(00ktyhtxfykxhyxpkhtnktyhtxpnpnnppnppnnC 第25页/共28页第二十六页，共29页。利用(lyng)一元函数的麦克劳林公式，得).10(),()!1(1)0(!1)0(! 21)0()0()1()1()( nnnn将将),()0(00yxf , ,),()1(00kyhxf 及及上上面面求求得得的的)(t 直直到到n阶阶导导数数在在0 t的的值值, ,以以及及)()1(tn 在在 t的的值值代代入入上上式式. .即即得得第26页/共28