不定积分表.docx
《不定积分表.docx》由会员分享,可在线阅读,更多相关《不定积分表.docx(19页珍藏版)》请在冰点文库上搜索。
不定积分表
卷终公式表注解四
基本不定积分表
序言:
微积分创立之初,牛顿与莱布尼茨分享荣誉。
虽其间发生很多在优先权上的争论,但最终依然走向了发展之正轨。
在微积分公式体系上,莱布尼茨对之要求甚严,并总结其基本微分表和基本积分表。
如今随微积分之发展,公式表逐渐全面,分类亦几乎覆盖各种不定积分。
积分表的编订对于积分运算可以说是必要,亦是数学发展之必要结果。
本表给出常用不定积分的计算公式和运算方法,以及每个积分的简要推演方法,其中引入了除一般之换元法,凑微分法,分部积分法之外,亦引入虚数单位,并使用虚数单位推演某些复杂的不定积分运算。
而对于简单的不定积分运算和基本的微分公式之反用,或均不在此给出推演方法,或仅以推演步骤简要之说明。
本表收录公式16组,151式
公式一基本初等函数的不定积分18式:
幕函数
(1).xdx
11
——x
1
C,
1;
指数函数
In|x|C,1.
x1x
(2).adxaC
Ina
(3).exdxexC
(4)
对数函数
.logaxdxxlogaxxlogaeC
(5).InxdxxlnxxC
三角函数反三角函数
常数函数(18).RdxRxC
上述公式均为基本初等函数之不定积分,其中部分公式均可以由分部积分
公式给出,特别的,对于正切函数,余切函数,正割函数与余割函数的不定积分,使用了诸多三角变换完成。
公式二含axb的积分(要指出a非零)10式:
对于其中的第二式,是利用换元积分完成的。
对于第一者,可以利用凑的方式,我们考虑分式亠丄1」,贝U得
axbaaxb
其积分是显的:
一-—dx1x丄一bd(ax)-xbln|axb|aC。
而第二式
axbaaaxbaa
依然采取类似的方式,可借由带余多项式除法算得:
2
x
axb
丄(axb)2abxb2-
aaxbaxb
,然后利用第一个积分式即可得到结论
对于分母是二次多项式或者更高者,常常分成多个低次多项式之和,这两
个积分便是沿用了此结论所得到的。
我们注意第一式中有
1
1111
1
b
x(axb)
ax(xb/a)ax
xb/a
a
的方式:
1(axb)ax1
a1
bx2(axb)bx2
bx(ax
b)
定系数的方法完成。
积分即得。
对于第二式依然可用分离拆项
然后积分即可,而一般对于拆项,常用待
公式三含ax—b的积分9式第一式的证明用凑微分的方式即可完成。
而有了第一式的结论,第二式可
用分部积分完成计算。
我们有:
其中,对上式右侧的彳(a2dx再次使用凑微分的方法,即可得解:
3a科
同理利用分部积分可以将第三式拆开,并以第二式证明之。
利用凑微分的方式,我们显然有不定积分
dx1d(axb)2.、axbC,本组公式可以考虑用此公式,并使用分部积axba.axba
分即可证明一式:
二式同理使用分部积分,并利用一式的结论即可证明。
该公式是重要的不定积分之一,它可以解决一类带有axb的不定积分等
式。
但是该积分是不好计算的,首先分部积分就不容易得出结果,而另一方面我们也无法进行一个显然的凑微分,因此对于这一类带有根号式的积分,往往是先
2
强行换掉根号,再作观察。
因此令.0T兀txtb,dx空dt,于是
aa
dx-^^2tdt2亠dt,显然看到的是这个不定积分的结果需要讨论
xiaxb(tb)tatb
b的正负来决定之后使用的不定积分公式:
如果b是负的,那么显然会使用反三
角,如果b是正的,则可能使用三角换元:
然后将axbt带入上式得原积分
1bm
TaxbVb>/ax~bVb
C,b0。
另外对
于负的b,有:
即原积分_LarctanJ誉C,b0。
该不定积分公式对于负数的b计算是很容易
的。
注意到微分公式daxb「dx,故上面公式均可以分部积分公式指
2b
公式四含有x2a2的积分3式一式用凑微分的方式以及微分公式d(arctanx)丄容易得出。
第二式是利
1x
用分部积分公式给出的递推式的形式:
通过这个递推关系逐步下降分母的幕直到一式的情形,然后带入一式即可得解。
三式是有理分式的不定积分,通常是将之拆分为两个容易计算的分式,则不难得出结果:
公式五含有ax2b(a0)的积分7式
3
除开显然的(ax2b)dx竺bxC不列为公式表所用之公式外,其余均与
3
ax2b有关,不过在下面公式的推理中,我们可以肯定的是推理可能是不唯一的,因此某些推理也是可能涉及了该公式的。
是一个需要分类讨论的积分。
显然的可以发现这个被积函数的形式与反正
切是有关的,不过反正切的分母是加法运算,因此如果这里b是负的,那么就不
能适用反正切,这导致了积分需要分类讨论之。
该公式的证明中再一次的遇到了2dx2形式的不定积分,虽然这里我采用的是
xa
换元为三角函数的方法,而并非使用公式四中利用有理函数积分的性质来推理,
但是三角换元计算不定积分是值得深入探讨和学习的计算方法,也许在这个公式
中体现不出来,但是在某些场合下,三角换元无疑是强大的。
一式是显然的。
在这组公式中,除了一式之外,后者在各种场合的运用还
是相对频繁的。
二式、三式都是典型的有理函数的不定积分问题,可以采取分离
常数的方法来求解,其推理及其陈述如下:
类似的对于之后的不定积分,依然可以拆项:
但是对于最后一式,拆项显然是不理想的,分子也不具备变量以进行凑微分,因此从分母考虑:
接着带入公式(45)即得所证公式六含有ax2bxc(a0)的积分2式
先给出最基本的积分:
该积分的证明需要分情形处理。
一般来说,如果分母的二次式对应的二次方程是有根的,那么其不定积分可以考虑因式分解的方式拆分成两个分式之和,而对于无实数解的情形,可以考虑配方的方式,并利用反三角函数的微分公式得到该不定积分的证明,不过在此我将使用另一种方式证明上述公式,我将在此引
入虚数单位i,并规定i21:
这里的R,S为ax2bxc0的两根,贝U:
如果b24ac0,那么RSb4ac旦三逐二『一4ac:
2a2aaa
则积分式即为
否则为rs」4ac"i,则积分变为:
aa
这里值得注意的是辐角arg2axb口的取值问题,我们选择__这个区间并
2axb厂2'2
考虑反正切表示,则这时候辐角中所给之复数必须保证实部恒正或恒负,但由判
别式b24ac0依然无法断言2axb之正负,这对反正切的表示是不利的,因此考虑对辐角进一步转化,一个方便的方法是对分式上下乘以1个虚数单位,贝U:
将该式与ConstantC_22带入不定积分式,得:
V4acb2
虽然此方法比较复杂,但是可以说明的是,以复数进行实数的不定积分是可能的。
以拆项的方式来拆分为两个不定积分,这是及其显然的:
公式七含有•.x2a2(a0)的积分14式
含x^a2(a0)的不定积分,通常会考虑的变换是1tan2xsecx,特别是出现在分母中的根式,这样做的好处不但可以抵消根式,同时可以处理并约分掉分母中的积分变量,以大幅度化简积分运算。
不过在很多时候,我们也常常考虑
双曲换元来完成,这是因为对于正切与正割之间的关系式运算在某些时候没有双曲函数简便。
下面几个公式都是可以通过换元得到的:
第一式是典型的反双曲三角函数的微分,以及反双曲三角函数的定义式所
得,事头上,我们设yarsinhxdxcoshydydy
dx
dx_dx,因此
coshy1sinh2y1X
对于第一个不定积分式,采用凑的方式即刻得之。
二式也是典型的双曲换元得到
的等式:
yarsinh-a
垐垐垐?
丄
一22噲垐垐?
—22
aJ1sinhyaJ1G)
其中,将4tanhy1「心曲
x
■a
x_回带,即得之所证。
2、x
三、四均是由微分公式d,x1直接可推论的结果。
然而如果对于三式
没有直接观察到亦不妨以双曲换元的得出:
于是四式也可如法炮制:
五式、六式可以凑得之:
dxxd.x2a2
2
x
(X2a2)
xd
再以分部积分得:
这样就完成了五式和六式
式三角换元是显然的。
但值得注意的是双曲正弦与对数之间的关系是:
二式以双曲换元得到积分a4cosh4xdx,以降幕进行变形,所得积分的计算
是容易的:
在得出结果之后,再以
(二)倍角公式将2x和x还原为x即得二式右侧
三式凑的方式即得其之所证。
四式以分部积分,并二式,即得之所证。
先以换元的方式将一式转化为三角积分或者双曲积分。
转化三角积分时,以正切与正割的恒等式可得浮ydy丄cscydy,转化双曲积时,以双曲正弦
a2tanysecya
或双曲余弦的恒等式可得严hydy1cschydy,最后以余割或双曲余割的
asinhycoshya
积分得到结果。
二式典型的转化为三角积分
1secydyatan
型的余割函数的导数公式(cscx)'
注意到x^a2血xXi2
xx
asecydy
atanysecy
1cscxcotxsinxtanx
x~axd-
x
—cscycotydy,这是典a
又注意到
公式八含"a?
~bx~(a0)
的积分6式
xx2a2
x
dx
dx,带入一式。
i22
x.xa
,带入(50)式。
利用最值公式对分母配方,得:
首配方,再凑微分,并公式(56),得:
这里的推理虽然是相对复杂的,但是对于一些好算的数值计算,这个推理过程会
得到大大的简化。
在这两个积分的基础上,下面的积分相对是容易计算的:
用凑微分的方式进行变换:
剩下的计算是容易的
依然是配方,与(64)不同的是,根号下的加号变成了减号,从而适用反三角的表示。
依然是配方,与(65)不同的是,根号下的加号变成了减号,从而适用反三角的表示。
用凑微分的方式进行变换,其方法同于(66)。
在(64)(67),(65)(68)和(66)(69)的比较中我们可以发现,对于任意非零的实数a,除了后面的对数部分外,其表示形式都是一样的,例如我们以(64)(67)为例,将两个公式和在一起写,并把对数部分写成对应的反三角形式的不定积分之后,则可以写成:
其相似度可见一斑,那么我们将会询问这是为何。
这里我将再度引入虚数单位i,
并规定其满足i21,借助欧拉公式和双曲三角函数的定义,我们考察正弦函数
ixix
得到的是这样一个结果:
sinxe-iisinhix,令之为y并反解之,得
xarcsiny的同时,也得到了另一个结果:
xiarsinh(yi),也就是说得到一个转
化等式iarcsinyarsinh(yi),这个结果是令人感到惊奇的,如果在上述积分中我们无视a为正数之情形,并对负的a直接使用反双曲的结果,同时引入虚数单位i,根据负数的平方根等于其绝对值开根后与虚数单位作乘积这一规定,即得:
这与直接使用反正弦的结果是一样的。
这个结果表明,(64)(67),(65)(68)
和(66)(69)是可以统一的。
公式九含厂它(a0)的不定积分14式
公式组七给出了x2a2(a0)型的不定积分,此处继公式七之讨论,以及
公式七和公式九的推演思想,给出根号下取负号的不定积分。
在(50)~(55)六式中,引入虚数单位,并ai替换a即可证明上面六式的正确性。
不过对于(70)式要注意取值的正负直接令双曲正弦通过双曲恒等式转化成了双曲余弦函数。
在=dxarsinh^GIn(x.x_a2)C2中取ai替换a得:
(22a1'72
xaa
在(56)~(59)四式中,引入虚数单位,并ai替换a即可证明上面四式的正确性。
在(60)〜(63)四式中,引入虚数单位,并ai替换a即可证明上面四式的正确性。
其中对于较为特殊的(80)和(83)中,我们注意以虚数单位替换之后,原本的对数表达式变为了附带虚数单位的表达式:
于是:
公式十含■,a2x2(a0)的不定积分14式
(84)(86)(87)均以凑的方式即可证明,其中(84)利用了反正弦函数的微分公式,(86)(87)实际上就是幕函数的复合所得,因此可以考虑凑出根式内的微分,然后以幕函数的积分公式计算最终结果。
(85)以三角换元完成计算:
对(88)(89)各自使用分部积分即可完成演算:
将上式所得最后的第三项分式进行处理,将其中一个a乘进根式里,再与第一项
合并即可。
(89)式在处理的思想上是与之一致的,考虑分部积分,然后利用三角换元或者之前已经给出的不定积分式处理:
显然使用三角换元是容易的:
(92)式的证明与(56)式的推理类似,虽然我在前面指出(56)式的思路使用三角换元是显然的,但是真正处理起是来略微不便的:
2
因此如果我们在已经建立了积分公式Jx2a2dx△—a2—arsinh彳C的情
22a
形下,承认并使用这个积分公式来推导(92)式会比单独在证明(92)容易得多:
在上述实数积分中引入虚数单位i并承认i21,则令自变量以ix替换之,则可立刻得:
这样就完全可将(92)式与(56)式统一为同一公式。
而同理的,可以在(57)
(58)(59)中均引入虚数单位,则(93)(94)(95)的证明可以大幅度化简:
在关于x2a2的积分中指出
2
2
22
.x
a
dx
,x2
2.Vxaa
aaln
x
|x|
2
2
r
22
.x
a
dx
x
a..x
arsinhC
2
x
xa
C,即公式
(62)和公式(63),同上之所证,利用虚数及公式(62)(63)可证明(96)
公式十一含:
:
,.'(x—a)(x—b),a0,b0的积分4式:
由分部积分公式得:
其中:
带回上式得=dx(xb)[:
耳ln.|TE|耳C即为(98)式
之所证。
(98)式的给出,亦可使用还原的方式证明,考虑到不定积分本身具有根
号,其干扰运算性太强,考虑强行抹消根号,于是令
dx
(a
b)-2tdU
(1t)
对于上式第二项中积分,可令Lm专,则得到i丁-曲'沖并「沁汽険紹I然后以三角函数处理,得:
接着是计算式中的诸二角函数,可利用二角恒等式,如果限定了k为锐角,亦可借助直角三角形,我在此选择后者:
最后把t.Xa带回,即得:
\xb
同理对于(99)式换元之后,亦可解之,但鉴于计算复杂,这里不用换元的方法,我依然采用分部积分的方式:
其中:
带回则完成证明
根据反三角的计算公式,考虑到根式恒正,因此上式中的反三角亦可写作:
因此写作1dxarcsin圧哋x)C亦是正确的。
亦可通过公式
7(xa)(bx)ab
(67)2dxLarcsin挈bC来计算,得到:
寸ax2bxcJapb24ac
通过一个简单的验证即可知上面的三种结果都是正确的:
换言之,我们得到
1具有三个我们可能会计算出的原函数:
(Xa)(bX)
2arcsin
arcsin
2、(xa)(bx)
ab
以及arcsin2x(ab)
ab
当我们得到该结论之后,对于第(100)式的证明方法就很多了,最简单的就是
通过已建立的公式(68)来完成
对于不定积分公式(100),其推理在(99)之中已经给出
由公式(68)
得:
.axbxc
2
2axb——2b4ac2axb一
axbxcarcsinC,4a8a3严云
上式所给出三个不定积分的形式,均是正确的。
公式十二含三角函数的不定积分23式
除了基本初等三角函数之外,本组公式总结更为复杂的三角积分,其中包含了递推关系,凑微分以及分部积分等方法来完成其推理。
(102),(103)以降幕公式变形,再以基本初等函数的积分直接积分得到。
(104)~(105)实质上就是导数公式的逆,因此我们如果要证明,只需以导数公式指出即可:
先以凑微分对积分变量进行替换,紧接着以分部积分对之变形,当等式左右两侧都出现相同的项时,通过移项的方式得到不定积分(108)的递推关系。
(109)与之同理。
依然可以考虑用同样的步骤完成(110)和(111)式,这是因为正割函数、余割函数与正切函数、余切函数都有恒等式的关系,因此与其使用弦函数来完成
不定积分的运算,不如使用割函数更为明了
对于正切函数、余切函数高次幕的不定积分,鉴于一次切函数的不定积分需要对数表达式,二次切函数会单出一个积分变量,导致积分是困难的,不过下面等式给出了切函数积分的一种算法,其中它们的幕都是取整数的:
上面证明的分部积分是对正弦凑微分得到的,如果对余弦凑微分,则同理可得到
以积化和差公式是容易证明的。
典型的采用万能变换,转化为有理函数的不定积分问题。
因此我们很自然
的会采取换元:
ttan^,于是由万能变换公式,得
2
sinx-^,dxd(2arctant)%dt,于是所求的不定积分(117)即为
1t1t2
2
由降幕公式得sin2x1C°s2x,c°sx1c°s2x,再由万能代换得
22
cos2x1_tan2x,令tanxt,贝U:
1tanx
从(117)至(120),可见万能代换公式是很方便的一个公式,它将所有
三角函数转化为有理分式成为了可能,然后借助有理函数的不定积分来完成积分运算。
从这一点看,万能代换公式无疑是很强大的。
分部积分得:
同理可证(122)。
当然考虑万能代换也是可能的,不过要注意的是万能代换对于公式(121)和(122)来说,比较繁杂。
而公式(123)和(124)的推理思路与(121)和(122)相同,依然是通过分部积分完成推理,不过注意的是,可以使用(121)和(122)已经建立的结论。
公式十三含反三角函数的积分9式
以上为弦函数的反函数之不定积分,其中(125)和(128)很容易就通过
分部积分公式的得到:
arcsin^dxxarcsin?
xdxxarcsin?
a.a2x2C,
aaJ1(x/a)2a
(128)式与之同理。
下面推导(126)和(127),对于(129)和(130)是可以类比的:
对于(127),注意到使用换元arcsit之后,积分运算下的被积函数变
a
为正弦函数的平方和余弦函数之乘积,它自身是正弦三次方的微分,因此可以考
虑分部积分公式,也就是x2arcsin^dxa3tsin2tcostdta3td(sin3t)a3tsin3ta3sin3tdt,a
最后对于正弦三次方的不定积分,可以采用凑微分的方式,先凑出余弦函数的微分,然后对剩下的正弦二次方以恒等式换作余弦函数,最后以幕函数的不定积分
举收官,完成推理:
另一方面,我们在建立了(125),(126),(127)之后,用反三角恒等式直接将反正弦化作反余弦,不定积分的计算也是可行的:
且如此计算比重新建立更为方便和简洁。
对于(130以分部积分完成,(131)与(132)令arctan^t即可得出结
a
论。
公式十四含指数函数的积分9式
x
以基本不定积分公式exdxexC,axdx—C所建立起来的不定积分
Ina
组,并对之进一步拓展。
这是显然的。
均以分部积分即可。
但是某些时候我们所关心的并非这些积分之本身,而
是关心这样一个特殊的关于t的函数axl门七玄,显然可以看到当t为正整数时,函数表示的是ax的t阶导函数,而如果t为负整数,则表示的是函数的t重不定积分一—这样的函数是关于求导次数的函数,我们把求导次数作连续延拓得到了一个对于一切实数t展开的新的连续函数,这个函数在微积分里被称作函数ax的次导函
数,该函数直接反应出了函数的非整数阶导数。
以分部积分作推导,不难有下面两个等式:
等式组可以看作是关于eaxsin(bx)dx,eaxcos(bx)dx的方程组,解之即得。
对于(140)的证明,如下:
移项并整理,得
将④带入③,得
⑤带入②,得所以移项并整理:
(141)的证明与之类似。
公式十五含对数函数的积分4式
以基本不定积分dxIn|x|C,InxdxxlnxxC展开的积分公式组。
x
(142)凑微分。
(143)分部积分可直接推得,而(144)也是分部积分,
但是我们依然优先给出递推关系,然后利用递推关系进一步推得结果。
由于对数函数的递推结果相对较简单,因此可以写成和的形式。
而(145)的推导比(144)相对更为简单,因此这里先给出(145):
(145)的积分结果是简单的。
可以看到,当这个积分我们不断进行下去的时候,
对数函数的幕会逐次下降,知道为零次,积分最终将变为幕函数的积分问题。
公式十六双曲函数的积分6式
根据双曲函数的定义可直接获得。
推理同正切函数和余切函数,先将双曲切函数转为弦函数,然后以凑微分
的方式一举完成证明。
以双曲之降幕公式即可
rrdt2*1dt,这是典型的二次真分式的有理函数积分的问题,
ab具at22bta
1t
通过考虑判定式是否为正来讨论对应之二次方程是否有两个实数根,以方便拆
分,如果没有实数根则配方,并利用反三角表示,否则就拆为两个分式之和或者差,以对数的形式表示。
此外,借助已建立的公式(48):
亦可给出证明,且我们说过公式(48)指出判别式在为负数的情形下,借助虚数可以证明上下两个不定积分是等价的,因此我们对于(117)之证明实际上也只需指出一个成立即可。
(118)同理。
证明是容易的。