Post
可积性与原函数存在性
整理可积性与原函数存在性的常用结论:可积指能作定积分,原函数存在对应不定积分;二者通常没有直接关系,并总结连续、有界、第一类间断点、可去间断、跳跃间断与震荡间断等情形。
可积性与原函数存在性
核心区别
可积讨论的是定积分,也就是面积;原函数存在讨论的是不定积分,也就是能不能找到一个函数求导后等于它。
通常情况下,二者没有直接关系:
- 一个函数可积,不一定存在原函数;
- 一个函数存在原函数,也不一定在某个闭区间上可积;
- 当 连续时,它既可积,又存在原函数,此时二者才通过变上限积分联系起来。
一、可积性
1. 必要条件
若
存在,则 在 上有界。
也就是说:
注意这是必要条件,不是充分条件。函数有界,不一定就可积。
2. 充分条件
以下情况都可以推出 在 上可积。
(1)连续必可积
若 在 上连续,则
必定存在。
(2)有界且只有有限个间断点,则可积
若 在 上有界,且只有有限个间断点,则
必定存在。
(3)只有有限个第一类间断点,则可积
若 在 上只有有限个第一类间断点,则
必定存在。
第一类间断点包括可去间断点和跳跃间断点。考研中常用的判断基本就是这几条。
3. 可积性的直观理解
可积讨论的是定积分,也就是被积函数与 轴围成的带符号面积。
有限个点不会影响整体面积。一个点所占区间长度为 ,所以这个点对应的“面积”也是 。因此有限个可去间断点、跳跃间断点,通常不会影响定积分存在。
例如某个函数只在有限个点处发生跳跃,只要整体有界,面积仍然可以正常计算。
不过,可积性本身是一个很深的概念。比如有些函数有无限个间断点仍然可积,例如黎曼函数;但这类内容已经超出考研数学的基本要求。考研中掌握“连续必可积、可积必有界、有限个第一类间断点必可积、有界且有限个间断点必可积”即可。
二、原函数的存在性
1. 连续函数一定有原函数
若 在区间 上连续,则 在区间 上必有原函数。
也就是说,存在某个函数 ,使得
2. 有第一类间断点,则没有原函数
若 在区间 上有第一类间断点,则 在区间 上没有原函数。
原因是:如果 是某个函数的导数,那么导数不可能出现可去间断点或跳跃间断点。
更完整地说:
- 导数若存在,要么连续;
- 要么可能出现震荡间断点;
- 但导数不可能出现可去间断点、跳跃间断点、无穷间断点。
所以反推可得:
- 有可去间断点的函数,不存在原函数;
- 有跳跃间断点的函数,不存在原函数;
- 有无穷间断点的函数,不存在原函数;
- 连续函数一定存在原函数;
- 有震荡间断点的函数,可能存在原函数。
三、可积与原函数存在没有必然关系
可积和原函数存在是两个不同问题:
| 问题 | 对应内容 | 直观含义 |
|---|---|---|
| 可积 | 定积分 | 面积是否存在 |
| 原函数存在 | 不定积分 | 能否找到一个函数求导后等于它 |
所以不能把二者混为一谈。
例如,一个有跳跃间断点但有界的函数,在闭区间上可能可积;但由于它有跳跃间断点,它不可能存在原函数。
反过来,某些有原函数的函数在具体区间上也可能因为无界等原因,不满足通常意义下的定积分存在条件。
四、变上限积分与二者的关系
可积可以通过定积分或变上限积分的形式写出来:
它表示从 到 区域内,被积函数与 轴围成的带符号面积,即:
因此,变上限积分可以看作一种特殊的定积分。
五、连续时二者发生联系
当被积函数 连续时,它既可积,又存在原函数,并且变上限积分
可以看作 的一个原函数。
也就是
这就是变上限积分函数最常用的结论,也是考研真题中常考的一点。
换句话说:
六、总结表
| 函数情况 | 是否可积 | 是否一定有原函数 |
|---|---|---|
| 连续 | 一定可积 | 一定有原函数 |
| 有界且只有有限个间断点 | 一定可积 | 不一定 |
| 只有有限个第一类间断点 | 一定可积 | 没有原函数 |
| 有可去间断点 | 可能可积 | 没有原函数 |
| 有跳跃间断点 | 可能可积 | 没有原函数 |
| 有震荡间断点 | 可能可积 | 可能有原函数 |
| 无界 | 不一定可积 | 不一定 |
简明总结
可积看的是“面积能不能算”,原函数看的是“能不能倒着求导回来”,两件事一般不能互推。
连续函数最省心:既可积,又有原函数,变上限积分就是它的一个原函数。
判断间断函数时记住两点:可积先看有界和间断点多少;有可去、跳跃这类第一类间断点时,不会有原函数。
Discussion
Comments
Share questions, corrections, or extra notes about this post.