一元积分学问题总结
一元积分学
判断题/数学常识
函数可积的充要条件:
- ;
- 可积第一充要条件: 上积分等于下积分;
- 可积第二充要条件: 存在某一分割使得上和与下和的差是一个无穷小;
- 可积第三充要条件: 存在一个分割使得振幅大于事先任意给定的数的小区间总长是一个无穷小.
函数可积的充分条件:
- ;
- 在 上只有有限多个间断点且 有界;
- 在 上单调;
- ;
- , 且仅在有限个点处 ;
- 在 上有界,且在 上不连续点集只有有限个聚点.
函数可积的必要条件:
- 有界;
- ;
- 在 上必有无穷多个处处稠密的连续点;
- 存在[上的阶梯函数,使得 ;
- 存在 上的连续函数 ,使得 .
[华四8.1.4] 含有第一类间断点的函数没有原函数.
注:这是因为导函数至多有第二类间断点.
[华四8.1.8] 含有第二类间断点的函数可能有原函数, 也可能没有原函数.
注:情形I: 则 有第二类间断点 , 但 有原函数 ; 情形II: Dirichlet 函数的定义域上的每一个点都是第二类间断点, 显然它没原函数.
[华四八总4] 周期函数不一定可导, 若可导则其导函数还是周期函数; 周期函数不一定有原函数, 若有原函数则其原函数不一定是周期函数.
注:Dirichlet 函数的周期可以是任意有理数, 但它不可导也没有原函数.
[华四9.4.5] 设 , 则 在
上也可积.
注:.
[华四9.5.15] 若 在 上连续可微, 则存在 上连续可微的增函数 和连续可微的减函数 , 使得 .
注:注意到 . 令 即可.
[李例4-2-2-5]
注:一个例子
[李例4-2-2思考] 两个可积函数的复合不一定是可积函数; 但若函数 , 且 , 则 在 上可积.
注:一个例子 .
不定积分
求原函数
[华四8.1.6(2)] .
注:
[华四8.2.2(9)] .
注:分部积分.
[华四8.2.2(10)] .
注:换元.
[华四8.3例6] .
注:注意到 . 接下去还原即可.
[华四8.3例7] .
注:令 .
[华四8.3.1(4)] .
注:注意到
[华四8.3.2(3)] .
注:令 .
[华四8.3.2(4)] .
注:注意到 .
[华四八总1(18)] .
注:注意到 .
[华四八总1(19)] .
注:注意到 .
[华四八总2(1)] .
注:注意到 .
[华四八总3(4)] .
注:注意到 .
不定积分的递推式
[华四6.2例16] .
注:注意到 .
[李例4-1-3-9] .
注:方法与上题类似.
[华四6.2.4(2)] .
注:用分部积分, 没什么难的.
[华四6.2.6(4)] .
注:分部积分即可, 要耐心.
[华四八总1(20)] , 其中 .
注:分部积分, 沉住气.
[华四八总5(2)] .
注:事实上 .
定积分的计算问题
计算定积分
[华四9.5例4] .
注:令 , 于是原式化为了 .
[华四9.5例6] 和 .
注:就是分部积分.
[华四9.5.4(12)] .
注:令 , 则 .
[李例4-2-8-5] .
注:利用幂级数展开 .
[李例4-2-8练1] .
注:事实上 .
与定积分有关的极限运算
[李例4-2-9练1] 证明 .
注:事实上,
[李例4-2-9练2] 证明 .
注:事实上, .
[李例4-2-9练3] 证明 .
注:事实上, . 不难验证右边这两部分都是趋于零的.
[李例4-2-5-9] 设 . 求.
注:利用 L'Hospital 法则.
定积分的应用
[华四10.1例4] 求双扭线 所围图形的面积.
注:可以画出双扭线的图, 然后根据对称性求解 .
[华四10.1例4] 求由曲线 所围图形的面积.
注:注意到当 时 , 故 由 变为 时, 曲线从原点出发回到了原点, 构成了一个封闭曲线, 于是 .
[华四10.1.9] 求曲线 与 所围公共部分的面积.
注:由 得知 , 于是 .
[华四10.2.2(3)] 求平面曲线 绕极轴旋转所围立体的体积.
注:画出图形之后可知 .
定积分的定义和可积理论
[李例4-2-1-3] 求 使得 , 要求 .
注:对 做分割, 积分和的上确界作为定积分的上界, 积分和的下确界作为定积分的下确界, 于是只要划分得越密, 积分和的上下确界就会越接近.
[华四9.2定理9.1] (Newton-Leibniz formula) 若函数 , 且存在原函数 , 即 , 则 在 上 Riemann 可积, 且
注:利用 Lagrange 中值定理和闭区间上的连续函数的一致连续性即可. 事实上, 上述定理的条件可以弱化如下.
[华四9.2.3] 若 , 且除了有限个点外有 , 则有
注:利用 Lagrange 中值定理和可积的定义既可, 前提这有限个点必须成为分割的分割点.
[华四9.3定理9.2] 若 , 则 在 上必有界.
注:反证法容易证得.
[华四9.3定理9.5] 若 是 上只有有限个间断点的有界函数, 则 .
注:只需让这有限个间断点所在小区间的长度是无穷小即可.
[华四9.3定理9.6] 若 是 上的单调函数, 则 在 上可积.
注:单调函数的在每个小区间上的振幅的和就是 , 因此只需控制分割的模长 即可.
[华四9.6性质2] 设 为分割 添加 个新分点后所得到的分割, 则有
其中 .
注:先考虑增加一个分点的情形, 添加一个分点以后上下和的变化仅仅体现在一个小区间上, 依次为突破口即可证得结论.
[华四9.6性质6] (Darboux 定理) 设 是分割 上和和下和, 且 是上下和对分割 的上下确界, 则有
注:利用上下确界的定义以及性质2可证得.
[华四9.6定理9.14] (可积第一充要条件)函数 .
注:必要性只需应用可积的定义和 Darboux 定理; 充分性也是用可积的定义和 Darboux 定理.
[华四9.6定理9.15](可积第二充要条件)函数 , 总存在某一分割 , 使得 .
注:利用可积第一充要条件即可.
[华四9.6定理9.16](可积第三充要条件)函数 , 总存在某一分割 , 使得属于 的所有区间当中, 对应于振幅 的那些小区间 的总长 .
注:利用可积第二充要条件即可, 在证明充分性时对于振幅大的小区间控制其区间长度(分割的模长)即可.
[华四9.3.3] 设 是定义在 上的有界函数. 证明: 若仅在 中有限个点处 , 则当 上时, , 且 .
注:设 是这有限个点, . 因此对这有限个点所在的小区间的长度, 即分割的模长进行控制就行.
[华四9.3.7] 设 在 上有定义, 且对任给的 , 存在 上的可积函数 , 使得 . 证明 .
注:对 作分划. 不难发现每个小区间上 的振幅都是一个无穷小加上 的振幅, 于是可以利用积分第二充要条件证明.
[华四9.3例3] 证明 Riemann 函数 在 上可积, 且 .
注:事实上振幅超过任意给定 的小区间的个数一定是有限多个, 又因为 是有界的, 因此只需控制这有限个小区间的长度, 接着无论是利用可积第二充要条件还是第三充要条件都不难证明之.
[华四9.3.6] 证明函数 在 上可积.
注:把图画出来清晰点. 事实上对 , 上仅有有限个间断点且有界, 从而可积.
[华四9.6例2] 证明: 若函数 , 且 , 则 在 上可积.
注:利用 的一致连续性, 的可积性, 配合可积第三充要条件不难证明. 利用此命题可证明如下命题:, 则 .
[华四9.6.7] 用区间套定理证明: 若 , 则 在 上必有无限多个处处稠密的连续点.
注:根据所给条件, 我一定能构造出一个闭区间列 满足
(1) ;
(2) ;
(3) .
从而由(1)(2)知它是一个闭区间套, 根据闭区间套定理知 , 且 , 利用 (3) 不难证明 是连续点. 于是对 上的任意闭区间都能找到这样的连续点, 从而命题得证.
[李例4-2-2-1] 设函数 在 [a,b] 上有定义,证明 的充分必要条件是: 存在 , 对于 的一个分割, 对于 有 .
注:必要性是显然的; 充分性可以利用积分第二充要条件证明.
[李例4-2-2-3] 设函数 ,证明:对 ,
(1)存在[上的阶梯函数,使得
(2) 存在 上的连续函数 ,使得 .
注:(1) 构造
可以验证上述阶梯函数函数满足题目要求.
(2) 只需依次连接 和 即可.
[李例4-2-2-4] 设函数 在 上有定义,且在任何有限闭区间上可积,证明: 对任何闭区间 有
注:事实上, 由上题可知存在一个连续函数 , 使得 .
[李例4-2-2练8] 设函数 在区间 上有界,且它在 上不连续点集只有有限个聚点. 证明:.
注:先用长度任意小的区间覆盖这有限个聚点, 再覆盖这些区间外的有限多个不连续点.
定积分的性质和应用
[华四9.4定理9.7] (积分第一中值定理) 若 , 则 , 使得
注:用连续函数的介值定理.
[华四9.4定理9.8] (推广的积分第一中值定理) 若 , 且 在 上不变号, 则 , 使得
注:利用连续函数的介值定理. 设 , 分以下几种情形讨论:
(1) ; (2) 且 ; (3) 且 ;
[华四9.4例4] 设 , 求 .
注:这是积分第一中值定理的应用. 事实上
[华四9.4.10] 若 , 且 , 则 在 上至少存在两个零点; 又若 , 则 在 上至少存在三个零点.
注:根据积分第一中值定理, 有一个零点是显然的, 利用反证法证明零点不止一个.
[华四9.4.11(2)] 设 在 上二阶可导, 且 . 证明:
注:有条件可知 是下凸函数, 因此对 , 有 , 两边同时对 求积分即可.
[华四9.5定理9.10] (原函数存在定理) 若 , 则 在 上处处可导, 且 .
注:利用导数的定义和积分第一中值定理.
[华四9.5定理9.11] (积分第二中值定理) 设函数 , 则
(1) 若函数 在 上是减函数, 且 , 则存在 , 使得
(2) 若函数 在 上是增函数, 且 , 则存在 , 使得
注:由于 在 上单调, 因此 一定可积. 事实上, 设 , 只需证明 介于 的最大值和最小值之间即可.
此命题有如下推论
[华四9.5定理11推论] 设 . 若 是单调函数, 则存在 , 使得
注:不妨设 单调递减, 则令 , 可知 递减且非负, 再利用积分第二中值定理即可.
[华四9.5例6] 证明 Waills 公式: .
注:突破口在于 .
[华四9.5-三] 导出 Tayor 公式的积分型余项 , 并以此导出 Lagrange 余项 和 Cauchy 余项 .
注:这要用到推广的分部积分公式: 若 在 上有 阶连续导函数, 则
[华四9.5.11] 设 为 上严格增的连续函数. 试证存在 , 使得下图中阴影部分面积相等
注:构造 即可.
[华四9.5.13] 证明: 当 时有不等式 .
注:令 , 则 .
[华四9.5.14] 若 , 在 上严格单调且 , 则有 .
注:做分割用定积分的定义做.
[华四九总1] 若 二阶可导且 , 则有
注:利用 的下凸性即可.
[华四九总6] Schwarz 不等式: 若 , 则
注:方法一:构造 ;
方法二:利用二重积分 .
方法三:构造 , 求导分析单调性即可.
[华四九总7(3)] Minkowski 不等式: 若 , 则
注:左边展开再利用 Schwarz 不等式即可.
[李例4-2-3-12] 设 且在 上连续, 为实数,证明:
注:可以利用二重积分或者利用 Cauchy-Schwarz 不等式.
[华四九总10] 设 在 上连续可微且 , 则
注:构造 , 不难验证 .
[华四九总11] 若 , 且处处有 , 则 .
注:事实上, 我们有结论“可积函数在给定区间上有无限多个处处稠密的连续点”.
[Riemann-Lebesgue引理] 设 , 是周期为 的周期函数且 , 则
注:注意到
[李例4-2-2-6] 设 , 其中 表示 的整数部分 (即不超过 的最大整数 代表自然数, 在 [0,1] 上可积. 证明 .
注:事实上 是周期函数.
[李例4-2-3-4] 设函数 ,若积分 对所有具有连续一阶导函数且 的函数 均成立,则
注:显然用反证法, 并构造一个出 以推出矛盾.
[李例4-2-3-5] 把满足 (i) 在 [0,1] 上连续且非负; (ii) 的实函数 全体记为 . 证明 , 但不存在 使得 .
注:显然下确界大于等于 , 考察函数
[李例4-2-3-8] 设 在 [0,1] 上连续,且 . 证明:.
注:可以利用凹凸性, 其实把这个积分看成一个求和就舒服了.
[李例4-2-3-13] 设 是区间 上严格递增的连续函数,且满足 ,证明: 对于任意,有
注:结合图像解题会事半功倍.
[李例4-2-4-3] 设, 函数 在 上连续可微. 证明
注:注意到 .
[李例4-2-4-6] 设 在 上非负、连续、严格递增, 在 上处处大于零、连续且 . 由积分中值定理,对 使得
求.
注:事实上 .
[李例4-2-4-7] 设函数 在区间 上单调, 是 上以 为周期的连续函数,且. 求:
注:利用积分第二中值定理, 注意连续的周期函数一定有界.
[李例4-2-4-8] 设函数 试问: 在 处是否可导? 若可导求 .
注:利用导数的定义, 注意到当 时
[李例4-2-4练(1)] 设 且非负,记 . 求:
注:利用上确界的定义.
[李例4-2-5-4] 设 在 上连续,又 单调递减. 证明 .
注:构造 .
[李例4-2-5-7] 设函数 在任何有限区间上可积,且 . 证明
注:考察 .
[李例4-2-5-8] 设 在 上单调递增,对任惠, 且 , 证明: .
注:注意到
[李例4-2-6-3] 设在 上的连续函数 满足如下条件: 对 上的任意偶函数 , 有. 证明 是 上的奇函数.
注:利用定义即可.
[李例4-2-6-11] 设 . 证明:当 时,有 .
注:换元和分部积分.
[李例4-2-7-4] 设 的一阶导函数在 [0,1] 上连续,且 . 证明
注:事实上 .
[李例4-2-8-6] 在极坐标系下,由 所表示的区域绕极轴旋转一周所成的旋转体的体积为
注:画图分析可知以 为半径与极轴成 角的扇形绕极轴一周所围几何体的体积为
接着就用分割+求极限的方法即可.
[华四10.1.11] 证明:对于由上、下两条连续曲线 与 以及两条直线 与 )所围的平面图形 ,存在包含 的多边形 以及被 包含的多边形 ,使得当时,它们的面积的极限存在且相等.
注:利用每个小区间上的上下确界即可.
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 无需6万激活码!GitHub神秘组织3小时极速复刻Manus,手把手教你使用OpenManus搭建本
· Manus爆火,是硬核还是营销?
· 终于写完轮子一部分:tcp代理 了,记录一下
· 别再用vector<bool>了!Google高级工程师:这可能是STL最大的设计失误
· 单元测试从入门到精通