Chapitre II - Transformée de Fourier
R1
Notations : jjf jj1 = 1
jf (x)j dx:
L1 (R) = ff : R ! C = jjf jj1 < 1g
R1 1
p
jjf jjp = 1
jf (x)jp dx :
n o
p
L (R) = f : R ! C = jjf jjp < 1
jjf jj1 = max jf (x)j :
x2R
Dé…nition : On appelle fonction à moyenne …nie toute fonction dans
L1 (R):
1
I - Transformée de Fourier dans L1 (R):
Dé…nition I - 1 :
Soit f 2 L1 (R):
On appelle transformée de Fourier de f la fonction :
T F (f ) : R ! C
7 ! T F (f )( )
avec
Z 1
T F (f )( ) = fb( ) = f (x)e 2i x
dx:
1
Remarques :
1) 8x 2 R, jeix j = 1:
2) 8z = x + iy 2 C avec x; y 2 R : jeiz j = e y
=e Im(z)
:
R1 R1
3) 8 2 R, 8f 2 L1 (R) : 1
f (x)e 2i x
dx 1
jf (x)j dx = jjf jj1 :
Exemples :
1) Soit f = [a;b] dé…nie par :
1 si x 2 [a; b]
f (x) =
0 sin on
R1 Rb Rb
f 2 L1 (R) car kf k1 = 1
jf (x)j dx = a
jf (x)j dx = a
dx = b a:
R1 Rb
fb( ) = 1
f (x)e 2i x
dx = a
e 2i x
dx
si a 6= b
b a =0
fb( ) = sin( (b a) )
e i (a+b)
6= 0
si a = b
2b =0
fb( ) = sin(2 b )
6= 0
2
R 1 sin x
fb est continue sur R, mais fb 2
= L1 (R) car 1
dx diverge.
x
3
2) f (x) = ex R1
f2= L1 (R) car kf k1 = 1 ex dx = lim [ex e x ] = +1:
x7 !1
Théorème I-2 :
Soit f 2 L1 (R). Alors
1) T F (f ) = fb est une fonction continue et bornée sur R.
2) lim fb( ) = 0:
7 !1
Remarque :
dire que fb 2 L1 (R) veut dire fb est bornée dans R i.e.,
9M > 0; 8 2 R; fb( ) M;
i.e.,
9M > 0; fb < M:
1
Théorème I-3 :
T F : L1 (R) ! L1 (R) est un opérateur linéaire et continue .
f 7 ! fb
De plus, on a :
fb kf k1 :
1
Remarques :
1) T F est linéaire veut dire :
z }| {
8f; g 2 L1 (R); 8 ; 2C f + g = fb + gb
2) T F est continue ()
8(fn ); fn 2 L1 (R) et (fn ) ! f dans L1 (R) alors fbn ! fb dans L1 (R)
i) (fn ) ! f dans L1 (R) veut dire que :
* 8n 2 N; fn 2 L1 (R):
* f 2 L1 (R):
* lim kfn f k1 = 0 i.e : 8 > 0; 9N 2 N; kfn f k1 < :
n7 !1
4
ii) fbn ! fb dans L1 (R) veut dire que :
* 8n 2 N; fbn 2 L1 (R):
* f 2 L1 (R):
* lim fbn fb = 0 i.e : 8 > 0; 9N 2 N; fbn fb < :
n7 !1 1 1
5
3) Montrons que : fb kf k1 :
1
fb = max fb( ) : or ,
1 2R
Z 1 Z 1
fb( ) = f (x)e 2i x
dx jf (x)j dx = kf k1
1 1
donc
max fb( ) kf k1 i.e., fb kf k1 :
2R 1
Proposition I - 4 :
Soit f; g 2 L1 (R) alors
1) f gb; fb g 2 L1 (R) .
R1 R1
2) 1 f (t)b g (t)dt = 1 fb(t)g(t)dt:
Preuve :
1) D’après le théorème précédent g 2 L1 (R) =) gb 2 L1 (R) i.e. bornée
sur R.
R1
Montrons que donc f gb 2 L1 (R) i.e. que 1 jf (t) gb(t)j dt 2 R.
gb 2 L1 (R) =) 9M > 0; 8t 2 R; jb
g (t)j M
R1 R1
=) 9M > 0 = kf gbk1 = 1
jf (t) gb(t)j dt M 1
jf j = M kf k1
=) 9M 0 > 0 = kf gbk1 M0
donc f gb 2 L1 (R):
R1 R1 R1 i2 tx
2) 1
f (t) gb(t)dt = 1
f (t) 1
g(x)e dx dt
R1 R1 i2 tx
= 1
g(x) 1
f (t)e dt dx
R1 R1
= 1
g(x) fb(x)dx = 1
g(t)fb(t)dt:
6
Théorème I - 5 : Dérivation
R1
1) si 8k 2 f0; ::; ng ; 1 xk f (x) dx < 1; alors fb est n fois dérivable et
(k)
fb ( ) = gb( )
avec g(x) = ( 2i x)k f (x)
2)
f 2 C n (R)
si alors 80 k n; fd
(k) ( ) = (2i )k
8k 2 f0; ::; ng ; f (k) 2 L1 (R)
fb( )
3) si f 2 L1 (R) et à support borné alors fb 2 C 1 (R):
Preuve :
2i x
1) La fonction h : 7 !e f (x) est indé…niment dérivable et on a:
h(k) ( ) = ( 2i x)k e 2i x
f (x) = e 2i x
g(x):
D’autre part h(k) ( ) (2 jxj)k jf (x)j :
On peut donc appliquer le théorème de la dérivation sous signe somme
pour
k = 1; 2; :::; n et on obtient :
Z 1 Z 1
fb(k) ( )= e 2i x k
( 2i x) f (x)dx = e 2i x
g(x)dx = gb( ):
1 1
2) Montrons le résultat pour n = 1
Par hypothèse, f 0 2 L1 (R):
R1
Donc \ f 0 est bien dé…nie et 1 jf 0 (x)j dx existe.
R1 R1 R1
Or, 1
e 2i x f 0 (x)dx 1
e 2i x f 0 (x) dx = 1 jf 0 (x)j dx:
Donc,
R1 RY
\ f 0 ( ) = 1 e 2i x f 0 (x)dx = lim X e 2i x f 0 (x)dx
Y 7 !1
X7 ! 1
2i x Y RY
= lim e f 0 (x) X
+ X
(2i )e 2i x
f 0 (x)dx
Y 7 !1
X7 ! 1
2i x Y R1
= lim e f 0 (x) X
+ (2i ) 1
e 2i x
f 0 (x)dx
Y 7 !1
X7 ! 1
7
R1
Or, 1 jf 0 (x)j dx existe.
R1
Donc, d’une part, 1 e 2i x
f 0 (x)dx existe car
Z 1 Z 1 Z 1
2i x 0 2i x 0
e f (x)dx e f (x) dx = jf 0 (x)j dx < 1:
1 1 1
2i Y
D’autre part, lim e f 0 (Y ) = lim e 2i X
f 0 (X) = 0:
Y 7 !1 X7 ! 1
D’où le résultat.
8
3) f est à support borné veut dire que :
8x 2 Rn(a; b); f (x) = 0
9 a; b 2 R = :
8x 2 (a; b); f (x) 6= 0
On a :
Z 1 Z 1 Z b Z b
k k k k k
x f (dx) x f (x) dx = x f (x) dx max( a ; b ) jf (x)j dx < 1:
1 1 a a
car d’une part f est à support borné et d’autre part, f 2 L1 (R):
Donc la fonction x 7 ! xk f (x) est dans L1 (R); 8k 2 N
d’après 1) fb est indé…niment dérivable.
Notations :
1) si f : R ! C. On note f sa conjuguée dé…nie par : f (x) = f (x):
2) La symétrisée f de f est la fonction dé…nie par :
f (x) = f ( x)
3) La translatée af de f est la fonction dé…nie par :
af (x) = f (x a)
Remarque :
Si f est paire, f = f
Si f est impaire, f = f:
Dé…nition I-6 : Soit f 2 L1 (R). On appelle transformée de Fourier
conjuguée ou transformée inverse de f la fonction T F (f ): dé…nie par :
T F (f ) : R ! C
7 ! T F (f )( )
avec
Z 1
T F (f )( ) = f (x)e2i x
dx:
1
9
Propriété I-7 : Conjugaison la transformée de Fourier
Soit f 2 L1 (R). Alors :
1) T F (f ) = df
2) T F ( f ) = \ f
3) ( df ) = df
Preuve :
1) On a : R1 R1
T F (f )( ) = 1 f (t) ei2 t dt = 1
f ( t) e i2 t dt
R1
= 1
f (t) e i2 t
dt = (d
f )( ):
2) On a :
Z 1 Z 1
TF( f ) ( ) = f (t) e i2 t
dt = f (t)e i2 t dt =\
f ( ):
1 1
3)
R1 R1
df ( ) = 1 f (t) e i2 t
dt = f ( t) e i2 t
dt
1
R1 R1
= 1
f (t) ei2 t
dt = 1
f (t)e i2 ( t)
dt
= (d
f ) ( ):
Propriété I-8 : Parité de la transformée de Fourier
Soit f 2 L1 (R). Alors :
1) Si f est paire ([Link]) alors df est paire (resp. impaire)
2) Si f est réelle paire (resp. réelle impaire) alors d
f est réelle paire
(resp. imaginaire impaire).
Preuve :
1) On rappelle que : d
f est paire si et seulement si ( d
f ) ( )=d
f ( ):
R1
(d
f ) ( )=d f ( ) = 1
f (t) e i2 t
dt
R1 R1
= f ( t) e i2 t dt =
1 1
f (t) e i2 t dt = d
f ( ):
ou encore : puisque f paire, alors d f = d f = (d f ) , d’où d f
est paire.
2) Supposons que f est réelle paire et montrons que fb réelle paire.
df est réelle : d
f = T F ( f ) = T F (f ) = d f =d f car f est paire :
10
Propriété I - 9 : Translation et transformée de Fourier
Soit f 2 L1 (R)
1) \ af ( ) = e i2 a d
f ( )
d
2) ( a f )( ) = e i2 \
ax f (x)( ) = d
F ( ) avec F (x) = e2i ax f (x):
Preuve : R1 R1
1) \ af ( ) = 1 ( a f )(t) e 2i t dt = 1 f (t a) e 2i t dt:
On pose : y = t a: D’où
R1 R1
\af ( ) = 1 f (y) e 2i (y+a) dy = e 2i a f (y) e 2i y
dy
1
= e 2i a d
f ( ):
R1
2) On pose df = g: g : 7 ! 1 f (t) e 2i t dt
R1
(a d
f )( ) = ( a g)( ) = g( a) = R 1 f (t)e 2i ( a)t dt
1
= R 1 (f (t)e2i at ) e 2i t
dt
1
= 1
F (t)e 2i t dt
= Fb( ):
II - Transformée de Fourier inverse.
Dans le paragraphe précédent nous avons vu que la transformée de Fourier
conjuguée de f (ou la transformée de Fourier inverse de f ) est dé…nie par :
Z 1
T F (f ) ( ) = f (t)ei2 t dt
1
La question qui se pose dans ce paragraphe : Etant connu fb, peut on
connaire f:
11
Théorème II - 1:
Si f et df sont dans L1 (R) alors :
a) T F df = f p:p
b) 8t 2 R où f est continue, on a :
f (t) = (T F d
f ) (t):
Proposition
8 II - 2 :
2
< f 2 C (R)
=) d
f 2 L1 (R):
:
f; f 0 ; f 00 2 L1 (R)
Preuve :
* D’après le théorème I-2 : d f est continue sur R. Donc localement
intégrable
* D’après le théorème I-5 : On a : \f 00 ( ) = 4 2 2 d f ( ):
D’autre part, d’après le théorème I-2 : lim \ f ( ) = 0 car f 00 2
00
7 !1
L1 (R)
donc lim 2 d
f ( )=0
7 !1
donc 9M > 0 = 8 j j > M; 2df ( ) 1
d 1
donc 9M > 0 = 8 j j > M; f ( ) 2
R +1 R A
donc b( ) d et
f fb( ) dt existent d’après les critères de
A 1
Riemann.
Conclusion : R +1 R A
df localement intégrable et les intégrales A df ( ) d et 1 d f ( ) dt
R1
existent, donc 1 d f ( ) d existe ce qui donne que d f 2 L1 (R).
Proposition II - 3 :
d
Soit f une fonction, f 2 L1 (R) et d
f 2 L1 (R) alors on a : d
f (x) =
f (x) en tout point où f est continue.
Preuve : On a :
d R1
df ( y) = 1 e2i yt d f (t)dt = T F (fb) (y)
Or d’après le théorème II - 1 : T F (fb) (y) = f (y) en tout point où f est
continue.
12
d
Donc, d
f ( y) = f (y):
d
d
En faisant le changement de variable y = x, on obtient f (x) =
f ( x) = f (x):
13
Théorème II - 4 :
Soit f 2 L1 (R) véri…ant :
i) 9 un nombre …ni de réels a1 ; :::; ap = f de classe C 1 sur ] 1; a1 [ ; ]a1 ; a2 [ ; ::: ]ap ; 1[
ii) f 0 2 L1 (R)
Ra 1
Alors lim a
fb(t)e2i tx dt = (f (x+ ) + f (x )):
a7 !+1 2
Ra
Remarque : Si x est un point de continuité, alors : lim a
fb(t)e2i tx dt =
a7 !+1
f (x): R1 R +a
Remarque : L’égalité 1 f (t)dt = lim a
f (t)dt n’est vrai que si f
a7 !1
est intégable. !
R +1 R
Dire que f est intégrable () 1 f (t)dt = lim f (t)dt existe.
7 !1
7 ! 1
Exemple : f (t) = t
R1 R t2
1
t dt = lim t dt = lim = (+1) (+1)
7 ! 1 7 !+1 2
7 ! 1 7 ! 1
R
Donc la fonction f n’est pas intégrable sur R i.e. R tdt n’existe pas.
a
Ra t2
par contre : lim a
tdt = lim = lim [0] = 0 existe.
a7 !+1 a7 !1 2 a7 !1
a
14
III - Convolution :
Dé…nition III - 1 :
Soit f; g : R ! C. On appelle convolution de f et g la fonction f g si
elle existe dé…nie par :
Z +1 Z 1
(f g) (x) = f (x t) g(t)dt = f (t) g(x t) dt = (g f ) (x)
1 1
Remarque : f g = g f
la Preuve se fait par changement de variable.
Exemples :
a) f = g = [0;1]
R1 R1
(f g)(x) = 1 f (x t) g(t) dt = 0 f (x t)dt =
Rx 1 Rx
= x
f (y)dy = x 1
f (y)dy:
Donc 8
>
> 0 x 0
<
x 0 x 1
(f g)(x) =longueur( [0; 1] \ [x 1; x]) =
>
> 2 x 1 x 2
:
0 x 2
Remarque : La convolution de 2 fonctions discontinues, peut être con-
tinue.
1
b) f 2 L1 (R); g = où h > 0
2h [ h;h]
R1 R h f (x t) 1 Rh
(f g)(x) = 1 f (x t) g(t)dt = h dt = f (x t)dt
2h 2h h
On pose : y = x t:
Donc,
1 Rx h 1 R x+h
(f g)(x) = f (t)dt = f (t)dt
2h x+h 2h x h
C’est la moyenne de f sur [x h; x + h]
Donc la moyenne d’une fonction f sur un intervalle [x h; x + h] est
1
donnée par (f g )(x) avec g(x) = :
2h [ h;h]
15
Proposition III - 1 :
Soit f; g 2 L1 (R) alors :
i) f g est dé…nie p.p et f g 2 L1 (R)
ii) : L1 (R) L1 (R) ! L1 (R) est un opérateur continu bilinéaire
tel que :
kf gk1 kf k1 kgk1 :
Remarque : bilinéaire veut dire :
( f + g) k = (f k) + (g k)
k ( f + g) = (k f ) + (k g)
Preuve : Montrons
R que kf gk1 kf k1 kgk1 :
(f g) (x) = R f (x t) g(t) dt:R Donc,
j(f g) (x)j R
jf (x t) g(t)j dt
R R R
=) R
j(f g)j (x) dx R R
jf (x t) g(t)j dt dx
R R
= R
jg(t)j R
jf (x t)j dx dt
R R
max R
jf (x t)j dx R
jg(t)j dt
t2R
R
= max R
jf (x)j dx kgk1
t2R
= kf k1 kgk1
Proposition III - 2 :
Soit f; g 2 L1 (R) on a :
1) f[g = fb gb ; T F (f g) = T F f TF g
[ b b 1
2) f g = f gb ; si f ; gb 2 L (R):
Preuve :
1) D’après la proposition III - 1 , f g 2 L1 (R):On peut donc calculer
f g:
16
R R R
f[g(x) = R
(f[g) (t) e i2 xt
dt = R R
e i2 xt
f (t y) g(y)dydt
R R i2 xt
= R
g(y) R
e f (t y)dt dy
R R i2 x (y+z)
= R
g(y) R
e f (z)dz dy
R1
= 1
g(y)e i2 xy
fb(x)dy
R1
= fb(x) 1
g(y)e i2 xy
dy
= fb(x) gb(x)
T F (f g) = T F f T F g s’obtient en remplaçant dans cette preuve i
par -i.
2) puisque fb; gb 2 L1 (R); on a d’après 1)
T F (fb gb) = T F fb T F gb
or d’après le théorème II - 1 : T F fb = f p:p si f; fb 2 L1 (R)
Ainsi : T F (fb gb) = f g p.p ce qui donne T F (T F (fb gb)) = f[g ou
encore fb gb = f[g:
Remarque :
1 x
1) Soit fa (x) = f (a x) [ fa (x) = f( )
jaj a
1 1
2) Soit f = p+q avec p(x) = [f (x) + f ( x)] et q(x) = [f (x) f ( x)]
2 2
p. paire p. impaire
Alors, fb = pb + qb avec
R1
pb( ) = 2 0 p(t) cos(2 t)dt
R1
qb( ) = 2i 0
q(t) sin(2 t)dt
Identité de Parseval :
Z 1 Z 1 Z 1 2
f (x)g(x)dx = fb(x)b
g (x)dx ! jf (x)j2 dx = fb(x) dx
1 1 1
17
R1
Preuve : Soit F (p) = f[g (p) = 1 f (x)g(x) e 2i px dx
R1
1
f (x) g(x)dx = f[g (0) = fb b g (0)
R1
c (p) = fb(p) b
F (p) = 1 f (x)g(x) e 2i px dx = f:g g (p) = fb(p) gb( p)
R1 R R1
g (p) = 1 g(x)e 2i xp dx = 1 g(x)e 2i xp dx = gb ( p) = 1 fb(x):b
1
b g (x + p)dx
R1
F (0) = b
f (x) gb (x)dx
1
18