定积分知识点总结.doc

定积分知识点总结航空航天大学权州一、 定积分定义与根本性质 1.定积分定义 设有一函数f(*)给定在*一区间[a,b]上. 我们在a与b之间插入一些分点. 而将该区间任意分为假设干段. 以表示差数中最大者. 在每个分区间中各取一个任意的点. 而做成总和然后建立这个总和的极限概念：另用语言进展定义：，，在时，恒有则称该总和在时有极限.总和在时的极限即f(*)在区间a到b上的定积分，符号表示为2.性质 设f(*)，g(*)在[a,b]上可积，则有以下性质 (1) 积分的保序性 如果任意，则 特别地，如果任意则 (2) 积分的线性性质 特别地，有. 设f(*)在[a,b]上可积，且连续， (1)设c为[a,b]区间中的一个常数，则满足 实际上，将a,b,c三点互换位置，等式仍然成立. (4)存在，使得二、 达布定理1.达布和分别以和表示函数f(*)在区间里的下确界及上确界并且做总和称为f(*)相应于分割π的达布上和，称为f(*)相应于分割π的达布下和特别地，当f(*)连续时，这些和就直接是相应于任意分割法的积分和的最小者和最大者，因为在这种情形下f(*)在没一个区间上都可以到达其上下确界.回到一般情况，有上下界定义知道将这些不等式逐项各乘以(是正数)并依i求其总和，可以得到推论1 设f(*)在[a,b]上有界. 设有两个分割，，是在的根底上的加密分割，多加了k个新分店，则这里分别为f在[a,b]上的上、下确界.推论2 设f(*)在[a,b]上有界. 对于任意两个分割，有2. 达布定理定义 设f(*)在[a,b]上有界，定义称为f(*)在[a,b]上的上积分，为f(*)在[a,b]上的下积分.定理 对于f(*)在[a,b]上的有界函数，则有3.函数可积分条件 设f(*)在[a,b]上有界，以下命题等价：(1)f(*)在[a,b]可积；(2)(3)对于[a,b]上的任何一个分割，；(4)任给，存在，对于[a,b]上的任何分割，当，有成立；(5) 任给，在[a,b]存在一个分割，当时有成立.这里为f(*)在区间上的振幅.三、 微积分根本定理定理〔Newton-Leibniz公式〕 设f(*)在[a,b]上可积，且在[a,b]上有原函数F(*)，则注：1.f(*)是f’(*) 的原函数，故当时，该公式可写为 2.上述定理并不是说可积函数一定有圆环数，而是说如果存在原函数，则可用来计算定积分的值.Newton-Leibniz公式把原先在复杂的定积分中的定义的积分值计算化为求原函数的问题，为普及微积分翻开了大门.四、 定积分的计算除了利用Newton-Leibniz公式计算微积分外，还可以使用换元公式和分部积分计算微积分. 1 定积分中变量替换公式 设要计算积分，这里f(*)是在区间[a,b]连续的. 令，函数具备以下条件：1〕函数在*一区间有定义且连续，而其值当t在变化时恒不越出区间[a,b]的围；2〕3〕在区间有一连续函数.于是成立公式由于被积函数假设是连续的，不但这些定积分存在，同时其相应不定积分也存在，并且在两情形都可以用根本公式. 2 定积分的分部积分法 在不定积分局部曾经讨论过公式这里假设以*为自变量的函数u，v以及其导函数u’，v’都是在考虑区间[a,b]里连续的. 则我们有五、 定积分中值定理微分中值公式说明，函数值的差可以通过其导数值来表达和估算. 如果从微分运算的逆运算来认识积分运算，则就有相应的积分的中值公式：记F’(*)=f(*)，即把F(*)看作是可积函数f(*)的原函数，则上述公式化为这一类公式称之为积分中值公式，它显示出一个函数的定积分可以通过其自身进展表达和估算. 上述公式的几何意义可以从面积的意义来考察：设f(*)是[a,b]上的正值连续函数，则公式左边的面积与右边表达式所代表的举矩形面积相等，而矩形的高正是f(*) 在[a,b]上的积分平均值：1 定积分第一中值公式 设，且函数值不变号(即对一切).(1) 假设，且记，，则存在:，使得(2) 假设，则存在，使得2 定积分第二中值公式 引理(Abel) 设有两组数记，则推论 假设有，且，则有定理(Bonnet型) 设.(1) 假设f(*)是[a,b]上非负递减函数，则存在，使得(2)假设f(*)是[a,b]上非负递增函数，则存在，使得3 定积分第三中值公式定理(Weierstrassz型) 设f(*)在[a,b]上是单调函数，，则存在，使得六、 函数可积分的勒贝格定理定义 设A是实数集合，假设，对任意，存在至多可数的系列开区间，它是A的一个开覆盖，并且，则称A为零测度集或者零测集.定理 零测集性质如下：(1) 至多可数个零测集的并集是零测集；(2) 设A为零测集，假设，则B也是零测集.定理(Lebesgue定理) 假设函数f在[a,b]区间上有界，则f在[a,b]区间上Riemann可积的充分必要条件是f在[a,b]区间不连续点的集合为零测集. . z.。