Académique Documents
Professionnel Documents
Culture Documents
Prparation lagrgation
de mathmatiques
Auteur du document :
R. Carles
ore
`me de Stone-Weierstra
Transform
ee de Fourier et the
http://www.maths.univ-rennes1.fr/carles/ENS/
Enonc
e
Pour a, x R, on pose ea (x) = eiax . Pour u L1 (R), on definit la transformee de Fourier par
Z
eix u(x)dx.
F u() = u
() =
R
1
1
1
,
1
2a [a,a] 2a [a,a]
o`
u le produit de convolution est defini par
Z
Z
u(x y)v(y)dy =
u(y)v(x y)dy.
u v(x) =
R
x R , h0 (x) =
sin x
x
!2
sin(x 2)
.
x 2
Solution
1
, alors
1.a. Si fa =
1
2a [a,a]
1
fa () =
2a
a
a
eix dx =
sin(a)
.
a
On a aussi
Z
Z a
1
ix
F (fa fa )() = 2
e
1[a,a] (x y)dy dx
4a R
a
Z a
Z
1
eiy
ei(xy) 1[a,a] (x y)dx dy,
= 2
4a a
R
sin(a) 2
F (fa fa )() =
.
a
Remarque : on navait pas vraiment besoin de faire ce calcul, en connaissant
la formule,
g.
f, g L1 (R), F (f g) = f.
Le calcul ci-dessus permet de verifier cette formule dans le cas particulier
o`
u f = g = fa .
sin x
est continue sur R , et tend vers 1 en zero. Son
1.b. La fonction x 7
x
prolongement par continuite est meme C , car la fonction sinus est developpable en serie enti`ere autour de lorigine, de rayon infini, et se factorise
par x. Ainsi, h0 (0) = 2.
La fonction h0 etant somme de deux carres, elle ne peut sannuler que si les
deux carres sont nuls, cest-`a-dire si
sin x = sin(x 2) = 0,
Comme u
L1 (R), lintegrale du membre de droite definit une fonction
continue en x, donc la proposition dit que deux fonctions continues
concident partout.
La demonstration est la meme que pour le cas des fonctions dans la
classe de Schwartz (cest-`a-dire celle donnee dans le livre de Zuily et
Queffelec). Du coup, on peut enoncer le resultat directement sous cette
forme dans un plan, et signaler quen particulier, il est vrai si u S(R).
D
emonstration : puisque u
L1 (R), le theor`eme de convergence dominee
permet decrire
Z
Z
2
ix
e u
()d = lim
eix e 2 u
()d.
0 R
2
2
eix e 2 u
()d = eix e 2
eiy u(y)dy d
R
R
ZR
Z
2
i(xy) 2
e
e
d dy.
= u(y)
R
R
On a donc, avec le changement de variable t =
Z
R
ix 2
xy
,
Z
(xy)2
2
u
()d =
e 2 u(y)dy
R
Z t2
= 2
e 2 u(x + t )dt.
R
t2
t2
e 2 u(x + t )dt u(x) e 2 dt = 2u(x),
R
1
F Fu(x).
2
3
Alors est continue de F dans C0 (R), et vaut lidentite sur F , qui est dense
dans E (par exemple, S(R) F ), et
k(u)kL
1
1
k
u kL 1
kukE .
2
2
F (h0 ea )() =
C0 (R) C(R).
Le premier point est verifie par construction de A. Le second est evident.
Soit maintenant deux points distincts x et y. Si h0 (x) 6= h0 (y), alors comme
h0 H A, cest termine. Sinon, il existe a R tel que ea (x) 6= ea (y) (par
labsurde). Comme h0 ne sannule pas, on en deduit h0 (x)ea (x) 6= h0 (y)ea (y).
Et dapr`es 2.a., h0 ea H, donc on peut appliquer le theor`eme de StoneWeierstra.
il existe g A telle
2.c. Soient f C0 (R) et > 0. Comme C0 (R) C(R),
que
(1)
kf gk <
.
2
x R, |f g|(x) <
,
2