在能带论中,固体的各种电子态按照它们的波矢分类各做异采果怀响灯洲。在倒易格子中取某一倒易阵点为原点,作所有倒格矢的垂直平分面,倒易格子被这些面划分为一系列的区域,这些区域就是布里渊区。
在能来自带论中,固体的各种电子态按照它们的波矢分类。在倒易格子中取某一倒易阵伤点为原点,作所有倒格矢的垂直平分面,倒易格子被这些面划分为一系列的区域:其中最靠近原点的一组面所围的闭合区称为第一布里渊区;在第一布里渊区之外,由另一组平面所包围的波矢360百科区叫第二布里渊区;依次类推可得第三、四、…等布里渊区。各布里渊区体积相等左侵出,都等于倒易格子的元胞体积。周期结构中的一切波在布里渊区界面上产生布拉格反射,对于电子德布罗意波,这一反射可能使电子能量在布里渊区界面上(即倒格矢的中垂面)产生不连续变化。根据这一特点,1930年L.-N.占浓和洲础陆布里渊首先提出用倒格矢的学展什征顺站回草中垂面来划分波矢空间的区域,从此被称为布里渊区。
第一布里渊区就是倒易格子的维格纳-塞茨原胞,如果对每一倒易格子作此元胞,它们会毫无缝隙的填满周且双东井里基拉头满整个波矢空间。由于完整晶体中运动的电子、声子、磁振子、……等元激发的能量和状态都是倒易格子的周期函数率销功,因此只需要用第一布里渊区中的波矢来描述能带电子、点阵振动和自旋波……的状态,并确定它们的能量(频率)和波矢关系。
第一布里渊区又称约化布里渊区或简约布里渊区,在号得频当叫营已文献中不加定语的体质庆做料说护车考企布里渊区指的往往就是它。简约布里渊区中的一个波矢可能对应有几个不同的能量状态。该区域内的波矢即称为简约波矢。简约布里渊区的形状因晶体结构而异;实际上可由晶格的倒格子的Wigne再工三喜简r-Seitz原胞给喜汉我形圆采内强都出。
布里渊区的形状取决于晶体所属布拉维格子来自的类型。金刚石结360百科构的Si、Ge和闪锌矿结构的Ⅲ-Ⅴ族半导体等, 都具有面心立方Bravais格子, 因此都具有体心立方的倒格子, 从而也都具有相同形状的第一布里渊区, 为截角八面体(即是由6个正方形和8个正六边形构成的14面体)。简单立方格子、体心立方格子和面阳食不西架把心立方格子的约化布里渊区分别为立方体,菱十二面体和截角八面体(十四面体)。它们都是对称的多面体,并具有相应点阵的点群对翻丝称性,这一特征使约化布里渊区该中高对称点的能量求解得以简化(见晶体的对称性)仅百富几。
在各种周期性边界条件的第一原理计算方法中,需要涉及到在布里渊区的积分问题,例如总能、否艺余沉管企铁守减电荷密度分布,以及金属体系中费米面的确定等等。如果采用普通的在布里渊区内均匀选取k点的方法,那么为了得到精确的结果点的密度必须很大,从而导致非常大的计算量。这使得计算的效率非常低下。居黑很据配试因此,需要寻找一种高效的积分方体在哪难示十式敌宪封法,可以通过较少的点运算取得较高的精度。而这些k点被称之为"平均值点"(Balde化指这木设金独审reschi)或者"特殊点"(督刑晚吗负Chadi, Coh亮孙行均推封酒班修语en)。
Ch红adi和Cohen最早提出了这种特殊点的数学基础[1]。考虑一个光滑函数,我们可以将其展为傅立叶级数:
假设另有一个拥院唱深设场度有体系全部对称性(对称性用对称群表示)的函数,满足条件 ,则 我们可以将用展开如下:
其中是对称群的阶数。设,将上式的求氧和顺序重新组合可以得到
其中是距离原点己文屋第近邻的球半径,按升序排列,且 。需要注意的是限制条件 具有球对称性,也即高于的州举销想对称性,所以满足限制批触顾一罗四验防罗条件的格点集合并不一定都是等价的--或说可以通过中的操作联系起来的--格点。方程(3)中的函数满足下列条件:
上式中是倒格矢,是满足条件的格点数。五个方程分别表明函数在第达单右反作少零哥越一布里渊区内成奇函打一包他杀团所专面营头数、具有正交性、周期性、体系对称性和完备性。对于特殊点法而言,前两条更为重要。
注意到上面公式中的求和从1开始,因此需要对的情况进行单独定义。我们定义,则函数的平均值为:
那么该如何得到呢?注意方程(3),如果存在这样的特殊点,使其满足:
>
那么立刻可以得到,这样的点被称为"平均值点"。但是普遍的讲,满足上述条件的点并不存在。对这个问题的解决办法就是不用单个点,而采用满足一定条件的k点的集合,利用这些点上函数值的加权平均计算。也即:
其中可以取有限值。
利用方程(3)左右端的两个式子,可以得到:
根据方程(7),可以得到
考虑到随的增大迅速减小的性质,我们可以近似的得到的平均值:
而将方程(9)的第二项作为可控误差。因此,如果我们可以找到一组点,使得(1)集合中的点尽量少;(2)这些点在尽量大的情况下满足方程(7),则我们进行布里渊区积分的时候可以尽可能快的得到精度较高的结果。这正是特殊点方法的要点所在。反过来讲,这也表明进行具体计算的时候我们需要对计算精度进行测试,也即保证所取点使得上式的第二项足够小。
Chadi-Cohen方法
上一节证明了点的可行性。Chadi和Cohen首先提出了一套可以得出这些特殊点的方法[1]。
首先找出两个特殊点--,二者分别在和的情况下满足
然后通过这两个点构造新的点集合:
且权重为。下面证明在的情况下仍然满足方程(7):
根据和的定义,可知对于和,
也即
上式等价于
因此可以用这种方法产生一系列点,用以计算布里渊区内的积分。如果此时的精度不够,则利用同样的方法继续生成新的点集合:
其中为在情况下满足的特殊点。从而改进精度。
事实上,如果考虑体系的对称性,则中的点数目可以极大的减小。也就是说,对于给定的点,可以找出其波矢群,阶数为,那么实际上按上述方法构造出来的只有个不同的点,此时各点上的权重为。更进一步,通过点群的全部对称操作,可以将全部的点转入第一布里渊区的不可约部分。如果点的重叠度(即第一布里渊区不可约部分中占有同样位置的点个数)是,则在最后的计算中,这个点的权重为
上述Chadi-Cohen方法非常巧妙,但是在具体的应用上必须首先确定23个性能比较好的点,由此构建出的点集合才拥有比较高的效率和精度。因此,对于每一个具体问题,在计算之前都必须经过相当的对称性上的分析。对于编写程序而言,这是一件很麻烦的事情。那么,是否存在一种比较简易的产生点网格的方法,同时又满足方程(7)呢?答案是肯定的,这就是通常所说的Monkhorst和Pack方法[2]。
晶体中的格点总可以表述为,其中是实空间三个方向上的基矢。Monkhorst和Pack建议按如下方法划分布里渊区
将点写为分量形式,则可得到如下表达式
其中是倒空间的基矢。与Chadi-Cohen方法相似,Monkhorst和Pack定义函数为:
>
则相应于Chadi-Cohen方法中的,我们可以计算在如方程(12)所生成的离散化的网格点的相同的量:
其中
注意到都是整数,因此可以算出:
其中第三种情况是因为是奇函数。引入限制条件: <; < 则可得:
也即在点网格上是正交的。与Chadi-Cohen方法类似,将函数用展开:
同时左乘并在布里渊区内积分,可得
因为,所以从方程(19)可得
忽略前面的常数因子,可以看到Monkhorst-Pack方法中的表达式与Chadi-Cohen方法完全一样。现在将的表达式代入上述方程,则
因此
其中
与我们在Chadi-Cohen方法中看到的一样,在第一布里渊区的平均值可以用近似(在Chadi-Cohen方法中是)。而且误差(方程右边第二项)可控,即可以通过增加点密度的方法提高精度。这是因为增大,根据上面所述的取值可知,在更大的时候仍能保证方程(7)成立。
但是根据方程(3)可得
如果值取得比较大,那么所需计算的点数目就会非常大,如何提高Monkhorst-Pack方法的效率呢?考虑到体系的对称性,则点的数目会大大的减少。重新写出如下:
其中是体系所属点群阶数与点的波矢群阶数的比值:。是对所有点进行对称及平移操作后第一布里渊区中所有不重合的点数。进一步考虑不可约部分,那么通过改变(变为,其中定义见上节)可以进一步减少。因为处于高对称位置上的点其波矢群阶数也比较高,因此相应的这些高对称点的权重就比较小。这也是为什么在VASP的OUTCAR文件中高对称的点权重比较小的理论根本,也是特殊点法尽量避开高对称点的原因所在。与Chadi-Cohen方法一样,的大小是Monkhorst-Pack方法效率高低的重要标志。文献中给出了bcc以及fcc两种格子中的:
BCC:
FCC:
可以看出,即使对于较大的值,也是比较小的,因此Monkhorst-Pack方法效率是比较高的。
应该注意的是,Monkhorst-Pack方法的关键一点是将三维空间的问题转化为三个独立的一维问题。因此,对于六角格子或者单斜格子,基矢之间不正交,上述Monkhorst-Pack方法并不适用,而必须加以修改[3]。以六角格子为例,Pack指出点网格应按下述方法生成[4]:
也即轴和轴分别设置。相应的,的大小可计算如下:
上述生成点的方法对应于VASP手册中对于点设置的建议"对于六方体系应该将点置于原点处"。
需要强调的是,我们在以上所讨论的所有对称性均指纯旋转操作,也即点群对称性。因此,对于同属一种晶系而属于不同空间群的两种体系而言,其操作可能并不一致。
Cunningham[5]对于二维情况依照Chadi-Cohen方法分别生成了点集合。我们选择四方格子和正方格子两种情况进行具体的分析。
实空间和倒空间的基矢及格点坐标分别为:
选择(或为奇数时)以及(或为奇数时)这个格子的对称操作为,按照Chadi-Cohen方法,可以构建点如下:
每个点的权重。
将上例中的,则四方格子转变为正方格子。两种情况最主要的不同是布里渊区不可约部分有了变化,从上式可以看出,在正方格子下,,和重合。因此只有三个不同的点,每个点的权重为,而且。
利用特殊点计算电荷密度
将Bloch函数用Wannier函数展开,有[6]:
则在给定点的电荷密度为:
而
我们重写如下:
其中求和号中的表明而且。因此,考虑到对称性,又可写为:
上式中,第一项与和无关,相当于Chadi-Cohen方法中的。而第二项中因为对所有的求和,因此可以将这一项写为如下形式:
上式中与无关,且随增大而递减,相当于。因此可写为
如果存在,满足,则立即可以得到
但是普遍的讲,这样的并不存在。例如,在fcc格子中考虑第一、二、三近邻,写出:
不存在单独的点同时满足上述三个方程。因此,需要寻找一系列特殊的点,满足
则。
Chadi和Cohen[6]采用、和三个点计算的值:,取得了较好的结果。而在文献1中,他们利用和改进了计算结果:。