Université Paris Dauphine
Master 1 MMD
Analyse fonctionnelle et EDP
TD 3. Distributions tempérées.
Exercice 1. (Dérivées de distributions)
a) Soit H : ZR → R la fonction de Heaviside (H(x) = 0 si x < 0, H(x) = 1 si x ≥ 0) et
TH (φ) = H(x)φ(x)dx pour tout φ ∈ S. Montrer que TH est une distribution tempérée
R
et calculer TH0 .
b) Soit ψ ∈ S(R) et δ0 la distribution associée à la masse de Dirac en 0. Montrer que
(ψδ0 )0 = ψ(0)δ00
c) (Formule des sauts) Soit f : R → R une fonction de classe C 1 par morceaux (i.e., il existe
a0 < a1 < · · · < an tels que f est de classe C 1 sur ]ai , ai+1 [, ] − ∞, a0 [ et ]an , +∞[, et admet
une limite 0
Sn à gauche et à droite en tout point). On suppose que f et f sont bornées sur R
et R\ i=0 {ai } respectivement. Montrer que la forme linéaire
Z
Tf (φ) = f (x)φ(x)dx ∀φ ∈ S(R)
R
est une distribution tempérée et vérifier que
n
X
−
Tf0 = Tf 0 + (f (a+
i ) − f (ai )δai
i=0
Exercice 2. Soit T l’application linéaire sur S(R2 ) définie par
Z
T (φ) = φ(x, −x)dx ∀φ ∈ S(R2 ) .
R
a) Vérifier que T ∈ S 0 (R2 ) et calculer son ordre.
b) Quel est son support ?
∂T ∂T
c) Calculer au sens des distributions − .
∂x ∂y
Exercice 3. (Calcul de transformées de Fourier) Calculer la transformée de Fourier des distri-
butions tempérées suivantes :
(p)
a) δ0 et de xp pour tout p ∈ N.
c) eiax (où a ∈ R), cos(x), x sin(x).
1
Exercice 4. (Valeur principale)
a) Montrer que, pour tout φ ∈ S(R), la limite
Z
φ(x)
lim dx
→0+ R\[−,] x
existe. On note appelle valeur principale, et on note vp( x1 )(φ) cette limite.
b) Montrer alors que vp( x1 ) ∈ S 0 (R) et déterminer l’ordre de vp( x1 ).
c) Soit f (x) = ln(|x|). Montrer que f définit une distribution tempérée Tf et calculer Tf0 .
1
d) Montrer que x vp = 1.
x
e) Montrer que toutes les distributions tempérées T de S 0 (R) telles que xT = 0 sont de la
forme T = λδ0 où λ ∈ R.
f) En déduire toutes les distributions tempérées T de S 0 (R) telles que T 0 = 0 (on pourra
étudier ce que vérifie F(T )).
g) Quelles sont les distributions tempérées T de S 0 (R) telles que xT 0 + T = 0 (Indication :
poser S = xT ).