Cours 1AEDP

Analyse des Équations aux Dérivées Partielles

Séance 10
Distributions (1)

Virginie Ehrlacher
 Fonctions test
Définition des distributions

Plan de la séance

Fonctions test

Définition des distributions

2 / 15
 Fonctions test
Définition des distributions

Objectif de la séance

La théorie des des distributions a été introduite par Laurent Schwartz in 1946
et permet de généraliser la notion de fonctions que vous connaissez bien.
En particulier, elle permet de donner un sens mathématique rigoureux à des
objets très peu réguliers largement utilisés par les physiciens comme la masse
de Dirac.
Pour Ω un sous-ensemble ouvert de Rd , Ces distributions vont être construites
comme des formes linéaires satisfaisant des propriétés particulières, qui vont
agir sur D(Ω) l’ensemble des fonctions C ∞ à support compact dans Ω, aussi
appelé espace des fonctions test.

3 / 15
 Fonctions test
Définition des distributions

Support d’une fonction continue

Définition
Soit Ω ⊂ Rd un ensemble ouvert et φ : Ω → R une fonction continue. Le support
de φ est défini comme
Ω
Supp(φ) = {x ∈ Ω, φ(x) 6= 0} .

Exemple : Soit Ω = R et φ(x) = sin x. Dans ce cas,

{x ∈ R, φ(x) 6= 0} = R \ πZ,

et
R
Supp(φ) = {x ∈ R, φ(x) 6= 0} = R.

4 / 15
 Fonctions test
Définition des distributions

Ensemble de fonctions test

Définition
L’espace vectoriel des fonctions C ∞ sur Ω à support compact est noté D(Ω). Ces
fonctions sont appelées des fonctions test sur Ω. Pour un sous-ensemble
compact K ⊂ Ω, l’espace des fonctions test dont le support est inclus dans K est
noté DK (Ω).

Remarque importante : Quand Ω est un domaine borné de Rd ,

nécessairement toute fonction φ ∈ D(Ω) s’annule sur un voisinage du bord
du domaine ∂Ω = Ω \ Ω.

5 / 15
 Fonctions test
Définition des distributions

Densité des fonctions test

Théorème
L’espace vectoriel D(Ω) est dense dans Lp (Ω) pour tout 1 ≤ p < +∞, i.e. pour
tout f ∈ Lp (Ω), il exsite une suite (φn )n≥0 ⊂ D(Ω) telle que

kf − φn kLp (Ω) −−−−−→ 0.

n→+∞

Attention ! La valeur p = +∞ n’est pas autorisée dans le résultat précédent :

l’espace vectoriel D(Ω) n’est pas dense dans L∞ (Ω).
Exemple : soit Ω = (0, 1), et f ∈ L∞ (Ω) définie par f (x) = 1 pour
tout x ∈ Ω. Alors, pour tout φ ∈ D(Ω), on a nécessairement kf − φkL∞ ≥ 1
d’après la remarque de la slide précédente.

6 / 15
 Fonctions test
Définition des distributions

Plan de la séance

Fonctions test

Définition des distributions

7 / 15
 Fonctions test
Définition des distributions

Rappel de notation

Pour un d-uplet α = (α1 , . . . , αd ) ∈ Nd , on note

|α| = α1 + · · · + αd

et
∂ α = ∂xα11 . . . ∂xαdd .

Remarquez que ∂ α est un opérateur différentiel d’ordre |α|.

En dimension d = 1, les dérivées partielles sont simplement les dérivées
standard usuelles.

8 / 15
 Fonctions test
Définition des distributions

Définition des distributions

Définition
I Une distribution T sur l’ensemble ouvert Ω ⊂ Rd est une forme linéaire sur
l’ensemble D(Ω) qui satisfait la propriété de continuité suivante : pour tout
sous-ensemble compact K ⊂ Ω, il existe un entier pK ∈ N et une constante
CK ∈ R+ telle que

∀φ ∈ DK (Ω), |hT, φiD0 ,D | ≤ CK sup sup |∂ α φ(x)| , (1)

x∈K α∈Nd , 0≤|α|≤pK

où hT, φiD0 ,D désigne l’application de T à φ (i.e. hT, φiD0 ,D = T (φ)).

I L’ensemble des distributions sur Ω est noté D0 (Ω).

9 / 15
 Fonctions test
Définition des distributions

Ordre d’une distribution

Définition (Ordre d’une distribution)

Quand l’entier pK dans la définition précédente peut être choisi égal à un entier p
indépendant de K, on dit que la distribution T est d’ordre fini et la plus petite
valeur possible de p est appelée l’ ordre de T .

Proposition
Pour tout T1 , T2 ∈ D0 (Ω) et pour tout λ ∈ K, la forme linéaire T1 + λT2 définie
par
hT1 + λT2 , φiD0 ,D = hT1 , φiD0 ,D + λhT2 , φiD0 ,D ,
est une distribution.
L’ensemble D0 (Ω) est un espace vectoriel.

10 / 15
 Fonctions test
Définition des distributions

Exemples importants

Proposition (Masse de Dirac)

Pour tout a ∈ Rd , on note δa la forme linéaire sur D(Rd ) définie par

∀φ ∈ D(Rd ), hδa , φiD0 ,D = φ(a). (2)

Alors δa définit une distribution d’ordre 0 appelée masse de Dirac en a.

Proposition (Fonctions localement intégrables)

Pour tout f ∈ L1loc (Ω), on note Tf la forme linéaire sur D(Ω) définie par
Z
∀φ ∈ D(Ω), hTf , φiD0 ,D = Tf (φ) = f φ. (3)
Ω

Alors Tf est une distribution d’ordre 0.

11 / 15
 Fonctions test
Définition des distributions

Fonctions localement intégrables

Théorème
Soient f, g ∈ L1loc (Ω). Alors,

f = g dans L1loc (Ω) ⇔ Tf = Tg dans D0 (Ω).

Ce théorème montre que l’on peut identifier une fonction de L1loc (Ω) et sa
distribution associée. De ce fait, on utilise couramment l’abus de notation qui
consiste à noter Tf l(a distribution induite par f ) tout simplement f .
On rappelle également que, comme pour tout 1 ≤ p ≤ +∞,
Lp (Ω) ⊂ Lploc (Ω) ⊂ L1loc (Ω), on peut identifier toute fonction f ∈ Lp (Ω) (ou
f ∈ Lploc (Ω) avec sa distribution associée Tf . Toujours en utilisant cet abus de
notation, on a alors la série d’inclusion suivante

D(Ω) ⊂ Lp (Ω) ⊂ Lploc (Ω) ⊂ L1loc (Ω) ⊂ D0 (Ω)

12 / 15
 Fonctions test
Définition des distributions

La masse de Dirac n’est pas une fonction L1loc

Théorème
Soit Ω ⊂ Rd aun ensemble ouvert et a ∈ Rd . Alors, δa n’est pas égal à Tf quel
que soit f ∈ L1loc (Rd ). En d’autres termes, δa ∈ D0 (Rd ) \ L1loc (Rd ).

Ce résultat montre que les distributions contiennent des objets qui ne sont pas
des fonctions. Mais attention, il existe des fonctions qui ne peuvent pas
être représentées par des distributions.
Par exemple, la fonction fα (x) = |x|α définit une distribution sur Rd si et
seulement si α > −d (si α ≤ −d, la fonction fα n’appartient pas à L1loc (Rd )).

13 / 15
 Fonctions test
Définition des distributions

Multiplication par une fonction C ∞

Proposition
Soit f ∈ C ∞ (Ω) et T ∈ D0 (Ω). La forme linéaire

∀φ ∈ D(Ω), hf T, φiD0 ,D = hT, f φiD0 ,D

définit une distribution f T ∈ D0 (Ω).

14 / 15
 Fonctions test
Définition des distributions

Dérivées d’une distribution

Définition
Soit Ω ⊂ Rd un ensemble ouvert et T ∈ D0 (Ω). La dérivée de la distribution T
par rapport à la variable xi , notée ∂xi T , est la distribution définie par :

∀φ ∈ D(Ω), h∂xi T, φiD0 ,D = −hT, ∂xi φiD0 ,D .

Conséquence : On obtient par une récurrence facile que pour tout d-uplet
α ∈ Nd ,

∀φ ∈ D(Ω), h∂ α T, φiD0 ,D = (−1)|α| hT, ∂ α φiD0 ,D .

Exemple : Soit Θ : R → R la fonction de Heaviside

(
0 if x < 0,
Θ(x) =
1 if x > 0.

Alors TΘ ∈ D0 (R) et TΘ0 = δ0 .

15 / 15