Universit de Rennes 1

Prparation lagrgation
de mathmatiques
Auteur du document :

R. Carles

Theor`eme de la phase stationnaire

http://www.maths.univ-rennes1.fr/carles/ENS/
Pour arriver `a presenter ce resultat en developpement, on peut (doit ?)
se restreindre au cas dune seule variable. On peut aussi se contenter de
calculer un equivalent de lintegrale, et seulement mentionner lexistence
dun developpement asymptotique `a tout ordre.
Th
eor`
eme 1 Soient u C0 (R, C), C (R, R). On suppose que poss`ede un unique point critique sur supp u, et que ce point critique est non
degenere :
!xc supp u/0 (xc ) = 0, et 00 (xc ) 6= 0.
Z +
ei(x) u(x)dx. Alors (si u(xc ) 6= 0),
On note I() :=

(1)

I()

00

2 ei 4 sgn (xc )
u(xc )ei(xc ) .
|00 (xc )|1/2

De plus, il existe des operateurs differentiels A2 dordre au plus 2 tels que

pour tout N 1,

N
1 i(xc )

X
CN
e
d

(2)
)
A
u
(x
1 +N ,
I()
2
c
1
+
2

dx
2
=0
o`
u CN depend de u et de .
Remarques :
1. Par partition de lunite, cette formule se generalise au cas o`
u a
plusieurs (forcement un nombre fini) points critiques non degeneres
sur supp u : les contributions de chaque point critique se superposent.
2. Ce resultat se generalise au cas de la dimension quelconque. La derivee
seconde de la phase est remplacee par sa hessienne, le signe par la
signature de la hessienne, et la premi`ere racine dans (1) devient une
puissance n/2.
3. Dans le theor`eme, on peut aussi supposer que u est un element de
lespace de Schwartz S(R) (et que poss`ede un unique point critique,
non degenere).
1

D
emonstration : pour simplifier les ecritures, on suppose que xc = 0. La
preuve du theor`eme sorganise alors comme suit :
1. On factorise la phase pr`es de 0 pour la rendre quadratique sur un
voisinage de lorigine.
2. On montre que les contributions en dehors de ce voisinage sont negligeables dans lintegrale I().
3. Par changement de variable, on se ram`ene `a une phase quadratique.
4. On donne un sens `a

ei

x2
2

dx et on en donne la valeur.

5. La preuve se termine par application de la formule de Parseval.

1. Dapr`es la formule de Taylor avec reste integrale,
Z
x2 1
2(1 t)00 (tx)dt.
(x) (0) =
2 0
Par hypoth`ese, 00 (0) 6= 0, donc il existe un voisinage U de lorigine tel que
00 ne sannule pas sur U . On definit
Z

(x) := x

1
0

1/2

2(1 t) (tx)dt .
00

La fonction est de classe C sur U . Pour x V voisinage de 0, on a

1 (x) (0) =

1
sgn 00 (0)x2 .
2

Remarque : en dimension superieure, le meme type de resultat est donne

par le lemme de Morse, qui se demontre par le theor`eme dinversion locale.
2. Soit une fonction de troncature verifiant les proprietes suivantes :
C0 (R), supp U , et (x) = 1 pour x pr`es de 0. Lintegrale I() se
decompose alors en
Z +
Z +
i(x)
I() =
(3)
e
(u)(x)dx +
ei(x) u(1 )(x)dx.

La seconde integrale est negligeable dapr`es le resultat suivant.

Lemme 1 (Lemme de la phase non stationnaire) Soit v C0 (R). On suppose que 0 ne sannule pas sur supp v. Alors pour tout N 0, il existe une
constante C (dependant de N , et v) telle que

C
i(x)

(4)
v(x)dx N .
e

R
2

Remarque : dapr`es ce lemme, la seconde integrale apparaissant dans (3)

est un O(N ) pour tout N , donc nintervient pas en vue de la preuve du
theor`eme, car elle contribue toujours comme un reste dans le developpement
asymptotique.
Preuve du lemme de la phase non stationnaire : il suffit decrire
Z
Z
v(x)
i(x)
e
v(x)dx =
0 (x)ei(x) 0
dx,

(x)
R
R
et de remarquer que par hypoth`ese, la fonction v/0 C0 (R). Une integration par parties donne

Z
Z
v(x) 0
i
0
i(x) v(x)
i(x)
(x)e
e
dx.
dx =
0 (x)
R
0 (x)
R
0
La fonction v0 est elle aussi dans C0 (R), donc on peut recommencer
cette manuvre, N fois pour demontrer le lemme.
2
4. Definition et calcul de lintegrale de Fresnel.
Lemme 2 Soit g S(R) telle que g(0) = 1. Alors la limite suivante existe,
Z
x2
(5)
ei 2 g(x)dx.
lim
0

De plus, cette limite est independante du choix de la fonction g, on la note

R i x2
e 2 dx, et
Z
x2

ei 2 dx = ei 4 2.
R

D
emonstration : on commence par montrer que cette limite existe et a la
valeur annoncee pour une fonction g particuli`ere, puis on montre que pour
une autre fonction,
est laR meme.
R la limite
2
2

Notons I = R ex /2 dx = 2 0 ex /2 dx. En ecrivant I 2 comme une

integrale double sur un quart
du plan, et en passant en coordonnees polaires,
on calcule directement I = 2. Par changement de variable homog`ene, on
a, pour tout > 0,
r
Z
x2
2
e 2 dx =
.

R
Par prolongement analytique, pour tout z C avec Re z > 0, on a
r
Z
2
2
z x2
e
dx =
.
z
R
Prenons z = 2 i.
(6)

i x2

(x)2
2

r
dx =
3

2
.
i

Le second membre a une limite quand tend vers zero, donc pour f (x) =
2
ex /2 (qui est bien une fonction comme dans lenonce du lemme),
Z
x2

ei 2 f (x)dx = ei 4 2.
lim
0 R

Soit maintenant une fonction g comme dans le lemme. En ecrivant g =

g f + f , on constate quil suffit de montrer
Z
x2
lim
ei 2 (g f )(x)dx = 0
0 R

pour achever la preuve du lemme.

En posant y = x dans lintegrale precedente, il vient
Z
Z
2
y2
1
i x2
(7)
e (g f )(x)dx =
ei 22 (g f )(y)dy.
R
R
On proc`ede alors comme dans la preuve du lemme de la phase non stationnaire, en remarquant que la fonction
x 7

g(x) f (x)
x

est egalement dans la classe de Schwartz. Une integration par parties montre
alors que lintegrale (7) est un O(), ce qui ach`eve la preuve du lemme. 2
5. Il reste pour terminer la preuve du theor`eme `a etudier la premi`ere integrale
dans (3). Par le changement de variable x = 1 (y) (qui a bien un sens car
la fonction est supportee dans U voisinage de lorigine o`
u est defini le
diffeomorphisme ), cette integrale devient
Z
2
00
(8)
ei 2 y sgn (0) (u) 1 (y)|( 1 )0 (y)|dy.
ei(0)
R

Notons w = |( 1 )0 |.(u) 1 . Par construction, w C0 (R). On applique

la formule de Parseval,
Z
Z
1
fg,
f g =
2
R
R
2

00

avec f (y) = ei 2 y sgn (0) et g = w. La formule de Parseval sapplique `a

des fonctions de L2 , et evidemment f 6 L2 : le calcul qui suit se justifie en
2
2 2
remplacant f par f (y) = ei 2 y e y /2 et en faisant tendre vers 0. Cette
justification est une consequence du lemme 2.
Le calcul des integrales de Fresnel (en passant par la forme canonique)
donne
r
sgn 00 (0) 2
2
00 (0)
i

i
sgn

2
4
f() = e
e
.

Lintegrale (8) vaut donc

i(0) e

i sgn 00 (0) 4

Z
R

ei

sgn 00 (0) 2

g()d.

Par convergence dominee, la derni`ere integrale tend, lorsque tend vers

+, vers
Z
g()d = 2
g (0) = 2w(0),
R

dapr`es la formule dinversion de Fourier. On a aussi

w(0) = (u)(0)( 1 )0 (0)
u(0)
= 0
(0)
u(0)
.
= 00
| (0)|1/2
Ceci prouve la premi`ere partie du theor`eme. Il semble delicat de prouver
la seconde partie (manque de temps sans doute), mais il faut mentionner
quon a toutes les cartes en main pour le faire : il sagit dutiliser le developpement de Taylor de la fonction exponentielle `a lorigine, en rappelant que
la transformee de Fourier echange produit par un polynome et derivation.