函数 是函数 的一个反导函数,但实际上 的反导函数有无穷多个。与 相差一个常数的函数都是 的反导函数,这是因为常数函数的导数为零,例如: 都为函数 的反导函数。函数族 是 的所有可能的反导函数的集合,其中 叫做积分常数。从图像上来看,这是 向上或向下平移后得到的一组函数,由定义可知它们在 轴同一点的斜率都是一样的。
微积分基本定理
不定积分的一个重要应用是计算定积分,微积分基本定理建立了两者间的关系。
微积分基本定理:如果函数 是闭区间 上的连续函数, 是 在 上的一个反导函数,那么有
-
证明:取区间 的一个分割: ,又设 ,根据中值定理有 , 使得
-
所以
-
在闭区间 上连续,故可使用黎曼可积,让 于是当 ,也就是分割越来越细时有
-
于是有
- 。
的每个反导函数都可以叫做 的不定积分,简写作 ,因为在计算定积分时,积分常数在相减时消掉了。如果 定义在几个不同的区间上,那么每个区间上的积分常数可以互不相同。例如
-
就是函数 的不定积分的一般形式。其定义域为 。
由积分定义的函数
什么样的函数具有反导函数是微积分基本定理中的基本问题。首先,每个连续函数都有反导函数,并且由上面可知,任一函数的反导函数如果存在的话会有无限多个。其次,由微分基本性质可知,对于一个有反导函数的函数,其反导函数在某点取某特定值的只有一个。要证明存在性,假设函数 的反导函数在 点为零,则它可以表示为如下的由积分定义的函数:
-
且 。
下面给出这函数是 的反导函数的证明:
证明:
-
-
- ,其中 ,当 时, 趋向于 。
- 所以有 。
进一步可知: 的反导函数中在点 上取值为 的只有一个,就是 。
这也可以看作是微积分基本定理另一个表达形式。
不连续的函数也可以有反导函数,例如考虑函数 :
- 当 时 ,
这个函数在0上不连续,但可以验证函数: ( 时), 是 的反导函数。
许多看似很“简单”的函数的反导函数是无法用初等函数[注 2]来表达,比如说如下几个不定积分:
- 。
它们的积分同样存在,定义为:
-
-
-
其中erf函数为误差函数,Si函数为三角积分,Li函数为对数积分。
关于什么时候反导函数可以用初等函数表达,可参见刘维尔定理。