Académique Documents
Professionnel Documents
Culture Documents
Transformée de Fourier
(Mathématiques Appliquées GI-SIG)
Driouch Aicha
16 novembre 2021
Transformée de Fourier
Plan
Définition
Soit f ∈ L1 (Rn ). On appelle la transformée de Fourier de f la
fonction Z
F(ξ) = e −2πix ξ f (x )dx
Rn
où x .ξ est le produit scalaire dans Rd .
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Définition
Soit f ∈ L1 (Rn ). On appelle la transformée de Fourier de f la
fonction Z
F(ξ) = e −2πix ξ f (x )dx
Rn
où x .ξ est le produit scalaire dans Rd .
Remarque.
Il est trivial mais utile de noter que
Z
F(0) = f (x )dx
Rn
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Remarque.
Il est trivial mais utile de noter que
Z
F(0) = f (x )dx
Rn
Propriété
L’existence de fˆ est évidente, puisque, pour tout ξ ∈ Rn , la
majoration simple du facteur exponentiel e −iξx par 1 montre que
Z Z
−2πix ξ
|fˆ(ξ)| = e f (x )dx ≤ |f (x )|dx < +∞
Rn Rn
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Proposition
Soit f ∈ L1 (Rn ) une fonction intégrable, alors la transformée de
fourier de f est une fonction continue sur Rn , bornée, et nous
avons en plus
||fˆ||L∞ ≤ ||f ||L1
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Proposition
Soit f ∈ L1 (Rn ) une fonction intégrable, alors la transformée de
fourier de f est une fonction continue sur Rn , bornée, et nous
avons en plus
||fˆ||L∞ ≤ ||f ||L1
Preuve
Continuité de fˆ : On utilise le théorème de continuité sous signe
intégrale, nous avons
|e −2πix ξ f (x )| ≤ |f (x )|
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Proposition
Soit f ∈ L1 (Rn ) une fonction intégrable, alors la transformée de
fourier de f est une fonction continue sur Rn , bornée, et nous
avons en plus
||fˆ||L∞ ≤ ||f ||L1
Preuve
Continuité de fˆ : On utilise le théorème de continuité sous signe
intégrale, nous avons
|e −2πix ξ f (x )| ≤ |f (x )|
Proposition
Soit f ∈ L1 (Rn ) une fonction intégrable, alors la transformée de
fourier de f est une fonction continue sur Rn , bornée, et nous
avons en plus
||fˆ||L∞ ≤ ||f ||L1
Preuve
Continuité de fˆ : On utilise le théorème de continuité sous signe
intégrale, nous avons
|e −2πix ξ f (x )| ≤ |f (x )|
Proposition
Soit f ∈ L1 (Rn ) une fonction intégrable, alors la transformée de
fourier de f est une fonction continue sur Rn , bornée, et nous
avons en plus
||fˆ||L∞ ≤ ||f ||L1
Preuve
Continuité de fˆ : On utilise le théorème de continuité sous signe
intégrale, nous avons
|e −2πix ξ f (x )| ≤ |f (x )|
Proposition
La transformée de Fourier de f
F : L1 (Rn ) → L∞ (Rn )
f 7→ F(f ) = fˆ
est une application linéaire de L1 (Rn ) vers L∞ (Rn ) et continue
∀f ∈ L1 (Rn ).
En effet, ∀f , g ∈: L1 (Rn ) et ∀α, β ∈ C on a
L 1 L ∞
si fn −→ f alors fˆn −−→ fˆ.
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Posons
f (x ) = 1]− 1 , 1 [ (x ) avec :
2 2
1
1 si |x | <
1]− 1 , 1 [ (x ) = 2
2 2 0 sinon
Figure – Graphe de f .
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Posons
f (x ) = 1]− 1 , 1 [ (x ) avec :
2 2
1
1 si |x | <
1]− 1 , 1 [ (x ) = 2
2 2 0 sinon
Figure – Graphe de f .
Calculons
Z la transformée de fourier Z de f
f (ξ) = 1]− 1 , 1 [ (x )e
ˆ −2πix ξ
dx = e −2πix ξ dx
R 2 2 1 1
]− 2 , 2 [
1
1 −i2πx ξ
2
= − e
i2πξ −1 2
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
1
1 −i2πx ξ −e πiξ + e −iπ ξ e πiξ − e −iπξ sin(πξ)
2
fˆ(ξ) = − e = =− =
i2πξ − 12 i2πξ 2πiξ πξ
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
1
1 −i2πx ξ −e πiξ + e −iπ ξ e πiξ − e −iπξ sin(πξ)
2
fˆ(ξ) = − e = =− =
i2πξ − 12 i2πξ 2πiξ πξ
lim fˆ(ξ) = 0
|ξ|→+∞
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Exercice 1
Exercice 1
Preuve
- Calculons la transformée de fourier de la translatée f (t + a) :
Z
F(f (t + a))(ξ) = e −2iπtξ f (t + a)dt
R
on pose x = t + a donc t = x − a
Z Z
e −2iπtξ f (t + a)dt = e −2iπξ(x −a) f (x )dx = e 2iπaξ F(f )(ξ)
R R
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
1
Z Z
ξ
−2πiξt
• si a < 0 e f (at)dt = − e −2πi a x f (x )dx
R a R
1 ξ
= − F( )
a a
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
1
Z Z
ξ
−2πiξt
• si a < 0 e f (at)dt = − e −2πi a x f (x )dx
R a R
1 ξ
= − F( )
a a
Et donc ∀a ̸= 0
1
Z
ξ
F(at)(ξ) = e −2πi a x f (x )dx
|a| R
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
1
Z Z
ξ
−2πiξt
• si a < 0 e f (at)dt = − e −2πi a x f (x )dx
R a R
1 ξ
= − F( )
a a
Et donc ∀a ̸= 0
1
Z
ξ
F(at)(ξ) = e −2πi a x f (x )dx
|a| R
1 ξ
= F( )
|a| a
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Proposition
Supposons que f ∈ C 0 (R) et f , fˆ ∈ L1 . Alors on a
F(fˆ)(x ) = f (−x ) ∀x ∈ R
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Passage du chapeau
Proposition
Soient f et g deux fonctions dans L1 (Rn ). Alors f ĝ et fˆg ∈ L1 et
on a en plus Z Z
fˆ(x )g(x )dx = f (t)ĝ(t)dt
R R
Preuve
Puisque ĝ est bornée (car ĝ est dans L∞ ) et f ∈ L1 alors d’après
Hölder ĝf ∈ L1 et fˆg ∈ L1
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Z Z
fˆ(x )g(x )dx = f (t)ĝ(t)dt??
R R
on a Z Z Z
fˆ(x )g(x )dx = g(x ) f (t)e −2πitx dt dx
R R R
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Z Z
fˆ(x )g(x )dx = f (t)ĝ(t)dt??
R R
on a Z Z Z
fˆ(x )g(x )dx = g(x ) f (t)e −2πitx dt dx
R R R
Appliquons le théorème de Fubini :
La fonction (t, x ) 7→ g(x )f (t)e −2πitx est intégrable car
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Z Z
fˆ(x )g(x )dx = f (t)ĝ(t)dt??
R R
on a Z Z Z
fˆ(x )g(x )dx = g(x ) f (t)e −2πitx dt dx
R R R
Appliquons le théorème de Fubini :
La fonction (t, x ) 7→ g(x )f (t)e −2πitx est intégrable car
Z Z Z Z
g(x )f (t)e −2πitx dtdx ≤ |g(x )f (t)e −2πitx |dtdx
R R R R
Z Z
≤ |g(x )f (t)|dtdx
R R
Z Z
≤ |g(x )|dx |f (t)|dt < +∞
R R
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Proposition
Soit f une fonction tel que x k f ∈ L1 pour tout k = 0, 1, ..., n.
Alors F(f ) est n fois dérivable et on a
Proposition
Soit f une fonction tel que x k f ∈ L1 pour tout k = 0, 1, ..., n.
Alors F(f ) est n fois dérivable et on a
Elements de preuve
Nous allons faire la preuve lorsque k = 1. Supposons xf ∈ L1
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Elements de preuve
Nous allons faire la preuve lorsque k = 1. Supposons xf ∈ L1
Est ce qu’on a
Elements de preuve
Nous allons faire la preuve lorsque k = 1. Supposons xf ∈ L1
Est ce qu’on a
Z
F(f ) : ξ 7→ f (x )e −2iπξx dx
R
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Exemple 1
Sachant que
Exemple 1
Sachant que
1
Calculer F(t 1]−1,1[ ) ? On sait que F(1]−1,1[ )(ξ) = sin(2πξ)
πξ
(voir travaux dirigés). Par suite
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Exemple 1
Sachant que
1
Calculer F(t 1]−1,1[ ) ? On sait que F(1]−1,1[ )(ξ) = sin(2πξ)
πξ
(voir travaux dirigés). Par suite
′
1 ′ 1 1
F(t 1]−1,1[ )(ξ) = − F (1]−1,1[ )(ξ) = − sin(2πξ)
2πi 2πi πξ
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Exemple 1
Sachant que
1
Calculer F(t 1]−1,1[ ) ? On sait que F(1]−1,1[ )(ξ) = sin(2πξ)
πξ
(voir travaux dirigés). Par suite
′
1 ′ 1 1
F(t 1]−1,1[ )(ξ) = − F (1]−1,1[ )(ξ) = − sin(2πξ)
2πi 2πi πξ
1 2π cos(2πξ)ξ − sin(2πξ)
=− 2 .
2π i ξ2
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Exemple 2
2 2 2
Sachant que F(e −πx )(ξ) = e −πξ , calculer F(−πxe −πx )(ξ)
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Exemple 2
Sachant que F(e −πx 2 )(ξ) = e −πξ 2 , calculer F(−πxe −πx 2 )(ξ)
∂f
On sait que F = 2πξiF(f )
∂x
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Exemple 2
Sachant que F(e −πx 2 )(ξ) = e −πξ 2 , calculer F(−πxe −πx 2 )(ξ)
∂f
On sait que F = 2πξiF(f )
∂x
2 1 2 1 2
F(−πxe −πx )(ξ) = F(−2πxe −πx )(ξ) = F(−2πxe −πx )(ξ)
2 2
1 ∂ 2 1 2
= F( e −πx )(ξ) = (2iπξ)F(e −πx )(ξ)
2 ∂x 2
2
= iπξe −πξ
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Fourier et Convolution
Proposition
si f et g ∈ L1 (Rn ), alors F(f ⋆ g) = fˆ.ĝ
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Fourier et Convolution
Proposition
si f et g ∈ L1 (Rn ), alors F(f ⋆ g) = fˆ.ĝ
Preuve
Par raison de simplicité, on considère le cas n = 1.
Z
F(f ⋆ g)(x ) = e −2πxt f ⋆ g(t)dt
R
Z Z
= f (y )g(t − y )dy e −2πxt dt
R R
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Z Z Z Z
f (y )g(t − y )e −2πixt dydt ≤ |f (y )g(t − y )e −2πixt |dydt
R R R R
Z Z Z Z
≤ |f (y )g(t − y )|dydt ≤ |f (y )| |g(t − y )|dt dy
R R R R
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Z Z Z Z
f (y )g(t − y )e −2πixt dydt ≤ |f (y )g(t − y )e −2πixt |dydt
R R R R
Z Z Z Z
≤ |f (y )g(t − y )|dydt ≤ |f (y )| |g(t − y )|dt dy
R R R R
on pose u = t − y
Z Z Z
≤ |f (y )| |g(u)|du dy ≤ K |f (y )|dy < +∞
R R R
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Z Z Z Z
f (y )g(t − y )e −2πixt dydt ≤ |f (y )g(t − y )e −2πixt |dydt
R R R R
Z Z Z Z
≤ |f (y )g(t − y )|dydt ≤ |f (y )| |g(t − y )|dt dy
R R R R
on pose u = t − y
Z Z Z
≤ |f (y )| |g(u)|du dy ≤ K |f (y )|dy < +∞
R R R
Ce qui veut dire que f (y )g(t − y )e −2πxt est intégrable, on peut
donc appliquer Fubini
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
D’après Fubini on a
Z Z Z Z
f (y )g(t − y )dy e −2πixt dt = f (y )g(t − y )dy e −2πix (t−y +y ) dt
R R R R
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
D’après Fubini on a
Z Z Z Z
f (y )g(t − y )dy e −2πixt dt = f (y )g(t − y )dy e −2πix (t−y +y ) dt
R R R R
Z Z
f (y )e −2πxy g(t − y )e −2πix (t−y ) dt dy
R R
On pose u = t − y
Z Z
f (y )e −2πxy g(u)e 2πixu du dy = fˆ(x )ĝ(x ).
R | R {z }
ĝ(x )
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
1+x
si − 1 ≤ x ≤ 0
Λ(x ) = 1−x si 0 ≤ x ≤ 1
0 sinon
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
1+x
si − 1 ≤ x ≤ 0
Λ(x ) = 1−x si 0 ≤ x ≤ 1
0 sinon
1+x
si − 1 ≤ x ≤ 0
Λ(x ) = 1−x si 0 ≤ x ≤ 1
0 sinon
Corollaire
Si f est continue, nous avons l’égalité
Z
∀x ∈ R , f (x ) =
n
e 2iπtx fˆ(t)dt
Rn
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Exemples Fondamentaux
F 2
e −|t| −→
1 + (2πx )2
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Exemples Fondamentaux
F 2
e −|t| −→
1 + (2πx )2
F 2a
e −a|t| −→
a2 + (2πx )2
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Exemples Fondamentaux
F 2
e −|t| −→
1 + (2πx )2
F 2a
e −a|t| −→
a2 + (2πx )2
F sin(2aπx )
1[−a,a] −→
πx
Transformée de Fourier
Transformée de Fourier dans L1 (Rn )
Dérivée de la transformée de Fourier
Exemples Fondamentaux
F 2
e −|t| −→
1 + (2πx )2
F 2a
e −a|t| −→
a2 + (2πx )2
F sin(2aπx )
1[−a,a] −→
πx
r
−at 2 F π − π2 x 2
e −→ e a
a
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Définition
L’espace L2 (Rn ) est défini par
Z
L (R ) = {f \
2 n
|f |2 dµ < +∞}
Rn
Si f ∈ L2 (Rn ) alors f est dite carré intégrable.
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Définition
L’espace L2 (Rn ) est défini par
Z
L (R ) = {f \
2 n
|f |2 dµ < +∞}
Rn
Si f ∈ L2 (Rn ) alors f est dite carré intégrable.
Proposition
La norme L2 provient d’un produit scalaire, en effet l’application
L2 × L2 → R
Z
< u, v >7→ u(x )v (x )dx
Rn
est un produit scalaire sur L2 qu’on notera < . >L2 , et nous avons
Preuve
Nous devons montrer que <, >L2 est un produit scalaire c-à-d
1 <, >L2 est une Forme bilinéaire
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Proposition
La norme L2 provient d’un produit scalaire, en effet l’application
L2 × L2 → R
Z
< u, v >7→ u(x )v (x )dx
Rn
est un produit scalaire sur L2 qu’on notera < . >L2 , et nous avons
Preuve
Nous devons montrer que <, >L2 est un produit scalaire c-à-d
1 <, >L2 est une Forme bilinéaire
2 <, >L2 est Symétrique
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Proposition
La norme L2 provient d’un produit scalaire, en effet l’application
L2 × L2 → R
Z
< u, v >7→ u(x )v (x )dx
Rn
est un produit scalaire sur L2 qu’on notera < . >L2 , et nous avons
Preuve
Nous devons montrer que <, >L2 est un produit scalaire c-à-d
1 <, >L2 est une Forme bilinéaire
2 <, >L2 est Symétrique
3 <, >L2 est Définie positive.
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Théorème de Cauchy-Schwartz
Soient f et g appartenant à L2 (R) alors nous avons la propriété
suivante sZ sZ
Z
fgdµ ≤ |f |2 dµ |g|2 dµ
R R R
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Théorème de Cauchy-Schwartz
Soient f et g appartenant à L2 (R) alors nous avons la propriété
suivante sZ sZ
Z
fgdµ ≤ |f |2 dµ |g|2 dµ
R R R
Remarque
L’inégalité de Cauchy-Schwartz est un cas particulier de l’inégalité
de Hölder lorsque p = q = 12
Théorème de Plancherel-Parseval
Soit f et h appartenant à L2 ∩ L1 (R). Alors on a
Z Z
f (t)h(t)dt = fˆ(x )ĥ(x )dx
R R
De plus, si f = h on a la propriété suivante
Théorème
La transformée de Fourier se prolonge en une isométrie de L2 (R)
vers L2 (R)
F : L2 (R) → L2 (R)
f 7→ F(f )
et nous avons
∀f ∈ L2 (R) F −1 (F(f )) = F(F −1 (f )) = f presque partout.
∀f ∈ L2 (R) ||f ||L2 = ||F(f )||L2 .
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Exemple
sin(2πx )
Considérons la fonction g(x ) = . On souhaite calculer la
πx
transformée de Fourier de g.
On sait que g ∈ / L1 (R) mais par contre g ∈ L2 (R) on peut donc
considérer la transformée de Fourier dans L2 (R).
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Exemple
sin(2πx )
Considérons la fonction g(x ) = . On souhaite calculer la
πx
transformée de Fourier de g.
On sait que g ∈ / L1 (R) mais par contre g ∈ L2 (R) on peut donc
considérer la transformée de Fourier dans L2 (R).
On sait que
sin(2πx )
= F(1[−1,1] (t)) (voir TD)
πx
sin(2πx ) sin(2πx ) −2πix ξ
Z
F = e dx
πx R πx
on pose u = −x
sin(2πx ) sin(2πu) 2πiuξ −1 sin(2πx )
Z
F = e du = F = 1[−1,1] (ξ)
πx R πu πx
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Exemple
sin(2πx )
Considérons la fonction g(x ) = . On souhaite calculer la
πx
transformée de Fourier de g.
On sait que g ∈ / L1 (R) mais par contre g ∈ L2 (R) on peut donc
considérer la transformée de Fourier dans L2 (R).
On sait que
sin(2πx )
= F(1[−1,1] (t)) (voir TD)
πx
sin(2πx ) sin(2πx ) −2πix ξ
Z
F = e dx
πx R πx
on pose u = −x
sin(2πx ) sin(2πu) 2πiuξ −1 sin(2πx )
Z
F = e du = F = 1[−1,1] (ξ)
πx R πu πx
Par suite
sin(2πx )
F = 1[−1,1] (ξ)
πx
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Exercice d’application
Exercice
Soit f la fonction triangle définie par :
1+x
si − 1 ≤ x ≤ 0
f (x ) = 1−x si 0 ≤ x ≤ 1
0 sinon
Corrigé
Nous avons
Z Z 0 Z 1
2 2
|f (x )| dx = (1 + x ) dx + (1 − x )2 dx
R −1 0
0 1
1 1
= (1 + x )3 − (1 − x )3
3 −1 3 0
1 1 2
= + = < +∞
3 3 3
Transformée de Fourier
Transformée de fourier en L2 (Rn )
Corrigé
Nous avons
Z Z 0 Z 1
2 2
|f (x )| dx = (1 + x ) dx + (1 − x )2 dx
R −1 0
0 1
1 1
= (1 + x )3 − (1 − x )3
3 −1 3 0
1 1 2
= + = < +∞
3 3 3
2-Puisque f ∈ L2 (R), d’après le théorème de Plancherel-Parseval
on a
||fˆ||2L2 = ||f ||2L2
Transformée de Fourier
Transformée de fourier en L2 (Rn )
c’est-à-dire
2
sin2 (πt) 2
= ||f ||2L2 =
π2t 2 L2
3
Transformée de Fourier
Transformée de fourier en L2 (Rn )
c’est-à-dire
2
sin2 (πt) 2
= ||f ||2L2 =
π2t 2 L2
3
Or on sait que
2
sin2 (πt) sin4 (πt)
Z
= dt
π2t 2 2 R π4t 4
sin4 (x ) sin4 (x )
Z +∞ Z +∞
1 2 2
dx = dx =
π −∞ x4 π 0 x4 3
sin4 (x )
car est paire.
x4
Transformée de Fourier
Transformée de fourier en L2 (Rn )
c’est-à-dire
2
sin2 (πt) 2
= ||f ||2L2 =
π2t 2 L2
3
Or on sait que
2
sin2 (πt) sin4 (πt)
Z
= dt
π2t 2 2 R π4t 4
sin4 (x ) sin4 (x )
Z +∞ Z +∞
1 2 2
dx = dx =
π −∞ x4 π 0 x4 3
sin4 (x ) sin4 (x )
Z +∞
π
car est paire. Par suite dx = .
x4 0 x4 3
Transformée de Fourier
Transformée de fourier en L2 (Rn )
∂u ∂ 2 u
− 2 =0 ∀t > 0, ∀x ∈ R
(P) ∂t ∂ x
u(0, x ) = u0 (x ).
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
∂u ∂ 2 u
− 2 =0 ∀t > 0, ∀x ∈ R
(P) ∂t ∂ x
u(0, x ) = u0 (x ).
∂u
(t, x ) ≤ g2
∂t
∂2u
(t, x ) ≤ g3
∂2x
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
∂u
(t, x ) ≤ g2
∂t
∂2u
(t, x ) ≤ g3
∂2x
Z
u(t, x )e −2πix ξ dx
Fu(ξ) =
R
On se propose de résoudre Le problème (P) à l’aide de la
transformée de Fourier, cela se fera en 4 étapes
∂ ∂u
1 on montre d’abord que F(u) = F
∂t ∂t
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
Z
u(t, x )e −2πix ξ dx
Fu(ξ) =
R
On se propose de résoudre Le problème (P) à l’aide de la
transformée de Fourier, cela se fera en 4 étapes
∂ ∂u
1 on montre d’abord que F(u) = F
∂t ∂t
Z
u(t, x )e −2πix ξ dx
Fu(ξ) =
R
On se propose de résoudre Le problème (P) à l’aide de la
transformée de Fourier, cela se fera en 4 étapes
∂ ∂u
1 on montre d’abord que F(u) = F
∂t ∂t
Z
u(t, x )e −2πix ξ dx
Fu(ξ) =
R
On se propose de résoudre Le problème (P) à l’aide de la
transformée de Fourier, cela se fera en 4 étapes
∂ ∂u
1 on montre d’abord que F(u) = F
∂t ∂t
∂ ∂u
Montrons que F(u) = F
∂t ∂t
Nous allons appliquer le théorème de dérivation sous signe
intégrale,
x 7→ u(t, x ) est intégrable car u ∈ L1 (R)
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
∂ ∂u
Montrons que F(u) = F
∂t ∂t
Nous allons appliquer le théorème de dérivation sous signe
intégrale,
x 7→ u(t, x ) est intégrable car u ∈ L1 (R)
t 7→ u(t, x ) est dérivable par rapport à t.
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
∂ ∂u
Montrons que F(u) = F
∂t ∂t
Nous allons appliquer le théorème de dérivation sous signe
intégrale,
x 7→ u(t, x ) est intégrable car u ∈ L1 (R)
t→7 u(t, x ) est dérivable par rapport à t.
∂
u(t, x ) ≤ g2 ∈ L1 (R)
∂t
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
∂ ∂u
Montrons que F(u) = F
∂t ∂t
Nous allons appliquer le théorème de dérivation sous signe
intégrale,
x 7→ u(t, x ) est intégrable car u ∈ L1 (R)
t→7 u(t, x ) est dérivable par rapport à t.
∂
u(t, x ) ≤ g2 ∈ L1 (R)
∂t
∂u ∂ 2 u
(P) − 2 =0
∂t ∂ x
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
∂u ∂ 2 u
(P) − 2 =0
∂t ∂ x
∂u ∂2u
Etant donné que ∈ L1 (R) et 2 ∈ L1 (R) on applique Fourier
∂t ∂ x
à (P) :
!
∂u ∂2u
F −F =0
∂t ∂2x
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
∂u ∂ 2 u
(P) − 2 =0
∂t ∂ x
∂u ∂2u
Etant donné que ∈ L1 (R) et 2 ∈ L1 (R) on applique Fourier
∂t ∂ x
à (P) :
!
∂u ∂2u
F −F =0
∂t ∂2x
∂
F(u) − (2πix )2 F(u) = 0
∂t
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
∂
û(t, x ) = (2πix )2 û(t, x )
∂t
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
∂
û(t, x ) = (2πix )2 û(t, x )
∂t
et donc la solution de cette équation est
2t
û(t, x ) = û(0, x )e −(2πx )
2 tx 2
= û(0, x )e −4π
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
∂
û(t, x ) = (2πix )2 û(t, x )
∂t
et donc la solution de cette équation est
2t
û(t, x ) = û(0, x )e −(2πx )
2 tx 2
= û(0, x )e −4π
on sait que u(0, x ) est u0 (x ) et donc û(0, x ) = û0 (x )
Par suite
2 2
û(t, x ) = û0 (x )e −4π tx
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
r
a −ax 2
π2 2
⇔F e = e− a
x
π
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
1
Donc si on pose a = , on trouve
4t
s
1 − 1 x2 2 2
F e 4t = e −4π tx
4πt
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
1
Donc si on pose a = , on trouve
4t
s
1 − 1 x2 2 2
F e 4t = e −4π tx
4πt
Par suite s
1 − 1 x2
û(t, x ) = û0 (x )F e 4t
4πt
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
1
Donc si on pose a = , on trouve
4t
s
1 − 1 x2 2 2
F e 4t = e −4π tx
4πt
Par suite s
1 − 1 x2
û(t, x ) = û0 (x )F e 4t
4πt
Ainsi s
1 − 1 x2
û(t, x ) = F u0 (x ) ⋆ e 4t
4πt
Transformée de Fourier
Résolution de l’équation de la chaleur par Fourier
1
Donc si on pose a = , on trouve
4t
s
1 − 1 x2 2 2
F e 4t = e −4π tx
4πt
Par suite s
1 − 1 x2
û(t, x ) = û0 (x )F e 4t
4πt
Ainsi s
1 − 1 x2
û(t, x ) = F u0 (x ) ⋆ e 4t
4πt
et donc s
1 1 2
u(t, x ) = u0 (x ) ⋆ e − 4t x
4πt