泛函导数

在数学和理论物理中，泛函导数是方向导数的推广。后者对一个有限维向量求微分，而前者则对一个连续函数（可视为无穷维向量）求微分。它们都可以认为是简单的一元微积分中导数的扩展。数学里专门研究泛函导数的分支是泛函分析。

定义
设有流形 M 代表（连续/光滑/有某些边界条件等的）函数 φ 以及泛函 F：
, 

则F的泛函导数，记为,是一个满足以下条件的分布：

对任何测量函数 f:

用  的一次变分  代替  就得到  的一次变分 ；

在物理学中，通常用狄拉克δ函数 ，而不是一般的测试函数 , 来求出点处的泛函导数(这是整个泛函变分的关键点，就像偏导数是梯度的一个分量):

 

这适用于 可以展开成的级数時 (或者至少能展为1阶). 但是这一表达在数学上并不严格,因为 一般而言并未定义。

正式表述
通过更仔细地定义函数空间，泛函导数的定义可以更准确、正式。例如，当函数空间是一个巴拿赫空间时, 泛函导数就是著名的Fréchet导数, 而这在更一般的局部凸空间上使用加托導數。注意，著名的希尔伯特空间是巴拿赫空间的特例。更正式的处理允许将普通微积分和数学分析的定理推广为泛函分析中对应的定理，以及大量的新定理。

性質
與函數的導數類似，泛函導數滿足下列的性質：（其中 [ρ] 和 [ρ] 為兩個泛函）
 線性：
 
其中  皆為常數。

 積法則：
 

 鏈式法則： 
若  和  為兩個泛函，則

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

δ函数作为测量函数
上面给出的定义是基于一种对所有测量函数 f都成立的关系，因此有人可能会想，它在 f是一个指定的函数（比如说狄拉克δ函数）时也应该成立。但是，δ函数不是一个合理的测量函数。

在定义中，泛函导数描述了整个函数发生微小变化时，泛函如何变化。其中，的变化量的具体形式没有指明，

泛函導數的求法

公式

給定泛函 

及在積分區域的邊界上恆為零的函數 ()，由定義可得：

其中第二行用到了  的全微分， ρ 為標量對向量的導數。 第三行則用到了散度的積法則。第四行由高斯散度定理及邊界上  的條件得到。由於  可以是任意的函數，由變分法基本引理可知，所求泛函導數為

其中 ρ = ρ() 且 , ρ, ∇ρ)。只要 [ρ] 具有本節首段的形式，上述公式就適用。對於其他的泛函形式，可由定義出發，求出其泛函導數。（見库仑势能泛函。)

以上公式可推廣到高維，並且有其他高階導數的情況。則泛函可寫成

其中向量 ，而  為一個張量，其  個分量分別為  階微分算子  

與上面類似，由泛函導數的定義可知：

式中，張量  具有  個分量，各為  對 ρ 偏導數之偏導數，即：

並定義張量的純量積為

例子

托马斯-费米动能泛函
1927年的托马斯-费米模型对于无相互作用的单一电子雲使用了动能泛函是密度泛函理论关于电子结构的第一次尝试

 只与电子密度有关  并且不依赖于其梯度, Laplacian, 或者其他更高阶的微分 (像这样的泛函被称为是“局部的”). 因此，

库仑势能泛函
托馬斯和費米利用了以下库仑勢能泛函來描述電子與核之間的電勢

由泛函導數的定義，

故

至於電子與電子間的相互作用，由以下庫侖勢能泛函描述：

由定義，

式末的兩個積分相等，因為可以交換第二個積分中  和  兩個變數，而不改變積分的值。因此，

故電子－電子庫侖勢能泛函 [ρ] 的導數為

且其二階泛函導數為

魏茨泽克动能泛函
1935 年，魏茨泽克提出，在托馬斯－費米動能泛函中添加一項梯度修正，使之能更準確描述分子的電子雲：

其中

由上節的公式可得

故所求泛函導數為

将函数表示成泛函
最后，注意到任何函数都可以以积分的形式表示成一个泛函。例如，

这个泛函只依赖于，像上面两个例子一样(就是说，它们都是“局部的”)。因此

熵
离散随机变量的熵是概率质量函数的一个泛函

于是

最后，

指数

令

以函数作为测量函数

因此

注释

参考来源

 R. G. Parr, W. Yang, “Density-Functional Theory of Atoms and Molecules”, Oxford University Press, Oxford 1989.
 B. A. Frigyik, S. Srivastava and M. R. Gupta, Introduction to Functional Derivatives, UWEE Tech Report 2008-0001. https://web.archive.org/web/20120207192424/http://www.ee.washington.edu/research/guptalab/publications/functionalDerivativesIntroduction.pdf

微分学
微分算子
泛函分析