文章目录
2.6 Extension to finite temperature
2.6扩展到有限温度
到目前为止,我们一直关注零温度,从而关注多体系统的基态能量。对于有限的温度,量子系统不是最小化能量,而是最小化自由能。因此,具有更高能量的状态也将做出贡献,因此使用(多体)密度矩阵P(N)来描述系统变得更方便,其中在这里和下文中,我们使用上标(N)来强调N体量。密度矩阵是Hilbert空间上具有单位迹的非负自伴算子。
根据密度矩阵,自由能由
F
[
P
(
N
)
]
=
Tr
P
(
N
)
(
H
+
β
−
1
ln
P
(
N
)
)
,
(2.6.1)
F[P^{(N)}]=\operatorname{Tr}P^{(N)}(H+\beta^{-1}\ln P^{(N)}),\tag{2.6.1}
F[P(N)]=TrP(N)(H+β−1lnP(N)),(2.6.1)
其中β是逆温度,
β
−
1
T
r
P
(
N
)
l
n
P
(
N
)
β^{−1} Tr P^{(N)}ln P^{(N)}
β−1TrP(N)lnP(N)是冯·诺依曼熵,而
T
r
P
(
N
)
H
Tr P^{(N)}H
TrP(N)H是能量。注意,在零温度的极限下,β→∞,上述自由能减少到能量
T
r
P
(
N
)
H
Tr P^{(N)}H
TrP(N)H。有限温度系统的状态由最小化自由能
F
[
P
(
N
)
]
F[P^{(N)}]
F[P(N)]来确定,其约束条件是P(N)是自伴的、半正定的,并且它的迹是1。
由于P(N)是自伴的,我们可以把它的特征分解写成
P
(
N
)
=
∑
i
f
i
∣
Ψ
i
⟩
⟨
Ψ
i
∣
,
(2.6.2)
P^{(N)}=\sum_if_i|\Psi_i\rangle\langle\Psi_i|,\tag{2.6.2}
P(N)=i∑fi∣Ψi⟩⟨Ψi∣,(2.6.2)
其中{fi}称为职业号码。由于P(N)是非负的并且Tr P(N)=1,我们有
0
≤
f
i
≤
1
and
∑
i
f
i
=
1.
(2.6.3)
0\leq f_i\leq1\quad\text{and}\quad\sum_if_i=1.\tag{2.6.3}
0≤fi≤1andi∑fi=1.(2.6.3)
下面我们给出能量和熵:
从下面两个公式可以发现自由能等于能量和熵的和。
(2.6.4)
\tag{2.6.4}
(2.6.4)
(2.6.5)
\tag{2.6.5}
(2.6.5)
注意,对于P(N)是与波函数
∣
Φ
⟩
|\Phi\rangle
∣Φ⟩相关联的投影算子的特殊情况,即
P
(
N
)
=
∣
Φ
⟩
⟨
Φ
∣
P^{(N)}=|\Phi\rangle\langle\Phi|
P(N)=∣Φ⟩⟨Φ∣,我们有
T
r
P
(
N
)
H
=
<
Φ
∣
H
∣
Φ
>
Tr P^{(N)}H=<\Phi|H|\Phi>
TrP(N)H=<Φ∣H∣Φ>和
T
r
P
(
N
)
l
n
P
(
N
)
=
0
Tr P^{(N)}ln P^{(N)}=0
TrP(N)lnP(N)=0,因此自由能减少到波函数
∣
Φ
⟩
|\Phi\rangle
∣Φ⟩的能量。然而,熵项偏好
f
i
f_i
fi严格地介于0和1之间,以便使
f
i
l
n
f
i
f_i ln f_i
filnfi为负,因此有限温度下的最小化密度矩阵通常不是投影仪(即,
f
i
f_i
fi为0或1)。
(2.6.1)极小化的欧拉——拉格朗日方程是
H
+
β
−
1
(
ln
P
(
N
)
+
I
)
−
λ
I
=
0
,
(2.6.6)
H+\beta^{-1}(\ln P^{(N)}+I)-\lambda I=0,\tag{2.6.6}
H+β−1(lnP(N)+I)−λI=0,(2.6.6)
这里λ是约束TRP(N)=1的拉格朗日乘子。因此,最小化器由下式给出
P
β
(
N
)
=
1
Z
exp
(
−
β
H
)
,
(2.6.7)
P_\beta^{(N)}=\frac{1}{Z}\exp(-\beta H),\tag{2.6.7}
Pβ(N)=Z1exp(−βH),(2.6.7)
其中Z是归一化常数Z=Tr exp(-β H),使得
T
r
P
(
N
)
β
=
1
Tr P^{(N)}β=1
TrP(N)β=1;Z在物理学术语中被称为配分函数。
与零温度情况类似,有限温度DFT背后的思想是将自由能视为单体电子密度的泛函,单体电子密度由密度矩阵给出为
ρ
(
r
)
=
∑
σ
N
∫
P
(
N
)
(
(
r
,
σ
)
,
x
2
,
…
,
x
N
;
(
r
,
σ
)
,
x
2
,
…
,
x
N
)
d
x
2
⋯
d
x
N
.
(2.6.8)
\rho(r)=\sum_\sigma N\int P^{(N)}((r,\sigma),x_2,\ldots,x_N;(r,\sigma),x_2,\ldots,x_N)\mathrm{~d}x_2\cdots\mathrm{~d}x_N.\tag{2.6.8}
ρ(r)=σ∑N∫P(N)((r,σ),x2,…,xN;(r,σ),x2,…,xN) dx2⋯ dxN.(2.6.8)
遵循约束最小化的过程,我们有
F
=
inf
P
(
N
)
∈
D
N
T
r
(
P
(
N
)
H
)
+
β
−
1
T
r
(
P
(
N
)
ln
P
(
N
)
)
=
inf
ρ
∈
J
N
{
inf
P
(
N
)
∈
D
N
T
r
(
P
(
N
)
H
)
+
β
−
1
T
r
(
P
(
N
)
ln
P
(
N
)
)
}
,
(2.6.9)
\begin{aligned} \text{F}& =\inf_{P^{(N)}\in\mathcal{D}_{N}}\mathrm{Tr}(P^{(N)}H)+\beta^{-1}\mathrm{Tr}(P^{(N)}\ln P^{(N)}) \\ &=\inf_{\rho\in\mathcal{J}_N}\left\{\inf_{P^{(N)}\in\mathcal{D}_N}\mathrm{Tr}(P^{(N)}H)+\beta^{-1}\mathrm{Tr}(P^{(N)}\ln P^{(N)})\right\}, \end{aligned}\tag{2.6.9}
F=P(N)∈DNinfTr(P(N)H)+β−1Tr(P(N)lnP(N))=ρ∈JNinf{P(N)∈DNinfTr(P(N)H)+β−1Tr(P(N)lnP(N))},(2.6.9)
其中
D
N
D_N
DN表示N体密度矩阵的集合。注意,对于任何ρ∈J_N,至少存在一个P(N)给出密度,因为我们可以用
P
(
N
)
=
∣
Ψ
⟩
⟨
Ψ
∣
P^{(N)}=|\Psi\rangle\langle\Psi|
P(N)=∣Ψ⟩⟨Ψ∣和
Ψ
∈
A
N
\Psi∈\mathcal A_N
Ψ∈AN给出密度。因此,约束极小化是很好的定义,我们可以进一步得出
F
=
inf
ρ
∈
J
N
{
F
β
[
ρ
]
+
∫
ρ
V
e
x
t
d
r
}
,
(2.6.10)
F=\inf_{\rho\in\mathcal{J}_N}\left\{\mathcal{F}_\beta[\rho]+\int\rho V_{\mathrm{ext}} \mathrm{d}r\right\},\tag{2.6.10}
F=ρ∈JNinf{Fβ[ρ]+∫ρVextdr},(2.6.10)
其中
F
β
[
ρ
]
\mathcal F_β[ρ]
Fβ[ρ]是仅取决于动能、电子-电子排斥和熵(因此取决于温度)的泛函:
F
β
[
ρ
]
=
inf
P
(
N
)
∈
D
N
P
(
N
)
↦
ρ
(
T
r
P
(
N
)
(
T
+
V
e
e
)
+
β
−
1
T
r
(
P
(
N
)
ln
P
(
N
)
)
)
.
(2.6.11)
\mathcal{F}_\beta[\rho]=\inf\limits_{\substack{P^{(N)}\in\mathcal{D}_N\\P^{(N)}\mapsto\rho}}\left(\mathrm{Tr} P^{(N)}(T+V_{\mathrm{ee}})+\beta^{-1} \mathrm{Tr}(P^{(N)}\ln P^{(N)})\right).\tag{2.6.11}
Fβ[ρ]=P(N)∈DNP(N)↦ρinf(TrP(N)(T+Vee)+β−1Tr(P(N)lnP(N))).(2.6.11)
2.8 周期系统的布里渊区采样
Kohn-Sham DFT也可以应用于具有周期电位的晶体系统。在本节中,我们讨论与布里渊区采样(称为kpoint采样)相关的问题。类似于到目前为止使用的符号,我们使用r∈R3作为实空间中的变量,
k
∈
R
3
k∈\mathbb R^3
k∈R3作为倒数空间中的变量。为了简单起见,我们在本节中只考虑无自旋粒子。根据1.4节的讨论,我们用
L
\mathbb L
L表示Bravais格,用
L
∗
\mathbb L^*
L∗表示它在互易空间中的对偶格。设
Ω
Ω
Ω,
Ω
∗
Ω^*
Ω∗分别为Bravais晶格和第一布里渊区中的晶胞。
Ω
,
Ω
∗
Ω,Ω*
Ω,Ω∗的体积由
∣
Ω
∣
,
∣
Ω
∗
∣
|Ω|,|Ω^*|
∣Ω∣,∣Ω∗∣表示,它们根据
∣
Ω
∗
∣
=
(
2
π
)
3
∣
Ω
∣
.
|\Omega^*|=\frac{(2\pi)^3}{|\Omega|}.
∣Ω∗∣=∣Ω∣(2π)3.
Supercell formulation
超晶胞模型构建
尽管周期系统的大小是无限的,但事实上,认为周期系统只不过是一个“巨型分子”是非常有帮助的,至少在启发式上是这样。换句话说,我们可以用一个有限大小的系统来近似周期系统,该系统分别沿着Bravais晶格向量
a
1
、
a
2
、
a
3
a_1、a_2、a_3
a1、a2、a3具有
N
1
l
、
N
2
l
、
N
3
l
N^l_1、N^l_2、N^l_3
N1l、N2l、N3l个晶胞。这个虚构的系统通常被称为用
Ω
l
Ω^l
Ωl表示的超胞。因此,超晶胞中晶胞的总数为
N
ℓ
=
N
1
ℓ
×
N
2
ℓ
×
N
3
ℓ
.
N^\ell=N_1^\ell\times N_2^\ell\times N_3^\ell.
Nℓ=N1ℓ×N2ℓ×N3ℓ.
假设每个晶胞的电子数为N,系统中的电子总数为
N
N
l
N N^l
NNl。那么Kohn-Sham DFT可以用满足正交性条件的
N
N
l
N N^l
NNl单粒子轨道
{
ψ
i
}
i
=
1
N
N
l
\{ψ_i\}^{NN^l}_{i=1}
{ψi}i=1NNl来表示。每个轨道应满足超胞上的周期性边界条件,即,
ψ
i
(
r
+
a
α
N
α
ℓ
)
=
ψ
i
(
r
)
,
∀
r
∈
Ω
ℓ
,
α
=
1
,
2
,
3.
\psi_i(\boldsymbol{r}+\boldsymbol{a}_\alpha N_\alpha^\ell)=\psi_i(\boldsymbol{r})\ ,\quad\forall\boldsymbol{r}\in\Omega^\ell,\quad\alpha=1,2,3.
ψi(r+aαNαℓ)=ψi(r) ,∀r∈Ωℓ,α=1,2,3.
这种特殊的周期性边界条件称为玻恩-冯-卡门边界条件。相应地,电子密度
ρ
(
r
)
ρ(r)
ρ(r)也可以周期性地扩展到
R
3
R^3
R3。因此,超胞上的Kohn-Sham能量泛函可以写成如前所述:
E
ℓ
[
{
ψ
i
}
]
=
1
2
∫
Ω
ℓ
∑
i
∣
∇
ψ
i
(
r
)
∣
2
d
r
+
∫
Ω
ℓ
V
e
x
t
(
r
)
ρ
(
r
)
d
r
(2.8.1)
E^\ell[\{\psi_i\}]=\frac12\int_{\Omega^\ell}\sum_i\lvert\nabla\psi_i(r)\rvert^2\mathrm{d}r+\int_{\Omega^\ell}V_{\mathrm{ext}}(r)\rho(r)\mathrm{d}r\tag{2.8.1}
Eℓ[{ψi}]=21∫Ωℓi∑∣∇ψi(r)∣2dr+∫ΩℓVext(r)ρ(r)dr(2.8.1)
+
1
2
∫
Ω
ℓ
∫
R
3
ρ
(
r
)
ρ
(
r
′
)
∣
r
−
r
′
∣
d
r
′
d
r
+
E
x
c
ℓ
[
ρ
]
+
E
I
I
ℓ
[
{
R
I
}
]
.
+\frac12\int_{\Omega^\ell}\int_{\mathbb{R}^3}\frac{\rho(\boldsymbol{r})\rho(\boldsymbol{r}^{\prime})}{|\boldsymbol{r}-\boldsymbol{r}^{\prime}|}\mathrm{d}\boldsymbol{r}^{\prime}\mathrm{d}\boldsymbol{r}+E_{\mathrm{xc}}^\ell[\rho]+E_{\mathrm{II}}^\ell[\{\boldsymbol{R}_I\}].
+21∫Ωℓ∫R3∣r−r′∣ρ(r)ρ(r′)dr′dr+Excℓ[ρ]+EIIℓ[{RI}].
这里,交换关联能泛函和原子核排斥能也带有上标
l
l
l,以反映它们是相对于超胞定义的事实。超胞中的基态能量可以变分地获得。
最小化问题(2.8.2)被很好地定义,我们可以预期,当我们接近热力学极限(
Ω
l
Ω^l
Ωl→
R
3
R^3
R3)时,每晶胞的总能量(定义为
E
l
E^l
El/
N
l
N^l
Nl)将对周期系统有一个很好地定义的极限。然而,从这个公式中并不清楚如何简洁地写出热力学极限。
min
{
ψ
i
}
i
=
1
N
N
ℓ
E
ℓ
[
{
ψ
i
}
]
s
.
t
.
∫
Ω
ℓ
ψ
i
∗
(
r
)
ψ
j
(
r
)
d
r
=
δ
i
,
j
,
ρ
(
r
)
=
∑
i
∣
ψ
i
(
r
)
∣
2
(2.8.2)
\begin{aligned}\ \ \ \ \ &\min_{{\{\psi_{i}\}_{i=1}^{NN}\ell}}\quad E^{\ell}[\{\psi_{i}\}]\\&\mathrm{s.t.}\int_{\Omega^\ell}\psi_i^*(\boldsymbol{r})\psi_j(\boldsymbol{r})\mathrm{d}\boldsymbol{r}=\delta_{i,j},\\&\ \rho(\boldsymbol{r})=\sum_i\lvert\psi_i(\boldsymbol{r})\rvert^2\end{aligned}\tag{2.8.2}
{ψi}i=1NNℓminEℓ[{ψi}]s.t.∫Ωℓψi∗(r)ψj(r)dr=δi,j, ρ(r)=i∑∣ψi(r)∣2(2.8.2)
此外,该公式具有两个主要的计算缺点:
首先,Kohn-Sham轨道的数量是
N
N
l
NN^l
NNl。基于对角化的求解器的计算复杂度按O((
N
N
l
NN^l
NNl)
3
^3
3)缩放。
第二,积分的定义域是
Ω
l
Ω^l
Ωl,随着
N
l
N^l
Nl变大,这也变得非常昂贵。
Unit cell formulation
晶胞配方
幸运的是,所有这些问题都可以使用Bloch-Floquet分解来解决。由于外部势相对于晶胞仍然是周期性的,1.4节中的Bloch分解将单轨道指数i分解为两个指数(n,k),如下
ψ
i
(
r
)
:
=
ψ
n
,
k
(
r
)
=
1
N
ℓ
e
i
k
⋅
r
u
n
,
k
(
r
)
,
k
∈
Ω
∗
.
(2.8.3)
\psi_i(\boldsymbol{r}):=\psi_{n,\boldsymbol{k}}(\boldsymbol{r})=\frac1{\sqrt{N^\ell}}e^{\mathrm{i}\boldsymbol{k}\cdot\boldsymbol{r}}u_{n,\boldsymbol{k}}(\boldsymbol{r}),\quad k\in\Omega^*.\tag{2.8.3}
ψi(r):=ψn,k(r)=Nℓ1eik⋅run,k(r),k∈Ω∗.(2.8.3)
这里周期部分
u
n
,
k
(
r
)
u_{n,k}(r)
un,k(r)满足
u
n
,
k
(
r
+
R
)
=
u
n
,
k
(
r
)
,
∀
R
∈
L
(2.8.4)
u_{n,\boldsymbol{k}}(r+R)=u_{n,\boldsymbol{k}}(r),\ \forall R\in \mathbb L\tag{2.8.4}
un,k(r+R)=un,k(r), ∀R∈L(2.8.4)
它是晶胞Ω中的周期性边界条件。为了便于后面的讨论,引入了归一化因子
1
N
ℓ
\frac1{\sqrt{N^\ell}}
Nℓ1。现在我们假设每个k点具有相同数量的轨道,即n=1,…,N.如稍后将看到的,这对应于零温度下的绝缘系统的设置。
对于固定晶胞,Born-von Karman边界条件对相位因子施加了额外的条件,如
e
i
k
⋅
(
r
+
a
α
N
α
ℓ
)
=
e
i
k
⋅
r
,
∀
r
∈
Ω
ℓ
,
α
=
1
,
2
,
3
,
e^{\mathrm{i}\boldsymbol{k}\cdot(\boldsymbol{r}+\boldsymbol{a}_\alpha N_\alpha^\ell)}=e^{\mathrm{i}\boldsymbol{k}\cdot\boldsymbol{r}},\quad\forall\boldsymbol{r}\in\Omega^\ell,\quad\alpha=1,2,3,
eik⋅(r+aαNαℓ)=eik⋅r,∀r∈Ωℓ,α=1,2,3,
或等同地,
e
i
N
α
ℓ
k
⋅
a
α
=
1
,
α
=
1
,
2
,
3.
e^{\mathrm{i}N_\alpha^\ell\boldsymbol{k}\cdot\boldsymbol{a}_\alpha}=1,\quad\alpha=1,2,3.
eiNαℓk⋅aα=1,α=1,2,3.
因此,
k
\boldsymbol k
k不可能是
Ω
∗
Ω^*
Ω∗中的任意点。在不失一般性的情况下,我们假设
N
1
l
、
N
2
l
、
N
3
l
N^l_1、N^l_2、N^l_3
N1l、N2l、N3l都是偶数,并定义集合
K
ℓ
=
{
∑
α
=
1
3
m
α
N
α
ℓ
b
α
∣
m
α
=
−
N
α
ℓ
2
+
1
,
…
,
N
α
ℓ
2
,
α
=
1
,
2
,
3
}
⊂
Ω
∗
.
\mathcal{K}^\ell=\left\{\sum_{\alpha=1}^3\frac{m_\alpha}{N_\alpha^\ell}\boldsymbol{b}_\alpha\Big|m_\alpha=-\frac{N_\alpha^\ell}{2}+1,\ldots,\frac{N_\alpha^\ell}{2},\quad\alpha=1,2,3\right\}\subset\Omega^*.
Kℓ={α=1∑3Nαℓmαbα
mα=−2Nαℓ+1,…,2Nαℓ,α=1,2,3}⊂Ω∗.
则玻恩-冯卡门边界条件要求
k
∈
K
l
k∈K^l
k∈Kl。注意,基数
∣
K
l
∣
=
N
l
|\mathcal K^l|=N^l
∣Kl∣=Nl,因此允许的k个点的总数等于超胞
Ω
l
Ω^l
Ωl中的晶胞数量。
由于
K
l
K^l
Kl是一个离散集,从
ψ
n
,
k
ψ_{n,\boldsymbol k}
ψn,k的正交性条件,我们有
δ
n
′
,
n
δ
k
′
,
k
=
∫
Ω
ℓ
ψ
n
′
,
k
′
∗
(
r
)
ψ
n
,
k
(
r
)
d
r
=
1
N
ℓ
∫
Ω
ℓ
e
i
(
k
−
k
′
)
⋅
r
u
n
′
,
k
′
∗
(
r
)
u
n
,
k
(
r
)
d
r
=
1
N
ℓ
∑
R
∈
L
∫
Ω
e
i
(
k
−
k
′
)
⋅
(
r
+
R
)
u
n
′
,
k
′
∗
(
r
+
R
)
u
n
,
k
(
r
+
R
)
d
r
=
(
1
N
ℓ
∑
R
∈
L
e
i
(
k
−
k
′
)
⋅
R
)
∫
Ω
e
i
(
k
−
k
′
)
⋅
r
u
n
′
,
k
′
∗
(
r
)
u
n
,
k
(
r
)
d
r
=
δ
k
′
,
k
∫
Ω
u
n
′
,
k
′
∗
(
r
)
u
n
,
k
(
r
)
d
r
.
(2.8.5)
\begin{aligned} \delta_{n^{\prime},n}\delta_{\boldsymbol{k}^{\prime},\boldsymbol{k}}& =\int_{\Omega^\ell}\psi_{n^{\prime},\boldsymbol{k}^{\prime}}^*(r)\psi_{n,\boldsymbol{k}}(r)\mathrm{d}r \\ &=\frac1{N^\ell}\int_{\Omega^\ell}e^{\mathrm{i}(\boldsymbol{k}-\boldsymbol{k}^{\prime})\cdot\boldsymbol{r}}u_{n^{\prime},\boldsymbol{k}^{\prime}}^*(r)u_{n,\boldsymbol{k}}(r)\mathrm{d}r \\ &=\frac1{N^\ell}\sum_{\boldsymbol{R}\in\mathcal{L}}\int_\Omega e^{\mathrm{i}(\boldsymbol{k}-\boldsymbol{k}^{\prime})\cdot(\boldsymbol{r}+\boldsymbol{R})}u_{n^{\prime},\boldsymbol{k}^{\prime}}^*(\boldsymbol{r}+\boldsymbol{R})u_{n,\boldsymbol{k}}(\boldsymbol{r}+\boldsymbol{R})\mathrm{d}\boldsymbol{r} \\ &=\left(\frac1{N^\ell}\sum_{\boldsymbol{R}\in\mathbb{L}}e^{\mathrm{i}(\boldsymbol{k}-\boldsymbol{k}^{\prime})\cdot\boldsymbol{R}}\right)\int_\Omega e^{\mathrm{i}(\boldsymbol{k}-\boldsymbol{k}^{\prime})\cdot\boldsymbol{r}}u_{n^{\prime},\boldsymbol{k}^{\prime}}^*(\boldsymbol{r})u_{n,\boldsymbol{k}}(\boldsymbol{r})\mathrm{d}\boldsymbol{r} \\ &=\delta_{\boldsymbol{k}^{\prime},\boldsymbol{k}}\int_{\Omega}u_{n^{\prime},\boldsymbol{k}^{\prime}}^*(\boldsymbol{r})u_{n,\boldsymbol{k}}(\boldsymbol{r})\mathrm{d}\boldsymbol{r}. \end{aligned}\tag{2.8.5}
δn′,nδk′,k=∫Ωℓψn′,k′∗(r)ψn,k(r)dr=Nℓ1∫Ωℓei(k−k′)⋅run′,k′∗(r)un,k(r)dr=Nℓ1R∈L∑∫Ωei(k−k′)⋅(r+R)un′,k′∗(r+R)un,k(r+R)dr=(Nℓ1R∈L∑ei(k−k′)⋅R)∫Ωei(k−k′)⋅run′,k′∗(r)un,k(r)dr=δk′,k∫Ωun′,k′∗(r)un,k(r)dr.(2.8.5)
在这里,我们使用了
u
n
,
k
u_{n,k}
un,k的周期性以及
k
−
k
’
k-k’
k−k’的差异在互易空间中的任何方向上不能相差一个以上的晶格向量的事实。因此,超胞中ψ n,k的正交性条件可以等价地写成晶胞中
u
n
,
k
u_{n,k}
un,k的正交性条件,即,
(2.8.6)
\tag{2.8.6}
(2.8.6)
我们强调,当
k
=
k
’
k=k’
k=k’时,
u
n
,
k
u_{n,k}
un,k 和
u
n
’,
k
’
u_{n’,k’}
un’,k’通常彼此不正交。
现在让我们用
{
u
n
,
k
}
\{u_{n,k}\}
{un,k}重写(2.8.1)中每晶胞的能量。首先,每个晶胞的动能部分是(注意等式两边的归一化因子)
1 N ℓ ∫ Ω ℓ ∑ n , k 1 2 ∣ ∇ ψ n , k ( r ) ∣ 2 d r = 1 N ℓ ∑ k ∫ Ω ∑ n 1 2 ∣ ( ∇ r + i k ) u n , k ( r ) ∣ 2 d r . \frac1{N^\ell}\int_{\Omega^\ell}\sum_{n,\boldsymbol{k}}\frac12|\nabla\psi_{n,\boldsymbol{k}}(\boldsymbol{r})|^2 \mathrm{d}\boldsymbol{r}=\frac1{N^\ell}\sum_{\boldsymbol{k}}\int_\Omega\sum_n\frac12|(\nabla_{r}+\mathrm{i}\boldsymbol{k})u_{n,\boldsymbol{k}}(\boldsymbol{r})|^2 \mathrm{d}\boldsymbol{r}. Nℓ1∫Ωℓn,k∑21∣∇ψn,k(r)∣2dr=Nℓ1k∑∫Ωn∑21∣(∇r+ik)un,k(r)∣2dr.
由于集合KaTeX parse error: Got function '\boldsymbol' with no arguments as superscript at position 3: K^\̲b̲o̲l̲d̲s̲y̲m̲b̲o̲l̲{\ell}是离散布里渊区的均匀网格点的集合, k \boldsymbol k k上的和可以看作 Ω ∗ Ω^* Ω∗中积分的黎曼和,即存在极限
带入上述从而将动能部分写为:
1
∣
Ω
∗
∣
∫
Ω
∗
∫
Ω
∑
n
1
2
∣
(
∇
r
+
i
k
)
u
n
,
k
(
r
)
∣
2
d
r
d
k
.
(2.8.8)
\frac1{|\Omega^*|}\int_{\Omega^*}\int_\Omega\sum_n\frac12|(\nabla_{\boldsymbol{r}}+\mathrm{i}\boldsymbol{k})u_{n,\boldsymbol{k}}(\boldsymbol{r})|^2 \mathrm{d}\boldsymbol{r} \mathrm{d}\boldsymbol{k}.\tag{2.8.8}
∣Ω∗∣1∫Ω∗∫Ωn∑21∣(∇r+ik)un,k(r)∣2drdk.(2.8.8)
(热力学下的)电子密度:
ρ ( r ) = 1 ∣ Ω ∗ ∣ ∫ Ω ∗ ∑ n ∣ u n , k ( r ) ∣ 2 d k , (2.8.9) \rho(\boldsymbol{r})=\frac1{|\Omega^*|}\int_{\Omega^*}\sum_n\lvert u_{n,\boldsymbol{k}}(r)\rvert^2 \mathrm{d}k,\tag{2.8.9} ρ(r)=∣Ω∗∣1∫Ω∗n∑∣un,k(r)∣2dk,(2.8.9)
它是晶胞Ω中的周期函数。由于能量泛函中的所有其他项仅取决于电子密度,因此每个晶胞的能量泛函可以使
{
u
n
,
k
}
\{u_{n,k}\}
{un,k}在热力学极限下简洁地写成如下:
E
[
{
u
n
,
k
}
]
=
1
∣
Ω
∗
∣
∫
Ω
∗
∫
Ω
∑
n
=
1
N
1
2
∣
(
∇
r
+
i
k
)
u
n
,
k
(
r
)
∣
2
d
r
d
k
+
∫
Ω
V
e
x
t
(
r
)
ρ
(
r
)
d
r
+
1
2
∫
Ω
∫
R
3
ρ
(
r
)
ρ
(
r
′
)
∣
r
−
r
′
∣
d
r
′
d
r
+
E
x
c
[
ρ
]
+
E
I
I
[
{
R
I
}
]
.
\begin{gathered} \mathcal{E}[\{u_{n,\mathbf{k}}\}]= \frac1{|\Omega^*|}\int_{\Omega^*}\int_{\Omega}\sum_{n=1}^{N}\frac12|(\nabla_{\boldsymbol{r}}+\mathrm{i}\boldsymbol{k})u_{n,\boldsymbol{k}}(\boldsymbol{r})|^2 \mathrm{d}\boldsymbol{r} \mathrm{d}\boldsymbol{k}+\int_{\Omega}V_{\mathrm{ext}}(\boldsymbol{r})\rho(\boldsymbol{r}) \mathrm{d}\boldsymbol{r} \\ +\frac12\int_\Omega\int_{\mathbb{R}^3}\frac{\rho(\boldsymbol{r})\rho(\boldsymbol{r}^{\prime})}{|r-r^{\prime}|} \mathrm{d}\boldsymbol{r}^{\prime} \mathrm{d}r+E_{\mathrm{xc}}[\rho]+E_{\mathrm{II}}[\{\boldsymbol{R}_I\}]. \end{gathered}
E[{un,k}]=∣Ω∗∣1∫Ω∗∫Ωn=1∑N21∣(∇r+ik)un,k(r)∣2drdk+∫ΩVext(r)ρ(r)dr+21∫Ω∫R3∣r−r′∣ρ(r)ρ(r′)dr′dr+Exc[ρ]+EII[{RI}].
注意,实空间中的所有积分范围都限于晶胞Ω,除了长程库仑相互作用,其中r’变量包括晶胞Ω内的电子密度对静电相互作用的贡献以及其在R3中的所有周期图像。注意,ρ是周期函数,并且在R3上的积分导致发散的Hartree势。然而,这种发散将被Vext中的电子-原子核相互作用和
E
I
I
[
R
I
]
E_{II}[{R_I}]
EII[RI]中的原子核-原子核排斥所抵消。来自原子核的总静电能量和电子密度是明确定义的。这至少对于电荷中性系统是正确的[50]。交换关联泛函Exc[ρ]和原子核排斥能EII也应理解为每晶胞的能量。那么,热力学极限下周期系统的Kohn-Sham DFT可以变分地表述为
min
{
u
n
,
k
}
E
[
{
u
n
,
k
}
]
s
.
t
.
∫
Ω
u
n
′
,
k
∗
(
r
)
u
n
,
k
(
r
)
d
r
=
δ
n
′
,
n
,
ρ
(
r
)
=
1
∣
Ω
∗
∣
∫
Ω
∗
∑
n
∣
u
n
,
k
(
r
)
∣
2
d
k
.
(2.8.11)
\begin{aligned} \operatorname*{min}_{\{u_{n,k}\}}& \mathcal{E}[\{u_{n,\mathbf{k}}\}] \\ \mathbf{s.t.}& \int_\Omega u_{n^{\prime},\boldsymbol{k}}^*(r)u_{n,\boldsymbol{k}}(r) \mathrm{d}r=\delta_{n^{\prime},n}, \\ &\rho(\boldsymbol{r})=\frac{1}{|\Omega^{*}|}\int_{\Omega^{*}}\sum_{n}\lvert u_{n,\boldsymbol{k}}(\boldsymbol{r})\rvert^{2} \mathrm{d}\boldsymbol{k}. \end{aligned}\tag{2.8.11}
{un,k}mins.t.E[{un,k}]∫Ωun′,k∗(r)un,k(r)dr=δn′,n,ρ(r)=∣Ω∗∣1∫Ω∗n∑∣un,k(r)∣2dk.(2.8.11)
上式的欧拉-拉格朗日方程为:
(
H
k
u
n
,
k
)
(
r
)
:
=
(
−
1
2
(
∇
+
i
k
)
2
+
V
e
f
f
[
ρ
]
(
r
)
)
u
n
,
k
(
r
)
=
ε
n
,
k
u
n
,
k
(
r
)
,
r
∈
Ω
,
k
∈
Ω
∗
,
(2.8.12)
\begin{aligned}(H_{\boldsymbol{k}}u_{n,\boldsymbol{k}})(\boldsymbol{r})&:=\left(-\frac12\left(\nabla+\mathrm{i}\boldsymbol{k}\right)^2+V_{\mathrm{eff}}[\rho](\boldsymbol{r})\right)u_{n,\boldsymbol{k}}(\boldsymbol{r})\\&=\varepsilon_{n,\boldsymbol{k}}u_{n,\boldsymbol{k}}(\boldsymbol{r}),\quad\boldsymbol{r}\in\Omega,\quad\boldsymbol{k}\in\Omega^*,\end{aligned}\tag{2.8.12}
(Hkun,k)(r):=(−21(∇+ik)2+Veff[ρ](r))un,k(r)=εn,kun,k(r),r∈Ω,k∈Ω∗,(2.8.12)
服从电子密度的正交性条件和自洽条件。有效电位定义为
V
e
f
f
[
ρ
]
(
r
)
=
V
e
x
t
(
r
)
+
∫
R
3
ρ
(
r
′
)
∣
r
−
r
′
∣
d
r
′
+
V
x
c
[
ρ
]
(
r
)
.
V_{\mathrm{eff}}[\rho](r)=V_{\mathrm{ext}}(r)+\int_{\mathbb{R}^3}\frac{\rho(r')}{|r-r'|} \mathrm{d}r'+V_{\mathrm{xc}}[\rho](r).
Veff[ρ](r)=Vext(r)+∫R3∣r−r′∣ρ(r′)dr′+Vxc[ρ](r).
特别地,如果Vext和ρ是关于Bravais晶格的周期函数,那么Veff[ρ](r)也是周期函数。这证明了前面讨论中的布洛赫分解。
与超胞公式相比,(2.8.11)和(2.8.12)中给出的公式具有主要的计算优势。在布里渊区离散成 N l N^l Nl点后,每个k点对应于仅在晶胞上定义的解耦特征值问题。因此,关于 N l N^l Nl的计算成本从立方缩放减少到线性缩放。这使得即使使用适度的计算资源也能够使用大量的k点进行模拟。式 ( 2.8.12 ) (2.8.12) (2.8.12)中的所有特征值{ε_{n,k}}的集合形成由Kohn-Sham DFT建模的能带结构。
现在我们回到Bloch分解之前的轨道{ ψn,k }。虽然每个ψ n,k都可以在任意有限大小的超胞内进行归一化,但这样的归一化ψ n,k在热力学极限下会弱收敛到零。这是因为ψ n,k不属于L2 ( R3 ),而只是H在R3中的一个广义特征函数.这类似于1.2节中平面波可以看成是动量算符的广义本征函数。为此,我们可以利用Bloch分解来定义广义特征函数,仍然记为{ ψn,k }为(对所有的r∈R3)
(2.8.15)
\tag{2.8.15}
(2.8.15)
与( 2.8.3 )相比,我们降低了归一化因子。由此得到的{ψn,k}在分布意义下满足正交条件:
∫
R
3
ψ
n
′
,
k
′
∗
(
r
)
ψ
n
,
k
(
r
)
d
r
=
∣
Ω
∗
∣
δ
n
′
,
n
δ
(
k
′
−
k
)
.
(2.8.15)
\int_{\mathbb{R}^3}\psi_{n^{\prime},k^{\prime}}^*(r)\psi_{n,k}(r) \mathrm{d}r=|\Omega^*|\delta_{n^{\prime},n}\delta(k^{\prime}-k).\tag{2.8.15}
∫R3ψn′,k′∗(r)ψn,k(r)dr=∣Ω∗∣δn′,nδ(k′−k).(2.8.15)
这暗示了在布里渊区积分时的归一化条件:
1
∣
Ω
∗
∣
∫
Ω
∗
∫
R
3
ψ
n
′
,
k
′
∗
(
r
)
ψ
n
,
k
(
r
)
d
r
d
k
=
δ
n
′
,
n
.
(2.8.16)
\frac1{|\Omega^*|}\int_{\Omega^*}\int_{\mathbb{R}^3}\psi_{n^\prime,\boldsymbol{k}^\prime}^*(\boldsymbol{r})\psi_{n,\boldsymbol{k}}(\boldsymbol{r}) \mathrm{d}\boldsymbol{r} \mathrm{d}\boldsymbol{k}=\delta_{n^\prime,\boldsymbol{n}}.\tag{2.8.16}
∣Ω∗∣1∫Ω∗∫R3ψn′,k′∗(r)ψn,k(r)drdk=δn′,n.(2.8.16)
选择( 2.8.14 )式的另一个好处是电子密度也可以用{ψ_{n,k}}来写:
Kohn-Sham DFT要求能量较低的轨道必须先于能量较高的轨道占据。
到目前为止,我们假设占据轨道的数目N对所有的k一致成立。只有在满足下面的带外隔离度条件时,情况才是如此:
ε
N
,
k
<
ε
N
+
1
,
k
′
∀
k
,
k
′
∈
Ω
∗
.
(2.8.17)
\varepsilon_{N,\boldsymbol{k}}<\varepsilon_{N+1,\boldsymbol{k'}}\quad\forall \boldsymbol{k},\boldsymbol{k'}\in\Omega^*.\tag{2.8.17}
εN,k<εN+1,k′∀k,k′∈Ω∗.(2.8.17)
满足隔离条件的系统称为绝缘系统,其具有的正带隙定义为
E
g
=
(
inf
k
∈
Ω
∗
ε
N
+
1
,
k
)
−
(
sup
k
∈
Ω
∗
ε
N
,
k
)
.
(2.8.18)
E_\mathbf{g}=\left(\inf_{\boldsymbol{k}\in\Omega^*}\varepsilon_{N+1,\boldsymbol{k}}\right)-\left(\sup_{\boldsymbol{k}\in\Omega^*}\varepsilon_{N,\boldsymbol{k}}\right).\tag{2.8.18}
Eg=(k∈Ω∗infεN+1,k)−(k∈Ω∗supεN,k).(2.8.18)
另一方面,当系统的隔离度被破坏时,称该系统为金属系统,并定义带隙Eg为0。在材料科学中,另一个常用术语是半导体体系,它是一种绝缘体系,但具有相对较小的带隙(通常< 1 eV)。因此,这个术语只在数量意义上成立。
对于金属体系,能量较低的轨道必须首先被占据,并且每k个点所占据的轨道数目在整个布里渊区是不均匀的。绝缘和金属系统的处理可以通过引入化学势
μ
\mu
μ来统一,
μ
\mu
μ定义了一组占位数
f
n
,
k
:
=
f
∞
(
ε
n
,
k
−
μ
)
=
{
1
,
ε
n
,
k
≤
μ
,
0
,
ε
n
,
k
>
μ
.
f_{n,\boldsymbol k}:=f_\infty(\varepsilon_{n,\boldsymbol k}-\mu)=\begin{cases}1,&\varepsilon_{\boldsymbol n,\boldsymbol k}\leq\mu,\\0,&\varepsilon_{\boldsymbol n,\boldsymbol k}>\mu.\end{cases}
fn,k:=f∞(εn,k−μ)={1,0,εn,k≤μ,εn,k>μ.
然后,在求解Kohn - Sham方程( 2.8.12 )后,电子密度被定义为占据数
ρ
(
r
)
=
1
∣
Ω
∗
∣
∫
Ω
∗
∑
n
f
n
,
k
∣
u
n
,
k
(
r
)
∣
2
d
k
.
(2.8.19)
\rho(\boldsymbol{r})=\frac{1}{|\Omega^*|}\int_{\Omega^*}\sum_nf_{n,\boldsymbol{k}}|u_{n,\boldsymbol{k}}(\boldsymbol{r})|^2 \mathrm{d}\boldsymbol{k}.\tag{2.8.19}
ρ(r)=∣Ω∗∣1∫Ω∗n∑fn,k∣un,k(r)∣2dk.(2.8.19)
化学势μ应自洽地调节,以满足每个晶胞有N个电子的条件,即:
∫
Ω
ρ
(
r
)
d
r
=
N
.
(2.8.20)
\int_\Omega\rho(r)\mathrm{~d}r=N.\tag{2.8.20}
∫Ωρ(r) dr=N.(2.8.20)
因此,化学势μ也是与N相关的拉格朗日乘子.从这个角度出发,在给定带外隔离度的条件下,绝缘系统占位数的选择就变成了
f
n
,
k
=
{
1
,
1
≤
n
≤
N
,
0
,
n
>
N
.
f_{n,\boldsymbol k}=\begin{cases}1,&1\le n\leq N,\\0,&n>N.\end{cases}
fn,k={1,0,1≤n≤N,n>N.
最后,通过引入占位数
f
n
,
k
f_{n,k}
fn,k的熵项,周期系统的能量泛函也可以推广到有限温度情形.我们将在此省略细节。
2.10 几何优化和从头算分子动力学
在玻恩——奥本海默近似下,原子核由经典力学描述,电子根据与每个原子构型相关的基态波函数从属于原子核。总能量E({RI})提供了原子间势能的第一原理描述。
几何优化(或结构优化)问题旨在寻找势能面E({RI})上的(全局或局部)极小值,相应的极小值{R∫I}是(全局或局部)稳定构型。大多数自然存在的分子和固体都处于或接近这样的极小值。
定义第i个原子核的原子力为
F
I
(
{
R
I
}
)
=
−
∂
E
(
{
R
I
}
)
∂
R
I
;
F_I(\{R_I\})=-\frac{\partial E(\{R_I\})}{\partial R_I};
FI({RI})=−∂RI∂E({RI});
那么,确定极小值的一个必要条件是,对于所有原子,原子力
F
I
F_I
FI都应该为零。
对于一个有M个原子核的封闭系统,原子核自由度的总能量为
E
t
o
t
=
∑
I
=
1
M
M
I
R
˙
I
2
2
+
E
(
{
R
I
}
I
=
1
M
)
,
E_{\mathrm{tot}}=\sum_{I=1}^M\frac{M_I\dot{\boldsymbol{R}}_I^2}2+E(\{\boldsymbol{R}_I\}_{I=1}^M),
Etot=I=1∑M2MIR˙I2+E({RI}I=1M),
其中MI是第i个原子核的质量。
原子核的动力学性质可以用牛顿方程来研究
M
I
R
¨
I
(
t
)
=
−
∂
E
∂
R
I
(
{
R
I
(
t
)
}
)
=
F
I
(
{
R
I
(
t
)
}
)
.
M_I\ddot{\boldsymbol{R}}_I(t)=-\frac{\partial E}{\partial\boldsymbol{R}_I}(\{\boldsymbol{R}_I(t)\})=\boldsymbol{F}_I(\{\boldsymbol{R}_I(t)\}).
MIR¨I(t)=−∂RI∂E({RI(t)})=FI({RI(t)}).
这被称为从头算分子动力学(AIMD)。几何优化和分子动力学消除了构建经验原子间势的需要,并使化学和材料科学中静态和动态性质研究的广泛应用成为可能。
在几何优化和AIMD中,关键因素是评估原子力。在三维空间中,这种导数信息正式需要3M独立电子结构计算,这将是极其昂贵的。幸运的是,赫尔曼——费曼定理允许我们评估原子力,与单个电子结构计算相比,几乎没有增加成本。
原子力的评估
为了引入赫尔曼——费曼定理,让我们首先考虑一个参数相关的哈密顿量H(λ)。对于每个给定的λ,我们假设基态是非简并的。它的特征值ε(λ)和本征函数
ψ
(
r
;
λ
)
\psi(r;λ)
ψ(r;λ)可以计算为
H
(
λ
)
ψ
(
λ
)
=
ε
(
λ
)
ψ
(
λ
)
(2.10.4)
H(\lambda)\psi(\lambda)=\varepsilon(\lambda)\psi(\lambda)\tag{2.10.4}
H(λ)ψ(λ)=ε(λ)ψ(λ)(2.10.4)
特征值对λ的导数是
d
ε
(
λ
)
d
λ
=
d
d
λ
⟨
ψ
(
λ
)
∣
H
(
λ
)
∣
ψ
(
λ
)
⟩
=
⟨
ψ
(
λ
)
∣
d
H
(
λ
)
d
λ
∣
ψ
(
λ
)
⟩
+
ε
(
λ
)
d
d
λ
⟨
ψ
(
λ
)
∣
ψ
(
λ
)
⟩
=
⟨
ψ
(
λ
)
∣
d
H
(
λ
)
d
λ
∣
ψ
(
λ
)
⟩
.
\begin{aligned} \frac{\mathrm{d}\varepsilon(\lambda)}{\mathrm{d}\lambda}& =\frac{\mathrm{d}}{\mathrm{d}\lambda}\langle\psi(\lambda)|H(\lambda)|\psi(\lambda)\rangle \\ &=\langle\psi(\lambda)|\frac{\mathrm{d}H(\lambda)}{\mathrm{d}\lambda}|\psi(\lambda)\rangle+\varepsilon(\lambda)\frac{\mathrm{d}}{\mathrm{d}\lambda}\langle\psi(\lambda)|\psi(\lambda)\rangle \\ &=\langle\psi(\lambda)|\frac{\mathrm{d}H(\lambda)}{\mathrm{d}\lambda}|\psi(\lambda)\rangle. \end{aligned}
dλdε(λ)=dλd⟨ψ(λ)∣H(λ)∣ψ(λ)⟩=⟨ψ(λ)∣dλdH(λ)∣ψ(λ)⟩+ε(λ)dλd⟨ψ(λ)∣ψ(λ)⟩=⟨ψ(λ)∣dλdH(λ)∣ψ(λ)⟩.
这里我们对所有λ使用了归一化条件<φ(λ)|φ(λ)>=1。因此,赫尔曼——费曼定理表明,特征值相对于外部参数扰动的一阶导数简单地由哈密顿量相对于λ的变化给出。
赫尔曼——费曼定理的另一个观点可以从变分原理中理解
ε
(
λ
)
=
inf
∣
ψ
)
≠
∣
0
⟩
E
[
ψ
,
λ
]
:
=
inf
∣
ψ
⟩
≠
∣
0
⟩
⟨
ψ
∣
H
(
λ
)
∣
ψ
⟩
⟨
ψ
∣
ψ
⟩
.
\varepsilon(\lambda)=\inf_{|\psi)\neq|0\rangle}E[\psi,\lambda]:=\inf_{|\psi\rangle\neq|0\rangle}\frac{\langle\psi|H(\lambda)|\psi\rangle}{\langle\psi|\psi\rangle}.
ε(λ)=∣ψ)=∣0⟩infE[ψ,λ]:=∣ψ⟩=∣0⟩inf⟨ψ∣ψ⟩⟨ψ∣H(λ)∣ψ⟩.
因此,
d
ε
(
λ
)
d
λ
=
∂
E
[
ψ
,
λ
]
∂
λ
∣
ψ
=
ψ
(
λ
)
+
∫
δ
E
[
ψ
,
λ
]
δ
ψ
(
r
)
∣
ψ
=
ψ
(
λ
)
∂
ψ
(
r
;
λ
)
∂
λ
d
r
=
⟨
ψ
(
λ
)
∣
d
H
(
λ
)
d
λ
∣
ψ
(
λ
)
⟩
.
\frac{\mathrm{d}\varepsilon(\lambda)}{\mathrm{d}\lambda}=\left.\frac{\partial E[\psi,\lambda]}{\partial\lambda}\right|_{\psi=\psi(\lambda)}+\int\left.\frac{\delta E[\psi,\lambda]}{\delta\psi(r)}\right|_{\psi=\psi(\lambda)}\frac{\partial\psi(r;\lambda)}{\partial\lambda}\mathrm{~d}r=\langle\psi(\lambda)|\frac{\mathrm{d}H(\lambda)}{\mathrm{d}\lambda}|\psi(\lambda)\rangle.
dλdε(λ)=∂λ∂E[ψ,λ]
ψ=ψ(λ)+∫δψ(r)δE[ψ,λ]
ψ=ψ(λ)∂λ∂ψ(r;λ) dr=⟨ψ(λ)∣dλdH(λ)∣ψ(λ)⟩.
请注意,虽然导数
∂
ψ
(
r
;
λ
)
∂
λ
\frac{\partial\psi(r;\lambda)}{\partial\lambda}
∂λ∂ψ(r;λ)一般不会消失,但由于欧拉——拉格朗日方程,它对
d
ε
(
λ
)
d
λ
\frac{\mathrm{d}\varepsilon(\lambda)}{\mathrm{d}\lambda}
dλdε(λ)没有贡献。
现在,对于Kohn-Sham DFT中的总能量,只有外部势Vext和离子——离子相互作用EII明确依赖于原子构型{RI}。此外,外部势一般可以分解为每个原子的贡献,如
V
e
x
t
(
r
;
{
R
I
}
)
=
∑
I
V
e
x
t
I
(
r
−
R
I
)
.
V_\mathrm{ext}(r;\{R_I\})=\sum_IV_\mathrm{ext}^I(\boldsymbol{r}-\boldsymbol{R}_I).
Vext(r;{RI})=I∑VextI(r−RI).
然后,应用赫尔曼——费曼定理,我们发现
F
I
=
−
∂
E
(
{
R
I
}
)
∂
R
I
=
−
∫
ρ
(
r
)
∂
V
e
x
t
I
(
r
−
R
I
)
∂
R
I
d
r
−
∂
E
I
I
(
{
R
I
}
)
∂
R
I
.
\boldsymbol{F}_I=-\frac{\partial E(\{\boldsymbol{R}_I\})}{\partial\boldsymbol{R}_I}=-\int\rho(\boldsymbol{r})\frac{\partial V_\mathrm{ext}^I(\boldsymbol{r}-\boldsymbol{R}_I)}{\partial\boldsymbol{R}_I}\mathrm{~d}\boldsymbol{r}-\frac{\partial E_\mathrm{II}(\{\boldsymbol{R}_I\})}{\partial\boldsymbol{R}_I}.
FI=−∂RI∂E({RI})=−∫ρ(r)∂RI∂VextI(r−RI) dr−∂RI∂EII({RI}).
Car-Parrinello分子动力学
在AIMD中,电子结构问题必须完全自洽地解决,以便达到每个原子构型的基态。因此,这种类型的AIMD也被称为玻恩——奥本海默分子动力学(BOMD)。很长一段时间,尽管BOMD有明显的潜力,但它被认为过于昂贵。AIMD是由开创性的Car-Parrinello分子动力学(CPMD)[14]实现的,它引入了一个扩展的拉格朗日函数,包括原子核和电子的自由度:
2.11 Time-dependent density functional theory
2.11含时密度泛函理论
密度泛函理论指出,多体基态能量和多体基态波函数仅由电子密度ρ决定。
关键的工具是变分原理,它产生了约束极小化公式。
对于含时多体Schr ö dinger方程,Runge和Gross于1984年提出了含时密度泛函理论( TDDFT )。然而,TDDFT的严格基础与DFT相比要清晰得多,因此我们并没有从物理角度给出原创性的论证,而只是给出了结论。多体薛定谔方程为
i
∂
t
Ψ
(
t
)
=
H
(
t
)
Ψ
(
t
)
,
(2.11.1)
\mathrm{i}\partial_t\Psi(t)=H(t)\Psi(t),\tag{2.11.1}
i∂tΨ(t)=H(t)Ψ(t),(2.11.1)
其中Ψ ( t ) = Ψ ( x1 , … , xN , t)是带有初始条件Ψ ( t0 ) = Ψ 0的含时多体波函数。随时间变化的电子密度是
ρ
(
r
,
t
)
=
N
∑
σ
∫
∣
Ψ
(
(
r
,
σ
)
,
x
2
,
…
,
x
N
,
t
)
∣
2
d
x
2
…
d
x
N
.
\rho(\boldsymbol{r},t)=N\sum_\sigma\int\left|\Psi((\boldsymbol{r},\sigma),\boldsymbol{x}_2,\ldots,\boldsymbol{x}_N,t)\right|^2\mathrm{d}\boldsymbol{x}_2\ldots\mathrm{d}\boldsymbol{x}_N.
ρ(r,t)=Nσ∑∫∣Ψ((r,σ),x2,…,xN,t)∣2dx2…dxN.
与时间相关的哈密顿量:
H
(
t
)
=
∑
i
=
1
N
(
−
1
2
Δ
r
i
+
V
e
x
t
(
r
i
,
t
)
)
+
∑
i
<
j
N
1
∣
r
i
−
r
j
∣
,
H(t)=\sum_{i=1}^N\Bigl(-\frac12\Delta_{\boldsymbol{r}_i}+V_{\mathrm{ext}}(\boldsymbol{r}_i,t)\Bigr)+\sum_{i<j}^N\frac1{|\boldsymbol{r}_i-\boldsymbol{r}_j|},
H(t)=i=1∑N(−21Δri+Vext(ri,t))+i<j∑N∣ri−rj∣1,
其中显式的时间依赖性来自外部势Vext。Runge和Gross的陈述是任意时刻t≥t0的多体波函数Ψ(t)由初始态Ψ 0和电子密度
ρ
(
r
,
s
)
t
0
≤
s
≤
t
{ρ(r,s)}_{t_0≤s≤t}
ρ(r,s)t0≤s≤t的历史唯一确定。
此外,根据Hohenberg-Kohn定理,如果系统从多体基态开始,那么ψ 0也由ρ(r,t0)唯一确定。因此,多体系统的演化完全由密度
ρ
(
r
,
s
)
t
0
≤
s
≤
t
{ρ(r,s)}_{t_0≤s≤t}
ρ(r,s)t0≤s≤t的演化决定。此外,类似于Kohn-Sham DFT的构造,Runge-Gross TDDFT也可以由R中的以下耦合含时薛定谔方程正式给出
i
∂
t
ψ
j
(
x
,
t
)
=
(
−
1
2
Δ
+
V
e
x
t
(
r
,
t
)
+
∫
ρ
(
r
′
,
t
)
∣
r
−
r
′
∣
d
r
′
+
V
x
c
[
{
ρ
}
t
0
≤
s
≤
t
]
(
r
)
)
ψ
j
(
x
,
t
)
,
ρ
(
r
,
t
)
=
∑
σ
∑
j
=
1
N
∣
ψ
j
(
x
,
t
)
∣
2
.
(2.11.4)
\begin{aligned} \mathrm{i}\partial_{t}\psi_{j}(\boldsymbol{x},t)& =\left(-\frac12\Delta+V_{\mathrm{ext}}(r,t)+\int\frac{\rho(r^{\prime},t)}{|r-r^{\prime}|}\mathrm{d}r^{\prime}+V_{\mathrm{xc}}\left[\{\rho\}_{t_0\leq s\leq t}\right](r)\right)\psi_j(x,t), \\ \rho(\boldsymbol{r},t)& =\sum_{\sigma}\sum_{j=1}^{N}\left|\psi_{j}(x,t)\right|^{2}. \end{aligned}\tag{2.11.4}
i∂tψj(x,t)ρ(r,t)=(−21Δ+Vext(r,t)+∫∣r−r′∣ρ(r′,t)dr′+Vxc[{ρ}t0≤s≤t](r))ψj(x,t),=σ∑j=1∑N∣ψj(x,t)∣2.(2.11.4)
与基态Kohn-Sham DFT相比,重要的区别在于交换相关势Vxc原则上不仅在空间变量r中是非局域的,而且在时间变量t中也是非局域的。
记忆效应可以跨越整个历史
ρ
(
r
,
s
)
t
0
≤
s
≤
t
{ρ(r,s)}_{t_0≤s≤t}
ρ(r,s)t0≤s≤t。鉴于在基态Kohn-Sham DFT中找到精确的交换相关泛函已经很困难,进一步识别TDDFT中的记忆效应变得更加困难。在实际的TDDFT计算中,几乎所有的交换相关泛函都假设
V
x
c
[
{
ρ
}
t
0
≤
s
≤
t
]
(
r
)
≈
V
x
c
K
S
[
ρ
(
t
)
]
(
r
)
,
(2.11.5)
V_{\mathrm{xc}}\left[\{\rho\}_{t_0\leq s\leq t}\right](r)\approx V_{\mathrm{xc}}^{\mathrm{KS}}\left[\rho(t)\right](r),\tag{2.11.5}
Vxc[{ρ}t0≤s≤t](r)≈VxcKS[ρ(t)](r),(2.11.5)
其中
V
x
c
K
S
V^{KS}_{xc}
VxcKS是基态计算的交换相关泛函。方程(2.11.5)也称为TDDFT中的绝热近似。虽然这种近似在计算广泛的电子和光学性质时工作良好,但它也可能在定性上失败,即使精确的基态交换相关泛函可用。
从实际角度来看,对于给定的交换相关泛函,TDDFT计算的一个主要挑战是小时间步长,其通常在阿秒量级(1阿秒=10-18秒)。与原子运动的典型时间尺度(1飞秒=10-15秒)相比,TDDFT的时间尺度要快得多,因此研究电子和原子核的自由度同时传播的非绝热动力学可能具有挑战性。
最后,让我们根据时间相关密度矩阵重写(2.11.4):
其中, P ( t ) P(t) P(t)满足:
这就是(自洽)量子刘维尔方程(也称为冯·诺依曼方程),它可以被视为TDDFT的内在表示。
END…