不定积分与“积分”并没有关系,它是微分学的一部分。因为“不定积分”只是基于导数定义出来的“求导的逆运算”。从某种意义上,它没有涉及任何新的理论,只是通过导数的运算法则推出的一些逆运算的运算技巧。
定义与记号
函数f(x)的不定积分是由它的所有原函数组成的函数族(集合)。定义
∫f(x)dx:={F(x)∣F′(x)=f(x),∀x∈I}
如果某一个F(x)是f(x)的一个原函数,那么f(x)的不定积分一定可以表示成F(x)+C的形式,其中C是全体实数。换句话说,不定积分集合里的所有元素一定是一些只相差常数的函数。因为对于其它G(x),根据G′(x)=f(x),F′(x)=f(x),两式相减得到[G(x)−F(x)]′=0。我们根据微分中值定理已经证明了导数恒为0的函数必定是常数函数。所以一定有G(x)=F(x)+C。因此不定积分的定义可以改写为:
∫f(x)dx:={F(x)+C∣F′(x)=f(x),C∈R,∀x∈I}
严格来看,这只是一个用来表示原函数集合的记号,没有单独指明积分号∫和dx分别有什么含义。然而,使用这样的记号有很多方便的地方,我们可以通过证明它的运算性质来把dx当作微分、把∫当作微分的逆运算来使用。
例如,我们会把1省略,把∫1dx简记为∫dx,而我们可以形象地把它理解为d与∫作为互逆的运算互相抵消;把∫f(x)1dx简记为∫f(x)dx,这也只是写法上方便,并不意味着dx是一个实数。
线性性
基于导数运算的线性性,我们有不定积分的线性性:
∫[k1f(x)+k2g(x)]dx=k1∫f(x)dx+k2∫g(x)dx+C
只需要验证两侧的函数集合完全相同(这就是这里的等号的含义)。设f(x)的原函数为F(x),g(x)的原函数为G(x),那么左侧的集合可以表示为k1F(x)+k2G(x)+C0;右侧集合可以表示为k1(F(x)+C1)+k2(G(x)+C2)+C =k1F(x)+k2G(x) +(k1C1+k2C2+C)。
线性性告诉我们,我们可以分拆和式的项,可以提出常数因子。
换元积分法
基于导数运算的链式法则,我们有不定积分的换元积分法。核心是要说明:
∫f(g(x))g′(x)dx=∫f(g(x))d(g(x))
其中这里的f(g(x))应当被理解成任意的一个函数,而这个函数可以被看作对g(x)的复合,这样我们的“换元”才有意义。如果这能成立,就说明积分表达式中的d可以像微分一样被看待,微分的公式可以直接被应用到积分中,同时保证计算的正确性。
证明:等式右侧告诉我们原函数关于g(x)的导数是f(g(x)),那么假设f的原函数是F,就知道右侧不定积分就是F(g(x))+C。把它对x求导就得到左边的f(g(x))g′(x)。所以左边的原函数族和右边的原函数族是完全相等的。
分部积分法
基于函数乘积的求导法则我们写出(uv)′=u′v+uv′。等式两边应当有相同的关于x的原函数族,写出∫(uv)′dx=∫(u′v+uv′)dx=∫vu′dx+∫uv′dx。根据换元积分法中微分记号的运算规则,右侧等于∫vdu+∫udv。移项就得到了分部积分公式:
∫udv=uv−∫vdu
即如果一个函数f(x)能写作一个函数乘上某个函数的导数的形式,那么它的不定积分可以用另一种方式表达出来,其中第二种方式中的积分计算难度更低。
“反对幂三指”:越靠后的越先取和dx凑成dv。比如∫xcosxdx就让cosxdx结合成d(sinx),∫lnxdx就让1(x0)和dx结合。
多次积分
∫x2exdx=∫x2d(ex)=x2ex−∫exd(x2)=x2ex−2∫xexdx
后一项∫xexdx=∫xd(ex)=xex−∫exdx=xex−ex+C
综上∫x2exdx=x2ex−2xex+2ex+C
循环积分
∫exsinxdx=∫sinxd(ex)=exsinx−∫exd(sinx)=exsinx−∫excosxdx
∫excosxdx=∫cosxd(ex)=excosx−∫exd(cosx)=excosx+∫exsinxdx
用下式代入上式,得到∫exsinxdx=exsinx−excosx−∫exsinxdx,移项就即可(带常数C)。上式代入下式同理。
在这里,不定积分产生了循环,像解方程一样被解出。
递推积分
求In=∫(x2+a2)ndx
I1=∫x2+a2dx=a1arctanax+C
In=a21∫(x2+a2)nx2+a2−x2dx=a21In−1−a21∫(x2+a2)nx2dx
其中∫(x2+a2)nx2dx=21∫(x2+a2)nxd(x2)=21∫(x2+a2)nxd(x2)=2(1−n)1∫xd((x2+a2)1−n)
=2(1−n)1[x(x2+a2)1−n−∫(x2+a2)1−ndx]
这样就可以写出递推式了。
基本积分表
∫cos2x1dx=tanx+C,∫cosh2x1dx=tanhx+C
∫sin2x1dx=−tanx1+C,∫sinh2x1dx=−tanhx1+C
∫sinhxdx=coshx+C,∫coshxdx=sinhx+C(其实就是指数函数积分)
∫lnxdx=xlnx−x+C
∫lnxdx=xlnx−∫xd(lnx)=xlnx−∫xxdx=xlnx−x+C
∫tanxdx=−ln∣cosx∣+C
∫cosxsinxdx=−∫cosxd(cosx)
∫x2−a2dx=2a1lnx+ax−a+C,a>0
2a1∫(x−a1−x+a1)dx=2a1(ln∣x−a∣−ln∣x+a∣)+C
∫x2+a2dx=a1arctanax+C,a>0
a21∫1+(ax)2a⋅d(ax)
∫a2−x2dx=arcsinax+C,a>0
a1∫1−(ax)2a⋅d(ax)
∫cosxdx=lncosx1+sinx+C
∫cos2xcosxdx=∫1−sin2xd(sinx)=−21lnsinx+1sinx−1+C=lnsinx−1sinx+1+C
=ln−cos2x(1+sinx)2+C=lncosx1+sinx+C
∫sinxdx=lnsinx1−cosx+C
∫sin2xsinxdx=∫cos2x−1d(cosx)=21lncosx+1cosx−1+C=ln1+cosx1−cosx+C
=lnsin2x(1−cosx)2+C=lnsinx1−cosx+C
∫tanxdx=ln∣sinx∣+C
∫sinxcosxdx=∫sinxd(sinx)
∫a2−x2dx=21xa2−x2+2a2arcsinax+C,a>0
三角换元:令x=asint,t∈[−2π,2π],dx=acostdt
∫acostdx=a2∫cos2tdt=a2∫(21+cos2t)dt=2a2(t+2sin2t)+C
=2a2(t+22sintcost)+C=2a2arcsinax+2a2⋅ax1−a2x2+C
∫x2−a2dx=lnx+x2−a2+C,a>0
三角换元:令x=costa,t∈[0,π]\{2π},dx=cos2tasintdt
∫cos2tcos2ta2−a2cos2tasintdt=∫cost⋅a∣sint∣asintdt=∫costdt=lncost1+sint+C
=lnxa1+1−x2a2+C=lnax+x2−a2+C=lnx+x2−a2−ln∣a∣+C
∫x2+a2dx=lnx+x2+a2+C,a>0
三角换元:令x=atant,t∈(−2π,2π),dx=cos2tadt
∫cos2tcos2ta2sin2t+a2cos2tadt=∫cost⋅aadt=∫costdt=lncost1+sint+C
=lnx2+a2a1+x2+a2x+C=lnax+x2+a2+C=lnx+x2+a2−ln∣a∣+C
以上两个公式x2+a2是作为整体出现在结果中的,因此可以统一为:
∫x2±a2dx=lnx+x2±a2+C,a>0
∫x2+a2dx=21xx2+a2+21a2ln∣x+x2+a2∣+C
I=∫x2+a2dx=xx2+a2−∫xd(x2+a2)=xx2+a2−∫x2+a2x2+a2−a2dx
=xx2+a2−∫x2+a2dx+a2∫x2+a21dx
2I=xx2+a2+a2lnx+x2+a2+C
∫x2−a2dx=21xx2−a2+21a2ln∣x+x2−a2∣+C
I=∫x2−a2dx=xx2−a2−∫xd(x2−a2)=xx2−a2−∫x2−a2x2−a2+a2dx
=xx2−a2−∫x2−a2dx+a2∫x2−a21dx
2I=xx2−a2+a2lnx+x2−a2+C
以上两个公式x2+a2是作为整体出现在结果中的,因此可以统一为:
∫x2±a2dx=21xx2±a2+21a2ln∣x+x2±a2∣+C
有理函数的积分
任何有理函数R(x)都可以写成Q(x)P(x),其中P(x),Q(x)为多项式。而根据多项式大除法,假分数一定可以化成多项式加真分数的形式。所以我们只需研究真分数有理函数的积分。
根据代数基本定理,Q(x)的所有复数根都是共轭的,因此可以写出
Q(x)=(x−x1)k1⋯(x−xl)kl(x2+p1x+q1)m1⋯(x2+pnx+qn)mn
于是一定有
R(x)=j∈[l]∑(k∈[kj]∑(x−xj)kajk)+j∈[n]∑(k∈[mj]∑(x2+pjx+qj)kbjkx+cjk)
于是我们可以待定系数把它进行上述分解,而括号内的函数的不定积分我们都是会求的。我们其实是固定了分母的形式,保证通分之后分子可以依靠待定系数来形成P(x)。这个结论的证明对我们理解没有任何帮助,除了让我们“确信”待定系数真的是可行的。
在实际过程中我们有时不必依靠“多项式恒等解线性方程组”来确定系数,而是等式两边同乘某个分母再代入x的值来依次解出待定的系数。
技巧
∫x(2x−1)100dx,作换元t=2x−1
1+tan2x=cos2x1,cos2x1−tan2x=1
ax2+bx+c总可以配方变成Au2+B的形式
(xlnx)′=1+lnx
∫(x−1)x2+2x−5dx=∫(u−2)u2−6du=∫uu2−6du−2∫u2−6du,其中∫uu2−6du=21∫u2−6d(u2−6)
∫cos3x1dx=∫cosxd(tanx)=cosxtanx−∫tanxd(cosx1),其中后一项等于∫cos3xsin2xdx=∫(cos3x1−cosx1)dx,可以循环积分。
复数以及初等函数之间的相互联系
欧拉公式
我们沿用泰勒级数来定义复数域下的初等函数,可以验证它们依然收敛。因此有
ez=1+1!z+2!z2+3!z3+⋯
sinz=1!z−3!z3+5!z5−7!z7+⋯
cosz=1−2!z2+4!z4−6!z6+⋯
把z用ix代入,恰好有:
1+1!ix+2!(ix)2+3!(ix)3+4!(ix)4+5!(ix)5+⋯=(1−2!x2+4!x4−⋯)+i(1!x−3!x3+5!x5+⋯)
即eix=cosx+isinx,其中x为任意复数。
复数的三角形式z=r(cosφ+isinφ)可以通过欧拉公式写作z=reiφ
指数函数,三角函数,双曲函数
根据欧拉公式有e−ix=cosx−isinx
于是解得:
cosx=2eix+e−ix
sinx=2ieix−e−ix
根据双曲函数的定义coshx=2ex+e−x,sinhx=2ex−e−x进而得到
coshx=cosix
sinhx=−isinix
不进入复数域,我们就不可能发现这种统一性。
复数域的代数封闭性——代数基本定理
每个n次复系数多项式P(z)=c0+⋯+cnzn在\C中都有根。这成为代数基本定理(不证)。
根据代数基本定理我们可以从n次多项式里提取出一个因式,余下一个n−1次多项式又可以递归地提取。因此一定成立P(z)=cn(z−z1)⋯(z−zn),即每个n次复系数多项式都恰好有n个复数根(包括重根)
根据共轭复数的运算性质z1+z2=z1+z2和z1⋅z2=z1⋅z2得知,对于实系数n次多项式一定成立P(z)=P(z)。因此如果实系数多项式有复数根zi,就一定有共轭复数根zi,即复数根一定成对出现。而(z−zi)(z−zi)一定是一个实系数二次多项式,所以我们得出结论:实系数多项式一定可以写成若干实系数一次多项式和实系数二次多项式的乘积。
如果有P(z)=cn(z−z1)k1⋯(z−zp)kp,用Leibniz's Rule求导得P′(z)=cn(z−z1)k1−1⋯(z−zp)kp−1[k1(z−z2)⋯(z−zp) +k2(z−z1)(z−z3)⋯(z−zp)+kp(z−z1)⋯(z−zp−1)],由于zj两两不同且k>0,对方括号里的部分代入zj肯定不为0。这意味着如果一个多项式恰好有某个根的k重根,其导函数一定恰好有这个根的k−1重根。因此知道P(z)和P′(z)的最大公因子必定形如q(z)=C(z−z1)k1−1⋯(z−zp)kp−1,q(z)P(z)即得C(z−z1)⋯(z−zp)。而q(z)是可以通过欧几里得辗转相除法求出得,因此给定P(z)我们一定可以求出它的单重根表达式。