簡介
在數學和理論物理中, 泛函導數是方嚮導數的推廣。後者對一個有限維向量求微分,而前者則對一個連續函式(可視為無窮維向量)求微分。它們都可以認為是簡單的一元微積分中導數的擴展。數學裡專門研究泛函導數的分支是泛函分析。
定義
設有流形 M代表(連續/光滑/有某些邊界條件等的)函式 φ 以及泛函 F:
![光滑泛函](/img/6/025/wZwpmL1IzMxUzM2EDN3QTN1UTM1QDN5MjM5ADMwAjMwUzLxQzL2IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![光滑泛函](/img/b/3f6/wZwpmL0MTN3UDM5EjM3QTN1UTM1QDN5MjM5ADMwAjMwUzLxIzL1EzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
則 F的 泛函導數,記為是一個滿足以下條件的分布:
對任何測量函式 f:
![光滑泛函](/img/1/72f/wZwpmL3EjM1gzM3kjM3QTN1UTM1QDN5MjM5ADMwAjMwUzL5IzL2MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![光滑泛函](/img/c/fc2/wZwpmL0ATMygzM4YzMwEDN0UTMyITNykTO0EDMwAjMwUzL2MzLzczLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![光滑泛函](/img/8/9f9/wZwpmLwETNyUzMxYzM3QTN1UTM1QDN5MjM5ADMwAjMwUzL2MzLzIzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![光滑泛函](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![光滑泛函](/img/b/6b9/wZwpmL0UjNxEDN3gzM3QTN1UTM1QDN5MjM5ADMwAjMwUzL4MzLxYzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
用的一次變分代替就得到F的一次變分;
在物理學中,通常用狄拉克δ函式{\displaystyle \delta (x-y)},而不是一般的測試函式{\displaystyle f(x)}, 來求出點{\displaystyle y}處的泛函導數(這是整個泛函變分的關鍵點,就像偏導數是梯度的一個分量):
![光滑泛函](/img/7/86c/wZwpmLzgjN4ITO1UjM3QTN1UTM1QDN5MjM5ADMwAjMwUzL1IzLwgzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![光滑泛函](/img/3/c73/wZwpmL3cTO2EjMwkDM3QTN1UTM1QDN5MjM5ADMwAjMwUzL5AzL3MzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![光滑泛函](/img/e/bc6/wZwpmL3UDO1IzM5IjN5ADN0UTMyITNykTO0EDMwAjMwUzLyYzLzgzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![光滑泛函](/img/4/324/wZwpmL4MTO0cTM0kDM3QTN1UTM1QDN5MjM5ADMwAjMwUzL5AzL0czLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
這適用於可以展開成的級數時 (或者至少能展為1階). 但是這一表達在數學上並不嚴格,因為一般而言並未定義。
正式表述
通過更仔細地定義函式空間,泛函導數的定義可以更準確、正式。例如,當函式空間是一個巴拿赫空間時, 泛函導數就是著名的Fréchet導數, 而這在更一般的局部凸空間上使用加托導數。注意,著名的希爾伯特空間是巴拿赫空間的特例。更正式的處理允許將普通微積分和數學分析的定理推廣為泛函分析中對應的定理,以及大量的新定理。