DÉVELOPPEMENTS POUR L’AGRÉGATION EXTERNE

Transformée de Fourier-Plancherel 1
Leçons : 207, 234, 235, 240, 201, 202, 208, 241

[Far], section IX.2

[Rud], lemme 4.16

Théorème
Z
Soit f ∈ L1 ∩ L2 . On rappelle que ∀ x ∈ R, fb( x ) = f (t)e−ixt dt.
R
1
Alors fb ∈ L2 et k f k2 = √ f
.
b
2π 2

Démonstration :
Étape 1 : On définit fe : x →Z f (− x ) et g = f ? fe. Z Z
Ainsi, ∀ x ∈ R, g( x ) = f (y) fe( x − y) dy = f ( x + y) f (y) dy et g(0) = | f (y)|2 dy = k f k22 .
ZR Z R R
b  2
 
On a : ∀ x ∈ R, fe( x ) = f (−t)e−ixt dt = f (u)e−ixu du = fb( x ) et gb = [
f ? fe = fbfe =  fb .
b
R R
Par inégalité de Young 2 , comme f , fe ∈ L1 , alors g ∈ L1 et k gk1 6 k f k1 fe .

1
Et par propriété de régularisation 3 , comme f , fe ∈ L2 , alors g ∈ C 0 et k gk∞ 6 k f k2 fe .

2
Étape 2 : Introduisons une partition de l’unité.
|t|
On pose, pour n ∈ N∗ et t ∈ R : Φn (t) = e− n ; pour x ∈ R :

1 c 1 1 1
|t|
Z Z Z
t t
ϕn ( x ) = Φn ( x ) = e− n −ixt dt = e n −ixt dt + e− n −ixt dt
2π 2π R 2π R − 2π R +
!  
1 1 1 n 1 1 1 n
= − 1 = + =
2π 1
n − ix − n − ix 2π 1 − inx 1 + inx π 1 + n2 x 2

1
Z Z Z
Or ( ϕn ? g) (0) = ϕn (y) g(−y) dy = Φn (t)e−iyt dtg(−y) dy.
R Z Z 2π R R
On va utiliser Fubini car |Φn (t)| e−iyt  dt | g(−y)| dy = kΦn k1 k gk1 < +∞ :
 
R R

1
Z Z
1
Z
1
Z  2
( ϕ n ? g ) (0) = Φn (t) e−iyt g(−y) dy dt = Φn (t) gb(t) dt = Φn (t)  fb(t) dt
 
2π R R 2π R 2π R

Étape 3 : Montrons que lim ( ϕn ? g) (0) = g(0).

n→∞
Soit ε > 0, comme g est continue : ∃η > 0, ∀ x ∈ R, | x | < η ⇒ | g( x ) − g(0)| < ε.
Ainsi :
Z Z 
 
|( ϕn ? g) (0) − g(0)| =  ϕn (y) g(−y) dy −
 ϕn (y) g(0) dy
R R
Z η Z
6 ϕn (y)| g(−y) − g(0)| dy + ϕn (y)| g(−y) − g(0)| dy
−η |y|>η
| {z } | {z }
6ε
R
62 k g k ∞ |y|>η ϕn (y) dy −→ 0
n→∞

Donc pour n assez grand, |( ϕn ? g) (0) − g(0)| 6 2ε.

1. On n’hésitera pas à sauter les calculs qui donnent ϕn ( x ) ; on admettra l’inversion de la transformée de Fourier dans S(R),
et la densité de L1 ∩ L2 dans L2 (sauf dans la 235).
2. Inégalité de Young : Soient p, q ∈ [1, +∞], tels que 1p + 1q > 1. Soit r vérifiant 1 + 1r = 1p + 1q . Si f ∈ L p et g ∈ Lq , alors
f ? g ∈ Lr et k f ? gkr 6 k f k p k gkq .
0
3. Soient p, p0 ∈ [1, +∞] deux exposants conjugués. Si f ∈ L p et g ∈ L p , alors f ? g est uniformément continue et bornée et
k f ? g k ∞ 6 k f k p k g k p0 .

Florian L EMONNIER 1 ENS Rennes – Université Rennes 1

Diffusion à titre gratuit uniquement.
 DÉVELOPPEMENTS POUR L’AGRÉGATION EXTERNE

Étape 4 : Concluons !
 2  2 1  b 2
Z  
Par convergence monotone, puisque 0 6 Φn  fb 6 Φn+1  fb , on a : lim ( ϕn ? g) (0) =  f (t) dt.
   
n→∞ 2π R
b 2
1
2 2
D’où k f k2 = f , montrant également que fb ∈ L .
2π 2

Théorème
La transformée de Fourier, définie sur L1 ∩ L2 , se prolonge en un isomorphisme, proportionnel à une
isométrie, de L2 sur L2 .

Démonstration :
Étape 1 : L1 ∩ L2 est dense dans L2 .
Si f ∈ L2 , alors f n = 1[−n,n] f ∈ L1 ∩ L2 et par convergence dominée : k f − f n k2 −→ 0.
n→∞
Étape 2 : Montrons qu’on prolonge ainsi la transformée de Fourier à tout entier. L2
Soit ( f n ) une suite de L1 ∩ L2 qui tend vers f dans L 2.
√  
Comme fbn − c f m = 2π k f n − f m k2 , donc fbn est de Cauchy dans L2 qui est complet donc

2
converge ; on note fb sa limite.
Soit ( gn ) une autre suite de L1 ∩ L2 qui tend vers f dans L2 .
k.k2
On pose h2n = f n et h2n+1 = gn , pour n ∈ N ; ainsi hn −→ f .
  n→∞ 
Ainsi hbn est de Cauchy donc converge dans L2 , donc fbn et (c gn ) ont même limite.
Cela montre donc que fb est indépendant de la suite convergeant vers f .
1 1
Et par passage à la limite dans k f n k2 = √ f n , il vient k f k2 = √ f .
b b
2π 2 2π 2

Étape 3 : Montrons que la transformée de Fourier est une bijection de S(R) sur lui-même.
Par intégrations par parties successives, on montre que :

∂k
Z
∀k, p ∈ N, (it)k fb( p) (t) = e−itx ((−ix ) p f ( x )) dx
R ∂x k

Cela fournit donc : f ∈ S(R) ⇒ fb ∈ S(R).

Ainsi, si f ∈ S(R), alors fb ∈ L1 , et la formule d’inversion de la transformée de Fourier fournit :
1 b
f (x) = f\
(− x ).
2π
Étape 4 : On en déduit que l’image de L2 par b est dense et fermée dans L2 .
On a : CC∞ (R) ⊂ S(R) ⊂ Im ( b ) ⊂ L2 (R), donc Im ( b ) est dense dans L2 (R).
| {z }
dense dans
L2 (R)
Soit g comme Im ( b ) est dense dans L2 (R) : ∃ ( f n ) ∈ L2 (R)N , fbn −→ g.
∈ L2 (R),
  n→∞
Donc fbn est de Cauchy, alors ( f n ) est de Cauchy dans L2 donc converge vers f ∈ L2 (R).
L 2 L 2
Par continuité de b : f n −→ f donc fbn −→ fb d’où g = fb.
n→∞ n→∞
Donc Im ( b ) = L2 (R).

Références
[Far] J. FARAUT – Calcul intégral, EDP Sciences, 2006.
[Rud] W. R UDIN – Analyse réelle et complexe, 3e éd., Dunod, 2009.

Florian L EMONNIER 2 ENS Rennes – Université Rennes 1

Diffusion à titre gratuit uniquement.