Chap.

I: Complément mathématique
I) Transformé de Fourier
1) Fonction sommable.
On note ℒ1(ℝ) l’ensemble des fonctions f définies de ℝ dans ℝ, continues par morceaux et telles que :

+∞
‫׬‬−∞ 𝑓 𝑥 𝑑𝑥 𝑒𝑥𝑖𝑠𝑡𝑒c-a-d : ne diverge pas
exemple :
+∞
1 +∞
න 𝑑𝑥 = arctan 𝑥 −∞ =𝜋
1 + 𝑥2
−∞

Par contre, la fonction g définie de ℝ dans ℝ par :

𝑔(𝑥) = 𝑥 n’appartient pas à ℒ1(ℝ).
De façon plus générale, sauf dans le cas de la fonction nulle, les polynômes n’appartiennent pas à ℒ 1(ℝ).
Propriété
Si 𝑓 𝑥 ∈ ℒ1(ℝ) alors ∀ 𝑥 ∈ ℝ alors𝑓 𝑥 ≠ ∞ donc ne diverge pas

lim 𝑓 𝑥 = 0
𝑥→±∞
2)Définition du transformé de Fourier
Soit f  L 1. On appelle transformée de Fourier de f, l’application suivante :

𝑇𝐹(𝑓): ℝ −→ ℂ
𝑓 𝑥 −→ 𝑓 ҧ 𝑘
telle que :

+∞
1
𝑇𝐹 𝑓 = 𝑓 ҧ 𝑘 = න 𝑓 𝑥 𝑒 −𝑖𝑘𝑥 𝑑𝑥
2𝜋
−∞

L’égalité 𝑓 𝑥 𝑒 −𝑖𝑘𝑥 = 𝑓 𝑥 montre que la fonction x → 𝑓 𝑥 𝑒 −𝑖𝑘𝑥 est intégrable pour tout k  ℝ et donc 𝑓 ҧ 𝑘 est
bien définie pour tout k  ℝ.
Le transformé inverse est définie par :

+∞
1
𝑇𝐹 −1 𝑓 ҧ = 𝑓 𝑥 = න 𝑓 ҧ 𝑘 𝑒 𝑖𝑘𝑥 𝑑𝑘
2𝜋
−∞
1) Propriétés algébriques de la transformée de Fourier
Parité
𝑓 𝑥 paire → 𝑓ҧ 𝑘 paire
𝑓 𝑥 impaire → 𝑓ҧ 𝑘 impaire
𝑓 𝑥 réelle paire → 𝑓ҧ 𝑘 Réelle (paire)
𝑓 𝑥 réelle impaire → 𝑓ҧ 𝑘 imaginaires pure (impaire)

Image d’une translation

Soit a  ℝ on pose 𝑔 𝑥 = 𝑓 𝑥 − 𝑎
g et la translaté de f
𝑇𝐹 𝑔 = 𝑒 −𝑖𝑘𝑎 𝑓 ҧ 𝑘 = 𝑒 −𝑖𝑘𝑎 𝑇𝐹(𝑓)
Translation de l’image
Soit q  ℝ. On a :
𝑇𝐹 𝑒 𝑖𝑞𝑥 𝑓 𝑥 = 𝑓ҧ 𝑘 − 𝑞
Multiplication par un scalaire
1 𝑘
Soit   ℝ avec  > 0 on a : 𝑇𝐹 𝑓 𝛼𝑥 = 𝛼 𝑓ҧ 𝛼
Transformé d’une dérivée
𝑑𝑓 𝑑𝑓
Si f  L 1 et si appartient à L 1, alors on a : 𝑇𝐹 = 𝑖𝑘𝑓 ҧ 𝑘 en général :
𝑑𝑥 𝑑𝑥

𝑇𝐹 𝑓 𝑛 𝑥 = 𝑖𝑘 𝑛 𝑓 ҧ 𝑘
Multiplication par x
𝑑𝑓ҧ 𝑘
Si f  L 1 et si xf(x) appartient à L 1, alors on a : = 𝑇𝐹 −𝑖𝑥𝑓 𝑥
𝑑𝑘
𝑑𝑛 𝑓ҧ 𝑘
𝑛 = 𝑇𝐹 −𝑖𝑥 𝑛 𝑓 𝑥
𝑑𝑘
Produit de convolution
Soient f et g deux fonction de L 1. On peut démontrer que f*g appartient à L 1.
+∞

𝑓 ∗ 𝑔 𝑥 = න 𝑓 𝑢 𝑔 𝑥 − 𝑢 𝑑𝑢
−∞

𝑇𝐹 𝑓 ∗ 𝑔 = 2𝜋𝑇𝐹 𝑓 ∙ 𝑇𝐹 𝑔 = 2𝜋𝑓 ҧ 𝑘 ∙ 𝑔ҧ 𝑘
 4) Transformé de Fourier en mécanique quantique

En mécanique quantique k est le nombre d’onde et p est l’impulsion 𝑝 = ℏ𝑘

+∞
1
𝜓ത 𝑝 = න 𝜓 𝑥 𝑒 −𝑖𝑝𝑥Τℏ 𝑑𝑥
2𝜋ℏ
−∞

+∞
1
𝜓 𝑥 = න 𝜓ത 𝑝 𝑒 𝑖𝑝𝑥Τℏ 𝑑𝑝
2𝜋ℏ
−∞
 5) Propriétés
Nous symbolisons les formules précédentes par :
𝜓ത 𝑝 = 𝑇𝐹 𝜓 𝑥 et 𝜓 𝑥 = 𝑇𝐹 −1 𝜓ത 𝑝
𝜓ത 𝑝 − 𝑝0 = 𝑇𝐹 𝑒 𝑖𝑝0𝑥Τℏ 𝜓 𝑥
𝑒 −𝑖𝑝𝑥0Τℏ 𝜓ത 𝑝 = 𝑇𝐹 𝜓 𝑥 − 𝑥0
1
𝑇𝐹 𝜓 𝑐𝑥 = 𝜓ത 𝑝Τ𝑐 en particulier 𝑇𝐹 𝜓 −𝑥 = 𝜓ത −𝑝
𝑐

Si la fonction (x) a une parité déterminer, sa transformé de Fourier a la même parité

Si 𝜓 𝑛
𝑥 désigne la dérivée nème de la fonction  alors :
𝑛
𝑖𝑝
𝑇𝐹 𝜓 𝑛
𝑥 = 𝜓ത 𝑝
ℏ
𝑖𝑥 𝑛 +∞
𝜓ത 𝑛
𝑝 = 𝑇𝐹 −1 −ℏ 𝜓 𝑥 Si 𝜓 𝑥 = ‫׬‬−∞ 𝜑 𝑦 𝜒 𝑥 − 𝑦 𝑑𝑦 alors 𝜓ത 𝑝 = 2𝜋ℏ𝜑ത 𝑝 𝜒ҧ 𝑝

Le transformé de Fourier conserve la norme

+∞ +∞ 2
‫׬‬−∞ 𝜓 𝑥 2 𝑑𝑥 = ‫׬‬−∞ 𝜓ത 𝑝 𝑑𝑝 Formule de Parseval-Plancherel
6) Distribution de Dirac  ()
Définition
Considérons la fonction définit par : 1/
1 𝜀 𝜀
𝑝𝑜𝑢𝑟 − <𝑥<
𝛿𝜀 𝑥 = 𝜀 2 2
𝜀
0 𝑝𝑜𝑢𝑟 𝑥 >
2
x
-/2 /2

Où  est un nombre réel positif. Calculons l’intégrale :

+∞
‫׬‬−∞ 𝑓 𝑥 𝛿𝜀 𝑥 𝑑𝑥Où 𝑓 𝑥 est une fonction quelconque définie en x = 0.
Si  est suffisamment petit, la variation de f(x) sur l’intervalle effectif d’intégration [-/2, /2] est négligeable, et 𝑓 𝑥
reste pratiquement égal à 𝑓 0 , de sorte que :

+∞ +∞

න 𝑓 𝑥 𝛿𝜀 𝑥 𝑑𝑥 = 𝑓 0 𝑒𝑡 න 𝛿𝜀 𝑥 𝑑𝑥 = 1
−∞ −∞
 ∞ 𝑝𝑜𝑢𝑟 𝑥 = 0
lim 𝛿𝜀 𝑥 = 𝛿 𝑥 avec 𝛿 𝑥 =ቊ
𝜀→0 0 𝑝𝑜𝑢𝑟 𝑥 ≠ 0
Donc la fonction  est définit par :
+∞

න 𝑓 𝑥 𝛿 𝑥 𝑑𝑥 = 𝑓 0
−∞
Plus généralement (x – x0) est définit par:
+∞

න 𝑓 𝑥 𝛿 𝑥 − 𝑥0 𝑑𝑥 = 𝑓 𝑥0
−∞
7) Propriétés de 
a. 𝛿 −𝑥 = 𝛿 𝑥
1
b. 𝛿 𝑐𝑥 = 𝑐
𝛿 𝑥
𝛿 𝑥−𝑥𝑗
c. 𝛿 𝑔 𝑥 = σ𝑗
𝑔′ 𝑥𝑗

𝑔 𝑥𝑗 = 0
Les 𝑥𝑗 sont les zéros simples de la fonction g.
𝑔′ 𝑥𝑗 ≠ 0
d. 𝑥𝛿 𝑥 = 0
e. 𝑔 𝑥 𝛿 𝑥 − 𝑥0 = 𝑔 𝑥0 𝛿 𝑥 − 𝑥0
+∞
f. ‫׬‬−∞ 𝛿 𝑥 − 𝑦 𝛿 𝑥 − 𝑧 𝑑𝑥 = 𝛿 𝑦 − 𝑧
 8. Transformé de Fourier de la fonction 
+∞
1 1
𝛿𝑥ҧ 0 𝑝 = න 𝑒 −𝑖𝑝𝑥Τℏ
𝛿 𝑥 − 𝑥0 𝑑𝑥 = 𝑒 −𝑖𝑝𝑥0Τℏ
2𝜋ℏ 2𝜋ℏ
−∞
1
𝛿0ҧ 𝑝 = La transforme de Fourier inverse est :
2𝜋ℏ
+∞
1 𝑥−𝑥0 Τℏ 𝑑𝑥
𝛿 𝑥 − 𝑥0 = න 𝑒 𝑖𝑝
2𝜋ℏ
−∞