Chapitre 2

Transformation de Fourier
Pr. MESSAOUD
Ecole Hassania des Travaux Publics
Département Mathématique Informatique Géomatique
21 octobre 2019
Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

Mathématique de
Informatique
Fourier Géomatique ) 21 octobre 2019 1 / 13
1 Transformée de Fourier
2 Propriétés de la transformée de Fourier
3 Dérivée d’une transformée de Fourier
4 Transformée de Fourier d’une dérivée
5 Transformée de Fourier inverse
6 Convolution
7 Exemples fondamentaux

Mathématique de
Informatique
Transformée de Fourier
Dans ce qui suit, L1 désignera L1R (R) ou L1C (R), où :
L1R (R) est l’ensemble des fonctions f : R → R Lebesgue intégrables.
L1C (R) est l’ensemble des fonctions f : R → C Lebesgue intégrables.

Mathématique de
Informatique
Définition
- Si f ∈ L1 , alors la transformée de Fourier de f en x ∈ R est définie par

R +∞ −i2πxt
(F f )(x) = −∞ e f (t)dt

Mathématique de
Informatique
Définition

R +∞ −i2πxt
(F f )(x) = −∞ e f (t)dt
- L’application (F f ) : R → C est appelée la transformée de Fourier de f

Mathématique de
Informatique
Définition

R +∞ −i2πxt
(F f )(x) = −∞ e f (t)dt
- L’application f → F f est appelée la transformation de Fourier

Mathématique de
Informatique
Définition

R +∞ −i2πxt
(F f )(x) = −∞ e f (t)dt
- L’application f → F f est appelée la transformation de Fourier
- Si f ∈ L1 , alors la transformée de Fourier conjuguée de f en x ∈ R est définie par

R +∞ i2πxt
(F f )(x) = −∞ e f (t)dt.

Mathématique de
Informatique
Remarque
1. Ff est définie sur tout R car | f (t)e −2iπtx |≤ f (t) qui est intégrable sur R par hypothèse.

Mathématique de
Informatique
Remarque
2. La courbe représentative de | Ff | est appelée spectre de f .

Mathématique de
Informatique
Remarque
Remarque
- Il existe différentes variantes de la définition de la transformée de Fourier. On peut trouver les
définitions suivantes :
R +∞
(F f )(x) = −∞ f (t)e −itx dt
R +∞
(F f )(x) = √1 −∞ f (t)e −itx dt
2π

Mathématique de
Informatique
Remarque
Remarque
- Il existe différentes variantes de la définition de la transformée de Fourier. On peut trouver les
définitions suivantes :
R +∞
(F f )(x) = −∞ f (t)e −itx dt
R +∞
(F f )(x) = √1 −∞ f (t)e −itx dt
2π
- Il est important, en utilisant un ouvrage ou une table de transformée de Fourier de s’assurer de
la définition utilisée

Mathématique de
Informatique
Propriétés de la transformée de Fourier
Théorème
Soit f ∈ L1 , alors :
F f est continue et bornée sur R

Mathématique de
Informatique
Théorème
Théorème
(F f )(x) → 0 lorsque | x |→ ∞

Mathématique de
Informatique
Théorème
Théorème
(F f )(x) → 0 lorsque | x |→ ∞
Proposition
R +∞ R +∞
Soient f , g ∈ L1 . Les fonctions f .ĝ , fˆ.g sont dans L1 et −∞ f (x)ĝ (x)dx = −∞ fˆ(t)g (t)dt

Mathématique de
Informatique
Proposition
Soit c1 ; c2 ∈ C, a ∈ R − {0}, f , g ∈ L1 . Alors :
1. (F (c1 f + c2 g ))(x) = c1 (F f )(x) + c2 (F g )(x)

Mathématique de
Informatique
Proposition
1. (F (c1 f + c2 g ))(x) = c1 (F f )(x) + c2 (F g )(x)
2. (F g )(x) = e i2πax (F f )(x) (avec g (t) = f (t + a))

Mathématique de
Informatique
Proposition
1. (F (c1 f + c2 g ))(x) = c1 (F f )(x) + c2 (F g )(x)
3. (F g )(x) = (F f )(x − a) (avec g (t) = e i2πat f (t))

Mathématique de
Informatique
Proposition
1. (F (c1 f + c2 g ))(x) = c1 (F f )(x) + c2 (F g )(x)
4. (F f )( xa )) =| a | (F g )(x) (avec g (t) = f (at))

Mathématique de
Informatique
Proposition
1. (F (c1 f + c2 g ))(x) = c1 (F f )(x) + c2 (F g )(x)
4. (F f )( xa )) =| a | (F g )(x) (avec g (t) = f (at))
Proposition
Supposons que f ∈ C 0 (R) et f , fˆ ∈ L1 , fˆ = F f . Alors,
on a pour tout x ∈ R F fˆ(x) = f (−x)

Mathématique de
Informatique
Dérivée d’une transformée de Fourier
Proposition
Si t k f (t) ∈ L1 pour k = 0, 1, · · · , n alors F f est n fois dérivable et on a pour k = 0, · · · , n
(F f )(k) (x) = (−i2π)k (F g )(x), avec g (t) = t k f (t)

Mathématique de
Informatique
Transformée de Fourier d’une dérivée
Proposition
Si, pour tout k ∈ {0, 1, · · · , n}, la fonction f (k) est continue et intégrable, alors
(F f (k) )(x) = (2iπx)k (Ff )(x)

Mathématique de
Informatique
Transformée de Fourier inverse
Etant donné une fonction g : R → C, on cherche à déterminer f : R → C telle que F f = g .
Comment calculer la transformée inverse d’une fonction donnée g ? Le résultat général est donné
par la proposition suivante :

Mathématique de
Informatique
Etant donné une fonction g : R → C, on cherche à déterminer f : R → C telle que F f = g .
Comment calculer la transformée inverse d’une fonction donnée g ? Le résultat général est donné
par la proposition suivante :
Proposition
Si f et fˆ sont dans L1 , alors f (x) = (F fˆ)(x) pour tout x où f est continue, c.à.d :
R +∞ i2πxt
f (x) = −∞ e fˆ(t)dt pour tout x où f est continue

Mathématique de
Informatique
Corollaire
Si f est continue et f , fˆ ∈ L1 alors F fˆ = f .

Mathématique de
Informatique
Corollaire
Si f est continue et f , fˆ ∈ L1 alors F fˆ = f .
Théorème
Si f , fˆ sont dans L1 , alors F fˆ = f pp.

Mathématique de
Informatique
Corollaire
i) Pour f ∈ L1 , on a fˆ = 0 ⇒ f = 0 pp.

Mathématique de
Informatique
Corollaire
ii) Pour f ∈ L1 ∩ C 0 (R), on a fˆ = 0 ⇒ f = 0.

Mathématique de
Informatique
Corollaire
iii) Pour f , g ∈ L1 , on a fˆ = ĝ ⇒ f = g pp.

Mathématique de
Informatique
Corollaire
iii) Pour f , g ∈ L1 , on a fˆ = ĝ ⇒ f = g pp.
iv) Pour f , g ∈ L1 ∩ C 0 (R), on a fˆ = ĝ ⇒ f = g .

Mathématique de
Informatique
Convolution
Définition
Soient f , g : R → C. On appelle produit de convolution de f et g, la fonction
R +∞
(f ∗ g )(t) = −∞ f (t − s)g (s)ds

Mathématique de
Informatique
Convolution
Définition
R +∞
(f ∗ g )(t) = −∞ f (t − s)g (s)ds
Proposition
Si f , g ∈ L1 alors :
i) f ∗ g = g ∗ f ;

Mathématique de
Informatique
Convolution
Définition
R +∞
(f ∗ g )(t) = −∞ f (t − s)g (s)ds
Proposition
i) f ∗ g = g ∗ f ;
ii) f ∗ g ∈ L1 ;

Mathématique de
Informatique
Convolution
Définition
R +∞
(f ∗ g )(t) = −∞ f (t − s)g (s)ds
Proposition
i) f ∗ g = g ∗ f ;
ii) f ∗ g ∈ L1 ;
iii) F (f ∗ g ) = F (f )F (g )

Mathématique de
Informatique
Exemples fondamentaux
Soit a, b ∈ R, n ∈ N, et 1A la fonction indicatrice de l’ensemble A. Alors :

F sin(2πax)
- b1]−a,a[ (t) −→ 2ab 2πax
F sin(πx)
- (1− | t |)1]−1,1[ (t) −→ ( πx )2
F 2
- e −|t| −→ 1+(2πx)2
F n!
- t n e −t 1]0,∞[ (t) −→ (1+i2πx) n+1
2 F 2
-e −πt −→ e −πx

Mathématique de
Informatique

Chapitre 2

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Chapitre 2

Transféré par

Droits d'auteur :

Formats disponibles

Transformation de Fourier

Ecole Hassania des Travaux Publics

Département Mathématique Informatique Géomatique

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

2 Propriétés de la transformée de Fourier

3 Dérivée d’une transformée de Fourier

4 Transformée de Fourier d’une dérivée

5 Transformée de Fourier inverse

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

Dans ce qui suit, L1 désignera L1R (R) ou L1C (R), où :

L1R (R) est l’ensemble des fonctions f : R → R Lebesgue intégrables.

L1C (R) est l’ensemble des fonctions f : R → C Lebesgue intégrables.

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

Dans ce qui suit, L1 désignera L1R (R) ou L1C (R), où :

L1R (R) est l’ensemble des fonctions f : R → R Lebesgue intégrables.

L1C (R) est l’ensemble des fonctions f : R → C Lebesgue intégrables.

- Si f ∈ L1 , alors la transformée de Fourier de f en x ∈ R est définie par

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

Dans ce qui suit, L1 désignera L1R (R) ou L1C (R), où :

L1R (R) est l’ensemble des fonctions f : R → R Lebesgue intégrables.

L1C (R) est l’ensemble des fonctions f : R → C Lebesgue intégrables.

- Si f ∈ L1 , alors la transformée de Fourier de f en x ∈ R est définie par

- L’application (F f ) : R → C est appelée la transformée de Fourier de f

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

Dans ce qui suit, L1 désignera L1R (R) ou L1C (R), où :

L1R (R) est l’ensemble des fonctions f : R → R Lebesgue intégrables.

L1C (R) est l’ensemble des fonctions f : R → C Lebesgue intégrables.

- Si f ∈ L1 , alors la transformée de Fourier de f en x ∈ R est définie par

- L’application (F f ) : R → C est appelée la transformée de Fourier de f

- L’application f → F f est appelée la transformation de Fourier

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

Dans ce qui suit, L1 désignera L1R (R) ou L1C (R), où :

L1R (R) est l’ensemble des fonctions f : R → R Lebesgue intégrables.

L1C (R) est l’ensemble des fonctions f : R → C Lebesgue intégrables.

- Si f ∈ L1 , alors la transformée de Fourier de f en x ∈ R est définie par

- L’application (F f ) : R → C est appelée la transformée de Fourier de f

- L’application f → F f est appelée la transformation de Fourier

- Si f ∈ L1 , alors la transformée de Fourier conjuguée de f en x ∈ R est définie par

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

2. La courbe représentative de | Ff | est appelée spectre de f .

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

2. La courbe représentative de | Ff | est appelée spectre de f .

- Il existe différentes variantes de la définition de la transformée de Fourier. On peut trouver les

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

2. La courbe représentative de | Ff | est appelée spectre de f .

- Il existe différentes variantes de la définition de la transformée de Fourier. On peut trouver les

- Il est important, en utilisant un ouvrage ou une table de transformée de Fourier de s’assurer de

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

F f est continue et bornée sur R

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

F f est continue et bornée sur R

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

F f est continue et bornée sur R

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

1. (F (c1 f + c2 g ))(x) = c1 (F f )(x) + c2 (F g )(x)

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

1. (F (c1 f + c2 g ))(x) = c1 (F f )(x) + c2 (F g )(x)

2. (F g )(x) = e i2πax (F f )(x) (avec g (t) = f (t + a))

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation

1. (F (c1 f + c2 g ))(x) = c1 (F f )(x) + c2 (F g )(x)

2. (F g )(x) = e i2πax (F f )(x) (avec g (t) = f (t + a))

3. (F g )(x) = (F f )(x − a) (avec g (t) = e i2πat f (t))

Pr. MESSAOUD ( Ecole Hassania des Travaux Publics DépartementTransformation