20-定积分的计算.

高等院校非数学类本科数学课程——一元微积分学大学数学（一）第二十六讲定积分的计算主讲:岑利群第三章一元函数的积分本章学习要求：熟悉不定积分和定积分的概念、性质、基本运算公式.熟悉不定积分基本运算公式.熟练掌握不定积分和定积分的换元法和分部积分法.掌握简单的有理函数积分的部分分式法.了解利用建立递推关系式求积分的方法.理解积分上限函数的概念、求导定理及其与原函数的关系.熟悉牛顿—莱布尼兹公式.理解广义积分的概念.掌握判别广义积分收敛的比较判别法.能熟练运用牛顿—莱布尼兹公式计算广义积分。掌握建立与定积分有关的数学模型的方法。能熟练运用定积分表达和计算一些几何量与物理量：平面图形的面积、旋转曲面的侧面积、平行截面面积为已知的几何体的体积、平面曲线的弧长、变力作功、液体的压力等。能利用定积分定义式计算一些极限。由牛顿——莱布尼兹公式，可以通过不定积分来计算定积分.一般是将定积分的计算截然分成两步：先计算相应的不定积分，然后再运用牛顿——莱布尼兹公式代值计算出定积分.这种作法相当麻烦，我们希望将不定积分的计算方法与牛顿——莱布尼兹公式有机地结合起来，构成定积分自身的计算方法——定积分的换元法和定积分的分部积分法.例1解.d1102xx计算数的一个原函数：先用不定积分求被积函ttxxdcosd122sintx令ttd)2cos1(21Ctt42sin2Cxxx2121arcsin21得，—莱布尼兹公式—由牛顿.4121arcsin21d1102102xxxxx例1解.d1102xx计算数的一个原函数：先用不定积分求被积函ttxxdcosd122sintx令ttd)2cos1(21Ctt42sin2Cxxx2121arcsin21得，—莱布尼兹公式—由牛顿.4121arcsin21d1102102xxxxx10x20t202102dcosd1ttxxttd)2cos1(21202042sin2tt.4有什么想法没有？就是说，计算定积分时可以使用换元法.换元时只要同时改变积分的上、下限，就不必再返回到原来的变量，直接往下计算并运用牛顿——莱布尼兹公式便可得到定积分的结果.一、定积分的换元法定理;)],[()()1(baCxf设且单调；)],[()()2(1Ctx，，ba)()()3(.d)())((d)(tttfxxfba则一、定积分的换元法证.)(3)2(btat时，有可知：当）（和由条件.],[)()],[()(上有原函数存在在，所以，因为baxfbaCxf.],[)()(上的一个原函数在为不妨设baxfxF2，得）（及条件由复合函数的求导法则,],[)())(()())(()))(((tttfttFtF.)())(())((的一个原函数为即ttftF莱布尼兹公式，得—由牛顿))(())(())((d)())((FFtFtttf)()(aFbF.d)(baxxf证毕例2解.1d53212xxx计算dd12，，则令ttxtx352:5321:，故时，且tx3522532121d1dttxxx23521dtt2352|1|lntt.3ln)32ln(例3解.d022axxa计算dcosdsin，，则令ttaxtax20:0:，故时，且tax.]2,0[sin上单调、连续可导在tax2022022dcosdttaxxaad)2cos1(2202tta202)22sin(2tta.42a例4解.d)1(arcsin4341xxxx计算dcossin2dsinarcsin2，，，则令tttxtxtx的单调性保证)(tx36:4341:，故时，且tx)sin1(sindcossin2d)1(arcsin36224341ttttttxxxx36d2tt362t122例5解.1d222xx计算dtansecdsec，，则令tttxtx.2sec0ttx中，故因为4332:22:，故时，且txtandsectan1d4332222ttttxxdsec4332tt4332|tansec|lntt.2132ln例6.dcosdsin2020xxxxnn证明：证dd2，，则令txtx02:20:，故时，且tx)d())12((sindsin0220txxnndcos02ttndcos20ttn.dcos20xxn例7证)],[()(，证明：设aaCxf.d)(2d)()()1(0aaaxxfxxfxf为偶函数，则.0d)()()2(aaxxfxf为奇函数，则,d)(d)(d)(00aaaaxxfxxfxxf因为0:0:dd，从而时，，且，则故令ataxtxtx00)d)((d)(aattfxxfattf0d)(.d)(0axxf.d)]()([d)(d)(d)(000aaaaaxxfxfxxfxxfxxf于是，故有为偶函数，则若)()()()1(xfxfxf.d)(2d)(0aaaxxfxxf，故有－为奇函数，则若)()()()2(xfxfxf.0d)(aaxxf.d)]()([d)(d)(d)(000aaaaaxxfxfxxfxxfxxf例8证.)),(()(证明：，且以为周期设Rxf.d)(d)(0TTaaxxfxxfRa，有,d)(d)(d)(d)(00TaTTaTaaxxfxxfxxfxxf因为0::dd，从而时，，且，则故令atTaTxtxTtxd)(d)(0aTaTtTtfxxfd)(d)(00aaxxfttfd)(d)(d)(d)(000aTaTaaxxfxxfxxfxxf于是d)(d)(d)(000aTaxxfxxfxxf.d)(0Txxf例9解.cos1dsin02xxxx计算0:0:dd，故时，，，则令txtxtxcos1)d(sin)(cos1dsin0202ttttxxxxcos1dsincos1dsin0202tttttttcos1dsincos1dsin0202xxxxxxx0202cos1dsin2cos1dsinxxxxxxx从而.4))arctan(cos(220xxucos定理],[)()(上可导，在，设函数baxvxu]),([)()(，则，且baRxvxu.d)()()()(d)()(bababaxxvxuxvxuxxvxu.部积分公式该公式称为定积分的分证明与不定积分的情形类似.二、定积分的分部积分法例10解.dcos20xxex计算xcosxexexsindsincosdcos202020xxexexxexxxdsin120xxexxsinxexexcosdcossin12020xxexexxdcos1202xxeex.)1(21dcos220exxex故什么情况下运用分部积分法呢？定积分与不定积分的情形相同！例11解.d|ln|1eexx计算eeeexxxxxx1111dlnd)ln(d|ln|xln1x1xeeeexxxxxx111111dlndln.)11(2e例12证2020dcosdsinxxxxInnn证明：.,!!!)!1(,2!!!)!1(为正奇数为正偶数，nnnnnndsin20，则令xxInnxn1sinxsinxxnncossin)1(2xcos20120sincosdsinxxxxInnn2022dcossin)1(xxxnn20202dsin)1(dsin)1(xxnxxnnn.)1()1(2nnInIn.12nnInnI故,1cosdsin,2d20201200xxxIxI由于，所以;2!!!)!1(21432310nnInnnnInn为正偶数时，当.!!!)!1(32542311nnInnnnInn为正奇数时，当.dcosdsin62020xxxxnn中已证明：在例证毕例13解.dsin206xx计算2!!6!)!1(6dsin206xx.3252246135例14解.,d)1(102Znxxn计算,dcosd,sinttxtx则令故时且,20:,10:tx202102dcoscosd1tttxxnn）－（2012dcosttn.!)!12(!)!2(nn例15解.d42022xxx计算,dcos2d,sin2ttxtx则令故时且,20:,20:txdcos2cos2sin4d42022022ttttxxxd)sin1(sin162022tttdsin16dsin16204202tttt.2!!4!)!14(162!!2!)!12(16由于一些简单函数的原函数不一定简单，有些函数的原函数还不能用初等函数表示，此外，工程技术中的一些函数往往是由实验数据表示的，当对这样的函数作定积分运算时就十分难办了.于是我们需要寻找定积分的近似计算方法.三、定积分的近似计算定积分的近似计算方法大多数是依据定积分的定义,)(limd)(10||||niiixbaxfxxf因为,)0,0||(||d)()(1时xxxfxfbaniii所以,||||有精度确定）很小时（根据所要求的故当x.)(d)(1niiibaxfxxf和定积分的几何意义得到：的选择无关，和点由于定积分的值与分法iT],[进行等法时，常将区间所以在构造近似计算方ba也选的小区间；点个长度均为分，得到inabn0||||的极点，这样就将择为小区间的左或右端x.的极限过程限过程转换为n.的“数值方法”方法均属于数学分析中常用的定积分近似计算下面介绍的工程技术中0xOxy)(xfyab1x.)(d)(:10abyxxfnba矩形法示意0y1yOxy)(xfyab.)(2d)(:210yyabxxfnba)(0afy)2(1bafy0x1x2xOxy)(xfyab0x1x2x3x4x0y1y2y3y4y)(4d)(:43210yyyyabxxfnba继续分下去会有什么结果？每次分割后，取小区间的右端点进行计算行不行？1.矩形法Oxy)(xfyab0x1x2x1nxnx取左端点等分：分成将],[nba,120bxxxxann,),,2,1(niinabaxi.),,2,1(ninabxxi,),,2,1()()(,11则记若取nixffyxiiiiixxfxfxxfniiniiiba111)()(d)(.)(110nyyynab取左端点,),,2,1()()(