M1 ESR Distributions - Fourier

Examen Partiel
Mercredi 20 novembre 2019 (1h30)

Pour x P R on pose #
1 si x ą 0,
Hpxq “
0 si x ď 0.
On note δ la distribution de Dirac en 0. Pour f P L1 pRq, on définit la transformée de
Fourier de f par ż
1
@ξ P R, pFf qpξq “ ? e´ixξ f pxq dx.
2π R
Si T est une distribution sur R, on note FT sa transformée de Fourier.

Exercice 1. Pour x P R on pose f pxq “ Hpxq cospxq.

1. Vérifier que f est dans L1loc pRq et rappeler la définition de la distribution associée à
f (que l’on notera Tf ).
2. Calculer la dérivée Tf1 de la distribution Tf (par calcul direct, sans utiliser la formule
des sauts).
Correction :
1. 2 H est borélienne comme indicatrice de l’ouvert s0, `8r, et la fonction cosinus est
continue et donc borélienne sur R. Ainsi f est borélienne comme produit de fonctions
boréliennes. Soit K un compact de R. Il existe R ą 0 tel que K Ă r´R, Rs, et donc
ż żR żR
|f pxq| dx ď |f pxq| dx ď 1 dx ď 2R ă `8,
K ´R ´R

donc f est intégrable sur r´R, Rs. Cela prouve que f est localement intégrable. À f on
peut alors associer la distribution Tf définie par
ż
8
@φ P C0 pRq, hTf , φi “ f pxqφpxq dx.
R

2. 2 Soit φ P C08 pRq. On a

ż `8
Tf1 , φ “ ´ Tf , φ1 “ ´ cospxqφ1 pxq dx.
0

Par intégration par parties on obtient

ż `8
Tf1 , φ “ cosp0qφp0q ´ sinpxqφpxq dx “ hδ ´ Tg , φi ,
0

où Tg désigne la distribution associée à la fonction g : x ÞÑ Hpxq sinpxq, elle-même locale-

ment intégrable. D’où, finalement,

Tf1 “ δ ´ Tg .

ş
Exercice 2. Soit ρ P C08 pR, R` q à support inclus dans r´1, 1s et telle que R ρpxq dx “ 1.
Pour n P N˚ et x P R on pose ρn pxq “ nρpnxq. Soit φ P C08 pRq. Montrer que pρn ˚ φq
converge uniformément vers φ quand n tend vers `8.
 Correction : 3 On commence par observer que pour tout n P N˚ on a, en faisant le
changement de variable affine η “ nx, dη “ ndx,
ż ż ż
ρn pxq dx “ nρpnxq dx “ ρpηq dη “ 1.
R R R

Comme φ est continue et à support compact, elle est uniformément continue sur R. Soit
ε ą 0. Il existe δ ą 0 tel que pour tous x P R et y P r´δ, δs on a

|φpx ´ yq ´ φpxq| ď ε.
“ ‰
Soit n ě 1δ . Alors ρn est à support dans ´ n1 , n1 , qui est inclus dans r´δ, δs, donc pour
x P R on a
ˇż ż ˇ
ˇ ˇ
|pρn ˚ φqpxq ´ φpxq| “ ˇ ρn pyqφpx ´ yq dy ´ ρn pyqφpxq dy ˇˇ
ˇ
ˇżR R
ˇ
ˇ ` ˘ ˇ
“ ˇ ρn pyq φpx ´ yq ´ φpxq dy ˇˇ
ˇ
żR
ď ρn pyq |φpx ´ yq ´ φpxq| dy
R
żδ
ď ρn pyq |φpx ´ yq ´ φpxq| dy
´δ
ż
ďε ρn pyq dy “ ε.
R

1
Cela prouve que pour tout n ě δ on a

sup |pρn ˚ φq ´ φ| ď ε,
R

et donc que supR |pρn ˚ φq ´ φ| tend vers 0 quand n tend vers `8.

Exercice 3. 1. Pour f P L1loc pRq on note fˇ la fonction qui à x P R associe f p´xq. On

dit alors que f est impaire si fˇ “ ´f presque partout. Pour T P S 1 pRq on considère la
distribution tempérée Ť définie par

@φ P SpRq, Ť , φ “ T, φ̌ .

On dit alors que T est impaire si Ť “ ´T .

a. Soit f P L1 pRq. On note Tf P S 1 pRq la distribution associée. Montrer que Tf est
impaire si et seulement si f est impaire.
b. Montrer que si T est impaire alors sa`transformée
˘ de Fourier FT est impaire.
1
2. On note maintenant T la distribution vp x , définie par
ż
φpxq
@φ P SpRq, hT, φi “ lim dx.
εÑ0 |x|ěε x

a. Montrer que xT “ 1 (où on a noté 1 la distribution tempérée associée à la fonction

constante égale à 1).
b. Montrer que pFT q1 “ Fp´ixT q et en déduire pFT q1 .
c. Montrer que FT est impaire.
d. Calculer FT .
Correction : 1. a. 1,5 Pour φ P SpRq on a, en faisant le changement de variable
y “ ´x,
ż ż D E
Ťf , φ “ Tf , φ̌ “ f pxqφp´xq dx “ f p´yqφpyq dy “ Tfˇ, φ .
R R
Cela prouve que Ťf “ Tfˇ. Ainsi on a

Ťf “ ´Tf ðñ Tfˇ “ T´f .

L’application qui à f P L1 pRq associe la distribution tempérée Tf étant injective, on

obtient finalement

Ťf “ ´Tf ðñ fˇ “ ´f presque partout,

donc la distribution Tf est impaire si et seulement si la fonction f l’est.

b. 1,5 Soit φ P SpRq. Pour ξ P R on a
ż ż
1 1
F φ̌pξq “ ? e ´ixξ
φp´xq dx “ ? eiyξ φpyq dy “ Fφp´ξq.
2π R 2π R

D’où, si T est impaire,

D E D E
FT
} , φ “ FT, φ̌ “ T, F φ̌ “ T, Fφ
| “ Ť , Fφ “ ´ hT, Fφi “ ´ hFT, φi .

Cela prouve que FT est également impaire.

2. a. 1 Soit φ P SpRq. On a, par le théorème de convergence dominée,
ż ż ż
xφpxq
hxT, φi “ hT, xφi “ lim dx “ lim φpxq dx “ φpxq dx.
εÑ0 |x|ěε x εÑ0 |x|ěε R

Cela prouve que xT “ 1.

b. 2,5 Soit φ P SpRq. Pour y P R on a
ż ż
1 1 ´ixy 1 iy
pFφ qpyq “ ? e φ pxq dx “ ? e´ixy φpxq dx “ iypFφqpyq.
2π R 2π R

On en déduit

pFT q1 , φ “ ´ FT, φ1 “ ´ T, Fφ1 “ ´ hT, iyFφi “ ´ hiyT, Fφi “ ´ hFpiyT q, φi .

Cela prouve que pFT q1 “ Fp´iyT q. Ici, cela donne

ż
pFT q1 , φ “ ´ hFpiq, φi “ ´ hpiq, Fφi “ ´i Fφpyq dy.
R

Avec la formule d’inversion de Fourier on obtient

?
pFT q1 , φ “ ´i 2πφp0q,

et donc ?
pFT q1 “ ´i 2πδ.
c. 1 Soit φ P SpRq. On a
ż ż
φp´xq φpyq
Ť , φ “ T, φ̌ “ lim dx “ lim dy “ ´ hT, φi .
εÑ0 |x|ěε x εÑ0 |y|ěε ´y

Ainsi, T est une distribution impaire. D’après la question 1.b, c’est également le cas pour
FT .
1
d. 1,5 On a TH “ δ et deux primitives d’une même distribution sur R ne diffèrent
que d’une constante, donc il existe α P C tel que
?
FT “ ´i 2πpH ` αq.
?
La distribution FT est impaire. Or c’est la distribution associée à la fonction ´i 2πpH `
αq. D’après la question 1.a, la fonction H ` α est donc impaire, ce qui implique que
α “ ´ 12 . D’où ˆ ˙
? 1
FT “ ´i 2π H ´ .
2
Exercice 4. Si f est une fonction de Rd dans Rd , alors pour λ ą 0 et x P Rd on pose

fλ pxq “ f pλxq.

Soit k P N. On dit qu’une distribution T P D1 pRd q est homogène de degré k si pour tous
λ ą 0 et φ P C08 pRd q on a
T, φ1{λ “ λd`k hT, φi . (˚)
1. Soit T P D1 pRd q une distribution homogène de degré k P N˚ . Soit j P t1, . . . , du.
BT
Montrer que la distribution dérivée Bx j
est homogène de degré pk ´ 1q.
2. Soit T une distribution homogène de degré k P N. Montrer que
d
ÿ BT
xj “ kT,
j“1
Bxj

BT BT
où xj Bx j
désigne la multiplication de la distribution Bx j
par la fonction coordonnée
x “ px1 , . . . , xd q ÞÑ xj .
Indication : on pourra dériver par rapport à λ l’égalité (˚).
Correction :
1. 2 Soit φ P C08 pRd q. On a
   
BT Bφ1{λ
,φ “ ´ T,
Bxj 1{λ Bxj

Or pour x P Rd on a
ˆ ˙
Bφ1{λ B ´ x ¯ 1 Bφ ´ x ¯ 1 Bφ
pxq “ φ “ “ pxq.
Bxj Bxj λ λ Bxj λ λ Bxj 1{λ

Ainsi
  * ˆ ˙ +    
BT 1 Bφ Bφ BT
,φ “´ T, “ ´λd`k´1 T, “ λd`k´1 ,φ .
Bxj 1{λ λ Bxj 1{λ Bxj Bxj

BT
Cela prouve que Bxj est homogène de degré k ´ 1.

‰ φ“P
2. 3 Soient C08 pRd q et R ą 0 tel que le support de φ est inclus dans la boule Bp0, Rq.
Pour λ P 21 , 2 et x P R on pose
d

´x¯
Φpλ, xq “ φ .
λ
‰ “
Φ est de classe C 8 et pour tout λ P 12 , 2 la fonction Φpλ, ¨q est à support dans Bp0, 2Rq.
Par le théorème de dérivation sous le crochet on a alors
 
d d B
T, φ1{λ “ hT, Φpλ, ¨qi “ T, Φpλ, ¨q .
dλ dλ Bλ
‰ “
Pour x P Rd et λ P 12 , 2 on a

d d
BΦ ÿ xj Bφ ´ x ¯ 1 ÿ xj Bφ ´ x ¯
pλ, xq “ ´ “ ´ .
Bλ j“1
λ2 Bxj λ λ j“1 λ Bxj λ

Comme T est homogène de degré k on obtient alors

d  
d ÿ Bφ
T, φ1{λ “ ´λd`k´1 T, xj ,
dλ j“1
Bxj
puis
d  
d ÿ B
T, φ1{λ “ ´λd`k´1 T, pxj φq ´ φ
dλ j“1
Bxj
d  
ÿ BT
“ dλd`k´1 hT, φi ` λd`k´1 xj ,φ .
j“1
Bxj

D’autre part on a
d d`k
λ hT, φi “ pd ` kqλd`k´1 hT, φi .
dλ
En λ “ 1 cela donne
d
ÿ BT
dT ` xj “ pd ` kqT.
j“1
Bxj

D’où le résultat.