在数学和理论物理中,泛函导数是方向导数的推广。后者对一个有限维向量求微分,而前者则对一个连续函数(可视为无穷维向量)求微分。它们都可以认为是简单的一元微积分中导数的扩展。数学里专门研究泛函导数的分支是泛函分析。
定义
设有流形 M 代表(连续/光滑/有某些边界条件等的)函数 φ 以及泛函 F:
- ,
则F的泛函导数,记为 ,是一个满足以下条件的分布:
对任何测量函数 f:
用 的一次变分 代替 就得到 的一次变分 ;
在物理学中,通常用狄拉克δ函数 ,而不是一般的测试函数 , 来求出点 处的泛函导数(这是整个泛函变分的关键点,就像偏导数是梯度的一个分量):
-
这适用于 可以展开成 的级数时 (或者至少能展为1阶). 但是这一表达在数学上并不严格,因为 一般而言并未定义。
正式表述
性质
与函数的导数类似,泛函导数满足下列的性质:(其中 F[ρ] 和 G[ρ] 为两个泛函)
-
- 其中 λ, μ 皆为常数。
-
- 若 F 和 G 为两个泛函,则[3]
-
- 若当中的 G 为一个普通的可导函数 g,则上式化为[4]
-
δ函数作为测量函数
上面给出的定义是基于一种对所有测量函数 f都成立的关系,因此有人可能会想,它在 f是一个指定的函数(比如说狄拉克δ函数)时也应该成立。但是,δ函数不是一个合理的测量函数。
在定义中,泛函导数描述了整个函数 发生微小变化时,泛函 如何变化。其中, 的变化量的具体形式没有指明,
泛函导数的求法
公式
给定泛函
-
及在积分区域的边界上恒为零的函数 ϕ(r),由定义可得:
-
其中第二行用到了 f 的全微分, ∂f /∂∇ρ 为标量对向量的导数。[Note 1] 第三行则用到了散度的积法则。第四行由高斯散度定理及边界上 ϕ=0 的条件得到。由于 ϕ 可以是任意的函数,由变分法基本引理可知,所求泛函导数为
其中 ρ = ρ(r) 且 f = f (r, ρ, ∇ρ)。只要 F[ρ] 具有本节首段的形式,上述公式就适用。对于其他的泛函形式,可由定义出发,求出其泛函导数。(见库仑势能泛函。)
以上公式可推广到高维,并且有其他高阶导数的情况。则泛函可写成
-
其中向量 r ∈ ℝn,而 ∇(i) 为一个张量,其 ni 个分量分别为 i 阶微分算子
- [Note 2]
与上面类似,由泛函导数的定义可知:
-
式中,张量 具有 ni 个分量,各为 f 对 ρ 偏导数之偏导数,即:
-
并定义张量的标量积为
- [Note 3]
例子
托马斯-费米动能泛函
1927年的托马斯-费米模型对于无相互作用的单一电子云使用了动能泛函是密度泛函理论关于电子结构的第一次尝试
-
只与电子密度有关 并且不依赖于其梯度, Laplacian, 或者其他更高阶的微分 (像这样的泛函被称为是“局部的”). 因此,
-
库仑势能泛函
托马斯和费米利用了以下库仑势能泛函来描述电子与核之间的电势
-
由泛函导数的定义,
-
故
-
至于电子与电子间的相互作用,由以下库仑势能泛函描述:
-
由定义,
-
式末的两个积分相等,因为可以交换第二个积分中 r 和 r′ 两个变数,而不改变积分的值。因此,
-
故电子-电子库仑势能泛函 J[ρ] 的导数为[5]
-
且其二阶泛函导数为
-
魏茨泽克动能泛函
1935 年,魏茨泽克提出,在托马斯-费米动能泛函中添加一项梯度修正,使之能更准确描述分子的电子云:
-
其中
-
由上节的公式可得
-
故所求泛函导数为[6]
-
将函数表示成泛函
最后,注意到任何函数都可以以积分的形式表示成一个泛函。例如,
-
这个泛函只依赖于 ,像上面两个例子一样(就是说,它们都是“局部的”)。因此
-
熵
离散随机变量的熵是概率质量函数的一个泛函
-
于是
-
最后,
-
指数
令
-
以 函数作为测量函数
-
因此
-
注释
- ^ 在三维笛卡尔坐标系中,
-
- ^ 例如,对于三维 (n = 3) 和二阶 (i = 2) 导数,张量 ∇(2) 的分量为
-
- ^ 例如,当 n = 3 及 i = 2时,张量的标量积为
-
参考来源