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

定义
--

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

F\colon M\rightarrow {\mathbb {R}}\quad {\mbox{or}}\quad F\colon M\rightarrow {\mathbb {C}},
则*F*的**泛函导数**，记为{\delta F}/{\delta \varphi },是一个满足以下条件的分布：

对任何测量函数 *f*:

  

{\begin{aligned}\left\langle {\frac {\delta F[\varphi (x)]}{\delta \varphi (x)}},f(x)\right\rangle &=\int {\frac {\delta F[\varphi (x)]}{\delta \varphi (x')}}f(x')dx'\\&=\lim \_{{\varepsilon \to 0}}{\frac {F[\varphi (x)+\varepsilon f(x)]-F[\varphi (x)]}{\varepsilon }}\\&=\left.{\frac {d}{d\epsilon }}F[\varphi +\epsilon f]\right|\_{{\epsilon =0}}.\end{aligned}}

用 \varphi  的一次变分 \delta \varphi  代替 f 就得到 F 的一次变分 \delta F；

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

{\frac {\delta F[\varphi (x)]}{\delta \varphi (y)}}=\lim \_{{\varepsilon \to 0}}{\frac {F[\varphi (x)+\varepsilon \delta (x-y)]-F[\varphi (x)]}{\varepsilon }}.
这适用于F[\varphi (x)+\varepsilon f(x)] 可以展开成\varepsilon 的级数時 (或者至少能展为1阶). 但是这一表达在数学上并不严格,因为 F[\varphi (x)+\varepsilon \delta (x-y)]一般而言并未定义。

正式表述
----

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

性質
--

與函數的導數類似，泛函導數滿足下列的性質：（其中 *F*[*ρ*] 和 *G*[*ρ*] 為兩個泛函）

* 線性：

{\displaystyle {\frac {\delta (\lambda F+\mu G)[\rho ]}{\delta \rho (x)}}=\lambda {\frac {\delta F[\rho ]}{\delta \rho (x)}}+\mu {\frac {\delta G[\rho ]}{\delta \rho (x)}},}
其中 *λ*, *μ* 皆為常數。
* 積法則：

{\displaystyle {\frac {\delta (FG)[\rho ]}{\delta \rho (x)}}={\frac {\delta F[\rho ]}{\delta \rho (x)}}G[\rho ]+F[\rho ]{\frac {\delta G[\rho ]}{\delta \rho (x)}}\,,}
* 鏈式法則：

若 *F* 和 *G* 為兩個泛函，則
{\displaystyle \displaystyle {\frac {\delta F[G[\rho ]]}{\delta \rho (y)}}=\int dx{\frac {\delta F[G(\rho )]}{\delta G[\rho (x)]}}\ {\frac {\delta G[\rho ]}{\delta \rho (y)}}\ .}
若當中的 *G* 為一個普通的可導函數 *g*，則上式化為
{\displaystyle \displaystyle {\frac {\delta F[g(\rho )]}{\delta \rho (y)}}={\frac {\delta F[g(\rho )]}{\delta g[\rho (x)]}}\ {\frac {dg(\rho )}{d\rho (y)}}\ .}

δ函数作为测量函数
---------

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

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

泛函導數的求法
-------

### 公式

給定泛函 

{\displaystyle F[\rho ]=\int f({\boldsymbol {r}},\rho ({\boldsymbol {r}}),\nabla \rho ({\boldsymbol {r}}))\,d{\boldsymbol {r}},}
及在積分區域的邊界上恆為零的函數 *ϕ*(***r***)，由定義可得：

{\displaystyle {\begin{aligned}\int {\frac {\delta F}{\delta \rho ({\boldsymbol {r}})}}\,\phi ({\boldsymbol {r}})\,d{\boldsymbol {r}}&=\left[{\frac {d}{d\varepsilon }}\int f({\boldsymbol {r}},\rho +\varepsilon \phi ,\nabla \rho +\varepsilon \nabla \phi )\,d{\boldsymbol {r}}\right]\_{\varepsilon =0}\\&=\int \left({\frac {\partial f}{\partial \rho }}\,\phi +{\frac {\partial f}{\partial \nabla \rho }}\cdot \nabla \phi \right)d{\boldsymbol {r}}\\&=\int \left[{\frac {\partial f}{\partial \rho }}\,\phi +\nabla \cdot \left({\frac {\partial f}{\partial \nabla \rho }}\,\phi \right)-\left(\nabla \cdot {\frac {\partial f}{\partial \nabla \rho }}\right)\phi \right]d{\boldsymbol {r}}\\&=\int \left[{\frac {\partial f}{\partial \rho }}\,\phi -\left(\nabla \cdot {\frac {\partial f}{\partial \nabla \rho }}\right)\phi \right]d{\boldsymbol {r}}\\&=\int \left({\frac {\partial f}{\partial \rho }}-\nabla \cdot {\frac {\partial f}{\partial \nabla \rho }}\right)\phi ({\boldsymbol {r}})\ d{\boldsymbol {r}}\,.\end{aligned}}}
其中第二行用到了 *f* 的全微分， *∂f* /*∂∇**ρ* 為標量對向量的導數。 第三行則用到了散度的積法則。第四行由高斯散度定理及邊界上 *ϕ*=0 的條件得到。由於 *ϕ* 可以是任意的函數，由變分法基本引理可知，所求泛函導數為

{\displaystyle {\frac {\delta F}{\delta \rho ({\boldsymbol {r}})}}={\frac {\partial f}{\partial \rho }}-\nabla \cdot {\frac {\partial f}{\partial \nabla \rho }}}
其中 *ρ* = *ρ*(***r***) 且 *f* = *f* (***r***, *ρ*, ∇*ρ*)。只要 *F*[*ρ*] 具有本節首段的形式，上述公式就適用。對於其他的泛函形式，可由定義出發，求出其泛函導數。（見库仑势能泛函。)

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

{\displaystyle F[\rho ({\boldsymbol {r}})]=\int f({\boldsymbol {r}},\rho ({\boldsymbol {r}}),\nabla \rho ({\boldsymbol {r}}),\nabla ^{(2)}\rho ({\boldsymbol {r}}),\dots ,\nabla ^{(N)}\rho ({\boldsymbol {r}}))\,d{\boldsymbol {r}},}
其中向量 ***r*** ∈ ℝ*n*，而 ∇(*i*) 為一個張量，其 *ni* 個分量分別為 *i* 階微分算子 

{\displaystyle \left[\nabla ^{(i)}\right]\_{\alpha \_{1}\alpha \_{2}\cdots \alpha \_{i}}={\frac {\partial ^{\,i}}{\partial r\_{\alpha \_{1}}\partial r\_{\alpha \_{2}}\cdots \partial r\_{\alpha \_{i}}}}\qquad \qquad {\text{where}}\quad \alpha \_{1},\alpha \_{2},\cdots ,\alpha \_{i}=1,2,\cdots ,n\ .}
與上面類似，由泛函導數的定義可知：

{\displaystyle {\begin{aligned}{\frac {\delta F[\rho ]}{\delta \rho }}&{}={\frac {\partial f}{\partial \rho }}-\nabla \cdot {\frac {\partial f}{\partial (\nabla \rho )}}+\nabla ^{(2)}\cdot {\frac {\partial f}{\partial \left(\nabla ^{(2)}\rho \right)}}+\dots +(-1)^{N}\nabla ^{(N)}\cdot {\frac {\partial f}{\partial \left(\nabla ^{(N)}\rho \right)}}\\&{}={\frac {\partial f}{\partial \rho }}+\sum \_{i=1}^{N}(-1)^{i}\nabla ^{(i)}\cdot {\frac {\partial f}{\partial \left(\nabla ^{(i)}\rho \right)}}\ .\end{aligned}}}
式中，張量 {\displaystyle {\frac {\partial f}{\partial \left(\nabla ^{(i)}\rho \right)}}} 具有 *ni* 個分量，各為 *f* 對 *ρ* 偏導數之偏導數，即：

{\displaystyle \left[{\frac {\partial f}{\partial \left(\nabla ^{(i)}\rho \right)}}\right]\_{\alpha \_{1}\alpha \_{2}\cdots \alpha \_{i}}={\frac {\partial f}{\partial \rho \_{\alpha \_{1}\alpha \_{2}\cdots \alpha \_{i}}}}\qquad \qquad {\text{where}}\quad \rho \_{\alpha \_{1}\alpha \_{2}\cdots \alpha \_{i}}\equiv {\frac {\partial ^{\,i}\rho }{\partial r\_{\alpha \_{1}}\,\partial r\_{\alpha \_{2}}\cdots \partial r\_{\alpha \_{i}}}}\ ,}
並定義張量的純量積為

{\displaystyle \nabla ^{(i)}\cdot {\frac {\partial f}{\partial \left(\nabla ^{(i)}\rho \right)}}=\sum \_{\alpha \_{1},\alpha \_{2},\cdots ,\alpha \_{i}=1}^{n}\ {\frac {\partial ^{\,i}}{\partial r\_{\alpha \_{1}}\,\partial r\_{\alpha \_{2}}\cdots \partial r\_{\alpha \_{i}}}}\ {\frac {\partial f}{\partial \rho \_{\alpha \_{1}\alpha \_{2}\cdots \alpha \_{i}}}}\ .} 
### 例子

#### 托马斯-费米动能泛函

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

T\_{{\mathrm {TF}}}[\rho ]=C\_{{\mathrm {F}}}\int \rho ^{{5/3}}({\mathbf {r}})\,d{\mathbf {r}}.
T\_{{\mathrm {TF}}}[\rho ] 只与电子密度有关 \rho ({\mathbf {r}}) 并且不依赖于其梯度, Laplacian, 或者其他更高阶的微分 (像这样的泛函被称为是"局部的"). 因此，

{\frac {\delta T\_{{\mathrm {TF}}}[\rho ]}{\delta \rho }}=C\_{{\mathrm {F}}}{\frac {\partial \rho ^{{5/3}}({\mathbf {r}})}{\partial \rho ({\mathbf {r}})}}={\frac {5}{3}}C\_{{\mathrm {F}}}\rho ^{{2/3}}({\mathbf {r}}).
#### 库仑势能泛函

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

{\displaystyle V[\rho ]=\int {\frac {\rho ({\boldsymbol {r}})}{|{\boldsymbol {r}}|}}\ d{\boldsymbol {r}}.}
由泛函導數的定義，

{\displaystyle {\begin{aligned}\int {\frac {\delta V}{\delta \rho ({\boldsymbol {r}})}}\ \phi ({\boldsymbol {r}})\ d{\boldsymbol {r}}&{}=\left[{\frac {d}{d\varepsilon }}\int {\frac {\rho ({\boldsymbol {r}})+\varepsilon \phi ({\boldsymbol {r}})}{|{\boldsymbol {r}}|}}\ d{\boldsymbol {r}}\right]\_{\varepsilon =0}\\&{}=\int {\frac {1}{|{\boldsymbol {r}}|}}\,\phi ({\boldsymbol {r}})\ d{\boldsymbol {r}}\,.\end{aligned}}}
故

{\displaystyle {\frac {\delta V}{\delta \rho ({\boldsymbol {r}})}}={\frac {1}{|{\boldsymbol {r}}|}}\ .}
至於電子與電子間的相互作用，由以下庫侖勢能泛函描述：

{\displaystyle J[\rho ]={\frac {1}{2}}\iint {\frac {\rho (\mathbf {r} )\rho (\mathbf {r} ')}{\vert \mathbf {r} -\mathbf {r} '\vert }}\,d\mathbf {r} d\mathbf {r} '\,.}
由定義，

{\displaystyle {\begin{aligned}\int {\frac {\delta J}{\delta \rho ({\boldsymbol {r}})}}\phi ({\boldsymbol {r}})d{\boldsymbol {r}}&{}=\left[{\frac {d\ }{d\epsilon }}\,J[\rho +\epsilon \phi ]\right]\_{\epsilon =0}\\&{}=\left[{\frac {d\ }{d\epsilon }}\,\left({\frac {1}{2}}\iint {\frac {[\rho ({\boldsymbol {r}})+\epsilon \phi ({\boldsymbol {r}})]\,[\rho ({\boldsymbol {r}}')+\epsilon \phi ({\boldsymbol {r}}')]}{\vert {\boldsymbol {r}}-{\boldsymbol {r}}'\vert }}\,d{\boldsymbol {r}}d{\boldsymbol {r}}'\right)\right]\_{\epsilon =0}\\&{}={\frac {1}{2}}\iint {\frac {\rho ({\boldsymbol {r}}')\phi ({\boldsymbol {r}})}{\vert {\boldsymbol {r}}-{\boldsymbol {r}}'\vert }}\,d{\boldsymbol {r}}d{\boldsymbol {r}}'+{\frac {1}{2}}\iint {\frac {\rho ({\boldsymbol {r}})\phi ({\boldsymbol {r}}')}{\vert {\boldsymbol {r}}-{\boldsymbol {r}}'\vert }}\,d{\boldsymbol {r}}d{\boldsymbol {r}}'\\\end{aligned}}}
式末的兩個積分相等，因為可以交換第二個積分中 ***r*** 和 ***r′*** 兩個變數，而不改變積分的值。因此，

{\displaystyle \int {\frac {\delta J}{\delta \rho ({\boldsymbol {r}})}}\phi ({\boldsymbol {r}})d{\boldsymbol {r}}=\int \left(\int {\frac {\rho ({\boldsymbol {r}}')}{\vert {\boldsymbol {r}}-{\boldsymbol {r}}'\vert }}d{\boldsymbol {r}}'\right)\phi ({\boldsymbol {r}})d{\boldsymbol {r}}}
故電子－電子庫侖勢能泛函 *J*[*ρ*] 的導數為

{\displaystyle {\frac {\delta J}{\delta \rho ({\boldsymbol {r}})}}=\int {\frac {\rho ({\boldsymbol {r}}')}{\vert {\boldsymbol {r}}-{\boldsymbol {r}}'\vert }}d{\boldsymbol {r}}'\,.}
且其二階泛函導數為

{\displaystyle {\frac {\delta ^{2}J[\rho ]}{\delta \rho (\mathbf {r} ')\delta \rho (\mathbf {r} )}}={\frac {\partial }{\partial \rho (\mathbf {r} ')}}\left({\frac {\rho (\mathbf {r} ')}{\vert \mathbf {r} -\mathbf {r} '\vert }}\right)={\frac {1}{\vert \mathbf {r} -\mathbf {r} '\vert }}.}
#### 魏茨泽克动能泛函

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

{\displaystyle T\_{\mathrm {W} }[\rho ]={\frac {1}{8}}\int {\frac {\nabla \rho (\mathbf {r} )\cdot \nabla \rho (\mathbf {r} )}{\rho (\mathbf {r} )}}d\mathbf {r} =\int t\_{\mathrm {W} }\ d\mathbf {r} \,,}
其中

{\displaystyle t\_{\mathrm {W} }\equiv {\frac {1}{8}}{\frac {\nabla \rho \cdot \nabla \rho }{\rho }}\qquad {\text{and}}\ \ \rho =\rho ({\boldsymbol {r}})\ .}
由上節的公式可得

{\displaystyle {\begin{aligned}{\frac {\delta T\_{\mathrm {W} }}{\delta \rho ({\boldsymbol {r}})}}&={\frac {\partial t\_{\mathrm {W} }}{\partial \rho }}-\nabla \cdot {\frac {\partial t\_{\mathrm {W} }}{\partial \nabla \rho }}\\&=-{\frac {1}{8}}{\frac {\nabla \rho \cdot \nabla \rho }{\rho ^{2}}}-\left({\frac {1}{4}}{\frac {\nabla ^{2}\rho }{\rho }}-{\frac {1}{4}}{\frac {\nabla \rho \cdot \nabla \rho }{\rho ^{2}}}\right)\qquad {\text{where}}\ \ \nabla ^{2}=\nabla \cdot \nabla \ ,\end{aligned}}}
故所求泛函導數為

{\displaystyle {\frac {\delta T\_{\mathrm {W} }}{\delta \rho ({\boldsymbol {r}})}}=\ \ \,{\frac {1}{8}}{\frac {\nabla \rho \cdot \nabla \rho }{\rho ^{2}}}-{\frac {1}{4}}{\frac {\nabla ^{2}\rho }{\rho }}\ .}
#### 将函数表示成泛函

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

\rho ({\mathbf {r}})=\int \rho ({\mathbf {r}}')\delta ({\mathbf {r}}-{\mathbf {r}}')\,d{\mathbf {r}}'.
这个泛函只依赖于\rho ，像上面两个例子一样(就是说，它们都是"局部的")。因此

{\frac {\delta \rho ({\mathbf {r}})}{\delta \rho ({\mathbf {r}}')}}={\frac {\partial \rho ({\mathbf {r}}')\delta ({\mathbf {r}}-{\mathbf {r}}')}{\partial \rho ({\mathbf {r}}')}}=\delta ({\mathbf {r}}-{\mathbf {r}}').
#### 熵

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

{\begin{aligned}H[p(x)]=-\sum \_{x}p(x)\log p(x)\end{aligned}}
于是

{\begin{aligned}\left\langle {\frac {\delta H}{\delta p}},\phi \right\rangle &{}=\sum \_{x}{\frac {\delta H[p(x)]}{\delta p(x')}}\,\phi (x')\\&{}=\left.{\frac {d}{d\epsilon }}H[p(x)+\epsilon \phi (x)]\right|\_{{\epsilon =0}}\\&{}=-{\frac {d}{d\varepsilon }}\left.\sum \_{x}[p(x)+\varepsilon \phi (x)]\log[p(x)+\varepsilon \phi (x)]\right|\_{{\varepsilon =0}}\\&{}=\displaystyle -\sum \_{x}[1+\log p(x)]\phi (x)\\&{}=\left\langle -[1+\log p(x)],\phi \right\rangle .\end{aligned}}
最后，

{\frac {\delta H}{\delta p}}=-1-\log p(x).
#### 指数

令

F[\varphi (x)]=e^{{\int \varphi (x)g(x)dx}}.
以\delta 函数作为测量函数

{\begin{aligned}{\frac {\delta F[\varphi (x)]}{\delta \varphi (y)}}&{}=\lim \_{{\varepsilon \to 0}}{\frac {F[\varphi (x)+\varepsilon \delta (x-y)]-F[\varphi (x)]}{\varepsilon }}\\&{}=\lim \_{{\varepsilon \to 0}}{\frac {e^{{\int (\varphi (x)+\varepsilon \delta (x-y))g(x)dx}}-e^{{\int \varphi (x)g(x)dx}}}{\varepsilon }}\\&{}=e^{{\int \varphi (x)g(x)dx}}\lim \_{{\varepsilon \to 0}}{\frac {e^{{\varepsilon \int \delta (x-y)g(x)dx}}-1}{\varepsilon }}\\&{}=e^{{\int \varphi (x)g(x)dx}}\lim \_{{\varepsilon \to 0}}{\frac {e^{{\varepsilon g(y)}}-1}{\varepsilon }}\\&{}=e^{{\int \varphi (x)g(x)dx}}g(y).\end{aligned}}
因此

{\frac {\delta F[\varphi (x)]}{\delta \varphi (y)}}=g(y)F[\varphi (x)].

参考来源
----

1. ↑  （Parr & Yang 1989，p. 247, Eq. A.3）.
2. ↑  （Parr & Yang 1989，p. 247, Eq. A.4）.
3. ↑  （Greiner & Reinhardt 1996，p. 38, Eq. 6）.
4. ↑  （Greiner & Reinhardt 1996，p. 38, Eq. 7）.
5. ↑  （Parr & Yang 1989，p. 248, Eq. A.11）.
6. ↑  （Parr & Yang 1989，p. 247, Eq. A.9）.

* 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.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
泛函分析 |
| --- |
|  |
| 集合 / 子集 | 
* 绝对凸集
* 吸收集
* 平衡集
* 有界集 (拓扑向量空间)（英语：）
* 凸集
* 径向集
* 星形域
* 对称集
* 凸锥（英语：）

 |
|  |
| 拓撲向量空間 | 
* 巴拿赫空间
* 欧几里得空间
* 希尔伯特空间
* 索伯列夫空間
* 局部凸（英语：）
* 賦範向量空間 (范数)
* 拟赋范空间
* 自反空间
* 拓扑张量积（英语：） (希尔伯特空间中)
* 速降函数空间

 |
|  |
| 映射拓扑 | 
* 对偶空间
* 算子拓扑（英语：）
* 弱拓扑（英语：）
* 强拓扑（英语：）
* 拓扑的一致收敛（英语：）

 |
|  |
| 线性算子 | 
* 伴随
* 双线性
	+ 形式
* 有界 / 无界
* 连续线性
* 紧
* Fredholm（英语：）
* 希尔伯特-施密特
* 泛函
* 正规
* 核型（英语：）
* 自伴
* 严格奇异算子（英语：）
* 迹类
* 有限秩
* 转置（英语：）
* 酉 / 幺正

 |
|  |
| 集合运算 | 
* 代数内部
* 内部
* 閔可夫斯基和
* 极性集

 |
|  |
| 算子理论（英语：） | 
* 巴拿赫代数（英语：）
* C\*-代数
* 谱 (泛函分析) (谱半径)
* 谱理论（英语：）(谱定理)
* 极分解
* 奇异值分解

 |
|  |
| 定理 | 
* 阿尔泽拉-阿斯科利定理
* 巴拿赫-阿勞格魯定理
* 巴拿赫-马祖尔定理（英语：）
* 贝尔纲定理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭值域定理
* 閉圖像定理
* 哈恩-巴拿赫定理
* 角谷不动点定理
* 不变子空间问题
* Riesz延拓定理（英语：）
* 开映射定理
* 拉克斯-米尔格拉姆定理
* 帕塞瓦尔恒等式
* 肖德尔不动点定理（英语：）

 |
|  |
| 分析 | 
* 导数 (加托导数
* 泛函导数)
* 积分 (博赫纳积分
* 佩蒂斯积分（英语：）)
* 泛函演算（英语：） (波莱尔泛函演算（英语：）
* 连续泛函演算（英语：）)
* 反函数定理
* 向量测度
* 弱可测函数

 |

 |