不定积分

(重定向自反導數

不定積分(英語:Indefinite Integration),也可稱反導函數Antiderivative)或原函数。在微积分中,函数 不定积分是一个可微函數 ,其导数等于原來的函數 ,即

不定積分在原先的定義上並沒有設定區間,會與導函數間相差一常数[註 1][1]。若導函數的定義是有區間的,請參照定積分

不定积分和定积分间的关系係由微积分基本定理聯繫起來,函数的定积分可以透過先求得不定積分再帶入數字来運算。

性质

有一函數 與其自變數 。當 並在區間 中滿足所有自變數 ,這時我們稱  反導函數

例子

函数   是函数   的一个反導函數,但实际上   的反導函數有无穷多个。与  相差一个常数的函数都是   的反導函數,這是因为常数函数的导数为零,例如:  都為函數   的反導函數。函数族    的所有可能的反導函數的集合,其中   叫做积分常数。从图像上来看,这是   向上或向下平移后得到的一组函数,由定義可知它们在   轴同一点的斜率都是一样的。

微积分基本定理

不定积分的一个重要应用是计算定积分,微积分基本定理建立了两者间的关系。

微积分基本定理:如果函數  是闭区间   上的连续函数,    上的一个反導函数,那么有

 

证明:取区间 的一个分割: ,又设 ,根据均值定理 , 使得

 

所以

 

 闭区间   上连续,故可使用黎曼可积,讓   于是當  ,也就是分割越來越細時有

 

于是有

 

  的每个反導函数都可以叫做   的不定积分,简写作 ,因为在计算定积分时,积分常数在相减时消掉了。如果   定义在几个不同的区间上,那么每个区间上的积分常数可以互不相同。例如

 

就是函數   的不定积分的一般形式。其定義域為  

由積分定義的函數

什么样的函数具有反導函数是微积分基本定理中的基本问题。首先,每个连续函数都有反導函数,并且由上面可知,任一函數的反導函数如果存在的話會有无限多个。其次,由微分基本性質可知,对于一个有反導函数的函数,其反導函数在某点取某特定值的只有一个。要證明存在性,假設函數   的反導函數在   點为零,則它可以表示为如下的由积分定義的函数:

 

 

下面给出這函数是   的反導函数的证明:

证明:

 
 
 ,其中 ,当 时, 趋向于 
所以有 

進一步可知:  的反導函数中在点  上取值为   的只有一个,就是 

这也可以看作是微积分基本定理另一个表达形式。

不连续的函数也可以有反導函數,例如考虑函数 

   

这个函数在0上不连续,但可以验证函数:  时),   的反導函數。

许多看似很“简单”的函数的反導函數是无法用初等函数[註 2]来表达,比如说如下几个不定积分:

 

它们的积分同样存在,定义为:

 
 
 

其中erf函数为误差函数,Si函数为三角积分,Li函数为对数积分

关于什么时候反導函數可以用初等函数表达,可参见刘维尔定理

积分技巧

求初等函数的不定积分比求它们的导数要困难得多。如上面所看到的,有些初等函数的反導函數无法用初等函数来表达。以下是求不定积分的一些技巧。

  • 积分的线性性质使得我们可以把较为复杂的函数分成几个较为简单的函数的和来计算
  • 换元积分法可以把被积函数转换成比较容易积分的形式,但对换元函数有一定要求。
  • 分部積分法,用于函数乘积的积分。
  • 对于实值分式函数的积分,可以先将函数展开成若干一次分式函数以及二次分式函数的幂的和,再进行积分。
  • Risch算法
  • 对于常见的不定积分,可以查看积分表
  • 当函数的不定积分不能用初等函数表达时,可以采用其他办法计算函数的定积分,比如数值积分

不连续函数的积分

微积分基本定理要求   为连续函数,但是,对于不连续的函数,我们仍然可以考虑求不定积分。对于什么函数有反導函數,现在仍存在着未解决的问题。如今已知的结论有:

  • 一些很不“规则”的函数,尽管在“非常多”的点上并不连续,但仍有原函数。
  • 在某些情况下,一些不“规则”的函数的不定积分可以通过黎曼积分求得。当然更多的不“规则”的函数不是黎曼可积的。

不定积分公式表

在以下公式中, 為任意常數。

  1.  
  2.  ,其 是常数 
  3.  
  4.  ,其  
  5.  
  6.  
  7.  
  8.  
  9.  
  10.  
  11.  
  12.  
  13.  
  14.  
  15.  
  16.  
  17.  
  18.  
  19.  
  20.  

注释

  1. ^ 可由均值定理證明
  2. ^ 指数函数对数函数代数函数三角函数反三角函数以及它们的有限次加減乘除開根號组合

参见

參考資料

  1. ^ Bruce Edward, Ron Larson. Essential Calculus: Early Transcendental Functions 4/e (Metric Version). U.S: Cengage Learning. 2018: 209. ISBN 978-957-9282-07-9.