Professional Documents
Culture Documents
§ 5.1. 基礎旋轉群表示理論
在簡單的說明固態晶體中幾種點群對稱操作之後,我們必須要介紹三維旋轉群(Three-
的內容是鑽研李群的敲門磚。通常我們以「 O3 」這個符號來標示三維旋轉群。這是因為每一
作。旋轉群 O3 是一個無限階的群,涵蓋了一個圓球的所有操作,因為有關旋轉群的代數
運算都相當複雜,已經超出本書所設定的範圍了,所以我們並無意於仔細的描述對稱旋轉
操作或討論連續群(Continuous group)的特性,這一節只有簡單的介紹一些旋轉群表示。
常遇到的函數,例如:氫原子的解:
� 1 �� �� 1 �2 � ml
2 �l (
� sin
� q �+ 2 Y q , f ) = l ( l + 1) Yl ml ( q , f ) (5.1)
sin q �
� q� � q � sin q �
f �
其中 q 、 f 是極座標角(Polar angles);
l 是零或正整數;
ml 是介於 l 到 + l 之間的整數。
5-1
�2 �2 �2
(5.1)式中的運算子(Operator)只是 Laplacian � = 2 + 2 + 2 中角度部份的運算子, 2
�x �y �z
它將呈現出旋轉不變(Rotation invariant)的特性,所以它的本徵函數(Eigenfunction) Yl ml (q , f )
就形成了旋轉群表示的基底。
球諧函數定義如下:
+ l 之間的整數,所以旋轉群表示 D l 是 ( 2l + 1) 維的。
<ii> 等同元素為何?
<iii> Rz ( f ) 的反元素為何?
5-2
y
( x, y)
r f ( x, y )
q x
0
�x = r cos q
則�
�y = r sin q
cos f
� sin f �
即 Rz ( f ) = �
sin f
� cos f � �
�cos f sin f �
若考慮以基函數做轉換,則為 Rz ( f ) = �
� sin f cos f �
�
<ii> 由 Rz ( f ) 的二維矩陣表示可得
所以等同元素 E 的作用為 ER ( f ) = R ( f ) = R ( 0 ) R ( f ) ,即 E = R ( 0 ) 。
<iii> 和<ii>相仿的計算步驟,反元素的作用為
cos ( 2p f )
1 0� �
� sin ( 2p f ) ��
cos f sin f �
Rz1 ( f ) Rz ( f ) = � �= � ��
sin ( 2p f )
0 1� �
� cos ( 2p f ) �� sin f cos f � �
= Rz ( 2p f ) Rz ( f )
即 Rz1 ( f ) = Rz ( 2p f ) 。
5-3
<iv> 因為是以 z 軸為軸心作旋轉,所以 Rz ( f ) 的轉換矩陣為
�cos f sin f 0�
�
Rz ( f ) = sin f cos f 0� □
� �
�
�0 0 1�
�
§ 5.2. 旋轉群的特徵值
§2.2)。
RYl ml ( q , f ) = Yl ml ( q , f )
(5.3)
= exp ( iml ) Yl ml ( q , f )
因為 ml 可能的數值由 l 到 + l 之間的所有整數,所以這個操作的表示是一個對角化
的矩陣:
e il
� 0 0 K 0 �
� i ( l 1)
�
�0 e M�
G ( ) = �0
l
O 0 � (5.4)
� �
�M ei( l 1) 0 �
� �
�0 L 0 0 eil �
一個旋轉群中的操作,如果是代表一個 角度的對稱操作,則其特徵值為:
5-4
c l ( ) = tr Gl ( ) = exp ( il ) + exp �
i ( l 1) �
� i ( l + 1) �
�+ ... + exp �
� �+ exp ( il )
� 1�
sin �l+ � (5.5)
� 2�
=
1
sin
2
很明顯的,因為 l 是零或正整數,所以這個表示的維度是一個奇數 ( 2l + 1) 。
§ 5.3. 雙群表示
正整數,所以量子數 j = l + s 是一個半奇數(Half-odd-integer),該旋轉表示將是一個偶數維
徵值 c j ( ) ,即
� 1�
sin �j + �
� 2�
c () =
j
(5.6)
1
sin
2
現 在 我 們 來 看 看 代 表 偶 數 維 度 表 示 (5.6) 式 和 代 表 奇 數 維 度 表 示 (Odd-dimensional
representation) (5.5)式有什麼差異。
�
� 1� � 1�
sin � ( + 2p ) �= sin �
�j + �
�j + � (5.7)
� 2�
� � � 2�
同理,如果 l 是一個整數,則(5.5)式的分子部分則為
�
� 1� � 1�
sin �
� ( + 2p ) �= sin �
l+ � �
l+ � (5.8)
� 2�
� � � 2�
5-5
而(5.5)和(5.6)式的分母部分經過 2p 的旋轉之後變成
1 1
sin ( + 2p ) = sin (5.9)
2 2
於是我們獲得了一個對於半整數表示(Half-integer representation)非常重要的結果,
c j ( + 2p ) = c j ( ) (5.10)
而 c l ( + 2p ) = c l ( ) (5.11)
由(5.10)式可看出半整數表示在旋轉了 2p 之後不再是一個等同操作;而必須旋轉 4p
原來的元素多一倍,這些群被稱為双群(Double groups)。雙群將比原來的群,或稱為單值群
交換的,它也自己形成一類。雙群表示(Double-group representation)通常也對應著偶數維度
表示的對稱群。
對於獲得一個完整的双群特徵值表,首先要判斷雙群所增加的類,Opechowski 提出了
3 個法則(Opechowski’s rules):
5-6
<iii> 若 n > 2 ,則 Cnk 和 Cn k 是同一類; Cnk 和 Cn k 是同一類,其中 Cn2n = E , Cnn = E 且
解:首先寫出O 群的特徵值表
E ……………規則 2
3C 2 , 3C2 ……規則 1
8C3 ……………規則 2
6C4 ……………規則 2
6C2�, 6C2�
……規則 1
的特徵值表為:
G1 A1 1 1 1 1 1 ? ? ?
5-7
G2 A2 1 1 1 -1 -1 ? ? ?
G3 E 2 2 -1 0 0 ? ? ?
G4 T1 3 -1 0 1 -1 ? ? ?
G5 T2 3 -1 0 -1 1 ? ? ?
因為 d O 雙群比O 群的元素多了一倍,也多了 24 個元素。則
h
l62 + l72 + l82 = = h = 24 ,
2
可得 l6 = 2 、 l7 = 2 、 l8 = 4 。
所以填入雙群 d O 的特徵值表為:
G1 A1 1 1 1 1 1 1 1 1
G2 A2 1 1 1 -1 -1 1 1 -1
G3 E 2 2 -1 0 0 2 -1 0
G4 T1 3 -1 0 1 -1 3 0 1
G5 T2 3 -1 0 -1 1 3 0 -1
G6 ? 2 ? ? ? ? ? ? ?
G7 ? 2 ? ? ? ? ? ? ?
G8 ? 4 ? ? ? ? ? ? ?
1 3 5
對於總角動量為 J = 、 J = 、 J = ,由(5.6)式可得下表:
2 2 2
E C2 C3 C4
2p 2p 2p
f 0
2 3 4
� 2 2(
�1 J = 1 , 7 � �� ) �
(
� 2 J = 1 ,9 �
2 2
�� )
c ( GJ ) 2J + 1 0
�
(
�1 J = 3 2 , 9 2 �
�� ) �
(
�0 J = 3 2 , 7 2 �
�� )
� �
�
� (
0 J = 5 ,11 �
2 2
�� ) � (
� 2 J = 5 ,13 �
2 2
�� )
1
J= 2 0 1 2
2
3
J= 4 0 -1 0
2
5-8
5
J= 6 0 0 2
2
可以再將之列於雙群 d O 的特徵值表內為:
G1 A1 1 1 1 1 1 1 1 1
G2 A2 1 1 1 -1 -1 1 1 -1
G3 E 2 2 -1 0 0 2 -1 0
G4 T1 3 -1 0 1 -1 3 0 1
G5 T2 3 -1 0 -1 1 3 0 -1
G6 ? 2 ? ? ? ? ? ? ?
G7 ? 2 ? ? ? ? ? ? ?
G8 ? 4 ? ? ? ? ? ? ?
G1 - 2 ? ? ? ? ? ? ?
2
G3 - 4 ? ? ? ? ? ? ?
2
G5 - 6 ? ? ? ? ? ? ?
2
其中在 G 1 2 、 G 3 2 、 G 5 2 之後的「-」意味著目前沒有標示的必要。
因為特徵值表內要求的是不可約表示,所以接著我們要在 G 1 2 、 G 3 2 、 G 5 2 中找出三
個不可約表示填進去。一般而言有兩個方法可以確定 G 12 、G 3 2 、G 5 2 是否為不可約表示
5-9
� �
sin �
( 2 J + 1) f �
� �
� 2 �
R(f)�
�c �
� � ��c J ( f ) =
� � f �
sin � �
� �2 �
�
� �( )� J ( )
R f ��c f = c J ( f + 2p ) = ( 1) c J ( f )
2J
�c�
1 c 1 ( E ) = c 1 ( E ) = 2
當J = ,則
2 2 2
c 1 ( C2 ) = 0 , c 1 ( C2 ) = 1 ,
2 2
c 1 ( C3 ) = 1 , c 1 ( C3 ) = 1 ,
2 2
c 1 ( C4 ) = 2 , c 1 ( C4 ) = 2 ,
2 2
) 0 , c 1 ( C2�) = 0
c 1 ( C2�=
2 2
3 c 3 ( E ) = c 3 ( E ) = 4
當J = ,則
2 2 2
c 3 ( C 2 ) = 0 , c 3 ( C2 ) = 0 ,
2 2
c 3 ( C 3 ) = 1 , c 3 ( C3 ) = 1 ,
2 2
c 3 ( C 4 ) = 0 , c 3 ( C4 ) = 0 ,
2 2
) 0 , c 3 ( C2�) = 0
c 3 ( C2�=
2 2
5 c 5 ( E ) = c 5 ( E ) = 6
當J = ,則
2 2 2
c 5 ( C 2 ) = 0 , c 5 ( C2 ) = 0 ,
2 2
5-10
c 5 ( C 3 ) = 0 , c 5 ( C3 ) = 0 ,
2 2
c 5 ( C4 ) = 2 , c 5 ( C4 ) = 2 ,
2 2
) 0 , c 5 ( C2�) = 0
c 5 ( C2�=
2 2
1 3 5
綜合 J = , , 的結果填入雙群 d O 的特徵值表得
2 2 2
G1 A1 1 1 1 1 1 1 1 1
G2 A2 1 1 1 -1 -1 1 1 -1
G3 E 2 2 -1 0 0 2 -1 0
G4 T1 3 -1 0 1 -1 3 0 1
G5 T2 3 -1 0 -1 1 3 0 -1
G6 ? 2 ? ? ? ? ? ? ?
G7 ? 2 ? ? ? ? ? ? ?
G8 ? 4 ? ? ? ? ? ? ?
G1 - 2 0 1 2 0 -2 -1 2
2
G3 - 4 0 -1 0 0 -4 1 0
2
G5 - 6 0 0 2 0 -6 0 2
2
我們可以發現如果 R 和 R 是屬於同一個類,則
cJ ( R) = cJ ( R) = 0
接著要分別檢驗的不可約性(Irreducibility),因為必須要是不可約表示才可以填入
特徵表內,然而在判斷該表示是否為可約表示的方法,如前所述,基本上有兩個,第
一個方法當然是把雙群中所有的類都跑一遍;第二個方法是只要把雙群中多出來的類
5-11
跑一遍即可。以下我們將同時演練這兩個方法。
G1 :
2
( 2 ) + 6 �( 0 )
2
�
2
c 1 ( T ) = 1�
2
( 0) + 8 �
( 2) + 3 � ( 1) + 6 �
2 2 2
T= 2
E ,C2 ,C3 ,C4 ,C2�
,
E ,C3 ,C4
( 2 ) = 48 = h
2
( 2 ) 2 + 8 �
+ 1� ( 1) 2 + 6 �
( 2 ) = 24 = h
2
�c ( 2 ) 2 + 8 �
( 1) 2 + 6 �
2
1 ( T ) = 1�
T= 2 2
E ,C3 ,C4
所以 G 1 2 是不可約表示,可以被填入特徵表中,被稱為 G 6 或 E 1 2 。
G1 A1 1 1 1 1 1 1 1 1
G2 A2 1 1 1 -1 -1 1 1 -1
G3 E 2 2 -1 0 0 2 -1 0
G4 T1 3 -1 0 1 -1 3 0 1
G5 T2 3 -1 0 -1 1 3 0 -1
G6 E1 2 0 1 2 0 -2 -1 2
2
G7 ? 2 ? ? ? ? ? ? ?
G8 ? 4 ? ? ? ? ? ? ?
G1 - 2 0 1 2 0 -2 -1 2
2
G3 - 4 0 -1 0 0 -4 1 0
2
G5 - 6 0 0 2 0 -6 0 2
2
5-12
接著再來檢驗 G 3 2 ,
�
2
c 3 ( T ) = 1� ( 0) 2 + 8 �
( 4) 2 + 3� ( 0) 2 + 6 �
( 1) 2 + 6 � ( 0) 2
T= 2
G 3 : E ,C2 ,C3 ,C4 ,C2�,
2 E ,C , C 3 4
( 4 ) 2 + 8 �
+ 1� ( 0 ) 2 = 48 = h
( 1) 2 + 6 �
�c
2
( 4 ) 2 + 8 �
( T ) = 1� ( 0 ) 2 = 24 = h
( 1) 2 + 6 �
或 1
2 2
T=
E ,C3 ,C4
所以 G 3 2 也是不可約表示,也可以被填入特徵表中,被稱為 G8 或 F3 2 。
G1 A1 1 1 1 1 1 1 1 1
G2 A2 1 1 1 -1 -1 1 1 -1
G3 E 2 2 -1 0 0 2 -1 0
G4 T1 3 -1 0 1 -1 3 0 1
G5 T2 3 -1 0 -1 1 3 0 -1
G6 E1 2 0 1 2 0 -2 -1 2
2
G7 ? 2 ? ? ? ? ? ? ?
G8 F3 4 0 -1 0 0 -4 1 0
2
G1 - 2 0 1 2 0 -2 -1 2
2
G3 - 4 0 -1 0 0 -4 1 0
2
G5 - 6 0 0 2 0 -6 0 2
2
同樣的步驟來檢驗 G 5 2 ,
5-13
( 2 ) + 6 �( 0 )
2
�
2
( 6) + 3�
c 5 ( T ) = 1� ( 0) + 8 �
2
( 0) + 6 �
2 2 2
T= 2
G 5 : E ,C2 ,C3 ,C4 ,C2�,
2 E ,C , C
3 4
( 2 ) = 96 > h
2
( 6 ) + 8 �
+ 1�
2
( 0) + 6 � 2
h
( 2 ) = 48 >
2
�c
2
( 6 ) + 8 �
( T ) = 1�
2
( 0) + 6 �2
或 5
2 2
T=
E ,C3 ,C4
顯然 G 5 2 是可約表示,現在我們要把 G 5 2 以不可約表示分解開來,分解的方法基
本上也有兩個,和判斷是否為可約表示的方法相似,第一個方法是包含雙群中所
有的元素;第二個方法是只考慮原來的群元素。
1
由 a ( Gi ) = � c i* (C r ) c (C r ) g r
h r
1
a ( G6 ) = � c 6* (C r ) c 5 (C r ) g r
48 r 2
即 1 �
2 ��6 1 + 0 ��0 3 + 1 ��0 8+ 2 � ( 2 ) �6 + 0 ��
6 6�
= � �
48 �
+
� ( 2 ) (
� 6 ) �
1 + ( 1) ��
0 8 + ( 2 ) � 2 �6 �
�
=0
1
a ( G8 ) = � c8* (C r ) c 5 (C r ) g r
48 r 2
1 �4 �� 0 3 + ( 1) ��
6 1 + 0 �� 0 8+ 0� ( 2 ) �6 + 0 ��
0 6�
= � �
48 �
+
� ( 4 ) (
� 6 ) �
1 + 1 ��
0 8 + 0 � 2 � 6 �
�
=1
1 �
或 a ( G6 ) = 1 ��
� ( 2)�
2 6 + 6 �2 � �= 0
24
1
a ( G8 ) = [ 1 ��
4 6] = 1
24
5-14
{
所以 G 5 G8 = 2 1 0 2 0 2 1 2 = G7 = E 5
2
} 2
所以雙群 d O 的特徵值表為:
G1 A1 1 1 1 1 1 1 1 1
G2 A2 1 1 1 -1 -1 1 1 -1
G3 E 2 2 -1 0 0 2 -1 0
G4 T1 3 -1 0 1 -1 3 0 1
G5 T2 3 -1 0 -1 1 3 0 -1
G6 E1 2 0 1 2 0 -2 -1 2
2
G7 E5 2 0 1 2 0 -2 -1 2
2
G8 F3 4 0 -1 0 0 -4 1 0
2
對於獲得一個完整的双群乘積表,可以參考以下四個原則來簡單得到:
上橫槓,反之亦然。
<vi> 二個有橫槓操作的乘積和,二個對應的沒有橫槓操作的乘積相同。
C3v E C3 C32 s va s vb s vc
E E C3 C32 s va s vb s vc
5-15
C3 C3 C32 E s vc s va s vb
C32 C32 E C3 s vb s vc s va
s va s va s vb s vc E C3 C32
s vb s vb s vc s va C32 E C3
s vc s vc s va s vb C3 C32 E
d
C3v E C3 C32 s va s vb s vc E C3 C32 s va s vb s vc
E E C3 C32 s va s vb s vc E C3 C32 s va s vb s vc
C3 C3 C32 E s vc s va s vb C3 C32 E s vc s va s vb
s va s va s vb s vc E C3 C32 s va s vb s vc E C3 C32
s vb s vb s vc s va C32 E C3 s vb s vc s va C32 E C3
s vc s vc s va s vb C3 C32 E s vc s va s vb C3 C32 E
E E C3 C32 s va s vb s vc E C3 C32 s va s vb s vc
C3 C3 C32 E s vc s va s vb C3 C32 E s vc s va s vb
s va s va s vb s vc E C3 C32 s va s vb s vc E C3 C32
s vb s vb s vc s va C32 E C3 s vb s vc s va C32 E C3
5-16
s vc s vc s va s vb C3 C32 E s vc s va s vb C3 C32 E
5-17