群论与量子力学.doc

群论与哈密顿算符哈密顿算符的变换性质：设哈密顿算符为，有一函数f（r）,存在由于 由此得因此 （1-1）由于则这样（1-1）可表示为 （1-2）如果系统在经受一个变换R之后，哈密顿算符的形式不变，即Rr=r而则（1-2）变为上式表明，当系统的哈密顿算符在R的做用下不变时，则它与R相应的函数变换算符PR对易。哈密顿算符的群(薛定谔方程的群)：使哈密顿算符不变的所有变换R组成一个群。（PR与R一一对应，其组成的群亦是哈密顿算符的群）有了以上结论和定义进行进一步讨论晶体单电子的薛定谔方程是其中我们知道V（r）是十分难以精确获得的函数。但是，由于v（r）的对称性与晶格的对称性是相同的，所以，在晶体的对称性群的作用下，v（r）不变，即RG，有V（Rr）=V（r）又由于算符亦是不变的，因此这表明晶体的对称群就是晶体单电子薛定谔方程的群。（晶体单电子薛定谔方程的群的基函数可作为晶体的对称群的基函数）H（r）的本征函数与基函数：（1）H（r）的具有相同本征值的本征函数，构成薛定谔方程群G的一个表示的基函数设E是H（r）的L重简并的本征值，于是，相应于这个本征值E，有一套线性无关的本征函数存在，满足方程取G中任一元PR，作用于上式两边，则上式表明，函数同样也是H（r）的具有本征值E的一个本征函数，由于E是L重简并的，所以，本征函数必然是L个本征函数的线性组合，即 （1-3）对每一个n（1L）都成立。上式确定了L*L个从而确定了一个L*L的方矩阵D(R)，下面证明，以这种方法确定的矩阵D(R)是薛定谔方程群的表示取群G中任意元PR.PS由式（1-3）得上式左边亦可表为 由上述两式可知当PRPS=PRS时，有D（R）D（R）=D（RS）于是得证。（H（r）的具有相同本征值的本征函数，构成薛定谔方程群G的一个表示的基函数）已知群G的一个不可约表示的一组基函数，那么他是否与H（r）的本征波函数存在某种关系？（2）群G的不可约表示的基函数是H（r）的本征函数，则必属于同一能量本征值。设是群G的一组不可约表示基函数，如果知道有一个是 H（r）的本征函数，则又由于也是本征函数，而同样也是本征函数，通过所有对称操作的作用，能得到一组方程，把与其他函数联系起来（同一组不可约表示基性质），由此可将表示成等的线性组合，从而证明它们都是H（r）的本征函数，且对应于同一能量本征值。属于同一本征能量的波函数的全体是否一定属于一个不可约表示？是（1.完全考虑体系的对称性2.无偶然简并） 在不知道能量本征值的具体数值时，我们就可以利用系统的对称性来确定能级的简并度。只要知道保持H（r）量不变的对称性群是什么，马上就能说出能量可能的简并态。例：体系属于O群（属于正八面体群，只包含旋转操作），其不可约表示为（A1，A2）（E，）（T1，T2）分别是一、二、三维的，因此能级只可能有二、三重简并。！属于同一个不可约表示的几组波函数，属于不同的能级。（无对称操作使他们产生联系）(每组波函数属于一个能级；有几组约化系数等于几)？微扰引起能级分裂H（r）的具有相同本征值的本征函数，构成薛定谔方程群G的一个表示的基函数群G的不可约表示的基函数是H（r）的本征函数，则必属于同一能量本征值换种表述方式：属于同一能级的本征函数一定构成分子所属对称性群的一组不可约表示基，而分子所属对称性群的一组不可约表示基，如果是分子体系的本征函数，则必属于同一能级。（能级和不可约表示，波函数和不可约表示的基之间的关系）如果一个体系的哈密顿算符H可以写成两部分 其中H0是简单的，其本征值易于求解，V对H0的本征值影响很小，称之为微扰势。在这里我们不去求解薛定谔方程，利用微扰来讨论不含时的微扰势对能级简并度的影响。（1）若H0具有群G的对称性，微扰势V具有群G的对称性，而且， G是G的子群，这样，H=H0+V的对称群就是G。H0属于同一能级的本征函数是群G的第j个不可约表示的基函数，能级的简并就是Lj，群G的第j个不可约表示也是群G的一个表示。一般来说，这是群G的可约表示(也可能不可约)，可以约化为群G的若干个不可约表示的直和。即其中是Lj维，是Li维，且的基函数由H（r）的相应于同一能量本征值的本征函数构成，所以能量本征值是Li维简并的。这表明，没有微扰时的Lj重简并的能级，在引入微扰V后，简并度可能下降，即能级可能分裂。（2）若微扰势V亦具有群G的对称性，则H=H0+V亦具有群G的对称性，H0的本征函数构成群G的不可约表示的基函数，所以，微扰的引入并不引起能级分裂。例如：讨论一个原子处于简单立方体的晶场中能级分裂的情况。设晶体场的强度大于原子的自旋轨道耦合，因而可将后者的影响略去。原子在自由空间中的哈密顿量H（r）具有全部转动对称性，即属于 SO（3）群（三维完全转动群或正当转动群）。现在将原子放到简单立方的晶场中，电子就受到晶体势场V作用，这就是微扰势。V具有O群的对称性。因此，亦具有O群的对称性。 当电子处在自由原子中的L态，则相应于同一能级的2L+1个波函数，构成SO（3）群的第L个不可约表示，当原子处于简单立方晶体场中时。体系的对称性下降了，那么，原来属于同一能级的2L+l个基函数，现在是否仍属同一能级？问题可归结为（换种问法）：对于L态的电子来说，把SO（3）群的第L个不可约表示中与O群24个元相应的矩阵作为O群的表示。这个表示可以约化为O群的哪些不可约表示？为此，只要知道相应的特征标就可以了。根据SO（3）群不可约表示的特征标公式， 就可以求出O群各元在表示中的特征标将这些结果列成表，就得到了SO（3）群的不可约表示作为O群的表示时的特征标表。表1 O群表示的特征标（SO(3)不可约表示特征标公式求的）表2 O群不可约表示的特征标 利用求约化系数的公式或将表1与表2作比较，即可知表示可约化为哪些不可约表示的直和。具体结果如下：L=0 也是O群的不可约表示.L=1 三重简并p态能级，加入微扰后不 分裂。L=2 五重简并的d态能级分裂成为两个 能级：一个是二重简并（D3），另一 个是三重简并（D5）L=3 七重简并的f态能级分裂为三个能 级，一个单态（D2)和两个三重态(D4),(D5).L=4 九重简并的g态能级分裂为四个 能级；一个单态（D1），一个二重 态（D3）和两个三重态（D4）（D5）例2 ：在上例中假设对称性进一步减小，例如把晶体沿一个三度轴方向作一拉伸，这时微扰V具有D3群（主轴为c3轴，此外还有3个垂直于c3轴的二重轴）的对称性，H=H0+V的对称性群也是D3群。D3群是O群的子群。上例中得到的O群不可约表示，现在对D3群来说又可能成为可约的了。解：把O群中与D3群的群元相应的那六个元的表示矩阵抽出来，组成D3群的表示，这种表示的特征标表列于表3表3 以O群的不可约表示作为D3群的表示时的特征标表表4 D3群的不可约表示的特征标表将两特征标表相比后可知：D1=A1,D2=A2,D3=E，所以D1，D2，D3 对于D3群来说是不可约表示，相应的能级不在进一步分裂。而 表明当简单立方晶体受拉伸时，三重简并的属D4及D5的能级要进一步分裂，都分成一个单重的及一个二重简并的能级。 上面的两例可以用图来表示（如图 1），由于群论只能判断能级是否分裂，而分裂后的能级在什么位置，哪个能量高，哪个能量低，则完全不能判断，所以只能画出关于分裂情况的示意图。图 1 微扰引起能级分裂的示意图久期行列式的块对角化群论在量子力学中的一个重要作用，就是简化薛定谔方程的求解过程问题的提出：通常，为求解不显含时的薛定谔方程 （3-1）的能量本征值E及相应的能量本征函数，往往用一套已知的完全函数集将展开为上式代入（3-1）后得以与上式作内积，得 其中q=1,2,.（3-2）这是一个包含无限多个方程的线性方程组，为使展开系数Cp存在非零解，要求（3-2）的系数行列式为零，即 （3-3）上式左边式一个无限行和列的行列式，一般称之为久期行列式，式（3-3）称为久期方程，为了解此方程，必须作截断近似，即仅取N个来展开本征函数.这样，久期行列式就成为N*N的行列式久期方程就是E的一个N次多项式方程，可解得N个能量值E，将每一个能量值E代回式（3-2），即能求出相应的一套系数Cp，再由式即可获得能量E的相应的本征函数. 一般来说，N是个很大的值，所以，整个计算是很复杂的，当我们应用群论以后，可将计算大为简化而又丝毫也不降低计算结果的精度。不变算符的矩阵元定理：如果算符H在群G的所有元作用下不变，函数集和分别是群G的第p和i个不可约表示的基函。则有以下关系久期行列式的对角化：利用已知的函数集合求对称化波函数（构造不可约表示基函数）（投影算符法）。记为 ，p为群G第p个不可约表的标号，m为基函数标号，i表示具有这种特殊对称性的函数出现的次数。 用对称化波函数将本征函数展开得代入（3-1）得到久期方程利用正交性定理和不变算符的矩阵元定理，仅当p=q及m=n时不为零，在经过行和列的重新调整后，将同一个不可约表示的同一列基函数放在一起，这样，久期行列式就成为对角的或块对角的了。子行列式的维数取决于不可约表示出现的次数，相同的子行列式数取决于不可约表示的维数（2维不可约表示出现3次）例：苯分子（C6H6）忽略其在分子平面上的对称性，认为其具有点群C6（单重轴群，主轴为C6轴）的对称性。（2） 用以知的函数集作为对称群G的一个可约表示的基，求出这个表示的特征标。 在这里，就是用六个碳原子的波函数作为C6群的一个六维表示的基函数（一般的展开基函数），用PR作用于每一个基函数上，由于若，那么，对可约表示D（R）的特征标的贡献为1. ，那么，对特征标贡献为零； ，那么，对特征标贡献为-1.将所有基函数对特征标的贡献加起来，就可求出可约表示D（R）的特征标。由此可得C6群的一个六维表示的特征标。表5（3） 利用约化系数的公式，将可约表示约化为不可约表示的直和。这样，我们就可以知道，用以知函数集可以组合