1. 不定积分
1.1 原函数和不定积分
前面的微分学讨论了导数对函数局部值的影响,现在开始就来看看整体的导函数能确定怎样的函数?换句话说,已知导函数的情况下,能否确定函数本身。对于不是处处有定义的导函数,为了简单起见,可以把它拆分成多个区间讨论。为此,对于区间上处处有定义的导函数,如果存在函数满足,那么称为的原函数。
前面我们已经知道,区间上导函数相同的函数之间只相差一个常数,从而如果原函数存在,任意原函数可表示为。全体原函数也称为的不定积分,记作,可以写成式(1)。积分符号表示了导数的累积,它的意义将在定积分中看得很清楚。求原函数的过程称为积分,它与微分(求导)是逆运算,根据导数公式可以得到相应的积分公式。
|
|
, |
, |
, |
, |
, |
,
|
, |
, |
, |
, |
, |
, |
, |
, |
, |
, |
1.2 积分的方法
针对组合函数的求导,前面给出了一些公式,这里相应地给出积分的方法。首先,对于常量乘和加减法,容易有(2)式成立,将函数进行拆解积分是最常用的方法。利用导数的乘法公式,容易有式(3)成立,这个方法也叫分部积分法。分部积分法中,往往函数分为两部分,其中一部分容易求积,而另一部分的导数比较简单,这样整个式子就可以化简。另外,分部积分有时还能推导出积分方程或递推函数,这些结论都能间接地求得积分。
• 求积分:、;
• 求积分:、。
根据复合函数的求导公式,如果在上有原函数,可以有式(3)成立,它被称为换元积分法。之前定义中,积分符号是一个整体,式(4)则说明也可以作为微分符号自由使用。换元法看似简单,但使用中却经常需要很强的技巧和丰富的经验,大量的习题锻炼是必不可少的。
但要注意,公式(4)的使用可以是两个方向的,从左向右的拼凑称为第一换元法,反过来叫第二换元法。第一换元法中比较常见的就是的情况(式(5)),有些简单的积分甚至应该作为结论记住。第二换元法常见于函数可以通过参数化来简化,且有比较简单的形式,熟悉三角函数公式将非常有利。
• 求积分:、、、;
• 求积分:、、。
1.3 特殊类型的积分
1.3.1 有理分式
对于某些形式的函数,已经有了统一的求积方案,这里举一些例子。由多项式组成的方式称为有理分式,我们当然只需要解决的次数小于的情况(称为真分式)。由之前的代数知识可知,在实数域中多项式总可以分解为一次项和二次项之积,从而真分式总可以分解为式(6)中的两种简单分式,他们也被称为最简分式或部分分式。分解的时候可以用待定系数法解方程组,确定系数的过程中先用带入可以加速计算过程。
式(6)中很容易求积分,使用换元也很容易解决。如果你做了前面的习题,可以得到的递推公式,所以任何有理分式都可以按步骤积分。
仔细研究积分的具体过程,其实还能发现积分式总可以分解为有理分式部分和其它部分(式(7)),其中,且。基于这个结论,也可以用待定系数法加速求解。
1.3.2 三角有理分式
还有一种常见的函数,它是由三角函数组成的有理分式,由于每个三角函数都可以表示为的有理分式,故这些函数都是的有理分式。设,由万能公式可知式(8)成立,从而使用换元法可将原积分转化为一般的有理分式。
但对于一些特殊情况,还是可以通过其它换元法简化积分的。比如如果,则必定具有形式。也就是说,使用换元即把问题转化成的积分。同样的方法可以应用于的场景。
如果,易知,这两个都能转化为的有理分式。令则有,所以原积分可以转化为的积分。
• 求积分:,。
1.3.3 一些根式函数
对于一些带根式的函数,通过适当的换元法,也可以达到消除根式的目的。比如对于式(9),设分母的最小公倍数为,则只需做换元即可转化为的有理分式。通常被称为二项式微分,其中为有理数且,使用换元可得是(10)。易证如果中有一个为整数,式(10)都可以转化为式(9)的类型。切比雪夫还证明了,除了这三种情况外,积分都不能用初等函数表示。
还有一类根式函数是,对它的处理关键在于寻找参数使得都是的有理分式。当时令,当时令,当时令。显然,这三种代换都能达到目的,它们被称为欧拉代换。
2. 定积分
2.1 定积分的定义
导数是函数在局部的趋势,我们想知道,一个导函数能否确定函数的整个走势?存在不定积分的导函数当然满足条件,但还是没有回答,导函数究竟要满足怎样的条件。设导函数定义在上,且原函数有个起始值,为了逼近函数的走向,可以将分割为小块,分割点为,并记。如果分的块足够小,感觉可以用来近似。
你可能注意到,上式中的累加部分也可以做为函数在间的近似面积,对它的研究比较重要。其实历史上定积分的概念,就是从计算图形面积中引出的,它比微分的概念还要早。所以我们完全有必要将它作为独立的问题来研究,之后再回头看它跟导数的关系。再将问题重新描述一下,对上的任意函数,作任意分割,任取并记,考察式(11)的和数。
如果以式(11)作为区间面积或的近似值,必须要求无论和如何选取,在时趋于固定值。用-语言描述就是,对任意都存在,使得时总有。这时也说是的极限(与之前的极限不同),并称在上可积,为其定积分,记作式(12)。另外,被称为积分和,称为积分的下限和上限。
定积分可以作为面积的一种定义,但它的合理性还需要检验(兼容规则图形面积的定义),而且它的值是否等于还未确定。这种积分比较复合直观感觉,它由黎曼提出,因此也叫黎曼积分,相应地有黎曼可积、黎曼和等概念,与这里的定义等价。并不是所有函数都是可积的,比如狄利克雷函数(有理数为其它为),再比如没有上界或下界的函数,从而可积函数必有限。
2.2 定积分的性质
为讨论可积的条件,这里先介绍另一个更常用的工具。记为在上的上下、上确界,并称式(13)为达布下和与达布上和,显然有。如果来自不同的分割,合并这些分割,容易看出总有。这就说明对任何分割分别有上界和下界,如果它们的确界相等即,则可积。反之显然成立,从而可积的充要条件是。
根据以上结论,可以比较容易地得出一些可积函数。如果连续,则在一致连续,容易证明它满足式(12),从而可积。进而可知,存在有限个间断点的有界函数也是可积的。同样利用式(12),可证单调有界函数可积。在已知可积的情况下,可以选择方便计算的分割方法。
如果定义,则不论的大小如何,容易证明式(14)成立。当在上可积时,利用式(13)可证式(15)可积且公式成立,还容易证式(16)成立。如果可积,利用式(12)可以证明也可积,且根据式(16)可有式(17)成立。
设在上可积,,如果不变号,则在之间。也就是说在和之间,从而存在使得式(18)左成立,取还有(18)右式成立。当连续时,由中值定理对应还有式(19)成立,这个结论被称为积分第一中值定理。
2.3 定积分的计算
2.3.1 基本方法
现在就来回答前面的问题:定积分能否作为面积的定义?它是否等于?这两个问题都指向了定积分的值。设,现在来研究值函数的性质。首先对于任意领域,有式(20)成立。所以当时,由有界可知,也就是说是连续函数。如果在还是连续的,则还有,所以在可导且。
如果是连续函数,上面的结论就是说是可微函数,且有式(21)成立。所以连续函数都存在原函数,并且有式(22)成立(最后是简写),这就回答了上面的问题。式(22)也叫牛顿-莱布尼兹公式,它把微分和积分完美地结合在了一起,由此也被称之为微积分基本公式。但要注意,该结论对不连续的场景不一定适用,以下默认连续。
有了以上结论,就可以用换元法和分部积分法来求定积分。如果有连续导数(为保证积分存在),且,则有式(23)成立。这个式子同样可以从两个方向使用,有时候它还可以起到变形化简的作用,尤其是在有三角函数的表达式中。
• 求定积分:;(提示:拆分为两段,并对其中一个变形)
• 设的周期为,求证:。
2.3.2 分部积分
同样可以使用分部积分法,设有连续导数,则有式(23)成立。该式除了可以化简积分,有时还可以推导出方程式或递推式,间接地可以求得定积分。比如使用递推式可以求得式(24)定积分,用这个式子还能得出的估算式。
分部积分还能帮我们得到乘法积分的另一种估算,问了能分部积分,先设连续、的导数连续,并令。使用分部积分有式(25)成立,如果再令非负且,并记的最大(小)值为(),可以推导出。再由的连续性可知存在,使得式(26)左成立。如果,令,同样可证式(26)右成立。如果不限定的符号,可用代替(比如),带入上面的结论整理可得式(27),式(26)(27)被称为积分第二中值定理。
最后我们用定积分来表示泰勒公式的余项,设在领域内有直到阶的连续导数,则有和。连续进行式(28)的推断,可以得到的精确表达式(29),它不再有不确定的成分。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 地球OL攻略 —— 某应届生求职总结
· 提示词工程——AI应用必不可少的技术
· Open-Sora 2.0 重磅开源!
· 周边上新:园子的第一款马克杯温暖上架