(积分法)欧拉积分-余元公式

欧拉积分的运用及余元公式的证明王国俊01211071徐州师范大学数学系徐州221116摘要欧拉积分的应用十分广泛，本文着重讲了欧拉积分及其变形在积分计算中的运用,并给出了余元公式的一种新的证明方法,而且意外得到了欧拉积分的一种新的变形.关键词欧拉积分；Gamma函数；Beta函数；余元公式现在我们很多时候解决问题的工具还是用初等函数来解决问题，这给我们研究带来很多不便.利用含参变量积分是引进非初等函数的一个重要途径.所谓欧拉积分正是如此.下面先介绍点预备知识：在一般的数学教材中，欧拉积分定义如下：)0,0()1(),()0()(111010qpdxxxqpdxexqpx两者分别称为Gamma函数和Beta函数,简称为函数函数和.欧拉积分的几个基本变形：函数)1(令2yx,就有)0(2)(212010dyeydxexyx令pyx,则有)0,0()(1010pdyeypdxexpyx特别地当21时，由华东师范大学编的数学分析第20章第二节例七有)21(并且有)()1(函数)2(令2cosx就有dqppq121220cossin2),(令yyx1，则有dyyyqpqpp)1(),(10欧拉积分间的联系：)()()(),(qpqpqp)0,0(qp以上介绍了欧拉积分的定义及相关变形，那么如何利用欧拉积分解决数学中某些积分运算呢?一欧拉积分在求解积分中的运用1．通过式子的变形将积分变成欧拉积分的形式，再利用欧拉积分的相关性质，计算出该积分的值.例1求积分dxxx210解原式=8)3()23()23()23,23()1(212110dxxx例2求积分dxxx42101解原式=4214214310)1()(41dxxxx=421421443410)1()()(41dxxxx=)21,43(412.利用换元法将未知积分化为欧拉积分，然后再进行计算.例3求积分dxxx240)1(解令txx1则有ttx1从而有dttdx2)1(1带入原式有224sin41)43()41(41)2()43()45()43,45()1()1(414110240dtttdxxx例4求xdxxqpcossin20解原式=)(sin)sin1()(sin21)sin1()(sin221221220222220xdxxdxxxqpqp令xu2sin得,10u上式=)21,21(21)1(21212110qpduuuqp3.在很多时候我们解决问题时，需要综合运用以上的两种方法.例5求积分dxexxn220解原式=)2(21202xdexxn2120221dxexxn令2,(0)txxtx则则上式=)212(21212120ndtettn=nn2!)!12(例6求xdxcos30解原式=2sin121)2cos1(22200xdxxdx令2sin2xu得上式=duuuduuu2121210212110)1(21)1()1(21令tu2得上式=dtttdttt12114310432110)1(221)1(221)21,41(221注在利用欧拉积分进行积分计算时一定要注意欧拉积分的上下限及等价变形.二余元公式的相关证明在几乎所有的数学分析教材中都对余元公式进行了介绍，但没有给出相应的证明，笔者查了很多资料，同时也有了自己对其证明的一种新的证明想法.下面先介绍一种我所查到的余元公式的一种简单证明.我们知道余元公式的表达式是)sin()1,(aaa对dtttaaBaaaaa110)1()1,()1()(,10令xt11，则xxdxxxxxdtttaaaaa1)1(1)1()11()1(10210110dxxxdxxxaa1111110当10x时，由幂级数理论可得10111kakkaxxx此级数在t,其中10t上一致收敛，故可在t,上逐项积分，从而dxxdxxkakktkakkt1010)1()1(=kakakktka110kakkkakkkatka111100（1）因级数kakktka110的收敛半径为1，且1,0t时级数均收敛，由阿贝尔定理知：kakktka110在1,0上一致收敛，故有kakkkkt111lim001同理有011lim00kakkka在（1）式中，令0,1t便有:dxxxa1110kakk110对得令txdxxxa1,111dxxxa111=dttta11)1(10akkk1110综上可得：)1()(aadxxxa110=dxxxdxxxaa1111110kakk110+akkk1110=a1)11()1(0kakakk（2）再由)cos(ax在],[的Fourier级数展式有)cos(ax=aax1[sin)11(11kakakk)]cos(kx,],[x令0x可得aa1)sin()11(11kakakk(3)从而由（2），（3）知余元公式成立.在查资料的过程中，我还发现了余元公式的另两种证明方法：一种是利用复变函数中的留数定理来证明；另一种是利用函数的另一种定义来证明，下面是我利用二重积分对该问题的加以的讨论.dyeydxexppppypxp010)1()()1,(dxdyeyexypxDp1其中D={GyRxyx,),(},先考虑dxdyeyexypDxp11,221:{(,),0,0}DxyxyRxy从此出发有两条路径：一种是利用格林公式的逆运用把此二重积分化为第一型曲线积分，再进行计算，最后令R,0即可，其理由是因为有人已经使用留数定理证明过了，而复变函数的留数定理与数学分析中的第一型曲线积分相通.所以该方法有很大可行性.但是这个过程需要偏微分方程的知识，以我现在的知识储备解决不了.另一种方法是换元，我进行的过程如下：令sin,cosryrx，则有则积分变为dxdyeyexypDxp11=drdrererrprpR))sin()cos((sincos120=ddreerprpR))(sin)(cos(sincos120deeRpp][)(sin)(cos)cos(sin)cos(sin1)cos(sin120令0,R得有)cos(sin)cos(sineeR1从而ddreeRpp][)(sin)(cos)cos(sin1)cos(sin)cos(sin120=dpp)(sin)(coscossin1120令sin,arcsin(0)2tt有上式=dtttttpp21221011)1(111=dttttpp22210)1(111=dttttpp222210)1)(11(=dtttpp22210)1(dtttpp21210)1(令sin,arcsintwwt则上式=wd)(sin)(coscos)(sin)(cos21202220=d)(sin)(cos)(sin)(cos=)]21,21()2,21([21pppp即有)1,(pp)]21,21()2,21([21pppp证明进行到此，发现用换元这条路行不通了，但意外得到了欧拉积分关于余元公式的一种新的变形，在查了很多资料后没发现这个变形公式，想必在知识储备越来越多的情况下第一种方法还是可行的欧拉积分和一些应用Gamma函数:Gamma函数定义为.有递推公式,特别地.Beta函数:Beta函数定义为.两个函数之间有关系.利用这个可以计算很多积分.例如旧贴里面有一题(卧龙先生):解:作变量代换,原积分化为而其中.又如计算.解:作变量代换,则原积分化为.容易计算得当时,.时,