3.4SU2群的不等价不可约表示.ppt

* 首先复习线性空间与线性变换的概念 3.4 SU2群的不等价不可约表示 一、欧拉角 为何引入？ SO3群任意元素用参数描写 几何意义：代表绕方向转ω角的变换 群空间恒元附近的区域，参数与群元素有一一对应关系，因而这些参数适于做理论研究，如何确定这些参数？ 根据R的矩阵形式来确定 （麻烦） 由固定在系统上的坐标系K’ 与固定的坐标系K的相对位置来确定相对转动的参数（困难） 绕三个坐标轴转动的元素比较简单，且我们已经知道它们的矩阵形式 在计算SO3群不等价不可约表示时，最好能将群中的任意元素表示成绕坐标轴转动的元素的乘积，这样只需计算绕坐标轴转动的元素的表示矩阵，不必计算任意元素的表示矩阵，大大简化 欧拉角正好具有这样的优点缺点：欧拉角在恒元邻近的一个测度为零的区域，参数与群元素多一对应，会对理论研究造成不便 欧拉角 对任意的幺模实正交矩阵R∈SO3，可以把R的第三列矩阵元看作一个单位矢量的分量，即 R作用在上，将其变到 方向 注意：这里的 并不是R的转动轴 设方向的极角：β；方位角：α （由R矩阵的第三列元素定出） 前面：一个特殊的转动Sφ,θ 把上的点，转到 方向 与前面定义的R的作用类似 可取Sφ,θ的方向就是R作用后的方向 即将 θβ，φα 代入 Sφ,θ→Sα,β S -1R是保持x3轴不变的，总的效果是绕x3轴转动一个角度，设为γ γ角依赖于α角， 即二者只有一个独立 （坐标系固定，系统转动） 将R表示为绕坐标轴的三次转动的乘积 将Sα,β、Re3,γ矩阵形式代入，得 → 其中 Cαcosα，Sαsinα，etc. 元素R的这组参数（α,β,γ）称为欧拉角 变化范围： 讨 论 如何定α，β，γ α，β可由R的第三列元素定出 γ第三行 注意：由R的第三行元素定出是（π-γ） cosπ-γ-cosγ，sinπ-γsinγ 练 习 分别计算下列转动变换矩阵R的欧拉角 并写出它们在SO3群表示中的表示矩阵元素 下一页 为看出几个欧拉角的关系，换到K’系讨论 几何意义 坐标系K：主动观点，坐标系固定，系统转动 坐标系K’：被动观点，坐标系转动，系统固定 两种坐标系中的操作互为逆变换 轴：x3’’x2’x3 α β γ 设R把坐标系由K位置转到K’位置 K’系： x3在x1’’’Ox2’’’面投影为x1’’反方向 K系： x3’’极角是β方位角是α x3’’在x1Ox2平面投影为x1’ x3极角是β 方位角是π-γK’系的x3’轴在K系中极角β，方位角αK系的x3轴在K系中极角β，方位角π-γ 注意：β0时，Rα,0,γ是绕 轴转动α+γ角的变换 α与γ只有一个是独立的，这相当于在恒元附近，欧拉角参数与群元素是多一对应2:1——这是欧拉角参数的缺点，在βπ邻近也有类似的多一对应 据K系与K系的相对位置计算 计算转动变换R的欧拉角，有两种方法 据R矩阵的第三列α,β与第三行π-γ矩阵元素计算 有的文献采用 将R分解为绕K系坐标轴三次转动乘积，即先绕x3轴转α角，再绕新轴x2转β角，最后绕更新轴x3转γ角 SU2群也可类似地定义欧拉角，只是γ角的变化范围扩大了一倍 二、SU2群的线性表示 1. 求表示的方法 类似有限群，找一个线性变换群G的表示，基本方法：寻找变换群的不变函数空间（PGψψ仍属此空间） 适当选取函数基，用标量函数变换算符作用上去，得到函数基的线性组合 2. SU2的表示 将群元素u看成二维复空间的幺正变换 ξ,η表示复空间中的坐标 由ξ,η的n次齐次函数构成n+1维函数空间，是SU2群的不变函数空间 函数基： 为了将来物理意义清楚，也为了表示的幺正性，重新选择描写函数基的指标和函数基的系数 现将标量函数算符作用到函数基上，计算表示 先计算u-1 u∈SU2，是幺正矩阵 u-1u+ σ是厄米矩阵 σ+σ 将泡利矩阵形式代入 由 只需计算时的表示矩阵时，n1n20，n31，则 将其代入 得 展开系数 Djνμ（u） 因此 δνμ：单位矩阵对角元素时，n1n30，n21，则 求和指标n和m是整数，它们的取值范围由使分母不变成无穷大的条件给出 为了将等式右边表示成函数基的线性组合， 将求和指标n和m 替换成 n和ν， 将ξ的指数 2j-n-m 换成 j -νηn+mj+ν 即 νn+m-j 取值为 j，j-1，...，-j 得到ξ,η 构成的不变函数空间中SU2群的表示Dj 其中，绕x3轴转动的元素对应的表示矩阵是对角化的x2实正交的按惯例，该矩阵的行列指标 按j,j-1,...,-j-1,-j的次序排列 3. dj矩阵的对称性质 SO3群表示同上式 练 习 分别计算j0，1/2，1时，SO3群的表示Djνμα,β,γ欧拉角的函数