不定積分

不定積分(英語: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.