物理学中的群论基础第四章.pptVIP

虽然k和l的求和上限分别是(j+m)和(j?m), 下限是零. 只要k和l 取使分母中所有阶乘的宗量非负的全体整数值就能自动顾及这点. 把上式写成各flm的先行组合. 如果作变量变换m?=j ?k ?l, 则有 2j ?k ?l=j + m?, k +l=j ? m?, 上式变作 其中 这里, k仍是取使分母中全部阶乘的宗量非负的一切可能的整数值. k的取值范围对不同的m和m?值可以不同. 如果记住求和范围, 让变 量变动, 可以得到相同的结果. k的下限由m??m值确定. 若m??m0 k的下限是m?m?;若m??m0, k的下限是0. k的上限受制于因子j+m ?k和j ? m? ? k, 它等于两个整数j + m和j ? m?中较小者. 函数fjm很明显构成了2j+1维Hilbert空间L2j+1中一组2j+1个独立函 数. 注意到 右边是(|u|2+|v|2)2j/(2j)!的二项式展开, 因而 由于|u|2+|v|2在SU(2)的变换下是不变量, 故 也是不变量, 这表明表示D(j)是幺正的. 利用Schur引理1的逆定理证明, 表示D(j)是不可约的. 也就是要 证明, 若矩阵P与所有D(j)(a, b)(|a|2+|b|2=1)交换, 则P必为常数矩 阵. 求两种特殊情况下D(j)的矩阵. 选a=exp(i?/2), b=0(?是实数). 上页式中只有k=0的项不为零, 这给出 若在一般表达式中令m?=j, 可看到k的唯一可能值是零, 这给出 若P与前面形式的所有矩阵D(j)交换, 这些矩阵都是对角的, 对角元 都不相等, P一定也是对角矩阵, Pik=pi?ik. 考虑矩阵等式PD(j)(a,b) =D(j)(a,b)P的i行m列元素, 利用上式求得PjDjm(j)=Djm(j)pm. 因为 Djm(j)(a,b)不恒等于零, 从而pj=pm, 亦即P必为一常数矩阵. 可见, D(j)是一不可约表示. 事实上, D(j)是SO(2)群唯一的2j+1维不可约 表示. 此外, 因为对不同j值, 表示D(j)的维数不同, 故它们互不等价. SU(2)群对每一个整数n, 有且仅有一个不等价的n维不可约表示. 对D(j)的特征标, 先确定SU(2)的类结构. SU(2)群元素中参数? 的实数部分相同者属于同一类. 计算SU(2)群一般元的本征值. 若? 是幺正矩阵的本征值, 一定可推出?满足二次方程 ?2?(a+a*)?+1=0. 于是两个本征值是 ?1 =[? +(? 2 ? 4)1/2]/2, ?2 =[? ?(? 2 ? 4)1/2]/2. 其中?= ? + ?*是实数. 由条件aa*+bb*=1显然有???Re(a)??, 故?2 ? ? 2. 上式表明?1 = ?2*. 还可看出?1?2=1, 于是|?1|=|?2|=1. ?有 cos(?/2)=?/2, sin(?/2)=(1 ? ?2/4)1/2, 可看到两个本征值变作 ?1 =exp(i?/2), ?2 =exp(?i?/2). 因为?2 ? ? ? 2, 有??? cos(?/2) ??和0? sin(?/2) ??. 由于本征值只 依赖a的实数部分, SU(2)的Re(a)值相同的所有元素本征值将相同, 从而相互共轭. 区间[0, 2?]上每一实?值, 确定SU(2)的一个共轭类. 不可约表示D(j)中? 所标志的共轭类特征标. 同一类中所有元素 的特征表相同, 显然可以选取所考虑的SU(2)中使a=exp(i?/2),b=0 的元素R(a, b). 在D(j)中此元素的矩阵已经求出. 此矩阵的迹给出所 考虑元素的特征标. 于是 这与转动群SO(3)的特征标相似, 对SO(2)群, j可取非负整数也 可以取非负半整数. 而对SO(3)群, 只能取非负整数. 4.5.2 SU(2)群到SO(3)群的同态 考虑函数fjm, j=1的特殊 情况. 这时我们有三个函数: 在SU(2)群的一般元素R(a, b)作用下它们这样变换: x1?=R(a, b)x1= a2x1+abx2+b2x3, x2?=R(a, b)x2= ?2ab?x1+(aa? ?bb?)x2+2a?b?x3, x3?=R(a, b)x3= b?2x1 ?a?b?x2+a?2x3. 定义三个新变量 x=x1 ?x2, y= ?i(x1 +x3), z=x2. 它们的逆变换是 x1=(x+iy)/2, x2=z, x3=(?x+iy)/2. 带撇量之间的关系也是这样. 我们看到上面的变换变作 注意到上式中所有系数都是实的. 此外, aa*+bb*=1, 可以证明 x ?2+ y ?2+ z ?2= x2+ y2+ z2. 这样就成功地把行列式为1的2阶幺正 矩阵和行