2008-2009 [Link]

fr/depts/maths CNAM - Paris

MVA101 - Corrigé du devoir n◦5

Exercice 1

1◦ ) La fonction f (x) = e−|x| est définie et continue pour tout x réel. Comme elle est
paire, sa transformée de Fourier fb(y) peut être calculée à l’aide de la formule des cosinus
de Fourier :
Z +∞ Z +∞ Z +∞ 
f (y) =
b e−|x| cos(2πxy) dx = 2 e−x cos(2πxy) dx = 2Re −x
e e 2iπxy dx .
−∞ 0 0
(par parité) (formules d’Euler)

−x e2iπxy +∞
"
#
Z +∞
e
Or : e−x e2iπxy dx = , et : e−x e2iπxy −→ 0,
0 2iπy − 1 x→+∞
  0
 −x 2iπxy 
car e e  = e−x −→ 0. On en déduit :
x→+∞
Z +∞
1 1 + 2iπy 1 + 2iπy
e−x e2iπxy dx = = = .
0 1 − 2iπy (1 − 2iπy)(1 + 2iπy) 1 + 4π 2 y 2
(quantité conjuguée)
2
On a trouvé : fb(y) =
1 + 4π 2 y 2
2◦ ) Puisque la fonction f (x) est paire, et égale à e−x pour x ≥ 0, sa dérivée f 0 (x) est
impaire, et elle vaut −e−x pour x > 0, et ex pour x < 0.
On a donc f 0 (0+ ) = −1 6= f 0 (0− ) = 1 (par symétrie) : f 0 (x) est continue par morceaux,
donc la fonction f (x) elle-même 1 par morceaux.
Z +∞est de classe CZ +∞ i+∞ 2
e−x dx = −2 e−x
h
D’autre part, elle vérifie : |f (x)| dx = 2 = .
−∞ 0 0 e
(par parité)
(on dit que f (x) est absolument sommable)
Donc on peut appliquer la formule de réciprocité de Fourier à f (x), ce qui donne ici :
F −1 (fb) = F −1 (F(f )) = f (car f (x) est continue pour tout x réel).

On a trouvé : F −1 (fb) = F −1 (F(f )) = f

Z +∞
3◦ ) L’égalité précédente se traduit par : fb(y)e+2iπxy dy = f (x) pour tout x ∈ IR.
−∞
Puisque fb(y) est une fonction paire, on peut calculer l’intégrale précédente en appliquant
la formule des cosinus de Fourier :
Z +∞ Z +∞
1 +∞ cos(xt)
Z
+2iπxy cos(2πxy)
f (y)e
b dy = 2 2 2
dy = dt.
−∞ −∞ 1 + 4π y π −∞ 1 + t2
(en posant t = 2πy)
Z +∞
cos(xt)
On en déduit : dt = πe−|x| pour tout x ∈ IR
−∞ 1 + t2

page 1 [Link]@[Link]
2008-2009 [Link] CNAM - Paris

Exercice 2

y
1◦ ) La fonction g(x) est définie et
continue pour tout x réel, et elle est
nulle en dehors de l’intervalle [−1; +1].
Comme elle est paire, sa transformée 1
de Fourier gb(y) peut être calculée à
l’aide de la formule des cosinus de
Fourier : !1 O 1 x
Z +1 Z 1
gb(y) = g(x) cos(2πxy) dx = 2 (1 − x) cos(2πxy) dx, d’où, pour y 6= 0 :
−1 0
(par parité)
 1  
2 1 1 1 1
gb(y) = (1 − x) sin(2πxy) − cos(2πxy) = − cos(2πy) +
2πy 2πy 0 πy 2πy 2πy
(voir formulaire)1
sin(πy) 2
 
1
= (1 − cos(2πy)) = (y 6= 0). D’autre part :
2(πy)2 πy
(1 − cos(2a) = 2 sin2 (a))
Z 1 1
x2
  
1
gb(0) = 2 (1 − x) dx = 2 x − =2 1− =1
0 2 0 2
(on pouvait aussi dire que l’intégrale donne l’aire d’un triangle rectangle isocèle de coté 1)
sin(πy) 2
 
La fonction est continue pour tout y 6= 0. De plus, en utilisant sin(u) ∼ u,
πy u→0
 2  2
sin(πy) πy
on obtient : gb(y) = ∼ −→ 1 = gb(0), ce qui montre que gb(y) est aussi
πy y→0 πy y→0
continue pour y = 0. On a trouvé :
  2
 gb(y) = sin(πy)

pour y 6= 0
gb(y) est continue, et πy

gb(0) = 1


2◦ ) La fonction g(x) est continue pour tout x, et sa dérivée vaut :

g 0 (x) = 1 pour −1 < x < 0, g 0 (x) = −1 pour 0 < x < 1, et g 0 (x) = 0 pour |x| > 1 (elle
n’est pas définie pour x = 0 et x = ±1).
Puisque g 0 ((−1)− ) = g 0 (1+ ) = 0 , g 0 ((−1)+ ) = g 0 (0− ) = 1 et g 0 (0+ ) = g 0 (1− ) = −1, g 0 (x)
est continue par morceaux, donc la fonction g(x) est de classe C 1 par morceaux.
Z +∞ Z 1
D’autre part : |g(x)| dx = 2 (1 − x) dx = 1 (= gb(0) déjà calculée).
−∞ 0
On peut donc appliquer la formule de réciprocité de Fourier à g(x), ce qui donne :
F −1 (b
g ) = F −1 (F(g)) = g (car g(x) est continue pour tout x).

On a trouvé : F −1 (b
g ) = F −1 (F(g)) = g
1
Ces formules sont valables pour tout complexe α 6= 0 :

eαx P 0 (x) P 00 (x) P 000 (x)

Z „ «
P (x)eαx dx = P (x) − + − + . . . +C
α α α2 α3
P 0 (x) P 00 (x) P 000 (x)
Z „ «
1
P (x) cos(αx) dx = P (x) sin(αx) + cos(αx) − sin(αx) − cos(αx) + . . . +C
α„ α α2 α3
0 00 000
Z «
1 P (x) P (x) P (x)
P (x) sin(αx) dx = −P (x) cos(αx) + sin(αx) + cos(αx) − sin(αx) − . . . + C
α α α2 α3

page 2 [Link]@[Link]
2008-2009 [Link] CNAM - Paris

Z +∞
3◦ )
L’égalité précédente se traduit par : gb(y)e+2iπxy dy = g(x) pour tout x ∈ IR,
Z +∞ −∞

d’où, en particulier : gb(y) dy = g(0) = 1.

−∞
En remplaçant gb(y) par sa valeur, puis en posant t = πy, cette égalité devient :
Z +∞  2 Z +∞  2 Z +∞  2
sin(πy) sin(t) dt sin(t)
dy = = 1, d’où : dt = π
−∞ πy −∞ t π −∞ t

4◦ ) La fonction f (x) est un cas particulier des « fonctions créneaux » 1l[a;b] (x) 2 .
y
Calculons (une fois pour toutes) la
transformée de Fourier ha (y) =1bl[−a;+a] (y) 1

(avec a > 0), les autres s’en déduisant

facilement par des translations et des
homothéties.
La fonction étant paire, on a : 1 O 1 x
2 2
Z +a Z a
ha (y) = cos(2πxy) dx = 2 cos(2πxy) dx, d’où, pour y 6= 0 :
−a 0
 a (par parité)
sin(2πxy) sin(2πay)
ha (y) = 2 = (y 6= 0). D’autre part :
Z 2πy a
0 πy
ha (0) = 2 dx = 2a (c’est l’aire d’un rectangle de cotés 2a et 1).On a trouvé :
0
 h (y) = sin(2πay) pour y 6= 0

a
πy

ha (0) = 2a
(on vérifie facilement que la fonction ha (y) est continue pour tout y)
1
On en déduit, en prenant a = :
2 
sin(πy)
f (y) = pour y 6= 0
b

πy

 fb(0) = 1

Puisque F(f ∗ f ) = (F(f ))2 = (fb)2 = gb, les fonctions g et f ∗ f ont les mêmes transformées
de Fourier. On en déduit : F −1 (F(f ∗ f )) = F −1 (F(g)) = g (Cf. question 2◦ ) ). Or :
Z +∞ Z x+ 1    
2 1 1
(f ∗ f )(x) = f (t)f (x − t) dt = f (t) dt = F x + −F x− , en notant
−∞ x− 12 2 2
F (x) une primitive de f (x).
La fonction F (x) étant continue 3 et dérivable par morceaux, on en tire :
f ∗ f est de classe C 1 par morceaux.
D’autre part, f ∗ f est à support compact comme f elle-même Z (elle est nulle en dehors +∞
d’un intervalle fini), ce qui assure l’existence de l’intégrale : |(f ∗ f )(x)| dx.
−∞
(
2
1l[a;b] (x) = 1 pour a < x < b
La fonction créneau 1l[a;b] (x) est définie par :
1l[a;b] (x) = 0 pour x < a ou x > b
3
Plus généralement, les primitives des « fonctions en escalier » sont toujours des fonctions continues

page 3 [Link]@[Link]
2008-2009 [Link] CNAM - Paris

On peut donc appliquer aussi la formule de réciprocité de Fourier à f ∗ f , ce qui donne :

F −1 (F(f ∗ f )) = f ∗ f , puisque f ∗ f est continue.

On en déduit : f ∗f =g

5◦ ) La fonction g admettant une transformée de Fourier, et étant à support compact,

on peut lui appliquer la formule de Bessel-Parseval :
Z +∞ Z +∞
|g(x)|2 dx = g (y)|2 dy.
|b
−∞ −∞

+∞ 1 1
(1 − x)3
Z Z 
2 2 2
Or : |g(x)| dx = 2 (1 − x) dx = −2 = , et, d’autre part :
−∞ 0 3 0 3
(par parité)
sin(πy) 4 1 +∞ sin(t) 4
Z +∞ Z +∞   Z  
2
|b
g (y)| dy = dy = dt.
−∞ −∞ πy π −∞ t
(en posant t = πy)
Z +∞  4
sin(t) 2π
D’où, en égalant ces deux résultats : dt =
−∞ t 3

page 4 [Link]@[Link]