第十一章第3节:瑕积分的性质与敛散判别
Cauchy准则、比较判别法、Dirichlet与Abel判别法
完整理论体系与混合型反常积分
📚 知识体系总览
mindmap
root((瑕积分判别理论))
基本性质
Cauchy收敛准则
线性性质
区间可加性
绝对收敛必收敛
非负函数判别法
比较判别法
基本形式
极限形式
Cauchy判别法
q-判别法
极限形式
与无穷积分对比
一般函数判别法
Dirichlet判别法
有界原函数+单调趋零
Abel判别法
收敛积分+单调有界
混合型反常积分
既是无穷积分又是瑕积分
分段讨论技巧
综合判别方法
重要例题与应用
对数型瑕积分
幂函数型
综合型问题
📖 第一部分:瑕积分的基本性质
一、核心概念回顾
瑕积分定义(复习)
设函数 定义在区间 上,点 是其瑕点(即 在 的任意右邻域内无界),且在任何 上可积。
瑕积分定义:
若极限存在且有限,称瑕积分收敛;否则称为发散。
二、Cauchy收敛准则
定理11.5(Cauchy准则)
瑕积分 (瑕点为 )收敛的充要条件是:
证明思路:
瑕积分收敛等价于函数 当 时极限存在。
由函数极限的Cauchy准则:
而
因此
几何意义:
对于靠近瑕点 的任意两点 ,从 到 的"近瑕点小区间"上的面积可以任意小。
瑕点a u₁ u₂ b
| ∞ ||| |
| ↑ ||| |
| | 尾部面积→0 |
+------------------------→ x
不可积区域
三、线性性质
性质1(线性组合)
设函数 与 的瑕点同为 , 为常数。则当瑕积分 与 都收敛时,瑕积分
必定收敛。
证明:由定积分的线性性质和极限的线性运算。
四、区间可加性
性质2(分点无关性)
设函数 的瑕点为 , 为任一常数。则瑕积分 与 同敛散,并有
其中 为定积分( 在 上有界可积)。
证明:
重要推论:
- 瑕积分的收敛性与分点 的选取无关(只要 )
- 可以选择任意方便的分点来讨论收敛性
- 对于多个瑕点的情况特别重要
五、绝对收敛必收敛
性质3(绝对收敛)
设函数 的瑕点为 , 在 的任一内闭区间 上可积。则当
时, 也必定收敛,并有
证明:
由 收敛,根据Cauchy准则:
利用定积分的绝对值不等式:
由Cauchy准则充分性, 收敛。
核心概念:绝对收敛与条件收敛
定义:
| 术语 | 定义 | 记号 |
|---|---|---|
| 绝对收敛 | 收敛 | AC |
| 条件收敛 | 收敛但 发散 | CC |
关系:绝对收敛 收敛(但反之不成立)
📖 第二部分:非负函数的比较判别法
一、基本原理
关键观察:设 是 上的非负函数(瑕点为 ),则
关于 单调递减( 从右向左移动时,积分区域增大)。
结论: 收敛 在 上有下界(实际上,由于 ,等价于 有上界)。
更准确地说,由于 单调递减且非负,极限 必然存在(可能为有限值或 )。
二、比较判别法
定理11.6(比较原则)
设定义在 上的两个函数 与 ,瑕点同为 ,在任何 上都可积,且满足
则:
- 大收则小收:若 收敛,则 收敛;
- 小散则大散:若 发散,则 发散。
证明:
对于任何 :
情况1:若 ,
则
因此 有上界,由单调有界原理, 存在且有限,即 收敛。
情况2:若 发散(趋于 ),则对任何 ,存在 使得
因此
故 也发散。
三、极限形式的比较判别法
推论1(极限比较判别法)
又若 ,,且
则有:
(i) 当 时, 与 同敛散;
(ii) 当 时,由 收敛可推知 也收敛;
(iii) 当 时,由 发散可推知 也发散。
证明思路:
情况(i):
由极限定义,存在 ,当 时,
即
由比较原则, 与 同敛散。
再由性质2,原积分同敛散。
情况(ii) 和 (iii) 类似。
四、Cauchy判别法(q-判别法)
推论2(Cauchy判别法基本形式)
设 定义在 上, 为其瑕点,且在任何 上可积,则有:
(i) 若存在 和 ,使得 则 收敛;
(ii) 若存在 和 ,使得 则 发散。
依据:标准瑕积分
(见第11章第1节例6)
推论3(Cauchy判别法极限形式)
设 是定义在 上的非负函数, 为其瑕点,且在任何 上可积。如果
则有:
(i) 当 , 时, 收敛;
(ii) 当 , 时, 发散。
证明:取 ,则
应用推论1。
五、与无穷积分判别法的对比
| 项目 | 无穷积分 | 瑕积分 (瑕点 ) |
|---|---|---|
| 标准比较函数 | ||
| 收敛条件 | ||
| 发散条件 | ||
| 极限形式 | ||
| 收敛判断 | , | , |
| 发散判断 | , | , |
记忆要点:
- 无穷积分:指数"越大越好"( 收敛)
- 瑕积分:指数"越小越好"( 收敛)
- 两者方向相反!
📖 第三部分:一般函数的判别法
一、Dirichlet判别法
定理11.7(Dirichlet判别法)
设 为 的瑕点,函数
在 上有界,函数 在 上单调且
则瑕积分 收敛。
证明思路:
与无穷积分的Dirichlet判别法证明类似,利用积分第二中值定理(Abel引理)。
核心步骤:
-
设 ,。
-
任给 ,由 ,存在 ,当 时,
-
对于 (),由于 单调,应用积分第二中值定理: 存在 ,使得
-
估计:
-
由Cauchy准则, 收敛。
二、Abel判别法
定理11.8(Abel判别法)
设 为 的瑕点,瑕积分 收敛,函数 在 上单调且有界,
则瑕积分 收敛。
证明思路:
可以利用Dirichlet判别法来证明Abel判别法(这是习题11.2第10题的要求,也是一个重要的证明技巧)。
关键思想:
设 收敛,定义
则 在 上有界,且
利用分部积分公式的推广形式,可以将 转化为包含 的形式,然后应用Dirichlet判别法。
(详细证明留作习题)
📖 第四部分:经典例题详解
例1(原文):对数型瑕积分
问题:判别下列瑕积分的敛散性:
(1)
(2)
解 (1)
Step 1:识别瑕点
被积函数 在 上:
- 时,,
- 因此
瑕点为 。
Step 2:确定符号
在 上:
- (负数)
- (正数)
- 因此 (恒为负)
结论:瑕积分的收敛性与绝对收敛性同一回事(被积函数保持同号)。
Step 3:应用Cauchy判别法(推论3)
取 (尝试),计算极限:
这个极限是 ,不满足推论3的条件。
Step 4:尝试更小的指数
取 ,计算:
由L'Hospital规则或已知结果:
因此:
由推论3:,,
结论:瑕积分 收敛。
原文的方法:
原文取 (注意原文用 表示我们的 ),计算:
由L'Hospital规则:
由于 ,,积分收敛。
解 (2)
Step 1:识别瑕点
被积函数 在 上:
- 时,,
- 极限形式为
瑕点为 。
Step 2:确定符号
在 上:
- ()
- 因此 (恒为正)
同样,收敛性与绝对收敛性等价。
Step 3:应用Cauchy判别法
取 (临界情形),计算:
令 ,则 ,:
利用 ():
但这里 ,按推论3的 (ii),需要 才能判定发散,而这里 ,不能直接判断。
Step 4:更精确的分析
使用Taylor展开:
主要项为 ,对应的积分:
这是有限的!但这样分析不够严格。
正确方法(原文):
计算
令 :
由L'Hospital规则(对 形式):
关键:取 时,,但推论3的 (ii) 要求 。
因此换一个角度:注意到
咦,这也不对!应该是:
这个计算有问题。让我重新整理。
重新分析:
考虑
要使极限为有限非零值,需要 ,即 。
但
这不对。问题在于 在 处的增长速度。
正确的等价关系:
因此:
取 :
不对,这样还是得到0。
最终正确方法:
利用等价无穷小 当 时:
因此:
这是标准瑕积分,,收敛。
或者用极限比较:
还是得到0!
问题出在哪?
让我重新理解:
与 比较:
要使极限为非零有限值,需要 恰好抵消 的增长。
但 当 ,所以:
要使其为常数,需要 ,即 ?这没有意义。
原文的正确方法:
原文说:"当取 时"(这里 是指数,对应我们的 )
利用 L'Hospital 或等价无穷小:
这里 ,但 ,所以推论3的 (ii) 不适用(要求 才能判定发散)。
因此需要换一个指数。但原文说"推知该瑕积分发散",这是错误的!
让我查看原文...
原文分析:
原文说:
等等,这个极限怎么会是1?
让我重新计算:
令 ,:
Taylor展开:
所以极限应该是 0,而不是 1。
我认为原文这里有误,极限应该是0,而不是1。
正确的判断:
由于标准的方法给出 (在 时),我们需要用更精细的方法。
直接计算积分:
令 ,,:
利用 :
因此积分收敛。
或者,用 :
这是 的标准瑕积分,收敛。
结论: 收敛。
原文的结论有误,正确答案应该是收敛,而非发散。
📖 第五部分:混合型反常积分
核心概念
混合型反常积分:既是无穷积分(积分上限为 ),又是瑕积分(被积函数在某点无界)。
处理原则:
- 分段讨论:选择合适的分点,将积分拆成两部分
- 分别判别:每部分分别判别收敛性
- 同时收敛:只有当两部分都收敛时,原积分才收敛
例2(原文):综合型反常积分
问题:讨论反常积分 的收敛性()。
解析
Step 1:识别积分的类型
- 无穷积分:上限为
- 瑕积分:当 时, 在 处无界
分点选择:取 作为分点(分母在此处简单):
记为:
Step 2:讨论
情况分类:
(a) ,即 时
被积函数 在 上有界( 时为 0),
因此 是正常的定积分,收敛。
(b) 时
是瑕点()。
应用Cauchy判别法:
在 上:
(因为 )
更精确地,计算极限:
取 (使得 ):
条件判断:
- 若 ,即 ,则由推论3 (i), 收敛
- 若 ,即 ,且 ,则由推论3 (ii), 发散
小结:
Step 3:讨论
这是无穷积分。
应用Cauchy判别法(无穷积分版本):
取 (使得分子分母同次):
条件判断:
- 若 ,即 ,且 ,则由推论3 (i)(无穷积分版), 收敛
- 若 ,即 ,且 ,则由推论3 (ii)(无穷积分版), 发散
小结:
Step 4:综合结论
对比两个条件:
- 收敛:
- 收敛:
同时满足:
最终答案:
原文的汇总表格:
| 范围 | |||
|---|---|---|---|
| 发散 | 收敛 | 定积分(收敛) | |
| 收敛 | 收敛 | 发散 | |
| 发散 | 收敛 | 发散 |
几何与函数图像理解:
被积函数 :
- 当 时, 附近类似 (瑕点)
- 当 时,类似
只有当:
- 左端():(即 )时,瑕积分收敛
- 右端():(即 )时,无穷积分收敛
两者交集:。
🎯 判别法决策系统
完整的判别流程图
flowchart TD
A[瑕积分 ∫f dx] --> B{积分类型?}
B -->|纯瑕积分| C[单一瑕点]
B -->|混合型| D[瑕点+无穷]
C --> C1{f的符号?}
C1 -->|非负| C2[比较判别法]
C1 -->|变号| C3[Dirichlet/Abel]
C2 --> C21["计算 lim (x-a)^q f(x)"]
C21 --> C22{q < 1?}
C22 -->|是,λ<∞| C23[收敛]
C22 -->|否,λ>0| C24[发散]
D --> D1[选择分点c]
D1 --> D2[分解为两部分]
D2 --> D3["∫_a^c + ∫_c^∞"]
D3 --> D4[分别判别]
D4 --> D5{都收敛?}
D5 -->|是| D6[收敛]
D5 -->|否| D7[发散]
style C23 fill:#9f9
style D6 fill:#9f9
style C24 fill:#f99
style D7 fill:#f99
判别法对比总表
| 判别法 | 适用类型 | 条件 | 结论 |
|---|---|---|---|
| 比较判别法 | 非负函数 | 大收则小收 | |
| 极限比较 | 非负函数 | 同敛散 | |
| Cauchy判别法 | 非负函数 | → 收敛 | |
| Dirichlet | 一般函数 | 有界 + 单调趋零 | 收敛 |
| Abel | 一般函数 | 收敛 + 单调有界 | 收敛 |
✅ 学习检查清单
- 理解瑕积分的Cauchy收敛准则
- 掌握瑕积分的基本性质(线性、区间可加)
- 理解瑕积分与无穷积分判别法的对比( vs )
- 熟练应用Cauchy判别法(q-判别法)
- 能判断对数型瑕积分的收敛性
- 理解混合型反常积分的处理方法
- 会分段讨论复杂的反常积分
- 掌握Dirichlet和Abel判别法在瑕积分中的应用
- 能综合运用多种方法解决实际问题
📖 习题精选与解答
习题1:基本判别
判断下列瑕积分的敛散性:
(1)
解:
- 瑕点:(双重瑕点: 和 )
- 实际上, 附近:( 增长慢)
- 更精确:
但这个极限是0,,不能直接判断。
换一个角度:令 ,,。
当 时,;当 时,。
这是 ,换元 :
这是发散的()。
答案:发散。
(2)
解:
- 瑕点:()
- 换元不需要,直接计算:
当 时,,。
答案:发散。
习题2:混合型
讨论 的收敛性()。
解:
分解:
左边(瑕积分,瑕点 ):
收敛条件:
右边(无穷积分):
收敛条件:
综合:
答案:当且仅当 且 时收敛。
📚 参考文献与延伸阅读
- 华东师范大学数学系.《数学分析》(第5版)[M]. 高等教育出版社
- 菲赫金哥尔茨.《微积分学教程》(第2卷)[M]
- Apostol, T. Mathematical Analysis [M]. Addison-Wesley
- Rudin, W. Principles of Mathematical Analysis [M]. McGraw-Hill
- Stein, E. & Shakarchi, R. Real Analysis [M]. Princeton University Press
🌟 总结与展望
核心要点
-
瑕积分与无穷积分的对偶关系:
- 瑕积分: 收敛
- 无穷积分: 收敛
- 方向相反,但思想一致
-
混合型反常积分的处理:
- 分段讨论
- 分别判别
- 同时收敛
-
判别法的灵活应用:
- 选择合适的比较函数
- 计算关键极限
- 综合运用多种方法
学习建议
- 对比学习:将瑕积分与无穷积分的判别法对照记忆
- 大量练习:判别法的熟练掌握需要大量习题
- 极限技巧:熟练掌握L'Hospital规则和等价无穷小
- 分类讨论:养成参数讨论的习惯(如例2)
希望这个完整的知识体系能够帮助您深入理解瑕积分的性质与判别法!这是实分析的重要内容,为后续学习Lebesgue积分等高级理论奠定基础。🎓✨
如需更详细的某个定理证明、习题解答或概念澄清,请随时告诉我!