Professional Documents
Culture Documents
Tem 4
Tem 4
Propietats generals
4.1
Funcions pr`
opies i representacions
0 (r) (S 1 r)
(4.1)
0 S = SH = SHS 1 0 = H0 0
(4.2)
per tant
H0 = SHS 1
(4.3)
Si un hamiltoni`
a commuta amb una operacio de simetria, S, i es funcio pr`opia de H, llavors S
tambe es funci
o pr`
opia amb el mateix valor propi. La demostracio es molt senzilla
H = E
H(S) = HS = SH = SE = E(S)
(4.4)
[H, S] = 0
El fet que commuti vol dir que es invariant, com per exemple V (|~r|) amb qualsevol rotacio.
Si escollim una base {i } de lespai de Hilbert corresponent al valor propi E (la dimensio daquest
espai es igual a la degeneraci
o de lautovalor, aix per un valor propi no degenerat, lespai tindr`a
dimensi
o 1), llavors la rotaci
o duna funcio de la base es pot posar com a combinacio lineal de les
d funcions base, es a dir,
Hi = Ei
Si =
d
X
j=1
4-1
(S)ji j
(4.5)
4-2
Definicions algebraiques
Grup.- Un grup, {G, ?}, es un conjunt de elements, {G = a, b, c, . . .}, i una operaci
o definida
(?) amb les propietats seg
uents:
aG
1. Operaci
o interna:
a?bG
bG
2. Propietat associativa: a ? (b ? c) = (a ? b) ? c
3. Element neutre: e G tal que a e ? a = a ? e = a
4. Sim`etric: a, b tal que a ? b = b ? a = e
Si a mes, a ? b = b ? a per a tot a, b sanomena grup commutatiu o abeli`
a.
En notaci
o de suma (a + b) lelement neutre es representa per 0 i lelement sim`etric sen diu
oposat (a). En notaci
o multiplicativa (a b) lelement neutre es representa per 1 i lelement
sim`etric sen diu invers (a1 ).
Homomorfisme.- Siguin dos grups {G, ?} i {G 0 , }, un homomorfisme (morfisme) es un
aplicaci
o f de G a G 0 , tal que
f (a ? b) = f (a) f (b)
~ B,
~ C,
~ . . .} amb una llei de composici
Espai vectorial.- Sigui un conjunt V = {A,
o interna
~B
~ V] i una altra llei de composici
[A
o externa () respecta als elements dun cos
{K, +, }, V es un espai vectorial sobre el cos K si i nomes si:
1. {V, } es un grup abeli`
a o commutatiu:
~ (B
~ C)
~ = (A
~ B)
~ C;
~
(a) propietat associativa: A
~ ~0 = A;
~
(b) exist`encia de neutre: A
~ (A)
~ = ~0, i
(c) exist`encia de sim`etric: A
~B
~ =B
~ A.
~
(d) propietat commutativa: A
~ V;
2. operaci
o externa: A
~ = ( A);
~
3. associativitat mixta: ( ) A
~ = ( A)
~ ( A);
~
4. distributiva respecte a +: ( + ) A
~ B)
~ = ( A)
~ ( B),
~ i
5. distributiva respecte a *: (A
~ = A.
~
6. 1 A
Lelement neutre per a la multiplicaci
o definida en K sha escrit 1. Els elements del grup
commutatiu, sen diuen vectors i els elements del cos K, escalars.
Habitualment loperaci
o sescriu +, i les altres operacions ( i ) no sescriuen. Aix, per
~ = A
~ A
~ sescriur`
~ = A
~ + A
~ i ( ) A
~ = ( A)
~
exemple, ( + ) A
a ( + )A
~ = ( A).
~
sescriur`
a ()A
Representaci
o.- Es diu representaci
o dun grup {G, ?} a un homomorfisme de G a un grup
doperadors lineals {, } que actuen en un espai vectorial, de dimensi
o finita, sobre els cos
a dir, es compleix:
dels nombres complexos (C). Es
de manera que
(a ? b) = (a) (b)
4-3
i per tant
Sb Sa i
Sb
(Sa )ji j =
(Sa )ji
XX
m
(Sb )mj m
(Sb Sa )mi m
Dues representacions s
on equivalents vol dir que existeix una matriu A que per a tot element Si :
0 (Si ) = A1 (Si )A;
(4.6)
es un canvi de base de lespai vectorial. Es pot demostrar que tota representacio es equivalent a
una representaci
o amb matrius unit`
aries (U U = 1).
Un representaci
o es diu reductible si es equivalent a una altra amb caixes a la diagonal, aix`o es
(1)
0
(Si )
1
(1) (Si ) (2) (Si )
(4.7)
A (Si )A =
0
(2) (Si )
Si no es reductible es diu representaci
o irreductible. Tota representacio es pot descomposar com a
suma directa de representacions irreductibles.
4.1.1
C`
alcul de les representacions irreductibles
P
a on
es la traca de la matriu (suma dels elements de la diagonal) i sen diu car`
acter de la
n nn
representaci
o.
5. Teorema dortogonalitat. Si y s
on representacions irreductibles, compleixen
X
h
(Si )mn (Si )m0 n0 =
, m,m0 n,n0
d
i
a on d
es la dimensi
o de .
4-4
(Ri ) (Ri ) = h, .
9. Si cij,s s
on els coeficients (nombre naturals) de multiplicaci
o de classes de conjugaci
o, Ci Cj =
llavors:
X
ni nj (Ci ) (Cj ) = d
cij,s ns (Cs ).
s cij,s Cs ,
..........................................................................................................
Si la dimensi
o de la representaci
o irreductible es superior a 1, hi ha una degeneracio no accidental
de lautovalor. Per exemple, en l`
atom dhidrogen els estats 3p son triplement degenerats i els 3d
tenen degeneraci
o 5, per`
o 3s i 3p tenen degeneracio accidental entre ells. Aquesta degeneracio pot
disminuir al trencar la simetria a un grup mes petit. Per exemple, en un cristall c
ubic els 7 estats
f (degenerats en simetria esf`erica) es descomponen en 3+3+1, i el 5 d en 3+2.
4.2
Grup de translacions
(4.8)
Per tal que sigui un grup amb un nombre finit delements simposen les condicions ccliques,
analitzades en un apartat anterior, es a dir,
{E|L1~a1 } = {E|L2~a2 } = {E|L3~a3 } = {E|0}.
(4.9)
Les representacions irreductibles del primer subgrup son nombres complexes (al ser commutatiu
s
on de dimensi
o 1), i a lelement ~a1 li correspon
(~a1 ) = ei ,
2l1
L1
(4.10)
on l1 es un nombre enter que compleix, per exemple, 0 l1 < L1 (no te sentit considerar valors
de l1 que repeteixin valors de lexponencial).
Demostraci
o
Com en tot homomorfisme (0) = 1, ja que
(~a1 ) = (0 + ~a1 ) = (0)(~a1 )
(0) = 1.
(4.11)
4-5
(~a1 ) = ei ,
2l1
,
L1
(4.12)
a on l1 es un n
umero enter.
(n1~a1 ) = [(~a1 )]
(4.13)
per tant les representacions del producte de grups (T~ = n1~a1 + n2~a2 + n3~a3 ) son
~ ~
(4.14)
(4.15)
a on
amb
~b1 2
~a2 ~a3
~a1 (~a2 ~a3 )
~b2 2
~a3 ~a1
~a1 (~a2 ~a3 )
~b1 2
~a1 ~a2
~a1 (~a2 ~a3 )
el vectors primitius de la xarxa recproca. Per evitar repetir valors de lexponencial ~k ha destar
~ ~ ~
~ ~
dins una cella primitiva de la xarxa recproca, ja que ei(k+G)T = eikT .
Teorema de Bloch. La funci
o dona en un cristall compleix
{E|T~ }~k (~r) = ~k (~r T~ ) = ei~kT~ ~k (~r)
(4.16)
aquesta funci
o se la representa per (~k, ~r) o ~k (~r), ja que ~k es un bon nombre qu`antic. Si es fa
~
una translaci
o de la xarxa real a la funcio eik~r (~r) resulta
~
~
~
~ ~
~
~
~
{E|T~ }eik~r (~r) = eik(~rT ) (~r T~ ) = eik(~rT ) eikT (~r) = eik~r (~r) U~k (~r)
es a dir, el teorema de Bloch es pot enunciar com que les funcions pr`opies dun cristall compleixen
~
(~k, ~r) = eik~r U~k (~r)
(4.17)
4.3
Concepte de banda
El teorema de Bloch no diu que (~k, ~r) sigui un conjunt complert de funcions; en un mateix ~k pot
haver-hi varies funcions dona linealment independents i que corresponen a diferent energia. De
fet, les representacions irreductibles sempre son un bona etiqueta pels estats propis (per exemple,
el moment angular en l`
atom dhidrogen), per`o no sempre es suficient per explicitar completament
lestat. Per distingir-les es posa un subndex n: En (~k) i n (~k, ~r).
Els valors de En (~k) per un n fix, formen la banda n (Ashcroft 141).
4-6
~2 2
= E
2m
~2 2
Q .
2m
(4.18)
(4.19)
(x) = eiQx ;
E=
a on, nomes cal considerar les k duna cella primitiva de la xarxa recproca (podem tenir en
compte les de la primera zona de Brillouin). Aix`o implica que
eiQna = eikna
ei(Qk)na = 1
Qk =
2
a
Q=k+G=k+
2
,
a
(4.20)
~2
(k + G)2 .
2m
(4.21)
~ ~
~ ~
ei(Qk)T = 1
~ = ~k + G.
~
Q
(4.22)
~2 ~ ~ 2
|k + G| ,
2m
(4.23)
es una funci
o multivaluada de ~k, que tambe es pot dividir en trossos univaluats i quasi-continus,
cada tros es una banda.
4-7
De totes maneres es un exemple una mica artificial ja que no hi ha electrons completament lliures
a dir, en un
en una xarxa. Llavors apareixen intervals denergia sense autovalors possibles. Es
cristall real hi ha energies no permeses per a cap estat, son energies prohibides que donen lloc a
un gap denergia.
A conseq
u`encia de les condicions de contorn ccliques, no es v`alid qualsevol valor de Q,
eiQ(x+La) = eiQx
QLa = 2l;
(n = 0, 1, 2, 3, . . .)
(4.24)
es a dir,
Q=
l 2
.
L a
(4.25)
Per tant, es bandes es dibuixen contnues per`o haurien de ser en punts discrets, ja que no tot ~k
est`
a perm`es, nomes alguns valors racionals. En fonons tambe hi ha bandes (branques).
4.4
Densitat destats
a on es suma per totes les ~k que compleixen E E~k E +dE, i es divideix pel nombre de celles per
la densitat destats per cella primitiva
tal que no surti infinit a laugmentar la mida del cristall. Es
(Callaway 19; Ziman 52, 129). Tambe es podria definir la densitat destats com el nombre total
destats (Kittel 218; Ibach-L
uth 84, 146) o el nombre destats per unitat de volum (Ashcroft 143)
(es u
til a lestudiar els electrons lliures, per exemple).
Com que el nombre de punts a sumar es molt gran, es convenient passar la suma a una integral.
El nombre de possibles valors de ~k es L1 L2 L3 = N , a on N es el nombre de celles primitives que
te el cristall. Tots aquests valors de ~k estan en una cella primitiva de la xarxa recproca, i com
que el volum de la primera zona de Brillouin es
~b1 (~b2 ~b3 ) =
(2)3
(2)3
=
~a1 (~a2 ~a3 )
vc
(4.27)
4-8
(4.28)
Tambe es pot deduir la mateixa expressio calculant el volum que ocupa cada punt ~k. Com que
~k l1 ~b1 + l2 ~b2 + l3 ~b3 ,
L1
L2
L3
(4.15)
3
3
1
~b1 (~b2 ~b3 ) = 1 (2) = (2) ,
L1 L2 L3
N vc
V
(4.29)
V
F (~ki ) ' F (~k0 ) n = F (~k0 ) (k)3
,
(2)3
a on n es el nombre de ~ki dins de (k)3 , per tant, dividint la primera zona de Brillouin en
volums petits (k)3 ,
X
~
k
F (~k) '
F (~kj ) n =
V
F (~kj ) (k)
(2)3
3
X
~
k
(2)3
d3 k
(4.30)
es a dir, el nombre de punts es igual al diferencial de volum multiplicat per la densitat de punts.
Passant al continu
1 V
N (E) dE
N 8 3
Z Z Z
d3 k
(4.31)
EE~k E+dE
i la zona dintegraci
o es la mateixa que abans, entre dues superfcies denergia constant. Una
manera alternativa dexpressar la densitat destats es (Callaway 19)
1 V
N (E)
N 8 3
que es pot comprovar integrant
R E+dE
E
Z Z Z
tot lespai
(E E~k )d3 k
(4.32)
(4.33)
es a dir, el gradient es perpendicular a la superfcie i per tant el diferencial denergia entre dues
superfcies es:
~ ~ E(~k) = dk
~ ~ E(~k)
dE = d~k
(4.34)
k
k
i el diferencial de volum es pot escriure
dE
d3 k = dS d~k = dS
~ ~ E(~k)
k
(4.35)
4-9
Per tant
N (E) dE =
vc
8 3
Z Z Z
dE
dS
~ ~ E(~k)
k
vc
8 3
Z Z
dS
~
~k E(~k)
(4.36)
(4.37)
Una vegada calculada la densitat destats, es poden calcular integrals de funcions que nomes
depenen de ~k a traves de lenergia. Aix
Z
Z
Z
vc
1 X
~k)] d3 k = vc
~k)] d3 k dE = f (E)N (E) dE. (4.38)
f
[E(
f
(E)[E
E(
f [E(~k)] =
N
8 3
8 3
~
k
4.4.1
Singularitats de van-Hove
8 3 x y z
(4.39)
(4.40)
(4.41)
4-10
1
vc
8 3 x y z
d
=0
d
=0
drz E0 + 2 + rz2 E
(4.42)
Si es t
e en consideraci
o la propietat de la delta de Dirac
X
1
[g(x)] =
(x aj )
0 (a )|
|g
j
j
a on g(aj ) = 0. Fent la derivada
E0 + 2 + rz2 E = 2rz
rz
(4.43)
i trobant el zero
p
rz = E E0 2
Degut als dos valors a on sanulla, la integral en rz resulta
Z R
(E E0 2 )
2
vc
d p
N (E) =
8 3 x y z =0
E E0 2
(4.44)
(4.45)
Si E < E0 llavors N (E) = 0. Si E > E0 llavors es poden canviar els lmits de la integral
Z R=EE0
p
vc
1
d
p
N (E) =
= A E E0
4 2 x y z =0
E E0 2
(4.46)
Resumint, en un mnim:
N (E) = 0
N (E) = A
E E0
(E < E0 ),
(4.47)
(4.48)
Si
es un punt en forma de sella (dos mnims i un m`
axim en ~k0 ) i amb un raonament similar
p
(E < E0 ),
N (E) = A E0 E + AR + O(E E0 )
N (E) = AR + O(E E0 )
(4.49)
(4.50)
(E < E0 ),
(4.51)
(4.52)
Si
es un punt en forma de sella (un mnim i dos m`
axims en ~k0 ):
N (E) = AR + O(E E0 )
p
N (E) = A E E0 + AR + O(E E0 )
Si hi ha un m`
axim en ~k0 ,
N (E) = A
E0 E
N (E) = 0
(E < E0 ),
(4.53)
(4.54)
Dues dimensions
En un mnim:
N (E) = 0
(E < E0 ),
(4.55)
N (E) = A
(4.56)
Si
es un punt en forma de sella:
A
N (E) = ln(E0 E) + A ln R + O(E0 E)
2
A
N (E) = ln(E E0 ) + A ln R + O(E E0 )
2
En un m`
axim:
(E < E0 ),
(4.57)
(4.58)
N (E) = A
(E < E0 ),
(4.59)
N (E) = 0
(4.60)
Una dimensi
o
En un mnim:
(E E0 )
N (E) = A
.
E E0
(4.61)
(E0 E)
N (E) = A
.
E0 E
(4.62)
En un m`
axim: