1 Transformation de Fourier

Université d’Orléans
Département de Mathématiques
Master 1 – Semestre 1
Automne 2011
SMO1MA1 – Méthodes hilbertiennes et analyse de Fourier
(www.univ–orleans.fr/mapmo/membres/anker/enseignement/MHAF.html)
1 Transformation de Fourier
La transformation de Fourier sur Rest l’analogue des séries de Fourier sur T.
R
transformation de Fourier ←→ T séries de Fourier
Définition 1.1. La transformée de Fourier Ff=b fd’une fonction f∈L1(R)est définie par
Ff(ξ) = b f(ξ) = ZR f(x)e−ixξ dx ∀ξ∈R.(1)
Remarque 1.2. La transformation de Fourier est parfois définie différemment, par exemple
b
f(ξ) = 1
√2πZR
f(x)e−ixξ dx ou b f(ξ) = ZR f(x)e−2π ixξ dx . (2)
Quelle que soit la définition choisie, des facteurs πapparaissent à un moment ou à un autre
dans la théorie.
Exemple 1.3. Transformée de Fourier de la fonction caractéristique f= 1IId’un intervalle
borné Id’extrêmités a <b :
b
f(ξ) = (2eia+b
2ξsin b−a
2ξ
ξsi ξ6= 0,
b−asi ξ= 0.
Observons que b fest une fonction continue, avec une décroissance b f(ξ) = O1
|ξ|à l’infini.
Exemple 1.4. La gaussienne f(x) = e−x2
2est, à une constante multiplicative près, sa propre
transformée de Fourier :
b
f(ξ) = √2π e−ξ2
2.
Lemme 1.5. (a) (Riemann–Lebesgue)Soit f∈L1(R). Alors b f∈C0(R)avec kb fk∞≤ kfk1.
(b) Pour tout f, g ∈L1(R), on a
ZRb
f(ξ)g(ξ)dξ =ZR f(x)bg(x)dx .

Proposition 1.6. Le tableau suivant rassemble quelques propriétés de base de la transformation
de Fourier :
f(x)b
f(ξ)
f(−x)b
f(−ξ)
f(ax)1
|a|b
f(ξ
a)
f(x+b)eibξ b f(ξ)
eibx f(x)b
f(ξ−b)
d
dx f(x)i ξ b
f(ξ)
x f(x)id
dξ b
f(ξ)
(f∗g)(x)b
f(ξ)bg(ξ)
f(x)g(x)1
2π(b
f∗bg)(ξ)
Exemple 1.7. La transformée de Fourier d’une gaussienne f(x) = e−a(x−b)2est
b
f(ξ) =qπ
ae−i b ξ e−ξ2
4a.
Les deux dernières points font intervenir le produit de convolution, dont nous rappelons main-
tenant la définition et les propriétés principales.
Définition 1.8. Le produit de convolution sur Rest défini par
(f∗g)(x) = Z+∞
−∞
f(x−y)g(y)dy =Z+∞
−∞
f(z)g(x−z)dy .
Proposition 1.9. (a) Le produit de convolution est commutatif (lorsqu’il est bien défini ) :
f∗g=g∗f
(b) Soit 1≤p≤ ∞. Si f∈L1(R)et g∈Lp(R), alors f∗g∈Lp(R)avec kf∗gkp≤ kfk1kgkp.
(c) Si de plus g∈CN(R)et que ses dérivées appartiennent à Lp(R), alors f∗g∈CN(R)avec
(f∗g)(k)=f∗g(k)∈Lp(R)∀1≤k≤N .
(d) Soit (uj)une unité approchée (généralisée). Alors (f∗uj)converge vers f
•dans Lpsi f∈Lp(R)avec 1≤p < ∞,
•uniformément si f∈C0(R).
Remarque 1.10.
•On s’intéresse principalement aux cas p= 1,p= 2,p=∞.
•Le point (b) de la proposition peut être généralisé comme suit (théorème de Young) :
Soient 1≤p, q, r ≤ ∞ tels que 1
p+1 q−1 r= 1. Si f∈Lp(R)et g∈Lq(R), alors f∗g∈Lr(R)
avec kf∗gkr≤ kfkpkgkq.
•Rappelons qu’une unité approchée est une suite (uj)dans L1(R)telle que
◦uj≥0,
◦R+∞
−∞ uj= 1,
◦supp uj⊂[−Rj,+Rj]avec Rj→0,
et qu’on parle d’unité approchée généralisée si la troisième condition est remplacée par
◦ ∀ε > 0,limj→+∞R+ε
−εuj(x)dx = 1 ⇐⇒ limj→+∞R|x|>ε uj(x)dx = 0.
2

Introduisons l’espace de Schwartz, qui fournit un cadre idéal pour l’analyse de Fourier sur R.
Définition 1.11. L’espace de Schwartz S(R)est constitué des fonctions f∈C∞(R)vérifiant
les conditions équivalentes suivantes :
(a) ∀k, m∈N,∃C≥0,|f(k)(x)| ≤ C(1+|x|)−m,
(b) ∀k, m∈N,supx∈R|xmf(k)(x)|<+∞,
(c) ∀k, m∈N,supx∈Rd
dx kxmf(x)<+∞.
Exemple 1.12. Les produits f(x)= p(x)e−a(x−b)2de polynômes p(x)et de gaussiennes e−a(x−b)2,
où a>0et b∈R, sont des fonctions de Schwartz.
Proposition 1.13.
L’espace de Schwartz S(R)est dense dans Lp(R), pour tout 1≤p < ∞, ainsi que dans C0(R).
Proposition 1.14. L’espace de Schwartz est préservé par les opérations suivantes :
•dérivation :f∈ S(R) =⇒d
dx kf∈ S(R)∀k∈N,
•multiplication par les polynômes :f∈ S(R) =⇒xmf∈ S(R)∀m∈N,
•multiplication ponctuelle :f, g ∈ S(R) =⇒f g ∈ S(R),
•produit de convolution :f, g ∈ S(R) =⇒f∗g∈ S(R),
•transformation de Fourier :f∈ S(R) =⇒b f∈ S(R).
Théorème 1.15. (a) La transformation de Fourier
Ff(ξ) = b f(ξ) = ZR f(x)e−ixξ dx (2)
est un isomorphisme de l’espace de Schwartz sur lui-même.
(b) Pour tout f∈ S(R), on a
F2f= 2πf ∨.
En d’autres termes, la transformation de Fourier inverse est donnée par
F−1g(x) = 1
2πbg(−x) = 1 2πZR
g(ξ)eixξ dξ . (3)
Corollaire 1.16. La transformation de Fourier est injective sur L1(R).
Théorème 1.17 (Plancherel).(a) Pour tout f∈ S(R), on a
kb fk2=√2πkfk2.
(b) L’application f7−→ 1
√2πb
fse prolonge en une isométrie de l’espace L2(R)sur lui–même.
3

L’analyse de Fourier est un outil important en mathématiques. Elle permet notamment de ré-
soudre des équations différentielles, par exemple l’équation de la chaleur
(∂
∂t u(x, t) = ∂2 ∂x2u(x, t)∀x∈R,∀t >0,
u(x, 0) = f(x)∀x∈R.(4)
Par transformation de Fourier spatiale, l’équation (4) devient en effet
(∂
∂t bu(ξ, t) = −ξ2bu(ξ, t)∀ξ∈R,∀t>0,
bu(ξ, 0) = b f(ξ)∀ξ∈R.
Pour ξfixé, il s’agit d’une équation différentielle en t, qui est élémentaire à résoudre :
bu(ξ, t) = f(x)e−t ξ2.
Par transformation de Fourier inverse, on obtient la solution suivante de (4) :
u(x, t) = (f∗gt)(x),
où
gt(x) = 1
√4π t e−x2/4t
est le noyau de la chaleur sur R.
En physique, le principe d’incertitude de Heisenberg stipule qu’on ne peut préciser simultané-
ment la position et la vitesse d’une particule. Mathématiquement, ce principe se traduit par
l’impossibilité de cerner simultanément une fonction et sa transformée de Fourier. En voici deux
formulations quantitatives.
Théorème 1.18 (principe d’incertitude 1).
Soit f∈L1(R)telle que supp fet supp b fsont compacts. Alors f= 0.
Théorème 1.19 (principe d’incertitude 2).Pour tout f∈S(R)et pour tout x0, ξ0∈R, on a
Z+∞
−∞ |f(x)|2dxZ+∞
−∞ |b
f(ξ)|2dξ ≤4Z+∞
−∞
(x−x0)2|f(x)|2dxZ+∞
−∞
(ξ−ξ0)2|b f(ξ)|2dξ .
De plus, si x0=ξ0= 0, on a égalité pour les gaussiennes f(x) = e−t
2x2i.e. b
f(ξ) = q2π
te−1
2tξ2.
4

Passons à la formule sommatoire de Poisson (Siméon Denis Poisson, né le 21 juin 1781 à Pithi-
viers), qui est un outil important en théorie analytique des nombres.
Théorème 1.20 (Formule sommatoire de Poisson).Pour tout f∈S(R), on a
Pn∈Zb
f(n) = 2πPn∈Zf(2πn).
Exemple 1.21 (Fonctions thêta et zêta).En appliquant la formule sommatoire de Poisson aux
gaussiennes, on obtient la relation fonctionnelle
θ(t) = t−1
2θ(t−1)∀t>0
pour la fonction thêta
θ(t) = Pn∈Ze−n2t.
On en déduit le prolongement analytique de la fonction zêta
ζ(s) = P+∞
n=1 n−s∀Re s > 1
àCr{1}et la relation fonctionnelle
ζ(1−s) = π1
2−sΓ( s
2)
Γ( 1−s
2)ζ(s).
Plus précisément, la fonction
ξ(s) = πs
2
Γ( s
2)ζ(s)
sécrit
ξ(s) = Z+∞
1
dt
tts
2+t1−s 2θ(t)−1
2−1 s−1 1−s
et vérifie l’équation fonctionnelle ξ(1−s) = ξ(s).
Terminons avec le théorème d’echantillonnage de Shannon, qui est un outil fondamental en
traitement du signal.
Théorème 1.22 (Shannon).Soit f∈L2(R)telle que supp b f⊂[−π, +π]. Alors
f(x) = Pn∈Zf(n)sin π(x−n)
π(x−n).
Remarque finale : La plupart des définitions et résultats de ce chapitre se généralisent à Rn.
5