广州大学数学与信息科学学院，广东 广州

收稿日期：2023年9月13日；录用日期：2023年12月13日；发布日期：2024年2月21日

摘要

反常积分的基本问题就是探讨其敛散性的判别，这是求解无穷积分近似值的一个先决条件。本文根据定义在 $\left[1,+\infty \right)$ 上连续函数 $f\left(x\right)$ 的对数形式与自变量x的对数形式的比值形式的变化，给出了一种新的判别无穷积分敛散性的判别方法。

关键词

无穷积分，敛散性，比较判别法

On the Ratio Form of Logarithmic Function to Distinguish the Convergence and Divergence of Infinite Integrals

Hongjun He, Xiaofang Huang

School of Mathematics and Information Science, Guangzhou University, Guangzhou Guangdong

Received: Sep. 13^th, 2023; accepted: Dec. 13^th, 2023; published: Feb. 21^st, 2024

ABSTRACT

The basic problem of infinite integrals is to explore the judgement of their convergence and divergence, this is a prerequisite for solving the approximations of infinite integrals. In this paper, according to change of the ratio form between the logarithmic form of continuous function $f\left(x\right)$ defined in $\left[1,+\infty \right)$ and the logarithmic form of the variable x, we give a new method for distinguishing the convergence and divergence of infinite integrals.

Keywords:Infinite Integrals, Convergence and Divergence, Comparative Judgement Method

Copyright © 2024 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

众所周知，定积分起源于求平面图形的面积和其他一些实际问题，定积分的思想在古代数学家的工作中就已经有了萌芽。如古希腊时期阿基米德在公元前240年左右就曾用求和的方法计算过抛物线弓形及其它图形的面积；公元263年，三国时期的刘徽在他的割圆术中提到“割之弥细，所失弥小，割之又割，以至于不可割，则与圆周合体而无所失矣”。然而，在讨论定积分时有两个默认的前提，即定积分的积分区间都是有限的，被积函数也都是有界的。但在实际应用和理论研究中，还会遇到一些在无限区间上定义的函数或有限区间上的无界函数，对它们也需要考虑类似于定积分的问题，由此引出了反常积分的定义。反常积分又叫广义积分，是对普通定积分的推广，是指含有无穷上限或下限，或者被积函数含有无界点的积分，前者称为无穷限反常积分(简称无穷积分)，后者称为瑕积分(又称无界函数的反常积分)。反常积分在实际生活中有许多应用，如在概率统计中求连续型随机变量的数学期望和方差就要用到无穷区间上的反常积分。

对于反常积分，基本问题就是探讨其敛散性的判别，这也是求解无穷积分近似值的一个先决条件。对于无穷积分敛散性判别的方法有很多，如柯西收敛准则，比较原则，狄利克雷判别法，阿贝尔判别法 [1] 等。另外，还有很多判别无穷积分的其他方法，诸如郭祖胜 [2] 给出了非负函数无穷积分敛散性的新判别法；陈亚丽 [3] 给出了广义积分敛散性的对数判别法；玉璋 [4] 给出了正函数无穷积分敛散性的一种判别法；曹桂文、程小强 [5] 给出了非负递减函数无穷积分的敛散性几个新的判别法；边平勇 [6] 运用极限审敛法的等价定理给出了无穷积分的敛散性的判定定理；徐松林和王龙奎 [7] 运用阶的估计法给出了判定无穷积分敛散性的判定定理；胡端平和李小刚 [8] 反常积分敛散性的根值判别法；廉海荣等 [9] 给出了反常积分敛散性的对数判别法。

本文主要在温朝晖、李天胜、朱存斌 [10] 给出的无穷积分敛散性的一个新的判别法和郑建南、李志伟 [11] 给出的无穷积分敛散性的一个判别法的基础上，给出另外一种判别无穷积分敛散性的新方法。该方法对于判定无穷积分的敛散性时，优于比较原则判定法。

2. 无穷积分敛散性判别

华东师范大学1985年研究生入学考试中有一题，给出了判别无穷积分敛散性的一种方法，结果如下：

定理2.1 ([1，例4.5.13]) 设 $f\left(x\right)$ 是 $\left[1,+\infty \right)$ 上的连续函数，对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，且 $\underset{x\to +\infty }{\lim }\frac{\ln f\left(x\right)}{\ln x}=-\lambda$ 。若 $\lambda >1$ ，则 ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛。

温朝辉等 [10] 补充完善了定理2.1 (见定理2.2)，并利用被积函数和导函数给出了定理2.2的一个特例(见定理2.3)。

定理2.2 ([2，定理1]) 设 $f\left(x\right)$ 是 $\left[1,+\infty \right)$ 上的连续函数，对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，且 $\underset{x\to +\infty }{\lim }\frac{\ln f\left(x\right)}{\ln x}=-\lambda$ ，

1) 当 $\lambda >1$ 或 $\lambda =\text{+}\infty$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛；

2) 当 $\lambda <1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 发散；

3) 当 $\lambda =1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 可能收敛也可能发散。

定理2.3 ([2，定理2]) 设 $f\left(x\right)$ 是 $\left[1,+\infty \right)$ 上有连续的导函数，对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，且 $f\left(x\right)=0$ ，又 $\underset{x\to \text{+}\infty }{\lim }\frac{x{f}^{\prime }\left(x\right)}{f\left(x\right)}=-\lambda$ ，则

1) 当 $\lambda >1$ 或 $\lambda =\text{+}\infty$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛；

2) 当 $\lambda <1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 发散；

3) 当 $\lambda =1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 可能收敛也可能发散。

郑建南，李志伟给出了判别无穷积分 ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 敛散性的一个新方法，即推广了定理2.2和定理2.3。

定理2.4 ([3，定理3]) 设 $f\left(x\right)$ 是 $\left[1,+\infty \right)$ 上连续，对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，且 $\underset{x\to \text{+}\infty }{\lim }\frac{\ln \left[xf\left(x\right)\right]}{\ln \ln x}=-\lambda$ ，则

1) 当 $\lambda >1$ 或 $\lambda =\text{+}\infty$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛；

2) 当 $\lambda <1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 发散；

3) 当 $\lambda =1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 可能收敛也可能发散。

推论2.5 ([3，推论1])。设 $f\left(x\right)$ 是 $\left[1,+\infty \right)$ 上有连续的导函数，对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，且 $\underset{x\to \text{+}\infty }{\lim }f\left(x\right)=0$ ，又 $\underset{x\to \text{+}\infty }{\lim }\ln x\left(1+\frac{x{f}^{\prime }\left(x\right)}{f\left(x\right)}\right)=-\lambda$ ，则

1) 当 $\lambda >1$ 或 $\lambda =\text{+}\infty$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛；

2) 当 $\lambda <1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 发散；

3) 当 $\lambda =1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 可能收敛也可能发散。

例1 对任意正数 $\delta$ ，讨论反常积分 ${\displaystyle {\int }_{1+\delta }^{\text{+}\infty }\frac{\text{d}x}{x{\left(\ln x\right)}^p}}$ 的敛散性。

解 由于 ${\displaystyle {\int }_{1+\delta }^{\text{+}\infty }\frac{\text{d}x}{x{\left(\ln x\right)}^p}}={\displaystyle {\int }_{1+\delta }^{\text{+}\infty }\frac{\text{d}\left(\ln x\right)}{{\left(\ln x\right)}^p}={\displaystyle {\int }_{\ln \left(1+\delta \right)}^{\text{+}\infty }\frac{\text{d}u}{u^p}}}$ ，故当 $p>1$ 时 ${\displaystyle {\int }_{1+\delta }^{\text{+}\infty }\frac{\text{d}x}{x{\left(\ln x\right)}^p}}$ 收敛；

当 $p\le 1$ 时， ${\displaystyle {\int }_{1+\delta }^{\text{+}\infty }\frac{\text{d}x}{x{\left(\ln x\right)}^p}}$ 发散。

根据例1，可将定理2.4进一步改进为如下定理。

定理2.6 设 $f\left(x\right)$ 是 $\left[1,+\infty \right)$ 上连续，对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，且对某一固定正数p， $\underset{x\to \text{+}\infty }{\lim }\frac{\ln \left[xf\left(x\right)\right]}{\ln {\left(\ln x\right)}^p}=-\lambda$ ，则

1) 当 $\lambda >\frac{1}{p}$ 或 $\lambda =\text{+}\infty$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛；

2) 当 $\lambda <\frac{1}{p}$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 发散；

3) 当 $\lambda =\frac{1}{p}$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 可能收敛也可能发散。

证明 由于对某一固定正数p， $\underset{x\to \text{+}\infty }{\lim }\frac{\ln \left[xf\left(x\right)\right]}{\ln {\left(\ln x\right)}^p}=-\lambda$ ，故对任意 $\epsilon >0$ ，存在 $X>e$ ，

当 $x>X$ 时，有

$-\lambda -\epsilon <\frac{\ln \left[xf\left(x\right)\right]}{\ln {\left(\ln x\right)}^p}<-\lambda +\epsilon$ ，

即

$\ln {\left(\ln x\right)}^{p\left(-\lambda -\epsilon \right)}<\ln \left[xf\left(x\right)\right]<\ln {\left(\ln x\right)}^{p\left(-\lambda +\epsilon \right)}.$

又因为对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，从而有

$\frac{1}{x{\left(\ln x\right)}^{p\left(\lambda +\epsilon \right)}}<f\left(x\right)<\frac{1}{x{\left(\ln x\right)}^{p\left(\lambda -\epsilon \right)}}.$

根据假设，即 $f\left(x\right)$ 在 $\left[1,+\infty \right)$ 上连续，知 $f\left(x\right)$ 在任何有限区间 $\left[1,u\right)\in \left[1,\infty \right)$ 上可积。从而，通过比较判别法和例1知，当 $\lambda >\frac{1}{p}$ 时，取 $\epsilon <\lambda -\frac{1}{p}$ ，得 $p\left(\lambda -\epsilon \right)>1$ ，从而可得 ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛。当 $\lambda <\frac{1}{p}$ 时，取 $\epsilon <\frac{1}{p}-\lambda$ ，得 $p\left(\lambda +\epsilon \right)<1$ ，从而可得 ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 发散。另外，当 $\lambda =+\infty$ 时，即 $\underset{x\to +\infty }{\lim }\frac{\ln \left[xf\left(x\right)\right]}{\ln {\left(\ln x\right)}^p}=-\infty$ ，则对任意 $M>\frac{1}{p}>0$ ，存在 $X>e$ ，使得当 $x>X$ 时，有

$\frac{\ln \left[xf\left(x\right)\right]}{\ln {\left(\ln x\right)}^p}<-M$

进一步有

$\ln \left[xf\left(x\right)\right]<-M\ln {\left(\ln x\right)}^p=\ln {\left(\ln x\right)}^{-pM}=\frac{1}{\ln {\left(\ln x\right)}^{pM}}.$

因而

$f\left(x\right)<\frac{1}{x{\left(\ln x\right)}^{pM}}.$

根据比较判别法和例1可得， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛。

另一方面，当 $\lambda =\frac{1}{p}$ 时，考察无穷积分 ${\displaystyle {\int }_3^{\text{+}\infty }\frac{\text{d}x}{x{\left(\ln x\right)}^m{\left(\ln \ln x\right)}^n}}\left(m>0,n>0\right)$ 。

当 $m=1$ 时，有

${\displaystyle {\int }_3^{\text{+}\infty }\frac{\text{d}x}{x{\left(\ln x\right)}^m{\left(\ln \ln x\right)}^n}}={\displaystyle {\int }_3^{\text{+}\infty }\frac{\text{d}\left(\ln \ln x\right)}{{\left(\ln \ln x\right)}^n}}={\displaystyle {\int }_{\ln \ln 3}^{\text{+}\infty }\frac{\text{d}u}{u^n}}.$

根据比较原则知，当 $n>1$ 时 ${\displaystyle {\int }_3^{\text{+}\infty }\frac{\text{d}x}{x{\left(\ln x\right)}^m{\left(\ln \ln x\right)}^n}}$ 收敛；当 $n<1$ 时 ${\displaystyle {\int }_3^{\text{+}\infty }\frac{\text{d}x}{x{\left(\ln x\right)}^m{\left(\ln \ln x\right)}^n}}$ 发散。同时，对任意 $n>0$ ，当 $m=1$ 时，有

$\begin{array}{c}\underset{x\to \infty }{\lim }\frac{\ln \left[xf\left(x\right)\right]}{\ln {\left(\ln x\right)}^p}=\underset{x\to \infty }{\lim }\frac{\ln [x\frac{1}{x\ln x{\left(\ln \ln x\right)}^n}]}{\ln {\left(\ln x\right)}^p}\\ =\underset{x\to \infty }{\lim }\frac{-\ln \ln x-n\ln \ln \ln x}{p\ln \ln x}\\ =-\frac{1}{p}-\underset{x\to \infty }{\lim }\frac{n\ln \ln \ln x}{p\ln \ln x}\\ =-\frac{1}{p}-\frac{n}{p}\underset{x\to \infty }{\lim }\frac{x\ln x}{x\left(\ln \ln x\right)\left(\ln x\right)}\\ =-\frac{1}{p}\end{array}$

从而得知，当 $\lambda =\frac{1}{p}$ 时，无穷积分 ${\displaystyle {\int }_3^{\text{+}\infty }\frac{\text{d}x}{x{\left(\ln x\right)}^m{\left(\ln \ln x\right)}^n}}$ 可能收敛，也可能发散。

利用L’Hospital法则，可得

$\underset{x\to \infty }{\lim }\frac{\ln \left[xf\left(x\right)\right]}{\ln {\left(\ln x\right)}^p}=\underset{x\to \infty }{\lim }\frac{x\ln x\left(f\left(x\right)+x{f}^{\prime }\left(x\right)\right)}{pxf\left(x\right)}=\underset{x\to \infty }{\lim }\ln x\left(\frac{1}{p}+\frac{x{f}^{\prime }\left(x\right)}{pf\left(x\right)}\right).$

因此，根据推论2.5和定理2.6，可得如下推论。

推论2.7 设 $f\left(x\right)$ 在 $\left[1,+\infty \right)$ 上有连续的导函数，对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，且 $\underset{x\to \infty }{\lim }f\left(x\right)=0$ ，又对某一固定的正数p， $\underset{x\to \infty }{\lim }\ln x\left(\frac{1}{p}+\frac{x{f}^{\prime }\left(x\right)}{pf\left(x\right)}\right)=-\lambda$ ，则

1) 当 $\lambda >\frac{1}{p}$ 或 $\lambda =+\infty$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛；

2) 当 $\lambda <\frac{1}{p}$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 发散；

3) 当 $\lambda =\frac{1}{p}$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 可能收敛也可能发散。

例2 对任意正数 $\delta$ ，讨论反常积分 ${\displaystyle {\int }_{e+\delta }^{+\infty }\frac{\text{d}x}{x\ln x{\left(\ln \ln x\right)}^p}}$ 的敛散性。

解 由于 ${\displaystyle {\int }_{e+\delta }^{+\infty }\frac{\text{d}x}{x\ln x{\left(\ln \ln x\right)}^p}}={\displaystyle {\int }_{e+\delta }^{+\infty }\frac{\text{d}\left(\ln \ln x\right)}{{\left(\ln \ln x\right)}^p}}={\displaystyle {\int }_{\ln \ln \left(e+\delta \right)}^{+\infty }\frac{\text{d}u}{u^p}}$ ，故当 $p>1$ 时 ${\displaystyle {\int }_{e+\delta }^{+\infty }\frac{\text{d}x}{x\ln x{\left(\ln \ln x\right)}^p}}$ 收敛；当 $p\le 1$ 时， ${\displaystyle {\int }_{e+\delta }^{+\infty }\frac{\text{d}x}{x\ln x{\left(\ln \ln x\right)}^p}}$ 发散。

根据例2，可将定理2.4进一步改进为如下定理。

定理2.8 设 $f\left(x\right)$ 在 $\left[1,+\infty \right)$ 上连续，对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，且 $\underset{x\to \infty }{\lim }\frac{\ln \left[x\ln xf\left(x\right)\right]}{\ln \ln \ln x}=-\lambda$ ，则

1) 当 $\lambda >1$ 或 $\lambda =+\infty$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛；

2) 当 $\lambda <1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 发散；

3) 当 $\lambda =1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 可能收敛也可能发散。

证明 由条件 $\underset{x\to \infty }{\lim }\frac{\ln \left[x\ln xf\left(x\right)\right]}{\ln \ln \ln x}=-\lambda$ 可知，对任意 $\epsilon >0$ ，存在 $X>e+1$ ，当 $x>X$ 时，有

$-\lambda -\epsilon <\frac{\ln \left[x\ln xf\left(x\right)\right]}{\ln \ln \ln x}<-\lambda +\epsilon$

即

${\left(\ln \ln \ln x\right)}^{-\lambda -\epsilon }<\ln \left[x\ln xf\left(x\right)\right]<{\left(\ln \ln \ln x\right)}^{-\lambda +\epsilon }$

又因为对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，从而有

$\frac{1}{x\ln x{\left(\ln \ln x\right)}^{\lambda +\epsilon }}<f\left(x\right)<\frac{1}{x\ln x{\left(\ln \ln x\right)}^{\lambda -\epsilon }}$

根据假设，即 $f\left(x\right)$ 在 $\left[1,+\infty \right)$ 上连续，知 $f\left(x\right)$ 在任何有限区间 $\left[1,u\right]\subset \left[1,+\infty \right]$ 上可积。

从而，通过比较判别法和例2知，当 $\lambda >1$ 时，取 $\epsilon <\lambda -1$ ，得 $\lambda -\epsilon >1$ ，从而得到 ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛。当 $\lambda <1$ 时，取 $\epsilon <1-\lambda$ ，得 $\lambda +\epsilon <1$ ，从而可得 ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 发散。

另外，当 $\lambda =+\infty$ 时，即 $\underset{x\to \infty }{\lim }\frac{\ln \left[x\ln xf\left(x\right)\right]}{\ln \ln \ln x}<-\infty$ ，则对任意 $M>0$ ，存在 $X>e+1$ ，使得当 $x>X$ 时，有

$\frac{\ln \left[x\ln xf\left(x\right)\right]}{\ln \ln \ln x}<-M.$

进一步有

$\begin{array}{c}\ln \left[x\ln xf\left(x\right)\right]<-M\left(\ln \ln \ln x\right)\\ <\frac{1}{\ln {\left(\ln \ln x\right)}^M}.\end{array}$

因而

$f\left(x\right)<\frac{1}{x\ln x{\left(\ln \ln x\right)}^M}.$

根据比较判别法和例2可得， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛。

另一方面，当 $\lambda =1$ 时，考察无穷积分 ${\displaystyle {\int }_{16}^{+\infty }\frac{\text{d}x}{x\ln x\left(\ln \ln x\right){\left(\ln \ln \ln x\right)}^p}}\left(p>0\right)$ 。

由于

$\begin{array}{l}{\displaystyle {\int }_{16}^{+\infty }\frac{\text{d}x}{x\ln x\left(\ln \ln x\right){\left(\ln \ln \ln x\right)}^p}}\\ ={\displaystyle {\int }_{16}^{+\infty }\frac{\text{d}\left(\ln \ln \ln x\right)}{{\left(\ln \ln \ln x\right)}^p}={\displaystyle {\int }_{\ln \ln \ln 16}^{+\infty }\frac{\text{d}u}{u^p}}}.\end{array}$

根据比较原则知，当 $p>1$ 时， ${\displaystyle {\int }_{16}^{+\infty }\frac{\text{d}x}{x\ln x\left(\ln \ln x\right){\left(\ln \ln \ln x\right)}^p}}$ 收敛；当 $p\le 1$ 时， ${\displaystyle {\int }_{16}^{+\infty }\frac{\text{d}x}{x\ln x\left(\ln \ln x\right){\left(\ln \ln \ln x\right)}^p}}$ 发散。同时，对于任意 $p>0$ ，有

$\begin{array}{c}\underset{x\to \infty }{\lim }\frac{\ln \left[x\ln xf\left(x\right)\right]}{\ln \ln \ln x}=\underset{x\to \infty }{\lim }\frac{\ln \left[x\ln x\frac{1}{x\ln x\left(\ln \ln x\right){\left(\ln \ln \ln x\right)}^p}\right]}{\ln \ln \ln x}\\ =\underset{x\to \infty }{\lim }\frac{-\ln \ln \ln x-p\ln \ln \ln \ln x}{\ln \ln \ln x}\\ =-1-\underset{x\to \infty }{\lim }\frac{p\ln \ln \ln \ln x}{\ln \ln \ln x}\\ =-1\end{array}$

从而可以得知，当 $\lambda =1$ 时，无穷积分 ${\displaystyle {\int }_{16}^{+\infty }\frac{\text{d}x}{x\ln x\left(\ln \ln x\right){\left(\ln \ln \ln x\right)}^p}}$ 可能收敛也可能发散。

同样，根据L’hospital法则，可得如下推论。

推论2.9 设 $f\left(x\right)$ 在 $\left[1,+\infty \right)$ 上有连续的导函数，对任意 $x\in \left[1,+\infty \right)$ 有 $f\left(x\right)>0$ ，且 $\underset{x\to \infty }{\lim }f\left(x\right)=0$ ， $\underset{x\to \infty }{\lim }\ln \ln x\left(1+\ln x\left(1+\frac{x{f}^{\prime }\left(x\right)}{f\left(x\right)}\right)\right)=-\lambda$ ，则

1) 当 $\lambda >1$ 或 $\lambda =+\infty$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 收敛；

2) 当 $\lambda <1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 发散；

3) 当 $\lambda =1$ 时， ${\displaystyle {\int }_1^{\text{+}\infty }f\left(x\right)\text{d}x}$ 可能收敛也可能发散。

3. 应用举例

作为定理2.8和推论2.9的应用，将以下面例子加以说明，而应用定理2.2，定理2.3，定理2.4和推论2.5无法判断其敛散性。

例3 对于任意 $\delta >0$ ，判别无穷积分 ${\displaystyle {\int }_{-\infty }^{+\infty }\frac{1}{x\ln x{\left(\ln \ln x\right)}^p}\text{d}x}\left(p>0\right)$ 的敛散性。

解 由于 $f\left(x\right)=\frac{1}{x\ln x{\left(\ln \ln x\right)}^p}$ 在 $\left[e+\delta ,+\infty \right]$ 上连续，对任意 $x\in \left[e+\delta ,+\infty \right]$ 有 $f\left(x\right)>0$ 。

又因为

$\underset{x\to \infty }{\lim }\frac{\ln \left[x\ln xf\left(x\right)\right]}{\ln \ln \ln x}=\underset{x\to \infty }{\lim }\frac{\ln \left[x\ln x\frac{1}{x\ln x{\left(\ln \ln x\right)}^p}\right]}{\ln \ln \ln x}=\underset{x\to \infty }{\lim }\frac{-p\ln \ln \ln x}{\ln \ln \ln x}=-p$

根据定理2.8知，当 $p>1$ 时，无穷积分 ${\displaystyle {\int }_{e+\delta }^{+\infty }\frac{1}{x\ln x{\left(\ln \ln x\right)}^p}\text{d}x}$ 收敛；当 $p<1$ 时，无穷积分 ${\displaystyle {\int }_{e+\delta }^{+\infty }\frac{1}{x\ln x{\left(\ln \ln x\right)}^p}\text{d}x}$ 发散；当 $p=1$ 时，该无穷积分 ${\displaystyle {\int }_{e+\delta }^{+\infty }\frac{1}{x\ln x{\left(\ln \ln x\right)}^p}\text{d}x}$ 发散。

然而，若应用定理2.4，则有

$\underset{x\to \infty }{\lim }\frac{\ln \left[xf\left(x\right)\right]}{\ln \ln x}=\underset{x\to \infty }{\lim }\frac{\ln \left[x\frac{1}{x\ln x{\left(\ln \ln x\right)}^p}\right]}{\ln \ln x}=\underset{x\to \infty }{\lim }\frac{-\ln \ln x-p\ln \ln \ln x}{\ln \ln x}=-1$

无法判断无穷积分 ${\displaystyle {\int }_{e+\delta }^{\text{+}\infty }\frac{1}{x\ln x{\left(\ln \ln x\right)}^p}\text{d}x}$ 的敛散性。同样，运用定理2.2，定理2.3和推论2.5都无法判断其敛散性。另外，若运用比式判别法和拉贝判别法，也都无法判别该无穷积分的敛散性。

文章引用

何鸿俊,黄晓芳. 基于对数函数比值形式变化判别无穷积分的敛散性
On the Ratio Form of Logarithmic Function to Distinguish the Convergence and Divergence of Infinite Integrals[J]. 理论数学, 2024, 14(02): 450-457. https://doi.org/10.12677/PM.2024.142044

参考文献