第一章、粒子数表象 在本章中,我们将介绍如何更有效地处理全同粒子体系的对称性引起的符 号问题。首先,我们引入一些记号. $1.0置换及其奇偶性 将整数列(1,2,3,·,V)的任意一个重新排列称为一个置换,记作 A=(阳品P) (1) 这里,P()为将整数k置换后所得的数。例如,在置换 -(G88) (2) 中,我们有P(1)=4,P(2)=1,P(3)=5,P(④=2和P(⑤)=3。显然全部置换 的总数等于N个数全部排列的个数,即N!. 下面的置换值得特别一提, =(G…0) (3) 这种置换称为对换,记作(化,)。特别是当方-k+1时,对换(化,k+1)称为 一个相邻对换或轮换, 两个置换户与户的乘积定义为 (n)nn )(nd)nan) -(R0RR)=A (4) 它也是一个置换。例如 (G88)688)-(68) (5) 有了置换乘积的定义之后,我们可以证明,任何一个置换都可以写成相邻对 换的乘积。例如 3231)=3,4233,40,2B,42384231223— (6) 1
459( 0 ?BEZwP[C:/1|fu1jz`g|y_-$y -vfVw-;#E- $ 1.0 7"#!1 PNY (1, 2, 3, · · · , N) y8*#\_r#Y9Eh Pˆ = 1 P(1) 2 P(2) 3 P(3) · · · · · · N P(N) ! . (1) Iv P(k) rPNY k Y94`xyYx:?Y9 Pˆ = 1 4 2 1 3 5 4 2 5 3 (2) Zw1 P(1) = 4, P(2) = 1, P(3) = 5, P(4) = 2 . P(5) = 3 41TY9 ybYz4 N Y1TyYA N! ~yY9TxdM#e Pˆ = 1 1 2 2 · · · · · · k j · · · · · · j k · · · · · · N N ! . (3) I[Y9_r9Eh (k, j) dMRt j = k + 1 I9 (k, k + 1) _r #9= 9 }Y9 Pˆ 1 6 Pˆ 2 ya?+r Pˆ 1Pˆ 2 = 1 P1(1) 2 P1(2) · · · · · · N P1(N) ! 1 P2(1) 2 P2(2) · · · · · · N P2(N) ! = 1 P3(1) 2 P3(2) · · · · · · N P3(N) ! ≡ Pˆ 3. (4) a!R#Y9x: 1 4 2 5 3 2 4 1 5 3 1 3 2 1 3 5 4 2 5 4 = 1 2 2 4 3 3 4 5 5 1 . (5) 1Y9a?y+R4wl'P8/#Y9l'Æ` 9ya?x: 1 3 2 2 3 4 4 1 = (3, 4)(2, 3)(3, 4)(1, 2)(3, 4)(2, 3)(3, 4)(2, 3)(1, 2)(2, 3). (6) 1
它称为一个置换的相邻对换乘积分解。一般而言,这一分解不是唯一的。但 是,任一分解的奇偶性是确定的。因此,若一置换可以分解成奇数个相邻对 换的乘积,我们称其为奇置换。否则称为偶置换。 一个要特别指出的事实是,若定义一个置换P的奇偶性为(-1)P,则将其 第二行任意两个数对换后所得的置换的奇偶性为(-1)户+1。 最后,我们讨论一个数列分割的问题.若将按数列1,2,3,…,N编号的球 放到m个碗中,并要求第一个碗中有m1个球,第二个碗中有2个球,第m 个碗中有nm个球(自然,我们要求n1+n2+…+nm=N),问一共有多少种 不同的放法?答案是 N! K=nn2 (7) $1.1单粒子态 一个量子力学系统,在特定的边条件下,其定态Schrǒdinger方程的全部正 交归一本征解给出了一个完备函数族。特别是在略去了粒子之间的相互作用 之后,单体定态Schr心dinger的本征函数族{n(e)》,可以用来近似地描写粒子 之间相互作用较弱时的多粒子态。为了回顾我们在本科量子力学课程中学到 的有关单粒子态的知识,让我们先来看两个例子。 例11:考虑一个正方盒子,设其边长为L,当一个粒子在盒内运动时,其 定态Schrodinger方程为 六(品+器+)0=o © 这个方程的通解为 p(r)=Ck exp(k·r). 9 为了确定k及归一化常数Ck,我们需要加上适当的边条件。常用的边条件 为所谓周期性边条件,即要求)在两两相对的盒壁上取相同的值。例如在 x方向的两个盒壁上,我们要求 (侵=(台 (10) 2
a_r#Y9y9a?Y#> I#YRRq#ys R8#Yy#R2y,i<#Y9l'Y`#Y 9ya?w_"r#Y9A_rY9 # dMUdyPKR<+#Y9 Pˆ y#r (−1)Pˆ AP" }8*}Y94`xyY9y#r (−1)Pˆ+1 f4w #Yyvf<P;Y 1, 2, 3, · · · , N G-y+ v m oZN ,}#oZ1 n1 +}oZ1 n2 +} m oZ1 nm + (a4w , n1 + n2 + · · · + nm = N) v#"1B[ Rjy n<R K = N! n1!n2! · · · · · · nm! . (7) $ 1.1 Æ8* #~`{|k?dyFhO~"b Schr¨odinger by1TO R)#BMYd#n,YddMR?0z`RLy5h/ R4qgb Schr¨odinger yBM,Yd {ψn(x)} l'/s_\|Æz` RL5h/U=Iyz`br:%w?Bk~`{obZv y1'qz`byQL5wsi}x` 1.1: j#O1`D"F\r L t#z`?1=I" b Schr¨odinger br − h¯ 2 2m ∂ 2 ∂x2 + ∂ 2 ∂y2 + ∂ 2 ∂z2 ! ϕ(r) = Eϕ(r). (8) IbyiYr ϕ(r) = Ck exp (ik · r). (9) r2 k )#6[Y Ck w IStyFhO[/yFhO r`u℄!FhOA , ϕ(r) ?}}y1E.jyTx:? x y}1Ew , ϕ L 2 , y, z = ϕ − L 2 , y, z . (10) 2
由看我们例到 exp(k5+vy+k=ep(-ik与+iky+k) (11) 或是 exp(ikzL)=1. 12 这就要求 k=2,%=0h2… 同理,我们例到k,及k:可取的案许部为: =艺后-2m%=0,1,2 14 因看,这个体系单粒成态的全体由下式给出 Pmm)(,)=C xp(2五nr+ng+n) (15) 最后,我们由下式决定归一化常数C [%[Raaanle,u.r -n4f=we-i (16) 由看我们解例C=办=六定而当(,n2m)≠(a,2,)时,我们有 ar饭司 =0. (17) 因看,一组正交归一的单粒成态由下式给出 9mz,刘=市ep(径mt+ay+n%)) 1 (18) 3
0iwxv exp ikx L 2 + ikyy + ikzz = exp −ikx L 2 + ikyy + ikzz , (11) =R exp (ikxL) = 1. (12) Ia , kx = 2π L nx, nx = 0, ±1, ±2, · · · · · · (13) juwxv ky kz l.y<Tr ky = 2π L ny, kz = 2π L nz, ny, nz = 0, ±1, ±2, · · · · · · (14) ,iIg|qz`by1g0~Nd ϕ(nx,ny,nz)(x, y, z) = Cnx,ny,nz exp i 2π L (nxx + nyy + nzz) . (15) f4w0~Nf)#6[Y Cnx,ny,nz Z L/2 −L/2 Z L/2 −L/2 Z L/2 −L/2 dxdydz|ϕ(n1,n2,n3)(x, y, z)| 2 = Z L/2 −L/2 Z L/2 −L/2 Z L/2 −L/2 dxdydz|Cnx,ny,nz | 2 = |Cnx,ny,nz | 2L 3 = 1. (16) 0iwYx Cnx,ny,nz = √ 1 L3 = √ 1 V t (n1, n2, n3) 6= (ne1, ne2, ne3) Iw1 Z L/2 −L/2 Z L/2 −L/2 Z L/2 −L/2 dxdydz ϕ(n1,n2,n3)(x, y, z) ∗ ϕ(en1,en2,en3) (x, y, z) = 1 V Z L/2 −L/2 Z L/2 −L/2 Z L/2 −L/2 dxdydz exp (i(n1 − ne1)x + i(n2 − ne2)y + i(n3 − ne3)z) = 0. (17) ,i#eOR)#yqz`b0~Nd ϕ(n1,n2,n3)(x, y, z) = 1 √ V exp i 2π L (n1x + n2y + n3z) . (18) 3
这里,量子数m1,2,g=0,士1,士2,…。当粒子同时有自旋自由度时,我 们可将体系的单粒子态改写为 we)=即(受ar+g+)) 1 e名=不即(2mr+a+m)们) (19) 下面,我们用记号k=(,2,n3,o)来简记本征态的量子数,而用q来标记 其自由度(红,弘,云,s,$)。当我们对q积分时,∫g应理解为对r求积分,而对 内部自由度求和,利用Kronecker符号,我们可将单粒子态的正交归一条件写 成 da pi (q)pa(q)=8mka. (20) 例1.2:在一维谐振子势V(x)=w2x2中运动的粒子的全部定态本征函数 可被写作: -(偿)”ma(6骨.-012 (21) 其中Hn(x)为厄密多项式。它们是Schrǒdinger方程 2m惊a)+2mu2ra(回)=E(回 n2 d (22) 在无穷远处为零的正交归一解。按照量子力学的基本原理,Schrodinger方程 (22)的任何一个解,都可以按照这些函数作展开,即 红,)=∑am.倒ep(-会) (23) 最后,我们要介绍一个下面常要用到的恒等式 ∑Pe9)piq)=∑4 lq))=6r-r)6,s=i4-q. (24 证明:按照Dirac函数的定义,对于任何一个单粒子波函数p(q,t),恒等 式 dav(a.t)6(d-)=(d,t) (25) 4
Iv~`Y n1, n2, n3 = 0, ±1, ±2, · · · · · · tz`jI1aa0Iw lPg|yqz`bÆr ϕe(n1,n2,n3,↑)(x, y, z, ↑) = 1 √ V exp i 2π L (n1x + n2y + n3z) 1 0 ! ϕe(n1,n2,n3,↓)(x, y, z, ↓) = 1 √ V exp i 2π L (n1x + n2y + n3z) 0 1 ! . (19) ~w/E- k = (n1, n2, n3, σ) sMEBMby~`Y / q sKE "a0 (x, y, z, s, sz) tw q ?I R dq .uYr r ,? Ta0,.w/ Kronecker -wlPqz`byOR)#hOÆ ` Z dq ϕ∗ k1 (q)ϕk2 (q) = δk1,k2 . (20) 1.2: ?#s K`Q V (x) = 1 2mω2x 2 Z=yz`y1TbBM,Y lAÆh ψn(x) = mω πh¯ 1/4 1 2 n/2 √ n! e −mωx2/2¯hHn x rmω h¯ , n = 0, 1, 2, · · · (21) "Z Hn(x) r NaR Schr¨odinger b − h¯ 2 2m d 2 dx2 ψn(x) + 1 2 mω2 x 2ψn(x) = Enψn(x) (22) ?x*;fryOR)#Y;G~`{y>B9u Schr¨odinger b (22) y8/#Yl';GI,YhBhA ϕ(x, t) = X n anψn(x) exp −i En h¯ t . (23) f4w [C#~[ /vy3zN X k ϕk(q ′ )ϕ ∗ k (q) ≡ X k hq ′ |ϕkihϕk|qi = δ(r ′ − r)δs ′s ≡ δ(q ′ − q). (24) 6 ;G Dirac ,Yy+48/#qz`Q,Y ϕ(q, t) 3z N Z dq ϕ(q, t) δ(q ′ − q) = ϕ(q ′ , t) (25) 4
成立。又由于 plg,=∑as(g)ep(-元Et) (26) 我们有 ∫西E%运E%oe即( (d)o.exp()davi.(a)e.() =于于%ae,e即( =∑,(g)ep(E =(g,t). (27) 这样,我们就验证了恒等式(24)。 $1.2全同粒子波函数 现在,我们考虑体系内有N个全同粒子时的情况。很自然,同单粒子时的 情况一样,N个粒子的一般波函数应该可以按照一组正交归一函数展开,即 (g,92,…,9N)=∑C1(g,g,…,9N) (28) 这里,{}的选取,应该满足以下几个条件 (1)正交归一; (②)体现体系是由N个单粒子组成的; (③)满足全同粒子体系应该满足的统计规律。 对于第三个条件,我们做一点说明。根据量子力学的基本原理,若全同粒 子体系是由玻色子组成的,则波函数应该满足 (91,,9,…,9,…,9N)=(91,…,,…,9,…,9w (29 而对于费米子体系,则要求 (q1,…,g,,,…,9N)=-(q1,…,g,…,9,…,qN) (30) 5
`y304 ϕ(q, t) = X k akϕk(q) exp − i h¯ Ekt , (26) w1 Z dq X k1 ϕk1 (q ′ )ϕ ∗ k1 (q) X k2 ak2ϕk2 (q) exp − i h¯ Ek2 t = X k1 X k2 ϕk1 (q ′ )ak2 exp − i h¯ Ek2 t Z dqϕ∗ k1 (q)ϕk2 (q) = X k1 X k2 ϕk1 (q ′ )ak2 exp − i h¯ Ek2 t δk1,k2 = X k1 ak1ϕk1 (q ′ ) exp − i h¯ Ek1 t = ϕ(q ′ , t). (27) IwaP3zN (24) $ 1.2 $,8' ?wjg|1 N 1jz`Iy)r2a4jqz`Iy )r#N z`y#>Q,Y.l';G#eOR)#,YBhA ψ(q1, q2, · · · , qN ) = X l Clψl(q1, q2, · · · , qN ). (28) Iv {ψl} y.. '~ChO (1) OR)# (2) gg|R0 N qz`e`y (3) 1jz`g|. ykD( 4}>hOwg#~[ ~`{y>B9u<1jz `g|R0O?`e`yAQ,Y. ψ(q1, · · · , qi , · · · , qj , · · · , qN ) = ψ(q1, · · · , qj , · · · , qi , · · · , qN ). (29) 4`g|A , ψ(q1, · · · , qi , · · · , qj , · · · , qN ) = −ψ(q1, · · · , qj , · · · , qi , · · · , qN ). (30) 5
因此,我们应当要求 ()对于玻色子有 h(q1,…,9,…,5,…,9N)=(91,…,9,…,9,,9N月 (31) (2)对于费米子有 (q1,…,g,…,,…,qv)=-(q1,…,g,…,9,…,qN) (32) 成立。 在可以将粒子之间的相互作用作为微扰处理的情况下,一个多体体系的本 征波函数(1,…,,…,,…,9)可以按照单粒子波函数的乘积做展开。既 (1)对于玻色子,我们可以定义 h(q1,…,9,…,9,…,9N)=%1kx(91,…,9,…,,…,9N) =D∑P(s(g)…9sx(gw》=D∑P.((gr)…pkx(qP).(3) 这里,记号印和的分别代表对于全部的置换和给出不同的项的置换类的 求和。而相应地,D和D分别为全部展开式和合并同类项后的展开式的归 一化常数。 (2)对于费米子,我们可以定义 (91,…,9,…,9…,9N)=%kx(91,,9,…,9,,9N) =D∑(-1)PP(9g)小…p%x(9v月 =D∑(-1)Ppa(pa)…pw(qrw) (34) 在此波函数中,我们要求每一个态指标仅出现一次。因此,展开式中的项两 两不同.归一化系数没有D与D的区别. 在说明这些定义和要求的合理性之前,让我们看一个具体的例子。 6
,iw.t , (1) 4O?`1 ψl(q1, · · · , qi , · · · , qj , · · · , qN ) = ψl(q1, · · · , qj , · · · , qi , · · · , qN ); (31) (2) 4`1 ψl(q1, · · · , qi , · · · , qj , · · · , qN ) = −ψl(q1, · · · , qj , · · · , qi , · · · , qN ) (32) `y ?l'Pz`RLy5h/hrp6fuy)r~#gg|yB MQ,Y ψl(q1, · · · , qi , · · · , qj , · · · , qN ) l';Gqz`Q,Yya?gBhF (1) 4O?`wl'+ ψl(q1, · · · , qi , · · · , qj , · · · , qN ) = ψk1,······,kN (q1, · · · , qi , · · · , qj , · · · , qN ) = D X Pˆ Pˆ (ϕk1 (q1)· · · · · ·ϕkN (qN )) = DfX {Pˆ} ϕk1 qP(1) · · · · · ·ϕkN qP(N) . (33) IvE- ΣPˆ . Σ{Pˆ} MpL41TyY9.dRjyyY9ty ,. .| D . Df Mr1TBhN.0Njt4yBhNy) #6[Y (2) 4`wl'+ ψl(q1, · · · , qi , · · · , qj , · · · , qN ) = ψk1,······,kN (q1, · · · , qi , · · · , qj , · · · , qN ) = D X Pˆ (−1)Pˆ Pˆ (ϕk1 (q1)· · · · · ·ϕkN (qN )) = D X Pˆ (−1)Pˆ ϕk1 qP(1) · · · · · ·ϕkN qP(N) . (34) ?iQ,YZw ,Æ#bUK\d#j,iBhNZy} }Rj)#6|Y 1 D 6 Df y-M ?[I+. ,y0uR&5wi#dgyx` 6
例13:假设有三个全同玻积子,而仅有两个态和应。我们考虑下费两 个可能的态k(m,如,)和(,9,)。按照定义,我们有 p2k1,k(q1,q2,3) Di(9)o(2)(93)+(92)(93)()+(93)om()(92) +Pk1(92)Pk(91)Pk2(93)+P1(g1)Pk(9s)P2(92)+Pk(9s)p((2)Pz(91] =D【pk(gn)pk(2)p(g)+pk(q2)pk(qs)p(q1)+pk(9s)pk(q)pz(92】.(35) 同理,我们有 122(91,92,93) -Da[pL(Q)p(q)(Q)+(Q)p()p(q)+()()()-(36) 显后,对于这两个函数,任意对换其中一对坐标,函数值并不改变。其次, 由于(2h1,2)≠(1,22),我们可以证明这两个函数正交。实际上,我们有 dq1dq2d4g21k(91,92,9s)w1,22(9h,92,9s) =dadgadgs DiD2 ×P(q1)p,(92)p(9s)+P(2)p,(9s)p(q)+p克(s)P(q1)P(q2】 ×【Pa(9m)Pa(92)Pa(9s)+p(2)pa(9s)P(g1)+P(9s)pa(q1)Pa(9】.(37) 乘开后,一共有9项。我们和其中第一项来看,有 dandgadas((2((() (d4,(p(g)(dq%,(Jpz(q2))(d9gi,(9s)pa(s)).(38 由于第二个因子况零,导致整个乘积况零。同理,我们可证,其余的项也况 零。这是由于,当两个态的单粒子态量子数不相同时,总可以找到一个坐标 g,使得(g)与Pa(g)具有不同的量子数a和B。因此,积分值 a(qi)pB(qi)dq:=0. (39) 7
1.3: JD1>1jO?` \1}b k1 . k2 wj~} lyb ψ2k1,k2 (q1, q2, q3) . ψ2k1,k2 (q1, q2, q3) ;G+w1 ψ2k1,k2 (q1, q2, q3) = D1 [ϕk1 (q1)ϕk1 (q2)ϕk2 (q3) + ϕk1 (q2)ϕk1 (q3)ϕk2 (q1) + ϕk1 (q3)ϕk1 (q1)ϕk2 (q2) + ϕk1 (q2)ϕk1 (q1)ϕk2 (q3) + ϕk1 (q1)ϕk1 (q3)ϕk2 (q2) + ϕk1 (q3)ϕk1 (q2)ϕk2 (q1)] = Df1 [ϕk1 (q1)ϕk1 (q2)ϕk2 (q3) + ϕk1 (q2)ϕk1 (q3)ϕk2 (q1) + ϕk1 (q3)ϕk1 (q1)ϕk2 (q2)] .(35) juw1 ψk1,2k2 (q1, q2, q3) = Df2 [ϕk1 (q1)ϕk2 (q2)ϕk2 (q3) + ϕk1 (q2)ϕk2 (q3)ϕk2 (q1) + ϕk1 (q3)ϕk2 (q1)ϕk2 (q2)] .(36) 44I},Y8*9"Z#iK,YTNRI"j 04 (2k1, k2) 6= (k1, 2k2) wl'PI},YORKGw1 Z dq1dq2dq3 ψ ∗ 2k1,k2 (q1, q2, q3)ψk1,2k2 (q1, q2, q3) = Z dq1dq2dq3 Df∗ 1Df2 × h ϕ ∗ k1 (q1)ϕ ∗ k1 (q2)ϕ ∗ k2 (q3) + ϕ ∗ k1 (q2)ϕ ∗ k1 (q3)ϕ ∗ k2 (q1) + ϕ ∗ k1 (q3)ϕ ∗ k1 (q1)ϕ ∗ k2 (q2) i × [ϕk1 (q1)ϕk2 (q2)ϕk2 (q3) + ϕk1 (q2)ϕk2 (q3)ϕk2 (q1) + ϕk1 (q3)ϕk2 (q1)ϕk2 (q2)] . (37) ah4#"1 9 w."Z}#si1 Z dq1dq2dq3 ϕ ∗ k1 (q1)ϕ ∗ k1 (q2)ϕ ∗ k2 (q3)ϕk1 (q1)ϕk2 (q2)ϕk2 (q3) = Z dq1 ϕ ∗ k1 (q1)ϕk1 (q1) Z dq2 ϕ ∗ k1 (q2)ϕk2 (q2) Z dq3 ϕ ∗ k2 (q3)ϕk2 (q3) . (38) 04},`ruXNa?rjuwlP"5y!r IR04t}byqz`b~`YRjIbl'Fv#iK qi Mx ϕ ∗ α (qi) 6 ϕβ(qi) d1Rjy~`Y α . β ,i?T Z ϕ ∗ α (qi)ϕβ(qi)dqi = 0. (39) 7
定积,我们计算归一与常数D1应D2定合归一与条正 1=dg1dg2d4gv21k,(q1,92,9g)2k1k((q,92,9g) =DP(dmdgdqsi(n)i()i,(.(() +dadgadgs pi (q2)i (qs)pi()()()() +dndqdq i()i(pi(() =3D2, (40) 我们得具D=六定次理可将,D2=方定 从上面的计算中,我们坐到 (1)2k1(91,92,3)中的每一对仅化自身内在为1,而化其乘对的内在做为 零定时不一个普假的规律定 (②)归一与常数D,=方可以仅们被写开 D,=2T=,g 41 时不普假成立的定例如,我们也全 元=ngV顶1 Vm=3=3 (42) 定积,让我们来能子玻色子基底波因数的一般表达并 k1kx(q1,…,qN)=D∑Po(q)小…p%w(qw月 =D∑P[pk(q)…PkN(qN月 (43) 创 当我们显换看标:化9,粒后项波因数做一个项换(亿,),即 ((,j》心g1,kw(91,…,,…,9,·,9N) =1…kx(1,…,,…,9,…,9N) =D∑(i,)P(Pk(q1)…Pkw(qN) (44) 8
?wD_)#6[Y Df1 . Df2 0)#6hO 1 = Z dq1dq2dq3 ψ ∗ 2k1,k2 (q1, q2, q3)ψ2k1,k2 (q1, q2, q3) = |Df1| 2 Z dq1dq2dq3 ϕ ∗ k1 (q1)ϕ ∗ k1 (q2)ϕ ∗ k2 (q3)ϕk1 (q1)ϕk1 (q2)ϕk2 (q3) + Z dq1dq2dq3 ϕ ∗ k1 (q2)ϕ ∗ k1 (q3)ϕ ∗ k2 (q1)ϕk1 (q2)ϕk1 (q3)ϕk2 (q1) + Z dq1dq2dq3 ϕ ∗ k1 (q3)ϕ ∗ k1 (q1)ϕ ∗ k2 (q2)ϕk1 (q3)ϕk1 (q1)ϕk2 (q2) = 3|Df1| 2 , (40) wxd Df1 = √ 1 3 julP Df2 = √ 1 3 kyD_Zwiv (1) ψ2k1,k2 (q1, q2, q3) ZyÆ#\6aE?r 1 6"ay?gr IR# Jy( (2) )#6[Y Df1 = √ 1 3 l'\AÆh Df1 = √ 2!1! √ 3! = q nk1 !nk2 ! √ N! . (41) IR J`yyx:w!1 Df2 = q nk1 !nk2 ! √ N! = √ 1!2! √ 3! = 1 √ 3 . (42) ?5ws`O?`>{Q,Yy#>LmN ψk1,······,kN (q1, · · · · · · , qN ) = D X Pˆ Pˆ [ϕk1 (q1)· · · · · ·ϕkN (qN )] = DfX {Pˆ} Pˆ [ϕk1 (q1)· · · · · ·ϕkN (qN )] . (43) tw9iK qi 6 qj z4Q,Yg#9 (i, j) A (i, j)ψk1,······,kN (q1, · · · , qi , · · · , qj , · · · , qN ) = ψk1,······,kN (q1, · · · , qj , · · · , qi , · · · , qN ) = D X Pˆ (i, j)Pˆ(ϕk1 (q1)· · · · · ·ϕkN (qN )). (44) 8
另一们面,置换群的一个定理告诉我们,当用一个前定的置换去乘1个置 换的每一个变,乘色即取假了这个置换群中的成有元素定换句话常,我们有 {6,)P={P={P创 (45) 与换来的置换群恒粒定因看,我们得到 ,…,kw(91,…,9i,…,h,…,9N) =D∑[6,)月(9a(gm)…px(gw》 =D∑P'(P(q1)…Pkv(gN) =1kw(91,…,9,,4,…,9N). (46) 也就不常,这些波求数的确满足全次玻色子体地的统计要求定 下面,我们来计算情一扰常数D定按照情一扰条件,我们有 1=dg1…dgN4t(g,…,qw)(g1,…,q) =1D∑∑dg…dvB(,(gn)…pin(gw) {)) ×PB(P%(q1)…Pkx(qN). (47) 如次在上面的例子中成玻,展开并中的每一项P(gP)·Pkw(qPw)仅与 其自身内色非零,并且粒于1定这样,公并(47)扰为 1=D2M. (48) 这里M为(91,…,qw)展开并中的项数定按照我们的构造没,这一数目应 粒于将N个而球米在N个碗中,并要求两一个碗中有n1个,两二个碗中有2 个.…的全部可能的交次取没数(有些数n,可取做零,来m++nw=V)定 我们已知这一数目为 NI M=nkn…nW (49) 因看, N! (50) 9
#Y93y#u^wt/#&yY90a N! Y 9yÆ#Ia?A.JIY93Zy`18℄9e7[w1 {(i, j)Pˆ} = {P ′ } = {Pˆ} (45) 69syY933z,iwxv ψk1,······,kN (q1, · · · , qj , · · · , qi , · · · , qN ) = D X Pˆ h (i, j)Pˆ i (ϕk1 (q1)· · · · · ·ϕkN (qN )) = D X Pˆ′ Pˆ′ (ϕk1 (q1)· · · · · ·ϕkN (qN )) = ψk1,······,kN (q1, · · · , qi , · · · , qj , · · · , qN ). (46) !aR[IQ,Yy2 1jO?`g|ykD , ~wsD_)#6[Y Df ;G)#6hOw1 1 = Z dq1 · · · · · · dqN ψ ∗ l (q1, · · · · · · , qN )ψl(q1, · · · · · · , qN ) = |Df| 2 X {Pˆ1} X {Pˆ2} Z dq1 · · · · · · dqN Pˆ 1 ϕ ∗ k1 (q1)· · · · · ·ϕ ∗ kN (qN ) × Pˆ 2 (ϕk1 (q1)· · · · · ·ϕkN (qN )). (47) :j?yx`Z`OBhNZyÆ# ϕk1 qP(1) · · · · · ·ϕkN qP(N) \6 "aE?N'z4 1 I N (47) 6r 1 = |Df| 2M. (48) Iv M r ψl(q1, · · · · · · , qN ) BhNZyY;Gwy# I#Y. z4P N +? N oZN ,}#oZ1 n1 }oZ1 n2 · · · · · · y1TlyRj. Y1Y ns l.gs n1+· · ·+nN = N) w&QI#Yr M = N! nk1 !nk2 ! · · · · · ·nkN ! . (49) ,i Df = s nk1 !nk2 ! · · · · · ·nkN ! N! . (50) 9
时样,一组N个全同玻色子的完上正之归一因数可取为 1,kw(91,92,…,9N) n-nE∑p(4gu…pxw) =V NI (51) { 下面,让我们来能子一下费米子波因数。按照现义,我们全 1,kN(g1,…,qwN)=D∑(-1)PP(pk(g)…Px(gw). (52) 首了,同玻色子时的情形一样,我们和当全 N! (53) 时是合后,根足%kx(h,…,9)的一上法,展作式中每一对仅化其自身 的个在非零且等后: (-1)P(-1)Pdg…dgv【o,(grp,(gp小…[pw(QPN)(gram) =1×1=1. (54) 另一方面,积波因数%1,k(q1,…,qN)中,我们全卡2≠…≠v。故 D=D。函此,上面的致论换然成立,又合后 (ij),kw(红,…,9N) =1kw(91,…,,…,9,,9N) =示于-1P6)PPam)…9ww》 =不-11(-1[G,)P]laam)…gxwl. (55) 令(亿)P=P,我们全(-1)P=(-1)P+1。函此,上式与为 而2-产-P(o@m)…%w》 =-h1…kx(91,…,9v小 (56) 10
I#e N 1jO?`ynOR)#,Yl.r ψk1,······,kN (q1, q2, · · · · · · , qN ) = s n1!n2! · · · · · · nk! N! X {Pˆ} Pˆ ϕk1 (qPˆ(1))· · · · · ·ϕkN (qPˆ(N) ) . (51) ~5ws`#~`Q,Y;G+w1 ψk1,······,kN (q1, · · · · · · , qN ) = D X Pˆ (−1)Pˆ Pˆ(ϕk1 (q1)· · · · · ·ϕkN (qN )). (52) VjO?`Iy)#w.t1 D = s nk1 !nk2 ! · · · · · · nkN ! N! = 1 √ N! . (53) IR04 ψk1,······,kN (q1, · · · · · · , qN ) y# BhNZÆ#\6"aE y?'z4 (−1)Pˆ (−1)Pˆ Z dq1 · · · dqN h ϕ ∗ k1 (qP(1))ϕk1 (qP(1)) i · · · h ϕ ∗ kN (qP(N))ϕkN (qP(N)) i = 1 × 1 = 1. (54) #?Q,Y ψk1,······,kN (q1, · · · · · · , qN ) Zw1 k1 6= k2 6= · · · 6= kN $ Df = D ,iyX 94`y304 (i, j)ψk1,······,kN (q1, · · · · · · , qN ) = ψk1,······,kN (q1, · · · , qj , · · · , qi , · · · , qN ) = 1 √ N! X Pˆ (−1)Pˆ (i, j)Pˆ(ϕk1 (q1)· · · · · ·ϕkN (qN )) = 1 √ N! X Pˆ (−1)Pˆ+1(−1) h (i, j)Pˆ i [ϕk1 (q1)· · · · · ·ϕkN (qN )] . (55) (i, j)Pˆ = Pˆ′ w1 (−1)Pˆ′ = (−1)Pˆ+1 ,iN6r 1 √ N! X Pˆ′ (−1)Pˆ′ (−1)Pˆ′ (ϕk1 (q1)· · · · · ·ϕkN (qN )) = − ψk1,······,kN (q1, · · · · · · , qN ). (56) 10