Transformation de Fourier

IV 1 - Convolution
a. Système de convolution.
b. Principe de la convolution.
c. Définition.
d. Exemples.

IV 2 - Transformation de Fourier
a. Définition. Théorème d’inversion.
b. Exemples.
c. Convolution.
d. TF dans L ∩ L .
1 2

Transformation de Fourier 1
 IV 1 a - Système de convolution .

X: e f s

Définition : Un système de convolution X est

* linéaire.
* continue. Inconnue
* invariant par translation.
Théorème : Tout système de convolution vérifie s = e * f
+∞
s( t ) =
∫ e(t − u) f (u)du
−∞ Dirac
Sous réserve d’existence e * f = f * e.
f est dite réponse impulsionnelle car f * δ = f.
Transformation de Fourier 2
 IV 1 b - Principe de la convolution.

La transformation de Fourier de de Laplace opérent les

transformations suivantes :

e → E
f → F
s → S
de telle manière que :
s = e* f → S=EF
Principe :
S = EF → F = S / E
↑ ↓
s = e* f f Réponse impulsionnelle

Transformation de Fourier 3
IV 1 c - Définition.
+∞
( f * g)(t ) = ∫ f (t − u) g(u)du
−∞
t ∈ R.

Théorème :
f * g existe et appartient à L1
1 2
si f et g sont dans L ou dans L .

Ce résultat est obtenu à l’aide de l’inégalité de Cauchy

Schwarz et du théorème de Fubini.

Transformation de Fourier 4
 Ex
IV -1 d : Exemples. er
cic
e
Calculer les carrés de convolution des signaux

1. f (t) = e −t 2

1
2. f (t) =
1+ t2

 T
3. f ( t ) = 1 si t ≤
 2
0 ailleurs

Transformation de Fourier 5
 M
AP
> f :=t -> exp(-t^2); LE

−t2
f := t → e

> Int( f(t-u) * f(u), u=-infinity..infinity ) :

"=value(");

+∞ 1

∫
π − t2
e ( ) e − u du =
2
− t −u 2
e 2
−∞ 2

Transformation de Fourier 6
 M
AP
> f := t -> 1 / (1+t^2) : LE
> Int( f(t-u)*f(u), u=-infinity..infinity) : value( " ) ;
+∞

∫ (1 + (t − u) )(1 + u ) du
1
2 2 pas de
−∞
réponse
> Int( f(t-u)*f(u), u=0..infinity) : value( " ) ;

π
−
( )
ln 1 + t 2 + t arctan t
4+t 2
t 4 + t2 ( )
> Int( f(t-u)*f(u), u=-infinity..0) + " : value( " ) ;
2π
4 + t2
Transformation de Fourier 7
 M
AP
> assume( T > 0) : LE
f := t -> piecewise( t<T/2 and t>-T/2, 1 , 0 ) ;
 T T 
f : = t → piecewise  t < and − < t , 1, 0
 2 2 

> convert( f(t), piecewise, t ) ;

 T
 0 t ≤ −
2
 T
ATTENTION
 1 t ≤ il faut décoder
 2
0 T < t
 2
Transformation de Fourier 8
 M
AP
> Int( f(t-u)*f(u), u=-infinity..infinity ) ; LE

+∞   T T 
∫  1 u − < 0 and − − u < 0 
 2 2 
−∞  0 otherwise 
  T T 
 1 t − u − < 0 and − − t + u < 0  du
 2 2 
 0 otherwise 

Nous exprimons ce produit selon la valeur de t.

Les valeurs utiles sont :
t = -T et t = T .
Transformation de Fourier 9
 M
AP
> assume( t> T ) : LE
Int(f(u)*f(t-u), u=-infinity..infinity ) : value( " ) ;
0
> assume( t<- T ) :
Int(f(u)*f(t-u), u=-infinity..infinity ) : value( " ) ;
0
> assume( t< T, t>0 ) :
Int(f(u)*f(t-u), u=-infinity..infinity ) : value( " ) ;

T ~ −t ~
> assume( t>- T, u<0 ) :
Int(f(u)*f(t-u), u=-infinity..infinity ) : value( " ) ;
T ~ +t ~
Transformation de Fourier 10
 M
AP
> assume( T>0 ) : LE
g := t -> piecewise(t<-T, 0, t<=0, t+T, t<T, -t+T, 0 ) ;

g : = t → piecewise (t < −T ,0 , t < 0 , t + T , t < T , − t + T ,0 )

> convert( g(t), piecewise, t) ;

 0 t ≤ −T ~
 t +T ~ t ≤0 ATTENTION
− t + T ~ t < T ~ il faut décoder
 0 T ~≤ t

Transformation de Fourier 11
> T := 2 : plot(g(t), t=-3..3, thickness=2) ; M
AP
LE

Transformation de Fourier 12
IV 2 a - Définition - Théorème d’inversion.

Définition :
La TF F [ f ] du signal f ∈ L est
1

+∞
F [ f ]( ν) =
∫−∞
f ( t ) e − 2 i π ν t dt (1)

Théorème d’inversion :
La TFI f du signal F [ f ] ∈ L1 est
+∞
f (t ) =
∫ −∞
F [ f ]( ν ) e 2 i π ν t dν ( 2)
Nous admettons que :
Lim F [ f ]( ν) = 0
ν→±∞

Transformation de Fourier 13
IV -2 b : Exemples. Ex
er
cic
Déterminer les TF des signaux e

 1 T
t≤
f ( t ) = T
1.
si
2
 0 ailleurs

2. g( t ) = e −π t2

sin t
3. h( t ) =
t

Transformation de Fourier 14
Exemple 1 M
AP
> assume( T>0 ) : LE
f := t -> piecewise(t<-T/2, 0, t<T/2, 1/T, 0) ;
 1 1 1 
f : = t → piecewise  t < − T ,0 , t < T , ,0
 2 2 T 
> subs( T=Pi, f(t)) : plot( f(t), t=-Pi .. Pi ) ;

f est appelée fonction porte ou rectangle et est notée

1  t
f(t)= rect 
T T 
Transformation de Fourier 15
> Int( f(t)*cos(2*Pi*t*nu), t=-T/2..T/2) : M
AP
"=value( " ) ; LE

f est paire
et nulle à l’extérieur
 1 
 0 t < − T ~
1 / 2T ~  
2  sin ( π T ~ ν)
∫
 1 1
 t < T ~  cos ( 2 π t ν) dt =
− 1 / 2T ~  T ~ 2  πT ~ ν
 0 otherwise 
 
 
> F := nu -> sin (Pi*T*nu) / (T*Pi*nu) ;
sin (π T ν)
F := ν → = sinc (T ν )
πT ν
Transformation de Fourier 16
> subs( T=Pi, F(nu)) : plot( F(nu), nu=-Pi .. Pi ) ; M
AP
LE

Transformation de Fourier 17
 M
> Int(F(nu)*cos(2*Pi*t*nu), AP
nu = -infinity .. infinity) : " = value( " ) ; LE

+∞
sin (π T ~ ν) cos (2 π t ν )
∫−∞ πT ~ ν
dν =

1 − signum (T ~ +2 t ) + signum (− T ~ +2 t )
−
2 T~
> convert(-1/2*(-signum(T+2*t)+signum(-T+2*t)) / T,
piecewise, t) :

Comparer la réponse au signal de départ.

Transformation de Fourier 18
Exemple 2 M
AP
> g := t -> exp(-Pi*t^2) ; LE
g : = t → e- π t
2

> plot( g(t), t=-1.5 .. 1.5 ) ;

Remarquable

> Int(g(t)*cos(2*Pi*t*nu), t=-infinity..infinity) : " = value(") ;

+∞

∫−∞
e −π t 2
cos (2 π t ν) dt =e
Transformation de Fourier
− π ν2

19
IV 2 c - Convolution.

Théorème de Convolution :

Si f et g sont dans L1 alors

f * g ∈ L1 et F [ f * g ] = F [ f ]F [ g ] (3 )
Si de plus f g , F [ f ] et F [ g ] ∈ L1 alors
F [ f g ] = F [ f ]* F [ g ] (4 )

La relation (3) permet de résoudre les équations de

convolution cf IV 1 b .

Transformation de Fourier 20
 M
> assume( T > 0) : AP
f := t -> piecewise( t<T/2 and t>-T/2, 1 , 0 ) : LE

 T T 
f : = t → piecewise  t < and − < t , 1, 0
 2 2 

> Int( f(t)*cos(2*Pi*t*nu), t=-T/2..T/2) : "=value( " ) ;

  
T~
T~ T~
∫  − < − − t < 0
cos ( 2 π t ν) dt
2 1 t 0 and
T~ 2 2 
− 
2  0 otherwise 
sin ( π T ~ ν)
=
πν
Transformation de Fourier 21
> assume( T>0 ) : M
AP
g := t -> piecewise(t<-T, 0, t<=0, t+T, LE
t<T, -t+T, 0 ) ;

g : = t → piecewise (t < −T ,0 , t < 0 , t + T , t < T , − t + T ,0 )

> Int( g(t)*cos(2*Pi*t*nu), t=-T..T) : "=value( " ) ;

 0 t ≤ −T ~

∫
T~
 t +T ~ t ≤ 0  cos 2 π t ν dt

 − t +T ~ t < T ~  ( )
−T ~ 
 0 T ~≤ t 
cos (π T ~ ν) − 1
2
=−
π 2 ν2
Transformation de Fourier 22
IV 2 d - Transformée de Fourier dans L1 ∩ L2 .
Théorème de Parseval :
1 2
Si f et g sont dans L ∩L alors

F [ f ], F [ g] = f , g
En particulier l’énergie est
+∞ +∞
Wf =
∫ −∞
F [ f ]( ν ) 2 dν =
∫ f ( t ) 2 dt
−∞

F [ f ] est le spectre du signal f .

F [ f ]( ν ) 2
est la densité spectrale d’énergie du signal f .

Transformation de Fourier 23
IV -2 d : Vérifier pour les exemples Ex
er
du IV - 2 b le théorème de Parseval cic
e

 1 T sin (πT ν)
t≤
f ( t ) = T F[ f ]( ν) =
si
2
 0 ailleurs πT ν

g( t ) = e − π t 2
F [ g ]( ν ) = e − π ν 2

 1
0 ν>
2π

sin t  1
h( t ) = F [h]( ν) =  π ν<
t  2π
π ν=
1
 2 2π
Transformation de Fourier 24
 M
> Int( f(t)^2, t = -infinity .. infinity) : AP
LE
" = value( " ) ;
2
 1 
 0 t < − T ~
+∞  
2 
∫  1 1 1
t < T ~  dt =
−∞  T ~ 2  T~
 0 otherwise 
 
 
> Int(F(nu), nu = -infinity .. infinity) : " = value( " ) ;

+∞
sin 2 (π T ν)
∫
1
=
−∞ π 2 T ~2 ν2 T ~

Transformation de Fourier 25
 M
> Int( g(t)^2, t = -infinity .. infinity) : " = value( " ) ; AP
LE

∫ ( )
+∞ 2
2
e −π t
2
dt =
−∞ 2
> Int( h(t)^2, t = -infinity .. infinity) : " = value( " ) ;
sin 2 ( t )
+∞

∫ −∞ t 2
dt = π

> Int(H(nu), nu = -infinity .. infinity) : " = value( " ) ;

2
 1
 0 ν < − 
 2π 
+1 / 2π 
 π ν < 1  dt = π
∫−1 / 2π  2π 

 0 otherwise 
  
 
Transformation de Fourier 26