自動微分

维基百科,自由的百科全书

數學計算機代數中,自動微分有時稱作演算式微分,是一種可以藉由電腦程式計算一個函數導數的方法。兩種傳統做微分的方法為:

  • 對一個函數的表示式做符號上的微分,並且計算其在某一點上的值。
  • 使用差分

使用符號微分最主要的缺點是速度慢及將電腦程式轉換成表示式的困難。此外,很多函數在要計算更高階微分時會變得複雜。 使用差分的兩個重要的缺點是捨棄誤差數值化過程和相消誤差。此兩者傳統方法在計算更高階微分時,都有複雜度及誤差增加的問題。自動微分則解決上述的問題。

自動微分使用這個事實:任何實作一個向量函數 y=F(x)的電腦程式,一般而言,可以被分解成由基本指定運算所成的序列,而其中每一個都可以藉由查表而輕易地微分。這些計算某一特定項的 "基本偏微分" 是依照微積分中的复合函数求导法则來合併成某個 F 的微分資訊(如梯度切線雅可比矩陣等)。這個過程會產生確實(數值上準確)的導數。因為只在最基礎的層面做符號轉換,自動微分避免了複雜的符號運算的問題。

复合函数求导法则,前向和反向積累[编辑]

自動微分的基礎是,根據复合函数求导法则來合併微分值。以為例,根據复合函数求导法则,我們有:

通常有兩個不同的模式:“前向積累”(或“前向模式”)和“反向積累”(或反向模式)。 前向積累由右到左地使用复合函数求导法则,即先計算 ,然後才。 反向積累則是由左到右。

前向積累[编辑]

前向積累式的自動微分是最容易理解和實作的。 這個函數是可被電腦(或程式設計師) 解釋成一連串對變數的運算。 前向積累式自動微分的工具則會增加相對應的作用於第二項上的運算。

原本程式碼敘述 為導數而新增的敘述
(種子)
(種子)

計算的導數需要初始化, 以區別是要對來求導數。 上述表格則以來初始化, 並且我們可以看到其結果正是對的導數。 注意,雖然表格列出了符號微分, 但以電腦的角度而言,電腦總是儲存數值。圖2則以圖形表明上述的敘述。

為了計算這個例子的導數,其分別為, 需要計算兩次,一次是以做初始值, 另一次則以做為初始值。

前向積累的計算複雜度則正比於原來程式的計算複雜度。

對於函數來說, 前向積累只要計算一次,優於需要計算 m 次的反向積累。

反向積累[编辑]

前向式積累自動微分的由來與二元數[编辑]

前向式積累自動微分可藉由擴充實數中的代數並得到一個新的算術系統來達成。 每一個數都會新增另一數,用來表示一函數在這數上導數的數。 而每一個算術運算都被擴充於此新的代數。 這個擴充後的代數就是二元數的代數。


將每一個數替換成數,其中是一個實數,但則只是一個據有這個特性的符號。 使用這特性,我們可以有運算

減法和除法則類似。

現在,我們可以計算多項式。 如果,則

其中 表示 對第一個參數的導數。 而 則稱作“種子”,可以任意選擇。

新的算術是由有序對、寫成 及對第一項的運算和對第二項的第一階微分運算所組成。 將上述結果應用於多項式的解析函數上, 我們可以得到一系列關於基本算術和一些標準函數的新算術:

並且,一般而言,對於一個函數 ,我們會有

其中分別是對其第一項和第二項的導數。

對一個二元算術運算作用於混合的參數時(數對和實數), 實數會先被轉成。 函數上的導數 則為以上述算術計算,其結果為

向量參數和函數[编辑]

藉由採取方向導數的運算, 多變數函數也可以同單變數函數的效率和機制來處理。 亦即,函數這點, 和這個方向上的方向導數, 可以使用上述相同的算術來計算 而求得。

更高階微分[编辑]

以上的算術可以被一般化,以用於二階及三階導數。 然而,此算術的規則將會迅速變得複雜。 其複雜度將與最高階導數階數成平化。 取而代之的是使用限縮泰勒級數。 這是可行的,因為函數的泰勒級數中的通項為己知係數和函數導數的乘積。 使用自動微分來計算黑塞矩陣在某些最佳化已被證明是可行的。

實作[编辑]

前向式積累是由對程式的非標準化轉譯程序來實作。 即將實數替換成二元數,常數則換成有第二項為零係數的二元數。 而數值上基本運算則被換成二元數的運算。 非標準化轉譯程序一般使用兩者策略之一:程式碼轉換運算符重載

程式碼轉換[编辑]

Figure 4: Example of how source code transformation could work

一個函數的程式碼會被自動產生的程式碼所替換, 新生成用來計算導數的程式碼則會插入原程式碼中。

程式碼轉換可實作在所有的程式語言上,且它對編譯器而言,是容易最佳化的。 然而,實作自動微分的工具則是比較困難的。

例子:

  • ADIC[1] (C/C++, 前向積累)
  • ADIFOR[2] (Fortran77)
  • OpenAD[3] (Fortran77, Fortran95, C/C++)
  • TAPENADE[4] (Fortran77, Fortran95)

運算符重載[编辑]

Figure 5: Example of how operator overloading could work

如果所使用的程式語言支持,運算符重載是個可行的方法。 實數的物件跟基本數學運算必須重載以滿足上述 augmented 算術。 這不須要改變要被微分的函數的程式碼。

運算符重載對前向積累是容易實作的,並且可能對反向積累亦如此。 然而,與前向積累相比,現有的編譯器在最佳化程式碼方面則是較為落後。

例子:

  • ADC Version 4.0[5] (C/C++)
  • ADF Version 4.0[6] (Fortran 77, Fortran 95)
  • ADOL-C[7] (C/C++)
  • FADBAD++[8] (C/C++)
  • CppAD[9] (C/C++)
  • MAD[10] (Matlab)
  • Sacado (Trilinos[11]的一部分) (C++, forward/reverse)

參考文獻[编辑]

  • Rall, Louis B. Automatic Differentiation: Techniques and Applications. Lecture Notes in Computer Science 120. Springer. 1981. ISBN 978-3-540-10861-0. 
  • Griewank, Andreas. Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. Frontiers in Applied Mathematics 19. SIAM. 2000. ISBN 0-89871-451-6. 

外部連結[编辑]