- 1、本文档共12页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第7章定积分练习
第7章 定 积 分
§1 定积分的概念和可积条件
背景:
曲边梯形的面积: 2. 变力所作的功:
函数的平均值: 4. 原函数的构造型定义:
定积分的定义:
举例:
例1 已知函数在区间上可积. 用定义求积分.
解 取等分区间作为分法, . 取 .
=
.
由函数在区间上可积 , 每个特殊积分和之极限均为该积分值 .
例2 已知函数在区间上可积, 用定义求积分.
解 分法与介点集选法如例1 , 有
.
上式最后的极限求不出来,但却表明该极限值就是积分.
例3 讨论Dirichlet函数在区间上的可积性.
可积条件
必要条件:
Th 1 , 在区间上有界.
充要条件:
思路与方案:
思路:鉴于积分和与分法和介点有关,先简化积分和.用相应于分法的“最大”和“最小”的两个“积分和”去双逼一般的积分和,即用极限的双逼原理考查积分和有极限, 且与分法及介点无关的条件.
方案: 定义上和和下和.研究它们的性质和当时有相同极限的充要条件 .
2. Darboux和: 以下总设函数在区间上有界.并设,其中和分别是函数在区间上的下确界和上确界.
定义 Darboux和, 指出Darboux和未必是积分和.但Darboux和由分法唯一确定.
分别用、和记相应于分法的上(大)和、下(小)和与积分和.
积分和是数集(多值) . 但总有 , 因此有 .
和的几何意义 .
3. Darboux和的性质: 本段研究Darboux和的性质, 目的是建立Darboux定理.
先用分点集定义分法和精细分法: 表示是的加细 .
性质1 若, 则,. 即:分法加细, 大和不增,小和不减.
性质2 对任何,有 ,. 即:大和有下界,小和有上界. 性质3 对任何 和 , 总有.即:小和不会超过大和.
证 .
性质4 设是添加个新分点的加细. 则有
+ ,
.
证 设是只在中第个区间内加上一个新分点所成的分法, 分别设
, , .
显然有 和 .于是
.
添加个新分点可视为依次添加一个分点进行次. 即证得第二式.
同理可证第一式.
推论 设分法有个分点,则对任何分法,有
, .
证 .
.
4. 上积分和下积分:设函数在区间上有界.由以上性质2,有上界,有下界.因此它们分别有上确界和下确界.
定义 记, . 分别称和为函数在区间上的上积分和下积分.
对区间上的有界函数,和存在且有限, .并且对任何分法,有 .
上、下积分的几何意义.
例1 求和.其中是Dirichlet函数.
5. Darboux定理:
Th 1 设函数在区间上有界, 是区间的分法.则有
=, =.
证 (只证第一式. 要证:对使当时有. 是显然的. 因此只证 . )
对,使<
设有个分点,对任何分法,由性质4的系,有 ,
由*式, 得 <
即<亦即< .
于是取, (可设, 否则为常值函数, = 对任何分法成立.) 对任何分法, 只要 , 就有.此即=.
6. 可积的充要条件:
Th 2 (充要条件1)设函数在区间上有界. = .
证 设 =,则有=.即对使当时有 | | < 对成立.
在每个 上取, 使, 于是,
| | = < .
因此, 时有
| | | | + | | < + =.
此即=. 由Darboux定理 ,= .
同理可证= = .
对任何分法, 有 , 而
== = .
令和 的共值为, 由双逼原理 =.
Th 3 有界. 对 .
证 ( ) = 0. 即对
时, .
,由 – , = .
定义 称 为函数在区间上的振幅或幅度.
易见有 0 . 可证=
Th 3’ (充要条件2 )有界.对.
Th 3’ 的几何意义及应用Th 3’的一般方法:为应用Th 3’,通常用下法构造分法:当函数在区间上含某些点的小区间上作不到任意小时, 可试用在区间 上的振幅作的估计,有 .此时,倘能用总长小于, 否则为常值函数)的有限个小区间复盖这些点,以这有限个小区间的端点作为分法的一部分分点,在区间的其余部分作分割,使在每个小区间上有<, 对如此构造的分法, 有
<
文档评论(0)