反常积分（简明微积分）

贡献者： ACertainUser; addis; Giacomo

1. 积分限为无穷的反常积分

引入

　　 在许多物理、数学问题中我们会遇到一些积分到无穷的积分。例如 势能（简介）中，我们定义势能是 $$E_P={\int }_a^{\mathrm{\infty }}{\mathbf{F}}_{in}\cdot \mathrm{d}r.$$

　　 你可能会想，“功是力在位移上的作用量，如果物体在力的作用下运动了无穷远，那么力岂不做了无穷多的功？那这个结论还有什么意义？” 结果真的是这样吗？

　　 我们先看一个简单的例子：${\int }_1^a\frac{1}{x^2}\mathrm{d}x$（许多有心力遵循平方反比律），并令 $a\to +\mathrm{\infty }$。

　　 看起来，随着 $a$ 的增大，${\int }_1^a\frac{1}{x^2}\mathrm{d}x$ 似乎并没有趋向无穷，而是趋向某一个确定的值 $1$。这也就启发我们，即使积分区间趋向无穷大，积分结果仍然可能是有意义的。这就要求我们扩展定积分的定义，玩一种很新的积分。

定义

　　 同样地，可以定义在 $(-\mathrm{\infty },b]$ 上的连续函数 $f(x)$ 的反常积分为 ${\displaystyle {\int }_{-\mathrm{\infty }}^{b}f(x)\mathrm{d}x=\underset{t\to -\mathrm{\infty }}{lim}{\int }_{-\mathrm{\infty }}^{b}f(x)\mathrm{d}x}$

　　 对于定义在 $(-\mathrm{\infty },+\mathrm{\infty })$ 上的连续函数 $f(x)$ 的反常积分 ${\displaystyle {\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}f(x)\mathrm{d}x}$ 作如下定义 $${\displaystyle {\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}f(x)\mathrm{d}x={\displaystyle {\int }_c^{+\mathrm{\infty }}f(x)\mathrm{d}x+{\displaystyle {\int }_{-\mathrm{\infty }}^{c}f(x)\mathrm{d}x,}}}$$ 其中 $c$ 是任意实数。当且仅当等式右边的两个积分同时收敛时，称反常积分 ${\displaystyle {\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}f(x)\mathrm{d}x}$ 收敛，且右端两个积分值的和称为反常积分 ${\displaystyle {\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}f(x)\mathrm{d}x}$ 的值；否则称 ${\displaystyle {\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}f(x)\mathrm{d}x}$ 发散。

计算

　　 为了计算反常积分，我们仅需要简单地推广牛顿—莱布尼兹公式。

　　 换句话说，如果 $\underset{t\to +\mathrm{\infty }}{lim}F(t)$ 存在，那么原反常积分就收敛（趋近于一个确定的值）。

例 2　计算 ${\int }_1^{+\mathrm{\infty }}\frac{1}{x}\mathrm{d}x$

图 2：$f(x)=\frac{1}{x}$(红)与 $f(x)=\frac{1}{x^2}$(蓝)的图像

　　 $${\int }_1^{+\mathrm{\infty }}\frac{1}{x}\mathrm{d}x=\underset{t\to +\mathrm{\infty }}{lim}\ln \left(t\right)-\ln \left(1\right).$$ 很遗憾，$\underset{t\to +\mathrm{\infty }}{lim}\ln \left(t\right)$ 是发散的，因此这个反常积分也是发散的。

　　 有人论证，这个结果似乎意味着二次元中引力势能是无穷大的，因此可怜的二次元宇航员永远没有足够的能量来摆脱母星的引力束缚。在三次元中，正如我们上文所见，引力势能是有限的。

习题 1　

　　 计算 ${\int }_1^{+\mathrm{\infty }}\frac{1}{x^{0.9}}\mathrm{d}x$ 与 ${\int }_1^{+\mathrm{\infty }}\frac{1}{x^{1.1}}\mathrm{d}x$。你发现了什么？

图 3：三者的函数图像

2. 瑕积分：被积函数趋向无穷的积分

　　 接下来，我们来处理一类被积函数趋近于无穷的问题。例如，积分 ${\int }_0^1\frac{1}{x^{\frac{4}{5}}}\mathrm{d}x$。

　　 注意到当 $x=0$ 时，$\frac{1}{x^{\frac{4}{5}}}$ 发散，我们开始怀疑这个积分是否有意义。我们试着在 $t\to 0$ 时积分 ${\int }_t^1\frac{1}{x^{\frac{4}{5}}}\mathrm{d}x$

　　 与之前的例子类似，尽管 $t\to 0$ 时被积函数 $\frac{1}{x^{\frac{4}{5}}}$ 发散，但 ${\int }_t^1\frac{1}{x^{\frac{4}{5}}}\mathrm{d}x$ 正趋向一个有限的值。这种情况再次提醒我们需要继续扩展定积分的定义，即允许一个发散的函数具有有限的定积分值。于是，我们引入了瑕积分的概念。

　　 计算瑕积分时，我们同样需要推广牛顿—莱布尼兹公式。