1. 程式人生 > >變分貝葉斯、變分自編碼與變分遷移

變分貝葉斯、變分自編碼與變分遷移

目錄

  • 變分法簡介
  • 變分推斷
  • 變分貝葉斯
  • 變分自編碼
  • 變分與遷移 :heart:
  • 一些資料

變分法簡介

變分法是研究依賴於某些未知函式的積分型泛函極值的一門科學。也就是求泛函極值的方法稱為變分法

典型例子最速降線


兩點之間的曲線方程定義為:

y = y

( x )

根據能量守恆定理:

m g y = 1 2

m v 2

質點的速度可以表示為:

v

= d s d t = ( d x ) 2 + ( d y ) 2 d t = 1 + ( y ) 2 d x d t

對上述式子進行聯立可得:

T = 0 x 1 1 + y 2 2 g y d x


泛函

上式的積分中給出的變數可以看作是依賴於未知函式及未知函式導數的變數,未知函式及其導數起著自變數的作用,這樣的自變數稱為獨立函式或自變函式。簡單地說,這種依賴於獨立函式的函式,或者說以函式為自變數的函式,就稱為泛函。以積分形式出現的泛函稱為積分型泛函或積分泛函。這裡的獨立函式 y 稱為宗量。


變分

對於任意 x [ x 0 , x 1 ] 可取函式 y ( x ) 與另一可取函式 y 0 ( x ) 之差 y ( x ) y 0 ( x ) 稱為函式 y ( x ) y 0 ( x ) 處的變分或函式的變分,記作 δ y

泛函的宗量 y ( x ) 與另一宗量 y 0 ( x ) 之差 y ( x ) y 0 ( x ) 稱為宗量 y ( x ) y 0 ( x ) 處的變分。

若泛函 J [ y ( x ) ] y = y ( x ) 上達到極值,則它在 y = y ( x ) 上的變分為0.

  • 變分法提供了有限元方法的數學基礎,它是求解邊界值問題的強有力工具。它們也在材料學中研究材料平衡中大量使用。
  • 變分一詞用於所有極值泛函問題。微分幾何中的測地線的研究是很顯然的變分性質的領域。
  • 最優控制的理論是變分法的一個推廣。

變分推斷

log P ( x ) = log P ( x , z ) log P ( z | x )

                  = log P ( x , z ) q ( z ) log P ( z | x ) q ( z )

                  = log P ( x , z ) log q ( z ) log P ( z | x ) q ) ( z )