Académique Documents
Professionnel Documents
Culture Documents
F. Mila
2 Magntisme des isolants de Mott e 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . 2.2 Mod`le de Heisenberg - Considrations gnrales . e e e e 2.3 Cas ferromagntique . . . . . . . . . . . . . . . . . e 2.3.1 Etat fondamental . . . . . . . . . . . . . . . 2.3.2 Etats exacts de basse nergie : . . . . . . . e 2.3.3 Transformation de Holstein-Primako . . . 2.3.4 Cas antiferromagntique . . . . . . . . . . . e 2.3.5 Etat fondamental . . . . . . . . . . . . . . . 2.4 Syst`mes frustrs . . . . . . . . . . . . . . . . . . . e e 2.4.1 Recherche de ltat fondamental classique . e 2.4.2 Ondes de spin dans un syst`me hlico e e dal : 2.4.3 Complment : Mod`le J1 J2 . . . . . . . . e e 2.5 Annexe du chapitre 2 : Alg`bre de spin . . . . . . . e 3 Les 3.1 3.2 3.3 3.4
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
interactions lectrons-lectrons dans les mtaux e e e 47 Mod`le du jellium . . . . . . . . . . . . . . . . . . . . . . . . . . 47 e Lapproximation de Hartree-Fock . . . . . . . . . . . . . . . . . . 48 Dveloppement au second ordre : . . . . . . . . . . . . . . . . . . 56 e Ecrantage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 3.4.1 Discussion de quelques consquences physiques . . . . . . 66 e 3.4.2 Lien avec le mod`le de Drude de la constante dilectrique 67 e e 3.4.3 Plasmons . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 3.5 Eet de rseau : instabilit . . . . . . . . . . . . . . . . . . . . . 70 e e 73 73 73 77 79
4 Interaction lectrons-phonons e 4.1 Introduction . . . . . . . . . . . . . . . 4.2 Phonons - Rappels . . . . . . . . . . . 4.3 Interaction lectron-phonon : . . . . . e 4.4 Linteraction eective lectron-lectron e e 2
. . . :
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
5 Supraconductivit e 5.1 Introduction . . . . . . . . . . . . . . . . . . . 5.2 La mthode de lquation du mouvement . . e e 5.3 Interprtation des rsultats : . . . . . . . . . . e e 5.4 Tempratures nies : . . . . . . . . . . . . . . e 5.5 Electrodynamique des supraconducteurs I : . 5.6 Electrodynamique II : Lquation de Pippard e 5.7 Le mod`le de Landau-Ginsburg : . . . . . . . e 5.8 La quantication du ux : . . . . . . . . . . . 5.9 Eet Josephson : . . . . . . . . . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
86 86 87 95 101 103 110 118 126 127 132 132 133 133 134 135 137 139 140 140 142 143 145 145 145 146 149 150 154
A Seconde quantication A.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . A.2 Bosons . . . . . . . . . . . . . . . . . . . . . . . . . . A.2.1 Espace de Fock . . . . . . . . . . . . . . . . . A.2.2 Oscillateur harmonique . . . . . . . . . . . . A.2.3 Lien entre bosons et oscillateurs harmoniques A.3 Fermions . . . . . . . . . . . . . . . . . . . . . . . . . A.4 Oprateur champ . . . . . . . . . . . . . . . . . . . . e A.5 Application : lectrons en interaction . . . . . . . . . e A.5.1 Fonctions propres de rfrence . . . . . . . . ee A.5.2 Oprateurs . . . . . . . . . . . . . . . . . . . e A.5.3 Hamiltonien en seconde quantication . . . . B Thorie de la rponse linaire e e e B.1 Introduction . . . . . . . . . . . . . . . . . . . . B.2 Les reprsentations de la mcanique quantique e e B.2.1 H indpendant du temps . . . . . . . . e B.2.2 H dpendant du temps . . . . . . . . . e B.3 Rponse a une perturbation . . . . . . . . . . . e ` B.4 Fonction dilectrique . . . . . . . . . . . . . . . e . . . . . . . . . . . . . . . . . .
C Fonctions de Green (Fermions, T=0) 157 C.1 Introduction - Proprits gnrales . . . . . . . . . . . . . . . . . 157 ee e e C.1.1 Dnitions . . . . . . . . . . . . . . . . . . . . . . . . . . 157 e C.1.2 Exemple : fermions sans interactions . . . . . . . . . . . . 160 C.1.3 Proprits analytiques - Reprsentation de Lehmann . . . 165 ee e C.1.4 Lien avec les proprits physiques : . . . . . . . . . . . . . 169 ee C.2 Calcul en perturbation . . . . . . . . . . . . . . . . . . . . . . . . 169 C.2.1 Le probl`me . . . . . . . . . . . . . . . . . . . . . . . . . . 169 e C.2.2 Thor`me de Gell-Mann et Low : . . . . . . . . . . . . . . 170 e e C.2.3 Thor`me de Wick . . . . . . . . . . . . . . . . . . . . . . 172 e e C.2.4 Reprsentation diagrammatique. Thor`me des diagrammes e e e connexes. . . . . . . . . . . . . . . . . . . . . . . . . . . . 174 C.2.5 Equation de Dyson - Self-nergie . . . . . . . . . . . . . . 181 e C.2.6 Applications . . . . . . . . . . . . . . . . . . . . . . . . . 182
Chapitre 1
Introduction
1.1 Objectifs du cours
La physique des solides est ltude des proprits des corps condenss dans e ee e leur phase solide, cest-`-dire dans la phase o` la position relative des noyaux est a u xe en moyenne. Cette dnition exclut les liquides mais comprend des corps e e amorphes comme les verres, ou des objets partiellement ordonns comme les crise taux liquides. Par proprits on entend la faon dont les solides se comportent ee c en prsence dune stimulation extrieure qui peut tre une action mcanique, e e e e une impulsion de chaleur ou un champ lectromagntique au sens large (champ e e lectrique, champ magntique, onde lectromagntique). Ce sujet est extraodie e e e nairement vaste, et il est indispensable de faire des choix. Lobjectif de ce cours est double : 1. Dvelopper des outils et des concepts modernes qui permettent daborder e les probl`mes dactualit en recherche fondamentale et applique en phye e e sique des solides (seconde quantication, fonctions de Green, diagrammes de Feynman, transformations canoniques,. . . ) 2. Les utiliser pour tudier un certain nombre de probl`mes slectionns pour e e e e leur intrt intrins`que (magntisme, supraconductivit,. . . ). ee e e e Le premier point nest pas la seule faon de procder. En eet, pratiquement c e tous les phnom`nes dcouverts dans les solides peuvent, une fois quils ont t e e e ee parfaitement compris, tre dcrits par des mthodes lmentaires agrmentes e e e ee e e des ingrdients appropris. Il est donc tout a fait possible de faire un cours de e e ` physique des solides avanc sans recourir a ces techniques sophistiques. Ceci e ` e dit, ces outils sont dutilisation courante pour ne pas dire systmatique dans la e littrature scientique contemporaine. Par ailleurs, ils sont indispensables pour e se convaincre de la validit des descriptions plus simples des phnom`nes. Cest e e e ce qui justie le choix de les dvelopper de faon dtaille pour quils puissent e c e e tre utiliss dans dautres contextes. La contrepartie, cest que certains sujets e e ne pourront pas tre abords. e e 4
1.2
1.2.1
Premi`re formulation e Un grand nombre de myst`res ont t lucids en physique du solide en repre e ee e e sentant le gaz dlectrons comme un gaz de fermions sans interactions voluant e e dans un potentiel priodique. Le thor`me fondamental de ce point de vue est e e e le thor`me de Bloch : on cherche les solutions de lquation de Schrdinger e e e o
2
2m
o` U (r) est un potentiel priodique (U (r + R) = U (r) si R = u e 3 vecteurs linairement indpendants). e e Thor`me de Bloch : les solutions sont de la forme e e k (r) = eik.r uk (r) o` uk (r) est une fonction qui a la mme priodicit que U (r). u e e e e Dmonstration : voir cours de 3`me anne et exercices. e e Seconde formulation
nj aj avec aj
(1.1)
et 2 2 Ta (x) = (x + a) = x2 x2 = d (x + a) (x + a) x x dx
=1 =1 2
2 d (x + a) (x + a) x2 dx
2
Ta
2m
(r)
2m
Ta (r)
Ceci est vrai quel que soit a, donc en particulier pour les translations du rseau : e 2 2 TR commute avec 2m . Par ailleurs, TR U (r)(r) = U (r + R)(r + R) = U (r)(r + R) = U (r)TR (r) 5
Donc TR commute avec H. Mais si des oprateurs commutent, on peut les e diagonaliser dans une base commune. Cherchons donc les fonctions propres de Taj . Elles doivent satisfaire : Taj (r) = j (r) Avec les conditions aux limites de Born-Von Karman : (r + Nj aj ) = (r) pour un syst`me ayant N = N1 N2 N3 mailles lmentaires, on doit avoir : e ee Taj j (r) (r + Nj aj ) = (r) Mais Taj j (r) = j j (r) j Finalement, Lexpression
2i N j mj nj N N Nj P N
= 1 j = e
2 i N mj n j j
2 i N mj j
TR (r) = e j
(r)
j mj N j aj
o` u
Ils dnissent le rseau rciproque. e e e Ceci nous am`ne a la deuxi`me formulation du thor`me de Bloch : e ` e e e (r + R) = eik.R (r) dont on montre aisment quelle est quivalente a la premi`re. e e ` e Equivalence des deux formulations Les deux formulations du thor`me de Bloch sont bien quivalentes : e e e ik.r 1. Supposons que k (r) = e uk (r), o` uk a la priodicit du rseau. On u e e e a: k (r + R) = eik.R eik.r uk (r + R) = eik.R eik.r uk (r) = eik.R k (r) 2. Rciproquement, supposons que : e k (r + R) = eik.R k (r) et dnissons la fonction uk (r) par : e uk (r) = eik.r k (r) On a : uk (r + R) = eik.r eik.R k (r + R)
k (r)
G.R =
j
Il en dcoule que deux vecteurs dondes k conduisent a la mme solution sils e ` e ne di`rent que par un vecteur du rseau rciproque. On peut donc se limiter e e e e a une maille lmentaire du rseau rciproque, par exemple a la 1`re zone de ` ee e e ` Brillouin. Exemple : rseau carr de pas a. e e a1 = a, a2 = a a = x y 1 2 2 x , a = 2 y a a
1.2.2
Si on cherche les solutions de lquation de Schrdinger sous la forme k (r) = e o eik.r uk (r), la fonction uk (r) doit satisfaire a une autre quation direntielle que ` e e nous pouvons simplement dterminer : e eik.r uk (r) = ikeik.r uk (r) + eik.r uk (r)
eik.r uk (r)
k + 2ik. +
uk (r)
2m
k2 + 2ik.
En gnral cette quation a une innit de solutions que lon rep`re par un e e e e e nombre quantique supplmentaire n appel indice de bandes. Les fonctions nk e e constituent la structure de bandes. 7
uk (r)
Dans la thorie des bandes, on suppose que les lectrons ninteragissent pas e e entre eux. Les tats propres a N lectrons sont alors obtenus en plaant un e ` e c lectron dans chaque tat quantique. A ce stade, il faut prendre en compte le e e spin 1 des lectrons. Chaque tat quantique est repr par son nergie nk , e e ee e 2 = ou . En labsence de champ magntique, et si le syst`me a un centre e e dinversion, nk = nk . De faon gnrale, il existe des nergies ne correspondant a nk pour aucune c e e e ` valeur de (nk). Ces nergies forment des intervalles appels bandes interdites. e e e e Remarque : lexistence de bandes interdites nest une ralit que pour les solides innis. En prsence dune surface, il y a dautres solutions dont lnergie e e tombe dans les bandes interdites. Il sagit de solutions telles que : (r + R) = z(r) o` z est un nombre complexe de module dirent de 1. De telles solutions sont u e a priori possibles puisque loprateur de translation peut videmment avoir des e e valeurs propres de module = 1. De telles solutions ne sont pas acceptables dans le volume car leur norme diverge exponentiellement avec la taille du syst`me, mais e elles sont acceptables en prsence dune surface si la fonction dcrot lorsquon e e sloigne de la surface. De tels tats sappellent des tats de surface. Ils ont e e e t observs et jouent un rle important dans les proprits lectroniques des ee e o ee e surfaces (catalyse, . . . ). Les conditions de Born-Von Karman, qui imposent |z| = 1, ne permettent pas de dcrire ces tats de surface. e e
Ltat fondamental dun syst`me volumique est obtenu en remplissant les e e niveaux dnergie en partant du plus bas. Deux cas de gure peuvent se prsene e ter : 1. Toutes les bandes sont soit compl`tement pleines, soit compl`tement vides. e e Le premier tat excit est spar du fondamental par lnergie qui se e e e e e pare la derni`re bande occupe de la premi`re bande vide. Du coup il e e e est impossible de mettre les lectrons en mouvement en appliquant une e tension arbitrairement petite le syst`me est isolant. Comme il y a 2N e tats par bande, ceci nest possible que si le nombre dlectrons par maille e e lmentaire est un entier pair. ee 2. Une ou plusieurs bandes sont partiellement remplies. Lnergie du dernier e tat occup sappelle lnergie de Fermi et est note F . Dans ce cas, la e e e e 8
sparation entre le dernier tat occup et le premier tat vide tend vers 0 e e e e quand N . Le syst`me peut rpondre a des excitations innitsimales. e e ` e De tels syst`mes sont dits mtalliques (ou conducteurs). e e Cette classication est sans doute le plus grand succ`s de la thorie des bandes. e e Avant cette thorie, lexistence de mtaux et disolants tait un grand myst`re. e e e e De tr`s nombreuses consquences de cette thorie ont t vries. En particue e e ee e e lier, cette thorie prvoit lexistence dun ensemble de vecteurs donde particulier e e appel surface de Fermi dnis par lquation : e e e nk = F La topologie de cette surface a des consquences tout a fait remarquables. En e ` particulier, elle peut conduire a une conduction par trous, et donc a un coecient ` ` de Hall positif, un rsultat tout a fait incomprhensible dans le cadre de la thorie e ` e e de Drude ou de Sommerfeld. Elle a galement des consquences directes sur les e e oscillations de de Haas-Van Alphen (oscillations de laimantation des mtaux e en fonction du champ magntique) ou de Chubnikov-de Haas (oscillations de la e magntorsistance en fonction du champ). e e Par ailleurs, la densit dtats au niveau de Fermi peut tre tr`s loigne de e e e e e e sa valeur dans le cadre de la thorie de Sommerfeld. Elle est en eet donne e e par : 1 dS gn (F ) = 4 3 | n (k)| Sn (F ) o` lintgrale est prise sur la surface de Fermi. La densit dtat peut avoir des u e e e singularits si le gradient sannule, voire des divergences en dimension 2 ou 1. e Cette densit dtats intervient directement dans des quantits comme la chaleur e e e spcique : e 2 2 k T g(F ) cv = 3 B ou la susceptibilit de Pauli : e = 2 g(F ) B Enn, la thorie du transport, dite thorie semi-classique, qui en dcoule e e e permet dexpliquer de nombreuses proprits. ee Pourtant, il nest pas possible den rester a cette approche dlectrons ind` e e pendants pour deux raisons dordres tr`s dirents : e e 1. Probl`me de principe : linteraction coulombienne entre lectrons nest pas e e ngligeable. Elle nest mme pas petite : e e V (q) = 4e2 diverge pour q 0 q2
Comment se fait-il que lapproximation des lectrons indpendants, qui e e consiste a remplacer cette interaction par un potentiel moyen eectif, ` marche si bien dans un grand nombre de cas ? Pour rpondre a cette e ` question, et pour comprendre les limites de validit de cette thorie, il e e est indispensable de travailler avec des fonctions dondes a plusieurs par` ticules. La seule reprsentation vraiment pratique se fait dans le cadre de e la seconde quantication (voir partie A). 9
2. Les checs de la thorie des bandes : malgr les eorts considrables de e e e e lpoque, dont ceux de Bloch lui-mme, il a t impossible dexpliquer la e e ee supraconductivit a partir de la thorie des bandes. On sait dsormais e ` e e quil sagit dun tat dcrit par une fonction donde radicalement die e e rente des fonctions propres de la thorie des bandes (voir partie 5 sur la e supraconductivit). Cest un chec tout relatif dans la mesure o` la sue e u praconductivit sexplique comme une instabilit a partir dun tat qui e e ` e lui est bien dcrit par la thorie des bandes. Mais il y a un chec beaue e e coup plus radical : certains composs ayant un nombre impair dlectrons e e par maille lmentaire sont des isolants. Ceci est rigoureusement imposee sible dans le cadre de la thorie des bandes. Ce probl`me fait lobjet de la e e section suivante.
1.3
En 1937, donc quelques annes a peine apr`s lapparition de la thorie des e ` e e bandes (Bloch 1929, Peierls 1929, Wilson 1931), de Boer et Verwey remarqu`rent e que NiO, qui est isolant avec un gap de 4 eV environ, devrait tre un mtal e e dapr`s la thorie des bandes. Pendant la discussion qui suivit lexpos, Peierls e e e dit qu` son avis ctait un eet des corrlations. Ce nest que plusieurs annes a e e e plus tard que Mott parvint a formuler cette explication de faon prcise. De` c e puis, de tr`s nombreux contre-exemples ont t trouvs, le plus cl`bre tant e ee e ee e La2 CuO4 : dop avec du Sr (La2x Srx CuO4 ) ce compos devient supraconduce e teur a 40 K, ce qui a valu le prix Nobel 1988 a Bednorz et Mller. ` ` u La structure de bande de ce compos a t calcule par Mattheiss en 1987 e ee e (voir gure 1.1). Comme il y a un nombre impair dlectrons par maille lmene ee taire, une bande au moins doit tre partiellement remplie. Cest eectivement e le cas : une bande est demi-remplie. Pour comprendre cette structure de bandes, le plus simple est de considrer e le solide comme une collection datomes. Chaque atome a des orbitales plus ou moins remplies. La : [Xe] 6s2 5d1 Cu : [Ar] 3d10 4s1 O : 1s2 2s2 2p4 La position relative des orbitales externes des atomes dcide du remplissage dans e le solide. Il se trouve que les orbitales 2p de loxyg`ne sont plus basses que les e orbitales externes de Cu et La. Du coup, les congurations lectroniques dans e le solide sont les suivantes : La3+ : [Xe] Cu2+ : [Ar] 3d9 O2 : 1s2 2s2 2p6 3+ Au total, La2 Cu2+ O2 est neutre ! 4 Par ailleurs, les intgrales de transfert entre certaines orbitales 3d du cuivre e et 2p de loxyg`ne sont importantes ( 1 eV ), et la sparation entre les niveaux e e atomiques nest pas trop grande ( 2 eV ). Du coup, lhybridation entre ces orbitales est signicative, et le niveau de Fermi tombe dans une rgion en nergie e e ou il y a 17 bandes : 5 venant des niveaux 3d du cuivre, et 12 (43) venant des niveaux 2p des quatre oxyg`nes de la maille lmentaire. Cette faon de voir la e ee c structure de bandes correspond a la mthode des liaisons fortes. ` e 10
Fig. 1.1 LAPW energy bands for La2 CuO4 along symmetry lines in the bct Brillouin zone. L.F. Mattheiss, Phys. Rev. Lett. 58, 1028 (1987).
Cette approche est toujours possible, et elle dcrit tr`s bien la structure e e de bandes de nombreux mtaux. Pourquoi choue-t-elle a dcrire correctement e e ` e le fondamental de nombreux composs comme La2 CuO4 ? Largument central e d a Mott consiste a tudier les excitations lectroniques dun solide compos u` `e e e datomes dhydrog`nes en fonction de la distance entre les atomes. e Pour simplier, essayons de construire un solide imaginaire formant un rseau e carr a partir datomes dhydrog`ne. La maille lmentaire comprend un atome e` e ee dhydrog`ne, et il y a un lectron par maille lmentaire. Dapr`s la thorie des e e ee e e bandes, le syst`me doit donc tre un mtal. Pourtant, si on appelle a la distance e e e entre les atomes dhydrog`ne, le syst`me ne peut pas tre mtallique lorsque a est e e e e grand. Essayons en eet de faire passer du courant. Il faut prendre un lectron e et lamener tr`s loin. Pour que le syst`me soit mtallique, il faut pouvoir faire e e e cela avec un apport dnergie innitsimal. Essayons dvaluer lnergie quil e e e e faut fournir au syst`me pour faire cela. e Si a est tr`s grand, on a au dpart essentiellement 1 lectron par site. Lorse e e quon envoie un lectron tr`s loin, on cre un trou et un site doublement occup : e e e e
11
Lnergie potentielle de cet tat est a peu pr`s donne par : e e ` e e E(H ) + E(H + ) 2E(H) Du fait de la rpulsion coulombienne entre les 2 lectrons de H , cette quantit e e e est strictement positive. On lappelle en gnral U . e e Par contre, le syst`me peut gagner de lnergie cintique : le trou peut se e e e dlocaliser, et le site doublement occup aussi. Si on appelle W la largeur de e e bande correspondant a la dlocalisation dun lectron sur le rseau, le trou va ` e e e se mettre en bas de la bande et gagner W , et le site doublement occup va faire e 2 de mme. Ceci suppose que la dlocalisation du trou et celle du site doublement e e occup se fassent de la mme faon. Ce nest pas vrai en toute rigueur, mais e e c lordre de grandeur est le mme. Cette largeur de bande peut tre estime par e e e un calcul de liaisons fortes. Lintgrale de transfert dominante est entre premiers e voisins. Si on lappelle t, la relation de dispersion scrit : e E(t) = 2t cos kx + 2t cos ky La largeur de bande W = 8t. Finalement, lnergie dune conguration avec un trou et un site doublement e occup est gale a : e e ` c = U W Dans cette expression, U est essentiellement indpendant du param`tre de rseau e e e a puisque cest une quantit atomique. Par contre, W dpend fortement de a. e e Lorsque a est grand par rapport au rayon de Bohr a0 , le recouvrement dans le calcul de lintgrale de transfert fait intervenir la queue exponentielle des e a fonctions donde, et t e a0 est exponentiellement petit. Dans cette limite, c U est un nombre positif et grand le syst`me est un isolant. De tels e isolants sappellent des isolants de Mott. c sappelle le gap de charge. Lorsque a diminue, t augmente, et il doit y avoir une valeur de lordre de a0 pour laquelle U = W . En-dessous de cette valeur, le calcul de c nest plus valable. Le gap ne peut tre ngatif ! Largument de Mott prvoit donc lexistence e e e dune transition mtal-isolant lorsque a augmente. e Cette transition peut en principe tre observe en appliquant de la pression e e sur un isolant de Mott pour rduire a et augmenter t. Historiquement une trane sition de ce type a t observe pour la premi`re fois dans V2 O3 au dbut des ee e e e annes 70. Il y a dautres ingrdients qui rendent la transition plus complique e e e dans ce compos, mais la validit de largument est dsormais gnralement e e e e e admise. Il y a une dirence fondamentale entre un isolant de Mott et un isolant e de bandes. En eet, sil faut payer une nergie c pour faire une excitation de e charge dans un isolant de Mott, il nest pas ncessaire de payer cette nergie e e pour faire une excitation de spin : on peut retourner le spin dun lectron sans e crer un site doublement occup. La description du magntisme des isolants de e e e Mott fera lobjet de la partie 2. Pour dcrire cette physique de faon prcise e c e dans un cadre gnral incluant a la fois les uctuations de charge et de spin, il e e ` faut possder les outils ncessaires a la description de syst`mes dlectrons en e e ` e e interaction. Le formalisme le plus adapt, la seconde quantication, est prsent e e e dans la partie A.
12
Chapitre 2
Comme nous lavons vu dans le premier chapitre, les isolants de Mott se distinguent radicalement des isolants de bandes parce quils poss`dent des excie tations magntiques de basse nergie. En eet, ltat isolant correspond a une e e e ` conguration o` chaque atome porte un nombre impair dlectrons, disons 1 u e pour simplier, et le spin de cet lectron peut tre ou . Dans la limite pue e rement atomique o` les atomes sont inniment loin, le spectre dexcitations est u tr`s simple. Le fondamental correspond a toutes les congurations o` on a 1 e ` u lectron par site. Il est donc 2N fois dgnr, et son nergie est gale a N 0 , o` e e e ee e e ` u e e e ee e 0 , lnergie dun lectron sur un site, peut tre pris comme rfrence dnergie ( = 0). Le premier tat excit correspond a une conguration o` on a 1 site vide et e e ` u 1 site doublement occup. Sa dgnrescence est N (N 1)2N 2 , et son nergie e e e e e U . Et ainsi de suite E E E = 2U = U = 0 N (N 1)2N 2
2N .
Si lon rapproche les atomes les uns des autres, le premier eet sera de lever la dgnrscence dans le sous espace E = 0. Le mod`le minimal qui e e ee e permet de dcrire cette physique sappelle le mod`le de Hubbard. Il est dni e e e par lHamiltonien c+ cj, + h.c. + U i,
<i,j> i
H = t
ni, ni, .
Le premier terme est un terme de saut entre premiers voisins, dominant lorsquon rapproche les atomes de linni. Le second terme mesure le nombre de 13
sites doublement occups spectre dans la limite atomique. e Pour dterminer lHamiltonien eectif qui dcrit la leve de dgnrse e e e e ee cence dans la bande du bas, il faut donc faire une thorie de perturbations e dgnres par rapport au terme dnergie cintique e e ee e e H0 = t c+ cj, + h.c. . i,
<i,j>,
Il existe des mthodes systmatiques pour faire ce dveloppement (transe e e formations canoniques, thories des perturbations a N corps, ). Dans le cas e ` prsent, on peut nanmoins faire un calcul relativement lmentaire. e e ee Au premier ordre en H0 , la thorie des perturbations dgnres prdit que e e e ee e lHamiltonien eectif est donn par e < m|Hef f |n >=< m|H0 |n > o` |m > et |n > sont des kets du sous-espace fondamental. Mais comme nous u sommes au demi-remplissage, |m > et |n > doivent avoir un et un seul lectron e par site. H0 , qui fait sauter un lectron dun site a un autre, cre ncessairement e ` e e un site vide et un site doublement occup. Ses lments de matrice dans le souse ee espace fondamental sont donc nuls, et il faut pousser la thorie de perturbation e a lordre suivant. ` Au deuxi`me ordre, les lments de matrice sont donns par e ee e < m|Hef f |n >= < m|H0 |k >< k|H0 |n > E0 E k
|k>
o` la somme |k> est restreinte aux tats qui ne sont pas dans le sous-espace u e fondamental. Comme H0 cre un site doublement occup, Ek = U , ce qui implique e e 1 < m|Hef f |n >= < m|H0 |k >< k|H0 |n > U
|k>
Loprateur |k> |k >< k| est lidentit dans le sous-espace des tats ayant e e e un site doublement occup. Il est commode de le remplacer par une autre ree prsentation de lidentit dans ce sous-espace, a savoir j nj, nj, , do` : e e ` u H0 U Considrons le j-i`me terme de cette somme. Seuls les termes du type e e Hef f = H0 c+ ci, j,
i(j), j
nj, nj,
vont contribuer, o` i(j) signie quon somme sur les voisins de j. Le terme de u Hef f correspondant scrit e t2 U c+ cj, nj, nj, c+ ci, j, i,
i(j)
= =
c+ cj, nj, nj, c+ ci, = ni, nj, cj, nj, c+ . i, j, j, Or cj, nj, c+ = (1 nj, ) j, car c n = cc+ c = (1 c+ c)c = c = cc+ = 1 n. Le terme du Hamiltonien prend alors la forme : c+ cj, nj, nj, c+ cj, = ni, nj, (1 nj, ) i, i, Mais dans le sous espace o` agit Hef f , tout les sites sont occups par un u e et un seul lectron. On a donc : e nj, + nj, = 1 = 1 nj, = nj, . Par ailleurs, comme nj, nj, = nj, , on a nalement la contribution suivante : c+ cj, nj, nj, c+ cj, = ni, nj, . i, i, = = De mme, e c+ cj, nj, nj, c+ cj, = ni, nj, . i, i, = =
= = = De la mme mani`re, e e
c+ ci, c+ cj, . i, j,
c+ cj, nj, nj, c+ ci, = c+ ci, c+ cj, . j, i, j, i, En rassemblant tous les termes, il vient : Hef f = 2t2 U ni, nj, + c+ ci, c+ cj, j, i, 15
<i,j>,
et les oprateurs densit ni = ni, + ni, . En crivant les relations suivantes : e e e 1 1 z z Si Sj ni nj = (ni, nj, + ni, nj, ) 4 2 + + Si Sj + Si Sj = c+ ci, c+ cj, + c+ ci, c+ cj, i, j, i, j, on rcrit le Hamiltonien en fonction des oprateurs de spin : ee e Hef f = 4t2 U 1 1 + + z z S S + S i Sj Si Sj ni nj + 4 2 i j .
o` le prfacteur 2 vient du fait que pour chaque paire < i, j >, un terme vient u e du terme nj, nj, de la somme j nj, nj, , et un terme de ni, ni, . Or les oprateurs de spin en seconde quantication scrivent (voir exere e cices) : 1 z Si = 2 (ni, ni, ) + S = c+ ci, i, i Si = c+ ci, i,
<i,j>
Hef f =
4t2 U
<i,j>
Si Sj
1 4
A une constante pr`s, cest le mod`le de Heisenberg dni par : e e e HHeis = J avec la constante de couplage J = Si Sj ,
<i,j> 4t2 U .
2.2
Lhamiltonien que nous avons obtenu au paragraphe prcdent est un cas e e particulier du modle de Heisenberg qui est dni de faon gnrale par lhamile e c e e tonien : H=
(i,j),=x,y,z Jij Si Sj .
Le symbole (i, j) indique quon somme sur les paires. Les param`tres qui dtere e minent les proprits de ce mod`le sont : ee e 1) le signe des couplages. Si les couplages sont positifs, comme dans le cas de la section prcdente, ils tendent a aligner les spins dans des directions e e ` opposes. On parle de couplage antiferromagntique. Sils sont ngatifs, e e e ils tendent a aligner les spins dans la mme direction. On parle alors de ` e 16
couplage ferromagntique. (Attention ! Il arrive quon crive lhamiltoe e nien avec un signe -, auquel cas cest J > 0 qui correspond a un couplage ` ferromagntique et vice versa). e 2) lanisotropie des couplages. Si les couplages J x , J y et J z sont gaux, e comme pour le mod`le de Hubbard, on parle de couplage isotrope. Sinon, e on parle de mod`le anisotrope. Les cas particuliers les plus importants e sont le mod`le dIsing (J x = J y = 0) et le mod`le XY (J z = 0). e e 3) la porte des couplages. On se limite souvent a des couplages entre pree ` miers voisins, mais certaines situations physiques imposent de prendre en compte des couplages a plus longue porte, avec des consquences parfois ` e e tr`s importantes (voir par exemple la derni`re section de ce chapitre). e e e 4) la valeur du spin S. Dans le cas du mod`le de Hubbard, on trouve un mod`le de spin 1/2. Mais le spin dun syst`me magntique peut a priori e e e prendre toutes les valeurs 1/2 enti`res. Certaines proprits dpendent de e ee e faon cruciale de la valeur de S. Il est parfois tr`s utile de considrer que c e e les spins sont des vecteurs de longueurs 1 et non des oprateurs. Cest ce e quon appelle la limite classique. Elle correspond dune certaine mani`re e a la limite S + du cas quantique. ` 5) la dimensionnalit de lespace. La plupart des proprits importantes e ee sont radicalement direntes suivant quon tudie un syst`me de dimene e e sion 1, 2 ou 3. Cest en partie le nombre important de param`tres qui fait du magntisme un e e vaste sujet, et nous nous limitons a ltude de quelques situations particuli`res. ` e e Il ny a par ailleurs que quelques situations o` des rsultats exacts ont pu tre u e e obtenus, en gnral par des calculs tr`s compliqus, et on est dans la plupart e e e e des cas oblig de se contenter de mthodes approximatives pour tudier telle e e e ou telle proprit. La mthode a employer dpende de lchelle dnergie ou, ee e ` e e e de faon quivqlente, de lchelle de temprature a laquelle on sinteresse. Si c e e e ` lon veut tudier les proprits a basse temprature, cest-`-dire T /J << 1, il e ee ` e a faut essayer de dterminer ltat fondamental et les premiers tats excits. La e e e e mthode la plus utilise est lapproximation des ondes de spin (voir section II e e - 2.). Si on sinteresse au contraire a des tempratures de lordre de J ou plus ` e grandes, tous les tats jouent un rle important, et la connaissance des tats e o e de basse nergie ne sut plus. Les techniques sont alors celles de la physique e statistique : champ moyen, groupe de renormalisation, etc . . . (voir section II 3.).
2.3
Cas ferromagntique e
J >0
17
e e o` <i,j> dsigne la somme sur les paires de premiers voisins dun rseau de u Bravais.
2.3.1
Etat fondamental
Cas classique : Il est souvent tr`s utile de commencer par tudier la limite dite classique o` e e u les spins sont assimils a des vecteurs classiques a 3 composantes de longueur e ` ` unit. Dans le cas dun syst`me ferromagntique, lnergie est minimale pour les e e e e congurations o` tous les spins pointent dans la mme direction puisquune telle u e conguration minimise indpendamment lnergie de chacun des termes dans la e e somme. Cas quantique : Par analogie avec le cas classique, on va chercher a construire lquivalent ` e quantique des tats o` les spins sont compl`tement aligns. Pour cela, on proe u e e c`de en 3 tapes : e e 1) |m1 = S, m2 = S, mN = S > est tat propre. e
+ z z Si Sj = S 2 , Si Sj donne 0, on a donc lnergie : e
E = J
<ij>
S 2 = JS 2
z N 2
nb de paires
18
2.3.2
Considrons ltat e e
1 S |F 2S i
> puisque
De plus,
<kl>
H |i > = J J = 2 = J 2
j(i)
j(i)
2S|j >
j(i)
j(i)
|j >
H |k > = =
1 N
|i + >
1 (JS) N e
eik
i
eik(Ri + ) |i + >
= JS =
ik
|k >
eik |k >
1 eik
19
Remarque : Pour k = 0, on a Ek = E0 . Est-ce possible ? Oui. Cet tat sobe tient a partir de |F > par une rotation du spin total, et lhamiltonien commute ` avec le spin total. Dispersion : eik + eik = 2 cos(k ), = a, a, a x y z On transforme alors
1 eik
1 eik
= 4 = Ek = E0 + 4JS
k a 2
sin2
k a 2
E
Emax
2JSz
k a 2
2 k a 2 4
= E0 + JS k 2 a2
eikRn |n >
>
or
+ Sj |j >=
2S|F >
et
20
+ Si Sj |j >=
do` u 2S + Si Sj |k >= eikRj |i > . N De mme, on montre que : e 2S + Si Sj |k >= eikRi |j > . N On a alors : < k| 1 + + S S + S i S j |k > = 2 i j = = 2S 2N eikRn eikRj < n|i > +eikRi < n|j >
n
Lorsque i = j,
z z Si Sj |k >= 1 N n=j,n=j
Finalement :
z z < k|Si Sj |k > =
1 N
+
m
eikRm S(S 1)eikRj < m|j > +S(S 1)eikRi < m|i > S 2 + S(S 1) + S(S 1)
eikRm
n=j,n=j
= S2
1 N
n=j,n=j
2 S N
priode e
1 k
Mode de basse nergie : Thor`me de Goldstone (Symtrie continue brise = e e e e e mode dont lnergie tend vers 0 quand k = 0). e
21
Autres tats de basse nergie ? e e Oui, bien sr. On peut renverser 2 spins, 3 spins, etc . . . u Probl`me : |k, k >= e de H.
1 N i,j ei(kri +krj ) Si Sj |F > nest pas un tat propre e
Dmonstration : Pour les tats a 1 magnon, on a cherch la solution sous e e ` e ikRi la forme | >= i Ai Si |F > et on a vu que Ai = e permet de diagonaliser H. Pour les tats a deux magnons on doit de mme chercher la solution sous la e ` e forme | >= i,j Ai,j Si Sj |F >. Mais les coecients Ai,j doivent satisfaire des quations direntes suivant que i et j sont proches voisins o` pas. Ce e e u problme na pas de solution exacte sauf en dimension 1 et pour des spins 1/2. `
2.3.3
Transformation de Holstein-Primako
Pour S donn, on peut crer plusieurs dviations de spin sur un site les e e e Si sont plutt des bosons que des fermions. o Reprsentation exacte : e z Si = S a + a i i a+ a + i Si = 2S 1 2S i ai a+ a i Si = 2Sa+ 1 2S i i
Approximations :
on oublie que a+ ai 2S i
+ on ne garde que les termes linaires, cest-`-dire : Si = e a 2Sa+ i
2Sai et Si =
n ai a+ = 2S 1 i 2S = 2S (1 n )+ 2S
1+a+ ai i
1 22
n + a ai 2S i
n n a+ (1 )ai i 2S 2S 1
n n a+ (1 )ai i 2S 2S
De mme, e n S+ 1 [S z , S + ] = [n, ] = [n, 1 ai ] 2S 2S 2S n n = n 1 ai + 1 ai n 2S 2S n n S+ = 1 [n, ai ] = 1 (ai ) = 2S 2S 2S Calculons a prsent lhamiltonien : ` e 1 S 2 Sa+ ai Sa+ aj + 2S(a+ aj + a+ ai ) = J j i j i 2 <i,j> = J Nz 2 S JS a+ ai a+ aj + a+ aj + a+ ai j i j i 2 <i,j> N z 2 JS S 2 2
= J
i,
a+ ai a+ ai+ + a+ ai+ + a+ ai i i i+ i+
ak = ai =
a+ = i
1 N
1 ikri ai ie N 1 ikri ak ke N
23
i,
k 1 ,k 2
ik1 ri +ik2 ri
a + a k2
k1
= J = J
N z 2 JS S 2 2
k 1 ,k 2
N z 2 JS S 2 2
1 1 + eik + eik a+ ak
k
Finalement, H avec
k
= E0 +
k
+ k ak ak
= JS
1 eik
Interprtation : On se place dans la reprsentation nombre doccupation des e e bosons. |0, , 0 > tat fondamental e |0, , 1 , , 0 > tat a un magnon e `
k
1 N2
= S = S = S avec =
1 kB T
1 N 1 N
< a + ak >
k k
1
k
1 (2)D
dk , e k 1
24
eJSa2 k2
2 2
aD (2)D
|k|>k0
dk eJSa2 k2 1
1 + Ja2 k 2 . I devient :
|k|k0
aD (2)D
dk JSa2 k 2
k0 |k|=0
a2 1 2 JS 1D : a 1 (2) JS
k0 |k|=0
k0 |k|=0
kdk k2
Diverge !
dk k2
2.3.4 2.3.5
Cas classique Le fondamental est ltat de Nel avec tous les spins sur le sous-rseau A e e e et tous les spins sur le sous-rseau B : e Cas quantique Par analogie, considrons ltat : e e |mA = S, , mA = S, mB = S, , mB = S > . N N 1 1
2 2
Est-ce ltat fondamental ? Certainement pas : ce nest mme pas un tat propre ! e e e Considrons en eet deux sites voisins (i A, j B) : e
+ Si Sj mA = S 1, mB = S + 1 1 1 + Si Sj 0
25
Cet tat est coupl a dautres tats. Comment faire ? e e` e La situation est assez semblable au cas ferromagntique a T nie. Il faut e ` inclure des uctuations. Transformation de Holstein-Primako Comme les spins ont des orientations direntes sur les deux sous-rseaux, e e il faut distinguer deux cas : Sous-rseau A e
z Si + Si Si
= S a + ai i ni ai 2S 1 = 2S ni = 2S a+ 1 i 2S
Sous-rseau B e
z Sj + Sj Sj
= S + a+ aj j nj = 2S a+ 1 j 2S nj = 2S 1 aj 2S
= J
iA j(i)
S 2 + Sa+ ai + Sa+ aj + j i
= JS 2
N z + SJ 2
a+ ai + a+ ai+ + ai ai+ + a+ a+ i i+ i+ i+
iA
N JS = JS 2 z + 2 2 + JS 2 1 N
1 N
k1 k2
= JS 2
JS N z+ 2 2
a+ ak + a+ ak + ak ak eik + a+ a+ eik
k k k k
Probl`me : Lhamitonien nest pas la somme doscillateurs harmoniques car il e contient des termes de la forme ak ak et a+ a+ .
k k
Transformation de Bogolioubov
26
k + k + Cte
k
[H, ak ] =
ak + a k + a +
eik + eik
= JS De mme, comme e
ak + a+k cos k .
[a+ ak , a+ ] = a+ ak a+ a+ a+ ak = a+ ,
k k k k k k k 1+a+ ak
k
[ak ak , a+ ] = +ak
k
il vient : [H, a+ ] = JS
k
a+ + ak cos k .
k
Comme [H, ak ] et [H, a+ ] sont des combinaisons linaires de ak et a+ , il doit e k k tre possible de mettre le Hamiltonien sous la forme voulue a laide doprateurs e ` e bosoniques + et k qui soient des combinaisons linaires de ak et a+ . Plus e k k prcisment, cherchons ces oprateurs sous la forme : e e e k = u k a k + v k a +
k
uk + vk cos k ak + vk uk cos k a+
= k k , k > 0 27
cos k
2 k = (JSz)2 (JSzk )2
k = JSz avec k =
zk z
1 2 ,
k
Les quations aux valeurs propres impliquent : e vk uk = JSzk = sign(zk ) JSz + k JSz k JSz + k (JSz k )(JSz + k ) JSz + k
= sign(zk )
e ` Par ailleurs, les oprateurs + e t k doivent tre bosoniques. Cela conduit a la e k condition de normalisation :
2 u2 v k = 1 k
= =
u2 1 k u2 k
k + k + Cte k
28
+ = u k a + + v k a k a k = u k k v k +
k
a+ = vk k + uk +
et reporter ces expressions dans le Hamiltonien crit en fonction des a+ , ak , e k qui est donn par : e H = JS 2 Or, a+ ak
k
ak = vk + + uk k
k
a + = u k + v k k
k k
zN JS + 2 2
2za+ak + zk ak ak + zk a+ a+k k k
uk + v k k
k k
uk k v k +
k
k k k
2 = u 2 + k + v k k + u k v k + + + k k k
= a k a k =
u2 k
+ k k
2 vk
+ k k
2 vk
u k v k + + + k k
k k
uk k v k + k + k
k
vk + + uk k
k
= uk vk
+ k k
k
2 + u 2 k k + v k + + k k k k k
2 = uk vk + k + + k uk vk + u2 k k + vk + + k
a+ a+ k k
uk + v k k k
k
vk k + uk +k
k 2 + u 2 + + + v k k k k k k 2 u k v k + u 2 + + + v k k k k k k
+ k k
2 Le terme constant vaut 2zvk 2zk uk vk . Mais dapr`s lquation aux vecteurs e e propres, on a :
=
k
2 JSzvk JSuk zk vk 2 k v k k
= =
k
k
JSz k JSz = 2k 2
1+
k N
1 2
k
k
29
JS(S + 1)
k
k
= + k
k k
= + k
2 2 k u2 v2 k JS JS k k 2 = + k k JS k
k + k . k
= k k = 0
= k k k uk v k k uk v k
zk uk zvk uk + zk vk zuk vk
+ k +
k
1 2
Aimantation alterne e Lquivalent de laimantation du cas ferromagntique est laimantation ale e terne dnie par : e e 1 i j < Malt = Sz Sz > N
iA iB
2 2 u2 + vk n(k) + vk k
30
T=0 :
2 < a+ ak >= vk = k
JSz k =0! 2k
dk
0
JSz k 2k
Mais pour k petit, k k. Du coup, lintgrale diverge et il ny a pas e dordre magntique. e D 2 : il y aura de lordre magntique si lintgrale est infrieure a S. e e e ` Cest le plus souvent le cas. Par exemple, sur un rseau carr, lintgrale e e e vaut a peu pr`s 0.2. Ce calcul prvoit donc quil doit y avoir de lordre ` e e antiferromagntique pour tout S. e T=0 : < a+ ak >= k JSz k JSz 1 + k ek 1 2k
1 k2 pour k petit
e ` ` D 2 : Lintgrale diverge pas dordre a longue distance a T > 0 (Thor`me de Hohenberg-Mermin-Wagner). e e Fondamental : Le vide pour les bosons a+ est ltat de Nel. Ce nest pas ltat fondamental ! e e e Ltat fondamental vrie k |F >= 0. Or uk ak + vk a+k |0 >= vk a+k |0 >= 0. e e On peut montrer que ltat fondamental est : e |F >= v 1 exp k a+ a+ |0 > uk uk k k
o` k signie quon ne fait le produit que sur des vecteurs dondes k et k tels u que k = k . Pour cela il faut tablir que : e k |F >= 0 avec k = uk ak + vk a+k . ak |F > = ak =
l=k,k
|0 >
o` lon somme depuis n = 1 puisque le terme n = 0 donne 0 vu que ak |0 >= 0. u Or, [ak , (a+ )n ] = n(a+ )n1 k k Dmontrons-le par rcurrence. Cest vrai pour n=1 puisque [ak , a+ ] = 1. Supe e k posons que ce soit vrai a lordre pour n 1. Il vient : ` [ak , (a+ )n ] = [ak , (a+ )n1 ]a+ + (a+ )n1 [ak , a+ ]
k k k k k
= n(a+ )n1
k
(a+ )n ak
k donne 0 sur le vide
et on obtient : ak |F > = =
l=k,k
l=k,k
v 1 exp l a+ a+ ul ul l l v 1 exp l a+ a+ ul ul l l
1 uk
+ n=1
(n 1)!
|0 >
v 1 vk + a exp k a+ a+ |0 > uk uk k uk k k
Finalement : uk ak |F >= vk a+k |F > soit k |F >= 0. Enn, vrions que |F > est normalis. e e < F |F > = < 0| =
k
1 u2
v k uk vk uk
2n
2n
(ak ak )n (a+ a+ )n
k
n!2
|0 >
1 u2
=
k
1 1 v 2 uk 1 ( uk )2
k
= 1.
32
2.4
Syst`mes frustrs e e
Dnition : ce sont des syst`mes pour lesquels on ne peut pas minimiser ine e dpendamment lnergie de chaque liaison dans le cas classique. e e Exemples : Rseau triangulaire origine topologique e
J2
2.4.1
Cest un probl`me en gnral non rsolu. On conna nanmoins la solution e e e e t e lorsque les moments magntiques sont situs aux noeuds dun rseau de Bravais e e e (i.e. lorsquil ny a quun atome par maille). Considrons en eet lnergie dune conguration e e E=
1 2
1 2
Rn
JR n S R i S R i + R n
Il y a un facteur
T.F. : 1 Sk = N Jk =
Rn
1 Si eikRi = Si = N
ikRn
Sk eikRi
k
JR n e
= JRn
1 = N
Jk eikRn
k
E=
1 2
Ri Rn
1 N2
k1 k2 k3
Jk S k S k
On proc`de alors en deux tapes : e e on tudie le probl`me sous la contrainte plus faible e e
i
||Si ||2 = N .
= =
1 N
k1 k2
Sk S k
sous la contrainte
Sk Sk = N = cste.
Supposons que Jk soit un minimum pour k = k0 . Le minimum est obtenu si Sk = 0, k = k0 , k0 et Sk0 Sk0 + Sk0 Sk0 = N . Les spins dans lespace rel sont alors donns par e e 1 Sk0 eik0 R + Sk0 eik0 R Si = N Peut-on trouver Sk0 et Sk0 tels que : S k0 S k0 = N 2 aussi tels que les contraintes locales : Si rel e ||Si ||2 = 1 34
mais
S k0 =
N 2 N i 2
Si = sin k0 R 0
cos k0 R
2 12a .
Conclusions : la structure est une hlice dont le vecteur donde correspond au minimum e de J(k). Sil y a plusieurs vecteurs donde qui minimisent J(k), on peut faire des combinaisons linaires, ce qui peut conduire a une dgnrescence continue e ` e e e de ltat fondamental. e Exemple : mod`le J1 J2 sur un rseau carr e e e
J1
J2
35
= J1
<i,j>
Si Sj + J 2
<<i,j>>
Si Sj
=
k
J(k)Sk Sk
J(k) = J1 eikx + eikx + eiky + eiky + J2 eik(x+y) + eik(xy) + eik(x+y) + eik(x+y) = 2J1 (cos(kx ) + cos(ky )) + 2J2 (cos(kx + ky ) + cos(kx ky )) = 2J1 (cos(kx ) + cos(ky )) + 4J2 cos(kx ) cos(ky ) La minimisation donne : J = 2J1 sin(kx ) 4J2 sin(kx ) cos(ky ) = 0 kx J = 2J1 sin(ky ) 4J2 sin(ky ) cos(kx ) = 0 ky kx = 0, kx = ky = 0, ky = ou cos ky = ce qui nest possible que si
J1 2J2
J1 = cos kx 2J2
J1 2
<1
< J2 .
kx = ky = 0 J(k) = 4J1 + 4J2 kx = 0, ky = J(k) = 4J2 kx = ky = J(k) = 4J1 + 4J2 cos kx = cos kx =
J1 2J2
Enn, pour J1 < 2J2 , on peut faire une combinaison linaire des deux hlices, e e ce qui conduit a une famille dtats fondamentaux dgnrs. ` e e e ee 36
+ comb. lin. kx = 0, ky = kx = , ky = 0 kx = ky =
a
2.4.2
Rn
J(k) =
Rn
JRn eikRn
et supposons que J(k) soit minimum pour k = Q. On va faire une rotation dans lespace des spins de sorte que ltat fondae u v w mental classique soit dcrit par Si = Si = 0, Si = 1. e Supposons que ltat fondamental soit dcrit par e e 0 Si = sin(Q Ri ) cos(Q Ri )
Q.a
et faisons une rotation dangle i = Q Ri autour de S x : S u = S x , S v = cos i S y sin i S z et S w = sin i S y + cos i S z . Lhamiltonien dans la nouvelle base scrit : e 1 u u JRn [Si Si+n H = 2 i
Rn v w v w + (cos i Si + sin i Si )(cos i+n Si+n + sin i+n Si+n ) v w v w + ( sin i Si + cos i Si )( sin i+n Si+n + cos i+n Si+n )]
car Sy Sz
v w = cos i Si + sin i Si v w = sin i Si + cos i Si
37
= + + + + =
i Rn v v Si Si+n (cos i cos i+n + sin i sin i+n ) w w Si Si+n (sin i sin i+n + cos i cos i+n ) v w Si Si+n (cos i sin i+n sin i cos i+n ) w v Si Si+n ( cos i sin i+n + sin i cos i+n )]
1 2
1 2
Rn
u u v v w w w v v w JRn Si Si+n + cos(i i+n ) Si Si+n + Si Si+n + sin(i i+n ) Si Si+n Si Si+n
= S a + ai i
u v Si iSi u v Si + iSi
2Sai 2Sa+ i
= =
v v Si Si+n
= =
= = =
1 + + Si+n + Si+n S + Si 4 i S ai ai+n + a+ a+ + ai a+ + a+ ai+n i i+n i+n i 2 1 + + Si+n Si+n Si S i 4 S ai ai+n + a+ a+ ai a+ a+ ai+n i i+n i+n i 2 + + 2 S S(ai ai + ai+n ai+n ) S 2S ai+n + a+ i+n 2i S 2S ai + a + i 2i S JRn [ (ai ai+n + a+ a+ )(1 cos(i i+n )) i i+n 2
Rn
S + + (a ai+n + a+ ai )(1 + cos(i i+n )) i+n 2 i + + [S 2 S(ai ai + a+ ai+n )] cos(i i+n ) i+n S 2S (ai + a+ + ai+n + a+ ) sin(i i+n )] + i+n i 2i JR n = 1 N 1 Jk eikRn , ai = N 1 eikri ak , a+ = i N eikri a+
k k
Cet hamiltonien contient a priori des termes a un seul oprateur de boson ` e de la forme ai et a+ . Mais lnergie classique, qui est donne par : e e i Eclass = 1 2 JRn cos(i i+n )
Rn
38
doit tre minimale. Si on regroupe tous les termes contenant un angle donn i , e e il vient : JRn cos(i i+n )
Rn
puisque chaque paire appara deux fois dans lnergie classique. La condition t e de minimalit de lnergie impose par ailleurs que e e Eclass i =
Rn
= 0
Rn
+ +
S + a a eik2 ri +ik3 (ri +Rn ) + a+ ak2 eik2 ri ik3 (ri +Rn ) k3 2 k2 k3 iQRn iQRn e +e 1+ 2 eiQRn + eiQRn 2
2 2
+ S2
S a+ ak3 eik2 ri +ik3 ri + a+ ak3 eik2 (ri +Rn )+ik3 (ri +Rn ) k k e
iQRn
+e 2
iQRn
Regardons les termes : eiRn (k1 +k3 ) eiri (k2 +k3 ) 1 2 k1 = k3 , k2 = k3 eiRn (k1 +k3 +Q) eiri (k2 +k3 ) 1 4 S Jk a k a k 2 k3 = k1 Q , k2 = k1 + Q S JkQ ak ak 2
1 4
S Jk+Q ak ak 2
39
eiRn (k1 k3 Q) eiri (k2 +k3 ) eiRn (k1 +k3 ) eiri (k2 +k3 )
1 4
S JkQ a+ a+ 2 k k
1 4
S Jk+Q a+ a+k 2 k
1 2
S J k a + a k 2 k
eiQRn + eiQRn S2 1 J + J Q = N 2 2 2 Q
S JQ a + a k k 4 S J Q a + a k k 4 S J Q a + a k k 4 S JQ a + a k k 4 40
S 4
Jk
1 J + JkQ 2 k+Q
+a+ ak
k
S 4
J k +
1 J + JkQ + Jk 2 k+Q S (J + JQ ) 2 Q S2 1 J + J Q + N 2 2 Q
1 J + JkQ 2 k+Q
Soit, puisque Jk = Jk : H = + N S2 S J + 2 Q 2 S 4 Jk +
k
1 Jk J + JkQ 2 k+Q
Cet hamiltonien a la mme forme que dans le cas antiferromagntique, et e e une transformation de Bogolioubov conduit a : ` k k = S = 0 Jk J Q si 1 J + JkQ JQ 2 k+Q
k=0 k = Q
2.4.3
On va dcrire quelques eets des uctuations quantiques dans le cas du moe d`le J1 J2 . e - J2 >
J1 2
Complment : Mod`le J1 J2 e e
+ k + k k (0)
k
1 2
k ()
= cste +
41
- J2 <
J1 2
: dkf (k) k
<m>
< m >= S
f (k) cste quand k 0. La correction sera donc importante si la vitesse des ondes de spin est petite. Or k k = = 1 z SJ1 z + SJ2 z(k 1) eik1 , k =
1 2
1 z
SJ1 zk eik2
1 2
2 J1 2
1/S
0.5
J2/J1
Est-ce vrai pour S grand ? Probablement pas. La correction est innie pour S inni, mais pour S < +, il faut prendre en compte les corrections dordre suprieur. Or, on peut montrer que < m > diverge comme ln S : e < m >= S cste ln S > 0 quand S +
1 ee e Que se passe-t-il dans le cas S = 2 ? On a suggr un autre type dtat fondamental : une conguration de singulets.
Exemple le plus simple : mod`le 1D, J1 J2 quand J1 = 2J2 e Avant dtudier ce syst`me, regardons tout dabord le mod`le J1 J2 dans e e e le cas classique : 42
J(k) = 2J1 cos k + 2J2 cos 2k J = 2J1 sin k 4J2 sin 2k k = 2 sin k (J1 + 4J2 cos k) 1. k = 0 2. k = 3. cos k =
J1 4J2
J(k) =
arccos
J1 4J2
J()
0 (4J2 J1 )2
OK
J(k=0)
J(arccos J1/4J2)
43
N sites
i1
i+1
i+3
i+2
Considrons ltat | >= [1, 2] [3, 4] e e 1 o [j, k] = 2 (| j k > | j k >) est le singulet construit avec la paire (j, k). u Que vaut S1 S2 [1, 2] ? 1 2
2
S1 S2 = et S1 + S2
2
S1 + S2
2 2 S1 S2 =
1 2
S1 + S2
3 4
Calcul de S1 + S2 S3 [1, 2] : S1 + S2 S3
z z z = (S1 + S2 ) S3 +
1 1 + + + S1 + S 2 S3 + S + S 2 S3 , 2 2 1
1 et ltat est donn par [1, 2]3 = 2 (| > | >) |3 >. e e On regarde alors laction de chacun des trois termes : z z z (S1 + S2 ) S3
= = =
1 2
1 2
1 + + S + S 2 S3 2 1 1 + + S + S 2 S3 2 1
0 sinon
44
On a donc S1 + S2 S3 [1, 2] = 0. Finalement, laction de lhamiltonien H sur ltat | > donne e H| >=
N 2
2J
3 4
3 | >= 4 JN | > .
3 Donc, | > est ltat propre dnergie 4 JN . e e Essayons de dmontrer que cet tat est ltat fondamental. On peut rcrire e e e ee H = i hi avec hi = J Si Si+1 + Si+1 Si+2 + Si Si+2 . Or,
hi
= =
J 2 J 2
1 2
2 2 2 Si Si+1 Si+2
3 4
La somme de 3 spins
= Si + Si+1 + Si+2
1 2 + 3 3 ou 2 2 1 2
3 1 =4 +1 =
15 4
(2.1)
hi
= Efond (H)
Efond hi
i
= Efond (H) N
3 car nous avons vu que E() = 4 N J.
3 J 4
2.5
Relations de commutation :
S |m > =
S + S S S + |m > = (m(m 1) + m(m + 1)) |m > = 2m|m > et donc [S + , S ] = 2S z Action de loprateur S 2 : e S +S + S S + or (S z )2 = m2 , ce qui donne : 1 (S z )2 + (S + S + S S + ) 2 = m2 + S(S + 1) m2 = S(S + 1). = 2S(S + 1) 2m2
Jij Si Sj .
Si ) 2
On crit H = e
(i,j)
y y z z x x Jij Si Sj + Si Sj + Si Sj
x x z Si Sj , Si y y z Si Sj , Si
y x = iSi Sj x y = iSi Sj
46
=
(i,j)
2 = Stot = 0
47
Chapitre 3
Nous avons vu dans le premier chapitre de ce cours que lorsque les lectrons e sont sur un rseau linteraction coulombienne pouvait conduire a un tat isolant. e ` e Nanmoins ce nest pas toujours le cas. On sattend en particulier a trouver un e ` tat conducteur lorsque le syst`me est en dehors dun remplissage correspone e dant a un nombre entier impair dlectrons par site, ou lorsque la largeur de ` e bande est susamment grande. Dans ce cas, il est naturel de prendre comme point de dpart un tat mtallique en ngligeant les interactions, et dinclure les e e e e interactions sous forme de perturbation. Il est commode de sparer les dicults e e en commenant par ngliger les eets du rseau, ce qui revient a partir de la c e e ` thorie de Sommerfeld et de rajouter linteraction coulombienne. Nous verrons e comment traiter leet du rseau dans la derni`re section de ce chapitre. e e On va donc sintresser aux proprits du gaz dlectrons dcrit par lhamile ee e e tonien : 1 2V
H=
p
p c+ cp + p
kk q=0
Vq c+ c+ q ck ck k+q k
avec p =
2 2 p 2m
e2 r .
dr
er iq.r e r
1
dr
+ 0 1
drer
+ 0
dr ei(q+i)r ei(qi)r
+ 0
Remarque : La divergence en q = 0 nest pas physique. Si on compense les charges ngatives par un background positif, on a en ralit V (q = 0) = 0 e e e (mod`le du jellium) e Dmonstration : e q=0 1 2V V0 c+ c+ ck ck k k
kk
V (0) 2V
kk
c+ k
(c+ ck ) k
kk ck c+ k
ck
V (0) N2 N 2V
V (0) 2 N 2V
Cest une constante (N est le nombre de particules). Linteraction entre les charges positives vaut la mme chose, et linteraction entre les lectrons et les e e charges positives vaut 2 fois loppos. Donc au total ces termes sont nuls. e V (0) = 0
3.2
Lapproximation de Hartree-Fock
H = H0 + H1
On rcrit lhamiltonien ee o` H0 est lnergie cintique et H1 lnergie potentielle. Lide de base est de u e e e e traiter H1 comme une petite perturbation. Le premier calcul quon peut faire est la correction de lnergie du fondamental. Comme le fondamental est non e dgnr : e e ee |F = on aura EF = E0 + F |H1 |F + . . . 49
k kF
c+ |0 k
k = 2
k kF , k kF
k 2m
2 2
V (2)3
dk
Ainsi, E0
= V2
1 2m (2)3 2 5 1 kF = V 2m 2 5
kF 0
4k 2 k 2 dk
2=
3 V kF 3 2
V (2)3
kF
2dk =
0
V (2)3
kF 0
8k 2 dk
5 2 3 2 1 kF 3 3 N 2m 2 5 = F N 5 kF
kk q=0
Vq F |c+ c+ q ck ck |F k+q k
Pour que la valeur moyenne soit non nulle, il faut que les oprateurs destruction e agissent sur des tats occups, et que les oprateurs cration crent des particules e e e e e dans les tats dtruits. Comme q = 0, la seule possibilit est e e e k = = k+q
Ainsi,
F |H1 |F
1 2V
k,q=0,
Vq F |c+ k+q
c+ ck+q k
ck+q c+ k (q=0)
ck |F
1 = 2V = = e2 2V
2
k,q=0,
k,q=0,
V e 4 2 2 (2)6 50
q 2 q 2
q/2
Volume dintegration
E1
= 4e2
= 4e2
Vcal
k+q
V (2)6
2 = kF z
dq
q 2
kF
1 2 q2
3 k2 q3 2kF Fq+ 3 2 24
51
2 dz(kF z 2 )
q/2
z3 3
3 2kF k2 q3 Fq+ 3 2 24
kF
kF
q 2
q (kF ) 2
Il est conventionnel dintroduire un param`tre rs en crivant que le volume e e occup par un lectron est e e 4 (rs a0 )3 , 3
2
me2
1 rs
2ma2 0
e2 2a0
1 3 2 rs 2
9 4
1/3
1 rs
Ry =
2.21 0.916 2 rs rs
Ry
Dans les mtaux, rs varie entre 2 et 6. Le deuxi`me terme nest donc pas du e e tout ngligeable ! e On voit par ailleurs que lnergie cintique varie en r12 alors que lnergie e e e s 1 potentielle varie en rs . Lapproximation des lectrons libres a donc des chances e dtre valable dans la limite des fortes densits puisque cest dans cette limite e e que lnergie cintique domine. e e Pour aller plus loin, toujours au mme ordre en perturbation, il faut calculer e lnergie des tats excits. Considrons donc un tat e e e e e |k0 0 = c+0 0 |F k 1 2V k0 vide
k0 0 |H0 |k0 0 = E0 + k0
kk
k0 0 |H1 |k0 0 =
q=0
Pour calculer cette valeur moyenne, on utilise de faon rpte les r`gles de c e ee e commutation fermioniques : F |ck0 0 c+ c+ q ck ck c+0 0 |F k+q k k = kk0 0 F |ck0 0 c+ c+ q ck |F k+q k
= +
F |ck0 0 c+ c+ q ck |F k+q k
1 2V 1 = 2V = 1 2V
Vq F |ck0 0 c+0 +q0 c+0 0 ck0 +q0 |F k k Vq F | ck0 0 c+0 0 c+0 +q0 ck0 +q0 |F k k
1c+ k
0 0
c k 0 0
puisque k0 est vide par hypoth`se. De mme, le deuxi`me terme donne : e e e 1 2V Vq F | ck0 0 c+0 0 c+0 q0 ck0 q0 |F = k k
1c+ k
0 0
1 2V
Vq F |c+0 q0 ck0 q0 |F k
c k 0 0
Enn, le dernier terme conduit a : ` F | ck0 0 c+0 0 c+ c+ q ck ck |F k k+q k Finalement, k0 0 |H1 |k0 0 = E1 = E1 1 2V 1 V Vq nk0 +q Vq nk0 q 1 2V Vq nk0 q
1c+ ck0 0 k0 0 1 kk q 2V + F |c+ k+q ck q ck ck |F
puisque Vq = Vq
Si on dnit lnergie pour ajouter une particule par : e e k0 k0 0 |H0 + H1 |k0 0 F |H0 + H1 |F il vient : k0 = k0 1 V Vq nk0 +q
q
On peut retrouver le mme rsultat en cherchant un dveloppement des e e e oprateurs cration tel que : e e H, c+ = k c+ k, k,
+ H1 , c+0 ,0 . k 53
= c+ c+ q ck k+q k
c+ c+ q ck ck , c+0 0 k+q k k
ck c+0 0 k
0 0
c+0 0 c+ c+ q ck ck k k+q k
ck
k,k0 0 c+ k
= k,k0 0 c+ c+ q ck c+ c+ q ck c+0 0 ck k+q k k+q k k c+0 0 c+ c+ q ck ck k k+q k = k,k0 0 c+ c+ q ck k+q k k +c+ c+ q c+0 0 ck k+q k k c+0 0 c+ c+ q ck k k+q k H1 , c+0 ,0 k =
+ + ,k0 0 ck+q ck q
ck ck ck 1 2V 1 2V 0 Vq c+0 +q0 c+ q ck k k
k ,q,
k,q,
Vq c+ c+0 q0 ck k+q k
Le deuxi`me terme est gal au premier (q q et permutations des deux e e premiers termes). H1 , c + k, = 1 V Vq c+ c+ q ck k+q k
k ,q=0,
On voit donc que la premi`re correction doit contenir des termes a 3 fere ` mions. Du coup, la seconde doit conduire a un nombre encore plus important ` de fermions = cest inextricable. Cette approche nest dune certaine utilit pratique que lorsquelle est coue ple a une approximation qui consiste a ne retenir que certains termes linaires e ` ` e dans le membre de droite en remplaant les autres oprateurs par leur valeur c e moyenne dans le fondamental non perturb. e Considrons donc un terme : e c+ c+ q ck k+q k Les seuls produits doprateurs donnant une valeur moyenne non nulle dans le e fondamental non perturb sont a priori de la forme e c+1 1 ck1 1 k Comme q = 0, la seule possibilit est e k+q =k = H1 , c + k, 1 V Vq < c+ ck+q > c+ k+q k
q
54
Finalement, on obtient :
H0 + H 1 , c + k, k =
k c+ k
k
1 V
Vq nk+q
q
Cette approximation sappelle aussi Hartree-Fock, et on note souvent k = A cette approximation, leet des interactions est simplement de modier la dispersion.
HF k .
Remarque : E HF = E0 + E1 =
k, k nk
En ralit, E HF = k, k nk + 1 k, (k k ) nk . Le facteur 1 vient du e e 2 2 fait quon ne doit compter linteraction entre les 2 e quune seule fois. Malheureusement, cette approximation conduit a des consquences en dsac` e e cord agrant avec lexprience. Calculons en eet plus prcisement k : e e
= = = =
1 V 1 V
Vq nk+q
q
4e2
k
42e2 (2)3
kF 0
d3 k 4e2 nk (2)3 |k k |2
kF
|k k |2
nk
dk k
0
2 0
d sin 1 k2
2
e2 =
k dk
1
1 k 2 + k 2 2kk cos
+ k kk
Or,
1
dx a bx
1 ln(a bx) b
1 1
1 a bx = ln b a + bx a + bx 1 ln = b a bx 55
= = =
i.p.p
e2
kF
dk
0 kF
k ln 2kk
e2 k
dk k ln
= = = = = =
0 2 e2 k k+k ln k 2 kk
k+k kk
(k + k )2 (k k )2
kF
kF
kF
dk
0
k 2
1 1 + k+k kk
e2 k e2 k e2 k e k
2 2
2 kF k + kF ln 2 k kF 2 k + kF kF k ln 2 k kF
dk
0 kF
k 2k k2 k
dk
0
k k2 k2 + 2k 2 2k k k
kF
2 kF k + kF + kF k k ln 2 k kF 2 kF
dk
0 2
k 2
1 1 + kk k+k
kF 0
ln
2 e k2 k + kF k + kF kF ln + kF k ln k 2 k kF 2 k kF 2 e2 kF k2 e2 k + kF ln kF + k k kF 2 2
k k + kF + kF k k kF 2
ln
k+k kk
2e2 k kF F ( ) kF
avec F (x) =
1 2
1x2 4x
ln
1+x 1x
k k k +k = 2kF F ( ) ln k k k kF
(3.1)
= + = dk dk
=
k=kF
kF k + kF e2 2 + 2 limkkF ln + m 2 k kF 56
qui diverge logarithmiquement. Du coup, ( F ) = 0 a lapproximation de Hartree` Fock. Cest donc une tr`s mauvaise approximation ! On sait en eet que ( F ) e est dirent de zro dans les mtaux (susceptibilit de Pauli, chaleur spcique). e e e e e
3.3
Puisque les rsultats du premier ordre ne sont pas satisfaisants, il faut aller e plus loin dans le dveloppement. Lide la plus naturelle est daller au second e e ordre. Essayons donc de calculer la correction de lnergie au second ordre en e V. Dapr`s la thorie de perturbation, la correction au second ordre scrit : e e e E (2) = < F |H1 |n >< n|H1 |F > En E 0
Dapr`s la forme de la perturbation, les tats n qui contribuent a cette somme e e ` ont deux trous dans la mer de Fermi et deux lectrons en dehors de la mer de e Fermi. Plus prcisment, ces tats |n > sont de la forme e e e c+0 +q0 ,0 c+ q0 , ck0 ,0 ck0 ,0 k k
0 0
(3.2)
avec k0 , k0 < kF et ||k0 + q0 ||, ||k 0 q0 || > kF . < F |H1 |n > scrit : e 1 2V
kk q=0 + Vq < F |c+ k+q, ck q, ck , ck,
Etant donn que lensemble des indices des oprateurs destruction doit tre e e e gal a celui des indices des oprateurs cration, et vu que k0 et k0 sont ncese ` e e e sairement dirents de k0 + q0 et k 0 q0 , il ny a que quatre possibilits : e e k = k 0 q 0 k = k 0 + q 0 k + q = k0 = = 0 = 0 0 k = k0 + q0 et I) k = k 0 q 0 k q = k0 = 0 = 0 = 0 q = q 0 k + q = k0 = 0 II) k q = k0 = 0 k = k0 + q0 = 0 et k = k0 + q0 = 0 57 k = k0 + q0 = 0 k = k0 q0 = 0 q = k k q 0 0 0
uniquement si 0 = 0 . Le facteur d au potentiel est donc Vq0 pour I et III et Vk0 k0 q0 pour II et u IV. Par ailleurs, il faut calculer 0|...|0 en faisant attention au signe qui dpend e de la permutation quil faut faire pour ramener les oprateurs qui ont les mmes e e indices lun a ct de lautre. Pour le terme I, il vient : ` oe < F |c+ c+0 0 ck0 +q0 0 ck0 q0 0 c+0 +q0 0 c+ q0 ck0 0 ck0 0 |F > k k0 0 k k0 0 =< F |c+ ck0 0 ck0 +q0 0 c+0 +q0 0 ck0 q0 0 c+ q0 c+0 0 ck0 0 |F > k k k0 k0 0 0 =< F |c+ ck0 0 (1 c+0 +q0 0 ck0 +q0 0 )(1 c+ q0 ck0 q0 0 )c+0 0 ck0 0 |F > k k k0 0 k0 0 =1 puisque k0 et k0 sont occups, et que k0 + q0 et k0 q0 sont vides. Le terme e I a donc le signe +. On vrie aisment que les termes II, III et IV conduisent e e au mme rsultat avec le signe + pour III et le signe pour II et IV. e e F |H1 |n = 1 Vq0 0 0 Vk0 k0 q0 V
k k0 q0 0 k k0 + q0 0 q
= = = = =
k0 q0 0 k0 + q0 0 k0 k0 + q0
En E 0
= = =
2m
2
2m
2
2m
Enn si 0 = 0 , il y a un double comptage si on eectue la somme sur k0 , k0 et q0 car les tats q0 q0 et k0 k0 constituent un seul et mme tat. On e e e a donc deux contributions a E (2) : ` 0 = 0 On doit diviser par 2, ce qui compense le facteur 2 venant de la sommation sur 0 E1
(2)
1 V2
k0 k0 q0
Vq0 Vk0 k0 q0 58
k0 + q0 )
ee o` le facteur nk0 nk0 (1 nk0 +q0 )(1 nk0 q0 ) a t introduit pour restreindre la u somme sur les tats excits au cas o` k0 et k0 sont occups, et o` k0 + q0 et e e u e u k0 q0 sont vides. 0 = 0 E2
(2)
1 V2
2 2Vq0 k0 k0 q0
k0 + q0 )
E2 =
1 V2
k0 + q0 )
kk q
Pour q petit, on a :
2 o` q1 vient de Vq et u 4 dk... 1 q
dqdkdk de
1 q.(kk +q) .
kF q
Divergence logarithmique.
dq
1 1 qq q4 q
q 2 dq q3
dq q
59
3.4
Ecrantage
La divergence vient directement du comportement en q1 de la transforme e 2 1 de Fourier du potentiel coulombien, donc de la dcroissance lente (en r ) du e potentiel a longue distance. Mais en prsence dun gaz dlectrons, le potentiel ` e e cr par une charge dcro beaucoup plus vite que 1 a longue distance car ee e t ` r les lectrons se rarrangent autour de la charge : cest leet dcran. Cet eet e e e dcran est contenu dans la fonction dilectrique, qui dcrit la rponse du gaz e e e e dlectrons a une charge ponctuelle. e ` Dapr`s le chapitre prcdent, cette fonction dlectrique est donne par e e e e e 1 4e2 = 1 + 2 q q () (q, ) q avec q q () =
n
< n|q |0 >< 0|q |n > < 0|q |n >< n|q |0 > n0 + i + n0 + i
o` loprateur q est donn en seconde quantication par q = k c+ ck+q . u e e k Dans cette expression, les tats |0 > et |n > sont les tats propres de lhamiltoe e nien total. Thorie RPA du gaz dlectrons : e e Comme on ne conna pas lexpression exacte des tats propres de lhamilt e tonien total, on ne peut pas faire ce calcul exactement. Une possibilit consiste e a faire un dveloppement perturbatif. Nous verrons dans le chapitre suivant ` e comment procder. e Il y a cependant une faon lmentaire daboutir au mme rsultat. Dapr`s c ee e e e la thorie de la rponse linaire, on a : e e e ind = 4e2 q 2 q q
Or, la seule quantit quon sait calculer a priori est la fonction de rponse e e 0q q du gaz dlectrons libres. Mais si lon remplace simplement q q par e 0q q dans cette expression de la charge induite, on suppose que les lectrons e ne ragissent qu` la charge test. Or cest certainement une tr`s mauvaise ape a e proximation puisquun lectron est en interaction coulombienne avec les autres e lectrons du solide. Une faon simple mais approximative dinclure cette intere c action consiste a dcrire encore cette rponse comme celle dun gaz dlectrons ` e e e libres o` chaque lectron sent non seulement le potentiel cr par la charge test, u e ee mais aussi le potentiel moyen cr par les autres lectrons. Cela revient a expriee e ` mer la charge induite comme la rponse dun gaz dlectrons libres a la charge e e ` ` totale tot = 1 , ce qui conduit a lexpression : ind = Mais par dnition de , on a : e 1 = ind + 60 (3.3) 4e2 0 1 q 2 q q
Cette approximation sappelle lapproximation RPA (Random Phase Approximation = Approximation de Phases Alatoires ) du nom de la mthode de e e thorie des plasmas qui conduit a une expression de ce type. e ` On a donc 1
0
= 1+
4e2 0 () q 2 q q
(q, ) = 1
4e2 0 () q 2 q q 1
soit 1
RP A (q, )
4e2 0 q 2 q q ()
Remarques : 1) Cette expression peut tre retrouve a partir de la dnition de 1 en e e ` e fonction de q q en crivant une quation de mouvement pour q (t) et en la e e linarisant de faon approprie. e c e 2) Lexpression pour premier ordre en 0 .
0 (q,)
correspond a un dveloppement de ` e
1
RP A (q,)
au
e e e ` La thorie de Lindhard de lcrantage consiste prcisment a calculer 0q q e dans le cas dlectrons sans interaction, cest-`-dire a valuer lexpression : e a `e q q () = lim+
0 n
< n|q |0 >< 0|q |n > < 0|q |n >< n|q |0 > n0 + i + n0 + i
Dans ce cas, les tats propres de lhamiltonien sobtiennent a partir du fone ` damental en crant des paires lectron-trou. Avec e e q = c+ ck k+q
k
les seuls tats |n > donnant une contribution non nulle a llment de matrice e ` ee < n|q |0 > sont de la forme c+ ck |0 > k+q 61
kq m
q2 2m
+ i
Le deuxi`me terme fait intervenir llment de matrice < n|q |0 >. Avec e ee q =
k
c+ ck+q k
les seuls tats |n > donnant une contribution non nulle a llment de matrice e ` ee < n|q |0 > sont de la forme c+ ck+q |0 > k avec k > kF et |k + q| < kF , do` n0 = kq u m Le deuxi`me terme scrit donc e e (1 nk )nk+q
k kq m q2 2m q2 2m .
+ i
nk nk+q
kq m
q2 2m
+ i
formule quon rencontre plus souvent sous la forme quivalente obtenue apr`s e e les changements de variable k = k + q puis k = k : q q () =
k
nk+q nk +
kq m
q2 2m
+ i
Considrons la limite 0 pour se faire une ide de leet de cette fonction. e e On peut prendre = 0 car si le dnominateur est nul, le numrateur lest aussi e e et il ny a pas de contribution. nk+q nk
k kq m
2
q q ( = 0) =
= 4m
k
2k q + q 2
q + 2m nk+q nk
62
Mais
k
nk 2k q + q 2
kF 0 kF 0 kF 0 kF 0 kF
= = = = = = avec F (x) =
1 2
k 2 dk
0
sin d
1 1
1 2kq cos + q 2
k2 dk q
2
du 2ku + q
2k + q 1 k dk ln q 2k 2k q dk dk k+ k ln 2q k
q 2 q 2 +q 2 q 2
k k ln q/2 k
q 2kF
1x2 4x
ln
Par ailleurs,
k
nk+q 2k q + q 2 nk 2k q q 2 nk
k
=
k
(k = k + q) (k = k ) q 2kF
2k q + q 2 mkF F 2 2
0q q ( = 0) = On a rinject e e
2
dans le dnominateur. e
La forme de la fonction F conduit a deux conclusions tr`s importantes : ` e Le potentiel crant dcroit en e e e Vecrante = avec qT F = qThomas-Fermi longue distance. Dmonstration : e Pour q petit, on a
RP A
(q, = 0) = 1 63
4e2 0 ( = 0) q 2 q q
Mais
q0
lim 0q q ( = 0) =
mkF F 2
q=0 2kF
Or, F (x) =
1+x 1 1 x2 + ln 2 4x 1x
0q q ( = 0) =
= avec
2 qT F
RP A
(q, = 0) = 1 +
1+
2 qT F q2
2 = kF
rs
qT F = 0.815 rs kF Mais lutilisation pratique de la constante dilectrique revient a dire que e ` e le potentiel cr est gal a 1 ext . Ainsi, en transforme de Fourier, ee e ` linteraction crante scrit : e e e Vecrante (q) = 1 V (q) = 4e2 2 q 2 + qT F
Or, lorsque nous avons calcul la transforme de Fourier de potentiel coue e lombien, nous avons tabli que : e e2 dr er iq.r 2e2 ei(q+i)r ei(qi)r e = r iq i(q + i) i(q i)
+ 0
q2
Si lon revient dans lespace rel, le potentiel crant vaut donc : e e e Vecrante = e2 qT F r e r
64
La singularit a q = 2kF (voir discussion pour Hartree-Fock et la singulae` rit a k = kF ) produit des oscillations qui dcroissent comme e` e cos(2kF r) r3 oscillations de Friedel (oscillations de charge autour dune impuret) e oscillations RKKY (Ruderman-Kittel-Kasuya-Yosida) pour linteraction dchange entre impurets magntiques localises dans un mtal. e e e e e Lutilisation de cette constante dilectrique rsoud par ailleurs tous les proe e bl`mes de divergence qui taient apparus jusque l`, et conduit a des prdictions e e a ` e nouvelles et largement vries pour le gaz dlectrons : e e e Dispersion pr`s de kF et densit dtats : e e e Le plus simple est de remplacer Vq par k : k Pour q petit,
RP A k V (q)
RP A (q)
1 V
2 qT F q2
Vq n RP A (q) k+q
(q) = 1 +
k
1 V
q2
4e2 2 nk+q + qT F
0 ( 1+
F) 16 me2 3 5 3 qT F k F F)
>0
0.
Vq c+ c+ q ck ck k+q k
+ =c+ k+q ck q ck ck
= = =
1 2
kk q=0
+ Vq c + k+q k qk ck ck q
ck
1 2 1 2 1 2
kk q=0
Vq c+ ck c+ q ck k+q k
Vq c+ ck+q k+q
kq=0
q=0
Vq q q
1 2
Vq
q=0
65
1 = 1 + V (q)q q () (q, ) q q () = lim Mais 1 n0 + i n0 i ( n0 )2 + 2 1 Im n0 + i = 1 n0 + i = = < n|q |0 >< 0|q |n > < 0|q |n >< n|q |0 > n0 + i + n0 + i
0+
( n0 )2 + 2
+
dIm
1 n0 Arctg
Par ailleurs, comme n0 > 0, la fonction est pique autour de n0 > 0 quand e 0
+
lim
dIm
1 n0 + i
lim
dIm
0
1 n0 + i
1 + n0 + i
lim Ainsi
+
dIm
0
1 + n0 + i
=0
lim+
0
dImq q () =
4e2 q2
dIm
0
= < 0|
q
2e2 N |0 > q2 2N e2 q2
d Im 2
1 (q, )
66
Si on utilise 4e2 1 = 1 + 2 0q q () 0 (q, ) q pour calculer Eint , on retrouve le rsultat Hartree-Fock. Par contre, si on utilise e 1
RP A (q, )
1 1
4e2 0 q 2 q q ()
on arrive a un terme qui donne une correction au rsultat Hartree-Fock pour ` e lnergie de corrlation : e e
RP A Ecorr = 0.062lnrs 0.142 N
Ry.
(3.4)
Le probl`me de la divergence du terme dordre 2 a t limin en sommant e eee e une srie gomtrique. On peut dmontrer, dans le cadre dune thorie de pere e e e e turbation systmatique, que cela revient a sommer les contributions les plus e ` divergentes a chaque ordre. `
3.4.1
1 (k, = 0)
1+
quand k 0
1 + quand (k 0, = 0) lectrodynamique des mtaux : = 0, E = 0 e e (crantage total). Ce nest vrai que pour des uctuations de frquence nulle et e e de grande longueur donde. Partie imaginaire 2 (k, ) est nul si est plus grand que la plus grande excitation n0 correspondant a un vecteur donde q. Pour q donn, n0 vaut : ` e (k + q)2 k2 2m 2m et k doit tre occup. e e max(n0 ) = qkF q2 + 2m m ( k = q q ) q 2 = q2 k.q + 2m m
min(n0 ) =
0 si q < 2kF
q 2m
2
qkF m
si q > 2kF
67
2 q
avec
Plasmons
Pour cette frquence et ce vecteur donde, la rponse du syst`me a une e e e ` perturbation extrieure est innie. En fait, si lon sintresse a la propagation e e ` donde lectromagntique dans un mtal, on peut dmontrer quune oscillation e e e e de charge de vecteur donde k et de frquence k peut exister de faon stae c tionnaire dans le gaz dlectrons. Ces oscillations sont typiques des plasmas (= e mlange neutre de charges positives et de charges ngatives). e e
Considrons la rponse du gaz dlectron a un champ lectrique sinuso e e e ` e dal dans une approximation de temps de relaxation
3.4.2
1 (k, ) = 0 pour = k . Ceci correspond a (k, ) = 0 si k est en dehors ` des excitations lectron-trou. e En faisant un dveloppement limit, on peut montrer que e e
ip() =
(k, ) = 1 +
2 p =
k = p 1 +
p(t) = Re p()eit
p() =
4ne2 m
p dp = eE dt
68
2 p 2 2 k p 2
2 2 3 k vF 2 10 p
nep m E()
1 i ne2 m
0 =
Or, il est facile dtablir une relation gnrale entre la constante dilectrique e e e e et la conductivit. En eet, e j() = ()E() o` j() est le courant induit et E() est le champ total. u .E = 4(ind + ) .j = iind
1 ind 1
do` u
Mais () = ()
0 1 i 1
4ne2 1 40 =1 2 m 2
2 p avec 2 2 p =
ou encore () = 1
4ne2 m
69
3.4.3
Plasmons
1 () ()
Si 0, une perturbation innitsimale peut conduire a un mode. En ralit, e ` e e un mode peut exister indpendamment dune perturbation extrieure. e e .j = t .E = 4 .j() = i()
et j() = ()E() i() = ()4() Cette quation peut avoir une solution non nulle si e i = ()4 soit 1 + 4i() = 0 () = 0 i0 1 , () = si 40 1 2 =0
2 p 4ne2 2 = 0, p = 2 m Autrement dit, si = p , il existe un mode du gaz dlectrons correspondant a e ` des uctuations de charge.
soit 1
Consquences physiques e Pertes dnergie dlectrons a travers des lms mtalliques : on observe des e e ` e pics dabsorption a la frquence p et a ses multiples. ` e ` Propagation des ondes lectromagntiques : tudions la possibilit quune e e e e onde lectromagntique se propage sans changement de la densit : e e e j() = 0 mais Les quations de Maxwell scrivent : e e .E = 0 ; .B = 0 ; E = 1 B c t B = 4 j + c
1 E c t
.j = 0
i rotB c
soit
E =
i c 70
i 4 j E c c
soit Si
E = 1 4i ,
2 c2 1+
1+ 4i
4i E 1
2 p 2
1+
propagation possible () < 0 E ekz (z > 0) ondes vanescentes e les mtaux sont transparents pour > p , rchissant pour < p . e e e Mtaux alcalins : p 2000 e A visible . Les mtaux sont transparents dans e lUV. Mod`le trivial des plasmons e Considrons un syst`me de charges positives et ngatives, et dplaons les e e e e c charges ngatives de d dans une certaine direction (voir gure 3.1). La densit de e e surface est nde, o` n est la densit dlectron. Le champ lectrique a lintrieur u e e e ` e de ce condensateur est E = 4x (CGS; x en SI) 0
() > 0 E eik.r ,
Le gaz dlectron est donc rgi par lquation du mouvement : e e e N md = N e4 = 4N ne2 d 4ne d d= m
2 oscillations de frquence p = e 4ne2 m 2
3.5
Jusqu` prsent, nous avons limit notre discussion au gaz dlectrons dans a e e e un background homog`ne de charges positives. Mais en ralit, dans un solide les e e e charges positives sont les ions aux noeuds dun rseau. Pour discuter leet du e 1 e e rseau, revenons a la comparaison entre RPA et 1 : si lon crit, par dnition e ` 0 de RPA q (), q 1 = 1 + Vq RPA q () q RPA 71
Fig. 3.1
o` V dcrit la force du couplage. u e Cette expression peut conduire a des instabilits lorsque V 0 = 1. Pour la ` e susceptibilit de charge, cela ne se produit pas car V 0 < 0. Par contre, si lon e fait un calcul pour la susceptibilit de spin S + S (q, ), on trouve : e RPA (q, ) = + 0 (q, ) + 1 Vq 0 (q, ) +
k
o` 0 (q, = 0) = u +
Pour le gaz dlectron homog`ne, le dnominateur est le plus divergent pour e e e q = 0 pas donde de densit de spin. Par contre, pour un mod`le sur rseau, e e e on peut avoir une instabilit pour q = 0. Considrons par exemple le mod`le de e e e Hubbard : 0 (q) + RPA (q) = + 1 U 0 (q) + et calculons 0 (q) dans le cas dun rseau cubique. La dispersion est donne e e + par : Ek = 2t(cos kx + cos ky + cos kz ) 72
%#! &$"
nk nk+q >0 Ek+q Ek
+ + + + + +
_ _ _ _ _ _ _
Plaons nous au demi-remplissage. Le niveau de Fermi est gal a zro. Donc si c e ` e k est occup, k + Q est vide. e 0 (Q) = + =
0
k occups e W/Z
1 2Ek
()d 2
Comme () (0) > 0 quand 0, 0 (Q) a une divergence logarithmique. + Lorigine de cette divergence logarithmique vient du fait que pour Q = (, , ) et au demi-remplissqge le numrateur nk nk+Q est toujours gal a 1, alors e e ` que lorsque ces conditions ne sont pas remplies, il est nul sauf pour une petite rgion dans la zone de Brillouin. Du coup, il y a une instabilit magntique de e e e vecteur donde Q. Elle correspond a une onde de densit de spin ` e ni = ni =
1 2 1 2
+ meiQ.ri meiQ.ri
73
Chapitre 4
Interaction lectrons-phonons e
4.1 Introduction
Jusqu` prsent, nous avons considr que le rseau tait statique. En raa e ee e e e lit, les ions sont anims de vibrations autour de leur position dquilibre. Ces e e e vibrations ont des consquences directes sur les proprits des solides (chaleur e ee spcique, fusion, conductivit thermique) et des consquences indirectes via e e e leurs eets sur les lectrons, notamment la rsistivit et linteraction attractive e e e qui conduit au phnom`ne de supraconductivit. e e e
4.2
Phonons - Rappels
Dsignons par Rn, = Rn + R la position dquilibre dun atome, o` Rn e e u rep`re la maille lmentaire et R la position a lintrieur de la maille lmene ee ` e ee taire, et appelons sn, (t) le dplacement de cet atome par rapport a sa position e dquilibre. Lnergie cintique scrit : e e e e T = M 2 s , 2 n,,i n,,i n = 1 , ,N ; = 1 , , r ; i = x, y , z
o` M est la masse de latome dans la maille lmentaire. Dsignons par u ee e ailleurs par V ({sn, }) lnergie potentielle du syst`me comme fonction des poe e sitions des ions. Si lon sinteresse aux petits dplacements par rapport a la e ` position dquilibre, on peut faire un dveloppement limit autour de cette poe e e sition dquilibre. Si lon se limite au second ordre, il vient : e V ({sn, }) V ({o}) = avec n , ,i = n,,i 2V sn,,i sn , ,i 74 1 2 n,,i n , ,i sn,,i sn , ,i n,,i
n , ,i
sn, =o
Les vibrations dans le solide se ram`nent alors a un cas particulier du proe ` bl`me gnral des petites oscillations vu en mcanique analytique. En particulier, e e e e on peut se ramemer, via un changement de variables, a une collection doscilla` teurs harmoniques. Ces coordonnes sappellent les coordonnes normales. Dans e e le cas des vibrations dans un solide, la priodicit permet de simplier lanalyse e e en faisant une transforme de Fourier. Le prix a payer est dintroduire des coe ` ordonnes complexes. e Le Lagrangien du syst`me est donc donn a une constante pr`s par : e e` e L=T V = 1 M 2 sn,,i 2 2 n,,i n,,i n , ,i sn,,i sn , ,i n,,i
n , ,i
Les quations de Lagrange pour la variable sn,,i scrivent : e e d dt L sn,,i L =0 sn,,i n , ,i sn , ,i n,,i
n , ,i
Mn,,i = s
On cherche les modes propres de ce syst`me, cest-`-dire les solutions du type e a Sn,,i (t) = 1 un,,i eit M
Comme le syst`me est linaire, la partie relle et la partie imaginaire seront e e e galement solution. Il vient : e 2 un,,i =
n , ,i n , Dn,,i ,i un , ,i
avec n , ,i n,,i n , Dn,,i ,i = M M Les carrs des frquences propres sont donc les valeurs propres de la matrice D. e e e e Or cette matrice est symtrique puisque les n , ,i sont des drives secondes. e n,,i Ses valeurs propres sont donc relles. Par ailleurs, la condition de minimalit de e e lnergie potentielle (et pas simplement dextrmalit) impose que ces valeurs e e e 2 propres soient positives. Dsignons par j > 0 la racine carre de j . On a e e donc : 3rN frquences propres e
o` 3 vient de i = x, y, z, r est le nombre datomes dans la maille lmentaire et u ee N le nombre de mailles lmentaires dans le cristal. ee Le vecteur propre associ a j est not un,,i . e` 2 e
(j)
75
Jusque l`, le calcul est compl`tement gnral. Linvariance par translation a e e e e du syst`me implique que n , ,i ne dpend que de n n . Dans un tel cas, on e n,,i peut chercher les solutions sous la forme un,,i = c,i eiqRn 2 c,i 1 M M ,i eiq(Rn ,i
Rn )
=
,i n
c ,i
=
,i
,i D,i (q)c ,i
Pour chaque valeur de q, on a donc un syst`me de 3r quations, ce qui conduit e e a 3r frquences propres : ` e j (q), j = 1, , 3r
(j)
Le vecteur propre associ a j (q) a 3r composantes ei (q). On lcrit soue ` e (j) vent comme r vecteurs a 3 composantes ei (q). Ces vecteurs sappellent les ` vecteurs polarisations. La solution nale pour le dplacement est donc une combinaison linaire des e e dplacements. : e s(j) (q, t) = n, sn,,i (t) = 1 N M 1 e(j) (q)ei(qRn j (q)t) M Qj (q, t)e(j) (q)eiqRn
j,q
Les quantits Qj (q, t) sont au nombre de 3rN (3r pour j, N pour q). On e peut donc les considrer comme de nouvelles variables. Pour que les sn,,i (t) e soient rels, les Qj (q, t) doivent tre complexes et satisfaire Q (q, t) = Qj (q, t) e e j (on peut dmontrer que j (q) = j (q) et choisir e (q) = e (q). ) e Par ailleurs, les vecteurs propres dune matrice symtrique sont orthogoe naux : e,i (q)e,i (q ) = j,j q,q
,i (j) (j ) (j) (j)
L=
j,q
H =
1 2
Quantication : On postule, comme pour loscillateur harmonique, les relations de commutation habituelles entre les impulsions et positions des ions. Il en dcoule les e relations de commutation suivantes pour les coordonnes normales : e [Qj (q), Pj (q )] = i q,q j,j si on dnit, toujours par analogie avec loscillateur harmonique, les oprateurs e e de cration et dannihilation par : e a+ (q) = j aj (q) = H=
j,q 1 (j (q)Q (q) iPj (q)) j 2 j (q) 1 (j (q)Qj (q) + iPj (q)) 2 j (q)
Les oprateurs a+ (q), aj (q) satisfont des r`gles de commutations bosoniques e e j [aj (q), a+ (q)] = j,j q,q j Les relations inverses donnant les positions et impulsions en fonction des aj (q) et a+ (q) sont : j Qj (q) =
+ 2j (q) (aj (q) j (q) + (aj (q) 2
+ aj (q))
La forme de lhamiltonien montre que le syst`me se comporte comme un gaz e de bosons. Discussion gnrale : e e Les courbes j (q) sappellent les relations de dispersion. Elles sont au nombre de 3r. Quand q 0, toutes les mailles lmentaires vibrent en phase. Si tous ee les atomes a lintrieur de la maille vibrent en phase, j (q) doit tendre vers ` e 0. Il y a 3 modes qui satisfont cette condition (dplacement global dans trois e directions de lespace). Ces modes sappellent les modes acoustiques. Les 3r 3 autres modes ne tendent pas vers 0. Ils sappellent les modes optiques. La forme gnrale de la dispersion est donc : e e 77
P (q) = i j
aj (q))
Thermodynamique Le calcul de la chaleur spcique a basse temprature est totalement quie ` e e valent a celui des magnons dans les syst`mes antiferromagntiques, et il conduit ` e e a: ` Cv T 3 A haute temprature, la chaleur spcique sature lorsque la temprature est e e e suprieure a la plus grande frquence de phonon. e ` e Autres proprits : ee Les succ`s de ce mod`le harmonique ne doivent pas faire oublier ses checs. e e e En particulier, il est impossible de rendre compte de la dilatation thermique et de la conductivit thermique nie sans inclure des eets anharmoniques. Ils se e traduisent en seconde quantication par des termes a 3 phonons, 4 phonons, etc `
4.3
Interaction lectron-phonon : e
Helion =
l,i
o` rl est la position de llectron et Ri celle de lion, et du fait que R nest pas u e x a sa position dquilibre mais peut eectuer de petites oscillations autour e e de sa position dquilibre. Avec les notations prcdentes, on crit : e e e e Rn, (t) = Rn + R +sn, (t)
Rn,
78
Si sn, (t) est petit, on peut faire un dveloppement limit de V (rl Ri ), o` V e e u dpend du site dans la maille lmentaire : e ee V (rl Rn, sn, ) = V (rl Rn, ) sn, V (rl Rn, )
Le premier terme dcrit le mouvement des lectrons dans le potentiel prioe e e dique du cristal. Il est pris en compte par le thor`me de Bloch. e e Le deuxi`me terme dcrit linteraction avec les vibrations du rseau. Si lon e e e reporte lexpression de sn, en fonctions des coordonnes normales dans lexe pression du Hamiltonien, il vient : Helph = 1 N M Qj (q)e(j) (q) V (rl Rn, )eiqRn
,n,l
j,q
Pour exprimer ce Hamiltonien en seconde quantication, on proc`de en 2 e temps : Pour la partie phonons, il sut de remplacer Qj (q) par son expression en fonction de aj et a+ : j Qj (q) = a+ (q) + aj (q) j
2j (q)
Pour la partie fermions, on utilise les r`gles de la seconde quantication, e i.e. on calcul llment de matrice de la partie de linteraction qui dpend des ee e coordonnes lectroniques, a savoir V (rl Rn, ) . Pour cela, il est utile de e e ` dvelopper V en srie de Fourier : e e V (r) =
K
eiKr V,K
K quelconque car V (r) nest pas priodique e V (rl Rn, ) = eiK(rl Rn, ) V,K iK
K
Les lments de matrice de ce potentiel entre des ondes de Bloch scrivent : ee e < k , | V |k, >= avec < k , |eiKr |k, >= dru (r)uk (r)ei(k +K+k)r , k eiK Rn, V,K iK < k , |eiKr |k, >
Cette intgrale est non nulle si et seulement si e k =K +k+G o` G est un vecteur du rseau rciproque. En eet, ei(k +K+k)r doit avoir la u e e mme priodicit que u (r)uk (r), qui a la priodicit du rseau. e e e e e e k
79
ei(qK)Rn
Cette somme est nulle sauf si K = q + G o` G est un vecteur du rseau u e rciproque. e Ainsi, k et k doivent tre relis par e e k =q+k+G Mais k et k doivent tous les deux appartenir a la premi`re zone de Brillouin. ` e Ainsi, pour k et q donns, il existe un et un seul vecteur G qui ram`ne k + q e e dans la premi`re zne de Brillouin. e o On distingue donc deux types de processus : Processus normaux tels que k + q BZ (G = 0). Processus Umklapp tels que k + q BZ G = 0 et k = k + q. / Finalement, linteraction scrit e H = N 2M j (q) V (r )ei(q+G )r dr
,,k,q,j (j)
e,q .i(q + G )
G
avec q = k k + G G=0 G=0 pour les processus normaux pour les processus Umbslapp
4.4
Lune des consquences de cette interaction est une contribution importante e a la rsistivit. Cela suppose que les lectrons peuvent tre dcrits par la distri` e e e e e bution de Fermi-Dirac, autrement dit en supposant quon a essentiellement des lectrons libres. e 80
Mais les ions sont des particules charges, et linteraction lectron-lectron e e e doit tre modie par leurs vibrations. Le calcul de linteraction eective lectrone e e lectron en prsence de phonons peut tre fait de deux points de vue quivalents : e e e e Les phonons contribuent a la fonction dilectrique, ce qui provoque une ` e modication de linteraction lectron-lectron. e e Les lectrons interagissent via lchange de phonons virtuels. e e Nous allons faire le calcul en adoptant le second point de vue. Le point de dpart est le Hamiltonien dinteraction electron-phonon : e e H=
k,q,
M (q) a+ + aq c+ q
c k+q, k,
o` pour simplier nous ne considrons quune branche de phonon. On suppose u e par ailleurs que les lectrons sont dcrits par un Hamiltonien du type : e e Hel =
k, + k ck, ck,
1 q (a+ aq + ) q 2
Si les lments de matrice Mq sont petits, le gaz dlectrons sera essentielee e lement dcrit par H0 plus une petite correction. Autrement dit, il doit tre e e possible a priori de trouver un hamiltonien eectif qui se ram`ne a H0 quand e ` les couplages Mq tendent vers 0. Ceci rappelle le calcul fait pour les isolants de Mott, o` la thorie des perturbations dgnres nous a conduit au mod`le u e e e ee e 2 de Heisenberg avec une constante de couplage J = 4t dordre 2 dans le terme U cintique. e Dans le cas prsent, le point de dpart nest pas dgnr, et il faut recourir e e e e ee a une autre technique pour tablir la forme de lhamiltonien eectif. ` e Par dnition, un hamiltonien eectif est un hamiltonien qui doit avoir le e mme spectre de valeurs propres que lhamiltonien original. Or il existe une fae con systmatique de gnrer des hamiltoniens ayant les mmes valeurs propres e e e e quun hamiltonien donn connue sous le nom de transformation canonique. e Transformation canonique : Une transformation canonique est une transformation unitaire du Hamiltonien et des vecteurs de lespace de Hilbert qui ne modie pas le spectre : H U HU 1 | > U | > 81
avec U + = U 1 . Les proprits suivante sont alors vries : ee e e 1) Le nouvel hamiltonien est hermitique. En eet, (U HU 1 )+ = (U 1 )+ HU + = U HU 1 CQFD 2) Si | > est tat propre de H avec la valeur propre E, alors U | > est e 1 avec la mme valeur propre. En eet, tat propre de U HU e e U HU 1 U | >= U H| >= U E| >= EU | >. La proprit U + = U 1 est satisfaite par les oprateurs de la forme : ee e U = eiS si S est hermitienne. En eet,
U + = (eiS )+ = eiS = eiS = (eiS )1 Le transform de lhamiltonien peut scrire comme un dveloppement a base e e e ` de commutateurs : eiS HeiS = = Dmonstration : e On dnit loprateur H() par : e e H() eiS HeiS Alors dH() d d2 H() d2 = iSeiS HeiS + eiS H(iS)eiS = i[S, H()] dH() = i[S, ] = i2 [S, [S, H()]] d i2 H + i[S, H] + [S, [S, H]] + 2! n i H+ [S, [S, [S, H]]] n! n=1
Si H() poss`de un dveloppement en puissances de , il scrit donc : e e e i2 H() = H + i[S, H(0)] + 2 [S, [S, H(0)]] + 2! En appliquant cette formule a = 1, et vu que H(0) = H, on trouve le ` dveloppement cherch. e e
82
Revenons au probl`me initial. On cherche une description du gaz dlectrons e e en interaction avec les phonons qui ne contienne plus de terme dordre 1 en Mq , et qui contienne des termes purement lectroniques dordre 2. e Dapr`s le dveloppement : e e 1 H = H + i[S, H] [S, [S, H]] 2! une condition ncessaire est que S satisfasse les deux crit`res suivants : e e Il est dordre 1 en Mq Il est tel que [S, H] annule Helph au premier ordre. Pour trouver la solution de i[S, Hel + Hph ] = Helph commenons par calculer le commutateur dun terme de Helph avec Hel + Hph . c [a+ c+ ck , c+ cl ] = a+ [c+ ck , c+ cl ] l l q k+q q k+q = a+ k,l c+ ck c+ ck c+ ck c+ ck q
k+q k k k+q
k+q,l
= a+ k,l c+ ck k+q,l c+ ck q
k+q
[a+ c+ ck , Hel ] q
k+q
= a+ ( q
+ k+q )ck+q ck
= aq (
+ k+q )ck+q ck
k+q
q )a+ c+ ck q
k+q
83
k+q
+ q )aq c+ ck
k+q
Mq
k k k+q
q + q
a + c+ q a q c+
c k+q, k,
+ i
k,q,
Mq
k+q
c k+q, k,
(on a rajout le spin a la n du calcul). e ` Loprateur S satisfait les deux conditions recherches. Les premiers termes e e en Mq sont alors dordre 2. Ils sont donns par : e i 1 [S, Helph ] [S, [S, Hel + Hph ]] 2
iHelph
Il nous reste donc a calculer le commutateur [S, Helph ]. Dapr`s la forme ` e de S et de Helph , le terme gnrique de ce commutateur scrit : e e e a+ a+ c+ +q q q k
,
c ck , c+ k+q, k,
Comme notre objectif est de dterminer linteraction eective entre lectrons, e e nous nallons garder que les termes qui ne font intervenir que des oprateurs e fermioniques. Les autres termes ont une valeur moyenne nulle dans le vide de phonons et ne contribuent pas a la limite T 0. ` Ecrivons Helph =
k1 ,q1 ,1
Mq1 a+ 1 c+ +q q k
1
1 ,1
ck1 ,1
+
k1 ,q1 ,1
M q1 a q1 c +
c k1 +q1 ,1 k1 ,1
S i
=
k2 ,q2 ,2 k2
M q2
k2 +q2
q2 + q2
a + 2 c+ q a q2 c +
c k2 +q2 ,2 k2 ,2
+
k2 ,q2 ,2 k2
M q2
k2 +q2
c k2 +q2 ,2 k2 ,2
84
Deux termes vont conduirent a lexpression qui ne dpend pas de (a+ , a) : ` e [a+ 1 c+ +q q k
1 1 ,1
= a+ 1 aq1 c+ q
1+a+ aq1 q
1
ck1 ,1 , aq1 c+ q k
2
1 ,2
ck2 ,2 ]
c+
c c+ c k2 q1 ,2 k2 ,2 k1 +q1 ,1 k1 ,1
1 ,1
1 ,2
ck2 ,2 ] + c+ c c+ c k1 +q1 ,1 k1 ,1 k2 q1 ,2 k2 ,2
= a+ aq1 [c+ q1
c , c+ c ] k1 +q1 ,1 k1 ,1 k2 q1 ,2 k2 ,2
2 Mq k1 ,k2 ,q,1 ,2 2 Mq k2
Hef f
(2)
1 2
(c+
k2 q
+ q
+
k2
k2 q
c c+ c ) k1 +q,1 k1 ,1 k2 q,2 k2 ,2
Si on rarrange les oprateurs cration et annihilation pour les mettre dans le e e e mme ordre (les termes dordre c+ c gnrs au passage peuvent tre inclus dans e e ee e k ), il vient : Hef f avec Vk2 ,q
2 = Mq k2 2 = Mq (2)
1 2
Vk2 ,q c+
k1 ,k2 ,q,1 ,2
c c+ c k1 +q,1 k1 ,1 k2 q,2 k2 ,2
1
k2 q
k2
2 q 2 2 k2 q ) ( q )
1
k2
k2 q
+ q
1 2
k,k ,q,,
c c c+ Vk,q c+ k+q, k q, k , k,
2 q ( k k+q )2 ( q )2
k+q |
< q !
Il y a une attraction eective entre les lectrons qui ont des nergies voie e sines. Autrement dit, linteraction lectron-phonon conduit a une modication e ` 85
qualitative de linteraction lectron-lectron. Cette interaction est importante e e d`s que les negies sont proches, pas les impulsions. Du coup, elle lemporte e e sur linteraction coulombienne d`s que q nest pas petit puisque linteraction e coulombienne, qui est en 1/q 2 , nest importante que pour les petits transferts dimpulsion. Limage physique simple de cette attraction est la suivante : lorsquun lece tron circule dans le rseau, il attire les ions. Apr`s son passage, il y a un exc`s e e e de charges positives. Cet exc`s de charges positives exerce une attraction sur les e autres lectrons du cristal. e
86
Chapitre 5
Supraconductivit e
5.1 Introduction
La supraconductivit est sans doute le phnom`ne le plus remarquable jamais e e e observ dans les solides. Laspect le plus spectaculaire est sans doute labsence e rigoureuse de rsistance en dessous dune certaine temprature. Au vu de leet e e des phonons sur le transport, labsence dune contribution en T 5 a la resistivit ` e implique quune des hypoth`ses de dpart nest plus valable en-dessous dune e e certaine temprature. Lide qui a ni par simposer est que le gaz dlectron sue e e bit une transition de phase vers un autre tat qui nest plus dcrit par une mer de e e Fermi, mais par un condensat de Bose de paires dlectrons qui apparaissent du e fait de lattraction eective entre lectrons due a linteraction lectron-phonon. e ` e Le point de dpart est donc lhamiltonien eectif tabli au chapitre prcdent. e e e e Pour simplier, on lcrit : e Hef f
(2)
= si |
V 2N
c+
k,k ,q,,
c+ k+q, k q,
F |, | k q
ck , ck,
F |, | k
,
F|
V >0 < D
k+q
Hef f
(2)
F |, | k
= 0
sinon
Autrement dit, on suppose quil y a une attraction entre tous les lectrons e qui sont proches de la surface de Fermi, et quil ny a pas dinteraction lectrone lectron sinon. e Si lon consid`re le cas de deux lectrons en prsence dune mer de Fermi e e e (voir exercice), on peut dmontrer quil appara un tat li correspondant a une e t e e ` paire dlectrons. Mais une paire dlectrons se comporte plus ou moins comme e e un boson. En particulier, lantisymtrisation de la fonction donde, qui impose e de travailler avec des fonctions donde toutes direntes si lon veut construire e une fonction donde a N lectrons a partir de fonctions donde a 1 lectron, ` e ` ` e e e autorise a utiliser N fois la mme fonction donde de paire : lantisymtrisation ` 2 nannule pas le rsultat. e
87
Lanalogie entre la transition supraconductrice et la condensation de BoseEinstein est manifeste : le nouveau fondamental doit correspondre a un tat ` e condens de paires (dites paires de Cooper). Une fois quon a accept cette ide, e e e la dicult que lon rencontre est dordre technique : comment travailler avec e une fonction donde qui nest pas un dterminant de Slater ou une combinaie son simple de dterminants de Slater ? Par analogie avec la condensation de e Bose-Einstein, les seules mthodes simples sont bases sur des fonctions donde e e a nombre de particules non-x. ` e La fonction donde BCS (Bardeen - Cooper - Schrieer) Lquation du mouvement e
5.2
Bien quhistoriquement le premier calcul soit d a BCS, nous allons exposer u` la mthode de lquation du mouvement car elle reste tr`s proche dans lesprit e e e du calcul Hartree-Fock. En reprsentation Heisenberg, lquation du mouvement dun oprateur scrit : e e e e OH = [OH , H] t
k,
= [c+ , H0 ] + [c+ , H1 ]
k, k,
0 k
!)
[c+ , H0 ] = k, [c+ , H1 ] =
k,
= c+ k, c+
V N
c+
k ,q,
c+ k+q, k q,
k ,
On a donc ic+
k,
= k c+
k,
V N V N
c+
k ,q,
c+ k+q, k q,
ck ,
ic+ k, De mme, e
= k c+ k,
k ,q,
c c+ c+ k+q, k q, k ,
[ck, , H0 ] = ck, 88
V N
k ,q,
ck q, ck+q, ck ,
+ +
V N V N
k ,q,
c+ , ck q, ck+q, k c+
k ,
k ,q,
ck q, ck+q,
Dans lapproximation de Hartree-Fock, on a linaris une quation quivalente. e e e e Mais si le fondamental de rfrence est la mer de Fermi, seules les combinaisons ee du type < c+ c > peuvent avoir une valeur non nulle. Dans le cas de la supraconductivit, cette hypoth`se est a priori fausse, et e e dautres combinaisons peuvent tre envisages. En particulier, guids par les proe e e prits de la condensation de Bose-Einstein, on peut supposer que des valeurs ee moyennes du type < c+ c+ > sont non nulles. Guids par le calcul de Cooper, e qui prvoit que ltat de plus basse nergie est une paire dimpulsion totale nulle e e e et de spin total gal a zro, on va donc supposer que < c+ c+ >= 0 dans le e ` e k, k, fondamental, et que toutes autres valeurs moyennes sont nulles. On pose k = V N < ckq, ck+q, >
et on en retient que ces termes dans la factorisation des quations du mouvee ment : ic+ k, ic+ k, = k c+ k, = k c+ k, V N V N > ck, c+ < c+ k+q, kq, > ck, c+ < c+ kq, k+q,
ick, ick,
= =
k ck, k ck,
+ +
V N V N
k,
k,
> = k > = k
< c+
q
ic+
k,
ick, ic+
k,
+ kc
k,
k c+
k,
= k c+ =
k ck,
ick,
k,
+ ck, k
+ k c+k,
F|
N.B. : Ces quations ne sont valables que si | k e doit tre remplac par 0. e e
< D ; si | k
F|
> D ,
Ce probl`me est formellement identique a celui du calcul des ondes de spin e ` dans un syst`me AF, et la solution est tout a fait analogue. On proc`de en 3 e ` e tapes : e a) Transformation de Bogolioubov pour diagonaliser lhamiltonien b) Calcul du fondamental de ce hamiltonien c) Calcul des valeurs moyennes < c+ c+ > quations self-consistantes e k k pour le gap. a) Transformation de Bogolioubov : Considrons les quations relatives a c+ et ck, , et cherchons des oprateurs e e ` e k, A tels que : iA = EA On cherche A sous la forme A = uc+ vck,
k,
u( k c+ ck, ) v( k ck, k c+ ) k k, k,
k,
= E(uc+ vck, ) 90
u k + vk = Eu u v k = Ev k
(E k )u + k v = 0 u (E + k )v = 0 k (E 2 +
k 2 ) k
+ |k |2 = 0
2 k
+ |k |2
e 1`req. e e 2`meq. e
+ k vk+ = 0
k )vk
uk (Ek + k
=0
vk = u k+
Avec les notations habituelles, on appelle + loprateur associ a E + et e e` k, loprateur associ a E . Par ailleurs, on pose e e`
k k, k
+ k, On a donc :
k,
Si lon consid`re maintenant les quations pour c+ e e et ck, , on peut faire k, le mme raisonnement et crire les solutions e e +
k,
= uk, c+
k,
k,
vk, ck,
Dapr`s les quations du mouvement, uk, et vk, satisfont les mmes e e e quations que uk, et vk, en changeant k en k . On peut donc choisir : e uk, = uk, vk, = vk, Les nergies sont par ailleurs les mmes. e e Dans ces conditions, on trouve que + est le conjugu hermitique de k, . e k, En eet (k, )+ = uk, c+k, + vk, ck, = uk, c+
k,
vk, ck, = +
k,
91
De mme, e (+ )+
k, = u ck, vk, c+ k, k, vk, c+ k,
u k, ck,
= k,
On a donc trouv quatre combinaisons linaires conjugues qui sont oprateurs e e e e stationnaires de lhamiltonien, avec des nergies opposes deux a deux. e e ` Calculons maintenant lanticommutateur : + , k,
k,
= |uk, |2 + |vk, |2
k,
Si lon impose la condition de normalisation |uk, |2 + |vk, |2 = 1 on a des oprateurs de fermions, et lhamiltonien scrit : e e H=
k
E + (+ k, + +
k k,
) k, k,
+ C te
Pour la suite, sauf ambigu e, on adoptera les notations compactes : t uk vk + k k + k k uk, vk,
+ k, k,
Ek
+ k, k,
k
E+ > 0
Sauf mention contraire, on supposera par ailleurs que uk et vk sont rels, ce qui e est possible si k est rel. Les coecients uk et vk satisfont les quations : e e (Ek k )uk + k vk = 0 k uk (Ek + k )vk = 0 et la condition de normalisation. Mais,
2 u2 + v k = 1 k
vk =
k Ek + k u k
92
u2 k
1+
2 k (Ek + 1
k) 2
=1
u2 = k = = =
1+
2 k (Ek + k )2
1 2
1+
Ek
De mme e
2 vk = 1 u 2 = k
1 2
Ek
b) Fondamental En fonction de oprateurs + , k , lhamiltonien eectif obtenu apr`s dcoue e e k plage a laide des param`tres dordre < c+ c+ > et < ck, ck, > scrit : ` e e
k, k,
H=
k
Ek (+ k + +k k ) + C te k
Comme Ek > 0, le fondamental correspond au vide des particules + , i.e. il doit k tre tel que e k |0 >= 0 k |0 >= 0 pour tout k. Si on appelle |0 > le vide des particules c+ , ltat e
k,
k k |0 >
93
Mais
k
k k |0 > =
k
=
k
=
k
=
k
+ + k k |0 >
k k 2 vk (uk + vk ck ck )(uk + vk c+ c+ )|0 > k k 2 2 vk (u2 + vk ck ck )c+ c+k |0 > k k 2 2 + vk ) = vk
< 0|
k
< 0|
k
2 vk (u2 k
|0 >=
c) Equations self-consistentes On constate que ce fondamental est tr`s dirent dune mer de Fermi. En e e particulier, il mlange des tats ayant des nombres de particules dirents. e e e Cest pour cela que des valeurs moyennes telles que < c+ c+ > peuvent tre e k k non nulles. Calculons maintenant k = V N < ckq ck+q >
k+q
de linteraction choisie par BCS, k ne dpend pas de k. e Par ailleurs, < c k ck > = < 0|(ul + vl cl cl )ck ck (ul + vl c+ c+ )|0 > l l
F|
= Mais uk v k = 1 2 1
V N
uk v k
k
2 k E2 k
1 2 1
2 k
+ 2
V 2N
2 k
+ 2
Il y a bien sr la solution = 0 qui correspond a ltat normal. Mais cette u ` e quation poss`de aussi une solution non nulle : e e 1 = 1 = V 2N V 2 1
k 2 k
+ 2
2
d( )
1 d + 2
Cette intgrale est limite a des nergies proches de F (` une distance au e e ` e a maximum de lordre de D ) pour lesquelles g( ) g( F ) 1 1 1 V g( 2 V g( 2 V g( 2
+D F) D F)
1 d + 2
2
ln( + D + D +
+ 2 )
+D D
F )ln
2 D + 2 2 D + 2
V g( F )ln 2 V 1 g( F )2ln 2 2D 1 = ln V g( F ) 1
2 4D 2
2D
= 2D e V g(
1 F)
Remarque : Le param`tre nadmet pas de dveloppement en puissance de e e V,. Du coup, les calculs simplement perturbatifs ne sont pas applicables. La mthode originale de BCS consiste a supposer que le fondamental est de e ` la forme k (uk + vk c+ c+ )|0 >, et a minimiser lnergie par rapprt a uk et vk . ` e ` k k Cette mthode variationnelle conduit aux mmes rsultats. e e e 95
5.3
Nous avons dmontr quil existait une autre solution du type Hartree-Fock e e des quations du mouvement. Pour comprendre les implications physiques de e lexistence de cette nouvelle solution, il faut : a) Comparer son nergie aux autres solutions. e b) Donner une interprtation physique a la fonction donde . e ` c) Extraire de la solutions les excitations lmentaires et le comportement a ee ` temprature nie. e Energie de condensation : Si lon revient a lhamiltonien de dpart, ` e H=
k, + k ck, ck,
V 2N
k,k ,q,,
c+ c+ k+q, k q,
(5.1)
le dcouplage < c+ c+k, > ne retient que les termes k = k, = dans e k, la somme. Ceci nous conduit a lhamiltonien rduit (aussi appel hamiltonien ` e e BCS) : Hrd = e
k, + k ck, ck,
V N
c+ c+
k,k
c c k, k, k , k ,
o` lon a remplac la somme sur par un facteur 2. u e Le dcouplage champ moyen scrit : e e c+ c+ c c k, k, k , k , 1 N < c + c+
k, k,
> ck , ck , + c+ c+ 1 N
k, k,
k, k,
>< ck , ck , >
Or, si on choisit rel, e < c+ c+k, >= k, < ck, ck, >=
HCM =
k,
+ ck, kc k,
(c+ c+
k
k, k,
+ ck, ck, ) +
Pour trouver lnergie du ifndamental, inversons la transformation de Bogoe lioubov pour exprimer HCM a laide des + : ` k, c+ = uk + + vk k, k, k, c = u + v + k, k k, k
k,
+ = uk c+ vk ck,
k, k,
k, = uk ck, + vk c+
k,
96
c+ = uk + vk k, k, k, c = uk k, vk + k,
k,
= (uk + + vk k, )(uk k, + vk + = +
k, k, + 2 + 2 uk k, + vk (1 ) k, k, k, + + uk vk ( + k, k, ) k, k,
c+ ck, k,
uk vk (k, k, + + +
k, k,
c+ c+
k, k,
= (uk + + vk k, )(uk + =
vk k, ) k, k, 2 u2 + + vk k, k, k k, k, uk vk + k, + uk vk (1 + k, ) k, k,
ck, ck,
+ uk vk (1 + :
k kE k 2 k vk
) k, k,
uk vk + k,
k,
Coecient de
+ k, k,
2 k uk
+ uk vk + uk vk 1 4 1
2 k E2 k
+ 2
2 k
= Coecient de + + : +
Ek
2 2 = Ek Ek
k, k,
k uk v k
k uk v k
2 = 2 k uk vk + (vk u2 ) k
2 u2 + vk k
= Terme constant :
2 ( k vk + k
kE
+ (
Ek
)=0
2 k vk uk vk uk vk ) + 2 k
N 2 V
=
k
Ek
2 N 2 )+ Ek V
97
(
k
Ek
N 2 V
Ek (+ k, + +
k,
) k, k,
+
k
2 k
Ek
N 2 V
Dans le fondamental, comme Ek > 0, il ny a pas de particules + . Compak rons alors les nergies du cas non supra ( = 0) et du cas supra. e =0: Ek =
2 k
k k
si si
> 0 (k vide)
k
< 0 (k occ)
EF ond = =0:
2
kocc
EF ond ( = 0) EF ond ( = 0) = (
kocc k 2 k
Ek
2 k
)+
(
kvide
2 k
Ek
N 2 V
= 2
(
kvide
Ek
N 2 V
2
E N Calculons
2g(
F) 0
d (
+ 2
2 V
2g(
F) 0
d (1
+ 2
) = sinh u,
2g( = 2g(
F) 0 F ) 2 0
1
uD
sinh u cosh u
2 sinh u cosh u du
1 e2u 2
1 = V g(
+ 2 D = V g( F )Argsh
0
F)
d
2
D 1 1 = sinh uD = V g( F ) V g( F )
Du coup, uD >> 1. On peut donc ngliger e2uD dans le rsultat prcdent. e e e e Finalement, lnergie de condensation scrit : e e 2 g( et ainsi 1 Econd = g( 2
F ) 2 F)
1 1 V g( F ) 2
2 V
D`s quil y a une solution = 0, son nergie est plus basse. Or, tant que V e e est positif, cest-`-dire tant que lintraction est attractive, il y a une solution a e = 0. Finalement, Attraction supraconductivit e b) Interprtation de la fonction donde : e Il y a donc une solution de type champ moyen dont lnergie est plus basse e que la mer de Fermi d`s que V > 0. Essayons de comprendre la physique de e cette solution. La fonction donde du fondamental scrit : e |0 >= (uk + vk c+ c+k, )|0 > k,
k, k,
bilit quelle ne soit pas occupe est gale a |uk |2 . Il est clair que cette fonction e e e ` 99
donde contient des tats ayant des nombres de particules dirents. Cela nest e e pas gnant tant qu` la limite des grands syst`mes la distribution du nombre de e a e particules est pique autour dune valeur moyenne bien dnie. e e
1 Calculons donc N =< N > et N = (< (N N)2 >) 2
< N >=< 0 |
+ k, ck, ck, |0 k0 ,
>
k, k,
e Considrons un terme c+ ck0 , . Tous les oprateurs uk + vk c+ c+ e mutent avec lui, sauf uk0 + < N >= 2 v k0 c + c + k0 , k0 ,
k,
com-
spin
k, k,
)|0 >
= vk c+ (1 c+ ck, )c+ =
k, k, vk c+ c+ |0 > k, k,
|0 >
< N >= 2
2 vk k
ck , |0 >
Si (k , ) = (k, ) c+
k,
ck, c+
k,
k,
2 ck, vk
1c+ ck,
+ v k c+ c+
k, k,
2 ) vk
k,
k,
4 2 vk v k
k,
4 2 vk v k
(k , )=(k,)
(k , )=(k,)
= =
N2 + 4
2 2vk 2 2 vk (1 k
4 2vk + 2 k 2 vk ) k
2 2vk
100
N 2 = 4 Conclusion :
2 u2 v k k k
N croit comme N , mais lcart type N dcroit comme N. Ainsi, si on e e u e crit 0 = N N N , o` < N |N |N >= N , les N sont distribus comme e
N
1 N
N 1 N
Du coup, la valeur moyenne de toute observable calcule dans |0 > est la e mme que celle calcule pour |N > a la limite N +. Mais cette fonction e e ` donde est beaucoup plus simple a manier. ` Il est en fait facile de comprendre le rapport troit quil y a entre cette fonce tion donde et des fonctions dondes a nombre de particules x. Considrons ` e e le cas o` on a 2N lectrons concerns par linstabilit (i.e. 2N lectrons dont u e e e e lnergie k est comprise entre F D et F ). Il y a donc 2N valeurs de k telles e que F D < k < F + D , et la mer de Fermi correspond a remplir les N ` valeurs telles que F D < k < F avec un spin ou . Si lon essaie de construire une fonction donde faite uniquement de paires pour gagner lnergie potentielle de Hrd , et ayant un nombre de particules bien e e dni, un choix naturel serait : e N 1 |N >= gk c+ c+ |0 > k, k, N!
k
Si
gk =
1 pour 0 sinon
<
on retrouve la mer de Fermi, et comme il y a N ! termes, il faut diviser par N !. On pourrait, a partir de cette fonction donde, chercher les gk qui mini` e misent lnergie. Mais cette fonction donde est tr`s complique. Elle comprend e e 101
de lordre de (2N )N termes ! Par contre, si on ajoute dirent |N > pour construire e | > = =
N N
|N > 1 N!
P
gk c+ c+
k
k, k,
|0 >
| > = e
g k c+ c+
k, k,
|0 >
Mais pour des fermions, cet tat cohrent prend une forme plus simple : dans e e le dveloppement de lexponentielle, seuls les termes dordre 0 ou 1 subsistent a e ` cause du principe de Pauli | > =
vk uk ,
Si on pose gk = on retrouve bien la fonction donde BCS. Cette fonction donde est beacpup plus simple a manipuler. Elle a valu le prix NOBEL a Bar` ` deen, Cooper et Schrieer ! c) Excitations lmentaires : ee Dapr`s la forme de HCM , une excitation lmentaire consiste a rajouter une e ee ` particule + . Cela cote une nergie u e
k,
Ek =
2 k
+ 2
Cette nergie est suprieure ou gale a . e e e ` e e e Il y a donc un gap dnergie dans la densit dtat du syst`me. e On voit donc que le fondement mme de la thorie du transport, avec des e e processus de diusion de quasiparticules au niveau de fermi nest plus valable. Il faudra donc dterminer les proprits du gaz lectronique dans ce nouvel tat. e ee e e
5.4
Tempratures nies : e
Lorsquon est a temprature nie, on peut toujours faire un calcul de type ` e champ moyen, mais le gap correspond dsormais a la valeur moyenne thermique e ` de < c+ c+ >.
k, k,
Or, c+ c+
k, k,
= (uk + + vk k, )(uk +
k,
= =
vk k, ) k, + 2 uk vk k, + uk vk k, + + u2 + + vk k, k, k k, k, k, k, 2 uk vk (1 + k, + k, ) + u2 + + vk k, k, k k, k, k, k, 102
< c+ c+
k, k,
>= uk vk (1 2f (Ek ))
1 e
E k +1
et < + +
k, k,
>=< k, k, >=
(1 2f (Ek )) 2Ek
Ek e 2 e 2 eEk + 1 2 = E = tanh 1 2f (Ek ) = E Ek 2 e +1 2k + e 2k e La solution non nulle satisfait donc : 1= V N Ek 1 tanh 2Ek 2
Lorsque T augmente, 0 et cette quation est satisfaite pour des valeurs e de plus en plus petites de . En particulier, il existe une temprature TC o` e u (TC ) = 0 donne par e 1= V N 1 tanh k 2| k | 2
D
( =
1 ) TC
1 = V g(
F) 0
tanh
d 2
1 = V g( F )
D 2TC
tanh u du u
u=
Supposons que TC << D (cest raisonnable puisquon sattend a ce que TC ` (0) << D , les uctuations thermiques dtruisant le gap si T >> (0)). e
D 2TC
tanh u du = u
0 0
tanh u du + u tanh u du + u
0
D 2TC
D 2TC
= ln
D + TC
tanh u du ln ln 2 u
dpend peu de e
ln
2 = ln 1.13 103
Cette formule nest pas directement utilisable pour prdire Tc dans la mesure e o` D , V et g( F ) sont des param`tres ajustables. u e Par contre, si on compare a la formule pour , on trouve ` 2 = = 1.76 k B TC 1.13 et TC sont mesurables indpendamment, et cette relation est bien vrie e e e dans beaucoup de supraconducteurs. Cest lune des conrmations de la thorie e BCS. Paar ailleurs, cette thorie prdit que (T ) a lallure suivante : e e
(0)
TC
(T ) Lexposant
1 2
3.2TC
T TC
5.5
Lquation de London e Avant de se lancer dans le calcul de la rponse dun supraconducteur a un e ` champ externe, il est utile de commencer par quelques remarques sur les quae tions constitutives qui, associes aux quations de Maxwell, sont susceptibles de e e dcrire les proprits de base des supraconducteurs. e ee Ces proprits sont au nombre de 2 : ee
104
1) Rsistivit nulle (1911) e e 2) Eet Meissner (- Oschenfeld) (1933) : le champ magntique est nul a e ` lintrieur dun supraconducteur. Il passe de la valeur extrieure a 0 sur une e e ` longueur dite longueur de pntration. e e Examinons les consquences de ces proprits sur les quations constitutives : e ee e 1) Rsistivit nulle : e e Dans un mtal, on suppose en gnral que le mouvement dun lectron est e e e e rgit par lquation : e e m v dv + m = +eE dt
o` est un temps de relaxation phnomnologique que lon peut par exemple u e e calculer dans le cadre de linteraction lectron-phonon. La solution gnrale e e e scrit comme la somme dune solution particuli`re, par exemple v = e E, et de e e m la solution gnrale de lquation sans second membre, e e e v = v 0 e
t t
e E m
e E m
ne2 E m
Mais j = nS ev (cette quation nest vraie que pour les supraconducteurs) e m soit E= m dj nS e2 dt 105 1 nS e dj = eE dt
Cette relation ne xe le courant qu` une constante pr`s elle ne sut pas a a e ` dcrire la rponse des supraconducteurs. e e 2) Eet Meissner : Si lon combine cette quation a lquation de Maxwell, soit e ` e E= on trouve : m d 1 rotA rotj = 2 dt nS e c t 1 m rotj + rotA = cte nS e 2 c Leet Meissner dcoule de cette quation si cte = 0. e e En eet, dapr`s les quations de Maxwell, e e rotB rot rotB = = 4 j c 4 rotj c
2
1 A c t
=0
B = Posons
nS e2 4 B mc2
nS e2 4 1 = 2 mc2 On a donc : B = 1 B 2
Plaons nous dans une gomtrie o` B = B(z) c e e u B = B(0)e Le champ B dcroit exponentiellement sur une longueur caractristique gale a e e e ` . Les deux relations :
m E = n S e 2 dj dt 2 Se rotj = nmc rotA
z
106
Cest lquation de London (F. et H. London, 1935 !). Cette quation est valable e e dans la jauge de London : divA = 0 A 0 dans le volume Remarque : leet Meissner implique dans une certaine mesure labscence de resistivit. En eet, le champ est nul a lintrieur parcequil est compens e ` e e par un champ cr en surface de lchantillon. Mais un champ magntique ne ee e e fournit pas dnergie (F = +ev B v). Pour que le courant se maintienne, e il faut imprativement quil puisse circuler sans dissipation. Nous allons donc, e sans vraiment perdre en gnralit, nous concentrer sur la rponse a un champ e e e e ` magntique statique. e Rponse a un champ magntique statique : e ` e Considrons donc un champ statique dans la jauge divA = 0. e e p = mv + A c Hcin =
i
1 mv 2 2 i i +
1 2m
e p i Ai c
2
= =
1 2m
e i A(ri ) c
i i
0 Hcin
1 2m
ie 2mc
A(ri ) + A(ri )
H1
+0(A2 )
2 Pi
Le terme 0(A2 ) est un terme sans importance pour le calcul de j au premier ordre. Posons A(r) =
q
=
q
1 V
e 2mc
k,q,
k a(q)c+
c k+q, k,
on a : eik r a(q)
q
eiqr
eikr dr
=
q
eik r ik a(q)ei(k+q)r dr
k,q,
J1 (r) = J1 (q) =
k,
J2 (r) =
e2 A + (r)(r) mc
densit e
e n(r) A mc
J2 est proportionnel a A, et cette relation est similaire a lquation de London, ` ` e e mais cest la densit totale et non la densit supraconductrice qui intervient. Le e terme J1 doit fortement rduire cette contribution et mme lannuler dans un e e mtal normal ! e On peut aussi tablir ces expressions sans passer par les oprateurs champ : e e J(r0 ) =
i
=
i
108
J2 (r0 ) = ie 1 m N
q
J1 (r0 ) =
i
ri
ie 1 m N 1 N
eiqr0
c+ ck ,
1 V
eiqr0
q k,
e kc+ c m kq, k,
J1 (q)
Si lon souhaite procder a un calcul complet, on peut rexprimer H1 a laide e ` e ` de J1 , puis faire un calcul de type rponse linaire. Ce calcul est compliqu (mais e e e pas dicile), et nous nous contenterons de calculer la valeur moyenne de J1 (q) dans la limite q 0 (grande longueur donde). Dans ce cas, un calcul plus simple est possible. Commenons par rexprimer les oprateurs H1 et J1 (q) en fonction des opc e e e rateurs de Bogolioubov : H1 = = + e mc k.a(q) (uk+q +
k,q k+q,
+ vk+q kq, )
(uk k, + vk +k, )
kkq
(uk +k, vk k, )
(+
k+q, k,
) k, kq,
kq, k, )
k.a(0)(+ k, +
k, e mc ka(0) e mc ka(0)
) k, k,
Ek, = Ek Ek, = Ek +
De mme, a la limite q 0, on a : e ` J1 (q 0) = e m
k
e m
k f (Ek, ) f (Ek, )
< J1 (q 0) >
2 2e2 2 kF 2c 3 m
f Ek
a(0) =
o` le 1 provient de la moyenne des cosinus. En eet, posons A = u 3 (ka(0))kh(k), o` h est une fonction quelconque : u A a(0) = = = = 2 = = En insrant e
2 2 kF 2m
(a(0)k)2 h(k)
k
dk
2 sin cos2 d 2 3
F,
g(
F)
3n 2 F
et
= 1 g( 2
+
F)
d , il vient : f Ek a(0)
< J1 (q 0) >
2e2 3mc e2 n mc
F g( F ) +
d f Ek
a(0)
Le courant total scrit donc : e < J > = < J1 + J2 > e2 n = a(0) 1 mc avec E =
2 +
f Ek
+ 2 .
110
Si = 0,
+
f Ek
dE
f E
= 1
f Ek
=2
dE
f E E E 2 2
<1
nn = n
f Ek
a T = 0, f = (E), et si il y a un gap, nn = 0 et nS (T = 0) = n. ` E Ceci est vrai mais dans ce cas il est important de distinguer les vecteurs donde qui participent a la supraconductivit et ceux qui ny participent pas. Le terme ` e J1 annule de toutes faons la contribution de J2 venant des lectrons qui ne c e participent pas a la supraconductivit. n est donc la densit dlectrons qui sont ` e e e a D de F . `
5.6
Si lon mesure eectivement la longueur de pntration , on trouve en gne e e e ral quelle est beaucoup plus grande que la longueur donde de London, que lon 2 4 notera dsormais L , et qui satisfait 1 = nS e 2 . D o` peut venir le probl`me ? e u e 2 mc
L
Nous avons dmontr cette relation pour les composantes a q = 0 de j et A. Mais e e ` dans la rgion o` le champ pn`tre, A nest pas uniforme. La relation est donc en e u e e 111
gnral plus complique. Avant de se lancer dans le calcul microscopique reliant e e e j et A en gnral, il est instructif de suivre Pippard, et de postuler une relation e e plus gnrale entre j et A. Pippard a mis lhypoth`se en 1953 que le courant e e e e dpendait du potentiel vecteur dans un domaine de longueur caractristique e e 0 , mais pas au-del`. La forme la simple est de supposer que cette dpendance a e R dcroit en 0 , do` lquation phnomnologique dite quation de Pippard : e u e e e e j(r) = C avec R = r r . Si A est constant, on peut le sortir de lintgrale e j A = A2 C
2 + 0
R R (A(r) R) R e 0 dr 4 R
dRe 0 2
+
R4 R4
+1
sin cos2 d
e 0 = A C 1 0 = A2 C e 0 1 0
R
2
0 + 1
duu2
+1 1
2
0
u3 3
4 = A 2 C 0 3
C=
Pour estimer leet de cette non localit sur la longueur de pntration, on peut e e e faire le petit raisonnement suivant, valable dans la limite , L << 0 . Si A tait e essentiellement constant sur une longueur 0 , on aurait j= C A 42 L
Mais comme A dcroit sur un longueur , on doit avoir e j= soit 1 1 = 2 = (2 0 ) 3 L 2 0 L Si 0 >> L , on en dduit que 0 >> >> L . e C A 42 0 L
112
La deuxi`me ingalit justie donc lintroduction dune relation non locale e e e entre j et A. Une relation plus prcise entre , L et 0 sera tablie en exercice, e e mais la dpendance est correcte. e Lun des nombreux succ`s de la thorie BCS a t de fournir une base microe e ee scopique a cette phnomnologie. Comme dans le cadre de la rponse linaire, ` e e e e la relation entre le courant et le potentiel vecteur peut scrire e J(q) = C K(q)a(q) 4
o` le facteur C est purement conventionnel. u 4 Lobjectif est donc de calculer la rponse a un potentiel vecteur a(q), q = 0. e ` Pour simplier, nous allons faire le calcul a T = 0. Pour q = 0, et tant quil y a ` un gap, la correction est nulle : K(q = 0, T = 0) = 1 2 (0) L
Si q = 0, il faut revenir aux expressions de H1 et J1 . Mais la valeur moyenne de J1 (q) ne sexprime pas simplement a laide de < + k, >. Il faut faire un ` k, calcul de perturbation. Dans la mesure o` il sagit dun calcul statique, le plus u simple est dutiliser la thorie de Rayleigh : e |G > |G > < n |H1 |G > |n > En
o` En est lnergie de |n > mesure par rapport a lnergie du fondamental, u e e ` e et < J1 > = < G |J1 |G > soit < G |J1 (q)|G > 2Re avec < G |J1 (q)|G >= 0 car G est le vide des particules . + Dans le deuxi`me terme, seuls les termes de H1 crant une paire + e e k+q, k, contribuent, les autres dtruisent |G > e < J1 (q) > = 2e2 2 m2 c (vk uk+q uk vk+q )2
k
Ek + Ek+q
(k a(q)).k 113
du
vk+q
= vk + q = vk + q
k vk k k( d
dv
k k
dv du v d d
1+ 1
+ 2
+ 2 dv du = 2v 2u d d u2 du vdu v d d 1 du = vd = 2
2
dv du v d d
2u pour
du d(u2 ) 1 1 = = + ( ) 2 + 2 d d 2 2 ( 2
3 2 ) 2
1 2
d Ek + Ek+q 2 114
Si q est grand, on peut montrer que le terme correctif tend vers 0 comme
1 2 (0) K(q,0) L q2 2 0
London
1/q 0
La relation entre j et A est donc non locale, et elle scrit sous la forme e J(r) = 3c 2 0 L (T ) (R A(r ))R J(R, T )dr R4
16 2
o` on a rintroduit la dpendance en T . J(R, T ) a une dpendance en R semu e e e blable a celle de Pippard, avec une dpendance en temprature supplmentaire. ` e e e R La formule de Pippard revient a remplacer J(R, T ) par e 0 (T ) , ce qui impose ` J(0, T ) = 1(T ), alors que le cacul BCS conduit a ` J(R = 0, T = 0) = 1 J(R = 0, T = TC ) = 1.33 Lexistence de ces deux longueurs caractristiques est a lorigine dune phnome ` e e nologie tr`s riche dans les supraconducteurs en prsence dun champ magntique. e e e On sait en eet quun champ magntique assez fort doit dtruire la supracone e 2 e ductivit : lexpulsion du champ magntique cote une nergie H par unit de e e u e 8 volume, alors que ltat supraconducteur permet de gagner une nergie Econd e e
2 Hc = 8Econd
115
Champ critique et pntration du champ : e e Lexpulsion du champ nest possible que tant que le champ extrieur nest e pas trop fort. Considrons pour xer les ides un cylindre de mtal a lintrieur e e e ` e dun solno crant un champ H uniforme. e de e
Si on refroidit le mtal sous sa temprature critique, disons pour simplier e e a T = 0, il peut devenir supraconducteur. Faisons un bilan nergtique. Sil de` e e vient supraconducteur, son nergie par rapport a ltat normal est Econd /unit de vol. e ` e e Par contre, il faut expulser le champ magntique. Pour ce faire, il faut crer e e un courant de surface qui soppose au champ extrieur. Cela cote une nergie e u e 2 e e j Aext d , dont la densit est H . Autrement dit, lnergie par unit de volume e 8 dans ltat supraconducteur est e H2 Econd 8 Il est avantageux de transiter vers ltat supra tant que H < Hc , avec e
2 Hc = 8Econd
Remarque : Un calcul na - et faux ! - serait le suivant : dans ltat normal, f e le champ vaut H Enormal = En + Dans ltat supra, H = 0, e Esupra = Econd Esupra < Enormal H! H2 8
O` est lerreur ? Il faut inclure lnergie fournie au gnrateur du fait de la u e e e variation de ux. 116
Mais la pntration du champ magntique a lintrieur de lchantillon ne se e e e ` e e fait pas de faon uniforme et progressive. Cela dpend dune part de la forme de c e lchantillon, mais de faon plus importante des caractristiques du mtal. En e c e e particulier, la valeur relative de 0 et de L est dterminante pour dcider de ces e e proprits. Or, cela varie normment dun compos a lautre. La description de ee e e e` cette phnomnologie se fait de faon plus compacte dans le cadre de la thorie e e c e de Landau Ginsburg. Lide de base est la suivante : crer une interface entre e e une rgion normale et une rgion supra permet de gagner de lnergie magne e e e tique mais impose de perdre de lnergie supra. Si 0 >> , le cot de linterface e u elle-mme est grand, et on en cre le moins possible. Par contre, si 0 << , e e une interface rapporte de lnergie et le domaine normal est petit, le champ e magntique peut pntrer pour des valeurs beaucoup plus petites que Hc . Pour e e e augmenter la surface en conservant un volume tr`s petit, le champ magntique e e pn`tre sous la forme de petits cylindres appels vortex. e e e Pour xer les ides, supposons que la densit dnergie de condensation de e e e croisse avec 0 - nous verrons plus loin que cest le cas - et faisons une estimation grossi`re de lnergie dune interface. La supraconductivit doit tre dtruite sur e e e e e une distance de lordre de 0 . En eet, dapr`s la relation dincertitude de Heie senberg, px Mais pour construire un paquet donde pour un lectron supra, on doit avoir e
F
<
p2 < 2m
+ avec
p2 F 2m
Posons p2 2 = 2m et p2 1 = 2m
F F
p = 2
2 m = pF vF vF 2
Il est donc impossible de localiser la particule sur une distance infrieure a 0 , e ` et ltat supraconducteur doit tre aect sur des distances de lordre de 0 . e e e
117
H = Hc
H = Hc
5.7
Le mod`le de Landau-Ginsburg : e
La description la plus ecace des proprits macroscopiques des supraconee ducteurs est apparue avant la thorie BCS. Elle est due a Landau et Ginsburg e ` qui ont postul en 1951 la forme de lnergie libre en fonction dun param`tre e e e dordre complexe qui devait dcrire : e la densit supraconductrice via ||2 e le couplage au champ lectromagntique via sa phase e e A =A+ par transformation de jauge. La densit dnergie libre scrit donc : e e e e A c
2
= eie
hc
1 f = fn + || + ||4 + 2 2m
2
B2 8
Les deux premiers termes sont les termes habituels dans un dveloppement e de type Landau, le troisi`me terme est la forme du gradient invariante par e transformation de jauge pour un param`tre dordre complexe. e Depuis lapparition de cette thorie, on a dmontr par des techniques du e e e type fonction de Green (Gorkov, 1959) que cette forme de lnergie libre tait e e une consquence de BCS, avec notamment e = 2e. Cette dmonstration sort e e du cadre de ce cours, mais lidentication de avec conduit naturellement V a cette forme. En eet, nous savons que = N k < c+ c+ ` k, k, > pouvait a priori prendre des valeurs complexes. Pour un syst`me homog`ne en labsence e e de champ magntique, la phase ne joue aucun rle. Elle dispara dans toutes les e o t proprits physiques et elle est constante. Cest pourquoi on a choisi la solution ee relle. Par contre, en prsence dun champ magntique, la phase de la fonction e e e donde est relie au choix de jauge. En eet, lquation de Schrdinger dune e e o particule libre en prsence dun champ magntique scrit : e e e H = 1 e (p A)2 = E 2m c
Faisons le changement de jauge A =A+ Lquation de Schrdinger e o 1 e (p A )2 = E 2m c est satisfaite pour (r) = e Dmonstration : e
ie c (r)
(r)
(r).
119
(i
e A )(r) c
= (i
e ie = A (r) i (e c (r) (r)) c ie ie e (r))(r) + e c (r) (i = A (r) (i c c ie e = A(r) + e c (r) (i )(r) c ie e = e c (r) (p A)(r) c
e ie A )e c (r) (r) c
)(r)
Pour obtenir lhamiltonien, il faut de nouveau appliquer (i e A ), mais en c faisant le prosuit scalaire. Supposons quon ait un vecteur, et non un scalaire : ie ie e ie e (i A )e c (r) F (r) = A e c (r) F (r) i (e c (r) F (r)) c c Mais (pA) = p e
ie c (r)
A+A F (r)
p
ie c (r)
= e = e
ie c (r)
ie c (r)
ie (r) F (r) c
H = e
ie c (r) ie c (r)
H E = E CQF D
= e
Cette proprit se traduit par le fait que lnergie cintique ee e e (r) 1 e (p A)2 (r)dr 2m c
est invariante par transformation de jauge. On pourrait de mme dmontrer que pour le gap , la forme de lnergie e e e qui est invariante par transformation de jauge fait intervenir le gradient dans lexpression : 1 (i 2m 2eA ) c
2
Lnergie libre de Landau-Ginsburg est donc une fonctionnelle des chamsp A(r) e et (r) donne par : e 2 2 B 2eA 1 F [A, ] = dr ||2 + ||4 + (i ) + 2 2m c 8 Comme p e A est hermitique, c Ecin = = 1 2m 1 2m e (r)(p A)2 (r)dr c 2eA (p )(r) dr c 120
2
Comme le potentiel vecteur et le param`tre dordre peuvent tous les deux e varier dans un supraconducteur, il est naturel de minimiser lnergie libre par e rapport aux deux champs. La technique pour dterminer les quations est lexe e tension de celle utilise pour tablir les quations de Lagrange a partir du prine e e ` cipe de moindre action. Commenons par une variation A du potentiel vecteur : c rot(A + A) F [A + A] = + dr 2m F [A] + + + 2e c 8 i
2
dr + 2e
dr ||2 + i
||4 2 A + A c
A + A c
2e
A 2e i 2m c i A 2e c
A 2e c dr
(rotA) rot A 4
On peut se limiter a des variations telles que A = 0 a la surface des supracon` ` ducteurs. Du coup, 1 B rot A = 2m 4 1 rotB A 2m 4
4 c j
Pour que F [A + A] F [A] soit nul pour tout A, il faut donc que rotB = avec j= ei m 4e2 A mc
Eectuons maintenant une variation autour de . Pour une fonction dune variable complexe f (z, z), dire que les variations sont nulles signie en principe que si z = rei ,
f r f
=0 =0
f i f i =0 z e + z e f f i i z i re + z (i r)e
=0
f z f z
=0 =0
si r = 0.
121
=0 2e B2 A) + c 8
F (, + ) = F (, ) + (i dr + ||2 + 1 (i 2m 2e A) c
2e A) = 0 c
Faisons une intgration par partie sur le dernier terme e = div( ) div
div( ) n
` ` Mais S n = 0 si on se limite a des variation de qui sont nulles a la surface. Du coup, i Par ailleurs, = = Mais
S
.i
(i )2
+ +
S
( ) n( )d
2eA c
2eA c 2eA (i ) c
dr (i dr
)2 +
2eA c
=0
Les deux quations obtenues (celle-ci et celle donnant le courant j en fonce tion de et A) sappellent les quations de Landau-Ginsburg. Elles constituent e la base de la description des proprits macroscopiques des supraconducteurs. ee Ces quations contiennent deux longueurs caractristiques qui dpendent de e e e et . Pour sen rendre compte, tudions des solutions particuli`res : e e 1) Supposons que le champ extrieur soit nul. Dans le volume du matriau, e e satisfait lquation e + ||2
2
2m
= 0
En accord avec la thorie de Landau des transitions de phase, = 0 (T e TC ), < 0 si T < TC et > 0 si T > TC . Lquation prcdente poss`de en gnral deux solutions videntes : e e e e e e e = 0 (T ) e e e 2 = si < 0, i.e. si T < Tc (On a suppos que tait rel pour simplier). Dans la phase supraconductrice, il existe donc une solution 0 =
= 0.
Considrons maintenant une interface z = 0 avec une rgion normale et e e supposons toujours rel. Lquation direntielle scrit : e e e e
2
2 2
2m
+ + 3 = 0
2m
+ + 3 = 0
2
4m
2 4 + = cste 2 4
Pour que cette quation ait une solution 2 = e 2 2 + = cste 2 4 2 soit cste = 4
2
4m
= = =
4 2 2 + + 4 2 4 2 2 2 + 2 4 + 4 4 2 + 123
2
2 +
= avec 2 =
2
2m||
soit = = =
2m()
1 2
m() 1 + 2 m = 2 +
Cette longueur est lanalogue de la longueur de cohrence de Pippard a basse e ` temprature, mais le comportement critique de (T ) T 1 T dans le mod`le e e C de Landau-Ginsburg est dirent. est en accord avec la dtemination microe Il e v scopique de = F avec (T ) TC T . 2) Supposons quon applique un champ magntique tr`s petit, donc un poe e tentiel vecteur variant tr`s lentement avec la distance. reste essentiellement e constant, et j est a peu pr`s donn par ` e e j= 4e2 |0 |2 A mc
+ A(r)
et on fait un dveloppement en A(r). A lordre 0, est uniforme dapr`s la e e deuxi`me quation de Landau-Ginsburg, et le rsultat annonc dcoule de la e e e e e 124
premi`re. e Or cette quation est lquation de London, avec e e c 4e2 = 42 mc 1 16e2 = 2 mc2
Comme ,
1 TC T
quand T TC .
Cette description est donc qualitativement en accord avec les considrations e prcdentes sur llectrodynamique des supraconducteurs. e e e o e Nous allons maintenant voir que le rapport = joue un rle dterminant dans les proprits dun supraconducteur. Notons tout dabord quen labsence ee de champ (A = o) et pour une solution uniforme, le champ critique Hc est dtermin par e e
2 Hc 8
2 Hc
||4 2 2 2 + = = 2 2 2 2 4 = = ||2 +
Supposons maintenant quon vienne dune rgion de champ tr`s fort, o` la soe e u lution = 0 est stable, et tudions a partir de quel champ il existe une solution e ` des quations de Landau-Ginsburg avec = 0. Plus exactement, tudions la e e stabilit de = 0 en cherchant sil existe des solutions tr`s petit plus stables. e e Si on se limite a lordre linaire en , on trouve lquation ` e e 1 2m i 2e A c
2
Cette quation est similaire a lquation de Schrdinger pour une particule de e ` e o charge 2e dans un champ magntique H dcrit par A. Les niveaux dnergie e e e sont connus et sont donns par e n+ o` c est la frquence cyclotron u e c = 2eH mc 1 2 c
Or, les valeurs propres de loprateur sont c , 3 2 c , 5 2 c , ... Lorsque H est tr`s e e 2 c grand, 2 > , et la seule solution est = 0. Mais si H diminue, il y a une
125
solution d`s que c = . On trouve donc une autre solution que = 0 d`s e e 2 que H < Hc2 avec 1 2eHc2 = 2 mc Hc2 = mc e
Ce champ nest pas directement reli a Hc , et deux cas de gure peuvent se e ` prsenter : e Hc2 > Hc : Pour Hc < H < Hc2 , il nest pas avantageux pour le syst`me e dtre partout supraconducteur, mais il est avantageux de former des solutions e du type prcdent. Ces solutions ne peuvent pas correspondre a une expulsion e e ` globale du champ magntique puisque H > Hc , mais des portions de lchane e tillon restent supraconductrices. La structure de la solution globale pour ne peut tre trouve sans aller au del` de la linarisation. En eet, les niveaux de e e a e Landau sont dgnrs, et ce sont les termes qui l`vent la dgnrescence qui e e ee e e e e vont dterminer la forme de la solution de basse nergie. Un calcul incluant des e e termes dordre suprieur permet de montrer que ces rgions forment un rseau e e e perpendiculaire a la surface de lchantillon (H surface) laissant des cylindres ` e de mtal normal. Ces cylindres sappellent des vortex, et en gnral ils forment e e e un rseau triangulaire. e La condition Hc2 > Hc scrit encore e mc > e soit 4 ()
4 e > mc 2m() mc 4 e mc mc 1 = e2 2 4 e 2
2.
Donc, si < 2, le syst`me reste partiellement supraconducteur entre Hc e et Hc2 . De tels supraconducteurs sont appels supraconducteurs de type II. e Hc2 < Hc : Le syst`me transite directement vers un tat supraconducteur. e e De tels supraconducteurs sont dit de type I.
126
5.8
La quantication du ux :
Supposons que lon soit a lintrieur dun supraconducteur dans une rgion ` e e o` lamplitude du param`tre dordre est a sa valeur dquilibre. Si lon crit u e ` e e = ||ei les seules variations possibles sont associes a la phase, et le courant prend une e ` forme particuli`re : e = ||i ei = i j = = ei i (i ) m 4e2 2 || A mc 2e 2e A ||2 m c
(5.2)
2e c
R
A dl
rotAdS
Le premier terme doit tre gal a 2n pour que le param`tre dordre soit bien e e ` e dni. Par ailleurs, rotA dS = , o` est le ux du champ magntique a e u e ` travers le contour vu que rotA = B. On en dduit que : e =n avec 0 =
c e
c = n0 e
hc 2e .
Consquences : e Pntration du champ dans les supraconducteurs de type II : en dessous de e e Hc2 , il y a des tubes de lchantillon dans ltat normal. Dapr`s cette are e e gument, le ux du champ doit tre un multiple de 0 . Comme par ailleurs e le syst`me a intert a avoir un rapport surface / volume normal maxie e ` mum, il est plus interessant pour faire passer 20 de crer deux vortex e ayant chacun 0 quun seul ayant 20 . Le champ pn`tre donc sous la e e forme de vortex correspondant a un ux hc . ` 2e Si la charge des porteurs eectifs tait e, comme Landau et Ginsburg e lavaient suppos, et non 2e, le ux serait quanti en multiple de hc et e e e non hc . La mesure de la priodicit de direntes quantits en fonction du e e e e 2e ux a dmontr clairement que le ux tait gal a hc . En particulier si un e e e e ` 2e 127
anneau supraconducteur est plong dans un champ magntique parall`le e e e a laxe de lanneau, des courants apparaissent a la surface de lchantillon ` ` e pour ramener le ux a un multiple entier de 0 : `
int 0 3 2 1 ext 0
1/2
Existence de courant permanents : si on fait passer un courant dans un anneau supraconducteur, ce courant doit crer un champ dont le ux est e de la forme n0 . Pour dcro e tre, ce courant doit passer une barri`re de e potentiel pour accder a ltat (n 1)0 , ... etc ... Or, cette barri`re de e ` e e potentiel est tr`s haute car le syst`me doit passer par des tats qui ne sont e e e plus globalement supraconducteurs. La probabilit est donc tr`s faible, et e e le courant peut persister sans dcro de faon signicative sur des dures e te c e de lordre de plusieurs annes. e
5.9
Eet Josephson :
et essayons de faire passer du courant a travers la jonction. Le plus naturel, ` puisque lon doit passer par un tat normal, est de faire passer des lectrons e e individuels. Mais pour disposer dau moins un lectron non appari, il faut e e casser une paire et crer deux particules de Bogolioubov, ce qui cote au moins e u 2 au total ( pour chaque particule). 128
Ek
Pour faire une excitation dans le syst`me, il faut donc appliquer une tension e e ` e V = 2 pour exciter un lectron. On sattend donc a mesurer une caractristique e courant-tension du type :
I
V 2
Autrement dit, si on fait passer un courant mme tr`s petit dans lchane e e tillon, on devrait sattendre a provoquer une chute de potentiel au moins gale ` e a 2. ` En 1962, Josephson a provoqu une rvolution dans le monde de la supracone e ductivit en suggrant quun autre type de courant pouvait circuler a travers e e ` la jonction, a savoir un courant de paires, et que ce courant pouvait circuler ` sans provoquer de chute de potentiel. Le calcul original de Josephson a t fait dans le cadre de la thorie BCS, ee e en tudiant les eets de second ordre dun Hamiltonien de tunneling dcrivant e e le passage des lectrons par eet tunnel a travers une jonction isolante. Mais e ` cet eet peut se comprendre de faon plus simple dans le cadre de la thorie de c e Landau-Ginsburg. Lide de base est tr`s simple. Revenons a lexpression du courant supracone e ` ducteur en fonction du param`tre dordre. Le calcul de la section prcdente e e e 129
montre que, si A est gal a 0, et en labsence de potentiel, un courant peut e ` circuler si la phase du param`tre dordre varie spatialement : e j= 2e ||2 m
A lquilibre thermodynamique, et dans un supraconducteur simplement connect, e e cette variation de phase cote beaucoup trop dnergie et le courant est nul. u e Mais si on consid`re une jonction, la phase peut changer de part et dautre e de la jonction. Si le param`tre dordre ne sannule pas compl`tement dans la e e jonction, ce qui sera le cas si la jonction nest pas trop grande et que les lectrons e peuvent passer par eet tunnel, un courant supraconducteur peut a priori passer. Pour trouver lexpression de ce courant, on ne peut bien sr pas ngliger u e la variation damplitude de . Le calcul le plus simple consiste a revenir a ` ` lquation de Landau Ginsburg pour : e 2 + + ||2 = 0 2m Dans la jonstion, varie vite et le terme domine = 0 Supposons que la phase soit 1 dans le supraconducteur de gauche, 2 dans celui de droite, et quil sagisse du mme supraconducteur de sorte que e lamplitude soit la mme dans le volume (r) = ei1 |0 | loin a gauche et e ` (r) = ei2 |0 | loin a droite. ` Cherchons sous la forme (r) = |0 | f (r)ei1 + (1 f (r))ei2 o` f (r) est une fonction relle. Il vient u e |0 | ei1 ei2 f = 0 = 0 f = 0 si 1 = 2 . Dans ce cas, le courant est donn par e j= ei m
= |0 |f (r)ei1 + (1 f (r))ei2 = |0 | f (r) ei1 ei2 = |0 |2 f (r) f (r)ei1 + (1 f (r))ei2 ei1 ei2
= |0 |2 f (r)[f ei1 +i2 ei1 i2 + (1 f ) ei2 +i1 ei2 i1 ] = 2i sin(1 2 )|0 |2 f (r) = |0 |2 f (r)(ei2 +i1 ei2 i1 )
o` L est la largeur de la jonction ( f est de lordre de 1/L puisque f varie u essentiellement dans la jonction). Si lon fait passer un courant a travers une jonction (SNS) et quon mesure ` la tension, on sattend donc a trouver `
V
> jc
> j
Les applications de leet Josephson sont considrables. En particulier, le e courant dpend aussi du champ magntique, et si lon construit deux jonctions e e suivant le schma e
N1
N2
131
on peut montrer que le courant maximum est une fonction priodique du e ux qui traverse lanneau, de priodicit 0 . Mais 0 = 1010 G/cm2 . On peut e e donc dtecter des changements de champ de lordre de 109 Gauss. Cest de e tr`s loin le magntom`tre le plus sensible. e e e
132
Annexe A
Seconde quantication
A.1 Introduction
Lorsquon sintresse a des syst`mes de particules en interaction, on est oblig e ` e e de considrer des fonctions donde a plusieurs particules. Or le principe dindise ` cernabilit des particules impose de travailler avec des fonctions dondes qui e soient symtriques (bosons) ou antisymtriques (fermions) dans lchange des e e e coordonnes de deux particules. En eet, considrons un syst`me de deux pare e e ticules. Comme elles sont indiscernables, lchange des coordonnes ne peut pas e e conduire a des proprits physiques direntes. Les deux fonctions donde ne ` ee e peuvent donc direr que dun facteur de phase : e (x1 , x2 ) = ei (x2 , x1 ) Mais si on fait deux fois cette opration, on retombe sur la mme fonction e e e2i = 1 ei = 1 +1 bosons 1 fermions Du coup, si on dsigne par {i (x)} une base de fonctions donde a une particule, e ` on ne peut pas se contenter dutiliser (x1 , . . . , xN ) = i1 (x1 ) . . . iN (xN ) comme base de lespace de Hilbert a N particules. Il faut construire des fonc` tions dondes a N particules qui soient totalement symtriques ou totalement ` e antisymtriques dans lchange des coordonnes. e e e Remarque : On peut construire dautres statistiques que celles des fermions et des bosons. Par exemple, a 2D, lchange des coordonnes peut se faire de deux faons ` e e c topologiquement direntes (voir gure A.1). On ne revient a ltat initial que e ` e si on applique successivement (1) et (2) ei(1 +2 ) = 1 2 = 1 Mais on peut avoir 1 = 0, anyons. Cette statistique dcrit de faon ape c proximative les excitations dun gaz dlectrons 2D en prsence dun champ e e magntique intense (eet Hall quantique fractionnaire). e 133
(1)
ou (2)
Fig. A.1
A.2
A.2.1
Bosons
Espace de Fock
(x1 , x2 ) = i (x1 )i (x2 )
est symtrique et est donc acceptable. A partir de deux tats i et j dirents, il e e e faut construire la fonction donde 1 (x1 , x2 ) = [i (x1 )j (x2 ) + j (x1 )i (x2 )] 2 pour obtenir une fonction donde symtrique. De faon gnrale, une fonction e c e e donde a N particules est dnie par le nombre de fois Ni quune fonction donde ` e donne i appara La fonction donde scrit alors e t. e (x1 , . . . , xN ) = 1 Norm iP (1) (x1 ) . . . iP (N ) (xN )
P
la somme sur P portant sur toutes les permutations des entiers i1 . . . iN qui conduisent a un terme dirent. Autrement dit, si deux permutations ne di`rent ` e e que par des permutations a lintrieur de familles dindices gaux entre eux, ` e e elles ne conduisent qu` un seul terme dans la dnition de fonction donde. Le a e nombre de ces permutations (= nombre de termes dans A.1) est gal a : e ` N! N1 !N2 ! . . . avec la convention Ni ! = 1 si Ni = 0, et bien sr u
i
les i sont orthogonales entre elles, chaque terme donne 1 avec lui-mme et 0 e avec les autres termes dans le calcul de | . Ainsi, 1 = Norm N1 !N2 ! . . . N!
1 2
Exemple : 3 particules en occupant 2 fois 1 et une fois 2 . 1 (x1 )1 (x2 )2 (x3 ) + 1 (x1 )1 (x3 )2 (x2 ) + 1 (x2 )1 (x3 )2 (x1 ) 134
(A.1)
3! 2!1!
=3
Comme la fonction donde est enti`rement dnie par la donne des entiers e e e Ni , on peut la reprsenter par le ket : e |N1 , N2 , . . . (espace de Fock)
A.2.2
Oscillateur harmonique
H= 1 p2 + m 2 x2 2m 2 [x, p] = i
1. Changement de variables :
X = m x 1 P = m p 2 (X + P 2 ) 2 + iP ) iP ) [a, a+ ] = 1 X P [X, P ] = i
H = 2. a a+ 3. = =
1 (X 2 1 (X 2
= =
1 (a+ 2 i (a+ 2
+ a) a)
a+ a =
1 2 (X + P 2 1) H = 2
a+ a +
1 2
4. Soit N = a+ a, et soit | une fonction telle que N | = | . Etablissons un certain nombre de proprits : ee Si est valeur propre de N , alors 0. En eet, |a+ a| = a| 2 0 Si = 0, alors a| = 0 En eet, = 0 a| 2 = 0 a| = 0 Si > 0, alors a| est vecteur propre de N de valeur propre 1. En eet, a+ aa| = (aa+ 1)a| = a a+ a| a|
|
= ( 1)a| Comme les valeurs propres sont positives ou nulles, elles doivent tre enti`res, sans quoi par applications e e successives de loprateur a on engendrerait des tats e e de valeur propre ngative. e a+ | est toujours non nul. En eet, a+ | 2 = |aa+ | = ( + 1) | . Or 0 + 1 > 0. a+ | est un vecteur propre de N de valeur propre + 1. En eet, a+ aa+ | = a+ (a+ a + 1)| = ( + 1)a+ | Finalement, peut prendre toutes les valeurs enti`res positives ou nulles. e 135
5. Le fondamental est non dgnr. Cest une proprit de lquation die e ee ee e e rentielle, dont la solution de plus basse nergie est une gaussienne. Ainsi, e tous les tats sont non dgnrs. La notation usuelle consiste a remplacer e e e ee ` |n par |n . 6. Soient |n et |n+1 deux tats norms. On sait, dapr`s ce qui prc`de que e e e e e a+ |n |n + 1 . An de trouver le coecent de proportionnalit, posons : e a+ |n = cn+1 |n + 1 Prenons la norme de chacun des membres : |cn+1 |2 n + 1|n + 1 = n|aa+ |n = n|1 + a+ a|n = n + 1
1
De mme, en posant a|n = cn1 |n 1 , on trouve : e |cn1 |2 = n|a+ a|n = n a+ |n a|n = = cn1 = Ainsi,
cn+1 =
n+1 n
n + 1 |n + 1 n |n 1
A.2.3
Oprateurs de cration et dannihilation e e Par analogie avec loscillateur harmonique, il est commode dintroduire des oprateurs lmentaires ai et a+ dnis par : e ee e i Ni |N1 . . . Ni 1 . . . si Ni 1 ai |N1 . . . Ni . . . = 0 sinon a+ |N1 . . . Ni . . . i = Ni + 1 |N1 . . . Ni + 1 . . . = Ni a+ |N1 . . . Ni 1 . . . i Etudions les proprits de ces oprateurs : ee e a+ ai |N1 . . . Ni . . . i ai a+ |N1 . . . Ni . . . i = Ni |N1 . . . Ni . . . = Ni diagonal Ni + 1 ai |N1 . . . Ni + 1 . . .
a + ai i =
On en dduit : e
a i a+ = Ni + 1 i
= (Ni + 1) |N1 . . . Ni . . .
soit nalement
ai a+ a + ai = 1 i i ai aj = a j ai a+ aj = a j a+ si i = j i i a+ a+ = a + a+ i j j i
(1) fa
(1) Calculons la valeur moyenne de F (1) entre deux tats. Comme fi nagit que e sur une variable a la fois, deux tats ne seront connects par F (1) que sils ` e e di`rent au plus par la fonction agissant sur une variable. On a donc deux types e dlments de matrice non nuls : ee N1 . . . Ni . . . |F (1) |N1 . . . Ni . . . . . . Ni . . . Nk 1 . . . |F (1) | . . . Ni 1 . . . Nk . . . Dmonstration e
N1 N2 . . . |F (1) |N1 N2 . . . = X
i (1)
(1)
fii Ni
N (1) = f (1) , o` ia est lindice de u |N1 N2 . . . contient N !N! !... termes. Pour chaque terme, fa ia ia 1 2 la fonction i de la variable xa . Comme les variables xa dcrivent toutes les fonctions i de e |N1 . . . , il vient : X (1) X (1) fa = fii Ni a i
N! Le ket | . . . Ni 1 . . . Nk . . . contient ...N !(N 1)! termes. Pour chacun de ces termes, il y a i k P (1) (1) Nk termes dans la somme qui contribuent a un lment de matrice fik donn. Par ` ee e a fa ailleurs, les coecients de normalisation des bras et kets sont : r Nk !(Ni 1)! | . . . Ni 1 . . . N k . . . N! r Ni !(Nk 1)! . . . N i . . . Nk 1 . . . | N!
o` le membre de gauche est la valeur moyenne pour un terme. Comme cette valeur moyenne u ne dpend pas du terme dans la somme, on obtient le rsultat cherch. e e e p (1) N i Nk . . . Ni . . . Nk 1 . . . |F (1) | . . . Ni 1 . . . Nk . . . = fik
Donc le coecient de fik scrit : e N! . . . Nk !(Ni 1)! . . . | {z } Nk |{z} | nombre doprateurs dans e (1) F (1) qui donnent fik r r . . . Nk !(Ni 1)! . . . . . . (Nk 1)!Ni ! . . . N! N! {z }
coecients de normalisation
(1)
N i Nk .
fik a+ ak i
(1)
137
Dmonstration e
Elments diagonaux e N1 N2 . . . |a+ ak |N1 N2 . . . = 0 i N1 N2 . . . |F (1) |N1 N2 . . . = = Elments non diagonaux e . . . Ni Nk 1 . . . |a+ al | . . . Ni 1Nk . . . j . . . Ni Nk 1 . . . |a+ ak | . . . Ni 1Nk . . . i = = 0 sauf si l = k et i = j p Ni Nk C.Q.F.D. X
i
fii
(1)
X
i
fii Ni
(1)
Oprateur ` deux corps e a De mme, un oprateur agissant sur deux particules scrit sous forme sye e e mtrise : e e (2) F (2) = fab
a<b
f (2)
iklm
ik lm
a+ a+ am al i k
Finalement, lespace de Fock lui-mme peut se dcrire simplement a laide e e ` des oprateurs de cration et dannihilation. En eet, par application successive e e de lidentit : e a+ |N1 . . . Ni |N1 . . . Ni + 1 . . . = i Ni + 1 on peut crire : e Ni a+ i |N1 . . . Ni . . . = |0 Ni ! i o` |0 est le vide, i.e. ltat sans particule. u e On aboutit donc a une formulation tr`s compacte du probl`me a N corps ` e e ` dans laquelle les oprateurs ont la mme expression quel que soit le nombre de e e particules, et dans laquelle tout peut sexprimer simplement en termes doprae teurs satisfaisant des r`gles de commutation tr`s simples. e e
A.3
Fermions
Dans le cas des fermions, la fonction donde doit tre antisymtrique. Une e e telle fonction ne peut se construire qu` partir de fonctions donde direntes a e sous la forme dun dterminant de Slater : e p1 (x1 ) p1 (x2 ) . . . p1 (xN ) p2 (x1 ) p2 (x2 ) . . . p2 (xN ) 1 (x1 , . . . , xN ) = . . . . . . N! . . . pN (x1 ) pN (x2 ) . . . pN (xN ) 138
Dans lespace de Fock, chaque tat est dni par un nombre doccupation e e valant 0 ou 1 : |N1 . . . Ni . . . Il y a une subtilit par rapport au cas des bosons. En eet, lordre des lignes e donne le signe nal dans le calcul du dterminant. Il faut donc classer les fonce tions donde une fois pour toutes et sy tenir. Le dterminant se calcule alors e avec la convention : p1 < p 2 < . . . < p N Si on calcule les lments de matrice dun oprateur a un corps, on peut en ee e ` principe sinspirer du calcul pour les bosons avec Ni = 0 ou 1. Mais dans le calcul des termes non diagonaux, il appara un signe du fait du dterminant : t e 1i 0k |F (1) |0i 1k = fik (1)
l (1) P (i+1,k1)
avec
(k, l) =
n=k
Nn
Du coup, si on veut reprsenter cet oprateur a laide doprateurs cration et e e ` e e annihilation, par analogie avec les bosons, il faut les dnir par : e c+ i ci |n1 , . . . , ni , . . . |n1 , . . . , ni , . . . = (1)P(1,i1) = (1) (1,i1)
P
(1 ni ) |n1 , . . . , ni + 1, . . . ni |n1 , . . . , ni + 1, . . .
On en dduit aisment les r`gles danticommution suivantes : e e e {c+ , ck } c+ ck + ck c+ = ik i i i {c+ , c+ } = {ci , ck } = 0 i k Dmonstration e
i=k c+ ci |0i i = = = = i<k c+ c+ |N1 . . . i k c+ c+ |N1 k i ... = = = = (1)N1 +...+Nk1 c+ (1 Nk )|N1 . . . Nk + 1 . . . i 0 ci (1)
P (1,i1)
ci c+ |0i i c+ ci |1i i
c+ (1) i 0
(1,i1)
ci c+ |1i i
c + ci + ci c+ = 1 i i
(1)N1 +...+Nk1 (1)N1 +...+Ni1 (1 Ni )(1 Nk )| . . . Ni + 1 . . . Nk + 1 . . . (1)N1 +...+Ni1 (1)N1 +...+Ni +1+Ni+1 +...+Nk1
{c+ , c+ } = 0 i k
139
Quelques remarques sur les r`gles danticommutation : e c+ c+ = ci ci = 0. Cest le principe de Pauli : deux fermions ne peuvent i i occuper le mme tat quantique. e e Par ailleurs, on a bien : c+ ck |0i 1k i = (1)N1 +...+Ni1 +Ni+1 +...+Nk1 c+ |0i 0k (Ni = 0) i = (1)N1 +...+Ni1 +Ni+1 +...+Nk1 (1)N1 +...+Ni1 |1i 0k = (1)
P (i+1,k1)
|1i 0k
ik
F (1) = Enn, N =
+ i ci ci
fik c+ ck i
(1)
N |N1 . . . =
Pour les oprateurs a deux particules, lexpression pour les bosons reste valable. e ` Il faut faire attention cette fois a lordre des oprateurs ! ` e
A.4
Oprateur champ e
Il est tr`s commode dutiliser des combinaisons linaires des oprateurs crae e e e tion et annihilation appels oprateurs champ et dnis par : e e e = i (x)ai (x) e e Etant donn que loprateur a+ cre une particule dans ltat de fonction e e i donde i (x), loprateur + (x0 ) cre une particule dans ltat de fonction e e e donde (x x0 ). Autrement dit, loprateur champ cre une particule au point e e x0 . Dmonstration e x|a+ |0 i = i (x) =
i
+ (x)
(x)a+ i i
=
i
= (x x0 ) En eet, dapr`s la dnition de la fonction (x x0 ), on doit avoir, pour e e toute fonction dessai (x), j (x x0 ) (x) = (x0 ) j j Or, (x0 )i (x) (x) = j i
i i
140
Les formules permettant dexprimer les oprateurs a 1 et 2 particules prennent e ` une forme tr`s simple : e F (1) F (2) = = 1 2 + (x)f (1) (x)dx + (x)+ (x )f (2) (x )(x)dxdx
a+ aj i
soit, F (1) =
ij
fij a+ aj i
(1)
Il en est de mme pour F (2) . e Les r`gles de commutation des oprateurs champs se dduisent de celles des e e e oprateurs a+ et ai . Elles sont bien sr direntes pour les fermions et pour les e u e i bosons : Bosons : (x), + (x ) = (x x ) En eet : (x), + (x ) =
ij
i (x) (x ) [ai , a+ ] j j
ij
=
i
i (x) (x i
{(x), (x )} = {+ (x), + (x )} = 0
A.5
Considrons le probl`me dun gaz dlectrons se dplaant dans un potene e e e c 2 tiel U (r) et interagissant via linteraction coulombienne V (r1 , r2 ) = |r1e 2 | . r Essayons de dterminer la forme de lhamiltonien en seconde quantication. e
A.5.1
La variable x = (r, ) comprend dans le cas des lectrons une partie posie 1 1 tion (r), et une variable de spin qui peut prendre les valeurs + 2 et 2 . Dans notre faon de construire des tats totalement symtriques ou totalement antic e e symtriques, nous nous sommes rfrs a une fonction donde pour la variable e ee e ` x. 141
Pour la partie spatiale, le choix le plus commode est celui des ondes planes : 1 k (r) = eik.r o` lon se place dans une bo de volume . Les valeurs de k possibles sont u te discr`tes, et on a : e
Pour la partie spin, il faut utiliser des fonctions donde. Comme ce nest pas la faon habituelle de procder, explicitons la forme de ces fonctions donde dans c e le cas dun spin 1 . 2 Description habituelle 2 tats | et | e Sz| = 2 | Sz| = 2 | Sx = S+| = 0 S+| = | Sy = S | = | S | = 0 S+ S 2i
S+ + S 2
| Sz = 2 1 0 0 1
z
| 0 1 1 0
x
Sx =
ou, de faon plus condense, c e 1 () = 1 Ces fonctions constituent une base orthonorme : e
1 ()2 () = 1 2
(` vrier) a e
142
Dans cette base, les oprateurs S x , S y et S z agissent selon : e z S = S x = 2 y S = i 1 k (r, ) = eik.r ( ) Les oprateurs cration et annihilation scrivent donc : e e e c+ k et ck
=
k,
=
k
= De mme, e + (r, ) =
(r)c+ k k
k
A.5.2
Oprateurs e
Hcin =
i
2 i
2m
i 2m
U (ri )
U (ri ) est juste le produit par la fonction U (r) calcule au point ri . e Par ailleurs, la rpulsion coulombienne conduit a un terme a deux corps : e ` ` HCoulomb = Le facteur
1 2
1 2
ij
V (ri rj )
A.5.3
Hcin =
k1 k2 1 2
c+1 1 ck2 2 k
dr
1 1 (r, ) k
k2 2 (r, )
or
Hcin
=
k1 k2
dr ik1 .r 2 k2 ik2 .r 2 e e 2m
2 2 k2
2m
k1 k2
Hcin =
k
k + c ck 2m k dr
2 2
Hpot
=
k1 k2 1 2
eik1 .r U (r)eik2 .r 1 2
dr ik1 .r e U (r)eik2 .r
ou encore : Hpot =
kq
Loprateur : e q = c+ ck k+q
k
est la transforme de Fourier de loprateur densit. En eet, e e e q (r) = = dr(r)eiq.r + (r, )(r, ) eik1 .r eik2 .r c+1 ck2 k
k1 k2
= =
k
dr iq.r e
c+ ck+q k
144
U (q)q
HCoul
1 2 .
drdr
1 1 (r, ) 2 2 (r , ) k k
e2 k (r , )k4 4 (r, ) |r r | 3 3
Soit, en posant R = r r : e2 = e2
dRdr eik1 .(R+r ) eik2 .r eik3 .r eik4 .(R+r ) 2 |R| dR ei(k1 k4 ).R |R|
V (k1 k4 )
HCoul =
1 2
kk q
+ V (q)c+ k+q ck q ck ck
A laide des oprateurs densit, cela peut encore scrire : e e e HCoul = 1 2 V (q) (q q N )
dr iq.r V e
N.B. : Cette expression est valable avec la dnition V (q) = e Si on dnit : e V (q) = dreiq.r V (r) ce qui pour le potentiel coulombien, conduit a V (q) = ` en seconde quantication scrit : e H1 = 1 2
4e2 q2 ,
(r).
alors lhamiltonien
kk q
+ V (q)c+ k+q ck q ck ck
Cest cette forme quon utilisera par la suite. La transforme de Fourier inverse e scrit alors : e 1 V (r) = V (q)eiq.r q soit, pour le potentiel coulombien : 1 e2 = r 4e2 iq.r e q2
Voir le chapitre sur la rponse linaire pour la compatibilit des notations. e e e 145
Annexe B
De faon tr`s gnrale, les renseignements tirs des expriences consistent c e e e e e a mesurer les rponses dun syst`me a une excitation exttrieure. Plus prcis` e e ` e e e ment, on mesure une observable en prsence dune perturbation extrieure. Si e e la perturbation est petite, ce qui est indispensable si lon souhaite mesurer les proprits du syst`me non perturb, on peut se limiter au premier terme dans ee e e le dveloppement de la rponse en puissances de lexcitation. Le premier terme e e non nul est souvent le terme linaire. Le calcul de ce terme fait lobjet de la e thorie gnrale de la rponse linaire. e e e e e On consid`re donc un syst`me dcrit par lhamiltonien e e e H = H + H(t) o` H(t) est la perturbation et H est lhamiltonien sans perturbation (mais avec u interaction).
B.2
On a vu que la description dun syst`me a plusieurs particules se faisait e ` beaucoup plus simplement a laide doprateurs que de fonctions donde. Mais ` e lvolution dun syst`me est en gnral dcrite par lvolution de sa fonction e e e e e e donde. Il faut donc adapter le formalisme habituel pour transfrer cette de e pendance temporelle aux oprateurs. Dans un premier temps, on supposera H e indpendant de t. On peut utiliser trois reprsentations quivalentes de la me e e e canique quantique. 146
B.2.1
H indpendant du temps e
Reprsentation de Schrdinger e o Dans cette reprsentation, les observables sont des oprateurs donns une fois e e e pour toutes. Lvolution du syst`me est enti`rement contenue dans lvolution e e e e de ltat du syst`me, qui se fait suivant lquation : e e e i S (t) = H|S (t) t = 1. Lquae
Pour simplier les expressions, on pose dans tout cet appendice tion du mouvement scrit donc : e i et sint`gre en : e |S (t) = eiHt |S (0) Reprsentation de Heisenberg e S (t) = H|S (t) t
Dans cette reprsentation, |H = |(0) est indpendant du temps. Par e e ailleurs, on veut bien sr que la dpendance temporelle de la valeur moyenne u e des observables ne dpende pas de la reprsentation . Les observables OH (t) e e doivent donc dpendre du temps : e 1H |OH (t)|2H = 1 (t)|OS |2 (t) = 1 (0)|eiHt OS eiHt |2 (0) Ces quations sont satisfaites si e OH (t) = eiHt OS eiHt Lquation du mouvement pour OH (t) scrit : e e i OH (t) = i iHOH (t) + eiHt OS (iH)eiHt t i Remarques 1. Il est souvent plus simple de calculer le commutateur que les exponentielles, et dintgrer lquation direntielle correspondante. e e e 2. Remarquer lanalogie avec la formulation hamiltonienne de la mcanique e classique : df f = {f, H} + dt t soit df = {f, H} dt si f ne dpend pas explicitement du temps. Le crochet de Poisson en e mcanique classique joue le mme rle que le commutateur en mcanique e e o e quantique. 147 OH (t) = [OH (t), H] t
Reprsentation interaction e Il est souvent utile de dcomposer lhamiltonien en deux parties : e H = H0 + H1 et de transformer une partie seulement de la dpendance temporelle de H dans e loprateur. Cest ce quon appelle la reprsentation interaction (ou interme e e diaire) OI (t) = eiH0 t OS eiH0 t |I (t) = eiH0 t eiHt |S (0) = eiH0 t |S (t) 1I (t)|OI (t)|2I (t) = = S (t)|eiH0 t eiH0 t OS eiH0 t eiH0 t |S (t) S (t)|OS |S (t)
Dans ce cas,
Remarque La reprsentation interaction dpend de la dcomposition de lhae e e miltonien. Par exemple, en thorie de la rponse linaire a une perturbation H, e e e ` il est commode de dcoupler lhamiltonien suivant : e H H0 Equations du mouvement i |I (t) t : + H H1
= i iH0 eiH0 t eiHt ieiH0 t HeiHt |S (0) = eiH0 t (H H0 )eiH0 t eiH0 t eiHt |S (0)
Oprateur dvolution Il est commode dintroduire loprateur dvolution e e e e UI (t) dni par : e |I (t) = UI (t)|(0) Dapr`s la dnition de |I (t) , il est donn par : e e e UI (t) = eiH0 t eiHt Il satisfait donc lquation dvolution : e e UI (t) = iH1I (t)UI (t) t avec la condition initiale : UI (0) = 1 l 148
Dveloppement en srie Si H1 est une perturbation, il est commode e e deectuer un dveloppement en srie de loprateur dvolution en intgrant e e e e e formellement lquation prcdente et en itrant : e e e e
t
UI (t) UI (0) = i
t
UI (t)
= 1i l = 1 l
t1
dt1
0
0 +
UI (t)
= 1+ l
n=1
(i)n
0
tn1
dt1 . . .
0
Dans cette expression, t > t1 > . . . > tn > 0. Cette expression peut tre mise sous une forme plus symtrique en introduie e sant loprateur chronologique : e T O(tP (1) )O(tP (2) ) . . . O(tP (n) ) = O(t1 ) . . . O(tn ) si t1 > t2 > . . . > tn o` P est une permutation quelconque de {1, ..., n}. Alors u
t t1 tn1
dt1
0 0
dt2 . . .
0
1 n!
dt1
0 0
dt2 . . .
0
dt1 . . .
0 0
UI (t) = T exp i
dt H1I (t )
0 t
Attention : on ne peut pas calculer lexponentielle exp i 0 dt H1I (t ) , puis en dduire UI (t) ! Ce nest vrai que si H1 commute avec H0 , puisqualors e H1I (t1 ) commute avec H1I (t2 ) (en ralit H1I (t) = H1 dans ce cas). e e e e e Matrice S : Pour dcrire lvolution dun syst`me entre deux instants t et t tous deux dirents de 0, on introduit la matrice SI telle que : e
+ I (t) = SI (t, t )I (t ) SI (t, t ) = UI (t)UI (t )
Elle a les proprits suivantes : ee SI (t, t) = 1 l + SI (t, t ) = SI (t , t) SI (t, t )SI (t , t ) = SI (t, t ) t SI (t, t ) = iH1I (t)S(t, t ) SI (t, t ) = T exp i
t t
149
B.2.2
H dpendant du temps e
Schrdinger o i |S (t) = HS (t)|S (t) t |S (t) = US (t)|S (0) US (t) = HS (t)US (t) t
US (t)
= 1i l = 1+ l
0 + 0
dt1
0 t t
dt2 . . .
0 t
= 1+ l US (t)
(i)n n! n=1
t 0
n=1 +
dt1
0 0
dt2 . . .
= T exp i
dt HS (t )
Cas particulier : Si HS est indpendant du temps, le T produit est inutile car les HS (ti ) e commutent US (t) = exp (iHS t) Heisenberg
+ OH (t) = US (t)OS US (t)
or
US t
= iHS (t)US et
+ US t
OH + + = iUS (t)HS (t)U U + OS US (t) iUS (t)OS U U + HS (t)US (t) t i OH (t) = [OH (t), HH (t)] t
150
+ = U0 (t)(H0 (t) + HS (t))|S (t) + = U0 (t)H1 (t)|S (t) + = U0 (t)H1 (t)U0 (t)|I (t)
soit i
UI (t) = iH1I (t)UI (t) t Le dveloppement en perturbation sen dduit immdiatement. e e e ee e u e Conclusion : les proprits tablies dans le cas o` lhamiltonien ne dpend pas du temps restent valables a condition de remplacer eiHt par US (t), etc. . . `
B.3
Revenons a notre probl`me initial. Lhamiltonien qui nous intresse est la ` e e somme dun hamiltonien suppos indpendant du temps H et dune perturbae e tion dpendant du temps H(t) : e H = H + H(t) On veut calculer la dpendance temporelle de la valeur moyenne dune obsere vable B : < B > (t) < S (t)|B|S (t) > Pour cela, on va passer en reprsentation interaction : e < B > (t) =< I (t)|BI (t)|I (t) > On suppose que la perturbation est branche adiabatiquement depuis t = e o` H(t = ) = 0 u I (t) = SI (t, )I () et I () = 0 151
dt1 HI (t1 )
< B > (t) =< 0 |S(t, )+ BI (t)S(t, )|0 > Limitons-nous aux termes linaires en HI e
t t
< 0 | 1 + i
Notons B0 0 |BS |0 la valeur moyenne de lobservable B dnas ltat non e perturb. On a donc : e
t
avec
Mais si H est indpendant du temps, AB ne dpend que de t t . En eet, e e 0 | [AI (t ), BI (t)] |0 = = 0 | eiHt AS eiHt , eiHt BS eiHt |0 0 |eiHt BS eiH(tt ) AS eiHt |0 Or 0 |eiHt AS eiH(tt ) BS eiHt |0 = = Idem pour le deuxi`me terme. e Ainsi,
+
eiE0 t
F (t )AB (t t )dt
On reconna le produit de convolution de deux fonctions. Comme la transfort me de Fourier dun produit de convolution est le produit des transformes de e e Fourier, il vient : < B > () = F ()AB () + B0 () Dcomposition spectrale : e Dsignons par |n > les tats stationnaires de H dnergie En , et posons : e e e n0 A0n On a : = i(t t ) < 0 |eiHt AeiHt < 0 |eiHt BeiHt = < 0 |A|n > = En E0
AB (t t )
153
Comme AB (t t ) ne tend pas ncessairement vers 0 de faon assez rapide e c lorsque t +, la transforme de Fourier est dnie par : e e
+
AB () = lim
0+
AB (t)eit et dt
o` on a introduit un facteur de convergence et . u Calculons cette transforme de Fourier en utilisant la dcomposition spece e trale :
+ +
(t)eit ein0 t et dt =
0
ei(n0 +i)t dt =
1 i( n0 + i)
AB () =
Les ples de AB () sont a = n0 i. o ` La fonction AB () est donc analytique dans le demi-plan suprieur. Il en e dcoule plusieurs proprits intressantes. Par exemple, considrons lintgrale e ee e e e O
fct analytique
=
C
AB ( ) d
Le demi-cercle a linni donne une contribution nulle et le demi-cercle autour ` de donne iAB () (- car le cercle est dans le mauvais sens, i et pas 2i car cest un demi-cercle ).
+
PP
AB ( ) d = iAB ()
+
Prenons la partie relle et la partie imaginaire de cette quation. Il vient : e e Kramers - Kronig
1 ImAB () = P P ReAB ( ) d + 1 ReAB () = P P ImAB ( ) d
Par ailleurs, la dcomposition spectrale nous indique que e AB () 1 < 0 |[B, A]|0 > 154 quand +
AB ( )d
C
= 0
+
AB ( )d +
C R
AB (z)dz
1 dz = id z
+
C R
dz = i z
B.4
Fonction dilectrique e
Dnition : Sil se produit une petite uctuation de charge dans le syst`me, le e e potentiel associ va polariser les lectrons , crant ainsi une rponse du syst`me. e e e e e Si la uctuation est petite, on peut tudier la rponse linaire : e e e ind (x, t) = dt dx , (x x , t t )(x , t )
Il est plus usuel dintroduire la fonction dilectrique dnie par e e (x, t) = dt dx (x x , t t )tot (x , t )
ou, en transforme de Fourier, e (k, ) = (k, )tot (k, ) . En eet, dans llectrodynamique des corps macroscopiques, on distingue le e champ de dplacement D d aux charges additionnelles et le champ lectrique e u e E d a toutes les charges : u` divE = tot (x, t) divD = (x, t) 155 (
0
= 1)
soit, en transforme de Fourier, e ik.E(k, ) = tot (k, ) ik.D(k, ) = (k, ) Si lon dnote par DL (k) et EL (k) les composantes longitudinales, cest-`-dire e a parall`les a k, de D(k) et E(k), on a donc : e ` DL (k, ) = (k, )EL (k, ) ou encore : DL (x, t) = dt dx (x x , t t )EL (x , t )
ce qui est la dnition habituelle de la fonction dilectrique. e e En transforme de Fourier, on a donc e ind (k, ) = , (k, )(k, ) (k, ) = (k, ) ind (k, ) + (k, ) D (k, ) = (k, )E (k, )
L L
Pour faire le lien avec la thorie gnrale, on remarque que : e e e H(t) avec q et e2 |r r | = = = = 1 1 3 dr dr (r) e2 |r r | (r , t) 1 q eiqr
q
q1 eiq1 r
H(t) =
4e2
(q ) q12 (q , t)
Cette perturbation est la somme sur q de perturbations ayant la formule habituelle avec A = (q ) et F (t) = 4e2 (q , t) q 2
A lapproximation linaire, la rponse est la somme des rponses a chacune des e e e ` composantes, qui scrivent : e < (q, t) >= i 4e2
t
dt q2
Mais pour un syst`me invariant par translation, la valeur moyenne est nulle sauf e si q = q . La rponse totale vaut donc : e < (q, t) >= i 4e2 q2
t
4e2 , (t t ) q 2 q q
157
Annexe C
On consid`re un syst`me de fermions dcrit par un hamiltonine H qui ne e e e dpend pas explicitement du temps. e
C.1.1
Dnitions e
La fonction de Green chronologique est dnie par : e < |T [(x, , t)+ (x , , t )]| > < | >
G, (x, t|x , t ) = i
| > : tat fondamental du syst`me e e est loprateur champ en reprsentation de e e (x, , t) = ei (x, )ei Ht Heisenberg. Loprateur dvolution scrit simplement ei e e e puisque H est suppos indpendant du temps. e e Le symbole T dsigne le produit chronologique dni par e e T [O1 (t)O2 (t )] = O1 (t)O2 (t ) si t>t O2 (t )O1 (t) si t >t
Ht Ht
Il y a un signe (-) parce quil sagit doprateurs fermioniques a une pare ` ticule qui anticommutent. Les fonctions de Green retarde et avance sont dnies par : e e e GR (x, t|x , t ) = i , GA (x, t|x , t ) = i , < |{(x, , t), + (x , , t )}| > (t t ) < | >
o` {O1 , O2 } = O1 O2 + O2 O1 est lanticommutateur des oprateurs O1 et O2 . u e Enn, (t) est la fonction de Heavyside dnie par : e (t) = Proprits gnrales : ee e e Comme H indpendant du temps, G ne dpend que de t t . e e Dmonstration : e (x, , t) = ei t>t : < |(x, , t)+ (x , , t )| > =< |ei =e
iE0
Ht Ht
0 si t < 0 1 si t > 0
(x, )ei
Ht
(x, )ei
Ht
ei
Ht
(x , )ei
tt
Ht
tt
iH
| >
+ (x , 0 )| >
t < t : Idem Si H est invariant par translation, G ne dpend que de x x . e Dmonstration : e On utilise la base des ondes planes. En seconde quantication, loprateur e impulsion scrit : e P
k,
kc+ ck,
k,
car
dx ikx e (i 1 1
)eik x = kk,k
[(x, ), P ]
eikx k [ck, , c+ , ck , ] k
k k , ck, k,k ,
keikx ck,
k
= i
(x, )
(C.1)
Cest une quation dierentielle en x qui sint`gre (comme pour lquation e e e temporelle) en : (x, ) = ei
P x
(0, )ei
P x
159
Or, par dnition, si H est invariant par translation, il commute avec P . e On peut donc les diagonaliser dans une base commune. En particulier, P | >= P0 | >. t>t : < |(x, , t)+ (x , , t )| > =< |ei =e
iP0
P x
(0, , t)ei
P x
ei
P x
(0, , t )ei
xx
P x
xx
iP
| >
(0, , t )| >
ne dpend que de x x . e t < t : Idem. Du coup, on peut crire : e G, (x, t|0, 0) = G, (x, t) En labsence de champ magntique, G, (x, t) = 0 si = . Dans ce cas, e on peut crire : e G, (x, t) = , G(x, t) . Transformes de Fourier : e On dnit par ailleurs les transformes de Fourier spatiales et temporelles e e par : d3 xeikx G, (x, t)
G, (k, t) = et G, (x, t) =
1 (2)3
d3 keikx G, (k, t)
dteit G, (k, t)
dei G, (k, )
Remarque : Pourquoi 3 fonctions de Green ? La fonction chronologique conduit a une thorie de perturbation compacte. ` e La fonction retarde (ou causale) permet le calcul des fonctions de rponse. e e
160
C.1.2
avec par :
k <0
c+ |vide >= k
k occ
Pour calculer la fonction de Green, il faut valuer c+ (t). Le plus simple est e k dutiliser lquation du mouvement en reprsentation de Heisenberg : e e d + c (t) = i[c+ (t), H] ( = 1) k dt k + + or [c , c ck ] = 0 si k = k
k k
c+ , c+ ck k k
= c+ (1 c+ ck ) = c+
k k k
= c + c+ ck c + ck c+
k k k k
(C.2)
(C.3)
Comme < | >= 1, la fonction de Green scrit : e G(x, t) = i < |T [(x, t)+ (0, 0)]| > t>0: G(x, t) = i = i = i = i 1 < |ck1 (t)eik1 x c+2 (0)| > k V 1 ik1 x i e e V
k k1
k 1 ,k 2
k 1 ,k 2
avec nk =< |ck c+ | >= k t<0: G(x, t) = i < |T [(0, 0)+ (x, t)]| > 1 ikx i t = i e e k nk V
k
1 si k occ 0 si k vide
(t) nk
Le rsultat est plus compact si on prend la transforme de Fourier spatiale : e e G(k, t) = = i Or, 1 V d3 xei(kk1 )x = k,k1
t
e i k1 x e
k1
(t) nk1
(t) nk
= i < |(x, t)+ (0, 0) + + (0, 0)(x, t)| > (t) 1 i t eik1 x e k1 < | ck1 , c+2 | > (t) = i k V
k 1 ,k 2
1 = i V soit nalement :
eikx ei
k
(t)
GR (k, t) = iei De mme, on peut tablir aisment que e e e GA (k, t) = iei Transforme de Fourier temporelle : e
k
(t)
(t)
Il y a une dicult nouvelle. En eet, il faut calculer la transforme de e e Fourier de fonctions du type (t)ei t , qui ne dcroissent pas quant t +. e Considrons en particulier la fonction (t). e 162
()
dteit (t) =
0 +
dteit
eit (t) i
=?
0
Pour donner un sens a cette expression, il faut considrer (t) comme la ` e limite de fonctions dcroissant susament vite. On peut par exemple choisir : e (t) = lim0+ (t) (t) = et (t)
+ 0
() = =
dte(i)t
+
e(i)t i
=
0
1 1 i + i
lim+
1 1 i + i
deit () d eit + i
1 2i
On va calculer cette intgrale en passant dans le plan complexe. Il faut distine guer deux cas : t>0 : eit 0 si Im() < 0. Il faut donc fermer le contour par le bas :
Im
Re i
163
Il y a un ple en = i. o
+
eit + i
1 2i
eit = et + i
si
t>0
t<0 : eit 0 si Im() > 0. Il faut fermer le contour par le haut. Mais la fonction est analytique dans le demi-plan suprieur. Du coup, e
+
eit =0 + i
si
t<0
deit () = (t)et
Si on prend la limite 0+ , on retrouve (t). Revenons aux fonctions de Green. Fonction de Green retarde : e GR (k, t) = iei =
0+
kt
(t)
k i)t
lim iei(
(t)
dtei(
k +i)t
(t)
+ 0
= i = i
dtei(
k +i)t
k +i)t
ei( i(
+ i)
=
0
1 1
k
+ i
0+
lim
+ i
164
i
0
dtei( dtei(
k i)t
(t)
= i
k i)t
ei( = i i(
k i)t
k i)
1 1
k
0+
lim
= ie
i
kt
((t) nk )
A
(t) = GR (k, t)
si k vide si k occ
(t) = G (k, t)
lim
1
k
+ ik
> 0 < 0
si k vide si k occ
e e Exercice : dmontrer que les transformes de Fourier inverses redonnent les fonctions G(k, t) et GR,A (k, t). Une expression du genre lim 1 x + i
0+
lim
1 1 = P P i(x) x + i x
f (x) dx x
0+
On en dduit un certain nombre de proprits : e ee ReGA (k, ) = ReGR (k, ) = ReG(k, ) ImG(k, ) = ImGR (k, ) = ImGA (k, )
R A + R,A
d G (k, ) Im
C.1.3
Revenons a la dnition de G(x, t), et insrons un ensemble complet de ` e e fonctions propres repres par les nombres quantiques n et k (impulsion). On ee suppose que tous les tats propres, y compris le fondamental, sont norms. On e e peut donc crire : e G(x, t) = i (t) < |(x, t)|nk >< nk|+ (0, 0)| > n,k (t) < |+ (0, 0)|nk >< nk|(x, t)| >
n,k
(x, t) =
1 V 1 V
k1
+ (0, 0) =
k2
La conservation de limpulsion impose que k1 = k2 . Ainsi G(x, t) 1 = i V eik1 x < |T [ck1 (t)c+ (0)]| >
k1 k1
La transforme de Fourier spatiale scrit donc : e e G(k, t) = i < |T [ck (t)c+ (0)]| > k Posons dsormais e | > = |N > , 0
N H| >= E0 | >
166
On a alors : G(k, t) = i = i i i
n
N N i(En +1 E0 )t
N 1
N E0 )t
N +1 N + E0 1 N E0
N E0
N En 1
N E0 1
N n 1
On a alors : G(k, t) = i i
n
N +1
+N +1 )t
, ,
t>0 t<0
N )t
B(k, ) =
n
G(k, ) =
+
(i)
n
| |2 ei(n
N +1
N +1
+N +1 )t it
(t)dt
i
n
| |2 ei(n
+N )t it
(t)dt
=
n
| |2 | |2
1 N ( N +1 ) n +1 + i ( N ) 1 N + n 1 i
+
n
do` u
+
G(k, ) =
0
Ces expressions de G, GR et GA sappellent les reprsentations spectrales ou e reprsentations de Lehmann. e Enn, a la limite thermodynamique, limN N , N +1 = . On peut donc ` crire : e
+
G(k, ) =
0
GR,A (k, ) =
0
Consquences : e ReG(k, ) = ReGA (k, ) = ReGR (k, ) ImG(k, ) = ImGR (k, ) = +ImGA (k, ) = B(k, ), < ImG(k, ) = +ImGR (k, ) = ImGA (k, ) = A(k, ), > Dmonstration : e N N N N N N n +1 = En +1 E0 +1 et n 1 = En 1 E0 1 sont compris entre 0 et +. Du coup, A(k, ) et B(k, ) sont non nuls si et seulement si > 0. Par contre, pour G(k, ), cest dirent : e
+
ImG(k, ) =
0 +
+
0
>0 >0
168
Relations de Kramers-Kronig :
+
ReGR (k, ) = P P
0
d
+ 0 + +
1 = PP 1 = PP 1 = PP
A(k, ) + PP
d
0
B(k, ) +
+
d d
ImGR (k, )
ImGR (k, ) +
On peut de mme tablir aisment la mme relation pour GA . Par contre, e e e e la fonction de Green chronologique satisfait la relation : ReG(k, ) = PP
+
ImG(k, )
avec k < 0 si k est occup et k < 0 si k est vide. Avec cette convention, rajouter e une particule cote une nergie nulle, et = 0. En dautres termes, pour que le u e fondamental dun tel hamiltonien corresponde a un remplissage jusquau niveau ` de Fermi, il faut mesurer les nergies par rapport au niveau de Fermi. e N N N Pour A(k, ), on a donc : En +1 E0 = k = n +1 A(k, ) = (1 nk )(
N N Pour B(k, ), En 1 E0 = k N = n 1 k) k)
B(k, ) = nk ( +
d
0
A(k, ) i
1 nk si k i = 0 si k <0 =
>0
d
0
B(k, ) + i
si k i = 0 si k >0
1
k
nk
<0
169
C.1.4
- Pour une interaction a deux corps, on peut calculer lnergie du fondamen` e tal en fonction de G(k, ). - Les fonctions spectrales sont directement mesurables dans les expriences e de photomission et de photomission inverse. e e - Dans des dveloppements perturbatifs, les fonctions de corrlations mesue e rables (susceptibilit, etc ) sexpriment a laide des fonctions de Green du e ` probl`me non perturb G0 (k, ). e e
C.2
C.2.1
H H0 V
Calcul en perturbation
Le probl`me e
= H0 + V =
k, + k ck, ck,
1 2
d3 x
,
On veut calculer le dveloppement de G, (x, t) en puissance de linteraction e tre e V . Dapr`s la dnition de G, (x, t), il sut de conna ltat fondamental e e de H, soit | >, et loprateur dvolution donnant lvolution temporelle de e e e (x, , t). Or, loprateur dvolution admet un dveloppement en srie (voir chapitre e e e e I). Quant a | >, on peut lobtenir, si |0 > est non dgnr, par la thorie ` e e ee e des perturbations indpendantes du temps sous la forme de la srie de Rayleighe e Schrdinger : o
+
| >= |0 > +
n=1
(C.6)
Attention : < | >= 1 ! La normalisation de | > est xe par e < 0 | >= 1, < 0 |(n) >= 0, n1
Si lon suit cette procdure de calcul, on voit que le numrateur et le de e e nominateur sont des sries multiples. Cest donc tr`s compliqu et inextricable e e e pour les ordres levs. e e Heureusement, il existe un autre algorithme de calcul dvelopp par Wick, e e Gell-Mann et Low, Feynman et Dyson qui permet dexprimer G a laide dune ` seule srie de termes, et qui fournit galement une procdure ecace pour cale e e culer les termes de cette srie a partir de la fonction de Green non pertube G 0 . e ` e Cet algorithme proc`de en plusieurs tapes. e e 170
C.2.2
Le thor`me de Gell-Mann et Low stipule que si le fondamental est non de e e gnr, on peut obtenir un tat propre, dont on suppose que cest le fondamental e ee e du syst`me perturb, par un branchement adiabatique de la perturbation : e e H = H0 + e
|t|
H1
(H = H0 + H1 )
Loprateur dvolution en reprsentation interaction correspondant a ce hamile e e ` tonien est not U (t) et la matrice S est note S (t, t ). e e Plus prcisement, le fondamental | > de H vrie : e e | > < 0 | > = = lim S (0, +)|0 > < 0 |S (0, +)|0 > S (0, )|0 > lim 0 < 0 |S (0, )|0 >
0
La dmonstration sera faite en exercice. Ce thor`me va nous permettre de re e e e crire la fonction de Green a laide de valeurs moyennes dans le fondamental e ` non perturb. e Le calcul proc`de en plusieurs tapes : e e < | > | < 0 | > |2 = = = = o` la limite u suivent. lim < 0 |S + (0, +)S (0, )|0 > 0 < 0 |S + (0, +)|0 >< 0 |S (0, )|0 > < 0 |S (+, 0)S (0, )|0 > lim 0 < 0 |S + (0, +)|0 >< 0 |S (0, )|0 > < 0 |S (+, )|0 > lim 0 < 0 |S + (0, +)|0 >< 0 |S (0, )|0 > < 0 |S (+, )|0 > < 0 |S + (0, +)|0 >< 0 |S (0, )|0 >
0 est sous-entendue, de mme que dans les expressions qui e = = < 0 |S (+, 0)OH (t)S (0, )|0 > < 0 |S + (0, +)|0 >< 0 |S (0, )|0 > < 0 |S (+, 0)OH (t)S (0, ))|0 > < 0 |S (+, )|0 >
< |OH (t)| > | < 0 | > |2 < |OH (t)| > < | > Or, OH (t) = lim
0
OH (t). De plus,
OH (t) = UH (t)+ OS UH (t) = UH (t)+ UH0 (t)UH0 (t)+ OS UH0 (t)UH0 (t)+ UH (t) = U + (t)O(t)U (t) o` UH (t) et loprateur dvolution en reprsentation de Heisenberg, U (t) = u e e e UH0 (t)+ UH (t) est loprateur dvolution en reprsentation interaction, et O(t) e e e est loprateur en reprsentation interaction. On peut donc crire : e e e 171
S (+, 0)OH (t)S (0, ) = S (+, 0)U + (t)O(t)U (t)S (0, ) = S (+, t)O(t)S (t, ) = T S (+, t)O(t)S (t, ) = T S (+, )O(t) De mme, si t > t , e S (+, 0)OH (t)OH (t )S (0, )) = S (+, t)O(t)S (t, t )O (t )S (t , ) = T S (+, )O(t)O (t ) Finalement, considrons e S (+, 0)T [(t)+(0)]S (0, ) t>0: S (+, 0)(t)+ (0)S (0, ) = T [S (+, )(t)+ (0)] t<0: S (+, 0)+ (0)(t)S (0, ) = T [S (+, )+ (0)(t)] + (0)] = T [S (+, )(t) Fianlement, on arrive a lexpression ` G(x, t) = i lim avec S (+, ) =
+
< 0 |T [(x, t)+ (0, 0)S (+, )]|0 > 0 < 0 |S (+, )]|0 >
+ +
(i)n n! n=0
dt1
N.B : Dans lexpression originale de la fonction de Green, les oprateurs sont e en reprsentation de Heisenberg. Dans cette expression, ils sont dsormais en e e reprsentation interaction. e Rcapitulation : e Cette formule est base sur les hypoth`ses et thor`me suivants : e e e e Hypoth`se 1 : La srie de perturbation pour loprateur dvolution converge. e e e e
172
Thor`me de Gell-Mann et Low : e e lim S (0, +)|0 > < 0 |S (0, +)|0 >
existe et est un tat propre de H = H0 + H1 . e Hypoth`se 2 (adiabatique) : cet tat propre est ltat fondamental du syse e e t`me perturb e e G(x, t) = i lim < 0 |T (x, t)+ (0, 0)S (+, ) |0 > < 0 |S (+, )|0 >
Attention : on ne peut pas prendre la limite du numrateur et du dnomie e a nateur sparment : < 0 |S (+, )|0 > ei , a R. Cette dicult est e e e leve par le thor`me des diagrammes connexes (voir ci-dessous). e e e
C.2.3
Thor`me de Wick e e
1 2
son volution temporelle dans la reprsentation interaction est donne par e e e 1 V (t) = 2 d3 x
,
Quil sagisse du numrateur ou du dnominateur de la fonction de Green, il e e faut donc valuer des expressions du type : e < 0 |T [+ (x1 , t1 )+ (x2 , t2 ) + (xn1 , tn1 )+ (xn , tn )]|0 > Ceci peut se faire grce au thor`me de Wick. Commenons par quelques a e e c dnitions : e Produit normal : Soient U, V, des oprateurs qui dtruissent le fondamental, o` dont lade e u joint dtruit le fondamental. On appelle produit normal N (U, V, ) le produit e obtenu en plaant a droite les oprateurs qui dtruissent le fondamental aect c ` e e e du signe de la permutation faisant passer U, V, a N (U, V, ). ` Remarque : on peut mettre les oprateurs qui dtruisent (resp. qui ne de e e truisent pas) le fondamental dans lordre quon veut car ils anticommutent. Contraction : La contraction de deux oprateurs est dnie par e e 173
Thor`me : e e
T(UVW...)=N(UV...) + N(UVW...) + N(UVW...) + ... +N(UVWXYZ...) + N(UVWXYZ...) +N(UVWXYZ...) + N(UVWXYZ...) + ...
T [U (t)V (0)] = (t)U (t)V (0) (t)V (0)U (t) ou V (0)U (t)
UV = [(t) 1]U (t)V (0) (t)V (0)U (t) ou UV = (t)U (t)V (0) [(t) 1]V (0)U (t) ou encore UV = (t) {U (t), V (0)} ou UV = (t) {U (t), V (0)} 174
Mais pour des oprateurs crations ou annihilation, U (t) = ei k t U (0). e e {U (t), V (0)} est donc gal a un facteur de phase qui multiplie {U, V }, et lantie ` commutateur de deux oprateurs crations et annihilation est soit nul soit gal e e e a lidentit. ` e Comme la contraction est un scalaire, elle est gale a sa valeur moyenne dans e ` nimporte quel tat, donc en particulier dans le fondamental : e
UV =< 0 | UV |0 >
= < 0 |T (U V )|0 > Enn, il est clair, daprs la dnition du produit normal, que e e < 0 |N ( UV W XY Z )|0 >= 0 sauf si tous les oprateurs appartiennent a une contraction. Ainsi, e ` < 0 |T (U V W )|0 > = (1)P1 < 0 |T (U V )|0 >< 0 |T (W X)|0 >
Par ailleurs, on vrie aisment que tout reste vrai si les U V sont la e e somme dun oprateur qui dtruit le fondamental et dun oprateur dont lade e e joint dtruit le fondamental, donc entre autre pour e (x) = (+) (x) + () (x) 1 1 = eikx ak + V k occ V
eikx ak
k vide
e e Consquences : les termes qui apparaissent au numrateur et au dnominae teur de la fonction de Green sont des produits de contractions du genre : < 0 |T [(x1 , t1 )+ (x2 , t2 )]|0 >
= iG0 (x1 , t1 , x2 , t2 )
C.2.4
Revenons au dveloppement de G en puissances de linteraction. Pour simplie er les notations, introduisons des coordonnes dans lespace-temps : (x, t) x. e Le potentiel est instantan, et on crit : U (1 , x2 ) = V (x1 , x2 )(t1 , t2 ). Pour e e x 175
simplier, on laisse tomber les tildes (il ne devrait pas y avoir de confusion). Le numrateur dans lexpression e G(x, y) = i s crit au premier ordre e iG, (x, y) = iG0 (x, y) , + (i)
, ,,
< 0 |T [(x)+ (y)S (+, )]|0 > < 0 |S (+, )|0 >
1 2
d4 x1 d4 x1 U (x1 , x1 ), ,,
< 0 |T [+ (x1 )+ (x1 ) (x1 ) (x1 ) (x)+ (y)]|0 > + Utilisons le thor`me de Wick pour regrouper le terme du premier ordre. Il y a e e 6 termes :
(1)
iG, (x, y)
i 2
d4 x1 d4 x1 U (x, x1 ), ,,
, ,, (0) (0)
iG, (x, y)[(A) + (B)] + iG, (x, x1 )[(C) + (D)] + iG(0) (x, x1 )[(E) + (F )] ,
avec (A) = iG0 , (x1 , x1 )iG0 , (x1 , x1 ) (B) = iG0 (x1 , x1 )iG0 (x1 , x1 ) , , (C) = iG0 (x , x )iG0 (x , y) 1 1 , , 1 (D) = iG0 , (x1 , y)iG0 , (x1 , x1 ) (E) = iG0 (x , x1 )iG0 (x1 , y) , 1 , (F ) = iG0 , (x1 , y)iG0 , (x1 , x1 )
On peut associer un diagramme a chaque terme. La fonction de Green sans ` interaction est reprsente par une `che allant du second argument au premier : e e e G0 (x, y) = ,
x
U, ,, (x1 , x1 ) = do` : u
176
x1
x1 y
x1
x1
(A)
(B)
x1 (C) x1 x1
x1 (D) y y
x1 x1 (E) x1 (F) y y x1
: vertex
Remarque : G0 (x1 , x1 ) G0 (x1 , t1 |x1 , t1 ) est ambige. Ces termes viennent du dveu e 177
loppement de linteraction, dans laquelle + est toujours a gauche de . ` On choisit donc iG0 (x, x) , =
t t+
Il y a deux types de diagrammes : connexes : (C), (D), (E) et (F) non connexes : (A), (B) Thor`me des diagrammes connexes : e e Considrons un terme dordre n correspondant a un diagramme non connexe. e ` Sa contribution peut se factoriser : (i)n n! dt1 dtm < 0 |T [V (t1 ) V (tm )(x)+ (y)]|0 >con dtm+1 dtn < 0 |T [V (tm+1 ) V (tn )]|0 >
La contribution de tous ces diagrammes scrit donc e (i)m m! dt1 dtm < 0 |T [V (t1 ) V (tm )(x)+ (y)]|0 >con (i)nm (n m)! dtm+1 dtn < 0 |T [V (tm+1 ) V (tn )]|0 >
Regroupons dsormais tous les termes contenant un diagramme connexe e donn. Ils donnent une contribution e (i)m m! dt1 dtm < 0 |T [V (t1 ) V (tm )(x)+ (y)]|0 >con 1i ++ +] Or, la partie entre crochet est exactement gale a < 0 |S (, +)|0 >, e ` cest-`-dire au dnominateur de la fonction de Green. a e Ce facteur se simplie et on a donc iG(x, y) = (i)m m! m=0
+
dt1 dtm
Remarque : en se dbarassant du dnominateur, on sest aussi dbarass de e e e e la phase qui diverge lorsque 0. On peut donc dsormais prendre la limite e 0 directement dans lexpression de la perturbation. Finalement, la mme contribution est obtenue si on permute les V (ti ) (le e signe ne change pas car V (ti ) a un nombre pair de fermions). Donc chaque terme va appara m! fois. tre
+
iG(x, y) =
(i)m
m=0
dt1 dtm
< 0 |T [V (t1 ) V (tm (x)+ (y))]|0 >con.dif f. (C) (E) et (D) (F) :
1 e Largument qui permet de se dbarasser du facteur m! en considrant les diae grammes qui ne dirent que par une permutation des termes dinteraction nexe plique pas cette quivalence et la faon de se dbarasser dun des diagrammes. e c e Par contre, largument est que chaque ligne dinteraction va gnrer deux termes e e correspondant a lchange x x . ` e
Ces deux termes peuvent tre regroups en un seul terme en considrant e e e 1 linteraction symtrise U (x, x ) = 2 [U (x, x ) + U (x , x)]. e e Mais comme U (x, x ) est symtrique, U (x, x ) = U (x, x ). On peut donc ne e 1 considrer quun diagramme en prenant U (x, x ) et non 2 U (x, x ) pour le terme e dinteraction. R`gles de construction (terme dordre n) : e 1) Former tous les diagrammes topologiquement dirents ayant 2n vertex e et 2 points externes. 2) A chaque ligne droite, associer G0 (x, x ) , 3) A chaque ligne ondule, associer V (x, x ). e 4) Intgrer sur toutes les coordonnes de vertex et sommer sur les spins. e e 5) Multiplier par (i)(i)n i2n+1 = in 6) Multiplier par (1)F , o` F est le nombre de boucles fermes dans le diau e gramme (voir lexemple du terme dordre 1).
179
(i)
(ii)
Transforme de Fourier : e Lexpression de la fonction de Green est plus simple en transforme de Foue rier. Posons k = (k, ), kx = k x t. On a G, (x, y) = 1 (2)4 d4 keik(xy) G, (k)
Si lon suppose que V (x, x ) ne dpend que de x x , on peut poser : e V (x, x ) , = (ne dpend pas de ). e Revenons au calcul au premier ordre, et considrons la contribution du diae 180 1 (2)4 d3 keikx V (x) ,
gramme (C) : G, (x, y) = i = i d4 x1 d4 x1 G0 (x, x1 )G0 (x1 , x1 )G0 (x1 , y)U (x1 , x1 ) d 4 x1 d 4 x1 1 (2)16 d4 k d4 p d4 p1 d4 q G0 (k)U (q) G0 (p)G0 (p1 )
eik(xx1 ) eiq(x1 x1 ) eip(x1 x1 ) eip1 (x1 y) Les intgrales sur x1 et x1 imposent e d4 x1 d4 x1 eik(xx1 ) eiq(x1 x1 ) eip(x1 x1 ) eip1 (x1 y) = (2)8 (k q p)(q + p p1 )eikx ep1 y d o` u G (x, y) = i Or, G (k1 ) = i (2)4 d(x y)eik1 (xy) G (x y) d4 pU (k p) G0 (k)G0 (p)G0 (k) 1 (2)8 d4 keik(xy) d4 pU (k p) G0 (k)G0 (p)G0 (+k)
G (k) =
kp
Cette procdure ce gnralise aisment a tous les diagrammes. Les r`gles e e e e ` e sont les suivantes : 1) Tracer tous les diagrammes connexes topologiquement dirents. e 2) Partir de k, arriver a k, et conserver lnergie et limpulsion de chaque ` e vertex.
181
4) Chaque ligne ondule correspond a V (q) . e ` 5) Sommer sur les spins. 6) Intgrer sur les impulsions-nergie internes. e e 7) Multiplier par in (2)4n (1)F , o` F est le nombre de boucles de fermions u formes. e 8) Toutes les lignes qui forment une boucle ou qui sont relies aux extrmits e e e i (0) + dune mme ligne ondule correspondent a e G (k, ), et 0 a la n du e e ` ` calcul.
C.2.5
Comme tous les diagrammes intervenant dans G(k, ) commencent et nissent par G0 (k, ), sauf le terme dordre 0, on appelle noyau un diagramme priv de la premi`re et de la derni`re ligne fermionique. On peut crire e e e e G = G 0 + G0 noyaux G0
Considrons maintenant les noyaux irrductibles, cest-`-dire les noyaux e e a qui ne peuvent tre spars en deux en coupant une seule ligne fermionique. e e e
Irreductible
Reductible
Dnition : La self nergie (k, ) est la somme de tous les noyaux irrduce e e tibles. Lquation G = G0 + G0 G est appele : Equation de Dyson. e e On peut aussi crire : e G= G0 1 G0 182
Si on calcule a un certain ordre, on gn`re des termes a tous les ordres ` e e ` dans G. Cest souvent une mthode plus fructueuse que de calculer G au e mme ordre. e Si on remplace G0 par
1 k +ik ,
G=
C.2.6
Applications
1 2V
kk , ,q=0
+ Vq c + k+q, ck q, ck , ck, e2 r
o` Vq = u
G (k, ) =
+ ik
De plus, linteraction coulombienne scrit : e V (q) = V (q) aux extrmits dune ligne dinteraction, les spins sont les mmes. e e e Remarque 2 : Y a-t-il un petit param`tre ? Oui ! e Dans quelle limite peut-on esprer que lnergie potentielle soit une petite e e correction ? Soit n0 = dnit rS par e
1 v0
la distance moyenne entre les lectrons est rs a0 (rs est sans dimension). e
0 forte densite 1 metaux reels
2 kF 2m
10
20 rs cristal de Wigner
que lnergie potentielle est dordre e (voir chapitre 3). Ainsi, Ec >> Ep dans la limite rs 0, i.e. dans la limite des hautes densits. On fait donc essentiele lement un dveloppement en rs . e On va calculer les premi`res contributions a la self-nergie. e ` e 1er ordre : il y a deux types de diagrammes
k, k, (1a) k, (1b) q=0 =0
rs a0
1 2m ,
soit Ec
1 2 rs ,
alors
et
(1a) (k, ) =
2i 2 4
dkV (0)
d ei
1 k + i sign k
Le facteur 2 est prsent car on somme sur les spins, i.e. sur . e 184
dei
1 k + i sign k
On doit fermer par le haut a cause du facteur de convergence ei . Les ples ` o sont a = k i sign k . ` ei 1 = 2ink k + i sign k dk n = V (0)N (2)3 k
(1a) = 2V (0) (N = 2
dk (2)3 nk
a cause du spin.) `
(1a)
ne contribue pas.
d k V (k k ) dkV (k k )nk
ei k + i sign k
kk
k,
k,
k,
(Pas de somme sur les spins). Au premier ordre, la self-nergie ne dpend donc pas de , et elle est donne e e e par : 4e2 d3 k (1b) (k) = (C.7) nk (2)3 |k k |2 185
Cette intgrale a dj` t calcule au chapitre 3 dans le cadre de lapproxie eaee e mation de Hartree-Fock, et on obtient : (1b) (k) = e2 k + kF e2 kF + ln k k kF k2 k2 F 2 2 (C.8)
Calculer la self-nergie au premier ordre conduit donc a un rsultat quivalent e ` e e au rsultat Hartree-Fock, quon peut crire : e e E(k) = Deuxi`me ordre : e Sur les 10 diagrammes du deuxi`me ordre, seuls 6 ont un noyau irrductible. e e Parmi ceux-l`, les 4 diagrammes a k + (1b) (k) 2m
2 2
(C.9)
dG0 (p, )2
Or cette intgrale vaut 0. Pour sen convaincre, le plus simple est de fermer le e contour du ct o` il ny a pas de ple. oe u o Il ny a donc que 2 diagrammes non nuls, les diagrammes nots (2a) et (2c) e sur la gure suivante :.
(2a)
(2b)
(2c)
Le diagramme (2b), qui est nul a T = 0, nest pas nul a T = 0. ` ` Evaluons les separment. e 186
(2a)
kk, kk+k, + k, k, k, kk, k,
(2a) (k, ) =
1 (2)8
dk d
dk d V (k k )V (k k )
Cette fonction a des ples a p ip et + pp ipp . o ` |p|, |p p | > kF : p p+p > 0, les ples sont tous les deux en dessous. On o ferme par dessus 0. |p|, |p p | < kF : p p+p < 0 0 (Idem). |p| < kF ,|p p | > kF : les ples sont a = p + i et + pp i. On o ` ferme par le haut (1 npp )np 2i p pp + i
|p| > kF ,|p p | < kF : les ples sont a = p i et + pp + i. On ferme o ` par le bas (1 np )npp 2i p pp i
Remarque : On peut fermer le contour par le ct quon veut. Le rsultat est oe e le mme. e
(2a) (k, ) =
1 (2)8
dk
dk V (k k )V (k k ) (1 nk
k +k )nk k +k + i
d G0 (k , ) (1 nk )nk
k +k k +k
2i Intgrale sur : e
+ k k
+ k k
187
Pour le premier terme, le ple du facteur en (1 n)n est a = + k o ` + i k +k il vaut mieux fermer par le bas (ple = k i) o (1 nk k +k )nk (1 nk ) k + k k k +k + i
(2i)2 k
Pour le deuxi`me terme, le ple du facteur en (1 n)n est a k = + k e o ` i k +k il vaut mieux fermer par le haut (ple = k + i) o (1 nk )nk
k + k nk k +k
(2i)2
k + k k
(2a) (k, ) =
dk (2)3 (1 nk
dk V (k k )V (k k ) (2)3
k +k )nk
k + k k
(1 nk )
k +k
+ i
k + k k
(1 nk )nk
k + k nk k +k
(2c)
kk ,
k,
k, kk
k, k,
k,
(2c)
2 (2)8
dk dk V (k )2
d d G0 (k k , )G0 (k , )G0 (k k , )
La bulle du graphe sappelle linsertion de polarisation. P (1) (k , ) = = 2i (2)4 2 (2)3 d dk G0 (k , )G0 (k k , ) dk + k k 188 (1 nk
k
)nk
k
+ i
+ k k
(1 nk )nk
k k
(2c)
i (2)4
1 k 4
d k V ( k )2
d G0 (k k , )P (1) (k , )
Probl`me : V (k )2 e
lintgrale diverge. e
Probl`me de la divergence : e Pour aller plus loin, il faut rchir ! e e 1) Ordre dun diagramme : k kF q, q sans dimension 1er ordre :
e 2`me ordre : e 3`me ordre : d3 k d k2 d3 k k2
kF
1 rs
dd d3 k k 2 ( )
1,
2 ( kF )
d3 k1 d3 k2 d3 k3 d1 d2 d3 2 2 2 5 k1 k2 k3
1 kF rs
n2 ordre n : rs
On fait bien un dveloppement en rs . e 2) A chaque ordre, il y a un diagramme qui diverge plus que les autres.
q
q
e 2`me ordre :
d q q4
d3 q q2
: ni
q q q
q p
e 3`me ordre :
rs
d3 q q6
rs
d3 q q4
q q q q
q
q p
`me e
ordre :
2 rs
d3 q q8
2 rs
d3 q q6
Solution : On somme les diagrammes les plus divergents a chaque ordre, donc ` la srie : e 189
+ ...
i (2)4
(2c)
dk V (k )n+1 i (2)4
d G0 (k k , )P (1) (k , )n d G0 (k k , )
2
tot
d k V (k )
V (k )P (1) (k , ) + V (k )P (1) (k , )
tot
(2c)
i (2)4
d k V (k )
d G0 (k k , )
V (k )P (1) (k , ) 1 V (k )P (1) (k , )
La divergence due au facteur V (k )2 a disparu. Si on dnit e V (q)P (1) (q, ) 1 1 =1+ = 1 V (q)P (1) (q, ) 1 Vq P (1) (q, ) RPA (q, ) on peut nalement regrouper le terme du premier ordre (1b) et lensemble des (2c) e termes de tot pour obtenir lapproximation dite RPA de la self-nergie :
tot + (1b) =
(2c)
i (2)4
d k V (k )
G 0 (k k , )
RPA (k
, )
Lien avec la fonction dilectrique : e La fonction dilectrique est relie a la susceptibilit gnralise q ,q () e e ` e e e e par la relation : 1 = 1 + V (q)q ,q (). (C.10) (q, ) Or, q ,q () sobtient a partir de la susceptibilit chronologique en rem` e plaant i par +i, et la susceptibilit chronologique est dnie par c e e
+
q ,q () =
eit dt
Dans cette expression, | > est le fondamental exact, et on doit inclure le produit < | > si ce fondamental nest pas normalis. e
190
Calcul en perturbations : Lalgorithme de calcul dvelopp pour les fonctions de Green se transpose e e intgralement au calcul en perturbation de cette fonction. La premi`re tape, le e e e thor`me de Gell Mann et Low, ne dpend pas des oprateurs qui apparaissent e e e e dans le produit chronologique. Par ailleurs, (r, t) =
k1 ,k2 ,
(q, t)
= = = 1 V 1 V
ei(k1 k2 q)r dr
k1 ,k2 ,
k1 ,k2 ,
c+ , ck2 , V (k1 k2 q) k
1
c+
k,
c k+q, k,
Le thor`me de Gell Mann et Low nous ram`ne donc directement au calcul e e e de valeurs moyennes de produit doprateurs cration et annihilation dans le e e fondamental non perturb. On peut donc utiliser le thor`me de Wick pour vae e e e luer ces fonctions de corrlations, et le thor`me des diagrammes connexes, qui e e e permet de se dbarasser du dnominateur et de ne garder que les diagrammes e e connexes dirents, reste valable. e Terme dordre 0 : Comme q q = c+
k,k
c c+ k+q, k, k +q,
ck ,
le calcul de la valeur moyenne dans le fondamental non perturb ne contient, e pour q non nul, que le produit de convolution G0 (k + q)G0 (k)
k,
P (1) (q, ) =
2i (2)4
do` vient ce facteur ? u
dq G0 (q , )G0 (q q, )
. Chaque facteur est associ a une intgration sur une frquence e` e e et une impulsion interne. Donc le terme dordre 1 dans
1 (q,)
scrit e
1 = 1 + Vq P (1) (q, ) (q, ) Termes dordre suprieur : e Ils sobtiennent en incluant des lignes dinteraction de toutes les facons topologiquement direntes. Par exemple, les termes du premier ordre sont : e
+ + + . . .
Consquences physiques : e Les consquences physiques sur la rponse dilectrique du gaz dlectrons e e e e (crantage, plasmons) ont dj` t discutes dans le chapitre sur les interactions e eae e e lectron-lectron. Lapproche en termes de fonctions de Green permet de dise e cuter leet des interactions sur les fonctions spectrales, qui sont directement mesurables en photomission. e Fonctions spectrales :
192
A la n dun calcul, on trouve un rsultat pour la self-nergie quon peut e e dcomposer comme suit : e (k, ) = Re(k, ) + iIm(k, ) La fonction de Green est donne par e 1 k (k, ) + ik
G(k, ) =
+ Im(k, )
k Re(k, )
+ Im(k, )
>:
A(k, ) =
1 Im(k, )
k Re(k, )
+ Im(k, )
Comme A et B sont toujours positifs, cela impose Im(k, ) > 0 si < Im(k, ) < 0 si > = 0 par continuit e
Considrons les solutions de lquation e e k Re(k, ) = 0 aussi appele quation de Dyson. Pour un vecteur donde donn, elle peut avoir e e e plusieurs solutions. Soit Ek une solution, et supposons Ek < . Etudions le comportement de B(k, ). Pour Ek , on peut crire e Re(k, ) ( Ek )
k Re(k, ) = 1 Posons Zk =
=Ek
1 1
Re(k, ) =Ek
193
On a B(k, ) 1 Im(k, ) Z 1 Ek
k 2 2
+ Im(k, )
Si Im(k, Ek ) est petit, cette fonction aura un maximum bien marqu autour de e = Ek . Le poids de cette structure peut se calculer en valuant lintgrale e e 1
+
Im(k, ) Z 1 Ek
k 2
+ Im(k, )
2 d
Im(k, Ek ) Z 1 x
k 2
+ Im(k, Ek )
2 dx =
+ +
Arctg
= Zk Or,
+
A(k, ) + B(k, ) d
2
=
f
= =
0 Zk 1
Au voisinage dune solution de lquation de Dyson, et si la partie imaginaire e de la self-nergie est susament petite, la fonction spectrale a donc lallure e suivante :
B(k, )
k < kF
Ek
194
sa largeur est Im(k, Ek ) Zk et son poids est Zk . Or quand Ek , on sait que Im(k, Ek ) 0 car Im(k, ) = 0. On aura toujours une structure. Pour que cette structure soit bien dnie, i.e. quon e puisse suivre sa dispersion, il faut que la largeur du pic soit plus petite que sa distance a . Autrement dit, il faut que Im(k, Ek ) << Ek quand Ek
(C.11)
n(k) =
B(k, )d
< | >
(C.12) (ATTENTION : ne pas confondre avec nk = (kF k) n0 (k) sans interaction). Ek < : B(k, ) Blorentz + Breg (k, ) avec Im(k, ) Z 1 Ek
k 2
Blorentz =
+ Im(k, )
Quand k kF , Ek et Im(k, Ek ) 0. Blorentz Zk ( Ek ) . Ek > : pas de Lorentzienne dans B. A la traverse de kF , il y a donc un saut de hauteur Z(kF ) (on suppose une e symtrie sphrique) : e e 195
Z(k F )
Z(k F )
Thorie de Landau des liquides de Fermi : e La self-nergie satisfait une relation de type Kramers-Kronig : e 1
+
|Im(k, )| d
1 La condition :
Re(k, ) = 1 +
|Im(k, )| d ( )2
Re(k, )
implique donc que Im(kF , ) = o( ) Comme Im(k, ) est une fonction rguli`re de k, cela implique galement e e e que : Im(k, Ek ) = o(Ek ) Il y a donc un pic dans la fonction spectrale. La thorie du gaz dlectrons 3D conduit a la condition plus prcise e e ` e Im(kF , ) = O( )2 Landau a construit une description phnomnologique du gaz dlectrons base e e e e sur cette hypoth`se, et il a dmontr que le gaz dlectrons se comporte prae e e e tiquement comme des lectrons libres avec des param`tres renormaliss. Cette e e e thorie sappelle la thorie de Landau. e e 196