群论第五章转动群（2）老师说伴随表示要求学会 |
您所在的位置：网站首页 › 生成元一定是基吗 › 群论第五章转动群（2）老师说伴随表示要求学会 |
群论第五章转动群（2）老师说伴随表示要求学会
|
第章
第章1.3节 SU（2）群的不等价不可约表示1.欧拉角 见北大群论书+此笔记。此笔记中有些内容北大群论书没有。但北大群论书也写得好，必须学1）2） SO(3) 群的元素 R(α,β,γ)3）欧拉角的两种含义：4）欧拉角参数化和、、ω、θ、ϕ参数化之间的关系：2.SU（2）群的不可约表示下面求2个重要的表示矩阵：a.绕 x3 轴转动 ω 角元素的表示矩阵b.绕 x2 轴转动 ω 角元素的表示矩阵SU（2）群的不可约表示及其性质性质：3.SO(3)群的不可约表示4.O（3）群的不可约表示1.4节 李氏定理4.伴随表示1）伴随表示的生成元2）求伴随表示3）微量微分算符a.重要公式b.这个公式在物理上的应用：1.5节 SU（2）群直乘表示的约化 没时间，和CG系数有关，以后需要的时候再学吧1.7节 物理应用1.球谐函数ψml(x)：是荷载这个SO(3) 群不可约表示 Dl的基TOC
1.3节 SU（2）群的不等价不可约表示
此节内容见北大群论书+此笔记。此笔记中有些内容北大群论书没有。但北大群论书也写得好，必须学 1.欧拉角 见北大群论书+此笔记。此笔记中有些内容北大群论书没有。但北大群论书也写得好，必须学 1） 用参数 ω→ 描写 SO(3) 群的元素 R(n^,ω) 优点：几何意义清楚, 它代表矢量绕 n^ 方向转动 ω 角的变换 群空间恒元的邻域内，参数与群元素一一对应 缺点: 由 R 矩阵的具体形式确定这组参数较麻烦；由动坐标系 K′ 相对定坐标系 K 的位置确定转动参数较困难 应用：常用于理论研究 用欧拉角 (α,β,γ) 描写 SO(3) 群的元素 R(α,β,γ) 优,点: SO(3) 群的任意元素可表示为三个绕坐标轴转动的乘积 由绕坐标轴转动元素的表示矩阵可确定任意元素的表示矩阵原因见北大群论书196至198页求出 SO(3) 群的元素 R(α,β,γ)的过程，就可以知道。 缺点：群空间恒元的邻域内，参数与群元素多一对应 应用：常用于实际计算，计算时求欧拉角的方法：见作业题 2） SO(3) 群的元素 R(α,β,γ)根据北大群论书196至198页求出 SO(3) 群的元素 R(α,β,γ)的过程，得到
这个参数范围与北大群论书不同。以北大群论书为准。
三维转动变换R可分解为绕定坐标系的坐标轴的三个转动的乘积（一个矢量先绕定坐标轴z轴转γ，再绕定坐标轴y轴转β，最后绕定坐标轴z轴转α），也可分解为绕动坐标系的坐标轴的三个转动的乘积（见北大群论书），二者乘积次序正好相反（背）：
以前第二章讲的、、、Cn、Dn、T、I等其实都是SO（3）的子群，、、、Cn、Dn、T、I等的表示我们已经在第三章清楚了。 将SU（2）群的元素u看作二维复向量空间的幺正变换（这是因为u是幺正的，故称为幺正变换）
ξ,η 的 n 次齐次函数构成的 n+1 维函数空间是 SU(2) 的不变函数空间，这个就是表示空间。
比如第三章讲了，、、ξ2、η2、ξη这三个n=2的二次函数一定构成一个3维不变函数空间，根据 
这样取基是为了使得求出来的表示是幺正的。 根据此基的表达式可以知道，这是ξ,η 的 2j 次齐次函数，即n=2j j和ν的物理意义见北大群论204页。写得好。而这个ppt没写。 j的意义：j标记一个表示空间，一个j对应一个表示空间，它是一个函数空间。也即一个j对应一个表示。 ν的意义：对一个特定的j，即对一个表示空间，有不同的基，这些基用ν来标记，根据上面的公式知道，一共有2j+1个基，即2j+1维的函数空间。（n+1维的函数空间） 根据第三章知道，求表示的方法：
Pu：与 u 对应的函数变换算符 Pu
下面求2个重要的表示矩阵：
a.绕 x3 轴转动 ω 角元素的表示矩阵
原因见北大群论书205页 b.绕 x2 轴转动 ω 角元素的表示矩阵
得到的过程见北大群论206、207页。
几个特殊的 矩阵
这个实际上就和SU（2）群中绕y轴转ω的元素u
完整的一个SU（2）群中的元素u所对应的表示空间Lj中的表示矩阵的矩阵元为：（背）
证明见北大群论书，写得更好 性质： 注意这里在矩阵中，行、列指标、μ、ν按 j,j−1,⋯,−(j−1),−j 的次序排列。故知，Dj 是 2j+1 维表示,j=0,1/2,1,3/2,2,⋯这是因为前面已经说了，n=2j，其中n是整数，故j取以上的值。 可以证明，dj 是实正交矩阵， Dj 是幺正表示老师没说怎么证明 j=0 时，表示空间是一维的，表示是一维恒等表示：
原因见北大群论208页 j=1/2 时，表示空间是二维的，表示是SU（2）群的自身表示：  =(cosβ2e−i(α+γ)/2−sinβ2e−i(α−γ)/2sinβ2ei(α−γ)/2cosβ2ei(α+γ)/2)
原因见北大群论208页 j=1 时，表示空间是三维的，表示等价于SO（3）群的自身表示 根据北大群论书中的方法，根据（65）可以求出表示（其实基也可以根据204页基的表达式求出来）  =......
可以证明：存在相似变换矩阵M： ，使得 ，即知道，表示等价于SO（3）群的自身表示。
其他j的情况也可以类似求出来。
转相同角度的元素构成一类,即SU(2)群中元素u(n^,ω)的ω都相同的元素构成一类。由绕 x3 轴转 ω 角元素的表示矩阵得转角为ω 的类在 Dj 表示的特征标为
 （68）
当j=1/2时， ，这不奇怪，因为SU(2)群自身表示的特征标可以求出就是 。当j=1时， 。
对紧致李群，特征标的模方对群参数的带权积分等于1，则它就是不可约表示。这里求出的特征标公式（68）满足SU（2）群的不等价不可约表示特征标的正交关系：
故：不同 j 的表示 Dj 是 SU(2) 群的不等价不可约表示
不同 j 的表示 Dj 构成了 SU(2) 群的所有不等价不可约表示
证明没时间，算了。
以上公式的证明见北大群论207、208页。老师也讲了一个证明，见课，没时间，算了。
因为我们已经知道不可约表示矩阵（65），故根据这个公式，可以求出不可约表示的3个生成元。但是ppt上选择的三个参数对应的生成元并不是欧拉角分解为绕动坐标轴转动的三个参数、、α、β、γ，也不是ω→的球坐标、、ω、θ、ϕ，而是和欧拉角的另一个含义有关的三个参数，即前面讲类似欧拉角时所说的绕定坐标轴的三个转动的参数、、α、β、γ。
SU(2)的元素u也可以分解为绕定坐标轴的三个转动的乘积，参数为、、α、β、γ。能这样分解是因为北大群论书205页u表达式的第二行。这里的、、α、β、γ就是所选择的参数，其对应的生成元为：
这些公式和马书不同，可能老师打错字了？ 根据北大群论205至207页就可以理解三个生成元确实是这样求出来。我理解了。 以前讲SO(3)与SU（2）的同态关系SU(2)的参数也取为SO（3）的、n^、ω. 还有自共轭、实表示的内容，算了。见ppt，可能没用。
3.SO(3)群的不可约表示
SO(3) 群 1: 2 同态于 SU(2) 群 ,SO(3) 群的不可约表示一定也是 SU(2) 群的不可约表示
根据线性表示的定义“定义： 若行列式不为零 的 m×m 矩阵集合构成的群 与已知群同构或同态 D(G) 与已知 群 G 同构或同态 _ (背) (特别记住同态时一对多, 群G中的元素更多)， 则 矩阵群D(G) 称为 群 G 的一 个 m 维线性表示， 简称表示。”，同态或同构，可以理解上面结论。 SU(2) 群的不可约表示不一定是 SO(3) 群的不可约表示 当 j 为整数时,Dj(u)=Dj(−u) 是 SU(2) 群的非真实表示，是 SO(3) 群 的单值表示原因见北大群论209页。 当 j 为半整数时,Dj(u)=−Dj(−u) 是 SU(2) 群的真实表示; 此时 SO(3) 群的每一个元素都对应两个矩阵，不能保持群的乘法规律，严格说不是 SO(3) 群的表示，称为 SO(3) 群的双值表示 D(R1)D(R2)=D(±u1)D(±u2)=±D(u1)D(±u2)=±D(±u1u2)=±D(R1R2)原因见北大群论210页。根据北大群论211页图5.3就知道确实有D(R1)D(R2)=±D(R1R2)。 荷载SO(3) 群不可约表示 Dl的基可以是球谐函数，见1.7节 4.O（3）群的不可约表示没时间。 1.4节 李氏定理 4.伴随表示 1）伴随表示的生成元之前讲过，g维伴随表示描写生成元在共轭变换中的变换性质：
注意右边的 得：[Il,Ij]=∑kIk(Ilad)kj
又根据李氏第二定理得：[Il,Ij]=i∑kCljkIk
根据以上两个公式，得：  （70）
这就说明伴随表示的生成元是SO(3) 群自身表示的生成元。这不奇怪，因为以前证明过，SU(2) 群的伴随表示就是SO(3) 群自身表示。
（70）还说明，SO（3）群和SU（2）群的伴随表示就是SO3）群的自身表示（背）。
对SO（3）群的自身表示，根据 知，可以直接计算 ，过程省略，得：
这也说明了SO（3）群的伴随表示就是它的自身表示。
3）微量微分算符
a.重要公式
以前说过，SO（3）群的微量微分算符是轨道角动量算符，根据前面说的微量微分算符的共轭变换：
因为对SO（3）、SU(2)群来说，其伴随表示 在上面公式中取一个特殊的R：R=R(ϕ,θ,0)=S(ϕ,θ) , 则 Rk3 是单位矢量 n^(θ,ϕ) 的分量。 原因：R=R(ϕ,θ,0)=S(ϕ,θ)中的R的三个参数是欧拉角，看成绕定坐标轴的转动，根据 取j=3，得到：
证明：  这个公式在物理上的应用：
若 ψml(x) 是属 SO(3) 群不可约表示 Dlm 列的函数（即ψml(x)是荷载这个SO(3) 群不可约表示 Dl的基，比如后面说了球谐函数就是属 SO(3) 群不可约表示 Dlm 列的函数），则：
证明： 我觉得这里的l其实相当于前面不可约表示一节中的j：
因为L3是微量微分算符，是算符，故根据上面公式和(老师说应该是根据
根据以上，有：
球对称系统的对称变换群是SO（3）群，所谓的系统具有SO（3）对称性就是指系统的哈密顿量H（x）在转动变换中保持不变。对无自旋系统，
不变，就说明变换后还等于H(x) 设能级 E 是 n 重简并的，有 n 个线性无关的本征函数 ψμ(x) , 它们荷载 SO(3) 群的表示
以上公式的原因：第三章中：
此表示通常是可约的，将其按 SO(3) 群的不可约表示约化 (1)X−1D(R)X=θlalDl(R)χ(R)=∑lalχl(R)al=2π∫0πsin2ω2χl(ω)χ(ω)dω
以上就是荷载不可约表示的基
这是因为这个基荷载不可约表示，见第三章。 类似伴随表示一节的方法，可以得到：
|
（60）
这个分解的原因见北大群论198页R的表达式的上一行。
C语言中arctan是有两个参数的。才能确定值。
下面会讲，SU(2)群的自身表示就是SU(2)群的
表示。
可以知道是一个3维不变函数空间。
这就得到了表示矩阵的矩阵元：
从此可以知道，表示矩阵是对角的。
这就得到了这个元素对应的表示矩阵的矩阵元：
（具体表达式和参数n的范围见北大群论书，ppt没有说清楚）
这里的
其实就是高量中角动量理论中的d矩阵。注意这个矩阵是实正交矩阵。
注意这里，行、列指标、μ、ν按 j,j−1,⋯,−(j−1),−j 的次序排列，例如
（65）
，一对多，G中的元素更多。确实，以上结论得证。
其中
取R为无穷小元素，有：
根据前面所讲的无穷小元素的表示矩阵
知道，
是因为
是无穷小元素的矩阵元而不是矩阵。
其中
是伴随表示的生成元。说明伴随表示的生成元是由李群的结构常数
来决定的。
容易证明，这组生成元满足：
.
知道，
就是自身表示\Rkj.
知道，R(ϕ,θ,0)是先绕y方向转θ，再绕z方向转ϕ，
故这特殊的R就是前面介绍SO(3)群时说过的将 x3 轴上的点转到 n^(θ,ϕ) 方向的变换 S(ϕ,θ).
的过程来求出微量微分算符L3的矩阵形式，即此微量微分算符在所给定的这个表示中的生成元，推导过程估计复杂，老师没讲推导），得：
；
同理可以知道、、L1、L2、L3作用于基上的公式，再根据L2=L12+L22+L32可以得到：
又根据
和
可以知道
故PRψml(x) 为 L→2 和 L→⋅n^(θ,ϕ) 的共同本征函数，本征值分别为 l(l+1) 和 m .
注意前提条件：其中R是将x3 轴上的点转到 n^(θ,ϕ) 方向的变换 S(ϕ,θ).
例如若将n^(θ,ϕ)取为x轴，则Pxψml(x)为 L→2 和 Lx→ 的共同本征函数.
共同本征函数PRψml(x)的求法是：根据前面SO(3)的不可约表示一节的知识可以求出表示矩阵元
，再根据
就可以求出共同本征函数。
其中PR是SO(3) 群中元素R对应的算符，故知，Dvμ(R)就是SO(3)群的表示的矩阵元。
即：属 SO(3) 群不可约表示 Dlm 列的函数，是 L2 和 L3 的共同本征函数
（以上的过程是从群论的角度求共同本征函数的方法）
径向函数在转动变换中不变，故角度函数 Yml(θ,ϕ) 是属 SO(3) 群不可约表示 Dlm 列的函数（即ψml(x)是荷载这个SO(3) 群不可约表示 Dl的基） , 是 L2 和 L3 的共同本征函数, 称为球谐函数（背）
后面还有标量场、矢量场、旋量场、球谐函数、总角动量算符、不可约张量算符、Wigner- Eckart定理等没听。总角动量算符和旋量场这一节可能很重要，和自旋轨道耦合有关。【本文地址】
今日新闻 |
推荐新闻 |