Académique Documents
Professionnel Documents
Culture Documents
Didier Smets
18 janvier 2010
Chapitre 1
Equation de Korteweg - de Vries, un
panorama.
1.1
D
erivation formelle
x R, t R, z = 0.
Pour la surface libre, la fonction z (x, t) est nulle lorsque evaluee le long de la trajectoire
dune particule de fluide initialement `a la surface. D`es lors 1
0=
D
(z (x, t)) = z t x x .
Dt
Lequation de Newton liant acceleration et force exercee sur les particules du fluide nous
donne
D
u = t u + uu = F = (p + gz),
Dt
o`
u p represente la pression et g la constante de gravitation. Levolution de la surface libre
est obtenue en supposant que la pression y est constante (egale `a la pression exterieure),
constante que lon peut supposer nulle sans perte de generalite. En remplacant u par
dans lexpression ci-dessus et en eliminant un gradient on obtient lequation dite de
Bernoulli
1
t +
(x )2 + (z )2 + g = 0.
2
On rassemble finalement les quatre equations ci-dessus pour obtenir le syst`eme des ondes
`a la surface de leau, aussi appele syst`eme dEuler ou encore des water waves :
= 0
x R, t R 0 < z < (x, t)
z = 0
x R, t R, z = 0
(1.2)
z = t + x x
x R, t R, z = (x, t)
developpement seront donc dautant meilleures que les hypoth`eses simplificatrices cidessus sont fortement verifiees) :
(x, z, t) = b (x, t) + zz (x, 0, t) +
z2 2
(x, 0, t) +
2 z
z2 2
z4
x b (x, t) + x4 b (x, t) ,
2
24
(1.3)
qui ne fait intervenir que z (de mani`ere tr`es explicite) et b (ainsi que ses derivees).
Premier r
egime : (petite amplitude, onde longue). On suppose (ou plutot on ecrit
puisque tout ceci nest encore que formel) que
(x, t) = h + b(x, t)
(x, z, t) = (x, z, t)
et on traduit les equations dEuler (en fait uniquement celles liees `a la surface libre,
lharmonicite de etant integree dans lapproximation) en termes de b et :
2
t b + 2 x bx = z
(1.4)
t + 21 2 (x )2 + 12 (z )2 + gb = 0
pour z = h + b.
Par (1.3), on a, en posant b = (, 0, ),
z = z2 x2 b + O(4 )
= h2 x2 b + O(3 )
sur z = h + b. On obtient ainsi, apr`es simplification et en derivant la seconde equation
suivant x,
o`
u v b = x b .
t b + hx vb = O()
t vb + gx b = O()
(1.5)
Ce dernier syst`eme,
si lon y neglige les termes de reste en O(), conduit `a lequation
des ondes `a vitesse gh pour b :
avec c =
t2 b c2 x2 b = 0
gh.
3
Remarque 1. Ce mod`ele sapplique assez bien au cas des tsunamis : dans cette situation,
on a h 4.103 m, la hauteur deau deplacee est de lordre de 1m et la longueur donde de
lordre de 105 m. Pour faire apparatre un comme ci-dessus, on utilise par exemple pour
5
5
1
5
unite le M = 10 2 m de sorte que = 10 2 , h = 4 10 2 M et g = 9.81 10 2 M/s2 . On
1
obtient par lexpression ci-dessus c = gh 2 10 2 M/s = 200m/s = 720km/h.
Deuxi`
eme r
egime : (deviation par rapport au linearise). On suppose maintenant que
lamplitude de londe (mesuree en unite h = 1) est de lordre du carre de linverse de la
7
3
longueur donde (pour les tsunamis on a a/h 10 2 et h/l 10 2 ) et on ecrit 3
3
(x, t) = h + 2 b((x
ght), 3 t)
(x, z, t) = ((x ght), z, t)
On traduit les equations sur la surface libre :
3 ghx b + 5 t b + 3 x b2 x = z
2 ghx + 4 t + 21 4 (x )2 + 12 2 (z )2 + g2 b = 0.
Comme
z = z2 x2 b +
z3 4 4
x b + O(6 )
6
b = t b + x bx b + bx2
b h6 x4 b + O()
x b hx
2 gb ghx b = t b 21 (x b )2 12 ghh2 x3 b + O(2 ).
On derive ensuite
p la seconde equation ci-dessus par rapport `a x, on multiplie lequation
resultante par h/g et la retranche ensuite de la premi`ere. On obtient, en identifiant les
termes de meme ordre en :
(
p
x b = hg b + O(2 )
q
q
t b + x bx b + bx2 b
h3 4
6 x b
h
g t x b
h
2
g x b x b
+ 21 h3 x4 b = O().
Modulo le terme de reste en O(), la derni`ere equation est celle qui fut obtenue par
Korteweg et de Vries en 1895 :
3
t b +
2
g
h3
bx b +
h
3
g 3
b = 0.
h x
(1.6)
3. On note que les fonctions b et sont considerees dans un rep`ere mobile en translation `a vitesse c
vers la droite, rep`ere qui nest pas sans lien avec la solution de lequation des ondes ci-dessus...
1.2
Pour des raisons de commodite, lequation de Korteweg - de Vries que nous etudierons
par la suite secrit
t u 6ux u + x3 u = 0.
(1.7)
Il est facile de se rendre compte que (1.6) et (1.7) peuvent etre transformees lune en
lautre au moyen de changements de variable despace x 7 x et dinconnue u 7 u bien
choisis. La raison pour le choix du facteur 6 devant la nonlinearite apparaitra plus tard.
D
efinition 1. On appelle solution en onde progressive, ou encore en onde solitaire, toute
solution non identiquement nulle de (1.7) de la forme
u(x, t) = U (x ct)
pour un certain c R. On dit que c est la vitesse de londe correspondante, car la solution
est stationnaire dans un rep`ere mobile se deplacant `
a vitesse c.
Th
eor`
eme 1. Pour toute vitesse c > 0, et `
a translation pr`es, il existe une unique solution de (1.7) en onde progressive `
a vitesse c parmi les fonctions trois fois contin
ument
derivables dont toutes les derivees jusqu`a lordre trois tendent vers 0 a` linfini.
Demonstration. Soit u(x, t) = U (xct) une telle onde. En injectant cette expression dans
lequation (1.7) et on obtient
cU 6U U + U = 0,
autrement dit
(CU 3U 2 + U ) = 0.
Par integration et en tenant compte des conditions `a linfini on obtient la condition
necessaire
cU 3U 2 + U = 0.
(1.8)
Apr`es multiplication par U on obtient
c
1
( U 2 U 3 + (U )2 ) = 0
2
2
et de nouveau les conditions `a linfini nous fournissent la condition necessaire
1 2 c 2
(U ) = U + U 3 .
2
2
(1.9)
On en deduit que U ne peut pas sannuler, car auquel cas U sannulerait au meme
point (par (1.9)), il en viendrait ensuite de meme pour U et U (par (1.7) et (1.8)), et
finalement U serait identiquement nulle, par le theor`eme de Cauchy-Lipschitz.
On deduit aussi de la relation (1.9) quen un point dextremum de U on doit avoir
+ U 3 = 0, autrement dit U = 2c ou U = 0. Si c 0, la fonction 2c t2 + t3 est negative
entre 0 et 2c , ce qui nest pas compatible avec (1.9). D`es lors necessairement c > 0, et U
est partout comprise entre 2c et 0.
c 2
U
2
U
=1
cU 2 + 2U 3
et apr`es integration
1
x =
c
x
0
1
U (y)
q
dy =
c
U (y) 1 + 2c U (y)
U (x)
2c
du
u
1 + 2c u
q
Par le changement dinconnue v = 1 + 2c u (donc u = 2c (v 2 1)), on obtient
2
x=
c
Z 1+ 2 U (x)
c
do`
u il suit
1
1+v
dv
= log
2
1v
1v
c
1+ 2c U (x)
1 + 2c U (x)
q
= exp( cx),
1 1 + 2c U (x)
1+
cest-`a-dire
exp( cx) 1
2
1 + U (x) =
,
c
exp( cx) + 1
et finalement
c
c
2
U (x) = sech ( x).
2
2
On montre sans peine que necessairement U poss`ede la meme expression pour x 6= 0, et
lunicite (ainsi que lexistence !) annoncees en decoulent.
Remarque 2. On remarque que les ondes progressives `
a grandes vitesse sont grandes
(en amplitude) et ramassees (en extension spatiale), alors que les ondes progressives a`
petite vitesse sont petites et etendues. En fait, toutes sont obtenues par dilatation et mise
a` echelle dune seule dentre elles.
c
c
2
Uc (x) = sech ( x).
2
2
6
1.3
A
u(
x, t) u(
x + ct x0 , t) = 12
B
P
o`
u A et B sont de la forme
ck (
x, x0 ) exp(ak (c)t). D`es lors, le comportement `a linfini
du quotient A/B est totalement dependant du plus grand ak (c) (pour les t positifs) ou
du plus petit (pour les t negatifs).
Une rapide analyse de la situation nous am`ene `a la conclusion que
si c
/ {4, 16},
alors lim u(
x, t) = 0
t+
t+
1
2
3
2
exp(4(
x x0 ))
exp((
x x0 )) + 21 exp(3(
x x0 )
1
= 24
2 .
3 exp((
x x0 )) + exp((
x x0 )
2
Pour obtenir la forme la plus symetrique possible, on choisit ainsi x0 de telle sorte que
3 exp(x0 ) = exp(x0 ),
autrement dit
x0 =
1
log 3,
2
et on obtient
lim u(
x, t) = 2 sech2 (
x) = Uc (
x),
t+
4. Bien quayant une forme similaire aux ondes solitaires, noter quelle ne fait pas partie de la famille
decrite `a la section qui prec`ede.
t+
t+
Comme le montre le dessin ci-dessous, linterpretation des ces asymptotiques est que
les solitons U4 et U16 se sont croises (celui `a vitesse 16 rattrape celui `a vitesse 4), ont
interagi un temps, et sont ensuite ressortis pratiquement inchanges, si ce nest par un
decalage spatial (log 3 pour le lent qui sest donc vu accelere, et 12 log 3 pour le rapide,
qui sest donc vu decelere).
1.4
Quelques r
esultats pour les impatients
Nous avons parle de solutions de lequation de Korteweg - de Vries sans sassurer de leur
existence. Bien que cela ne soit pas notre objectif detudier en details le probl`eme de Cauchy (bien que lapproche permet in fine de le resoudre) mentionnons neanmoins le resultat
suivant (certainement pas le plus general mais suffisant pour ce qui nous concerne) :
Th
eor`
eme 2 (Bona & Smith, 1975 [3]). Si u0 S(R) 5 , il existe une unique solution de
(1.7) qui appartienne `
a C (R R) et qui concide `
a t = 0 avec u0 .
5. On designe par S(R) la classe de Schwartz en dimension 1 despace, voir par exemple lappendice.
Le theor`eme suivant est `a la base de la methode que nous presentons dans ces notes,
nous le demontrerons dans le Chapitre 7.
Th
eor`
eme 3 (Gardner, Greene , Kruskal & Miura, 1974 [8]). Dans les conditions et avec
les notations du theor`eme precedent, le spectre de loperateur de Schrodinger 6
Lt = + u(, t)
o`
u u(, t) apparat comme un potentiel, ne depend pas du temps.
On dit que la famille Lt tR est une deformation iso-spectrale de L0 .
En allant un peu plus loin que ce que nous ferons, ont peut alors demontrer le resultat
suivant qui concerne maintenant une donnee initiale essentiellement quelconque (`a la
difference de notre exemple tr`es explicite de la section precedente) :
Th
eor`
eme 4 (Eckhaus & Schuur, 1983 [6, 10]). Soit u0 S(R) et N le nombre de valeurs
propres negatives de L0 . Alors il existe 0 < C1 < < cN et x1 , , xN R tels que
N
X
Uck (x ck t xk ) = 0.
lim sup u(x, t)
t+
x>
c1
t
2
k=1
ck = 4k
o`
u N < < 1 < 0 designent les valeurs propres negatives de L0 .
Ainsi, toute solution se comporte `a linfini en temps comme une superposition dondes
solitaires 7 .
6. Il sagit dun operateur non borne defini sur une partie dense de L2 (R), nous y reviendrons au
Chapitre 4.
7. Nous ninsisterons pas ici sur la condition x > c21 t
Chapitre 2
Equations dondes, relations de
dispersion.
Nous avons rencontre au chapitre precedent une des equations aux derivees partielles
les plus simples, `a savoir lequation des ondes `a vitesse c > 0 en dimension 1 despace :
tt u c2 xx u = 0.
(2.1)
Th
eor`
eme 5. Soient u0 Cc2 (R) et v0 Cc1 (R). Il existe une unique solution u C 2 (R
R+ ) de (2.1) admettant u0 et v0 comme donnees de Cauchy et telle que quel que soit T > 0
il existe un compact KT R pour lequel {supp u} {R [0, T ]} KT [0, T ].
Demonstration. Existence : dAlembert remarque que toute fonction de la forme
u(x, t) = f (x + ct) + g(x ct),
o`
u f et g sont des fonctions de classe C 2 quelconques, est solution de (2.1). Pour que cette
solution satisfasse aux donnees de Cauchy, il faut, par identification, que
f (x) + g(x) = u0 (x)
x R,
cf (x) cg (x) = v0 (x)
ce qui se ram`ene `a
cu
(x)
v0 (x)
g (x) =
2c
x R,
1. Bien que dAlembert soit mort alors que Cauchy ne fut pas encore ne !
10
(2.3)
Exercice 1. Reflechir `
a une extension du Theor`eme 5, en particulier pour ce qui est de
lunicite, pour des donnees de Cauchy qui ne soient pas `
a support compact.
La solution fournie par dAlembert laisse apparatre les operateurs differentiels
u 7 t u cx u
et
u 7 t u + cx u,
11
dont les solutions sont constantes le long des courbes integrales 2 du champ de vecteurs
V~ . 3
Avant de poursuivre, notons une derni`ere fois trois proprietes importantes de la solution
generale de dAlembert, pour laquelle la partie en f (x + ct) sera identifiee comme bosse
voyageant vers la gauche et celle en g(x ct) bosse voyageant vers la droite. On a
Invariabilite des profils f et g des deux bosses dans le temps.
Non interaction entre celles-ci.
Vitesse de propagation finie (et fixe) de chacune delles.
La premi`ere et la troisi`eme proprietes sont liees aux fait que la vitesse dune onde plane
pour lequation ne depend pas de sa frequence. On dit que la relation de dispersion 4
est lineaire.
La deuxi`eme propriete est caracteristique des equations lineaires, ce qui implique ce
que les physiciens appellent le principe de superposition : si u et v sont deux solutions,
alors il en va de meme de toute combinaison lineaire de u et v.
Dans la suite de ce chapitre, nous modifions lequation de transport t u + cx u = 0
afin de briser la relation de dispersion lineaire. Nous nous attaquerons `a la linearite de
lequation dans le chapitre suivant.
2.1
(2.4)
(k)
t,
k
de sorte quelles mettent en oeuvre un profil evoluant sans deformation dans un rep`ere
mobile `a la vitesse
(k)
c(k) =
= c k2.
(2.5)
k
~ (x(t), t).
2. Cest-`
a-dire des solutions du syst`eme dequations differentielles ordinaires x(t)
=V
3. On en dira un petit peu plus au chapitre suivant lorsquon esquissera la notion de courbe caracteristique.
4. Voir ci-apr`es.
5. Ce choix qui peut paratre arbitraire `a premi`ere vue se justifiera lorsque le concept de dispersion
sera bien compris.
6. Pour c = 0 il est dusage de lappeler lequation dAiry.
12
Si u0 Cc (R) est quelconque, la theorie de Fourier nous assure quelle peut etre realisee
comme une superposition (infinie non denombrable) dondes planes :
Z
1
u0 (x) =
A(k) exp(ikx) dk,
2 R
o`
u
Puisque nous connaissons levolution temporelle de chacune de ces ondes planes par
lequation (2.4), le principe de superposition 8 nous fournit une solution de (2.4) pour la
donnee de donnee de Cauchy u0 . En effet, une application du theor`eme de derivation sous
le signe integral nous assure le
Th
eor`
eme 6. Soit u0 Cc (R), alors la fonction u definie sur R R+ par la relation
Z
u(x, t) =
A(k) exp i(kx (k)t dk
(2.6)
R
Remarque 3. i) La formule pour u donnee par (2.6) permet de definir u pour t < 0,
tout en restant solution, on parle dune
equation r
eversible en temps.
ii) En termes de transformee de Fourier suivant la variable x, on peut recrire (2.6) sous
la forme
Fu(t, k) = Fu0 (k) exp(i(k)t),
(2.7)
en particulier le module de Fu(t, k) est independant de t car est reelle.
Exercice 2. Montrer que la solution fournie par le Theor`eme 6 est unique dan la classe
des fonctions u C (R R+ ) telles que u(, t) S(R) 9 quel que soit t 0. (Indication :
on pourra utiliser une methode denergie
comme il a ete fait dans le cas de lequation des
R
ondes, en posant cette fois E(t) = R |u(y, t)|2 dy.)
Puisque la vitesse de chaque onde plane depend de sa frequence par le biais de la relation
de dispersion (2.5), le paquet dondes initialement rassemble en la donnee de Cauchy u0
aura tendance `a se disperser sur lensemble de la droite reelle et ainsi la solution u(x, t) `a
saplatir lorsque t grandit.
Une telle estimation, objet du theor`eme suivant, est appelee une estimation de dispersion.
Th
eor`
eme 7. Soit u0 Cc (R), alors la solution u de lequation (2.4) fournie par la
formule (2.6) verifie linegalite
1
(2.8)
xR
13
Demonstration. Lestimation est enti`erement basee sur la formule explicite fournie par
3
(2.7). Puisque la fonction : k 7 exp(i k3 ) est continue et bornee sur R, elle sidentifie
`a une distribution temperee. Par bijectivite de la transformation de Fourier de S (R) sur
S (R), il existe une distribution temperee Ai S (R) telle que Ai = F1 (). On ecrit
1
alors, apr`es avoir pose = (3t) 3 ,
F(u0 ) exp(i(k)t) = F(u0 ) exp(ictk) exp(ik 3 t)
= F(u0 ) exp(ictk)F(F 1 ( ))
= F(u0 )F(ct F1 ( ))
= F(u0 )F(ct || 1 F 1 ())
(2.9)
Nous montrerons dans la section suivante que Ai est une distribution temperee attachee
`a une fonction continue et bornee sur R. Il sen suit par linegalite de Young que
1
kAikL (R) ku0 kL1 (R) ,
ku(, t)kL (R)
3
3t
do`
u la conclusion.
Remarque 4. Puisque nous montrerons que Ai Cb (R), on peut recrire (2.9) comme
Z
(x ct) y
1
dy,
(2.10)
u(x, t) =
u
(y)Ai
0
3
3
3t R
3t
ce qui constitue la formulation explicite de la solution de lequation dAiry (2.4).
2.2
M
ethode du col et fonction dAiry
Le but de cette section est de presenter par lexemple la methode dite du col pour le
calcul dintegrales dans le plan complexe. Cette methode fut inventee par le physicien P.
Debye et developpee notamment par L. Brillouin (voir par exemple [4]).
Dun point de vue formel, la fonction dAiry est definie sur la droite reelle par la formule
Z
Z
1
k3
k3
1
dk.
exp i(kx + ) dk =
cos kx +
Ai(x) =
2 R
3
0
3
Dun point de vue mathematique, il est necessaire de donner un sens aux integrales cidessus, puisque leurs integrants ne sont pas integrables au sens de Lebesgue, et ensuite de
verifier que cette definition concide avec celle de la section precedente faisant intervenir
une transformation de Fourier inverse au sens de S (R).
Une fois cette tache accomplie, nous chercherons egalement `a donner un developpement
asymptotique de Ai(x) pour x .
14
existe, uniformement pour x dans un compact de R. Pour cela, il nous suffira dinvoquer
le lemme suivant sur les int
egrales oscillantes (voir par exemple [13]) :
o`
u Ck ne depend que de k (et en particulier ni de a, b, ou ).
Demonstration. Supposons dabord que k = 1. On note D loperateur differentiel `a coefficients variables
1
D(f ) = i f
et Dt son transpose :
Dt (f ) = (i )1 f .
exp(i(x)) dx =
a
D(exp(i(x))) dx
a
b
a
b
exp(i(x)) Dt (1) dx + (i )1 exp(i) a .
b 2
1
(i
)
exp(i)
.
a
On proc`ede ensuite par recurrence sur k. Quitte `a remplacer par son oppose, on peut
supposer que (k+1) 1 sur (a, b), de sorte que (k) est croissante sur (a, b). Sil existe
c (a, b) tel que (k) (c) = 0, alors quel que soit > 0, en dehors de lintervalle (c, c+)
15
on a |(k) (x)| , pour peu que lintervalle soit enti`erement contenu dans (a, b). Dans ce
cas, lhypoth`ese de recurrence nous fournit les estimations
Z c
1
exp(i(x)) dx Ck () k ,
a
et
c+
1
exp(i(x)) dx Ck () k .
c+
exp(i(x)) dx 2.
Lorsque c nexiste pas ou lorsque (c , c + ) nest pas enti`erement contenu dans (a, b),
le raisonnement est tr`es similaire et lestimation un peu meilleure. La conclusion suit en
choisissant Ck+1 = (2Ck + 2).
p
Corollaire 2. Soit x R et R > |x|. Quel que soit lintervalle (a, b) dintersection vide
avec (R, R), on a
Z b
3
k
3
exp
i(xk
+
)
dk
.
2
3
R +x
a
Demonstration. Il suffit dappliquer le lemme de van der Corput `a la fonction (k) =
3
(xk + k3 )/(x + R2 ) avec le choix = x + R2 et k = 1 11 .
Corollaire 3. Quel que soit x R, la limite
Z R
k3
1
exp i(kx + ) dk
Ai(x) = lim
R+ 2 R
3
16
Etape 3 : asymptotiques `
a linfini.
Nous allons maintenant utiliser la theorie de Cauchy afin devaluer plus en details les
integrales du type
Z R
k3
1
exp i(xk + ) dk.
(2.11)
2 R
3
Pour ce faire, on remarque dabord que pour x fixe, la fonction
7 exp i(x +
3
)
3
quel que soit le chemin reliant le point R + 0i au point R + 0i. La methode du col
consiste `a choisir pour un chemin plongeant le plus efficacement possible vers les zones
3
du plan complexe dans lesquelles Re i(x + 3 ) 0. Decrivons la par lexemple.
Cas o`
u x < 0.
1
On rend dabord les choses un peu plus homog`enes en posant = |x| 2 z, transformant
ainsi lintegrale (2.11) en
1
|x| 2
2
R|x| 2
exp i|x| 2 (
R|x| 2
z3
z) dz.
3
(2.12)
17
Les equations de Cauchy-Riemann affirment que les gradients des parties reelles et imaginaires dune fonction analytique sont orthogonaux en tout point. D`es lors, la partie
3
imaginaire Im i( z3 z) est constante (egale `a sa valeur en z ) le long de chaque k .
|x| 2
I1 =
2
|x| 2
2 3
z3
exp( |x| 2 i)
exp i|x| ( z) dz =
3
2
3
1
3
2
o`
u 1 = 1 1.
3
1
z,
exp i|x| 2 z2 (1 + z) d
3
Nous posons t = i
z 2 (1 + 31 z), de sorte que t [0, +) est reel sur 1 . Pour obtenir
un changement de variables, nous considerons plutot le changement
1
t = T 2 = i
z 2 (1 + z)
3
ou encore
1 1
z (1 + z) 2 .
T = exp( i)
4
3
(nous choisissons ici la determination usuelle de la racine carree)
Par le theor`eme dinversion locale, la relation liant T et z est bijective et analytique sur
un voisinage de lorigine dans C. Sur ce voisinage 12 on ecrit
X
d
z
=
k T k .
dT
k=0
12. Par commodite de presentation, nous ferons dans la suite comme si le changement de variable
etait licite sur C tout entier et les developpements tous convergents, nous indiquerons en fin detude les
modifications essentielles.
18
2 3
|x| 2
exp( |x| 2 i)
I1 =
2
3
=
1
2
|x|
2 3
exp( |x| 2 i)
4
3
Z
Z
|x|1
2 3
=
exp( |x| 2 i)
4
3
=
14
3
2
exp |x| T
3
exp |x| 2 t
exp(s)
X
k=0
X
k T k dT
k=0
k t
k1
2
dt
k=0
k |x| 4 (k1) s
k+1
1
2
ds
3
|x|
2 3
k+1
exp( |x| 2 i)
).
k |x| 4 k (
4
3
2
k=0
1 k1 Y
k = exp( (k + 1)i)( )
(k + 1 + 2j).
4
6 k! j=0
En rassemblant nos esprits, on arrive alors `a
k1
( k+1
)Y
3
|x|1
2 3 X 1
2
I1 =
(k + 1 + 2j).
exp i( |x| 2 + )
( exp(i )|x| 4 )
4
3
4 k=0 6
4
k! j=0
Il nous reste maintenant `a traiter 2 , 3 et 4 , des cas qui sont relativement similaires.
Pour 2 , le calcul est quasiment identique. On pose cette fois
1 1
T = exp( i)
z (1 + z) 2
4
3
(ce qui revient aussi `a choisir lautre determination de la racine carree)
et on doit tenir compte dun changement de signe supplementaire ayant trait au sens
de parcours different pour 2 . Chaque terme du developpement est ainsi modifie par un
facteur (1)(1)k+1 = (1)k . Ce faisant, on obtient
k+1 k1
Y
|x|1
2 3 X 1
43 k ( 2 )
2
I2 =
exp i( |x| + )
( exp(i )|x| )
(k + 1 + 2j).
4
3
4 k=0 6
4
k! j=0
19
, (z + 1) = z(z), on a
2l1
(l + 21 ) Y
3
2 3 X 1
|x|1
( exp(i )|x| 2 )l
I1 + I2 = exp i( |x| 2 + )
(2(l + j) + 1).
3
4 l=0 36
2
2
(2l)!( 21 ) j=0
avec
C(x) = 1 +
(1) |x|
3m
m=1
D(x) =
X
3
(1)n+1 |x|3n 2
n=0
4m1
Y
1
(4m + 2j + 1),
124m (2m)! j=0
4n+1
Y
1
(4n + 2j + 3).
124n+2 (2n + 1)! j=0
D
esenchantement : un rapide examen du developpement obtenu ci-dessus am`ene `a
lam`ere constatation que celui-ci diverge quelle que soit la valeur de x !
Exercice 3. On definit, pour k 0, le developpement tronque
1
|x| 4
2 3
2 3
Aik (x) =
+ Dk1 (x) cos |x| 2 +
Ck (x) sin |x| 2 +
3
4
3
4
o`
u Ck (x) et Dk1 (x) designent les sommes partielles obtenues en tronquant les developpements
formels de C(x) et D(x) aux ordres m = k et n = k 1.
Montrer que quel que soit k 0,
On dit alors que lexpression formelle pour Ai(x) constitue un developpement asymptotique
semi-convergent lorsque x .
(Indication : tronquer les integrales sur chaque chemin `
a un voisinage du point critique
dont il est issu, et sur lequel la relation entre z et T est bijective. Estimer ensuite les
termes de reste (penible !).)
20
Cas o`
u x > 0.
1
On pose cette fois = x 2 z de sorte que
1
x2
2
Rx 2
exp ix 2 (
Rx 2
z3
+ z) dz.
3
x2
Ai(x) = 2Re
2
x2
2 3
z3
exp ix ( + z) dz = 2Re exp( x 2 )
3
2
3
1
3
2
3
i
z.
exp ix 2 z2 (i + z) d
3
1
t = T 2 = z2 (1 + z)
3
et on obtient ainsi
o`
u cette fois
cest-`a-dire
3
2 3 X
k+1
x 4
exp( x 2 )
),
Re
k x 4 k (
2
3
2
k=0
k1
1 k1 Y
(k + 1 + 2j),
k = ( )
6 k! j=0
"
#
1
3
k1
X
Y
)
x 4
x 4 k ( k+1
2 3
2
Ai(x) = exp( x 2 ) 1 +
( )
(k + 1 + 2j) .
1
3
6
2
k!(
)
2 j=0
k=1
La meme remarque que precedemment vaut pour ce developpement qui nest que semiconvergent.
Exercice 4. Calculer Ai(0) apr`es avoir represente lallure du col = 0. Calculer ensuite un developpement en serie enti`ere pour Ai(x) en posant i 3 = t. Montrer que
ce developpement converge pour toute valeur de x ! (Son usage est neanmoins limite aux
petites valeurs de x car sa convergence est extremement lente).
21
Chapitre 3
Equation de transport non lin
eaire,
m
ethode des caract
eristiques, chocs.
Dans ce bref chapitre, nous nous interessons `a une variante non lineaire de lequation
de transport
t u + cx u = 0
(3.1)
qui a ete abordee au chapitre precedent. Il sagit de lequation de Burgers-Hopf , qui secrit
t u + ux u = 0.
(3.2)
Par analogie de (3.2) avec (3.1), lintuition sugg`ere que pour (3.2) la solution u sera
transportee `a une vitesse egale `a la valeur de u. Si u nest pas constante, les grandes
valeurs de u auront tendance `a rattraper (pour peu quil y en ait derri`ere) les petites
valeurs de u, faisant ainsi perdre `a u son statut de graphe, et donc de solution.
La m
ethode des caract
eristiques, qui sapplique `a bien dautres equations du premier ordre, permet de donner forme `a cette intuition. Lobjet de cette methode est de
fournir des courbes (dans le cas present des droites) le long desquelles lequation prend
une forme particuli`erement simple, typiquement une equation differentielle ordinaire.
Proposition 2. Soit T > 0 et u : R [0, T ] R une solution de classe C 1 de (3.2). Quel
que soit x0 R, et t [0, T ],
u(x0 + u(x0 , 0)t, t) = u(x0 , 0).
Autrement dit, la solution u est constante le long du segment dorigine (x0 , 0) et de pente 1
plan egale `
a u(x0 , 0).
Demonstration. Notons g la fonction de classe C 1 definie sur [0, T ] par la relation
g(s) = u(x0 + u(x0 , 0)s, s).
En utilisant la r`egle de derivation dun compose ainsi que lequation (3.2) on obtient
g (s) = x u(x0 + u(x0 , 0)s, s) u(x0 , 0) + t u(x0 + u(x, 0)s, s)
= x u(x0 + u(x0 , 0)s, s) u(x0 + u(x0 , 0)s, s) u(x0 , 0) ,
1. Dans le plan (t, x), ou de pente inverse (eventuellement infinie) dans le plan (x, t).
22
o`
u C = 2 maxs[0,T ] |x u(x0 + u(x0 , 0)s, s)| < +. Il sen suit (il sagit de la forme la plus
simple de ce qui porte le nom dinegalite de Gronwall) que
f (s) f (0) exp(Cs),
quel que soit s [0, T ]. Comme f (0) = 0 par construction, la conclusion suit.
Les segments s 7 (x0 + u(x0 , 0)s, s) sont appelees les (courbes) caracteristiques associees `a la donnee initiale u0 .
Corollaire 4. Soit u0 : R R une fonction de classe C 1 qui ne soit pas croissante sur
R. Alors il nexiste pas de solution u `
a lequation de Burgers-Hopf qui soit definie sur
R [0, +) tout entier et qui concide avec u0 en t = 0.
Demonstration. Puisque u0 nest pas croissante, il existe x0 < x1 appartenant `a R tels
que u0 (x0 ) > u0 (x1 ). Si u est une solution C 1 de lequation de Burgers-Hopf sur R [0, T ]
concidant avec u0 en t = 0, alors par la proposition precedente on a, pour s [0, T ],
u(x0 + u0 (x0 )s, s) = u0 (x0 ),
x0
Comme x0 + u0 (x0 )s = x1 + u0 (x1 )s lorsque s = u0 (xx01)u
, et puisque u0 (x0 ) 6= u0 (x1 ),
0 (x1 )
on deduit que
x1 x0
T <
.
u0 (x0 ) u0 (x1 )
Exercice 5. Etant donne u0 C 1 (R, R) verifiant inf xR u0 (s) > , montrer que la
methode des caracteristiques permet de construire une solution u : R [0, Tm ax)) R de
lequation de Burgers-Hopf admettant u0 comme donnee initiale, o`
u Tmax = 1 si > 0,
et Tmax = + sinon.
Lorsque deux courbes caracteristiques se rencontrent (comme aux points x0 +u0 (x0 )s =
x0
x1 + u0 (x1 )s avec s = u0 (xx01)u
dans lexemple precedent), on dit que la solution (pour
0 (x1 )
autant quelle fut reguli`ere jusqualors) developpe un choc. Une branche importante de
la theorie des equations aux derivees partielles hyperboliques sattache `a donner un sens
et `a construire une (ou des) solutions au-del`a de linstant du premier choc.
Pour illustrer simplement le type de resultat et de comportement auquel on peut sattendre, considerons la donnee initiale affine par morceaux donnee par
si x < 1,
1
x si x [1, 0],
u0 (x) =
(3.3)
0
si x > 0.
1
x
u(x, t) =
t1
0
23
Remarquons que lequation de Burgers-Hopf peut etre recrite sous une forme dite conservative
2
u
t u + x
= 0.
2
Cette derni`ere forme permet de donner un sens (faible) `a lequation pour u(, t) appartenant seulement `a L2loc (R) :
D
efinition 2. On dit que u C([0, T ], L2loc (R)) est solution faible de lequation de
Burgers-Hopf si quels que soient t > 0 et Cc (R) la fonction
Z
s 7
u(x, s)(x) dx
R
S(s)
2
S (s) 2
+
u (, s)
u (, s)
=
()
()
+
2
2
S+ (s)
S (s)
2
1
u (, s)
(S(s)) = (S(s)),
=
2
2
S+ (s)
puisque u(, s) est constante en dehors de S(s) et est `a support compact.
24
2
,
S (t) = h i =
u
u
+
o`
u le symbole [] designe le saut de discontinuite de la fonction quil encadre. Cette derni`ere
relation porte le nom de relation de Rankine-Hugoniot.
Dans le cadre plus large des lois de conservations de la forme
t g(u) + x f (u) = 0,
la relation de Rankine-Hugoniot, qui decrit toujours la vitesse des chocs, prend la forme
i
f (u)
i.
S (t) = h
g(u)
Parmi les methodes alternatives permettant de traiter les chocs, celle dite de la viscosit
e
evanescente poss`ede une interpretation physique directe. Elle consiste `a resoudre,
pour la meme donnee de Cauchy en t = 0, une famille dequations de Burgers modifiees
par un param`etre de viscosite > 0,
t u xx u + ux u = 0
(3.4)
et de passer tant bien que mal `a la limite 0, dans un sens `a decouvrir (et qui devra
etre plus faible que la convergence uniforme, puisque la limite ne peut etre continue en
t = Tmax si elle est C 1 avant cela).
Lequation (3.4) poss`ede la propriete remarquable de pouvoir etre rendue lineaire par
le biais de la transformation dite de Hopf-Cole. Plus precisement,
25
Exercice 6. Montrer que si u est une solution de classe C 2 de lequation (3.4) sur R
[0, T ], alors la fonction v definie sur R [0, T ] par
Z x
1
v(x, t) = exp
u(y, t) dy
2 0
est de classe C 2 sur R [0, T ] et y satisfait `
a lequation de la chaleur lineaire
t v xx v = 0.
On obtient ainsi, pour peu par exemple que u(, 0) soit une fonction continue et bornee,
lexpression
Z y
1 Z
i
h (x y)2
1
u(x, t) = 2 log
u(z, 0) dz dy .
exp
x
4t
2 0
4t R
Exercice 7. Etendre la methode des caracteristiques aux equations aux derivees partielles
quasi-lineaires du premier ordre de la forme (on ne distingue plus ici le temps des autres
variables)
N
X
k (x1 , , xN , u)xk u = (x1 , , xN , u)
k=1
o`
u les k et sont des fonctions reguli`eres sur (un ouvert de) RN R.
Pour cela, etudier les comportement dune solution u u(x1 , , xN ) le long des courbes
caracteristiques definies par les relations
xk (s) = k (x1 (s), , xN (s), u(x1 (s), , xN (s))),
k = 1, , N.
On notera que lequation de ces courbes fait intervenir la valeur de la solution u, ce qui
peut etre source de difficultes puisque u est linconnue. Toutefois, seule la valeur de u
sur cette meme courbe entre en jeu. Montrer d`es lors que lon peut construire a` la fois
les courbes caracteristiques et la solution u le long de celles-ci par le biais du syst`eme
dequations differentielles ordinaires en N + 1 variables :
..
..
..
.
.
.
x
(s)
=
(x
(s),
,
x
(s),
u(s))
N
N
1
N
Puisquil ne sagit pas de lobjet principal de ces notes, le lecteur avide den connatre
plus sur la theorie des chocs et les lois de conservations pourra par exemple se referer `a
[11].
26
Chapitre 4
Spectre de Schr
odinger, excursion en
territoire non born
e.
4.1
Motivation
Dans cette section nous decrirons, sans en modifier le cadre, la decouverte qui est `a
lorigine du lien entre lequation de Korteweg - de Vries et le spectre de loperateur de
Schrodinger sur la droite.
La transformation non lineaire qui a permis daboutir `a ce lien porte le nom de son
auteur, Miura. Elle est de nature similaire `a celle de la section precedente rapprochant
lequation de la chaleur `a lequation de Burgers visqueuse.
Proposition 3. Soit v une solution reguli`ere de lequation de Korteweg - de Vries modifiee
(mKdV)
t v 6v 2 x v + xxx v = 0,
R.
(4.1)
(4.2)
et
ut = x v t + v t 2 .
(4.3)
(4.4)
28
y log(0 )(y) dy = 0,
0
4.2
Un peu de th
eorie
Voulant appliquer les outils de lanalyse des operateurs lineaires continus aux operateurs
differentiels, on est immediatement confronte au fait que ceux-ci envoient rarement lespace de fonctions considerees X dans lui-meme. Pour ce faire, on est amene `a etendre la
notion doperateur en ne les definissant que sur une partie (souvent dense) de X.
Dans la suite, X designe un espace de Banach sur le corps C.
D
efinition 3. Un operateur lineaire A sur X est une application lineaire dun sous-espace
vectoriel D(A) dans X, appele le domaine de A, dans X. On dit que A est inversible
sil existe une operateur lineaire continu A1 de X dans D(A) tel que AA1 = 1X et
A1 A = 1D(A) . 3
3. On designera par 1Y ou IdY lapplication lineaire identite sur un sous-espace Y . On notera aussi 1
pour 1X .
29
Remarque 6. Comme dans le cadre des operateurs partout definis, on peut additionner
ou composer des operateurs lineaires entre eux. Il y a lieu de bien preciser le domaine sur
lequel le resultat de loperation a du sens. Nous considererons dans la suite cette remarque
comme implicite.
D
efinition 4. Soit A une operateur lineaire de domaine D(A).
1. Le spectre de A, note (A), est lensemble des C pour lesquels A nest pas
inversible 4 .
2. Lensemble resolvent (A) de A est le complementaire de (A) dans C. La resolvente
de A est la fonction `
a valeurs dans L(X) definie sur (A) par
RA () = (A )1 .
Proposition 5. Le spectre (A) est un ensemble ferme de C et la fonction RA est analytique 5 sur louvert (A).
Demonstration. Soit 0 (A). Pour C quelconque, on ecrit
A = (A 0 ) 1 (A 0 )1 ( 0 ) .
Si
| 0 | < k(A 0 )1 k,
la serie
B =
X
k=0
(A 0 )k ( 0 )k
n=0
n ( 0 )n ,
o`
u les coefficients n sont des elements de L(X),, la serie convergeant normalement dans L(X).
30
1. Si (A) et si Ker(A ) 6= {0}, on dit que est une valeur propre de A. Tout
element non nul de Ker(A ) 6= {0} est appele vecteur propre de A pour la valeur
propre , et dim(Ker(A)) est appelee la multiplicite geometrique (eventuellement
infinie) de .
2. Le spectre discret de A, note d (A) est lensemble des valeurs propres de multiplicite
finie de A qui soient isolees dans le spectre de A.
3. Le spectre essentiel de A, note e (A), est le complementaire de d (A) dans (A).
4. Le spectre ponctuel de A, note p (A) est lensemble des valeurs propres de A. Le
spectre continu de A, note c (A) est lensemble des (A) \ p (A) pour lesquels Im(A ) est dense dans X. Le spectre residuel de A, note r (A) est le
complementaire de p (A) c (A) dans (A).
Par construction,
(A) = d (A) e (A) = p (A) c (A) r (A),
toutes les unions etant disjointes.
D
efinition 6. On dit quun operateur A de domaine D(A) X est ferme si sont graphe
(A) = {(u, Au) t.q. u D(A)}
est un ferme de X X.
On dit que A est fermable si la fermeture dans X X de (A) est le graphe dun operateur,
autrement dit si pour toute suite (un )nN dans D(A) telle que
un u X
A(un ) f X,
et
on a u D(A) et A(u) = f. Lorsque A est fermable, loperateur dont (A) est le graphe
est appele la fermeture de A.
Exercice 8. Montrer que si A nest pas ferme alors (A) = C.
En ce sens, du point de vue de lanalyse spectrale seuls les operateurs fermes ont un
interet.
On se place desormais dans le cadre o`
u X = H est un espace de Hilbert sur C pour le
produit scalaire h|i.
D
efinition 7. Ladjoint de loperateur A, note A , est loperateur defini sur le domaine
D(A ) = {v H t.q. u 7 hAu, vi L(D(A), C)} ,
par la relation univoque
hAu, vi = hu, A vi
u D(A), v D(A ).
Exercice 9. Montrer que si A est ferme et si D(A) est dense dans H alors A est ferme
et D(A ) est dense dans H. Montrer que dans ce cas, A = A.
31
et puisque Im(A) = Im(A) , la conclusion suivra alors du theor`eme danalyse hilbertienne sur la projection sur les sous-espaces vectoriels fermes.
Soit f Im(A) et g Ker(A ). Il existe u D(A) tel que Au = f. D`es lors,
hf, gi = hAu, gi = hu, A gi = 0,
et on deduit que Ker(A ) Im(A) . Si maintenant h Im(A) , quel que soit u D(A),
hAu, hi = 0,
par consequent h D(A ), et quel que soit u D(A)
0 = hAu, hi = hu, A hi,
de sorte que A h D(A) . Comme D(A) est suppose dense dans H, il sen suit que
A h = 0 et par consequent Im(A) Ker(A ).
D
efinition 8. Un operateur A de domaine dom(A) dense dans H est dit symetrique si
hAu, vi = hu, Avi
u, v dom(A).
n+
Comme D(A ) contient D(A) qui est dense dans H, la conclusion suit. La symetrie de la
fermeture de A se demontre sans difficulte de mani`ere analogue.
Exercice 10. Exhiber un exemple doperateur symetrique ferme A pour lequel A soit
une extension stricte et non symetrique de A.
Legalite elementaire suivante joue un role important.
Lemme 6. Si A est symetrique et s R, on a
k(A + is)uk2 = kAuk2 + s2 kuk2 = k(A is)uk2 .
quel que soit u dom(A).
32
Demonstration. On recrit les normes au carre comme des carres scalaires et on utilise
lhermitivite du produit scalaire.
D
efinition 9. Un operateur ferme de domaine dense est dit auto-adjoint sil concide avec
son adjoint 6 . Un operateur fermable est dit essentiellement auto-adjoint si sa fermeture
est auto-adjointe.
Th
eor`
eme 8. Si A est auto-adjoint, alors
1. (A) R,
1
2. kRA ()k
,
C \ R,
|Im()|
3. r (A) = ,
4. Deux vecteurs propres de A correspondant `
a des valeurs propres differentes sont
orthogonaux.
Demonstration. Si = t + is C \ R, le Lemme 6 applique `a loperateur (A t) nous
assure que
/ (A) et que k(A )1 k = k(A t is)1 k s1 . Les conclusions 1) et 2)
suivent. La conclusion 3) est une consequence directe du Lemme 4 et du fait que A = A .
Enfin, si u1 et u2 sont deux vecteurs propres associes `a deux valeurs propres distinctes 1
et 2 , on a, puisque 2 est reelle,
1 hu1 , u2 i = hAu1 , u2 i = hu1 , Au2 i = hu1 , u2 i2 ,
do`
u la conclusion 4).
Th
eor`
eme 9. Si A un operateur ferme symetrique, chacune des trois affirmations suivantes equivaut au deux autres :
1. A est auto-adjoint,
2. Ker(A i) = {0},
3. Im(A i) = H.
Demonstration. Si ((A + i)un )nN est une suite de Caucy dans Im(A + i), le Lemme 6
nous assure que (un )nN est une suite de Cauchy dans H. Comme H est complet et A est
ferme, on deduit que Im(A + i) est ferme dans H.. Le meme raisonnement sapplique `a
Im(A i). Utilisant le Lemme 4, on obtient ainsi
Im(A i) Ker(A + i) et Im(A + i) Ker(A i),
de sorte que 2) et 3) sont equivalentes.
Si 1) est verifiee, 2) lest aussi puisque par le Theor`eme 8 on a i
/ (A) R.
Supposons pour terminer que 2) et donc aussi 3) soient verifiees. Soit v D(A )
quelconque. Par 3), puisque (A + i) est surjective, il existe u D(A) tel que (A + i)u =
(A + i)v. Comme A est symetrique et u D(A) D(A ), on a A u = Au. D`es lors,
(A + i)u = (A + i)u = (A + i)v,
et de 2) on deduit que v = u D(A). Comme v etait quelconque, D(A ) D(A), ce qui
entrane la validite de 1).
6. Cest-`
a-dire sil est symetrique et si de plus D(A) = D(A ).
33
D
efinition 10. Soit A un operateur auto-adjoint de domaine D(A) dans H. Soit B un
operateur symetrique dont le domaine contient celui de A. On dit que B est relativement
borne par rapport `
a A, de borne relative 0, sil existe une constante C > 0 telle que
kBuk kAuk + Ckuk
quel que soit u dom(A).
Th
eor`
eme 10 (Rellich). Soit A un operateur auto-adjoint de domaine D(A) dans H et
B un operateur symetrique de borne relative strictement inferieure a` 1 par rapport a` A.
Alors loperateur A + B de domaine egal `
a celui de A est lui aussi auto-adjoint.
Demonstration. Loperateur A + B est symetrique puisque A et B le sont. Montrons quil
est ferme. Si (un )nN est une suite dans D(A) telle que un u H et (A+B)un f H,
alors
kAun Aum k k(A + B)un (A + B)um k + kBun Bum k
k(A + B)un (A + B)um k + kAun Aum k + Ckun um k,
ou encore
1
kAun Aum k
(k(A + B)un (A + B)um k + kAun Aum k + Ckun um k) .
1
La suite (Aun )nN est donc de Cauchy, et puisque H et complet et A ferme on deduit que
u D(A) = D(A + B) et ensuite que (A + B)un (A + B)u.
Soient s R\{0} et g H quelconques. Par le Theor`eme 9 applique `a s1 A, loperateur
(A is) est inversible et d`es lors (A is)1 g D(A) est bien defini. De plus, on a
2
kB(A is)1 gk2 kA(A is)1 gk + Ck(A is)1 gk
1 + 2
C2
2C 2
.
14
1 + 2
kA(A is)1 gk2 + s2 k(A is)1 gk2
2
1 + 2
1 + 2
=
k(A is)(A is)1 gk2 =
kgk2 ,
2
2
et puisque g etait quelconque,
kB(A is)1 gk2
kB(A is)1 k
De ce fait, la serie
Rs (A is)
X
k=0
1 + 2
< 1.
2
B(A is)1
k
converge normalement dans L(H). Quel que soit g H, par passage `a la limite on obtient
(A + B is)Rs g = g,
D
efinition 11. Soit A un operateur auto-adjoint de domaine D(A) dans H et B un
operateur dont le domaine contient celui de A. On dit que B est compact relativement a`
A si quel que soit (A),
BRA ()
Exercice 11. Montrer que si BRA () est compact pour un certain (A), alors il lest
pour tous.
Proposition 6. Si A est auto-adjoint et B est symetrique et relativement compact par
rapport `
a A, alors B est relativement borne par rapport `
a A, de borne relative , quel que
soit > 0. En particulier, A + B est auto-adjoint.
Demonstration. Nous allons dabord montrer que
lim kB(A is)1 k = 0.
(4.5)
Si 0 < est fixe, on choisit s suffisamment grand pour que kB(A is)1 k , et on
ecrit alors, pour u D(a),
kBuk = kB(A is)1 (A is)uk
k(A is)uk
kAuk + skuk,
do`
u la conclusion.
Il est immediat que (A) si et seulement si il existe une suite {un }nN D(A) t.q.
kun k = 1 n N, et (A )un 0 quand n +. La caracterisation suivante precise
la partie essentielle du spectre dans le cas auto-adjoint, nous ladmettrons. 7
7. Une alternative commode consiste `
a la considerer comme une definition de e . Le fait que son
complementaire d ne contienne que les valeurs propres isolees de multiplicite finie est alors un theor`eme
`a demontrer.
35
Th
eor`
eme 11 (Crit`ere de Weyl). Soit A un operateur auto-adjoint de domaine D(A)
dans H. Les affirmations suivantes sont equivalentes :
1. e (A),
2. Il existe une suite de Weyl pour A et , cest-`a-dire une suite {un }nN D(A)
t.q.
kun k = 1 n N, un 0 et (A )un 0 quand n +,
3. Quel que soit > 0 il existe un sous-espace vectoriel L D(A) tel que
k(A )uk kuk
u L .
Th
eor`
eme 12 (Theor`eme de stabilite de Weyl). Si A est un operateur auto-adjoint et si
B est symetrique et relativement compact par rapport `
a A, alors
e (A) = e (A + B).
Demonstration. Soit e (A) et (un )nN une suite de Weyl pour A et . On ecrit
(A + B )un = (A )un + B(A i)1 (A i)un .
Comme B(A i)1 est compact et (A i)un 0, on deduit que (un )nN est une suite
de Weyl pour A + B et , de sorte que e (A + B) et ainsi e (A) e (A + B). Pour
linclusion inverse, on ecrit, si (un )nN est une suite de Weyl pour A + B et ,
(A )un = (A + B )un + B(A + B i)1 (A + B i)un
= (A + B )un + B(A i)1 (1 + B(A i)1 )1 (A + B i)un ,
et la conclusion suit pareillement. La justification de la derni`ere egalite repose sur celle
de linversibilite de loperateur (1 + B(A i)1 ). Puisque B(A i)1 est compact par
hypoth`ese, cette inversibilite est equivalente `a linjectivite du meme operateur. Or si pour
u H on avait B(A i)1 u = u, alors pour v = (A i)1 u on aurait Bv = (A i)v,
ou encore (A + B)v = iv, ce qui est impossible puisque A + B est auto-adjoint.
Nous terminons cette section par un outil elementaire mais important dont nous ferons
amplement usage d`es la section suivante.
D
efinition 12. Une application lineaire U L(H) est dite unitaire si elle est une bijection isometrique. De mani`ere equivalente, U est unitaire si
U U = U U = 1H .
Deux operateurs A et B sur H sont dits unitairement equivalents sil existe une application
unitaire U telle que
B = U AU 1 .
Cette egalite doperateurs implique en particulier que D(B) = U D(A).
Th
eor`
eme 13. Deux operateurs unitairement equivalents ont meme spectre. Lun est
auto-adjoint si et seulement si lautre lest.
36
4.3
Un peu de pratique
Loperateur laplacien peut-etre defini de mani`ere classique sur lespace des fonctions
deux fois derivables `a support compact. Comme tel il nest pas ferme. Dans la suite nous
demontrerons le
Th
eor`
eme 14. Loperateur u 7 u defini sur Cc (RN ) H = L2 (RN ) poss`ede une
unique extension auto-adjointe, notee . Le domaine de cette extension, note H 2 (RN ),
peut etre decrit de mani`ere alternative par legalite 8
Z
2 2
2
2
N
2
N
(1 + |y| ) |Fu| (y) dy < + .
H (R ) = u L (R ) t.q.
RN
(4.6)
xB
(4.7)
Demonstration. Il est immediat que Mw est ferme et symetrique. Puisque les fonctions
x 7 w(x) i sont minorees uniformement en valeur absolue, on a Im(Mw i) = L2 (B, )
avec (Mw i)1 = M(wi)1 et il suit du Theor`eme 9 que Mw est auto-adjoint. Si
nappartient pas `a limage essentielle de w, alors la fonction x 7 (w(x) )1 est definie
presque partout et bornee en dehors dun ensemble de mesure nulle. Loperateur
2
/ (Mw ). Inversement,
M(w)
1 L(L (B, )) est un inverse pour Mw de sorte que
si appartient `a limage essentielle de w, alors si (m )mN designe une suite densembles
boreliens bornes tels que (m ) > 0 et |w(x) | 2m quels que soient m N et
x n , on a k(Mw )1m k 2m k1m k et par consequent sil est injectif, loperateur
8. Il sagit dun espace dit de Sobolev.
9. Voir en annexe.
10. Il est essentiel que w soit reelle.
37
Mw ne peut pas avoir un inverse borne et d`es lors (Mw ). Enfin, legalite (4.7) se
demontre en remarquant que pour
/ (Mw ),
1
k(Mw )1 k = kM(w)
1 k = supess |w |
Imess (w)) 1 = (dist(, (Mw )))1 .
= dist(,
Corollaire 6. Loperateur A = M4|y|2 de domaine D(A) = D(M42 |y|2 ) est auto-adjoint
sur L2 (RN , dx). Son spectre, reel et purement continu, concide avec la demi-droite [0, +).
Demonstration. La seule affirmation qui ne decoule pas directement du lemme precedent
est celle concernant le caract`ere continu du spectre. Puisque A est auto-adjoint, il suffit
de montrer que A ne poss`ede pas de vecteur propre dans L2 (RN , dx), ce qui est immediat
puisque le poids 4 2 |y|2 nest constant sur aucun ensemble de mesure positive.
D
emonstration du Th
eor`
eme 14. Cest maintenant une consequence directe du Lemme
7 et du Theor`eme 13, avec le choix U = F 1 doperateur unitaire :
= F 1 M42 |y|2 F.
Il suit de (4.6) que concide avec loppose du laplacien sur Cc (RN ), et puisque Cc (RN )
est dense dans L2 (RN ) on deduit que est la fermeture (et donc aussi lunique extension
auto-adjointe) de ce dernier.
Nous ajoutons maintenant un potentiel `a loperateur de Schrodinger libre.
Th
eor`
eme 15. Soit V L2 (RN ) + L (RN ) `
a valeurs reelles avec N 3. Loperateur 11
2
N
+ V de domaine H (R ) est bien defini et auto-adjoint sur L2 (RN ).
Demonstration. On se donne une decomposition V = V2 + V avec V2 L2 (RN ) et
V L (RN ). Loperateur u 7 V u est partout defini sur L2 (RN ) et borne :
kV ukL2 (RN ) kV kL (RN ) kukL2 (RN ) .
Si u L2 (RN ) on a
u = F 1 Fu = F 1 (1 + 4 2 |y|2 )1 (1 + 4 2 |y|2 )Fu .
(4.8)
Si de plus u H 2 (RN ), on a (1+4 2 |y|2 )Fu L2 (RN ) et comme (1+4 2 |y|2 )1 L2 (RN )
pour N 3, on deduit que (1 + 4 2 |y|2 )1 (1 + 4 2 |y|2 )Fu L1 (RN ). Il suit de (4.8) et
du Theor`eme de Riemann-Lebesgue 12 que u C0 (RN ) et 13
kukL (RN ) k(1+4 2 |y|2 )1 kL2 (RN ) k(1+4 2 |y|2 )FukL2 (RN ) Ck(+1)ukL2 (RN ) . (4.9)
Ainsi, pour u H 2 (RN ) on obtient V2 u L2 (RN ) et
kV2 ukL2 (RN ) CkV2 kL2 (RN ) k( + 1)ukL2 (RN ) .
11. Par V on entend loperateur de multiplication MV .
12. Voir lannexe.
13. Cette inegalite porte le nom dinegalite de Sobolev.
38
On peut ameliorer sensiblement linegalite precedente en remarquant que quel que soit
> 0 on peut ecrire, pour u H 2 (RN ),
4
k(1 + 4 2 |y|2 ) 5 kL2 (RN ) k(1 + 4 2 |y|2 ) 5 FukL2 (RN ) k(C + 4 2 |y|2 )FukL2 (RN )
k( + C )ukL2 (RN ) .
Il sen suit que V1 et V2 sont bornes relativement `a avec une borne relative aussi petite
soit-elle. La conclusion suit alors du Theor`eme 10.
Lorsque V est suffisamment regulier et decroissant, le spectre de + V se deduit de
celui de par le Theor`eme de stabilite de Weyl.
Th
eor`
eme 16. Soit V S(RN ) `
a valeurs reelles et N 3. Le spectre de loperateur
auto-adjoint + V est compose de la demi-droite [0, +) et dune famille au plus
denombrable (i )iI de valeurs propres negatives de multiplicite finie dont 0 est lunique
point daccumulation eventuel. De plus, on a linclusion
( + V ) [Vmin , +) ,
o`
u
xRN
Demonstration. Supposons quil existe < Vmin et une suite (un )nN dans Cc (RN ) telle
que kun k = 1 pour tout n et ( + V )un 0 quand n +. On aurait alors
0 = lim h( + V )un , un i
n+
Z
Z
2
= lim
(V )|un |2 ]
[|un | +
n+
RN
RN
(Vmin ),
de sorte, puisque FV S(RN ) et que les translations agissent de mani`ere continue dans
L1 (RN ), que
lim sup sup kh Gg GgkL2 (RN ) = 0.
|h|0
kgk1
|x|>R
RN
La fonction FV appartenant `a S(RN ), il existe une constante C > 0 telle que |FV (y)|
C(1 + |y|2 )1 . D`es lors,
Z
|FV (y)|2 |4 2 |x y|2 i|2 dy C(1 + |x|2 )2 ,
RN
et par consequent (N 3)
Z
Z
|x|>R
RN
do`
u lon deduit finalement
lim sup sup
R+ kgk1
|x|>R
|Gg(x)|2 dx = 0.
40
Chapitre 5
Th
eorie du scattering pour
l
equation de Schr
odinger sur la
droite.
Dans ce chapitre nous analysons plus en details les proprietes spectrales de loperateur
de Schrodinger + V en une dimension despace et pour V on S(R). La demarche, tout
comme celle du chapitre qui suivra, est fortement inspiree par les notes de cours [7].
5.1
Potentiels `
a support compact.
Supposons pour commencer que V soit `a support compact dans [R, R]. Quel que soit
C \ {0}, en dehors du support de V lequation differentielle ordinaire
(x) + V (x) = (x)
(5.1)
se reduit `a une equation `a coefficients constants, dont toutes les solutions sont donnees
par les combinaisons lineaires des ondes monochromatiques exp(ikx) et exp(ikx), o`
u
+ (le demi-plan complexe superieur Im(z) 0) est tel que 1
kC
k 2 = .
(5.2)
pour x < R.
Pour ces solutions, il existe des coefficients g+ (k), g (k), d+ (k), d (k) C tels que
(
g (x, k) = g+ (k) exp(ikx) + g (k) exp(ikx)
pour x < R,
d (x, k) = d (k) exp(ikx) + d+ (k) exp(ikx)
pour x > R.
1. Pour R le nombre k est determine au signe pr`es, ce qui nest pas genant.
41
g (, k) et
g (, k) sont egalement solutions de (5.1), et des asympLorsque k R \ {0},
totiques ci-dessus on deduit
(
d (x, k) + g (k)d (x, k)
g (x, k) = g+ (k)
(5.3)
g (x, k) + d+ (k)g (x, k).
d (x, k) = d (k)
Lemme 8. Pour k R \ {0}, on a
1. g+ (k) = d (k),
(1 2 1 2 ) = 1 2 1 2 = (V )1 2 (V )1 2 = 0,
de sorte que la fonction 1 2 1 2 est constante sur R. On obtient les trois affirmations
de lenonce en choisissant respectivement pour le couple (1 , 2 ) les valeurs (g , d ),
g ) et (d ,
d ) et en identifiant les limites de 1 2 1 2 en + et .
(g ,
En particulier, pour k R \ {0}, on a |g+ (k)| = |d (k)| 1. On pose
ag (k) = g+ (k)1 ,
ad (k) = d (k)1 ,
de sorte que
(
d (x, k)
ag (k)g (x, k) = bg (k)d (x, k) +
g (x, k),
ad (k)d (x, k) = bd (k)g (x, k) +
(5.4)
5.2
42
x+
(5.6)
Exercice 13. Montrer que si g(, k) et d(, k) sont supposees bornees, les probl`emes aux
limites 5.6 et 5.5 sont equivalents aux equations integrales
Z
exp(2ik(y x)) 1
g(x, k) = 1 +
V (y)
g(y, k) dy,
(5.7)
2ik
x
et
d(x, k) = 1 +
V (y)
exp(2ik(x y)) 1
d(y, k) dy.
2ik
(5.8)
dn+1 (x, k) =
V (y)
gn (x, k)
et
exp(2ik(x y)) 1
dn (y, k) dy
2ik
d(x, k) =
n=0
dn (x, k),
(5.9)
n=0
(Id T ) (f ) =
T n (f )
n=0
3. Ici et dans la suite les derivations notees sentendent par rapport `a la variable x.
43
appliquee `a f = 1, o`
u T designe loperateur
Z
exp(2ik(y x)) 1
f (y) dy.
T (f )(x) =
V (y)
2ik
x
Puisque V S(R), on montre facilement que T agit de mani`ere lineaire continue sur
lespace affine des fonctions bornees continues qui tendent vers 1 en moins linfini muni de
la distance du supremum. En general, T nest pas une contraction. Toutefois, nous allons
montrer par recurrence que
n
gn (x, k) = T n (1)(x, k) 1 P V (x) ,
(5.10)
n!
|k|
o`
u
P V (x) =
|V (y)| dy.
Linegalite (5.10) est une egalite pour n = 0. Utilisant lhypoth`ese de recurrence, nous
ecrivons
Z
exp(2ik(y x)) 1
gn+1 (x, k)
gn (y, k) dy
V (y)
2ik
x
Z
|V (y)|
|gn (y, k)| dy
|k|
x
n
Z
|V (y)| 1 P V (y)
dy
(5.11)
|k| n!
|k|
x
n
Z
d P V (y) 1 P V (y)
dy
)
(
=
dy |k| n!
|k|
x
n+1
1
P V (x)
=
,
(n + 1)!
|k|
ce qui termine
de demontrer (5.10). Puisque P V est globalement bornee, on deduit que
P
la serie n gn (x, k) converge uniformement pour x R et k en dehors dun voisinage de
lorigine. On peut ainsi faire commuter T et la serie, ce qui conduit au resultat dexistence.
Unicit
e. Il suffit de remarquer que du fait des proprietes de decroissance de V , pour
x0 suffisamment grand, loperateur T est une contraction si on le consid`ere cette fois
uniquement sur lespace des fonctions definies, bornees, et continues sur [x0 , +) tendant
vers 1 en plus linfini, muni de la distance uniforme.
R
egularit
e. Une limite uniforme de fonctions continues est continue. Une limite uniforme de fonctions analytiques est analytique. La conclusion suit des formules (5.9) et
des proprietes classiques de continuite et danalyticite des integrales dependant dun param`etre.
Pour k R \ {0}, les fonctions g+ , g , rk et r sont definies comme dans (5.3). Le
Lemme 8 se transpose aussi ici sans modification.
D
efinition 13. Pour k R \ {0}, la matrice
1
ag (k) bd (k)
1
d+ (k)
=
S(k) =
bg (k) ad (k)
1
g+ (k) g (k)
est appelee matrice de scattering de V au nombre donde k. Cette matrice est unitaire.
44
D
efinition 14. Les fonctions g+ et d definies jusqualors sur R \ {0} sont etendues a`
+
g+ (k) = d (k) =
(5.12)
+ \{0}.
pour laquelle les deux derniers termes sont independants de x et definis pour k C
Corollaire 7. On a
+ \ {0} et analytiques sur C+ .
1. Les fonctions g+ et d sont continues sur C
2. Pour k C+ ,
1
g+ (k) = lim g(x, k) = 1
x
2ik
V (y)g(y, k) dy,
R
Z
1
V (y)d(y, k) dy,
d (k) = lim d(x, k) = 1
x+
2ik R
les deux quantites etant par ailleurs egales. En particulier,
Z
1
V (y) dy + O(|k|2 ),
|k| +.
g+ (k) = d (k) = 1
2ik R
3. Pour k R \ {0},
Z
1
g (k) =
V (y) exp(2iky)g(y, k) dy,
2ik R
Z
1
V (y) exp(2iky)d(y, k) dy.
d+ (k) =
2ik R
Nous nous interessons maintenant au comportement des fonctions g, d, g+ et d lorsque
|k| 0. Lestimation (5.11) diverge selon cette asymptotique. Nous la remplacons par une
estimation mieux adaptee dans ce cas.
Proposition 8. Pour k = 0, les equation integrales (5.7) et (5.8) poss`edent chacune
une unique solution continue. 4 Les fonctions g et d, ainsi que leurs derivees dordres
+.
quelconques selon x et k sont continues sur R C
Demonstration. Le raisonnement est similaire `a celui de la Proposition 7. Le point cle est
de remplacer lestimation (5.11) par 5
o`
u
P V (x) =
gn (x, k) 1 (x P V (x) + P V1 (x))n ,
n!
|V (y)| dy
et
P V1 (x) =
|V (y)||y| dy.
4. En general toutefois, g(x, 0) nest pas bornee lorsque x et d(x, 0) nest pas borne lorsque
x +.
5. On designe par x la partie negative de x : x = max(0, x).
45
on a
Z
exp(2ik(y x)) 1
gn+1 (x, k)
gn (y, k) dy
V (y)
2ik
x
Z
|V (y)|(|y| + x)|gn (y, k)| dy
x
Z
1
|V (y)|(|y| + x ) (y P V (y) + P V1 (y))n dy
n!
Zx
1
|V (y)|(|y| + x ) (x P V (y) + P V1 (y))n dy
n!
Zx
1 P V (x) n
d
dy
=
x P V (y) + P V1 (y)
dy
n!
|k|
x
1
(x P V (x) + P V1 (x))n+1 .
=
(n + 1)!
(5.13)
1
Lorsque k = 0, la fonction 2ik
(exp(2ik(y x)) 1) est remplacee par la fonction y x,
qui nest autre que sa limite ponctuelle lorsque k 0.
Les affirmations de lenonce de la proposition suivent sans trop de difficulte. Pour les
derivees dordre superieur, on est amene `a utiliser des moments dordre superieur de V.
Les details sont laisses en exercice.
+ \ {0} ne sannulent
Corollaire 8. Les fonctions g+ (k) = d (k) definies pour k C
pas sur un voisinage de 0. Les coefficients de transmission ag (k) = ad (k) definis pour
k R \ {0} comme les inverses de g+ (k) = d (k) admettent un prolongement continu en
k = 0, tout comme les coefficients de reflexion bg (k) et bd (k) definis par (5.4).
+ \ {0}
Demonstration. Rappelons que par (5.12), pour k C
2ikg+ (k) = 2ikd (k) = g (x, k)d (x, k) g (x, k)d (x, k) W (k).
+ et d`es lors,
Par la proposition precedente, la fonction W est reguli`ere sur C
W (k) = W (0) + W (0)k + O(|k|2 )
lorsque k 0.
46
5.3
Coefficients de scattering.
g+ (k) = 0
Dans ce cas, par unicite des g et d on deduit quil existe des constantes (j )j1, ,
R \ {0} telles que
d (, ij ) = j g (, ij )
j 1, , .
Largumentation qui prec`ede permet de preciser le Theor`eme 16 dans le cas de la
dimension 1 despace :
Th
eor`
eme 17. Soit V S(R) `
a valeurs reelles. Le spectre de loperateur auto-adjoint
+ V est compose de la demi-droite [0, +), correspondant a` du spectre purement
continu, et dune famille finie (eventuellement vide) 21 < < 2 < 0 de valeurs
propres negatives de multiplicite 1. De plus, si 1 on a lestimation
21 inf V (x).
xRN
x+
D
efinition 15. Les coefficients de scattering du potentiel V S(R) sont definis par
1. les valeurs propres (2j )j{1, ,} et les reels (Cj )j{1, ,} ,
Remarque 7. En fait nous verrons que pour ce qui est des coefficients de reflexion, la
connaissance dune seule des deux fonctions bg et bd ferait laffaire.
47
5.4
Repr
esentation int
egrale de g et d.
+ , les fonctions 6
Dans les sections precedentes, nous avons construit, pour k C
g(x, k) = exp(ikx)g (x, k).
Nous allons montrer que pour x fixe, la transformee de Fourier de g(x, ) par rapport `a
k est `a support dans la demi-droite positive. Lidee sous-jacente est que les bornes sur
+ , ne sont compatibles avec les caract`eres de Fourier exp(iks) que
k 7 g(x, k), k C
+ , cest-`a-dire lorsque s 0.
lorsque ceux-ci sont bornes sur C
Dans le reste de la section, le symbole F se ref`ere `a la transformee de Fourier par
rapport `a la variable k.
+ , et que
Nous avons dej`a etabli que g est continue sur R C
g(x, k) 1 = O(|k|1 )
lorsque |k| +,
uniformement par rapport a` x. Il sen suit que dune part, pour x R fixe, la fonction
1
k 7 g(x, k) 1 appartient `a L2 (R), et dautre part, la fonction x 7 2
F g(x, ) 1 est
continue de R dans L2 (R).
+ R telle que
Th
eor`
eme 18. Il existe une fonction N : R R
+,
1. N est continue sur R R
2. La fonction x 7 N (x, ) est continue de R dans L1 (R+ ),
3. Quel que soit x R,
1
F g(x, ) 1 (s) = N (x, s)1s0 .
2
De plus, on a lidentite
1
N (x, 0) =
2
de sorte que
V (x) = 2
V (y) dy,
N (x, 0).
x
(5.14)
X
exp(2ik(y x)) 1
V (y)
g(x, k) 1 =
dy +
gn (x, k),
2ik
x
n=2
Z Z
X
V (z) dz exp(2ik(y x)) dy +
gn (x, k),
=
y
1
=
2
avec
Z Z
R
x+ 21 s
(5.15)
n=2
gn (x, k),
n=2
gn (x, k) = O(|k|2 )
n=2
lorsque |k| +,
(5.16)
6. Le raisonnement qui suit peut-etre accompli aussi bien pour g que d , un seul choix suffit.
48
Comme V S(R), J0 est indefiniment derivable pour x R et s > 0, et decrot plus vite
que sn lorsque s +, quel que soit n N, uniformement pour x dans un compact de
R. Il est immediat den deduire que
x 7 J0 (x, ) C(R, C0 (R)) C(R, L1 (R)).
Il suit de (5.16) et du Theor`eme de Riemann-Lebesgue 7 que
1 X
F
gn (x, ) C(R, C0 (R)).
x 7 J1 (x, )
2
n=2
prolongee par (x y) pour k = 0 est (indefiniment)
La fonction k 7 exp(2ik(xy))1
2ik
derivable sur R. D`es lors, un calcul similaire `a celui de la demonstration de la Proposition
7 nous am`ene `a la conclusion que
X
x 7 Id +
gn (x, ) C(R, L2 (R)).
k n=2
X
n=2
P
P
1
et enfin par linegalite de Holder, ecrivant
g
(x,
)
=
(1
+
is)
(1
+
is)
n
n=2
n=2 gn (x, ),
que
x 7 J1 (x, ) C(R, L1 (R)).
Pour terminer la demonstration, il nous suffit donc de demontrer que
J1 (x, s) = 0
s 6= 0, x R,
P
autrement dit, puisque k 7 n=2 gn (x, k) L1 (R), que
Z X
gn (x, k) exp(iks) dk = 0
s 6= 0, x R.
R n=2
P
+
Par continuite de k 7
n=2 gn (x, k) sur C on a
Z X
Z RX
R n=2
R n=2
X
gn (x, k + i) exp(i(k + i)s) dk =
gn (x, z) exp(izs) dz,
R n=2
R, n=2
7. Voir annexe.
49
o`
u R, designe larc de cercle dans C+ centre `a lorigine, de rayon R, et dont les extremites
sont donnees par R + i et R + i. Pour s 6= 0, on a | exp(izs)| 1 lorsque z C+ . On
deduit alors de (5.16) que
Z
R, n=2
lorsque R +.
+.
La conclusion suit en definissant N (x, s) = J0 (x, s) + J1 (x, s) sur R R
+ on a lidentite
Corollaire 9. Pour x R et k C
Z
g (x, k) = exp(ikx) +
K(x, s) exp(iks) ds
(5.18)
o`
u le noyau K est defini sur {(x, s), x R, s x} par
K(x, s) = N (x, s x).
Le potentiel V S(R) se deduit du noyau K par la relation
V (x) = 2
d
K(x, x).
dx
(5.19)
Multipliant les deux membres de cette equation par exp(ikx) on obtient (5.18).
Pour x fixe, les deux fonctions de k constituant les deux membres de (5.20) sont conti + , et analytiques sur C+ . Par le point precedent, ces deux fonctions
nues et bornees sur C
ont meme trace sur R. Par unicite du prolongement analytique borne, on conclut quelles
+.
sont egales sur C
50
Chapitre 6
Scattering inverse pour lop
erateur
de Schr
odinger sur la droite.
Le Corollaire 9 permet de retrouver le potentiel V `a partir de la connaissance des
fonctions dondes g (, k). En general cependant, la connaissance de celles-ci nest pas
explicite. Le but de ce chapitre est de montrer que lon peut retrouver le potentiel V
uniquement en termes des coefficients de scattering, cest-`a-dire grosso modo en termes
des asymptotiques des g en plus et moins linfini.
Le resultat principal que nous allons demontrer est le
Th
eor`
eme 19 (Gelfand-Levitan-Marchenko [9, 1] 1 ).
Existence. Le noyau N defini dans la section precedente verifie lequation integrale
de Gelfand-Levitan-Marchenko :
Z
N (x, t)B(2x + s + t) dt = 0
s 0, x R,
(6.1)
B(2x + s) + N (x, s) +
0
o`
u
B(z) = Bdiscr (z) + Bcont (z) =
X
j=1
Cj2
1
exp(j z) +
2
(6.2)
Unicit
e. Quel que soit x R fixe il existe une unique solution N (x, ) a` (6.1) qui
appartienne `
a L2 (R+ ).
Demonstration. Commencons par lexistence, ou plutot la verification du fait que N verifie
(6.1). La demonstration repose de mani`ere quasi exclusive sur lune ou lautre des identites
5.4. Choisissons par exemple
g (x, k),
ad (k)d (x, k) = bd (k)g (x, k) +
valable pour k R et x R. En termes des fonctions g et d, celle-ci se recrit
ad (k)d(x, k) = bd (k)g(x, k) exp(2ikx) + g(x, k).
1. Lattribution des decouvertes mathematiques est un exercice parfois perilleux, lauteur nest en rien
responsable du choix opere ici, que lion qualifiera dusage courant.
51
(6.3)
Etape 1. On a
F
1
bd exp(2ikx) (x, s) =
2
(6.4)
2F1 bd exp(2ikx)F1 N (x, s)
Z
Z
1
N (x, t) exp(ikt) dt exp(isk) dk
bd (k) exp(2ikx)
=
2 R
0
Z
Z
1
=
N (x, t) bd (k) exp ik(2x + s + t) dk dt
2
R
Z 0
=
N (x, t)Bcont (2x + s + t) dt.
(6.5)
1
+,
exp(iks) est bien defini 4 pour k C
Pour x et s fixes, lintegrant ad (k)d(x, k) 1 1ik
1
+ . Puisque ad = g+
meromorphe sur C+ et continu sur C
, les poles eventuels de lintegrant
2. Dans la suite on confond N et son extension par zero sur R .
3. On verifiera sans peine au moyen du Corollaire 7 que tous les termes auxquels on applique F1 sont
(continus `a valeurs dans) L2 (R) (terme du membre de gauche) ou L1 (R) L2 (R) (termes du membre de
droite).
4. Jusqu`
a present nous navons definis les coefficients de transmission et de reflexion que sur R, mais
+ tout entier.
les expressions pour g et d fournies par le Corollaire 7 setendent `a C
52
res(ad , ij )d(x, ij )
j=1
1
exp(j s),
1 + j
lintegrale sur larc de cercle tend vers 0 lorsque R +. Faisant ensuite tendre vers
0 on obtient
F1 ad d 1)(x, s) = i
j=1
(6.6)
Etape 4. Il nous reste `a calculer les residus de ad aux points ij , j = 1, , . Nous
d
d
g+ (ij ) = dk
d (ij ). Comme la
fixons j et allons determiner la valeur (non nulle) de dk
convergence enoncee au Corollaire 7 point 2 est uniforme pour k dans un compact de C+
et que les fonctions en presence sont analytiques, il suit que pour k C+
d
d (k) = lim k d(x, k)
x+
dk
(6.7)
et aussi que
0 = lim k x d(x, k) = lim k x d(x, k) = lim k d(x, k).
(6.8)
(x, k) = d(x, k)k x d(x, k) k d(x, k)x d(x, k) exp(2ikx)
(6.9)
x+
On pose
de sorte quen utilisant (5.6) on aboutit `a lequation differentielle ordinaire
x (x, k) = 2id(x, k)x d(x, k) exp(2ikx) = i x 2d + 2ik2d
lim (x, k) = 0,
i2d (x, k)
2k
53
2d (y, k) dy.
(6.10)
et de la meme mani`ere
2j j = lim exp(2ikx)x d(x, k).
x+
(6.12)
d (y, ij )2 dy)1 .
(6.14)
ad d 1)(x, s) =
X
j=1
j (
(6.15)
ad d 1)(x, s) =
j=1
54
(6.16)
ad d 1)(x, s) =
j=1
N (x, t)
(6.17)
j=1
= Bdiscr (s + 2x)
M (t) exp(ikt) dt
M (s) exp(iks) ds bd (k) exp(2ikx) dk
2 R 0
0
Z Z
2
1
=
M (s) exp(iks) ds bd (k) exp(2ikx) dk,
2 R
0
et dautre part, par lidentite de Plancherel
Z Z
Z
2
1
2
M (s) exp(iks) ds dk.
M (s) ds =
2
0
R
0
(6.19)
(6.20)
(6.21)
Comme |ad |2 + |bd |2 = 1 avec ad (k) = g+ (k)1 6= 0 sur R \ {0}, on a |bd (k)| < 1 sur R \ {0},
de sorte que (6.21) implique
Z Z
2
M (s) exp(iks) ds dk.
0=
0
55
56
Chapitre 7
R
esolution de l
equation de KdV par
scattering inverse.
Dans les deux chapitres precedents, le potentiel V etait fixe une fois pour toutes. Dans
la Section 4.1, nous avons apercu quil etait utile detudier loperateur de Schrodinger
7 xx + V (x) pour lequel V (x) = u(x, t) avec u solution de lequation de KdV.
Si u(x, 0) = u0 (x) S(R), la theorie de Cauchy 1 pour KdV nous apprend quil existe
une unique solution u telle t 7 u(, t) C ([0, +), S(R)). Pour chaque t 0, on note
Ltu loperateur auto-adjoint 2
Ltu = xx + u(x, t)
H 2 (R).
Les valeurs propres negatives (qui sont toutes de multiplicite 1) ont ete associees au
Chapitre 5 aux zeros dans C+ de la fonction g+ , ces zeros etant tous non degeneres (etape
4 de la demonstration du Theor`eme 19). Dautre part, la representation (5.9) des fonctions
g et d, et ensuite celle du Corollaire 7 des fonctions g et d , permettent de conclure que
toutes ces fonctions dependent de mani`ere reguli`ere du potentiel V , et par consequent de
t dans le cas qui nous interesse. Le theor`emes des fonctions implicites nous permet alors
de decrire le spectre ainsi que les modes et quasi-modes de Ltu au moyen de
1. fonctions reguli`eres t 7 j (t) avec 1 j (les valeurs propres etant egales `a
2j (t))
2. pour chaque j 1, , , la fonction propre (reelle) normalisee
x 7 j (x, t) = g (x, ij (t), t)/kg (, ij (t), t)kL2 (R) ,
dont la dependance en t est reguli`ere,
3. pour chaque k R+ , le quasi-mode
x 7 d (x, k, t)
dont la dependance en t est reguli`ere.
Th
eor`
eme 20. Lorsque u verifie lequation de Korteweg - de Vries, les fonctions j (t)
ne dependent pas de t.
1. Que nous naborderons pas ici.
2. Voir le Theor`eme 15.
57
(7.1)
(7.3)
D`es lors,
[xx (u )] xxx = [xx (u )] (x u + (u )x ) ,
=x u [xx (u )] + xxx u + 2xx ux
+ (u ) [xx (u )] x + xx ux + 2x uxx
= (xxx u + 3(u )x u) + 3xx ux ,
(7.4)
o`
u lon a utilise (7.1) et (7.3). Afin deliminer le terme en x dans le dernier terme de
(7.4), on evalue
[xx (u )] (ux ) = u [xx (u )] x + xx ux + 2x uxx
= (3ux u 2x u) + xx ux .
(7.5)
(7.6)
et finalement
[xx (u )] (t + xxx 3(u + )x ) = (t u + xxx u 6ux u) it j . (7.7)
Puisque u verifie lequation de KdV, il sen suit
[xx (u )] (t + xxx 3(u + )x ) = it j .
(7.8)
En posant
Rut = t + xxx 3(u + )x ,
il vient pour le Wronskien
x (Rut )x x (Rut ) = it j 2 .
0 = it j
do`
u la conclusion suit sachant que est reelle.
Th
eor`
eme 21. Les coefficients de scattering de Ltu evoluent suivant les lois
Cj (t) = exp(42j t)Cj (0),
bd (k, t) =
j {1, , },
k R+ ,
k R+ .
(7.9)
Comme j est normalisee, la premi`ere integrale sannule. La seconde est nulle car lintegrant
est une derivee totale. On conclut `a la nullite de Kj , et ainsi `a legalite 3
Rut d = t d + xxx d 3(u + )x d = 0.
(7.10)
quand x +,
(7.11)
dp
Cj (t)(j )q exp(j x)
dtp
quand x +.
(7.12)
do`
u la loi pour Cj (t).
Venons en maintenant aux coefficients de reflexion et de transmission, et fixons k R+ ,
= k2.
Un calcul identique `a celui utilise dans la demonstration du Theor`eme 20, applique
cette fois `a = d = d (,k, t), am`ene `a la conclusion
[xx (u )] Rut d = 0.
3. Les fonctions j et d etant multiples lune de lautre.
59
(7.13)
(7.14)
d ad (k, t) exp(ikx)
et
g ag (k, t) exp(ikx),
On obtient
t ad + 4ik 3 ad exp(ikx) = k exp(ikx) + bg exp(ikx) + k ad exp(ikx),
et
t bd 4ik 3 bd exp(ikx) + 4ik 3 exp(ikx) = k ag exp(ikx)k exp(ikx) + bd exp(ikx) .
Par identification des coefficients de exp(ikx) et exp(ikx) dans les deux egalites qui
prec`edent, on aboutit aux relations
k = 0,
k = 4ik 3
et
et finalement `a
t ad = 0,
t bd = 8ik 3 bd ,
do`
u les lois annoncees pour bd et ad suivent par integration.
La methode de resolution de KdV par scattering inverse est maintenant simple : `a
la donnee initiale u0 S(R) on associe ses donnees de scattering, on les fait evoluer
suivant les lois ci-dessus, et on recouvre u(, t) au moyen de lequation de Gelfand-LevitanMarchenko.
Pour quelle soit operante, il faut etre `a meme de calculer les coefficients de scattering
de la donnee initiale (etape 1) et de resoudre lequation de Gelfand-Levitan-Marchenko
(etape 3), ce qui en pratique peut se reveler ardu. Aussi, nous etudierons le cas particulier
mais neanmoins important des potentiels dits sans reflexion, et qui correspondent aux
solutions en multi-solitons evoquees au premier chapitre.
7.1
Solutions en multi-solitons
60
On se fixe ainsi nombres reels positifs 0 < < < 1 et nombres reels positifs
Cj , j = 1, , . Pour ces coefficients, et supposant que la fonction bd soit nulle, le noyau
B intervenant dans lequation de Gelfand-Levitan-Marchenko secrit
B(z) =
j=1
Cj2
j=1
Cj2
exp(j y)
j=1
K(x, t) exp(j t) dt = 0,
(7.15)
quels que soient x R et y x. Ecrite sous cette forme, il est clair que lon peut
chercher une solution sous la forme
+
K(x, y) =
k=1
(le signe moins et la normalisation par Ck sont simplement commodes pour la suite)
En remplacant lAnsatz ci-dessus dans (7.15) et en identifiant les termes en facteurs des
exp(j y) on obtient le syst`eme
fj (x) +
Cj Ck fk (x)
k=1
(7.16)
j = 1, , , ou encore
fj (x) +
Cj Ck
k=1
exp((j + k )x)
fk (x) = Cj exp(j x),
j + k
(7.17)
(I + T )f = b,
o`
u f = fj
1j
hT g, gi =
(7.18)
. La matrice T est definie positive, en effet quel que soit g = (gj )1j ,
X
j=1
exp((j + k )x)
=
gj gk Cj Ck
j + k
k=1
gj Cj exp(j y)
j=1
!2
dy,
et d`es lors I +T est inversible quel que soit x. On resout (7.18) par la methode de Cramer.
Le determinant de I + T est donne, lorsquon le developpe suivant la colonne k, par
X
exp((j + k )x)
det(I + T ) =
jk + Cj Ck
Tjk ,
j + k
j=1
61
o`
u Tj,k designe le cofacteur dindice (j, k) de T. Ainsi, on obtient
fk = fk (x) =
Cj exp(j x)Tj,k .
j=1
En particulier,
K(x, x) =
Ck fk (x) exp(k x)
k=1
Cj Ck exp((j + k )x)Tj,k
(7.19)
j=1 k=1
d
= 1 ,
dx
la derni`ere egalite suivant du caract`ere multi-lineaire du determinant.
On obtient ainsi le
Th
eor`
eme 22 (Gardner, Greene, Kruskal, Miura [8]). Tout potentiel sans reflexion peut
secrire sous la forme
d2
V = 2 2 log det(I + T ),
dx
o`
u T est defini comme ci-dessus au moyen de 1 reels positifs (Cj )1j et reels
positifs distincts (j )1j .
Le choix = 2, 1 = 2, 2 = 1 permet par exemple de retrouver lexemple de 2-soliton
du Chapitre 1, modulo un facteur de translation en espace et en temps.
Nous allons maintenant analyser plus en details le comportement en temps grand (positif ou negatif) des solutions correspondant `a un potentiel sans reflexion. Nous verrons
quelles se comportent alors comme une superposition de solitons.
Pour ce faire, on recrit
d X
d
Cj fj (x) exp(j x)
V = 2 K(x, x) = 2
dx
dx j=1
2
=2
d X
Fj (x)
dx j=1
(7.20)
Fj (x),
j=1
P
et on sinteresse `a lasymptotique lorsque t de
Fj , enP
choisissant V = u(, t).
Cette analyse necessite aussi de sinteresser `a lasymptotique de
Fj .
Le syst`eme (7.17) devient 4
X
Fk (x, t)
k=1
j + k
= 1,
62
(7.21)
X
F (x, t)
k
k=1
j + k
(7.22)
j = 1, , .
42j0
Cest dans ce (chacun de ces) rep`ere(s) que nous allons analyser lasymptotique en temps
grand. Remarquons que lon a
Cj2 (t) exp(2j x) = Cj2 (0) exp(83j t + 2j x)
= Cj2 (0) exp(2j ) exp(8j (2j 2j0 )t)
Dj () exp(8j (2j
(7.23)
2j0 )t).
X
Fk (x, t)
k=1
j + k
= 1,
(7.24)
j = 1, , , et
Dj () exp(8j (2j 2j0 )t)Fj (x, t)+
X
F (x, t)
k
k=1
j + k
(7.25)
j = 1, , . On passe `a la limite t + dans (7.24) et (7.25), `a fix
e, ce qui am`ene,
en posant 6
Fj = lim Fj ( + 42j0 t, t), Fj = lim Fj ( + 42j0 t, t)
t+
`a :
( P
j0
Fk
k=1 j +k
Fj = 0,
et `a
t+
j = 1, , j0 ,
j = j0 + 1, , .
( P
j0
Fk
k=1 j +k
j = 1, , j0 ,
j = j0 + 1, , .
(7.26)
(7.27)
1
M =
j + k 1j,kj0 1
et M celle obtenue `a partir des M en remplacant la derni`ere colonne par une colonne de
uns.
5. On note prime la derivation en la variable despace.
6. Fj est une notation, pas une derivee.
63
(7.28)
o`
u les Mkj se ref`erent aux cofacteurs de M. Pour j = j0 , on a aussi
Fj0 =
detM
detM + Dj0 detM
Fj0 =
(7.29)
Fj =
2Dj0 j0
detM/detM
On remarque que 7
Qj0 1
j=1
detM = Qj0
(j0 j )
j=1 (j0
et 8
Qj0 1
j=1
detM = Qj0
+ j )
(j0 j )
j=1 (j0
+ j )
2 .
(7.30)
detM
detM .
t+
j0
X
j=1
Fj = 163j0 Dj0
j0 1
Y
j=1
j 0 + j
j 0 j
2 "
1 + 2j0 Dj0
j0 1
Y
j=1
j 0 + j
j 0 j
2 #2
(7.31)
On se rappelle que
Dj0 = Cj0 (0)2 exp(2j0 ),
et on definit j+0 par la relation
exp(2j0 j+0 )
2
j0 1
Cj0 (0)2 Y j0 + j
=
2j0 j=1 j0 j
t+
o`
u cette fois j0 est defini par
exp(2j0 j+0 )
2
j 0 + j
Cj0 (0)2 Y
.
=
2j0 j=j +1 j0 j
0
64
(7.32)
(7.33)
0
X
X
1
j
j
j
j
0
0
j+0 j0 =
log
.
log
j0 j=1
j + j 0
j
0 + j
j=j +1
0
Remarque 8. La formule ci-dessus montre clairement que le dephasage total subi par
un soliton est la somme de dephasages partiels engendres par chacune des collisions avec
chaque autre soliton.
65
Annexe A
Transformation de Fourier et
distributions temp
er
ees
Dans cette appendice, on regroupe, sans en fournir de demonstrations, une serie de
concepts et de resultats fondamentaux lies `a la transformation de Fourier. Pour plus de
details, voir par exemple [12].
D
efinition 16. La transformee de Fourier de u L1 (RN ) est definie en tout point y de
N
R par
Z
u(x) exp(2ix y) dx.
Fu(y) =
RN
Th
eor`
eme 24 (Riemann-Lebesgue). Si u L1 (RN ), alors Fu C0 (RN ).
Il est utile de determiner un espace pour lequel la transformation de Fourier soit une
transformation interne.
D
efinition 17. La classe de Schwartz des fonctions `
a decroissance rapide est definie par
N
N
N
S(R ) = u C (R ) t.q. , N , sup |x u(x)| < + ,
xRN
o`
u pour un multi-indices = (1 , , N ) NN , on note
|| = 1 + + N ,
x = x1 1 xNN ,
= x11 xNN .
Th
eor`
eme 25. La transformation de Fourier est une bijection lineaire de S(RN ) dans
S(RN ) qui de plus verifie la formule dinversion
FFu(x) = u(x),
u S(RN ), x RN .
D
efinition 18. Pour une fonction u : RN C, on definit ses fonctions translatees
a u(x) = u(x a), a RN ,
ainsi que ses fonctions dilatees
x
u(x) = u( ), R \ {0}.
66
3. Fa u = exp(2ia y)Fu,
4. F u = ||N 1/ Fu,
5. uv S(RN ), u v S(RN ),
6. Fu Fv = F(uv),
7. F(u v) = FuFv.
(Fu)v =
RN
u(Fv)
RN
do`
u on deduit par la formule dinversion lidentite de Plancherel
Z
Z
2
|u|2 .
|Fu| =
RN
RN
Puisque S ( RN ) (qui contient Cc (RN )) est dense dans L2 (RN ) et puisque F est unitaire pour la norme L2 (RN ) sur S ( RN ), on peut etendre par continuite F en une unique
application lineaire unitaire
de L2 (RN) dans L2 (R)N . On demontre que cette extension
concide avec F sur L1 (RN ) \ S(RN ) L2 (RN ).
Th
eor`
eme 26. La transformation de Fourier est une bijection unitaire de L2 (RN ) dans
L2 (RN ), et quel que soit u L2 (RN ) on a la formule dinversion
F 1 u = 1 Fu = F1 u.
On introduit une structure de convergence sur S(RN ) afin de sembarquer dans la
dualite et les distributions temperees.
D
efinition 19. Une suite (un )nN dans S(RN ) converge vers u S(RN ) si et seulement
si
lim sup |x (u un )| = 0, , NN .
n+ xRN
D
efinition 20. Lespace des distributions temperees sur RN est defini par
S (RN ) = T : S(RN ) C, t.q. T est lineaire et sequentiellement continue .
f (x)u(x) dx,
RN
u S(RN )
N
S (R ) et on a la formule dinversion
F 1 T = 1 FT = F1 T
T S (RN ).
Proposition 13. On a 1
Fa = exp(2ia y),
et en particulier
Pour u S(RN ), on en deduit
F = 1.
u = u,
pour laquelle
1
F u(x) =
2
1
RN
69
Bibliographie
[1] Z.S. Agranovich, V.A. Marchenko, The inverse problem of scattering theory. Translated from the Russian by B. D. Seckler Gordon and Breach Science Publishers,
New York-London 1963.
[2] J. Boussinesq, Theorie de lintumescence liquide, appelee onde solitaire ou de translation, se propageant dans un canal rectangulaire, Comptes Rendus Acad. Sci. Paris
1871.
[3] J. L. Bona et R. Smith, The initial-value problem for the Korteweg-de Vries equation, Philos. Trans. Roy. Soc. London Ser. A 278 (1975), no. 1287, 555601.
[4] L. Brillouin, Sur une methode de calcul approchee de certaines integrales dite
70