打开主菜单

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

目录

定义编辑

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

 ,

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

对任何测量函数 f:


 

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

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

 

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

正式表述编辑

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

性質编辑

與函數的導數類似,泛函導數滿足下列的性質:(其中 F[ρ] 和 G[ρ] 為兩個泛函)

 
其中 λ, μ 皆為常數。
  • 積法則:[2]
 
  • 鏈式法則:
FG 為兩個泛函,則[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, 或者其他更高阶的微分 (像这样的泛函被称为是“局部的”). 因此,

 

库仑势能泛函编辑

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

 

由泛函導數的定義,

 

 

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

 

由定義,

 

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

 

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

 

且其二階泛函導數為

 

魏茨泽克动能泛函编辑

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

 

其中

 

由上節的公式可得

 

故所求泛函導數為[6]

 

将函数表示成泛函编辑

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

 

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

 

编辑

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

 

于是

 

最后,

 

指数编辑

 

 函数作为测量函数

 

因此

 

注释编辑

  1. ^ 在三維笛卡尔坐标系中,
     
  2. ^ 例如,對於三維 (n = 3) 和二階 (i = 2) 導數,張量 (2) 的分量為
     
  3. ^ 例如,當 n = 3i = 2時,張量的純量積為
     

参考来源编辑

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