最近在柯朗的数学物理方法教程上发现了一些东西,以此机会对球谐函数写一个review
我们注意到了以下的事实
1.在量子力学中,常常将球谐多项式称为不可约张量算符,
2.在静电学中,多极矩展开,既可以用多极矩张量来表示,又可以用球谐函数来表示.
直观的说,球谐函数与张量之间是等价的,是本质相同的.
关于球谐函数与低阶张量之间的对应关系,在李政道的物理学中的数学方法 中有过讨论.但是书中表示,球谐函数与三阶以上的张量的对应关系要想写出是较困难的, 但是我发现利用柯朗的书中出的Maxwell-Sylvester表示法,可以寻觅到答案的所在.
接下来要讨论的所有问题的中心就是转动群的表示,从这一点出的发,可以理清这一系列的问题.
1.从调和函数到转动群的不可约表示
比较了诸多的资料,对于得到SO(3)的不可约表示,有三种不同的但是殊途同归的切入方式
来源于调和函数. 我们知道,调和函数空间可以荷载转动群的表示,因为调和函数张成的空间在转动群作用下是封闭的. 其中 次的齐次调和多项式空间(下面记为 )正是转动群的 维不可约表示空间.
次的齐次调和多项式空间(下面记为 )的维数为 为 次齐次多项式空间
容易知道其维数为
考虑线性映射 其中 为Laplace算符,
这个映射显然是一个满射,所以核空间即 的维数为
我们也知道, 阶的球谐多项式 共有 个, 易验证他们都是调和多项式,且线性无关,
所以 阶的球谐多项式 就是 的一组正交的完备基底. 使用这组基底,就能构造出转动群的 维的不可约酉表示.
从反方向说,使用另外的一组调和多项式基,例如 时, ,这些简单的齐次调和多项式基底和球谐多项式基底是等价的,可以做一些线性组合去构造出想要的球谐多项式,这一点十分关键.
2.用商表示作为转动群的不可约表示
上面所说,通过调和多项式,可以得到转动群的不可约表示,下面我们回顾第二种得到转动群不可约表示的方法..
首先,次齐次多项式空间 也是转动群的一个表示,但是这个表示不是不可约的,因为可以用一维不可约表示 与 的直积构成 的一个子表示.
所以 模掉这个子表示才是不可约表示,用多项式的语言,不可约表示是 模去 生成的理想,而最后得到的商表示的维数也是
3.通过张量得到转动群的不可约表示.
表示论中有如下的定理,如果紧致Lie群是有限维向量空间的上的线性群的一个闭子群,则它的所有不可约表示可以从基本表示的张量积约化出来.最简单的例子就是,SO(3)的基本表示是三维的,而做一次张量积后可以由如下的约化
实际上,只通过全对称张量空间就可以约化出转动群的全部不可约表示了. 做法就是将张量对称无迹部分拿出来就可以了,这部分对称无迹的张量就是所谓的不可约张量
注意到一个 阶全对称张量的独立分量与 次的齐次多项式基底 是一一对应的,因为你可以用过对称性把不同的分量都给他以统一的指标排列写出来比如说对
可以认为下标中的字符串就是一个齐次式,所以从计数的角度说,首先,一个 阶全对称张量的独立分量个数与 次齐次多项式空间 的维数相等,同样的,要得到无迹张量子空间,需要在对指标两两缩并,所以无迹张量子空间必然满足 个约束方程,所以全对称无迹张量子空间的维数就是 .
4.通过多Maxwell-Sylvester表示法来实现三种方式的统一
所谓的Maxwell-Sylvester表示法就是在静电学中我们熟悉的多极矩展开
在空间转动作用下,展开的每一项都是不变的,更具体的说
是转动不变的
这个不变量就可以看作张量 与张量 之间的一个内积.
下面的主角就是多极矩张量
首先,它是一个仿射张量,可以验证,在仿射(线性)坐标变换之下是协变的.
齐次,它正式上一节提到的全对称Traceless张量,可以验证,对任意两个下标缩并结果均为零
所以,这个张量在坐标变换下实现了转动群的一个 维的不可约表式.
然后,它的每一个分量都给出了一个调和多项式,
容易验证,
均是一个调和多项式.
定理(Maxwell,Sylvester):多极矩张量的分量中总包含了调和多项式的完备基底.
这个定理关键的,他告诉我们,多极矩张量的分量可以被用于生成全部的调和多项式.
一个最简单的例子就是四极矩张量的分量们
当然,后面的三个分量是不独立的,所以可以任意删掉一个,构成一个5维的调和多项式空间. 同时也意识到,这个空间,就是转动群的一个五维的不可约表示,这些基函数,可以构成2阶的球谐函数,在量子力学中,把他们都可以叫做2阶不可约张量算符.
最后我们来谈商表示是怎么体现在这个张量中的.
其实很简单, 的前面部分就是一个常系数导子值的 齐次多项式,他们代表了齐次多项式的原始表示空间,可是当他们作用到 上的时候,自然会产生一个等价关系
商掉等价关系后的商空间正是商表示.
5.Maxwell-Sylvester方法直接生成球谐函数
前面的所有论证无非是要说明,调和函数,不可约张量两种体系本质上可以统一为多极矩张量
一方面,多极矩张量就是不可约张量,另一方面,它的分量给出了全部相互独立的调和多项式
我们也知道,球谐多项式是一组特殊的调和多项式,且与直接生成的多极矩分量是等价的,也就是说,存在这一个变换,将多极矩分量转换成球谐函数.
而张量的协变性使得我们想到,球谐多项式空间中的基变换,可以由张量的坐标变换诱导
若我们引入以下的线性坐标变换
则多极矩张量在协变规则下,其分量都变成了球谐函数
最明显的是 时,以上的三个新的坐标就是偶极矩张量在新表象下的坐标,而他们就是三个
一阶的球谐函数.
对于一般的多极矩,按照协变规则 ,新的分量必为
此时的抽象指标 可以取
我们将证明,这就是球谐函数.
首先在新的坐标系下,并不改变的是调和多项式的本质,必有
所以可以推出的是
齐次,让我们在新的坐标系下考虑角动量算符
可以证明, 的为角动量算符属于本征值 的本征函数
由对易子
所以对易子
又由于
所以
这样一来, 就是 的共同本征函数,量子数标记为
根据球谐函数的定义可以知道, 在单位球面上的限制必然与球谐函数 只相差一个归一化的系数和相位因子,进一步地,易验证
所以 在相位约定上也和 保持了一致.所以我们可以进行归一化后直接写出球谐函数了.
参考文献:
[1]李政道 物理学中的数学方法
[2]Methods of Mathematical Physics [Vol 1] - R. Courant, D. Hilbert (Wiley, 1989)
[3] A.И.柯斯特利金 代数学引论(第三卷)
[4]I.R.Shafarevich 代数基本概念
[5]Group Theory in a Nutshell for Physicists-A.Zee
来源:知乎 www.zhihu.com
作者:姚舜辉
【知乎日报】千万用户的选择,做朋友圈里的新鲜事分享大牛。 点击下载
没有评论:
发表评论