Definition 6.5.1.
定义 1 设函数 \(f(x)\) 在无限区间 \([a,+\infty)\) 内连续,若对任意的 \(b>a\text{,}\) 极限 \(\lim\limits_{b \rightarrow+\infty} \displaystyle \int_{a}^{b} f(x) \mathrm{d} x\) 存在, 则称此极限为函数 \(f(x)\) 在无穷区间 \([a,+\infty)\) 内的反常积分, 记作 \(\displaystyle \int_{a}^{+\infty} f(x) \mathrm{d} x\text{,}\) 即
\begin{equation*}
\displaystyle \int_{a}^{+\infty} f(x) \mathrm{d} x=\lim\limits_{b \rightarrow+\infty} \displaystyle \int_{a}^{b} f(x) \mathrm{d} x .
\end{equation*}
这时也称反常积分 \(\displaystyle \int_{a}^{+\infty} f(x) \mathrm{d} x\) 收敛; 若上述极限不存在, 则称函数 \(f(x)\) 在无穷区间 \([a,+\infty)\) 内的反常积分 \(\displaystyle \int_{a}^{+\infty} f(x) \mathrm{d} x\) 不存在或发散.
类似地, 设函数 \(f(x)\) 在区间 \((-\infty, b]\) 上连续, 取任意 \(a<b\text{,}\) 若极限 \(\lim\limits_{a \rightarrow-\infty} \displaystyle \int_{a}^{b} f(x) \mathrm{d} x\) 存在, 则称此极限为函数 \(f(x)\) 在无穷区间 \((-\infty, b]\) 上的反常积分, 记作 \(\displaystyle \int_{-\infty}^{b} f(x) \mathrm{d} x\text{,}\) 即
\begin{equation*}
\displaystyle \int_{-\infty}^{b} f(x) \mathrm{d} x=\lim\limits_{a \rightarrow-\infty} \displaystyle \int_{a}^{b} f(x) \mathrm{d} x .
\end{equation*}
这时也称反常积分 \(\displaystyle \int_{-\infty}^{b} f(x) \mathrm{d} x\) 收敛; 若上述极限不存在, 则称反常积分 \(\displaystyle \int_{-\infty}^{b} f(x) \mathrm{d} x\) 不存在或发散.
同样, 若函数 \(f(x)\) 在区间 \((-\infty,+\infty)\) 上连续, 反常积分 \(\displaystyle \int_{-\infty}^{0} f(x) \mathrm{d} x\) 和 \(\displaystyle \int_{0}^{+\infty} f(x) \mathrm{d} x\) 都收敛, 则称上述两个反常积分之和为函数 \(f(x)\) 在无穷区间 \((-\infty,+\infty)\) 上的反常积分, 记作 \(\displaystyle \int_{-\infty}^{+\infty} f(x) \mathrm{d} x\text{,}\) 即
\begin{equation*}
\begin{aligned}
\displaystyle \int_{-\infty}^{+\infty} f(x) \mathrm{d} x & =\displaystyle \int_{-\infty}^{0} f(x) \mathrm{d} x+\displaystyle \int_{0}^{+\infty} f(x) \mathrm{d} x \\
& =\lim\limits_{a \rightarrow-\infty} \displaystyle \int_{a}^{0} f(x) \mathrm{d} x+\lim\limits_{b \rightarrow+\infty} \displaystyle \int_{0}^{b} f(x) \mathrm{d} x .
\end{aligned}
\end{equation*}
这时也称反常积分 \(\displaystyle \int_{-\infty}^{+\infty} f(x) \mathrm{d} x\) 收敛, 否则就称反常积分 \(\displaystyle \int_{-\infty}^{+\infty} f(x) \mathrm{d} x\) 发散.