Vous êtes sur la page 1sur 4

Analyse hilbertienne et de Fourier, seance 3

Fourier dans L
2
: suite
Theor`eme 4 bis. Si f L
2
(R) on pose f
n
= 1
[n,n]
f, pour tout entier n 1 ; alors
f
n
est integrable, la transformee de Fourier

f
n
est de carre integrable et la suite (

f
n
)
converge dans L
2
(R) ; par denition Ff est la limite de cette suite,
Ff = lim
L
2

f
n
.
Si de plus f L
1
(R), on a Ff =

f presque-partout. Lapplication f Ff est une
application lineaire continue de L
2
(R) dans L
2
(R), et on a lidentite de Parseval
f L
2
(R), Ff
2
=

2 f
2
.
Preuve. On voit dabord que
f f
n

2
2
=
_
R
1
|x|>n
|f(x)|
2
dx
tend vers 0, par le theor`eme de convergence dominee ; on voit donc que (f
n
) tend vers f
dans L
2
, donc (f
n
) est de Cauchy dans L
2
. On a vu dans la seance precedente que pour
toute fonction h L
2
(R) nulle en dehors dun intervalle, on a

h L
2
(R) et

h
2
=

2 h
2
.
Cette relation sapplique aux fonctions f
n
f
m
, qui sont nulles hors de [a, a] quand
a max(m, n),

f
n


f
m

2
=

2 f
n
f
m

2
0,
puisque (f
n
) est de Cauchy ; on voit donc que la suite (

f
n
) est elle aussi de Cauchy dans
L
2
, et comme L
2
(R) est complet cette suite est convergente et on peut poser
Ff = lim
L
2

f
n
.
On obtient legalite de Parseval en disant que la norme de la limite est la limite des
normes et en rappelant que

f
n

2
=

2 f
n

2
pour tout n. Si g est une autre fonction
de L
2
(R) on associera `a la combinaison lineaire af + bg L
2
(R) la suite
(af + bg)
n
= 1
[n,n]
(af + bg) = af
n
+ bg
n
,
et par laddition des limites dans un espace vectoriel norme
F(af + bg) = lim
n
(af
n
+ bg
n
) = a lim
n
f
n
+ b lim
n
g
n
= a Ff + b Fg.
Enn, si f est `a la fois dans L
1
(R) et dans L
2
(R), on montre que f
n
tend vers f pour la
norme de L
1
, ce qui entrane que

f
n
tend vers

f uniformement. Comme (

f
n
) tend vers
Ff en norme L
2
, il existe des sous-suites qui convergent presque partout vers Ff, ce qui
implique F =

f presque partout.
1
Integrales semi-convergentes et Fourier
Proposition. Si f L
2
(R) et si la limite
F(y) = lim
n
_
n
n
e
i xy
f(x) dx
existe pour presque tout y R, alors (Ff)(y) = F(y) pour presque tout y R. En
particulier, si f L
2
(R) et si lintegrale generalisee
F(y) =
_
+

e
i xy
f(x) dx
est semi-convergente pour presque tout y R, alors Ff = F presque partout.
Preuve. Si on pose comme avant f
n
= 1
[n,n]
f, on a
_
n
n
e
i xy
f(x) dx =

f
n
(y),
donc lhypoth`ese de la proposition est que (

f
n
) converge vers F presque partout ; mais
comme on sait que (

f
n
) tend vers Ff dans L
2
, il resulte que F = F presque partout.
Inversion de Fourier dans L
2
(R)
Designons par lapplication qui associe ` a chaque fonction f la fonction f denie sur
R par (f)(x) = f(x). Il est clair que est isometrique sur L
p
(R),
f L
p
(R), f
p
= f
p
,
et que = Id. Sur lespace X forme des fonctions f continues bornees integrables avec

f integrable, on a F F = 2 et F = F : en eet, si f X on sait (theor`eme 2,


cours n
o
1) que pour tout x R
2 f(x) =
_
R
e
i (x)y

f(y) dy =
_
R
e
i xy

f(y) dy = (F

f)(x) = (F F)(f)(x)
et
(F )(f)(y) = F(f)(y) =
_
R
e
i xy
f(x) dx =
_
R
e
i u(y)
f(u) du = (Ff)(y).
Par la densite de lespace vectoriel X dans L
2
(R) on deduit le resultat qui suit.
Theor`eme. Pour la transformation de Fourier F agissant de L
2
(R) dans L
2
(R) on a
F F = 2 , F = F
donc F est inversible et
F
1
=
1
2
F =
1
2
F.
Pour trouver linverse ` a partir des premi`eres conclusions, on remarque que
_
F
_
F = F
_
F
_
= F F = 2 = 2 Id
L
2 .
2
Exemple de sin(y)/y
Puisque g(y) = sin(y)/y est la transformee de Fourier de f =
1
2
1
[1,1]
et que g est paire,
on a g = g et linversion de Fourier dans L
2
nous dit que
1
[1,1]
=
1

Fg
en tant que classe de fonctions. Par ailleurs on montre que
_
n
n
e
i xy
g(y) dy =
_
n
n
cos(xy) sin(y)
dy
y
tend vers 2V lorsque |x| < 1, o` u
V :=
_
+
0
sin(u)
u
du,
et vers 0 quand |x| > 1 (on utilise les formules daddition des sinus, et le calcul de
_
+
0
sin(ay)
dy
y
= V
selon que a > 0 ou bien a < 0). On deduit V = /2. On note que
_
+
0
sin
2
(y)
y
2
dy =

2
,
car
_
R
g
2
= 2
_
R
f
2
= par lidentite de Parseval.
Convolutions L
p
L
1
Proposition. Si f L
p
(R) et g L
1
(R), alors f g L
p
(R) et
f g
p
f
p
g
1
.
Donnons la preuve du cas p = 2. On suppose f et g mesurables positives ; avec Cauchy-
Schwarz,
_
_
R
f(x y)g(y) dy
_
2
=
_
_
R
f(x y)
_
g(y)
_
g(y) dy
_
2

_
_
R
f
2
(x y)g(y) dy
__
_
R
g(y) dy
_
= g
1
_
R
f
2
(x y)g(y) dy
puis avec Fubini
_
R
_
_
R
f(x y)g(y) dy
_
2
dx g
1
_
R
2
f
2
(x y)g(y) dydx = g
2
1
f
2
2
.
3
Approximation de lunite dans L
p
(R)
Theor`eme. Si f L
p
(R) la convolee f F

converge vers f dans L


p
lorsque 0.
Preuve. Dapr`es le cours dintegration (et les Notes `a la n du cours n
o
2), on peut
trouver une fonction en escalier g telle que f g
p
< /3. Pour assez petit, on a vu
quon aura g g F

p
< /3, et dapr`es la proposition on a aussi
f F

g F

p
= (f g) F

p
f g
p
F

1
= f g
p
< /3.
Finalement f f F

p
< .
Corollaire. Si f et

f sont dans L
1
(R), on a presque partout
2 f(x) =
_
R
e
i xy

f(y) dy.
Preuve. Si f verie ces hypoth`eses, on voit que f F

est dans X : on a toujours que


f F

est continue bornee integrable, lorsque f L


1
, et de plus ici

f F

=

f

F

est
bornee en module par |

f|, donc integrable dapr`es lhypoth`ese du corollaire. Il en resulte


que f F

verie la formule de Fourier inverse ponctuelle vue dans les le cons precedentes
2 (f F

)(x) =
_
R
e
i tx

f F

(t) dt =
_
R
e
i tx

F

(t)

f(t) dt.
Quand tend vers 0, lintegrale
2 (f F

)(x) =
_
R
e
i tx

F

(t)

f(t) dt
tend vers
F(x) =
_
R
e
i tx

f(t) dt
par Lebesgue domine, mais 2 f F

tend vers 2f dans L


1
par le theor`eme precedent.
Le resultat en decoule.
Corollaire. La transformation de Fourier est injective sur L
1
(R).
En eet, si f L
1
(R) et

f = 0, on a bien f et

f integrables et le corollaire precedent
sapplique. Comme

f = 0, la formule dinversion donne f = 0.
Fourier et derivation
Proposition. Si f(x) et xf(x) sont integrables sur R, la fonction

f est derivable et sa
derivee est obtenue par derivation sous lintegrale,
(

f)

(y) = i
_
R
e
i xy
xf(x) dx.
Si f et f

sont integrables, alors

(y) = i y

f(y).
4