劉維爾定理 (微分代數)

微分代數中的定理

劉維爾定理揭示了具有初等原函數的初等函數的本質特徵。其最早由約瑟夫·劉維爾於十九世紀三四十年代提出,經後人推廣到一般的微分域上[1],並被進一步推廣運用在常微分方程組初等首次積分的研究上。[2][3]

初等函數的原函數並不總是初等函數,例如 的原函數是誤差函數,無法用初等函數表達出來。 其它常見的例子還有 等。

劉維爾定理指出,一個初等函數如果有初等的原函數,那麼一定能寫成同一個微分域的函數加上有限項該域上函數的對數的線性組合,否則即表明不存在初等的原函數。

定義

編輯

一個  (元素是函數)及相應的運算  (對函數的導數)構成的代數結構   稱為 微分域。若對於  

 

由上式可以得到通常導數的一些性質。

 
 


  為某個微分域,稱

 

為該微分域的常數域。


 KF 的微分域擴張    稱為在   上基本初等,若以下三種情況任一成立:

  •    的代數元素。 即存在   中的多項式  ,使得  。 注意此處多項式   的係數本身也是函數,也即   隱式地決定了函數  (選定某個解析分支)。稱這種情況為代數擴張。
  •    上的超越元素,且  。可以用對數函數來類比,對於   。 稱這種情況為對數擴張。    上的對數。
  •    上的超越元素,且  。 可以用指數函數來類比,對於   。 稱這種情況為指數擴張。    上的指數。


微分域的初等擴張是指接連進行如上的擴張得到的微分域  ,其中    上基本初等。


一個函數   稱為初等函數 若它在微分域  (有理函數加普通導數)的某個初等擴張中。

基本定理

編輯

劉維爾第一定理

編輯

以下為劉維爾第一定理(Theorem of Liouville-first statement)。

  為微分域,   的初等擴張,且  ,對於  ,存在  , 使得  ,則 [4][5]

 

其中  ,  

劉維爾第二定理

編輯

以下為劉維爾第二定理(Theorem of Liouville-second statement),又稱強劉維爾定理(Strong Liouville theorem)。

  為微分域, ,若    上初等,且滿足  ,則

 

其中   ,    代數閉域. 每個   自同構交換求和的順序。

  • 註:對於通常所說的初等函數 ,若限定常數為實數  ,則會使得許多通常初等的原函數「不初等」。例如下面的例子  ,其原函數包含虛數

例子

編輯

例如複數域上的有理函數  與通常的導數即構成了一個微分域  (有理函數的導數仍是有理函數),該微分域的常數集即是複數集 

函數   的原函數   不屬於微分域  ,但具有如定理所述的對數形式(注意  )。


類似的, ,其原函數反正切函數可以表達成對數的形式

 

顯然也有  

下面考慮   的原函數,顯然這不屬於     上的超越函數)。把   添加到  ,形成更大的微分域  (於是  )。  的一個原函數是  ,於是我們再次看到,使用包含   的微分域   里的函數的對數,表達出了   的原函數。

事實上,Risch 1969 年的論文表明,對於任意複雜的初等函數,總可以找到適當的包含   的微分域  ,以及從   開始的初等域擴張塔  。並在此擴張塔的基礎上,基於劉維爾定理找到其初等原函數,或證明不存在這樣的初等原函數(參見 Risch算法)。[5]

定理的應用

編輯

設想我們想知道形如   的函數是否有初等原函數。由劉維爾定理可以得到,這等價於判斷是否存在   使得

 

若存在這樣的  ,那麼其原函數即為  

例如對於  ,(即 ),應有

 

如果存在這樣的  ,那麼一定可以作部分分式展開

 

其中    上的多項式,   分母多項式的根,係數   被唯一確定。 代入前式即可證明這樣的   不存在(因為   會增加多項式的次數,故對照左端項應有  ,而對   求導會增加分母的次數,對照左端項得到這一部分也應該是 0,這樣就得到矛盾 1=0)。從而函數   不存在初等原函數。

藉助完全類似的方法,我們可以證明  (對應  ),以及   也不存在初等原函數. 更進一步,對   換元可以得到   或者  ,於是得到後兩個函數也是不存在初等原函數的。[4]

相關條目

編輯

參考文獻

編輯
  1. ^ Lützen, J. (1990). Integration in Finite Terms. In Joseph Liouville 1809–1882 (pp. 351-422). Springer New York.
  2. ^ Prelle, M. J., & Singer, M. F. (1983). Elementary first integrals of differential equations. Transactions of the American Mathematical Society, 279(1), 215-229.
  3. ^ Singer, Michael F. "Liouvillian first integrals of differential equations." Transactions of the American Mathematical Society 333.2 (1992): 673-688.
  4. ^ 4.0 4.1 Rosenlicht, M. (1972). Integration in finite terms. American Mathematical Monthly, 963-972.
  5. ^ 5.0 5.1 Risch, Robert H. "The problem of integration in finite terms." Transactions of the American Mathematical Society (1969): 167-189.