1.4变换李群的无穷小算符.pptVIP

* §1.4变换李群的无穷小算符 设n维欧氏空间中坐标变换 的总体构成变换李群G，其中： 在上式变换下，n维欧氏空间中任一函数?(x)的变换为 上式可看作函数变换算符PR的定义 因为空间同一点的函数值不变，故 其中 省去带撇号： 其中 为变换R的逆元素的参数 对于无穷小变换，?k为无穷小，∴ ∴ 引入r个无穷小算符： 则原式为： 因为 ?(x)是任意的，故 ——投影算符 Zk——变换李群的无穷小算符，它的个数等于李群的阶数。 ------(*) 可以证明：李群的无穷小算符的对易式可表为该群的无穷小算符的线性组合，并且同李群的生成元一样，满足同样的对易式。 其中 为李群结构常数。 ------(☆) ex.1 （r =2, n=1） 当 时是恒等变换，故在 随近展开。 其中： 对易式： ∴ 满足前页（☆）式。 ex.2 二维转动群SO（2） 它是单参数，r=1,只有一个无穷小算符。 据定义： 令 这是角动量Z分量算符（? =1） ex.3 单位元：?1= ?4=1, ?2= ?3=0 在此附近展开 对易关系： 同理： x1=x, x2=y 令a=i?3/2, b= ?2/2+ i?1/2 ex.4 求SU(2)群的无穷小算符和对易关系 SU(2)，U= （有三个独立参量，a,b是复数） ∴ a,b很小 同理： ∴ 同理 可以验证 同理 ex.5 三维转动变换SO(3) 实空间中的无穷小转动为 其中?ij为无穷小参数，由于正交性，则 可知： ∴ ?ij仅有三个独立参数 设证： ∴ J1，J2，J3正是量子力学中的角动量算符，它们 的对易关系： §1.5 有限群元的生成 群G生成元 是在?=0附近求得的，它反应了整个G的性质 证明：在g(0)附近g(?) 当?并不很小时而很大时。 在 g(0) g(?) 群空间 分成N段 此算子使g(0)变到g(?/N) 令N ex.1 SO(2)群元素 定轴转动 无穷小生成元 令 ，则 ∴??完全决定了g(?)，即由g(??)得到的??决定g(?) 根据李群的无穷小算符，来导出相应的函数变换PR。 在变换李群的无穷小变换R下，函数变换算符为 其中 Zk为变换李群的无穷小算符 当?k不很小时，亦可将其分为N等分 对多参数李群，如SO(3)，可以求出绕x,y,z轴分别转?1，?2，?3角的转动算符: 绕空间任意方向 (方位角?, ?)，转过?角的转动算符，可表为； 这是因为： 取 则 ?=(?1 ?2 ?3) 为正则参数 如选欧拉(Euler)角?, ?, ?为SO(3)群参数。相继施行三个转动， 则 这是因为Jx Jy Jz三个分量是不可对易缘故。 ∴欧拉角?, ?, ?为非正则参数 §1.6 不变积分 李群的表示 1.61 不变积分 在有限群中，群G上的函数f(A)(A∈G)具有下列求和不变式： （根据是有限群中各元素R都具有同样的权重weightfs) 其中B为G中任意元素。 对于李群(无限群)，是否也有相应的不变式呢？ 首先，应将上面求和改为对群参数的积分，并且必须引入权重函数: r群为的阶 这样使得群上函数f(R)的积分在参数的变换下保持不变： 上式即为不变积分 （*） R?为任意元素 一般来说，上