原函数、反导数
2013-04-08 15:55阅读:
在
微积分中,一个
函数

的
不定积分,也称为
原函数或
反导数,是一个
导数等于

的函数

,即
![原函数、反导数 \begin{smallmatrix} F]()
不定积分和
定积分
间的关系由
微积分基本定理确定。
-

其中

是

的不定积分。这样,许多函数的
定积分的计算就可以简便地通过求不定积分来进行。
例子
函数

是函数

的一个原函数,但实际上

的原函数有无穷多个。与

相差一个常数的函数都是

的原函数,因为常数函数的导数为零,例如:

。函数族

称为函数

的
原函数族,也就是

的所有可能的原函数的
集合,其中

叫做
积分常数。从图像上来看,这是

垂直平移后得到的一组函数,几何上的解释就是它们在

轴同一点上的斜率都是一样的。
性质
微积分基本定理
不定积分的一个重要应用是计算定积分,
微积分基本定理建立了两者间的关系。
微积分基本定理:如果

是闭区间
![原函数、反导数 \begin{smallmatrix} [a,b] \end{smallmatrix}](http://upload.wikimedia.org/math/0/2/c/02c2d84980612324d0b93ba4caebe459.png)
上的
连续函数,

是

在
![原函数、反导数 \begin{smallmatrix} [a,b]< \end{smallmatrix}](http://upload.wikimedia.org/math/4/0/8/408629d1e56c6ea1a5d1e54b3f2d129c.png)
上的一个原函数,那么

证明:取区间
![原函数、反导数 \begin{smallmatrix} [a,b] \end{smallmatrix}](http://upload.wikimedia.org/math/0/2/c/02c2d84980612324d0b93ba4caebe459.png)
的一个分割:

,又设

,根据
拉格朗日中值定理有

所以


在闭区间
![原函数、反导数 \begin{smallmatrix} [a,b] \end{smallmatrix}](http://upload.wikimedia.org/math/0/2/c/02c2d84980612324d0b93ba4caebe459.png)
上连续,故
黎曼可积,于是

于是:

因此,

的
原函数族中的每个函数都可以叫做

的不定积分,简写作

,因为在计算定积分时,积分常数在相减时消掉了。如果

定义在几个不同的
区间上,那么每个区间上的积分常数可以互不相同。例如

就是

的不定积分的一般形式。它的定义区间是

。
积分上限函数
什么样的函数具有原函数是微积分理论中的基本问题。首先,每个
连续函数都有原函数,并且由上面可知,原函数的个数是无限个。其次,对于一个有原函数的函数,它的原函数族中在某点取某个特殊值的只有一个。特别来说,对某个点

,

恰有一个在

上取值为零的原函数,它可以表示为如下的
积分上限函数:
![F(>]()