【高等数学】定积分
  qISU13ddQL8q 2023年11月02日 69 0

定积分的概念与性质

一、定积分的定义

设函数【高等数学】定积分_三角函数【高等数学】定积分_估值_02上有界,在【高等数学】定积分_估值_02中任意插入若干个分点,把区间【高等数学】定积分_估值_02分成【高等数学】定积分_定积分_05个小区间【高等数学】定积分_估值_06,各个小区间的长度依次为【高等数学】定积分_三角函数_07;(区间分段)

在每个小区间【高等数学】定积分_估值_08上任取一点【高等数学】定积分_估值_09,作函数值【高等数学】定积分_定积分_10与小区间长度【高等数学】定积分_估值_11乘积【高等数学】定积分_三角函数_12并作出和【高等数学】定积分_三角函数_13,记【高等数学】定积分_三角函数_14(每一段再求和)

如果当【高等数学】定积分_数学_15,若极限【高等数学】定积分_估值_16存在,且此极限值既不依赖于区间【高等数学】定积分_估值_02的分法,也不依赖于点【高等数学】定积分_定积分_18的取法,则称【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_02上可积,并称此极限为【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_02上的定积分,记作【高等数学】定积分_估值_23,即

【高等数学】定积分_估值_24

其中【高等数学】定积分_三角函数叫做被积函数,【高等数学】定积分_三角函数_26叫做被积表达式,【高等数学】定积分_三角函数_27叫做积分变量,【高等数学】定积分_三角函数_28叫做积分下限,【高等数学】定积分_定积分_29叫做积分上限,【高等数学】定积分_估值_02叫做积分区间(取极限)

二、定积分的几何意义

  • 【高等数学】定积分_估值_23存在,若在【高等数学】定积分_估值_02【高等数学】定积分_数学_33,则【高等数学】定积分_估值_23的值等于以曲线【高等数学】定积分_三角函数_35【高等数学】定积分_三角函数_27轴所围成的曲边梯形的面积
  • 【高等数学】定积分_估值_23存在,若在【高等数学】定积分_估值_02【高等数学】定积分_三角函数_39,则【高等数学】定积分_估值_23的值等于以曲线【高等数学】定积分_三角函数_35【高等数学】定积分_三角函数_27轴所围成的曲边梯形的面积的负值
  • 【高等数学】定积分_估值_23存在,若在【高等数学】定积分_估值_02【高等数学】定积分_三角函数的值有正有负,则【高等数学】定积分_估值_23的值等于【高等数学】定积分_三角函数_27轴上方的面积减去【高等数学】定积分_三角函数_27轴下方的面积之差

三、定积分的定义求极限

如果积分【高等数学】定积分_估值_23存在,则【高等数学】定积分_三角函数_50,且极限【高等数学】定积分_估值_16【高等数学】定积分_定积分_18的取法和区间【高等数学】定积分_估值_02分法无关,因为如果积分【高等数学】定积分_估值_54存在,就可以将其在【高等数学】定积分_定积分_55【高等数学】定积分_定积分_05等分,此时【高等数学】定积分_数学_57,取【高等数学】定积分_三角函数_58,有定积分的定义得

【高等数学】定积分_数学_59


一些个人理解【高等数学】定积分_估值_60【高等数学】定积分_数学_61即对应【高等数学】定积分_估值_54中的【高等数学】定积分_数学_63,同时将【高等数学】定积分_数学_64整除【高等数学】定积分_定积分_05意味着将【高等数学】定积分_数学_64分成【高等数学】定积分_定积分_05份,即积分区间为【高等数学】定积分_定积分_55【高等数学】定积分_数学_69对应【高等数学】定积分_三角函数


例1:求【高等数学】定积分_数学_71

【高等数学】定积分_三角函数_72

见到可能使用定积分的定义求极限的,先提一个【高等数学】定积分_定积分_73出来,后面留的只能有常数项以及【高等数学】定积分_估值_74(由于【高等数学】定积分_估值_74等价于自变量【高等数学】定积分_三角函数_27,因此可以有系数、指数,可以在三角函数内等)

四、可积的充分条件

  • 设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_02上连续,则【高等数学】定积分_三角函数【高等数学】定积分_估值_02上可积
  • 设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_02上有界,且只有有限个间断点,则【高等数学】定积分_三角函数【高等数学】定积分_估值_02上可积(存在有界震荡间断点的函数可积)

五、定积分的性质

定理1:设【高等数学】定积分_定积分_85【高等数学】定积分_数学_86均为常数,则【高等数学】定积分_估值_87

定理2:设【高等数学】定积分_定积分_88,则【高等数学】定积分_三角函数_89

定理3:如果在区间【高等数学】定积分_估值_02【高等数学】定积分_定积分_91,那么【高等数学】定积分_估值_92

定理4:如果在区间【高等数学】定积分_估值_02【高等数学】定积分_数学_33,那么【高等数学】定积分_估值_95

推论1:如果在区间【高等数学】定积分_估值_02【高等数学】定积分_定积分_97,那么【高等数学】定积分_定积分_98

即证【高等数学】定积分_三角函数_99

由性质1得

【高等数学】定积分_估值_100

【高等数学】定积分_三角函数_101在区间【高等数学】定积分_估值_02上,【高等数学】定积分_数学_103

由性质4得

【高等数学】定积分_定积分_104

【高等数学】定积分_定积分_98

推论2【高等数学】定积分_三角函数_106

【高等数学】定积分_定积分_107

由推论1知

【高等数学】定积分_三角函数_108

估值定理:设【高等数学】定积分_三角函数_109【高等数学】定积分_定积分_110分别是函数【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_02上的最大值及最小值,则【高等数学】定积分_估值_113

【高等数学】定积分_三角函数_114【高等数学】定积分_估值_02上,有最大值【高等数学】定积分_三角函数_109,最小值【高等数学】定积分_定积分_110

故,【高等数学】定积分_数学_118

由推论1知,【高等数学】定积分_数学_119

由性质1和3得,【高等数学】定积分_三角函数_120

定积分中值定理:如果函数【高等数学】定积分_三角函数在积分区间【高等数学】定积分_估值_02上连续,那么在【高等数学】定积分_估值_02上至少存在一个点【高等数学】定积分_估值_124,使下式成立:【高等数学】定积分_估值_125

由估值定理得

【高等数学】定积分_数学_126

由介值定理得,存在一点【高等数学】定积分_三角函数_127,使得【高等数学】定积分_估值_128

【高等数学】定积分_估值_125


微积分的基本公式

一、积分上限函数及其导数

1. 定义

设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_02上连续,且【高等数学】定积分_三角函数_27【高等数学】定积分_估值_02上可以任意移动的一点,我们称【高等数学】定积分_数学_134为变上限积分

2. 性质

  • 如果函数f(x)在区间【高等数学】定积分_估值_02上连续,那么积分上限的函数【高等数学】定积分_数学_134【高等数学】定积分_估值_02上可导,并且它的导数【高等数学】定积分_三角函数_138
  • 如果函数【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_02上连续,那么函数【高等数学】定积分_数学_134就是【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_02上的一个原函数

二、牛顿-莱布尼茨公式

微积分基本定理:如果函数【高等数学】定积分_三角函数_144是连续函数【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_02上的一个原函数,那么【高等数学】定积分_数学_147,该公式叫做牛顿-莱布尼茨公式,也叫作微积分基本公式

例1:设【高等数学】定积分_三角函数【高等数学】定积分_估值_149内连续且【高等数学】定积分_定积分_150,证明函数【高等数学】定积分_估值_151【高等数学】定积分_定积分_152内为单调增加函数

【高等数学】定积分_定积分_153

【高等数学】定积分_定积分_154

【高等数学】定积分_三角函数_155

其中

【高等数学】定积分_三角函数_156

【高等数学】定积分_定积分_150

【高等数学】定积分_估值_158的积分区间【高等数学】定积分_定积分_159上限大于下限,因此【高等数学】定积分_定积分_160;被积函数【高等数学】定积分_数学_161。因此【高等数学】定积分_估值_162

【高等数学】定积分_数学_163,即【高等数学】定积分_定积分_164

证毕

上下限含有关于x的函数的积分的导数

【高等数学】定积分_三角函数_165

例2:计算【高等数学】定积分_数学_166

【高等数学】定积分_定积分_167


定积分的换元法和分部积分法

一、定积分的换元法

假设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_02上连续,函数【高等数学】定积分_估值_170满足条件

  • 【高等数学】定积分_定积分_171
  • 【高等数学】定积分_三角函数_172【高等数学】定积分_数学_173,且其值域【高等数学】定积分_数学_174

则有【高等数学】定积分_数学_175,即为定积分的换元公式


例1:计算【高等数学】定积分_估值_176

【高等数学】定积分_数学_177(注意【高等数学】定积分_数学_63也要换成【高等数学】定积分_定积分_179

【高等数学】定积分_数学_180时,【高等数学】定积分_三角函数_181,当【高等数学】定积分_定积分_182时,【高等数学】定积分_三角函数_183

【高等数学】定积分_估值_184

例2:计算【高等数学】定积分_三角函数_185

【高等数学】定积分_定积分_186

1. 奇偶函数对称区间的定积分结论

  • 【高等数学】定积分_三角函数【高等数学】定积分_估值_188上连续且为偶函数,则【高等数学】定积分_估值_189
  • 【高等数学】定积分_三角函数【高等数学】定积分_估值_188上连续且为奇函数,则【高等数学】定积分_三角函数_192


偶函数的证明:

【高等数学】定积分_三角函数_193

其中

【高等数学】定积分_三角函数_194

因此【高等数学】定积分_定积分_195

证毕

奇函数的证明:

【高等数学】定积分_三角函数_193

其中

【高等数学】定积分_估值_197

因此【高等数学】定积分_估值_198

证毕

2. 三角函数的定积分结论

【高等数学】定积分_三角函数【高等数学】定积分_定积分_55上连续

  • 【高等数学】定积分_定积分_201
  • 【高等数学】定积分_估值_202

一般只用于只有【高等数学】定积分_估值_203【高等数学】定积分_定积分_204的函数中

区间再现公式

即当令【高等数学】定积分_数学_205积分上限【高等数学】定积分_数学_206积分下限【高等数学】定积分_三角函数_207对谁的微分,换元后的积分区间与原积分区间相同

【高等数学】定积分_估值_208

证明1:

【高等数学】定积分_三角函数_209

【高等数学】定积分_三角函数_210

证毕

证明2:

【高等数学】定积分_定积分_211

【高等数学】定积分_估值_202

证毕

例3:求【高等数学】定积分_定积分_213

【高等数学】定积分_数学_214

3. 周期函数的定积分结论

【高等数学】定积分_三角函数为连续的周期函数,周期为【高等数学】定积分_估值_216

  • 【高等数学】定积分_三角函数_217
  • 【高等数学】定积分_定积分_218


证明1:

法1

【高等数学】定积分_估值_219看做是关于【高等数学】定积分_三角函数_28的函数,二者相等,即函数为常数,导数为【高等数学】定积分_估值_221

【高等数学】定积分_估值_222

【高等数学】定积分_三角函数_223

【高等数学】定积分_定积分_224

【高等数学】定积分_估值_225

【高等数学】定积分_三角函数_217

证毕

法2

从原积分区间拆出结果的积分区间,剩余部分和为【高等数学】定积分_估值_221

【高等数学】定积分_定积分_228

【高等数学】定积分_数学_229

【高等数学】定积分_三角函数_217

证毕

证明2:

【高等数学】定积分_数学_231

故由【高等数学】定积分_定积分_232可知,【高等数学】定积分_数学_233

【高等数学】定积分_定积分_234

证毕

例4:求【高等数学】定积分_估值_235

【高等数学】定积分_数学_236

例5:求【高等数学】定积分_估值_237

一般见到分式,分子或分母都有未知数,且至少其中一个有【高等数学】定积分_定积分_238一般需要三角换元;对于根式还可能整体换元

【高等数学】定积分_估值_239

二、定积分的分部积分法

依据不定积分的分部积分法,可得

【高等数学】定积分_定积分_240

简记作

【高等数学】定积分_定积分_241


华里式公式(点火公式)

【高等数学】定积分_定积分_242

证明:

【高等数学】定积分_数学_243

【高等数学】定积分_数学_244

代入【高等数学】定积分_数学_245即可得到原式

证毕

和差化积公式

【高等数学】定积分_数学_246

例6:求【高等数学】定积分_数学_247

【高等数学】定积分_数学_248

反常积分


一、无穷限的反常积分

定义1:设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_数学_250上连续,如果极限【高等数学】定积分_估值_251存在,那么称反常积分【高等数学】定积分_估值_252收敛,并称此极限为该反常积分的值;如果极限【高等数学】定积分_估值_251不存在,那么称反常积分【高等数学】定积分_估值_252发散


定义2:设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_定积分_256上连续,如果极限【高等数学】定积分_三角函数_257存在,那么称反常积分【高等数学】定积分_估值_258收敛,并称此极限为该反常积分的值;如果极限【高等数学】定积分_三角函数_257不存在,那么称反常积分【高等数学】定积分_估值_258发散


定义3:设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_262上连续,如果反常积分【高等数学】定积分_定积分_263与反常积分【高等数学】定积分_估值_264均收敛,那么反常积分【高等数学】定积分_三角函数_265收敛,并称反常积分【高等数学】定积分_定积分_263与反常积分【高等数学】定积分_估值_264的值之和为反常积分【高等数学】定积分_三角函数_265的值,否则就称反常积分【高等数学】定积分_三角函数_265发散

根据定义3,【高等数学】定积分_定积分_270是错误的,因为【高等数学】定积分_数学_271


例1:计算反常积分【高等数学】定积分_定积分_272

【高等数学】定积分_定积分_273

【高等数学】定积分_估值_274

【高等数学】定积分_数学_275

因此【高等数学】定积分_数学_276

幂函数的反常积分结论无穷型

反常积分【高等数学】定积分_三角函数_277,当【高等数学】定积分_三角函数_278时收敛,当【高等数学】定积分_定积分_279时发散

证明:

【高等数学】定积分_估值_280时,【高等数学】定积分_定积分_281,发散

【高等数学】定积分_三角函数_282

【高等数学】定积分_定积分_283

故当【高等数学】定积分_三角函数_278时收敛,当【高等数学】定积分_定积分_279时发散

无界函数的反常积分

定义1:设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_定积分_287上连续,点【高等数学】定积分_三角函数_28【高等数学】定积分_三角函数的瑕点,如果极限【高等数学】定积分_三角函数_290存在,那么称反常积分【高等数学】定积分_数学_291收敛,并称此极限为该反常积分的值;如果极限【高等数学】定积分_三角函数_290不存在,那么称反常积分【高等数学】定积分_数学_291发散


定义2:设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_三角函数_295上连续,点【高等数学】定积分_定积分_29【高等数学】定积分_三角函数的瑕点,如果极限【高等数学】定积分_定积分_298存在,那么称反常积分【高等数学】定积分_数学_291收敛,并称此极限为该反常积分的值;如果极限【高等数学】定积分_定积分_298不存在,那么称反常积分【高等数学】定积分_数学_291发散


定义3:设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_估值_303及区间【高等数学】定积分_估值_304上连续,点【高等数学】定积分_估值_305【高等数学】定积分_三角函数的瑕点,如果反常积分【高等数学】定积分_数学_307与反常积分【高等数学】定积分_三角函数_308均收敛,那么称反常积分【高等数学】定积分_估值_23收敛,并称反常积分【高等数学】定积分_数学_307的值与反常积分【高等数学】定积分_三角函数_308的值之和为反常积分【高等数学】定积分_估值_23的值,否则,就称反常积分【高等数学】定积分_估值_23发散

根据定义3:【高等数学】定积分_数学_314是错误的,因为【高等数学】定积分_估值_315


例2:讨论反常积分【高等数学】定积分_估值_316的收敛性

注意此处不满足幂函数的反常积分结论1的条件

【高等数学】定积分_定积分_317

【高等数学】定积分_定积分_318

故反常积分【高等数学】定积分_估值_316发散


幂函数的反常积分结论瑕点型

反常积分【高等数学】定积分_数学_320【高等数学】定积分_估值_321时收敛,当【高等数学】定积分_定积分_322时发散

证明:

【高等数学】定积分_定积分_323时,【高等数学】定积分_三角函数_324,发散

【高等数学】定积分_定积分_325

【高等数学】定积分_定积分_326

证毕


例3:求反常积分【高等数学】定积分_数学_327

法1

观察到分母是【高等数学】定积分_三角函数_328,分子是【高等数学】定积分_三角函数_329所以考虑倒代换

【高等数学】定积分_定积分_330

【高等数学】定积分_三角函数_331

法2

分母有根式,而且不容易积出来,考虑根式换元

【高等数学】定积分_估值_332

【高等数学】定积分_三角函数_333

【高等数学】定积分_数学_334

上式【高等数学】定积分_定积分_335



反常积分审敛法

一、无穷限反常积分审敛法

定理1:设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_数学_250上连续,且【高等数学】定积分_数学_33,若函数【高等数学】定积分_定积分_339【高等数学】定积分_数学_250上有上界,则反常积分【高等数学】定积分_估值_252收敛

证明:

【高等数学】定积分_定积分_342【高等数学】定积分_三角函数_144单调递增

【高等数学】定积分_数学_344【高等数学】定积分_数学_250有上界

由单调有界准则知,【高等数学】定积分_估值_346有极限

证毕

定理2(比较审敛原理):设函数【高等数学】定积分_定积分_347在区间【高等数学】定积分_数学_250上连续,如果【高等数学】定积分_定积分_349,并且【高等数学】定积分_数学_350收敛,那么【高等数学】定积分_估值_252也收敛;如果【高等数学】定积分_三角函数_352,并且【高等数学】定积分_数学_350发散,那么【高等数学】定积分_估值_252也发散

证明:

【高等数学】定积分_估值_355

【高等数学】定积分_三角函数_356

【高等数学】定积分_三角函数_357

【高等数学】定积分_数学_358有上界

由定理1和反常积分收敛

定理3(比较审敛法1):设函数【高等数学】定积分_三角函数【高等数学】定积分_估值_360上连续,且【高等数学】定积分_数学_33,如果存在常数【高等数学】定积分_三角函数_362【高等数学】定积分_三角函数_278,使得【高等数学】定积分_数学_364,那么反常积分【高等数学】定积分_估值_252;如果存在常数【高等数学】定积分_定积分_366,使得【高等数学】定积分_数学_367,那么反常积分【高等数学】定积分_估值_368发散

例1:判定反常积分【高等数学】定积分_三角函数_369的收敛性

【高等数学】定积分_定积分_370

【高等数学】定积分_三角函数_369收敛

定理4(极限审敛法1):设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_数学_250上连续,且【高等数学】定积分_数学_33,如果存在常数【高等数学】定积分_三角函数_278,使得【高等数学】定积分_估值_376,那么反常积分【高等数学】定积分_估值_252收敛;如果【高等数学】定积分_三角函数_378(或【高等数学】定积分_数学_379),那么反常积分【高等数学】定积分_估值_252发散

证明:

【高等数学】定积分_估值_381,显然【高等数学】定积分_三角函数【高等数学】定积分_数学_383敛散性相同,【高等数学】定积分_数学_383收敛,因此【高等数学】定积分_三角函数收敛

例2:判定反常积分【高等数学】定积分_数学_386的收敛性

【高等数学】定积分_数学_387(此处【高等数学】定积分_三角函数_328是根据【高等数学】定积分_数学_389凑出来的)

【高等数学】定积分_估值_390

【高等数学】定积分_数学_391 收敛

证毕

例3:判定反常积分【高等数学】定积分_三角函数_392的收敛性

【高等数学】定积分_三角函数_393

【高等数学】定积分_估值_394发散

【高等数学】定积分_三角函数_392发散(不一定必须要乘【高等数学】定积分_三角函数_27来证明发散

定理5:设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_数学_250上连续,如果反常积分【高等数学】定积分_估值_399收敛,那么反常积分【高等数学】定积分_估值_252也收敛

证明:

【高等数学】定积分_估值_401

【高等数学】定积分_定积分_402【高等数学】定积分_数学_403

【高等数学】定积分_定积分_404收敛

由比较审敛法知,【高等数学】定积分_数学_405收敛

【高等数学】定积分_数学_406

【高等数学】定积分_三角函数_407

【高等数学】定积分_估值_252收敛

证毕

二、无界函数的反常积分的审敛法

定理6(比较审敛法2):设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_定积分_287上连续,且【高等数学】定积分_定积分_411【高等数学】定积分_三角函数的瑕点,如果存在常数【高等数学】定积分_三角函数_362【高等数学】定积分_估值_414,使得【高等数学】定积分_估值_415,那么反常积分【高等数学】定积分_数学_291收敛;如果存在常数【高等数学】定积分_定积分_366,使得【高等数学】定积分_三角函数_418那么反常积分【高等数学】定积分_估值_23发散

定理7(极限审敛法2):设函数【高等数学】定积分_三角函数在区间【高等数学】定积分_定积分_287上连续,且【高等数学】定积分_数学_33【高等数学】定积分_定积分_182【高等数学】定积分_三角函数的瑕点,如果存在常数【高等数学】定积分_估值_321,使得【高等数学】定积分_数学_426存在,那么反常积分【高等数学】定积分_估值_23收敛;如果【高等数学】定积分_三角函数_428(或【高等数学】定积分_数学_429),那么反常积分【高等数学】定积分_数学_430发散

例4:判定反常积分【高等数学】定积分_数学_431的收敛性

【高等数学】定积分_估值_432

【高等数学】定积分_估值_433收敛

根据比较审敛法知,【高等数学】定积分_三角函数_434收敛

根据定理5,【高等数学】定积分_数学_431收敛

【版权声明】本文内容来自摩杜云社区用户原创、第三方投稿、转载,内容版权归原作者所有。本网站的目的在于传递更多信息,不拥有版权,亦不承担相应法律责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@moduyun.com

  1. 分享:
最后一次编辑于 2023年11月08日 0

暂无评论

推荐阅读
qISU13ddQL8q