x2
Leçon 250 - Transformation de Fourier. Applications. – Ex : Pour tout t > 0, la fonction Gt (x) = √2πt 1
e− 2t permet de régulariser les
1
Cadre : Les fonctions considérées sont définies sur R, à valeurs dans C. On peut les fonctions de L (R) par convolution.
√
généraliser à Rd . – Pro : Pour f, g ∈ L1 (R), f[
∗ g = fb ∗ gb. 2π.
– App : L1 ne possède pas d’unité pour la convolution.
– App : Si f ∗ f = f dans L1 (R), alors f = 0 pp.
1. Transformation de Fourier sur L1 (R). —
3. Inversion de la transformée de Fourier. —
1. Définition et premières propriétés. —
– Rappel: : (L1 (R), k.k1 ) est un espace de Banach. – Pro : Si f est de classe C 1 par morceaux et f, f 0 ∈ L1 (R), alors fb0 (x) = (ix)fb(x).
– Def : Pour f ∈ L1 (R) on définit fb(x) = √12π R e−ixy f (y)dy.
R Si f est de classe C k par morceaux et f, f 0 , . . . , f (k) ∈ L1 (R), alors fd (k) (x) =
kb
(ix) f (x).
– Ex : Pour f = χ[−a,a] , fb(x) = 2sin(xa)
√
2πx – App : Si f est de classe C 2 avec f, f 0 , f ” ∈ L1 (R), alors fb ∈ L1 (R).
Pour f (x) = e−|x| , on a fb(x) = √ 2
2π(1+x2 )
. – Rem : Plus f est dérivable avec des dérivées intégrables, plus fb décroît rapidement
– Pro : f\+ λ.g = fb + λb
g vers 0 en l’infini.
– Pro : Si x 7→ xf (x) ∈ L1 (R), alors fb est dérivable, de dérivée fb0 (x) = R e−ixy (−iy)f (y)dy.
R
– Pro : f est continue sur R, et kfbk∞ ≤
b √1 kf k1 .
2π
Si xk 7→ xf (x) ∈ L1 (R), alors fb est Dk , de dérivée k-ième fb(k) (x) = R e−ixy (−iy)k f (y)dy.
R
– Lemme de Riemann-Lebesgue : Quand |x| → +∞, fb(x) → 0. Donc fb ∈ C00 (R). – Rem : Plus f décroît vers 0 rapidement en l’infini, plus fb est dérivable.
– Pro : Soit f ∈ L1 (R), aR. – Thm : Inversion de Fourier : Soit f ∈ L1 (R) tq fb ∈ L1 (R).
a) Pour g(x) = f (x)eiax , on a gb(x) = fb(x − a). Alors pour g(x) = √12π R fb(t)eitx dt, on a g ∈ C00 (R) et g = f pp.
R
b) Pour g(x) = f (x − a), on a gb(x) = fb(x)e−iax .
– Cor : Soit f ∈ L1 (R) tq fb ∈ L1 (R). Alors fb(x) = f (−x) pp.
b
c) Pour g(x) = f (−x), on a gb(x) = fb(x).
– App : Injectivité de la transformée de Fourier : Si f ∈ L1 (R) vérifie fb(x) = 0 pp,
d)Pour λ > 0 et g(x) = f ( x ), on a gb(x) = λfb(λx).
|x−a|
λ
−iax
alors f = 0 pp.
– Ex : Pour f (x) = e− λ , on a fb(x) = √ 2λe
2π(1+(λx)2 )
.
2. Produit de convolution. — 2. Extension de la transformée de Fourier. —
– Def : Pour f,R g : R → C mesurables R positives, on définit 1. Prolongement de la transformation de Fourier à L2 (R). —
f ∗ g(x) := R f (y)g(x − y)dy = R f (x)τ−x (g)(−y)dy ∈ [0, +∞].
– Dev : Théorème de Fourier-Plancherel : A chaque fonction f ∈ L2 (R), on peut
– Pro : Si ces quantités sont finies, on a f ∗ g = g ∗ f , f ∗ (g ∗ h) = ((f ∗ g) ∗ h), et
f ∗(g +λh) = f ∗g +λf ∗h. La convolution de fonctions est commutative, associative, associer une fonction fb ∈ L2 (R) telle que :
et bilinéaire. 1) Si f ∈ L1 ∩ L2 , alors fb est la transformée de Fourier de f.
– Inégalité de Young pour la convolution : Pour 1 = p1 + 1q et f ∈ Lp , g ∈ Lq , on a 2) ∀f ∈ L2 , on a kf k2 = kfbk2 .
kf ∗ gk1 ≤ kf kp .kgkq . 3) f ∈ L2 7→ fb ∈ L2 est une isométrie linéaire bijective d’espaces de Hilbert.
1
– Ainsi, le produit de convolution est bien défini sur L × L . 1 – Rem : On a ainsi un prolongement de la transformée de Fourier de L1 ∩ L2 qui est
R x+ 12 une isométrie linéaire bijective.
– Ex : f ∗ χ[− 12 , 12 ] (x) = x− 1 f (t)dt. RA
1
2
– Pro : Pour f ∈ L2 , en notant φA (t) := √12π −A e−ixt f (x)dx et
– Pro : Ainsi, L (R) muni de * est donc une C-algèbre commutative. R A −ixt
– Thm : Pour 1 + 1 = 1, f ∈ Lp , g ∈ Lq , f ∗ g est uniformément continue sur R et
p q
ΨA (t) := √12π −A
e fb(x)dx, on trouve :
f ∗ g(x) →|x|→+∞ 0. limA→+∞ (kφA − fbk2 ) = 0 et limA→+∞ (kψA − f k2 ) = 0
– Thm : Pour f ∈ L1 et g ∈ C 1 telle que g,g’ sont bornées, alors f ∗ g est dérivable et – Cor : Pour f ∈ L2 tq fb ∈ L1 , on a alors f (x) = √12π R e−ixy f (y)dy pp, donc la
R
(f ∗ g)0 = f ∗ (g 0 ).
classe de f possède un représentant dans C00 (R).
– Rem : Le produit de convolution régularise une fonction f en faisant une moyenne
– Ex : f (x) = sinc(πx) ∈ L2 (R) − L1 (R) et fb = √12π χ[− 21 , 12 ] .
pondérée par g des valeurs de f en chaque point.
De plus, ∀x ∈ R, n f (x + n) = n fb(n)e2iπnx
P P
2. Transformation de Fourier dans S(R). —
P P
– Def : S(R) := {f ∈ C ∞ (R) tq supx |xα ϕ(β) (x)| < +∞, ∀α, β ∈ N}. En particulier, n f (n) = n fb(n).
– App : Dans S 0 (R), on a δZ = k∈Z δk = δbZ .
P
– Def : On munit S(R) des semi-normes : kϕkα,β = supx |xα ϕ(β) (x)|, ∀α, β ∈ N. 3. Polynômes orthogonaux. —
2
– Ex : Cc∞ (R) ⊂ S(R) et x 7→ e−x ∈ S(R).
– Rem : S(R) ⊂ L1 (R), donc la transformée de Fourier sur S est bien définie. – Def : On appelle fonction poids une fonction ρ : I → R mesurable, strictement
positive, telle que ∀n I |x|n ρ(x)dq ≤ +∞.
2
R
Ex : Soit Gα (x) = e−x α . Alors G cα = π G 1 .
p
– α 4α
Ainsi, la transformée de Fourier d’une gaussienne est encore une gaussienne, qui est – Def : On note L2 (I, ρ) l’espace des classes de fonctions de carré intégrable pour la
encore dans S(R). mesure
R de densité ρ par rapport à la mesue de Lebesgue. Muni de son produit scalaire
– Pro : 1) Les applications f 7→ xα f et f 7→ f (β) sont continues sur S(R). I
f (x)g(x)ρ(x)dx, c’est un espace de Hilbert contenant les fonctions polynômiales.
2) Si f, g ∈ S(R), alors f ∗ g ∈ S(R) et f ∗ g = f .b
[ b g. – Pro : Il existe une unique famille (Pn )n de polynômes unitaires orthogonaux deux
– Thm : Inversion de Fourier : La transformation de Fourier est une application à deux, vérifiant deg(P n ) = n, que l’on appelle "famille des polynômes orthogonaux
linéaire bijective de S(R) dans S(R). associée à ρ". On l’obtient en appliquant le procédé de Gram-Schmidt à la famille
(X n )n .
De plus, pour tout f ∈ S(R), on a f (x) = f (−x).
bb
– Ex : Polynômes de Hermite, de Lagrange, de Chebychev.
3. Transformation de Fourier dans S 0 (R). — – App : Polynômes de meilleure R a|x|approximation.
0
– Def : On définit S (R) comme l’espace vectoriel des formes linéaires continues de – Thm : S’il existe a > 0 tq I
e ρ(x)dx ≤ +∞, alors (Pn )n est une base hilbertienne
2
S(R) dans C pour les semi-normes kϕk α (β)
= sup |x ϕ (x)|. de L (I, ρ).
α,β x
0
– Thm+Def : Si T ∈ S (R), on définit la transformée de Fourier de T, notée Tb, par la 4. Fonction caractéristique d’une variable aléatoire. —
forme linéaire sur S(R) :
– Def : Fonction caractéristique d’une v.a.
< Tb, ϕ >:=< T, ϕ b >, ∀π ∈ S(R).
0 – Pro : La fonction caractéristique caractérise la loi de la v.a. par injectivité de la
On a de plus T ∈ S (R).
b
1
√ transformée de Fourier.
– Ex : δb0 ≡ √2π . b 1 = 2πδ0 . – Exemples de fonctions caractéristiques.
– Thm : La transformée de Fourier sur S 0 (R) est bijective, bicontinue. – Pro : Si X a un moment d’ordre k, alors ΦX est de classe C k .
(k)
On a de plus ΦX (t) = E[(iX)k eiXt ].
3. Applications en analyse. — – Thm : Réciproquement, Si ΦX est de classe C k , alors X a un moment d’ordre 2b k2 c.
– Dev : Théorème de Lévy : Xn converge en loi vers X ssi ΦXn converge simplement
1. Etude de signaux à spectre borné. —
vers ΦX .
– Def : I =] − 12 , 21 [, BL2 (I) = {f ∈ L2 (R) tq F(f ).χR − I ≡ 0}. – App : Théorème Central de la Limite.
– Pro : C’est un sous-ev fermé de L2 (R).
– Pro : Si u ∈ Bl2 (R), alors u ∈ C00 (R) et kuk∞ ≤ 1.kuk2 . Références
– Pro : La famille des (ek (x) = sinc(π(x − k)))k∈Z ) est une base hilbertienne de Rudin : Transformation de Fourier. Th de Fourier-Plancherel(Dev).
BL2 (I). Briane,Pagès : Transformation de Fourier, produit de convolution, approximations de
– Dev : Echantillonnage de Shannon : L’application u ∈ BL2 (I) 7→ (u(k))k∈Z ∈ l2 (Z) l’unité. Formule d’inversion de Fourier.
est bien définie et P est une isométrie linéaire bijective entre ces deux espaces. Zuily (Eléments de distributions et d’EDP) : Transformée de Fourier dans S(R), dans
+∞
De plus, la série −∞ u(k)en converge vers u dans L2 (R) et dans C00 (R). Donc S 0 (R).
P+∞ Gourdon : Formule sommatoire de Poisson.
u(x) = −∞ u(k)sinc(π(x − k)), ∀x ∈ R.
Willem : Echantillonnage de Shannon.
2. Formule sommatoire de Poisson. — Zuily,Queffélec : Fonction caractéristique, Théorème de Lévy+TCL(Dev).
P
– Thm : Pour f ∈ S(R), la série n∈Z f (.+n) converge normalement sur tout compact Faraut : Transformation de Fourier, exemples. Th de Fourier-Plancherel(Dev).
de R. Objectif Agrégation : Produit de convolution, exemples.
Barbe,Ledoux/Ouvrard : Applications au TCL.
May 9, 2017
Vidal Agniel, École normale supérieure de Rennes