群论在固体物理中的运用(讲稿)p285-337_讲稿.doc

第五章 群论与量子力学 §5.7 空间及时间的平移 H具有空间平移不变性，则 动量守恒； H具有转动不变性， 则 角动量守恒； ， （3.2-18） H具有时间平移不变性，则 能量守恒； H具有空间反演不变性，则 宇称守恒； … 空间平移 定义函数平移算符 下面分析函数平移算符的具体表示式。 对于，有。 泰勒展开 一般 ， 若，当且仅当。 时间平移 定义时间平移算符 下面分析时间平移算符的具体表示式。 泰勒展开，得到 （5.7-8） 若，H本身与时间无关，能量守恒。 或写作 第六章 空间群与晶体能带 （p325） §6.1 广义空间群 转动平移算符 由正交变换（包括正当的或非正当的转动）加上平移而组合成的等距离变换。 不是一个保长变换； 不是一个线性算符： 广义空间群 的集合组成群。 （1）单位元 （2） 证明： （3）逆元 证明：设 由 ，有 ， 得到 ，。 （4）满足结合率。 广义空间群的子群 转动反演群O(3)： 平移群：的集合组成群。正规子群。 函数变换算符 例如：对平面波的作用 即 或写作 对于R=E，； 对于， §6.2 晶体空间群 格点位矢即格矢 作用前后，要求格点重合。 简单晶格： 复式晶格：不一定是格矢（金刚石p307） 晶体空间群通常简称为空间群。 §6.2.1 空间群 晶体空间群的群元性质： 性质1 平移对称操作中， 具体有 性质2 若有，则也必然是格矢。 证明： 性质3 中，若，则 （1）转轴必在格矢方向， 且必与某格矢垂直（n1）； （2）n=1,2,3,4,6 性质4 若有群元和，则 性质5 群元中，平移部分只有两种 （1） （2）（n是转动R的阶） 空间群分别称为 （1）简单空间群： （2）非简单空间群：、 简单空间群73个，空间群230个。 非简单空间群特有的两种（两类）操作： n度螺旋， 滑移反映 §6.2.2 晶体空间群的结构 平移群T是空间群G的正规子群。 晶格平移群 ：，；阶 ；阶 布拉伐格子是简立方 的平移群 记作Ts； 布拉伐格子是面心立方的平移群记作Tf； 布拉伐格子是体心立方的平移群记作Tb。 空间群G的点群G0 的群G0称为空间群G的点群。 简单空间群的点群，是空间群G的子群。 空间群G的商群 平移群T是空间群G的正规子群。 空间群G可以按平移群T做陪集展开 商群G/T 商群G/T与空间群的点群G0同构。 空间群G的阶 只要知道 平移群（或平移群的生成元）和 陪集代表元，就可以确定空间群G. §6.2.3 晶体空间群实例 （CsCl晶体） Ts：，， （NaCl、铜） Tf：，， （金刚石、硅、锗） ， Tf：，， （Na、K） Tb：，， （金红石） （其中）， T：简单四方格子（布拉伐格子）平移群。 （镁、锌等六角密积结构金属） （其中）， T：简单六角格子（布拉伐格子）平移群。 六角晶系的（实用）原胞基矢： §6.2.4 二维空间群 （简介） §6.3 平移群的不可约表示 不可约表示的求出 平移群T1是一个N1阶的阿贝尔群。 （1）群元的不可约表示 由周期性边界条件，有，则 不可约表示矩阵 ，即 所以 其中 称为波矢量，是平移群不可约表示的记号；，给出群元的N1个不可约表示。 （2）群元的不可约表示 则不可约表示矩阵 同样，，给出群元的N1个不可约表示。 （3）群元的不可约表示 则不可约表示矩阵 其中 是波矢量， 给出群元的N=N1N2N3个不可约表示。 布里渊区 倒格矢 对于 ，由于 所以，与等价。 只需由布里渊区内的波矢，就可得到平移群的全部不可约表示。 平移群不可约表示矩阵元的正交性 （1）群元的不可约表示矩阵元 当时， 当时， 这是一个等比级数的N1项和，有 即 （2）群元的不可约表示矩阵元 同理可证 平移群不可约表示基函数的性质 （1）平移群不可约表示的基函数 平移群群元的不可约表示矩阵元 不可约表示的基函数，记作。 又 得到平移群不可约表示基函数的性质 或 称为Bloch函数。 记 可证 即Bloch函数是周期调幅的平面波。 （2）周期场中电子的能量本征函数 由于 ，所以，平移群T是薛定谔方程的（子）群。 复习：p242 定理一 H的具有相同本征值的本征函数，构成薛定谔方程群T的一个表示的基函数。 本征函数构成平移群不可约表示的基函数，即 平移群不可约表示的基函数是Bloch函数； 即周期场中电子的能量本征函数是Bloch函数。 §6.4 简单空间群的不可约表示 晶体中电子的能量本征方程 目的：通过哈密顿算符群的不可约表示，分析能量本征值即能带的特征。 §6.4.1 波矢群与波矢星 对于空间群G的点群G0，，有 或 波矢群：所有满足的群元的