Vous êtes sur la page 1sur 21

COMMUN. IN PARTIAL DIFFERENTIAL EQUATIONS, 18(5&6).

1021-1041 (1993)

EQUATION DE SCHRODINGER
AVEC CHAMP ELECTRIQUE PERIODIQUE
ET C H A M P MAGNETIQUE CONSTANT
DANS L'APPROXIMATION
DU TIGHT-BINDING

Franck Daumer
U.R.A..CN R.S. no 758
D.M.I., Universitk d e Nantes
44072 Nantes cedes 03. R a n c e

RESUME
Nous Qtudions le spectre de I'operateur dc Schrodinger avec potentiel pdriodique.
L'approximation consid&r& consiste a supposer que les puits de potentiels sont suffisam-
merrt eloignb. Nous d6montrons I'existence de d(.veloppements d e Rayleigh-Schrodinger
pour les valeurs propres de Floquet non d&g&nkr&es.Nous k ~ u d i o n sensuite lcs effets tun-
nels en donnant le developpement asyniptotlque de la largeur des bandes spectrales. En
presence d'un champ magndtique constant, la reduction de Floquet ne fonctionne plus.
Nous montrons que I'Ctude est Qquivalente icelle d'un operateur pseudo-differentiel d e
type Harper.

L'objet de cet article est d'etudier les niveaux dli.nergie de certains cristaux en ioni-
sation. Ce travail est extrait d'une t h h e [2] faite sous la direction de B. Helffer.
Ce dernier, en collaboration avec J . Sjostrand, a dCjA i.tudiC ce probkme semi clas-
siquement. Les techniques ClaborCes par ces deux auteurs s'adaptent bien pour l'approxi-
mation du tight-binding. La diffkrence essentielle Ctant d a m l'estimation de l'effet tunnel
oh les constructions B.K.W. sont remp1aci.e~par I'Ctude du comportement & I'infini des
6tats propres d'un atome isoli..
On considkre l'hamiltonien
(1.1) HR = -A + VR ssu r 2 ( R n ) . = V ( I - R-j), R >0
7Er
ob V est un potentiel de classc CCotel que

Copyright O 1993 by Marcel Dekker, Inc.


1022 DAUMER

Lorsque R tend Yers l'infini (cas d'une ionisation). le potentiel ' I j c est concentre p ~ t sdeb
points R? du cristal r~
:= Rr.Kous allons donc cornparer le spectre de H R avec celui de
l'opdrat eur

(1.3) H = -A + I' sur L'(R").


Plus prCcis61nent. nous prouverons que le spectre < 0 de H R est un spectre de bande
concentri.es autour des valeurs propres < 0 de H. Nous analyserons ensuite l'effet t u n ~ l e l
en estimant la taille des bandes spectrales de H R .
En presence d'un champ magnktique constant non nu], la thCorie de Floquet ne
r
s'applique plus. E n dimension n = 2 et pour = Z2, nous expliquerons comment l'dtude
spectrale se ramene a celle d'un optrateur pseudo-differentiel de type "Harper" perturbe
qui entre dans le cadre de la thkorie diive1oppi.e par B. Helffer et J. Sjostrand cf. [3]. [5],
[GI,... et 1121.

r r
On suppose que est un rPseau de Rn (i.e. admet une base sur Z qui est aussi une
base de R n ) .Lorsque le champ magnktique est nu], le spectre < 0 de H R est un spectre
de bande decrit par le theoreme suivant
THEOREME 2.1
I - Soit I un intervalle compact de (-co,0) tel que

alors il existe RI > 0 tel que

2- Soit I un intervalle compact de ( - ~ ~ 0tel) que

X Ctant une valeur propre de multiplicit6 m 2 1. Alors il existe Rr > 0 tel quc

ktant un intervalle compact dont les extrehite's tendent vers X quand R


tend vers 1'infini.

L'Btude de l'effet tunnel de H R consiste & 6tudier l'amplitude des bandes spectrales
I,,Rquand R tend vers l'infini. Cela fait I'objet du
THEOREME 2.2- Soit X < 0 une valeurpropre simple de H, (m = 1). Alors l'arnplitude
de la bande spectrale ZR := admet un e'quivalent asymptotique, pour R tendant vers
I'infini, du type

avec Co 2 0 et
EQUATION DE SCHRODINGER 1023

Si de plus. X est la plus petite valeur propre < 0 de H , alors Co > 0.


REMARQUE 2.3-L'interprktation gkomktrique de S est donnke par la formule suivante

1
S = lini -di;,l(O. T n \ { 0 ) ) ,
R-+oo R
ou d v I x designe la "distance" dlAgmon definie par

l'inf Ctant pris sur tous les chemins 7 qui joignent z B y. I1 s'agit d'une mCtrique dCgCnkr6e
qui est nulle sur toutes les composantes connexes de 1'-'(1 - c c . A[). Pour plus de dktails.
on pourra consulter [I]. 14) et [ 5 ] .
Pour n = 2 et I' = Z2, en prCsence d'un champ magnktique constant B dx A dy.
I'opdrateur de Schrodinger est donni: par

oil A = +
P dz Q dy dCsigne le potentiel rnagnCtique. I1 verifie la relation B = d i l . Le
spectre de H! ne depend pas du choix de ..I (puisque R" est simplernent connexe). On
peut alors choisir -4 de la faqm suivante

On a alors le
THEOREME 2.4-Soit Z un intervalle compact de (-m, 0).
I - Sous I'hypothese (2.1), il existe R I > 0 et BI > 0 tels que

2- Sous l'hlypothese (2.3) et si X est simple, alors il existe RI > 0 et BI > 0 tels que

oli h = BR2 est le flux du champ magnktique d travers une cellule 616mentaire du
reseau I'R = R Z 2 et opr(p;) est un opirateur pseudo diffkrentiel h-quantifik (cf D.
Robert [I 61) de svmbole de M'eyl p;. Si de plus, V respecte la syrnetrie du cristal

alors il existe E > 0 tel que pour tout R 2 R, et pour tout (I,{) E T*C tels que
+
I Zm x I 1 Im ( 15 E R ,on ait
1024 DAUMER

Dans le cas ori X est la plus petite ~.aleurpropre < 0 de H. alors Co # 0.


Ce rtsultat rkduit l'etude spectrale de H: & celle d'un operat,eur pseudo-diffi.rentiel de
type "Harper" perturb&qui a etC ktudik par B. Helffer et J. Sjostrand (cf.131. [j], ... ct[12]).
11s ont ~ n o n t r een puticulier que, clans le cas ou le flus 1, est rationnel. le spectre de
. ~
est un spectre de bandes dont la structuw est like au developpement en fractions
continues de h . Dans le cas oil le flus est irrationnel, ce spectre est un ensemble d e Cantor
(c'est la conjecture des dis hIartini).
3-REDUCTION DE FLOQUET
L'operateur de Schrodinger periodique avec champ magnetique nu1 se rtduit classique-
ment, cf. Reed-Simon 1171, grhce h la theorie de Floquet.
On procede de la fason suivante. Pour 7 E T, on consid& les translations ddfinies
sur L2(R") par

Ces translations cornrnutent entre elles et avec I'opCrateur de Schrodinger H R .Elles son[
simultanCment diagonalisables grhce a l'isomorphisme unitaire

dtfini pour d E S ( R n )par

oh r> dtsigne le rCseau dual de r R = Rr

X R , dtsigne
~ l'espace de Hilbert des fonctions 9 E L?,,(Rn) qui vtrifient la condition de
Floquet

Si 4 E ER,B, --
d o r s I 4 (E XR,O L 2 ( R " / r ~ ce
) , qui permet de dCfinir la norme hilbertienne
sur ?in,@
par

L a norme de 1-I est alors donnke par


EQUATION DE S C H R ~ D I N G E R

On a alors

oil HR,o reprCsente l'opkrateur de Schriidingar -A + IfR de donmine H t , ( R " ) n 'HR,o.On


n alors.cf Reed-Simon [17],

Le problkme consiste alors & analyser le spectre cle HR,@Plus preciskment. lorsque R tend
vers l'infini, o n va compares le spectre de HR,@avec celui de H. La technique dCveloppke
par B. Helffer et J . Sjostrand. en ce qui concerne l'approxirnation semi-classique, est bashe
sur la localisation des fonctions propres de HR,e :
LEMME 3.1- Solt I un ~ntervallecompact de (-oc.0) I1 exlste une constante C, > 0,
Independante de R. telle quepour tout 0 6 Rn/rk et pour toutefonctlon propre notmahs6e
I l R , b de HR,o associee $ ulle xaleur propre X R 0 E I , on alt

a vec

(3.12) z ) ( x - Ry
~ ~ (= inf
YET
I

DQmonstration-Grbce a la formule de Green, on a l'estimation d'dnergie, (cf. S. Agmon


[l], B. Simon [IS), Helffer-Sjostrand 14) th. 3.1.1 ou (5) th. 1.1)

Soit U R l'ouvert de R n / r ddfini


~ par

o t ~C > 0 est choisi assez grand pour que


1
Vx 6UR, VR(X)> -
C2
+ sup I.
Cette condition entraine que sur Rn/rn\ U R , V R - A R , ~ - I V$R I2 / C 2 > 0. En outre,
sur U R , e * R I C est born& (3.11) est alors une consdquence de l'estimation d'bnergie.
DEMONSTRATION DU THEOREME 2.1
1-Sous l1hYpoth&se(2.1), supposons par I'absurde, cf (3.10), que pour des valeurs arbi-
trairement grandes de R, il existe 0 E Rn/rL tel que
1026 DAUMER

HR,8 &ant a ~dsolvantecompacte. HR,8 adrnet une valeur plopre X R , $ E I. Soit U E 'Hlz,s
R , ~
une fonction propre nornia11si.e :

(3.13) p = inf
ler
/ -,/
,*o
Soit 1 G C T ( B ( 0 .5 ) ) ~ a l a n r1 au voisinage de 0. On pose alors

D'aprks (1.2) et (3.11). 't'R.8 est un quasi-mode de H :

On en ddduit: en faisant tendre R vers l'infini, que H posskde du spectre dans I, ce qui
contredit I'hgpothkse (3.1j.
2-Sous l'hypothkse (2.3). D'aprks (3.10), il s'agit de montrer que, pour R assez grand. le
spectre dans I de HR,6 est constitue de nl raleurs propres X i , ~ ( 0 ) 1. 5 i m. Quitte a
les renumkroter, il est classique, grace B un thi.orkrne de perturbation, que les applications
X,,R sont continues sur Rn/rk.Les bandes seront alors les images de ces applications.
Soit ( u , ) ~ E~ H~2 (~R n, ) ' " une base orthonorn~Bede K e r ( H - A). D'aprks S. Ag-
mon [I], ou en procddant cornme pour le lernme 3.1, les fonctions u ; sont & ddcroissance
exponentielle

11 est clair que u , , ~ , Es H:,,(Rn) n X R , @ En


. outre, d'aprks (3.14),

(3.16) ( H R , B- X)U,,R,B= O(R-") dans ' H R ,si~ R 4 co.

Soit ER,e l'espace engendri! par les fonctions u , , ~ , e 1


, <
z 5 m, et soit FR,# l'espace
spectral de Hn,e associk & l'intervalle I. D'aprks (3.15), (3.16) et puisque d'aprks ( 2 . 2 ) ,
>
d i s t ( S p H R , ~R, - I ) 6 > 0 pour R assez grand, on a, cf. Helffer-Sjostrand [4] prop.
4.1.1. ou [5] prop. 2.5,

D'aprBs Helffer-Sjostrand [4] ou [5]Lemma 1.3, on en deduit que, si R est assez grand,
m = dim ER.8 5 p := dznz FR,8.Soit ( v , , R , 8 ) 1 5 z sune
p base orthonormee de F R , composke
~
EQUATION DE SCHRODINGER 1027

de fonctions pmprcs de Hn.8 (une telle base esiste puisque. d a m I. le spectre de H R , est
~
discret). On a alors, pour 1 5 i p.<

On pose, pour 1 < i 5 p.


z ~ . , ,=
~ . l~ Ru , . ~E. H?RY
~
D'aprhs (1.2) et (3.11), on a alors. pour 1 < t . 7 < p,

On en dkduit alors. cornme prCcCdemment, que

oil C = I i e r ( H - A) et o t GR,o est le sous-espace de L Z ( R n )engendrC par les fonctions


< <
w , , ~ , e1. i p. On e n dCduit alors, grdce i Helffer-Sjostrand [4] ou [5] lemma 1.3: que
<
p = dim 6R,B m = dim I . HRbeposskde donc exactement m valeurs propres dans I . En
prenant I arbitrairement petit, on montre que ces valeurs propres tendent vers X quand R
tend vers l'infini.
4-FORMULE DE HERRING
Sous I'hypothkse (2.3) e t dans le cas oil X est simple, nous allons estirner l'amplitude de
la bande spectrale I n . Cela consiste a Ctudier le comporternent, quand R tend vers l'infini,
de la vdeur propre XR(8) en fonction de 8. Sauf pour des potentiels V dkcroissance
rapide, l'opkrateur H = -A+V n'est pas une bonne rCf6rence. On considkre l'opkrateur de
Schrodinger H R = -A + V R de dornaine H 2 flHb(OR), avec R R = B ( 0 ,pl R ) , $ < pl < p.
En prockdant comrne a u t h k o r b e 2.1, on rnontre que

oh XR est une valeur propre simple qui tend vers X quand R tend vers l'infini. Soit
6~ E H z i l H i ( R R ) m e fonction propre normaliske associCe a X R . En prockdant comme au
lemme 3.1, on rnontre que pour tout 0 < 6 <I X I _ ' / ' , e61+liiRest une famille bornke dans
H1(RR). Grsce B un rksultat de rCgularit,C pour H R , cela reste vrai dans tous ies espaces
de Sobolev H 3 ( R R ) .O n e n dCduit alors, grdce & un thCor&med'injection, que

Soit 2 E C r ( R , ) valant 1 au voisinage de la boule centrke en 0 et de rayon f. On pose


) 2 ( $ ) E C F ( Q R ) et
~ R ( x=

On a alors la formule d e Herring suivante


1028 DAUMER

PROPOSITION 4.1-Si R cst assez grand. on n pour tout 0 E Rn/rR

ou Q n est la cellule fondamentale de r Rcentr.de en 0 et 77 est la n o ~ m a l eextkrieure.


DCmonstration-On a

Comme ARIa est une valeur propre simple iso1i.e de flR,@:


on en dCduit alors. d'apr&s
Helffer-Sjijstrand [4] prop. 4.1.1 ou (5)prop. 2.5, que

et donc, grace au thCoreme de pythagore

' ~ ' e s t i m a t i o n e s t ullilorme par rapport B 8


EQUATION DE SCHRODINGER 1029

oil Q K est une ccllule fondamentale de r ~Pour


. fixer les idkcs. on la supposcra centrke en
0. D'apres ( 4 . l j . on a

alee p < p2 < 3pl En outre. si a = 0. en examinant le support de [A, < R ] C R ( N - Ra). on
montre qur
Vd E r In(O.8) = o ( c - ~ ~ R - " )
On en dClduit alors. grfice B (4.G),que

avec (puisque S R = 1 au voisinage de B ( 0 :$1)

I R ( ~=) -IR(?,O) = -
Ln [ A ,~ R ] ~ R-( R
xY) CR(X) dx.

En appliquant la formule de Green. on a, en examinant le support de V P R ( x - R y )

On en dCduit alors la formule (4.4) en appliquant B nouveau la formule de Green (il ne


reste que le terme de bord puisque V { B R ( X- R ~ ) V B R ( X
-)C R ( X ) V C R (-
5-COMPORTEMENT ASYMPTOTIQUE DE LA FONCTION P R O P R E i i ~
X R y ) } = 0)..
Pour obtenir le comportement asymptotique de I R ( y ) , il est nkcessaire de connaitre
celui de i i sur
~ aQR. La technique utiliske est essentiellement baske sur 11inkgalit6de Kato
et sur le principe du maximum. Dans cette mkthode, le bord de S Z R pose des problhmes.
I1 semble plus simple d'utiliser l'opkrateur non born6 sur L 2 ( R n )dkfini par

ou 2~ est dkfinie comme au paragraphe 4. PR est alors un opkrateur auto-adjoint de


domaine H 2 ( R n ) .
P R O P O S I T I O N 5.1-11 existe un voisinage compact I de X d a m (-co,O) et j1 exjste
R I > 0 tels que

1-1 R Pt ant une valeur propre simple qui tend vers X quand R tend vers I'infini.
D b m o n s t r a t i o n - C e resultat se dkmontre comme le thCor&rne 2.1. Pour cela, on a juste
besoin d'un rksultat de localisation des fonctions propres de PR associees 2 des valeurs
propres dans I. En prockdant comme au lemme 3.1, on montre que si V R est une fonction
propre normaliske de P R associke & une valeur propre p~ E I, alors il existe une constante
C I > 0 telle que
DAUMER

Cette estimation permet alors de cornparer PR et H ei de montrer (5.2). m

P R O P O S I T I O N 5.2-Soit O R une fonction propre normitlis& de Pf2associCe a Ia valeur


propre p ~ .4lors.
. rpitte $ changer v R el1 - C R . 011 a. pour R a.ssez grand.

D Q m o n s t r a t i o n - G r k e a un thCoreme de i P g u l a ~ t epour l'operateur PR. on &end l'esti-


matiori (5.3) dans tous les espaces de Sobolev. On en dbduit alors, grgce a un thbortme
d'injection de Sobolev, que

Grdce a un thtortme de regularitt pour le laplacien. cette estimation est valable dans tous
les espaces de Sobolev H3(Rn).Cela dkmontre (5.4) grlce un th6orkme d'injection.
LEMME 5.3

Si u est une fonction propre normaliske associCe a la valeur propre X de H , alors, quitte B
changer V R en - v ~ ,on a

(5.) Vs 2 0. U R - LI = O(R-") dam HS(R")


V@ € N n , VX E R n ,
au
1 =(x) 15 C a ( l + 1 ~ ~ - ( ~ ~ - ~ ) J ~ ~ - I ~ I ' ~ ~ I * I
(5.8)

(5.9) V a E N", vz G R ~ ,1 15c ~ ( I +1 x 1)-(n-1)/2e-lfi~1~~~1z1,


ax0
D6monstration-D'aprks (1.2) et (3.14), on a

( P R - X ) U = O(R-O) d a m L~(R")

ce qui dCmontre (5.6) et (5.7). Pour ttablir l'estimation (5.9) (l'estimation (5.8) ttant
analogue), o n procede de la f a ~ o nsuivante.
*Si a = 0. Grhce a 1'inCgalitt de I<ato. on a

(-A + UR - pR) I VR 15 0 dans H-'(Rn), avec GR(r) = inf (,y-RVRj(~w).


uES"-l

Soit f R ( r ) une fonction radiale > 0 qui tend vers 0 & l'infini telle que
EQUATION DE SCHRODINGER

il est classique. grdce a urn thCor&rnesur les Cquations diffkrentielles ordinaires, que

Pour tout E S n - ' , on a

Donc. (en choisissant ro assez grand tel que pour tout r > 1.0, V R ( r )> d'aprils le
principe du maximum. on en dkduit que

ce qui, grLce & (5.10). dkmontre ( 5 . 9 ) pour a = 0.


eSi (5.9) est vraie pour tout I a I ln - 1. Soit a E Nn. tel clue I a I= m . On a

oh w R est une combinaison linkaire de termes de la forme d"(%RifR) a 7 v ~ avecp+l.


, =
ax! 'ax.
1 y /< m - 1. Gr&e B (1.2) et & llhypoth&sede rkcurrence, on a

On a donc, comme pr6cCdemment. grdce a llinCgalitC de Kato

On pose
fR = r ( n - l ) / 2 f R , L R = r(n-l)12hR
{ GR =a f -
~ I,?i R ( t ) - ' ~ R ( s ) ~ R (dss ()i f I
ou a est une constante > 0 telle que

En passant en coordonnkes polaires, on montre que la fonction g~ = r ( " - ' ) I 2 i ~vCrifie


1'6quation

On dkduit donc de (5.12), (5.13), (5.14) et du principe du maximum, que


DAUMER

ce qui demontle (5.9) griice i (5.10) et ( 5 11)


P R O P O S I T I O N 5.4-Pour toute constante cr > 0. pour tout a E Nn,if e x ~ s t eunc
constante C,. > 0 telfe que. pour R assez gland ct x E R n vkrifiant 51 x 15 aR. on
a ~ t

D 6 m o n s t r a t i o n - O n pose dl( = v ~ - u. Grlce a un tllC.or+me d'injection de Sobolev. on


dkduit de (5.7) clue

En outre, on a

(5.17) (-A t-1' - X ) p R = (1' - f R V K + p ~ - X)ufl.


011a donc. d'aprks (I.?), (5.6): (5.9) et grace i 1'ini.galitC de I i a t o

(5.18) (-A + - A) I d R 15+ R := ~ ~ - w ~ - ( n - l ) / ? ~ - I l l ~ ' l / ? r

avec
Un(r) = in€ V ( T ; )
dESn-'

Soit f ( r ) une fonction radiale dhfinie pour I. 2 ro telle que

Puisque U ( T ) = O(r-") a l'infini, avec u > 1, on a classiqueme~lt

(5.19) f ( r ) = ar-("-1)/2e-IN1'2r (1 + o(1)) si I. -+ m, avec a > 0.

En passant en coordonnkes polaires, on vkrifie que O R := r - ( n - 1 ) / 2 6 R est solution de


l'equation

(5.20) (-A + U - X)OR = Q R .


En outre, d1apr&s(5.16), on peut choisir a = O ( R - b ) tel que

(5.21) @ R ( ~ o=
) f(ro) 2 SUP I ~ R ( T - OIW. )
wES"-'

D'aprks le principe d u maximum, on dkduit de (5.18), (5.20) et (5.21) que


EQUATION DE SCHRODINGER

Vr =I n: I> 1.0, I o n i r ) I_< OR(^).


On a donc, d'aprks (5.18) et (5.19).

ce qui. d'aprks (5.6)) dkmontrt. (5.15) pour a = 0. En raisonnant par rkcurrence sur 1 a 1.
on ~nontre.connne a u lemme 5.3. en dCtivant 1'Cquation ( 5 17) que

ce qui demontre (5.15).


COROLLAIRE 5.5Pour tout 7 E r tel que ( -, (=p. on a

C'est une consCquence de ( 4 4 ) , (5.4). ( 5 8), ( 5 9) et (5.15)


6-COhIIPORTEMENT ASYhlPTOTIQUE .A L'ISFINI
DES FOYCTIONS PROPRES DE H = -A V +
Nous nous sommes inspirk des methodes d6veloppkes par h4 b: T . Hoffnlann-Ostenhof et
J. Swetina dans les articles 1131, [ l J ] et [15]. Les hypoth6ses faites par ces trois auteurs
sur la dkcroissance du potentiel I' a l'infini ne sont pas exactement les n8tres. I1 semble
d'ailleurs que sous l'hypothkse (1.2),les dCmonstrations que nous proposons soient plus
simples.
THEOREME 6.1-Sous 1'hypothi.se (1.2). Soit u une fonction propre de H = -A + V
associe'e $ une valeur propre X < 0. Alors, il existe une fonction A(w)de classe C* sur la
sphkre Sn-I telle que

Si de plus u ne s'annule pas, il en va de mime de A.


Cornmencons d'abord par amkliorer l'estimation ( 5 . 8 ) .
L E M M E 6.2-Sous I'hypath&se (1.2) et avec les notations du th4orPrne 6.1: on a

ou L,,j, 1 5 i < j < n, d4signe le champ de vecteurs d6fini p a r


1034 DAUMER

D6nlonstration-0l1stration-Onprocede par recurrence sur I a / + k . Le cas n = 0 et k = 0 est unr


consCquence de (5.8). Supposons que (6.3) soit vraie pour / n I + k < in - 1 et prouvons la
pour / n / + k = ? I , . Puisque les champs &et L,,, commutent avec le laplacien A sur R".
en appliquant I'opCrateur P := &L,, ,,, . . . L,, ,,, Q l'equation (-3. $ 1,. - X ) u = 0.on a

[Ir. Pjtr est une combinaison lineaire de termes de la forme

avec I 3 / + p 5 nc - 1. D'aprbs (1.2) et grace a l'hypothbsc de recurrence, on a alors

En procCdant esactement comme au l e ~ n m e5.3 a partir de ( 5 . l l ) , on en deduit (6.2). 8

D B m o ~ i s t r a t i o nd u thCorhme 6.1-On a

A, = L:, &ant le laplacien sur la spl+re S"-I.On pose

L'Pquation ( 6 . 3 ) s'Ccrit alors

D'aprks (6.2), on a

En outre, on vCrifie que

est une solution particulikre de l'equation (6.4). D'aprks (6.5), cette solution vCrifie

L'Cquation (6.5) s'Pcrit alors


, (
a2 - X ) ( U - U o ) = 0.
dr
EQUATION DE SCHROD~NGER

On la resout en fisant LL E St'-'. I1 esiste une constantc .A(&.) E R tellc que

Comme 6 et ice sont de classe C m . il en \-a de mime de A . ( 6 . 2 ) est alors une cons6quence
de (6.6).
Supposons de plus que 11 ne s'annule pas. par esemple 11 > 0 Soit C une constante
telle que IT(?) 5 Cr-". On a a l o ~ s

Soit f une fonction radiale > 0 definie pour r 2 r,, telle que

D'aprks le principe du maximum. on a pour r > r o ~ ( r w>) f ( r ) .En outre. puisque a > 1,

011 en dkduit alors que A(&*) a > > 0.


D d m o n s t r a t i o n d u t l G o r 8 m e 2.2. On a d'aprks (5.22) et ( 6 . 1 ) , (en appliquant le
thtorkme de la phase stationnaire)

On en dkduit alors ( 2 . 5 ) . Si de plus X est la plus petite valeur propre de H, alors, il est
classique que u ne s'annule pas. D'aprBs le thkorime 6.1: JR(y) < 0, on a donc Co > 0.
7-DEMONSTRATION DU THEOREME 2.4
La premikre partie du thkorbme se prouve comme (2.2). Pour l a seconde partie, on
procede de la f a ~ o nsuivante.
* C o n s t r u c t i o n d ' u n e b a s e d e fonctions d e W a n n i e r
On considere les translations magnktiques d k h i e s sur L 2 ( R 2 )p a r

Ces translations magnktiques commutent avec l'optrateur H: dkfini par (2.8). EUes com-
mutent donc aussi avec le projecteur spectral I l E de L 2 ( R Z )sur l'espace spectral E i de
H! associi. B un petit voisinage compact I de X < 0. Sauf si le flux h = B R 2 de B
B travers une cellule Clementaire du rCseau TR = RZ2 est un multiple entier de 2 x , les
translations magnktiques ne commutent pas. I1 n'est donc pas possible de les diagonaliser
simultan6ment comme au paragraphe 3 dans le cas B = 0. On prockde alors de la f a ~ o n
suivante.
Soit ZL E H'(R') une fonction propre normalisbe de H = - A +
V associke B la valeur
propre simple A. O n pose, pour y E r, u g , , = T;, u et ?z,:. = IIz u g Z y Puisque
. IIg
1036 DAUMER

co~mnuteavec T f , : , on n L,:,-~ = T i , ? z-:,~. C'haque fonction I.,& est localisec prks du


point RS du reseau r R .Cela fait l'objet du
L E M M E 7.1-I1 existe c > 0. X I > 0 et Br > 0 tels que

(7.2) VR 2 RI. V I B I_<B I , I / cf<'-"'> '


L:X.-, IIH;(R~)~ CE:

H i ( R 2 )= {Q E L2(R2) 1-10E L Z ( R 2 ) }etant le domame tle H : munl de sa nolrne


canonlque
D6monstration-D'aprks (3.14), ce resultat est vrai pour r~i,?.
I1 s'agit donc de moil-
trer que pour E > 0 assez petit, I: E L ( L Z ( R 2~. ' ~ ' - ~ 7 H > ); (. R z . ef<'-'?>)) avec des
nornles uniformkment bornees par rapport B 7 E T. ( ( L 2 ( R 2 , e f < ' - R ? ' ) et
H ~ ( R ' e, ' < r - R - f > ) &ant respectivement I'espace des fonctions o telles que ~ ' < ' - ~ ~E> 6
L"R2), respectivement c ' < * - ~ ~Q' E H i ( R 2 ) ) .Puisque IIE cornmute avec TxqT:toutes
ces normes sont egales, il sufFit donc de le prouver pour = 0. Soit C un contour complese
qui entoure I et qui ne rencontre pas le spectre de H:. On a alors

En outre,

On a alors, pour E > 0 assez petit

Par densitk de C ? ( R 2 ) dans Hg(R2,e C T > ) , on ktend l'estimation prkckdente pour toute
fonction 4 E H i ( R 2 ,e<'>). On a donc

Cela termine la demonstration grice Q la reprksentation intkgrale

n i= -
2ix
1
Lcz - H,B,-J d z .

I1 reste alors Q orthonormaliser la famille {vi,.,, 7 )'I B l'aide du ~ r o c k d kde Gram.


On considbre la matrice infinie

L E M M E 7.2-La matrice S i verifie les estimations suivantes


EQUATION DE SCHRODINGER

D61nonstration-L'estinration (7.3) est une cons6quence de (7.2). On vCrifie facilement


que (7.3) entrainc clue S i E C ( f 2 ( r ) ) .Pour ktablir (7.1), il suffit de prouver que

(H: - X ) t r 4 0 quand (R. B) + (+m. 0) dans L'(R').

On en deduit alors. grace & Helffer-Sjostrand [5] prop.2.5, que

u : , ~+ u L ? ( R ~ quand
) (R. B) - (+co.O).

ce qui dCmontre (7.5). =


D'aprhs (7.4). on peut considerer la matrice ( S i ) - ' I 2 := ( a i ( a , ,8)),,oEr. On vkrifie
facilement, gr6ce a (7.3) et (7.4), que

On pose alors

{e:,,, y E r) est une famille orthonormCe de l'espace spectral .&


; En prockdant comme
clans la dkmonstration du thCorhme 2.1, on montre que

4£:,@ ~e:,,) -1 0 quand (R, B) --+ ( f w , 0)


7 ~ r
Si R est assez grand et si B est assez petit, cette distance est alors strictement infbrieure
B 1 ce qui prouve que {e&, y E r) est une base hilbertienne de I [ .Cette base vkrifie
les m6mes propriCtCs qu'une base de fonctions de Wannier standart. Cela fait l'objet du
LEMME 7.3-Les fonctions de IYannier e;,, vkrifient

Ddmonstration-(7.9) est une consCquence de (7.3) et (7.6). Pour Ctablir (7.10), on con-
sidere les translations magnktiques r:,, € L(e2(r))dkfinies par
DAUMER

Puisque I,:,, = T;,, L . : , ~ . les translations magn4tiques r;,; commutent avcc S: et


( s : ) - ' / ~ . On en dCduit aloss (7.10). m

e C a l c u l d e la m a t r i c e d e H ; / I ; d a m l a b a s e { t g , , . ;E T).
L a matrice de H : / L ~ est donnee par

(< ..eg ,i> ~ 2 c n . , ) 3E1.


,

D'apri.5 (7.10) et puisque H: commute avec les translations magnktlques T:,. les coeffi-
cients de cette matrice sont de la forme

ave c

11 s'agit alors de determiner le spectre de l'operateur sur e2(r)


assiociC & la matrice M:( f!)
dont les coefficients sont donnks par (7.11). Cet opkrateur est Cgal & fE(r)~i,f.

* L a s u b s t i t u t i o n de Peierls.
Cette mCthode a ktC Ctudike en dCtails par B. Helffer et J. Sjostrand dans (91, para-
graphe 6 . Cela consiste i substituer les translations magnetiques T;,: sur t2(r) par des
operateurs pseudo-diffkrentiels sur L 2 ( R m ) ,m Ctant & prCciser, de symbole de Weyl e'<7,''
e
avec e = ( 1 1 , e 2 ) .Le choix de Btant determine par le fait clue les operateurs 0 ~ ~ ( e ' < 7 ) ~ ' )
doivent verifier les mCmes relations de com~nutationque

atl ae2 ae, at2


cette condition est Cquivalente a { e l ,t 2 ) = h , ou { e l ,E z } = --
at ax - --
ax at represente
le crochet de Poisson de el et de t2et h = bRZ reprksente le flux d u champ magnktique &
travers une cellule fondamentale du rkseau R r . Dans ce cas simple, on peut choisir

La substitution de Peierls &ant IinCaire, l'operateur M ( f;) = f i ( y ) ~ i , fdoit


: 6tre
7El-
r e m ~ l a c kpar l'operateur pseudo-differentiel o p ~ ( ph-quantifii!
~ ) (cf. D. Robert [16])de
symbole de Weyl dkfini par
EQUATION DE SCHRODINGER

Puisque H! est un opkratcur auto-adjoint, la formule (7.12) Inontre que

On en dCduit clue pE est un spnibole r6el. Cornme il est dCmontrd d a m [9] th.6.1. la
substitution de Peierls conserve le spectre. On a alors

LEMME 7.4-Sous 1'hj.pothi.se (-7.12). fc est une fonction &elk telle que

DBmonstration-Soit R la rotation d'angle autour de l'origine. Puisque la valeur propre


X est simple, on en dCduit que 11 o R = 1 1 . On a donc

V? E r, u ; , ~ .=
, u:,, 0 72-l.

En outre, puisque R commute avec Hi et IIg, on en dCduit que


v7 E r. v&, = v;,? R-I.

On en dCduit alors, gr8ce I? (7.8) que

- cons6quence de cette formule et de la dkfinition (7.12). En outre,


(7.16) est alors une
.fi= f RB o R2= f RB ce qui prouve que f
est B. valeurs rCelles. m

LEMME 7.5-Si (R, B) tend vers (fco, 0), on a

Co Ctant une constante non nulle d a m le cas oG X correspond au niveau fondamental.

D6monstration-(7.17) peut se vCrifier directement, mais il est aussi simple d'utiliser le


theorkme de Calderbn-Vaillancourt (cf. D. Robert [16]) :
1040 DAUMER

ce qui dCmontre lc lesultat puisque


s p OI$(P;) C [A - o(1).,\ + 41)).
Pour (7.18),on vbrifie facilement que
f:(r) = f%:)(l +o(l)).
I1 s'agit alors de prockder comme aux paragraphes 4 et 5 dans l'estiination de IR(~).
(7.19)
se dkmontre kgalement de f a ~ o nanalogue. rn

.Ddmonstration d u theorkine 2.4


On pose ,44118 = fi(0)et :lrf= ff(?) pour / j= 1. D1aprks (7.14)et (7.16).on a
Q(Z:O E T'C. / p E ( . ~ , < )- .\I! - ~ ~ ( c o s+nc o. s t ) I< C I fi(-,)1 elrrn "+IJ"' ''
111>1
ce qui dCmontre (2.13) grLce a (7.13),(7.17); et (7.19).
(7.1s)
REFEREKCES
[I] S. Agmon, Lectures on exponential decay of solutions of second order elliptic
equations : bound on eigenfunctions of ii body Schrodinger operators. Math.
notes, t.29,Princeton Gniversity Press, (1982).
[2]F.Dauiner. Equation de Schrodinger dam l'approximation du tight binding,
thbse, Universite de Nantes, (1990).
[3]J.P. Guillement, B. Helffer, P. Treton, TValk inside Hofstadter's butter-
fly, J . Phys. France 50, 2019-2058,(1989).
[4]B. Helffer, Semi-classical analysis of the Schrodinger operator and applica-
tion, Springer Lecture Xotes in Math.: no 1336,(1988).
[5]B.Helffer, J. Sjostrand, Multiple wells in the semi-classical limit I, Comm.
in P.D.E., vol 9,(4), 337-408,(1984).
[6]B. Helffer, J. Sjostrand, Puits multiples en lirnite semi-classique 11. In-
teraction moleculaire. Symetries. Perturbations, ilnn. I.H.P., vol 42, no 2,
127-212,(1985).
[i]B. Helffer, J. Sjostrand, Multiple wells in the semi-classical limit III.
Interaction through non-resonant wells, Math. Nachr, 124,263-313,(1985).
[8]B. Helffer, J. Sjostrand, Effet tunnel pour J'Cquation de Schrodinger avec
champ magnktique, Ann. de 1'Ccole de Pise, 625-657,(1987).
[9]B. Helffer, 3. Sjostrand, Equation de Schrodinger avec champ magnCtique
et Bquation de Harper, Proceedings de l'kcole d'ktC de Souderborg, Lect.
Notes in Physics, no 34,Springer Verlag, 118-197,(1988).
[lo] B. Helffer, J. Sjostrand, Anaiyse semi-classique pour l'dquation de Harper,
MCmoire de la S.M.F., no 34, tome 116,fasc. 4,(1988).
: L i j B. Helffer, J. Sjostrand, Analyse semi-classique pour l'dquation de Harper

II. Comportement semi-classique prPs d'un rationnel, Mkrnoire de la S.M.F.,


no 40, tome 118,fasc 1,(1990).
[12]B.Helffer, J. Sjostrand, Semi-classical analysis for Harper's Equation III.
Cantor structure of the spectrum, Mkmoire de la S.M.F., no 39, tome 117:
fasc 4, (1989).
EQUATION D E SCHRODINGER 1041

[13] M. & T. H o f f i n a n n - O s t e n l ~ o f , J S w e t i n a , Pointwise bounds on the


asymptotics of spheric all^. average of L2- solutions of one-body Schriidingcr
equations. Ann. I.H.P., vol 42, no 4. 341-3G1. (1985).
[14] M. & T. Hoffmann-Ostenhof, J.Swetina. continuit3- and nodal proper-
ties near infinity of 2-dimensional Schrodinger equation, Duke Math. Journal.
vol 53, no 1, (1SSG).
[l5] M. & T. H o f f m a n n - O s t e n h o f , J.Swetina, Asvmptorics and continuity
properties near infinit? of solutions of Schrodinger equation in exterior do-
mains, Ann. I.H.P.. yo1 46. n" 3, 247-280. (1987).
1161 D. R o b e r t , .4utour de l'approximation semi classique. Progess in Mathe-
matics, no 68. Birkhauser. (1983).
[17] M. R e e d , B. S i m o n . Alethods of Modern Mathematical Physics : Analysis
of Operators, Academic Press Nev-kork, San Francisco. London. Tome I\',
(1972).
1181 B. S i m o n . Instantons. double wells and deviations. Bull. A.M.S. 8. 333-326,
(1983).

Received June 1992


Revised January 1993