一元函数积分学的概念与计算
概念
- 定积分:黎曼积分∫baf(x)=∑,曲边梯形面积和的极限
- 不定积分:F′(x)=f(x)
- 变限积分:F(x)=∫xaf(x)
- 反常积分
定积分
概念
- 设函数f(x) 在区间[a,b]上有界
- 对于区间[a,b]任意的一个分割,n个子区间[x0,x1],(x1,x2],(x2,x3],…,(xn−1,xn],其中x0=a,xn=b
- 每个子区间内任取ξk∈[xk−1,xk]
记λ=maxΔxk,若limλ→0∑nk=1f(ξk)Δxk存在,则称函数f(x)在区间[a,b]上可积。
记为
∫baf(x)dx=limλ→0n∑k=1f(ξk)Δxk
之所以称其为定积分,是因为它积分后得出的值是确定的,是一个常数, 而不是一个函数。
定积分存在定理
定积分存在的一个必要条件是原函数有界,否则给定任意的正数M和区间的最大长度λ,因为ξ是任意取的,而每个Δx的长度已经确定了,所以总是能找到一小段区间,f(ξ)Δx>M。
在保证有界的前提下:
- 连续函数一定存在定积分
- 单调函数一定存在定积分
- 有限个间断点一定存在定积分
可以把这个定理理解为“面积”存在定理,也就是说:
- 连续函数一定有面积
- 单调函数一定有面积
- 有限个间断点的函数,一定也有面积
不定积分
原函数和不定积分
- f(x)定义在区间I上
- 存在可导函数F(x),使得∀x∈I, F′(x)=f(x)
记为∫f(x)dx=F(x)+C
不定积分存在性
- f(x)连续,则一定存在不定积分
- 含有一类间断点或无穷间断点的函数f(x)在包含该间断点的区间内没有原函数
第一条的证明方法就是利用定积分,构造函数F(x)=∑sth,第二条的证明方法是利用洛必达法则。
变限积分
概念
略
性质
- 原函数可积,变限积分连续
- 原函数连续,变限积分可导
反常积分
反常积分通过变限积分定义,而不是通过黎曼积分定义,所以不矛盾。
计算
基本积分公式
∫dx1+x2=arctanx+C
∫1a2+x2dx=1aarctanxa+C
∫1a2−x2dx=12aln∣∣∣a+xa−x∣∣∣+C
∫dx√1−x2=arcsinx+C1=−arccosx+C2
∫1√a2−x2dx=arcsinxa+C
∫1√x2±a2dx=ln∣∣x+√x2±a2∣∣+C
∫tandx=−ln|cosx|+C
∫cotxdx=ln|sinx|+C
∫cscxdx=∫1sinxdx=12ln∣∣∣1−cosx1+cosx∣∣∣+C=ln∣∣tanx2∣∣+C=ln|cscx−cotx|+C
∫secxdx=∫1cosxdx=12ln∣∣∣1+sinx1−sinx∣∣∣+C=ln|secx+tanx|+C
∫sec2xdx=tanx+C
∫csc2xdx=−cotx+C
∫secx⋅tanxdx=secx+C
∫cscx⋅cotxdx=−cscx+C
∫sinhxdx=coshx+C
∫coshxdx=sinhx+C
凑微分
略
换元
- 三角函数代换
- 根代换:√f(x)=t
- 倒代换
分部积分
略
有理函数积分
单因式和二重因式
如果您有任何关于文章的建议,欢迎评论或在 GitHub 提 PR
作者:dutrmp19
本文为作者原创,转载请在 文章开头 注明出处:https://www.cnblogs.com/dutrmp19/p/16644132.html
遵循 CC 4.0 BY-SA 版权协议
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· 【自荐】一款简洁、开源的在线白板工具 Drawnix
· 没有Manus邀请码?试试免邀请码的MGX或者开源的OpenManus吧
· 园子的第一款AI主题卫衣上架——"HELLO! HOW CAN I ASSIST YOU TODAY
· 无需6万激活码!GitHub神秘组织3小时极速复刻Manus,手把手教你使用OpenManus搭建本