【高等数学基础进阶】定积分与反常积分-反常积分

2,024 阅读1分钟

本文已参与「新人创作礼」活动,一起开启掘金创作之路。

积分有两个要求,一个是积分上下限有限,被积函数有界,打破其中任意一个,即为反常积分

 

无穷区间上的反常积分

+af(x)dx=limt+atf(x)dxbf(x)dx=limttbf(x)dx0+f(x)dx0f(x)都收敛,则称+f(x)dx收敛 \begin{gathered} \int^{a}_{+\infty}f(x)dx=\lim\limits_{t\to+\infty}\int^{t}_{a}f(x)dx\\ \int^{b}_{-\infty}f(x)dx=\lim\limits_{t\to-\infty}\int^{b}_{t}f(x)dx\\ 若\int^{+\infty}_{0}f(x)dx和\int^{0}_{-\infty}f(x)都收敛,则称\int^{+\infty}_{-\infty}f(x)dx收敛 \end{gathered}

 

常用结论:

a+1xPdx={P>1收敛P1发散(a>0) \int^{+\infty}_{a} \frac{1}{x^{P}}dx=\left\{\begin{aligned}&P>1&收敛\\ &P\leq1&发散\end{aligned}\right.\quad(a>0)

 

无界函数的反常积分

aaf(x)f(x)的无界点,

abf(x)dx=limta+cbf(x)dx \int^{b}_{a}f(x)dx=\lim\limits_{t\to a^{+}}\int^{b}_{c}f(x)dx

 

常用结论:

ab1(xa)Pdx={P<1收敛P1发散=ab1(bx)Pdx \int^{b}_{a} \frac{1}{(x-a)^{P}}dx=\left\{\begin{aligned}&P<1&收敛\\ &P\geq1&发散\end{aligned}\right.=\int^{b}_{a} \frac{1}{(b-x)^{P}}dx

 

常考题型与典型例题

反常积分的敛散性

例1:说明反常积分2+xdex\int^{+\infty}_{2}xde^{-x}收敛

 

2+xdex=2+xdex=xex2++2+exdx=(x+1)ex2+ \begin{aligned} \int^{+\infty}_{2}xde^{-x}&=-\int^{+\infty}_{2}xde^{-x}\\ &=-xe^{-x}\Big|^{+\infty}_{2}+\int^{+\infty}_{2}e^{-x}dx\\ &=-(x+1)e^{-x}\Big|^{+\infty}_{2} \end{aligned}

 

exe^{x}在分母上变成exe^{-x}

 

例2:设函数f(x)={1(x1)α11<x<e1xlnα+1xxef(x)=\left\{\begin{aligned}& \frac{1}{(x-1)^{\alpha-1}}&1<x<e\\& \frac{1}{x\ln^{\alpha+1}x}&x\geq e\end{aligned}\right.,若反常积分1+f(x)dx\int^{+\infty}_{1}f(x)dx收敛,求α\alpha的范围

 

定义中若0+f(x)dx\int^{+\infty}_{0}f(x)dx0f(x)\int^{0}_{-\infty}f(x)都收敛,则称+f(x)dx\int^{+\infty}_{-\infty}f(x)dx收敛,是指积分上下限区间范围内任意分都收敛,则整体收敛

 

1+f(x)dx=1e1(x1)α1dx+e+dxxlnα+1x=1e1(x1)α1dxα1<αα<2+e+dlnxlnα+1xα+1>1α>0 \begin{aligned} \int^{+\infty}_{1}f(x)dx&=\int^{e}_{1} \frac{1}{(x-1)^{\alpha-1}}dx+\int^{+\infty}_{e} \frac{dx}{x\ln^{\alpha+1}x}\\ &=\underbrace{\int^{e}_{1} \frac{1}{(x-1)^{\alpha-1}}dx}_{\alpha-1<\alpha\Rightarrow \alpha<2 }+\underbrace{\int^{+\infty}_{e} \frac{d\ln x}{\ln^{\alpha+1}x}}_{\alpha+1>1 \Rightarrow \alpha>0} \end{aligned}

 

两个常用公式中的变量可以整体代换,如本题lnx\ln x代换xx,可使用a+1xPdx\int^{+\infty}_{a} \frac{1}{x^{P}}dx的结论

 

因此0<α<20<\alpha<2

 

例3:反常积分01x2e1xdx\int^{0}_{-\infty} \frac{1}{x^{2}}e^{\frac{1}{x}}dx的敛散性为

 

原式=0e1xd1x=e1x0=limx0e1x+1=1 \begin{aligned} 原式&=-\int^{0}_{-\infty}e^{\frac{1}{x}}d \frac{1}{x}\\ &=-e^{\frac{1}{x}}\Big|^{0}_{-\infty}\\ &=- \lim\limits_{x\to0^{-}}e^{\frac{1}{x}}+1=1 \end{aligned}

 

此处有limx0e1x\lim\limits_{x\to0^{-}}e^{\frac{1}{x}},原本是limx0e1x\lim\limits_{x\to0}e^{\frac{1}{x}},但由于一面已经确定了是-\infty00以左都一样),则在该区间内,趋向于00,显然无法出现x0+x\to 0^{+},因此默认为00^{-}

 

例4:反常积分0+1xa(1+x)bdx\int^{+\infty}_{0} \frac{1}{x^{a}(1+x)^{b}}dx收敛

 

0+1xPdx\int^{+\infty}_{0} \frac{1}{x^{P}}dx积分两侧都是反常积分,下限为无界函数的反常积分,上限为无穷区间的反常积分

 

原式=01dxxa(1+x)b+1+dxxa(1+x)b这里观察到两侧都是反常积分因此随便找个数把两类反常积分区间分开 \begin{aligned} 原式&=\int^{1}_{0} \frac{dx}{x^{a}(1+x)^{b}}+\int^{+\infty}_{1} \frac{dx}{x^{a}(1+x)^{b}}\\ &这里观察到两侧都是反常积分\\ &因此随便找个数把两类反常积分区间分开 \end{aligned}

由于limx0+(1+x)b=1\lim\limits_{x\to0^{+}}(1+x)^{b}=1,易知01dxxa(1+x)b\int^{1}_{0} \frac{dx}{x^{a}(1+x)^{b}}00处与01dxxa\int^{1}_{0} \frac{dx}{x^{a}}同敛散,因此a<1a<1。对于另一部分有

1+dxxa(1+x)b=1+dxxa+b(1+1x)b \begin{aligned} \int^{+\infty}_{1} \frac{dx}{x^{a}(1+x)^{b}}&=\int^{+\infty}_{1} \frac{dx}{x^{a+b}(1+ \frac{1}{x})^{b}} \end{aligned}

用上面的推理方式,可知1+dxxa+b(1+1x)b\int^{+\infty}_{1} \frac{dx}{x^{a+b}(1+ \frac{1}{x})^{b}}1+dxxa+b\int^{+\infty}_{1} \frac{dx}{x^{a+b}}x+x\to +\infty同敛散,因此a+b>1a+b>1

 

反常积分的计算

例5:2+dx(x+7)x2=()\int^{+\infty}_{2} \frac{dx}{(x+7)\sqrt{x-2}}=()

 

可以令x2=t\sqrt{x-2}=t,可以算出来,这里用另一种方法

原式=2+2dx29+(x2)2=23arctanx22+=π3 \begin{aligned} 原式&=\int^{+\infty}_{2} \frac{2d \sqrt{x-2}}{9+(\sqrt{x-2})^{2}}\\ &=\frac{2}{3} \arctan \sqrt{x-2}\Big|^{+\infty}_{2}\\ &=\frac{\pi}{3} \end{aligned}

 

例6:计算I=1+dxex+e2xI=\int^{+\infty}_{1} \frac{dx}{e^{x}+e^{2-x}}

 

如果积分中出现exe^{x}且要凑进dxdx,则可以考虑尽量把所有exe^{-x}化成exe^{x}方便观察

 

I=1+exdxe2x+e2=1+dexe2+e2x=1earctanexe1+=π4e \begin{aligned} I&=\int^{+\infty}_{1} \frac{e^{x}dx}{e^{2x}+e^{2}}\\ &=\int^{+\infty}_{1} \frac{de^{x}}{e^{2}+e^{2x}}\\ &=\frac{1}{e}\arctan \frac{e^{x}}{e}\Big|^{+\infty}_{1}\\ &=\frac{\pi}{4e} \end{aligned}