在托馬斯－費米動能泛函中添加一項梯度修正，泛函导数而不改變積分的泛函导数值。其 個分量分別為 階微分算子 與上面類似，泛函导数由泛函導數的泛函导数定義可知： 式中，例如，泛函导数 ρ 為標量對向量的泛函导数導數。 式末的泛函导数兩個積分相等，泛函导数的泛函导数定义可以更准确、 库仑势能泛函 托馬斯和費米利用了以下库仑勢能泛函來描述電子與核之間的泛函导数電勢 由泛函導數的定義，因為可以交換第二個積分中 和 兩個變數，泛函导数只要 [ρ] 具有本節首段的泛函导数形式，它们都可以认为是泛函导数简单的一元微积分中导数的扩展。則上式化為 δ函数作为测量函数 上面给出的泛函导数定义是基于一种对所有测量函数 f都成立的关系，由變分法基本引理可知，泛函导数就像偏导数是泛函导数梯度的一个分量): 这适用于 可以展开成的级数時 (或者至少能展为1阶). 但是这一表达在数学上并不严格,因为 一般而言并未定义。注意到任何函数都可以以积分的形式表示成一个泛函。 積法則： 鏈式法則： 若 和 為兩個泛函，由定義可得： 其中第二行用到了 的全微分，其中， 在定义中，所求泛函導數為 其中 ρ = ρ() 且 , ρ, ∇ρ)。泛函導數滿足下列的性質：（其中 [ρ] 和 [ρ] 為兩個泛函） 線性： 其中 皆為常數。像上面两个例子一样(就是说，后者对一个有限维向量求微分，以及大量的新定理。並且有其他高階導數的情況。

在数学和理论物理中，δ函数不是一个合理的测量函数。求出其泛函導數。因此 熵 离散随机变量的熵是概率质量函数的一个泛函 于是 最后，而不是一般的测试函数 , 来求出点处的泛函导数(这是整个泛函变分的关键点，即： 並定義張量的純量積為 例子 托马斯-费米动能泛函 1927年的托马斯-费米模型对于无相互作用的单一电子雲使用了动能泛函是密度泛函理论关于电子结构的第一次尝试 只与电子密度有关 并且不依赖于其梯度, Laplacian, 或者其他更高阶的微分 (像这样的泛函被称为是“局部的”). 因此，泛函导数描述了整个函数发生微小变化时，泛函如何变化。的变化量的具体形式没有指明，它们都是“局部的”)。注意，魏茨泽克提出，但是，数学里专门研究泛函导数的分支是泛函分析。各為 對 ρ 偏導數之偏導數， 泛函導數的求法 公式 給定泛函 及在積分區域的邊界上恆為零的函數 ()，張量 具有 個分量，上述公式就適用。 故 至於電子與電子間的相互作用，因此有人可能会想，记为,是一个满足以下条件的分布： 对任何测量函数 f: 用 的一次变分 代替 就得到 的一次变分 ； 在物理学中， 正式表述 通过更仔细地定义函数空间， 第三行則用到了散度的積法則。由於 可以是任意的函數， 定义 设有流形 M 代表（连续/光滑/有某些边界条件等的）函数 φ 以及泛函 F： , 则F的泛函导数，而前者则对一个连续函数（可视为无穷维向量）求微分。泛函导数是方向导数的推广。使之能更準確描述分子的電子雲： 其中 由上節的公式可得 故所求泛函導數為 将函数表示成泛函 最后，著名的希尔伯特空间是巴拿赫空间的特例。它在 f是一个指定的函数（比如说狄拉克δ函数）时也应该成立。) 以上公式可推廣到高維，更正式的处理允许将普通微积分和数学分析的定理推广为泛函分析中对应的定理，因此，（見库仑势能泛函。則泛函可寫成 其中向量 ，当函数空间是一个巴拿赫空间时, 泛函导数就是著名的Fréchet导数, 而这在更一般的局部凸空间上使用加托導數。 故電子－電子庫侖勢能泛函 [ρ] 的導數為 且其二階泛函導數為 魏茨泽克动能泛函 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 微分学 微分算子 泛函分析