Vous êtes sur la page 1sur 13

Exercices - Transformation de Fourier : corrig

Fonctions intgrables
Exercice 1 - Fonction triangle - Troisime anne - ?
Sans dtailler les calculs, et en faisant notamment une intgration par parties, on a :
(1 + x)e2ix dx =

i
1
e2i
+ 2 2 2 2.
2 4
4

(1 x)e2ix dx =

i
1
e2i
+ 2 2
.
2 4
4 2 2

Z 0
1

De mme, on trouve
Z 1
0

On en dduit :

sin2 ()
.
f() =
22

Exercice 2 - Calcul dune transforme de Fourier par rsolution dune quation


diffrentielle - L3/Math Sp - ??
On remarque dabord que f est bien dfinie pour tout x. En effet, on a


et

et

itx
e .
t

t

Cette fonction est intgrable sur [0, +[, car en 0 elle est quivalente
(intgrale de Riemann), et, au voisinage de +, elle vrifie

qui est intgrable



et
1


2.
t
t

Prouvons galement que f est de classe C 1 . Pour cela, on remarque que la fonction
et
g : (x, t) 7 eitx
t
admet en tout point de R]0, +[ une drive partielle par rapport x gale

g
(x, t) = i tet eitx .
x
De plus, on a, pour tout x R,



g
t


x (x, t) te

et la fonction apparaissant droite dans lingalit prcdente est intgrable sur ]0, +[ (elle
est continue en 0, et au voisinage de +, elle est ngligeable devant 1/t2 ). On en dduit par le
thorme de drivation des intgrales paramtres que f est drivable, avec
f 0 (x) =

Z +
i tet eitx .
0

http://www.bibmath.net

Exercices - Transformation de Fourier : corrig


On exprime le membre dedroite de cette galit en fonction de f grce une intgration par
1
parties, en posant v(t) = t et u(t) = ix1
e(ix1)t . Puisque u(0)v(0) = 0 et limt+ u(t)v(t) =
0, on en dduit
+ et
i
eitx dt
2(ix 1) 0
t
i(ix 1)
f (x)
2(x2 + 1)
x+i
f (x).
2(x2 + 1)

f 0 (x) =
=
=

Il ne reste plus qu rsoudre cette quation diffrentielle. On lcrit sous la forme


f0
x
i
=
+
f
2(x2 + 1) 2(x2 + 1)
ce qui donne
1
i
ln(x2 + 1) + arctan(x) + K.
4
2
On en dduit quil existe une constante C R telle que
ln |f | =

f (x) = C(x2 + 1)1/4 exp

i
arctan x .
2


On dtermine la valeur de la constante C en calculant f (0) = C. On a par ailleurs


f (0) =

Z + t
e

dt = 2
t

Z +

eu du

en effectuant le changement de variables t = u2 . Utilisant le rappel, on trouve que C =

Exercice 3 - Semi-groupe de Poisson - Troisime anne - ?


1. On a :
f() =

Z +

(2i)x

Z 0

dx +

=
2. Pour = 2, f() =

1
.
(1+x2 )

e(2i)x dx

1
1
2
+
= 2
.
+ 2i 2i
+ 4 2 2
Cette fonction tant dans L1 , sa transforme de Fourier est

f (x). La transforme de Fourier de x 7

1
1+x2

est donc x 7 e2|x| .

3. On commence par calculer le produit de convolution. On a :


Z

f ? f (x) =

e(|xy|+|y|) dy

Z 0

http://www.bibmath.net

(|xy|y)

Z +

e(|xy|+y) dy.

Exercices - Transformation de Fourier : corrig


Si x > 0, on a :
Z 0

e(x2y) dy +

f ? f (x) =

ex

= e

ex dy +

+ xex + ex

Z +

e(2yx) dy

2 

Z x

e2x
2

1
.

x+

La fonction f tant paire, f ? f lest aussi, et on a donc f ? f (x) = e|x| (|x| + 1/).
2
Maintenant, la transforme de Fourier de cette fonction, pour = 2 est x 7 (1+x
2 )2 ,
puisque la transforme de Fourier transforme le produit de convolution de deux fonctions
en produit usuel. On applique une fois encore la formule dinversion de la transforme de
Fourier (ce qui est lgitime puisque toutes les fonctions sont intgrables). La transforme
e2|x| (|x| + 1/2)
1
de Fourier de x 7 (1+x
est
la
fonction
x

7
.
2 )2
2
2x
1
4. Remarquons que la drive de la fonction x 7 1+x
2 est x 7 (1+x2 )2 . En utilisant les
formules habituelles sur linfluence de la drivation sur le produit de convolution, on en
dduit :


1
d
1
x
() = F
()
2
2
(1 + x )
2
dx 1 + x2


1
1
= 2iF
() = i 2 e2|| .
2
1 + x2




Exercice 4 - Rgularit - Troisime anne - ?


Prouvons dabord que Rf L1 (R). Puisque f est continue, f est borne sur [1, 1] ce qui
1
justifie la convergence de 1
|f()|d. Dautre part, si || 1, on a |f()| | f()|, ce qui
R +
R 1
prouve la convergence de 1 |f()|d ainsi que celle de
|f()|d. Maintenant, daprs la
formule dinversion de la transforme de Fourier, f est gale presque partout la fonction
Z

g(x) =

f()e2ix d.

Mais il est clair que cette fonction g est de classe C 1 (ou bien parce quil sagit de la transforme
de Fourier conjugue dune fonction h tel que x 7 xh(x) est intgrable, ou bien en drivant
directement sous le signe intgrale).

Exercice 5 - - Troisime anne - ??


On note A lespace vectoriel engendr par les translates (x f ), et B son image dans C0 (Rn )
par la transforme de Fourier. Soit g B, alors, leffet de la transforme de Fourier sur une
translation entraine lexistence dun entier p, de complexes 1 , . . . , p et de rels x1 , . . . , xp tels
que g(t) = 1 eix1 t F(f )(t)+ +p eixp t F(f )(t). En particulier, g sannule en x0 , et ainsi B nest
pas dense dans C0 (Rn ). Si A tait dense dans L1 (Rn ), alors F(A) serait dense dans F(L1 (Rn )),
et donc (par transitivit) dense dans C0 (Rn ).

Exercice 6 - Non-surjectivit de la transforme de Fourier - Troisime anne - ??

http://www.bibmath.net

Exercices - Transformation de Fourier : corrig


1. On dcoupe lintgrale en 2, et on fait le changement de variables u = t dans la premire
intgrale :
Z 0

f(x) =

i2xt

f (t)e

Z +

Z +

dt +
0

f (t)e

2ixt

Z +

dt +

f (t)ei2xt dt

= 2i

f (t)ei2xt dt

Z +

f (t) sin(2xt)dt.
0

2. Dabord, la fonction u 7 sinu u est continue sur [0, +[, une fois prolonge par 1 en 0.
Dautre part, il est bien connu que, si la fonction u 7 sinu u nest pas intgrable, lintgrale
Z X
sin u
du admet une limite quand X +. Il suffit pour cela de faire une intgration
u
1
par parties :


Z X
Z X
cos u
sin u
cos u X

du =
du,
u
u
u2
1
1
1
la premire quantit admettant une limite si X tend vers +, tandis que la fonction
u
u 7 cos
est intgrable sur [1, +[. Ceci justifie donc que la fonction est dfinie.
u2
Dautre part, elle est continue sur [0, +[, car :
(x + h) (x) =

Z x+h
sin u

du,

et ceci tend vers 0 si h tend vers 0. Enfin, admet 0 pour limite en + : on en dduit
quelle est borne sur [0, +[.
3. On a :

Z R
f (t)

dt =

Z R Z +
2i

Remarquons que h(t, x) =

2i
t f (x) sin(2xt)

f (x) sin(2xt)dt dx.

est dans L1 ([1, R] [0, +[) : on a en effet

2
|h(t, x)| |f (x)|,
t
et la fonction majorante est clairement intgrable sur [1, R][0, +[. Utilisant le thorme
de Fubini, on en dduit :
Z R
f (t)

Z +

dt =

Z +

=
0

Or, f (x)

R

2Rx sin u
2x
u du

2if (x)

Z 2Rx
sin u
2x

dt dx
!

du dx.

f (x)(2x) si R +. Dautre part, on a :


Z 2Rx
sin u
2x

http://www.bibmath.net

2if (x)

Z R
sin 2xt

du = (2x) (2Rx).

Exercices - Transformation de Fourier : corrig


Comme la fonction est borne sur R, on obtient :

!
Z 2Rx


sin u


du 2kk |f (x)|.
f (x)


u
2x

On peut donc appliquer le thorme de convergence domine et on obtient :


lim

Z R
f (t)

R+ 1

dt = 2i

Z +

f (x)(2x)dx.
0

4. (a) Cest quasi-vident !


(b) Remarquons que g est impaire. On note h(x) = f (x). La transforme de Fourier
de h vrifie :

h()
=
=

Z
ZR

f (x)e2ix dx
f (x)e2ix dx

= g() = g() = f().


Par injectivit de la transforme de Fourier, on en dduit que f (x) = f (x) pour
presque tout x.
(c) Au voisinage de +, on a :
g(t)

,
t
4t ln(t)
et il est bien connu que cette dernire fonction nest pas intgrable (cas dune intgrale de Bertrand divergente). Si g tait la transforme de Fourier dune fonction
R
intgrable, par les questions prcdentes, lintgrale 1+ g(t)
t dt convergerait. Ce nest
pas le cas : la transformation de Fourier nest pas une surjection de L1 (R) sur C0 (R).

Exercice 7 - Transforme de Fourier et produit de convolution - Troisime anne - ?


1. Puisque f et g sont dans L1 (R), et que la transforme de Fourier transforme le produit
de convolution en produit de fonctions, on a
R, f()
g () = f().
Puisque ceci est vrai pour toute fonction de L1 (R), et quil existe des fonctions f de L1 (R)
telles que pour tout R, f() 6= 0, on a g() = 1 pour tout R. Maintenant, on
sait que la transforme de Fourier dune fonction de L1 (R) tend vers 0 linfini, il ny a
aucune fonction g telle que g() = 1 pour tout R.
2. On compose une fois encore par la transforme de Fourier. On a :
R, f2 () = f() f()(1 f()) = 0.
On en dduit que pour tout R, f() = 0 ou 1, mais comme f est continue, on a
forcment f() = 1 pour tout ou f() = 0 pour tout . Comme auparavant, le cas
identiquement gal 1 est impossible, et donc f() = 0 pour tout . Par injectivit de la
transforme de Fourier, on en dduit que f = 0 presque partout.
http://www.bibmath.net

Exercices - Transformation de Fourier : corrig


Exercice 8 - Semi-groupe de la chaleur - Troisime anne - ?
2
On sait que si fa (x) = eakxk , alors on a fa (x) =
1
dobserver que qt (x) = 4t
f1/4t (x). Il vient :

qt (x) =


n/2 a kxk2
e
.
a

Il suffit maintenant

1
2
2 2
4te4 tx = e4 tx .
4t

Dautre part, on a :
F(qt ? qs )(x) = qt qs (x) = e4

2 (s+t)x2

= F (qs+t ) (x).

Par injectivit de la transforme de Fourier, on en dduit que qt ? qs = qs+t .

Exercice 9 - Une quation intgrale - Troisime anne - ?


1. En posant f (x) = e|x| , il est clair que cette quation peut aussi scrire u = f + u ? f .
2. On suppose quil existe une solution u intgrable. En appliquant la transforme de Fourier,
on vrifie que u
vrifie :
u
=

f
1 f

2
,
(1 2) + 4 2 2

2
o on a utilis le fait que f() = 1+4
2 2 . Dans le cas o 1/2, ceci dfinit une fonction
qui nest pas continue sur R puisquelle nest mme pas dfinie en un point. Lquation
nadmet donc pas de solution. Si < 1/2, linjectivit de la transforme de Fourier fait
quil nexiste quune seule solution, quon dtermine en inversant la formule prcdente.
On trouve :

1
u(x) =
e 12|x| .
1 2

Exercice 10 - Equation de la chaleur - Troisime anne - ???


1. (a) Dabord, on a


Fx

u
(t, x) =
t


e2ix d

u
(t, )d.
t





De la majoration u
t (t, ) g(), on dduit que lon peut permuter les symboles

dintgration et de drivation, et finalement on a :




Fx
Dautre part, puisque
tion par parties :

2u
x2

et

u
x

Fx (u)
u
(t, x) =
(t, x).
t
t


sont intgrables, on a aussi, par une double intgra!

Fx

2u
(t, x) = (2ix)2 Fx u(t, x).
x2

(b) Le fait dappliquer la transforme de Fourier sur lquation initiale donne, pour x
fix :
v 0 (t) + 4 2 x2 v(t) = 0.
http://www.bibmath.net

Exercices - Transformation de Fourier : corrig


(c) On rsoud cette question pour tout x R fix. On trouve :
u
(t, x) = h(x)e4

2 x2 t

Mais u(0, x) = u0 (x) et donc on en dduit u


(0, x) = u
0 (x), ce qui donne :
u
(t, x) = u
0 (x)e4

2 x2 t

(d) Remarquons que lon a :


u
(t, x) = F (u0 ? t ) ,
o t est la fonction donne par lnonc. Par injectivit de la transforme de Fourier,
on obtient
"
!#
1
x2
u(t, x) = u0 (x) ?
exp
.
4t
4t
2. Par les proprits du produit de convolution, il est facile de vrifier que u est C 2 par
rapport x, la drive sobtenant en drivant la deuxime fonction intervenant dans le
2
produit de convolution. En utilisant la dcroissance trs rapide de x 7 ex , on trouve
que toutes les drives sont intgrables. Enfin, il suffit de suivre les calculs pour trouver
que lquation aux drives partielles est vrifie.

Exercice 11 - Espace de Wiener - Troisime anne - ???


1. Dabord, si f W , alors par la formule dinversion de la transforme de Fourier, f(x) =
g(x) o g est dfini par g = f . Donc f L1 (R). Rciproquement, si f L1 (R) est
telle que f L1 (R), il suffit de poser g(x) = f(x), et la mme formule dinversion de la
transforme de Fourier donne le rsultat !
2. Soit g L1 (R) tel que g = f . Par les proprits de la transforme de Fourier dune fonction
intgrable, f L . Dautre part, par hypothse, f L1 . Pour montrer que f Lp , avec
p ]1, +[, on peut remarquer que :
|f (t)|p kf kp1
|f (t)|,
ce qui donne le rsultat.
3. Dabord, si f W , f est clairement dans W puisque cest la transforme de Fourier
dune fonction intgrable. La rciproque est presque vidente en utilisant la formule de
rciprocit de la transformation de Fourier. En effet, si f L1 (R), on sait que f = g o
g(x) = f(x). Ce qui prouve le rsultat.
4. Dabord, les proprits du produit de convolution entranent f ? g L1 (R). Dautre part,
si f = f1 et g = g1 , on a F(f1 g1 ) = f1 ? g1 = f ? g. Il suffit donc de vrifier que f1 g1 est
intgrable : mais ceci vient du fait que f1 et g1 sont encore dans W daprs la question 2.,
et sont donc dans L2 daprs la question 1. Et le produit de deux fonctions de L2 est dans
L1 . Pour le produit, cest presque pareil. Il est dans L1 car les fonctions f et g sont dans
L2 , et on a F(f1 ? g1 ) = f g. Enfin, f1 ? g1 est intgrable comme produit de convolution
de deux fonctions intgrables.
5. Il suffit de vrifier les 3 axiomes, ce qui se fait aisment daprs les proprits de la norme
et la linarit de la transformation de Fourier.
http://www.bibmath.net

Exercices - Transformation de Fourier : corrig


6. (a) Remarquons que kfn fp k1 N (fn fp ) et kfn fp k1 N (fn fp ) : les suites
(fn ) et (fn ) sont de Cauchy dans L1 (R), qui est complet, ce qui donne lexistence de
f et g.
(b) Par continuit de la transformation de Fourier de L1 (R) dans C0 (R), on a kfn
fk 0. Fixons maintenant A > 0. De lingalit
Z A
A

|f(t) fn (t)|dt 2Akfn fk ,

on dduit que (fn ) tend vers f dans L1 ([A, A]). Maintenant, on a aussi (fn ) qui
tend vers g dans L1 ([A, A]). Par unicit de la limite, f = g pour presque tout
x [A, A]. A tant choisi arbitraire, en prenant une suite (Ak ) qui tend vers +,
on en dduit que f = g presque partout.
(c) On rsume les travaux prcdents : la fonction f prcdemment exhibe est dans
lespace de Wiener, puisque sa transforme de Fourier est intgrable. En outre, on
vient de prouver que N (fn f ) 0. Cest que (fn ) converge vers f pour N dans
W , ce qui prouve la compltude.
7. (a) Il sagit dune application immdiate du thorme de continuit sous le signe intgrale, une fois le produit de convolution crit sous la forme
Z

f ? hn (x) =

hn (x t)f (t)dt.

(b) Remarquons dabord que f ? hn est bien lment de L1 (car hn L ). Dautre part,
f\
? hn = fhn qui est lment de L1 car f est lment de L (R) et hn est lment de
1
L (R). Cest une consquence de la question 3., car hn W : hn est une gaussienne
et la transforme de Fourier dune gaussienne est une gaussienne (cest--dire une
2
fonction du type x 7 eax ).
8. (a) Cest une consquence "standard" des proprits des units approches.
(b) f ? hn est dans W , et converge vers f : on en dduit que W est dense dans L1 (R)
Lp (R), pour la norme de Lp (R). Maintenant, L1 (R) Lp (R) est dense dans Lp (R),
puisquil contient les fonctions continues support compact. Do le rsultat.
9. (a) Ce fait est nouveau une proprit "standard" des units approches.
(b) Cest le mme raisonnement que prcdemment, car une fois encore, les fonctions
continues support compact sont denses dans C0 (R).

Exercice 12 - Non-surjectivit (bis) - Quatrime anne - ??


1. Cest juste un petit calcul faire... On trouve que gn ?h(x) = 2 si x est dans [n+1, n1],
vaut 0 si x est hors de [n 1, n + 1], et est linaire sur [n 1, n + 1] et [n 1, n + 1].
2. On va en fait calculer la transforme de Fourier de gn ? h. On a

F(gn ? h) = gn h.
Un calcul facile montre que
F(1[a,a] )(x) =
http://www.bibmath.net

sin(2ax)
.
x
8

Exercices - Transformation de Fourier : corrig


En particulier, on remarque que F(gn ? h) est dans L1 (R). La formule dinversion de la
transforme de Fourier nous dit que
F(fn ) = gn ? h.
On conclut en remarquant que F et F concident sur les fonctions paires.
3. On utilise le fait que si t [0, /2], sin(t) 2t/. Il vient
kfn k1 C



Z (n/2)
Z 1/4
sin u
sin(2nx)


dx C

u du.


x
0
0

Ceci tend vers + quand n + car la fonction u 7 sin(u)/u nest pas intgrable.
4. Si la transforme de Fourier tait surjective, puisquon sait quelle est injective et que
L1 (R) et C0 (R) sont des espaces de Banach, elle serait automatiquement un isomorphisme
despace de Banach. En particulier, la rciproque serait continue, et il existerait C > 0
telle que, pour tout f de L1 (R), on aurait
kfk Ckf k1 .
Cest impossible, en testant cette ingalit avec f = fn (la transforme de Fourier de fn
est borne par 1).
5. La transforme de Fourier tant un isomorphisme de lensemble S(R) des fonctions
dcroissance rapide, son image contient S(R). Il est ais de vrifier que S(R) est dense
dans C0 (R).

Exercice 13 - Une base hilbertienne de L2 (R) - Quatrime anne - ??


1. (a) Prenons y E. Alors clairement, y (E ) . Ceci montre que E (E ) . Puisque
ce dernier ensemble est ferm, il contient mme E. Prenons maintenant y
/ E. E
tant une partie convexe ferme dun espace de Hilbert, y se dcompose en y = y0 +y1 ,

o y0 E et y1 E . En particulier, y1 E . Mais alors, hy, y1 i = ky1 k2 6= 0, et


donc y
/ (E ) .
(b) Cest immdiat !
2. (a) Laiss au lecteur.
2 /2

(b) Lingalit de Cauchy-Schwarz montre que, quel que soit n, la fonction x 7 xn h(x)ex
est dans L1 (R). Ceci justifie la dfinition de la transforme de Fourier et le fait quelle
est C . En outre,
2
g (n) (0) = hh, xn ex /2 i = 0.
(c) Soit R > 0. Pour |z| R, on a


2
2


h(x)ex /2 e2izx |h(x)|ex /2 e2Rx .

La fonction qui majore est intgrable : ceci suffit justifier que la formule
Z

g(z) =

ex

2 /2

h(x)e2xz dx

dfinit une fonction holomorphe sur C. Comme toutes ses drives en 0 sont nulles,
on sait bien que g = 0.
http://www.bibmath.net

Exercices - Transformation de Fourier : corrig


(d) Linjectivit de la transforme de Fourier assure que h = 0.
3. (a) Le procd dorthonormalisation de Gram-Schmidt garantit lexistence dune telle
famille. En outre, daprs les questions prcdentes, lespace vectoriel engendr par
2
la famille (Hn (x)ex /2 ) est dense dans L2 (R). Cette famille est donc une base hilbertienne de L2 (R).
(b) Par unicit dans le procd dorthonormalisation de Gram-Schmidt, il suffit de prouver que, pour n 6= m, on a
I = hHn (x)ex

2 /2

, Hm
(x)ex

2 /2

i = 0.

Supposons par exemple n < m, on a


dn x2 dm x2
(e ) m (e )
dxn
dx
R
Z
dm x2
=
Pn (x) m (e )dx.
dx
R
Z

ex

I =

Il suffit maintenant de prouver que, si k < m, on a


Z

xk

dm x2 /2
(e
)dx = 0,
dxm

ce qui se fait en ralisant k intgrations par parties !

Cas L2
Exercice 14 - Fonction triangle - Troisime anne - ?
On sait que la transforme de Fourier-Plancherel est une isomtrie de L2 (R) sur lui-mme.
En utilisant cette isomtrie (relation de Parseval), on en dduit
Z +

f (x)2 dx =

Z +
sin4 (x)

4 x4

dx.

Avec le changement de variables y = x, et en calculant la premire intgrale, on trouve


Z +
sin4 x

x4

dx =

.
3

Exercice 15 - Sinus cardinal - Troisime anne - ?


1. On a :
f() =

i2x

Z b

1[a,b](x) dx =

http://www.bibmath.net

2ib e2ia

2i

ba

ei2x dx

si a 6= b
sinon.
10

Exercices - Transformation de Fourier : corrig


2. Cest un rsultat bien connu que est telle que 0x (t)dt admet une limite quand x +,
sans que nappartienne L1 (R). Pour le prouver, on peut par exemple utiliser
R

| sin t|
sin2 t
1
cos 2t

.
t
t
2t
2t
1
On conclut car 0x 2t
dt tend vers linfini, alors que 0x cos2t2t converge si x +. En revanche, il est clair que appartient L2 (prcisons simplement quil ny a aucun problme
de convergence en 0 o la fonction est prolonge par continuit en posant (0) = 1). Il
est donc lgitime de calculer la transforme de Fourier-Plancherel de . Il est difficile de
calculer directement cette transforme. Mais remarquons que, si f (x) = 1[1/2,1/2] (x),
la question prcdente nous donne

1
f() = ().

On utilise la transforme de Fourier conjugue, et on obtient :

(x)
= f (x) = 1[1/2,1/2] (x).

Exercice 16 - Fourier et Fourier-Plancherel - Troisime anne - ??


1. Le produit de convolution dune fonction L1 et dune fonction L2 tant une fonction L2 , la
seule formule qui peut avoir un sens est la deuxime. On la dmontre par densit de S(R).
Soit en effet (gn ) une suite de fonctions de S(R) qui converge vers g. Alors f ? gn est un
lment de L1 L2 , l o les transformes de Fourier et de Fourier-Plancherel concident.
On a donc :
F(f ? gn ) = f ?gn = fgn = fF(gn ).
La transforme de Fourier-Plancherel tant continue, on a F(gn ) F(g). Il reste
remarque que
kf ? gn f ? gk2 kf k1 kgn gk2 0,
et dutiliser nouveau la continuit de la transforme de Fourier-Plancherel pour obtenir
le rsultat.
2. Puisque f et g sont tous deux dans L2 (R), leur produit est dans L1 (R), seule la deuxime
formule peut avoir un sens ! On dmontre alors cette formule de la mme faon que la
prcdente... Elle est vraie si f et g sont tous deux dans S(R) -prendre par exemple la
transforme de Fourier conjugue, puis on procde en prenant une suite (fn ) qui converge
vers f et une suite (gn ) qui converge vers g...
3. Posons ga = 1[a/2,a/2] (x), de sorte que F(ga ) = ga = fa . Daprs la formule prcdente,
on a
fa ? fb = F(ga ) ? F(gb ) = gd
a gb = fc ,
o c = min(a, b).
4. Chaque fonction fa est solution de lquation.... alors que dans L1 (R), cette quation na
pas de solution non nulle !

http://www.bibmath.net

11

Exercices - Transformation de Fourier : corrig


Exercice 17 - Densit - Troisime anne - ??
1. Cette formule est vraie si f L1 (Rn )L2 (Rn ) (on peut faire le calcul effectif). On conclut
par densit.
2. Puisque la transforme de Fourier-Plancherel est une isomtrie, on a : hg, hi = hF(g), F(h)i.
Maintenant, si h est dans vect(x f ; x Rn ), il existe un entier p, des complexes 1 , . . . , p
et x1 , . . . , xp tels que F(h)(y) = (1 e2ix1 y + + p e2ixp y )F(h)(y). On considre une
fonction g1 L2 (Rn ) non nulle presque partout et telle que g1 = 0 l o F(f ) 6= 0. Alors
hg1 , F(h)i = 0 pour tout h comme prcdemment. Puisque la transforme de FourierPlancherel est un isomorphisme, il existe un lment g L2 (Rn ) non nul tel que F(g) = g1 .
Pour ce g, on a hg, hi = 0.
3. Daprs la question prcdente, et en utilisant le rappel du dbut de lexercice, si F(f )
est non nul sur un ensemble de mesure positive, alors vect(x f ; x Rn ) nest pas dense.
Par contrapose, on dduit le rsultat demand.
4. En raisonnant comme prcdemment, pour la fonction h = x f
Z

F(g)F(f )e2ixy dy = 0.

Rn

Puisque x peut-tre choisie arbitrairement, la transforme de Fourier de la fonction F(f )F(g)


est identiquement nulle. En particulier, par injectivit de la transforme de Fourier,
F(f )F(g) est identiquement nulle, ce qui entraine F(g) = 0 par hypothse sur f , puis
g = 0.

Exercice 18 - Une projection - Troisime anne - ???


1. Il sagit du produit de convolution de deux fonctions de L2 .
2. Attention, ceci nest plus consquence des rsultats classiques sur le produit de convolution. Simplement, puisque sin x/x et f sont lments de L2 (R), il existe g et h lments
de L2 (R) tels que sin x/x = F(h) et f = F(g). On a alors :
Pf =

sin x
x


c
? f = F(g) ? F(h) = gh.

Il reste remarquer que la fonction h est lindicatrice du segment [1/2, 1/2]. Elle est
borne et donc gh L2 (R) L1 (R). Par concidence de la transforme de Fourier et de la
transforme de Fourier-Plancherel sur ces deux espaces, on en dduit que F(gh) L2 (R).
3. Soit f L2 (R) quon crit f = F(g). On a :
1
kF(gh)k2

= kghk2

kP f k2 =

kgk2 = kf k2 .
Dautre part,
P P (f ) = P (F(gh))
= F(gh2 ).
On conclut en remarquant que gh2 = gh.
http://www.bibmath.net

12

Exercices - Transformation de Fourier : corrig


Le cas de S(Rd )
Exercice 19 - Produit et produit de convolution - Troisime anne - ?
Pour le produit, cest trs facile en utilisant la formule de Leibniz pour la drive par exemple.
Pour le produit de convolution, le mieux est dutiliser la transforme de Fourier. En effet,
F(f ? g) = fg,
qui est lment de S(R). On peut alors appliquer la formule dinversion de la transforme de
Fourier qui donne
f ? g = F(fg),
et utiliser que S(R) est stable par transformation de Fourier (inverse).

Exercice 20 - Une estimation dintgrale - Troisime anne - ?


1. On pose g =

2f
xy .

Il est bien connu que la transforme de Fourier de g est :


g(x, y) = (2i)2 xy f(x, y).

En utilisant ensuite que la transforme de Fourier est une isomtrie de L2 , on obtient




f
2



xy = (2) kxy f k2 .
2

2. De mme, si on pose h =

2f
2x

2f
,
2y

la transforme de Fourier de h est

y) = (2i)2 x2 f(x, y) + (2i)2 y 2 f(x, y).


h(x,
On en dduit que
khk2 = k(x2 + y 2 )fk2 .
3. Il suffit dutiliser lingalit classique 2|xy| x2 + y 2 pour en dduire le rsultat.

Exercice 21 - Principe dincertitude dHeisenberg - Troisime anne - ??


1. Il suffit de faire une intgration par parties, en drivant t et en intgrant (t)0 (t).
2. Lingalit de Cauchy-Schwarz donne
Z

Z
1/2 Z
1/2


0
0
2
2 2
2

2t (t)(t)dt 2
(t)| dt
t (t)dt
.

R

Maintenant, il suffit dutiliser le fait que la transforme de Fourier est une isomtrie de
L2 pour obtenir
Z
R

0 (t)2 =

Z
R

F(0 )2 ()d = (2)2

2 ()d.

On obtient donc bien lestimation annonce.


3. Pour quon ait galit, il faut et il suffit quon ait galit dans lingalit de CauchySchwarz, ce qui revient dire quil doit exister une constante telle que 0 (t) = t(t)
pour tout t R. La rsolution de cette quation donne (t) = a exp(t), et il est ncessaire
(et suffisant) que 0 pour que cette fonction soit lment de S(R).
http://www.bibmath.net

13