不定积分
不定積分(英語:),也可稱反導函數()或原函数。在微积分中,函数 的不定积分是一个可微函數 ,其导数等于原來的函數 ,即 。
系列條目 |
微积分学 |
---|
|
性质
有一函數與其自變數。當並在區間中滿足所有自變數,這時我們稱為的反導函數。
例子
函数 是函数 的一个反導函數,但实际上 的反導函數有无穷多个。与 相差一个常数的函数都是 的反導函數,這是因为常数函数的导数为零,例如: 都為函數 的反導函數。函数族 是 的所有可能的反導函數的集合,其中 叫做积分常数。从图像上来看,这是 向上或向下平移后得到的一组函数,由定義可知它们在 轴同一点的斜率都是一样的。
微积分基本定理
不定积分的一个重要应用是计算定积分,微积分基本定理建立了两者间的关系。
微积分基本定理:如果函數 是闭区间 上的连续函数, 是 在 上的一个反導函数,那么有
证明:取区间的一个分割:,又设,根据均值定理有 , 使得
所以
在闭区间 上连续,故可使用黎曼可积,讓 于是當 ,也就是分割越來越細時有
于是有
- 。
的每个反導函数都可以叫做 的不定积分,简写作,因为在计算定积分时,积分常数在相减时消掉了。如果 定义在几个不同的区间上,那么每个区间上的积分常数可以互不相同。例如
就是函數 的不定积分的一般形式。其定義域為 。
由積分定義的函數
什么样的函数具有反導函数是微积分基本定理中的基本问题。首先,每个连续函数都有反導函数,并且由上面可知,任一函數的反導函数如果存在的話會有无限多个。其次,由微分基本性質可知,对于一个有反導函数的函数,其反導函数在某点取某特定值的只有一个。要證明存在性,假設函數 的反導函數在 點为零,則它可以表示为如下的由积分定義的函数:
且。
下面给出這函数是 的反導函数的证明:
证明:
- ,其中,当时,趋向于。
- 所以有。
進一步可知: 的反導函数中在点 上取值为 的只有一个,就是。
这也可以看作是微积分基本定理另一个表达形式。
不连续的函数也可以有反導函數,例如考虑函数:
- 当时,
这个函数在0上不连续,但可以验证函数:(时), 是 的反導函數。
许多看似很“简单”的函数的反導函數是无法用初等函数[註 2]来表达,比如说如下几个不定积分:
- 。
它们的积分同样存在,定义为:
其中erf函数为误差函数,Si函数为三角积分,Li函数为对数积分。
关于什么时候反導函數可以用初等函数表达,可参见刘维尔定理。
积分技巧
求初等函数的不定积分比求它们的导数要困难得多。如上面所看到的,有些初等函数的反導函數无法用初等函数来表达。以下是求不定积分的一些技巧。
不连续函数的积分
微积分基本定理要求 为连续函数,但是,对于不连续的函数,我们仍然可以考虑求不定积分。对于什么函数有反導函數,现在仍存在着未解决的问题。如今已知的结论有:
- 一些很不“规则”的函数,尽管在“非常多”的点上并不连续,但仍有原函数。
- 在某些情况下,一些不“规则”的函数的不定积分可以通过黎曼积分求得。当然更多的不“规则”的函数不是黎曼可积的。
不定积分公式表
在以下公式中,為任意常數。
- ,其是常数
- ,其,
参见
參考資料
- Bruce Edward, Ron Larson. . U.S: Cengage Learning. 2018: 209. ISBN 978-957-9282-07-9.