几种特殊积分的计算方法_第1页
几种特殊积分的计算方法_第2页
几种特殊积分的计算方法_第3页
免费预览已结束,剩余14页可下载查看

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、几种特殊积分的计算方法几种特殊积分的计算方法1前言前言积分发展的动力来自于实际应用中的需求.实际操作中,有时候可以粗略的方式进行估算一些未知量,但随着科技的发展,很多时候需要知道精确的数值.要求简单几何形体或者体积,可以套用已知的公式.比如一个长方体状的游泳池的容积可以用长乘宽乘高求出.但如果游泳池是卵形、抛物型或者更加不规则的形状,就需要用积分来求出容积.物理学中,常常需要知道一个物理量(比如位移)对另一个(比如力)的累积效果,这时候也需要积分. 在古希腊数学的早期,数学分析的结果是隐含给出的.比如, 芝诺的两分法悖论就隐含了无限几何和.再后来,古希腊数学家如欧多克索斯和阿基米德使数学分析变

2、得更加明确,但还不是很正式.他们在使用穷竭法去计算区域和固体的面积和体积时,使用了极限和收敛的概念.在古印度数学(英语:Indian mathematics)的早期,12 世纪的数学家婆什迦罗第二给出了导数的例子,还使用过现在所知的罗尔定理.数学分析的创立始于 17世纪以牛顿(Newton, I.)和莱布尼茨(Leibniz, G.W.)为代表的开创性工作,而完成于 19 世纪以柯西(Cauchy, A.-L.)和魏尔斯特拉斯(Weierstrass, K.(T.W.))为代表的奠基性工作.从牛顿开始就将微积分学及其有关内容称为分析.其后, 微积分学领域不断扩大,但许多数学家还是沿用这一名称.

3、时至今日,许多内容虽已从微积分学中分离出去, 成了独立的学科, 而人们仍以分析统称之.数学分析亦简称分析 (参见“分析学”).数学分析的研究对象是函数,它从局部和整体这两个方面研究函数的基本性态,从而形成微分学和积分学的基本内容.微分学研究变化率等函数的局部特征,导数和微分是它的主要概念,求导数的过程就是微分法.围绕着导数与微分的性质、 计算和直接应用, 形成微分学的主要内容.积分学则从总体上研究微小变化 (尤其是非均匀变化)积累的总效果,其基本概念是原函数(反导数)和定积分,求积分的过程就是积分法.积分的性质、 计算、推广与直接应用构成积分学的全部内容.牛顿和莱布尼茨对数学的杰出贡献就在于,

4、他们在 1670 年左右,总结了求导数与求积分的一系列基本法则, 发现了求导数与求积分是两种互逆的运算,并通过后来以他们的名字命名的著名公式反映了这种互逆关系, 从而使本来各自独立发展的微分学和积分积分学结合而成一门新的学科微积分学.又由于他们及一些后继学者(特别是欧拉(Euler,L.)的贡献,使得本来仅为少数数学家所了解,只能相当艰难地处理一些个别具体问题的微分与积分方法, 成为一种常人稍加训练即可掌握的近于机械的方法,打开了把它广泛应用于科学技术领域的大门,其影响所及,难以估量.因此,微积分的出现与发展被认为是人类文明史上划时代的事件之一.与积分相比,无穷级数也是微小量的叠加与积累,只不

5、过取离散的形式(积分是连续的形式).因此,在数学分析中,无穷级数与微积分从来都是密不可分和相辅相成的.在历史上,无穷级数的使用由来已久,但只在成为数学分析的一部分后,才得到真正的发展和广泛应用.数学分析的基本方法是极限的方法,或者说是无穷小分析.洛比达(LHospital,G.-F.-A.de) 于 1696 年在巴黎出版的世界上第一本微积分教科书,欧拉于 1748 年出版的两卷本沟通微积分与初等分析的书,书名中都出现过无穷小分析这个词.在微积分学发展的初期,这种新的方法显示出巨大的力量,因而得到大批重要的成果.许多与微积分有关的新的数学分支,如变分法、微分方程以至于微分几何和复变函数论,都在

6、 1819 世纪初发展起来.然而,初期的分析还是比较粗糙的,被新方法的力量鼓舞的数学家们经常不顾演绎的逻辑根据,使用着直观的猜测和自相矛盾的推理,以致在整个 18 世纪, 对这种方法的合理性普遍存在着怀疑.这些怀疑在很大程度上是从当时经常使用的无穷小的含义与用法上引起的.随意使用与解释无穷小导致了混乱和神秘感.许多人参与了无穷小本质的论争, 其中有些人, 如拉格朗日 (Lagrange, J.-L.) ,试图排除无穷小与极限, 把微积分代数化.论争使函数与极限的概念逐渐明朗化.越来越多的的数学家认识到, 必须把数学分析的概念与其在客观世界的原型以及人的直觉区分开来.因而, 从 19 世纪初开始

7、了一个一个把分析算术化(使分析成为一种像算术那样的演绎系统) 为特征的新的数学分析的批判改造时期.柯西于 1821 年出版的分析教程是分析严密化的一个标志.在这本书中,柯西建立了接近现代形式的极限,把无穷小定义为趋于零的变量,从而结束了百年的争论.在极限的基础上,柯西定义了函数的连续性、导数、连续函数的积分和级数的收敛性(后来知道,波尔查诺(Bolzano, B.) 同时也做过类似的工作) .进一步, 狄利克雷于 (Dirichlet, P.G.L.)1837 年提出了函数的严格定义,魏尔特拉斯引进了极限的定义.基本上实现了分析的算术化,使分析从几何直观的局限中得到了“解放”,从而驱散了 17

8、18 世纪笼罩在微积分外面的神秘云雾.继而在此基础上,黎曼(Riemann, (G.F.) B.)于 1854年和达布(Darboux, (J.-) G.)于 1875 年对有界函数建立了严密的积分理论,19世纪后半叶,戴德金(Dedekind, J.W.R)等人完成了严格的实数理论.至此,数学分析的理论和方法完全建立在牢固的基础之上,基本上形成了一个完整的体系,也为20 世纪现代分析的发展铺平了道路.2选题背景选题背景2.1题目类型及来源题目类型及来源题目类型:研究论文题目来源:专题研究2.2研究目的和意义研究目的和意义在一般高等数学教材中对泊松积分的计算很少有涉及,而在实际问题中,例如在处

9、理概率与统计问题及热传导等问题时都会用到泊松积分, 由于泊松积分的被积函数不是初等函数, 因此,不能用牛顿-莱布尼兹公式来计算其积分值,但泊松积分在数学分析、 概率统计及其物理等方面有广泛的应用, 我们必须用其它方法计算其积分值 利用留数定理, 我们可以把计算一些积分的问题转化为计算某些解析函数在孤立奇点的留数,从而大大化简计算广义积分是解决实际问题中常见的一个计算工具,但其形式多样,计算复杂.有些广义积分问题单纯应用数学分析理论求解过程繁琐,甚至不能解出,但却可以应用复变函数理论中的留数定理来研究两类特殊形式的广义积分2.3国内外现状和发展趋势与研究的主攻方向国内外现状和发展趋势与研究的主攻

10、方向几种特殊积分中的高斯积分是一个著名的积分,在工程技术中有很多应用在数学中高斯做出很多贡献 高斯公式是曲面积分的一个重要公式,而通过高斯公式我们可以提出高斯定理,高斯定理是电磁学中的基本定理:积分即通过任一闭合曲面(高斯面)的电通量等于该闭合曲面包围电荷的代数和除以0;穿过高斯面的电通量,只与该电荷系电荷代数和相关,与高斯面的形状无关,也与该电荷系的电荷分布无关高斯定理不仅适用于静电场,也适用于变化的感生电场,是电磁场基本方程之一 高斯定律在静电场情况下类比于应用在磁场学的安培定律,而二者都被集中在麦克斯韦方程组中因为数学上的相似性,高斯定律也可以应用于其它由反平方定律决定的物理量,例如引力

11、或者辐照度计算泊松积分的值的七种不同的计算方法以及该反常积分的相关应用, 虽然该反常积分的值已被人们所熟知, 但其求解方法还是值得我们关注的,其中所用到的方法也是在解决实际问题中比较重要的, 另外,该反常积分与复变函数论中的知识进行结合还可用来求一些比较复杂的反常积分, 在概率统计以及物理的一些求解中泊松积分也会起到十分重要的作用, 通过对泊松积分值的计算方法及其应用的相关介绍,使人们对泊松积分有一个更深刻的了解,同时了解求解泊松积分过程中所涉及到的相关解法,以便以后在解决相关问题时更好的应用 菲涅尔(Fresnel)积分,这是以法国物理学家菲涅尔的名字而命名的这两个广义积分在物理学中有重要的

12、应用,比如要计算菲涅尔绕射强度问题,噪声水平缩减问题等,就需要用到这两个积分3计算积分的一些定理计算积分的一些定理积分的基本定义:设 F为函数的一个原函数,我们把函数 f的所有原函数 FC(C 为任意常数)叫做函数 f的不定积分记做.其中叫做积分号,f叫被积函数,叫做积分变量,f叫做被积因式.C 叫积分常数,求已知函数不定积分的过程叫做对这个函数进行积分.积分的基本原理:微积分基本定理,由艾萨克牛顿和戈特弗里德威廉莱布尼茨在十七世纪分别独自确立.微积分基本定理将微分和积分联系在一起,这样,通过找出一个函数的原函数,就可以方便地计算它在一个区间上的积分.积分和导数已成为高等数学中最基本的工具,并

13、在自然科学和工程学中得到广泛运用.积分的一个严格的数学定义由波恩哈德黎曼给出(参见条目“黎曼积分”).黎曼的定义运用了极限的概念,把曲边梯形设想为一系列矩形组合的极限.从十九世纪起,更高级的积分定义逐渐出现,有了对各种积分域上的各种类型的函数的积分.比如说,路径积分是多元函数的积分,积分的区间不再是一条线段(区间a,b) ,而是一条平面上或空间中的曲线段;在面积积分中,曲线被三维空间中的一个曲面代替.对微分形式的积分是微分几何中的基本概念.对积分概念的推广来自于物理学的需要,并体现在许多重要的物理定律中,尤其是电动力学.现代的积分概念基于测度论,主要是由昂利勒贝格建立的勒贝格积分.3.1留数定

14、理和围道积分留数定理和围道积分设在以曲线围成的区域 内除有有限个孤立点外单值解析,在闭区域 上连续,则有(311)其中,res表示(z)在孤立奇点的某(去心)领域内的罗朗展开的负一次幂的系数,记作res()(312)称作(z)在它的孤立奇点处的留数.(312)被称为留数定理.3.2傅里叶变换傅里叶变换由高等数学我们知道, 一个以 2为周期的函数,若在区间上满足狄理克莱条件 (即连续或有有限个第一类间断点, 并且只有有限个极值点) , 则在上可展开为傅氏级数.傅氏级数的复数形式为其中,积分因此,也可以表示为(3.2.1)由此看到, 以 2为周期的函数, 在自变数增长的过程中, 函数值有规律的重复

15、,自变数每增长一个 2,函数就重复变化一次,其中,参数不连续地跳跃地去下列数值:,其跃变间隔为.对于非周期函数而言,当然不具备以上这些特点,但我们自然想到,若将其看成周期趋于无穷大(2)的“周期函数”,则当然可模照(3.2.1)写出它的傅氏展开式, 只是此时.这表明参数变为 不再跃变, 而是连续变化,即,非周期函数,可以表示为亦即(3.2.2)(3.2.2)称为函数的傅里叶积分公式.应该看出,上述的推导不严格的,因为我们交换了极限过程与求和过程的次序.实际上,傅氏积分成立,需要满足下述傅里叶积分定理:设在()上有定义且(1)在任一有限区间上满足狄利克莱条件;(2)在无限区间负无穷到正无穷上绝对

16、可积则傅里叶积分公式在的连续点 x 出成立,而在d 的第一类间断点处,右边的积分应该以代替.在傅氏积分公式(3.2.2)中令G.(3.2.3)则(3.2.4)可见函数和 G可以通过相互表达.我们称(3.2.3)为函数的傅里叶变换,记作 F(3.2.5)G有称为的像函数;而称(3.2.4)为函数 G的傅里叶逆变换,记作(3.2.6)有称为 G的像原函数.因此,当满足傅氏积分定理的条件时,傅氏积分公式就成为(3.2.7)这是傅氏变换和傅氏逆变换之间的一个重要关系.易于看出,傅氏变换的定义式(3.2.5)和(3.2.6),其积分前的系数虽然各书的写法并不完全相同,但只要此二系数的乘积等,(3.2.5

17、)和(3.2.6)式均是可以相互满足的,且两积分号内指数因子和也可以同时改为和.在量子力学中,通常把记作,作为坐标表象的波函数,将 看做波数 k,积分而 将 ( 3.2.5 ) 和 ( 3.2.6 ) 两 式 积 分 号 前 的 系 数 分 别 写 作. 由 于pk,则有 G,记作 C,于是由(3.2.4)和(3.2.3)有C其中 C就是同一量子体系在动量表象中的波函数.此二式表明了坐标表象和动量表象之间的波函数的变换关系.有傅氏变换和傅氏逆变换的定义(3.2.5)及(3.2.6)可知,要求一个函数的傅氏变换,实际上就是求一个含参数的广义积分.计算含参数的广义积分是一件比较困难的工作.但对于某

18、些函数来说,还是比较容易计算的.3.33.3 拉普拉斯变换拉普拉斯变换对于任何函数,我们假定在 t 0 时0,那么, 只要 足够的大, 函数的傅氏变换就有可能存在,即F其中.记 p,FF并注意到i便得到F(3.3.1)(3.2.2)这是一对新的互逆的积分变换.我们称(3.2.1)式为函数的拉普拉斯变换,记作L L(3.3.3)并称函数为的像函数.而称(3.2.2)式为函数 F的拉普拉斯逆变换或拉普拉斯反演公式,记作(3.3.4)并称函数为 F的像原函数.显然 (3.3.5)拉氏变换的存在条件,由下述拉普拉斯变换的存在定理给出.设函数满足以下条件:(1) 当 t 0 时,0(2) 当 t 0 时

19、,及 除去有限个第一类间断点以外,处处连续;(3) 当 t时, 的增长速度不超过某一个指数函数, 亦即存在常数M 及0,使得,0 t.(3.3.6)其中, 称为的增长指数.则的拉氏变换 F在半平面 Rep上存在、解析,且当( 是任意小的正数)时,有=0 在拉氏变换的性质设凡是要求拉氏变换的函数,均是满足拉氏变换存在定理的,则有拉氏变换的定义,我们有如下一些重要性质:(1)线性性质积分L(2)延迟性质LF,Re其中FL(3)位移性质设,则 LL(4)相似性质设 a,F则L(5)微分性质(6)积分性质 L(7)卷积定理其中,定义熟练的掌握以上的这些性质, 对于我们用拉氏变换解线性常微分方程和积分方

20、程的初值问题极为方便.4 4 特殊积分的计算特殊积分的计算4.14.1 泊松积分泊松积分无穷限积分的收敛性是显而易见的,由于初等函数的原函数不再是初等函数,因此其不能利用牛顿莱布尼兹公式.为此,我们将用下面 3 种方法进行计算:(1)二重积分法设 I,则D在极坐标下,区域 D 可以表示成为,所以:从而:(3) 含参量反常积分方法设 I,对该积分进行变量替换 x,为参数,则:I所以:I即:交换积分次序得:因此:I(3)特殊函数法已知伽马函数,s且有余数公式,即当 0 s 1 时:积分对无穷限积分进行变量替换,令,则:I在余数公式中令 s得,从而,因此:=4.24.2DirichletDirich

21、let 积分的计算积分的计算著名的 Dirichlet积分在光学、电磁学、无线电技术和有阻尼的机械振动等领域有广泛的应用.因此该积分收敛非绝对收敛,被积函数的原函数不能初等函数表示, 不能用传统的牛顿-莱布尼兹公式求出该积分值, 所以该积分在 数学分析和复变函数教材中作为典型来讨论.而一般的方法比较复杂,但通过数学物理方法比较容易解决这个问题.(1)含参变量积分方法我们知道,含参变量积分:由于,积分收敛,由 Weierstrass M 判别法,含参变量积分在上一致收敛.由于在上连续,根据积分顺序交换定理,11220001( )cosarctanpxpF pdyexydxdypyp又由阿贝尔(A

22、bel) 判别法知, 积分 (1) 在0p 时一致收敛, 根据连续性定理4,( )F p在0p 时连续,故000sin1(0)lim( )lim arctan2ppxdxFF pxp(2)围道积分方法设( )izef zz,12,L L分 别 是 实 数 轴 上,Rr与 , r R线段,,rRC C分别是以原点为圆心,以r与R为半径的上半圆周,是如图 1 所示的积分路径由 Cauchy-Goursat 定理知,( )0f z dz,即12( )( )( )( )0RrLLCCf z dzf z dzf z dzf z dz(2)经化简12sin( )( )2RLLrxf z dzf z dzi

23、dxx,由小圆弧引理5,0lim( )rrCf z dzi ,由Jordan引理5,lim( )0RRCf z dz在式(2)两边令0 ,rR ,并整理得:0sin2xdxx(3) FourierFourier变换方法变换方法: :设1,1;( )0,1.tf tt,则它的 Fourier 变换为 ( )( )j tF f tf t edtsin2( )F当1t 时,有11( ) ( )( )2j tf tFFFed02sincos td, 特 别 取0t 得 :0sin2d.图 1 围道积分路径积分(4)能量积分方法设( )f t在 Fourier 变换下的象函数为( )F,则有221 (

24、)( )2f tdtFd(3)式(3)称为 Parseval 等式6,其中2 ( )f tdt称为( )f t的能量积分.将上文中 Fourier 变换方法的( )f t和( )F应用在式(3)中,可以得到220sin2d又由分部积分法,220sind00sin2sinudduu,故0sin2uduu.(5) LaplaceLaplace 变换方法变换方法: :设( )sinf tt,则它的 Laplace 变换为0 ( )( )stL f tf t edt211s( )F s又0sinlim1ttt,( )arctan2sF s dss,由 Laplace 变换象函数的积分性质6,有sintLt( )arctan2sF s dss,特别取0s 得:0sin2tdtt.(6)广义函数方法:广义函数方法:单位脉冲函数( ) t也叫狄拉克(Dirac)函数,简称函数,它是一个广义函数,是弱收敛函数序列的弱极限6,即对于任何一个无穷次可微的函数( )f t,有sin( ) ( )lim( )(0)tt f t dtf t dtt(4)在式(4)中特别取( )1f t ,由函数的筛选性质知,左边( )1t dt,右边积分中作换元变换ut得:0sin1sin2sinlimlimtuudtdudutuu

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论