泛函導數

在數學和理論物理中，泛函導數（functional derivative）是向量導數的推廣。後者相對於一個有限維向量求導，而前者則相對於一個連續函式（可視為無窮維向量）求導。它們都可以認為是簡單的一元微積分中導數的擴展。

基本介紹

• 中文名：泛函導數
• 外文名：functional derivative

定義

在變分法中，泛函通常表示成函式、函式導數以及自變數的積分。例如考慮泛函

如果函式加上一個任意小的變化，把被積函式展開成的冪級數

則泛函的值的變化

一階項的係數就稱為泛函關於函式在點處的泛函導數，記做 。

泛函導數

設有流形M代表（連續/光滑/有某些邊界條件等的）函式 φ 以及泛函 ：

則的泛函導數，記做，是一個滿足以下條件的分布：

對任何測量函式

稱為的變分。是線性泛函，由里斯-馬爾可夫-角谷表示定理，這個泛函可表示成對某個測度的積分。就定義為這個測度的拉東-尼科迪姆導數。

把函式看作在處的梯度，看作在處沿方向的方嚮導數，則類似於向量微積分，梯度與某個方向向量的內積就給出了這個方向的方嚮導數。

泛函微分

泛函的微分就是

用一個啟發性的觀點來看，是的改變，形式上有，則上式就和多元函式的全微分相似

比較這兩個等式，泛函導數扮演著類似於偏微分的角色，積分變數就像是連續版本的求和指標 。

正式表述

通過更具體地定義函式空間，泛函導數的定義可以在數學上更準確、正式。例如，當函式空間是巴拿赫空間時, 泛函導數就是著名的弗雷歇導數, 而在更一般的局部凸空間上就是加托導數。注意，希爾伯特空間是巴拿赫空間的特例。更正式的處理使我們能夠將普通微積分和數學分析中的許多定理推廣為泛函分析中對應的定理，此外還能得到大量的新定理。

性質

與函式的導數類似，泛函導數滿足下列的性質（其中和都是泛函）：

• 線性：
  

其中皆為常數。

• 積法則：
  

• 鏈式法則：
  

若F和G為兩個泛函，則

若當中的G為一個普通的可導函式g，則上式化為

確定的泛函導數

有一類常見的泛函，能表示成一個函式及其導數的積分的形式。對於這類泛函，可以給出一個計算泛函導數的公式。

公式

對於泛函

以及在積分區域的邊界上取0的函式，由之前的定義

因為是任意的函式，由變分法基本引理，得泛函導數為

以上泛函導數公式可以推廣到包含高階導數的情況

其中是張量運算元，分量為

則相應的泛函導數為

例子

托馬斯-費米動能泛函

被積函式不含的導數，所以泛函導數

庫侖勢能泛函

魏茨澤克動能泛函

熵

連續隨機變數的熵是其機率密度函式的泛函

指數

這個公式在量子場論中，從配分函式來計算相關函式時特別有用。

函式的泛函導數

函式可以像泛函那樣寫成一個積分的形式

從而可以把看作關於的泛函。因為這個積分不依賴於的導數，故泛函導數

疊代函式的泛函導數

疊代函式的泛函導數

一般情況

令上式的可以解出反函式的泛函導數

δ函式作為測量函式

在物理學中，常用狄拉克δ函式，而不是一般的測試函式，來得到在點處的泛函導數（這是整個泛函導數上的一點，就像偏導數是梯度的一個分量）

這在可以“在形式上”展開成的級數時是有效的。然而這個公式在數學上是不嚴密的，甚至連通常都是沒有嚴格定義的。

上面給出的定義是基於一種對所有測量函式f都成立的關係，因此有人可能會想，它在f是一個指定的函式（比如說狄拉克δ函式）時也應該成立。但是，δ函式不是一個合理的測量函式（甚至都不是一個真正的函式）。

在定義中，泛函導數描述了整個函式發生微小變化時，泛函如何變化。其中，的變化量的具體形式沒有指明，但應該在整個定義區間上都有變化。使用δ函式形式的擾動表明函式只在點處變化，其他的點都沒有變化。