Vous êtes sur la page 1sur 44

Théorie élémentaire des distributions

2020-2021

Théorie élémentaire des distributions 2020-2021 1 / 21


L’espace des fonctions tests
Support d’une fonction

Définition
On considère ϕ : Rn → C. On appelle support de ϕ et on note Supp(ϕ) la fermeture de

l’ensemble des points où ϕ est non nulle sur Rn .

supp(ϕ) = {x ∈ Rn /ϕ(x) 6= 0}

Théorie élémentaire des distributions 2020-2021 2 / 21


L’espace des fonctions tests
Support d’une fonction

Exemple
f :R→R 


 0 si | x |≥ 1
f (x) =
 −( 1 2 )
e
 1−x si | x |< 1

Théorie élémentaire des distributions 2020-2021 3 / 21


L’espace des fonctions tests
Support d’une fonction

Exemple
f :R→R 

0
 si | x |≥ 1
f (x) =
 −( 1 2 )
e
 1−x si | x |< 1

{x ∈ Rn /f (x) 6= 0} =] − 1, 1[

Théorie élémentaire des distributions 2020-2021 3 / 21


L’espace des fonctions tests
Support d’une fonction

Exemple
f :R→R 

0
 si | x |≥ 1
f (x) =
 −( 1 2 )
e
 1−x si | x |< 1

{x ∈ Rn /f (x) 6= 0} =] − 1, 1[

supp(f ) = ] − 1, 1[ = [−1, 1]

Théorie élémentaire des distributions 2020-2021 3 / 21


L’espace des fonctions tests
Support d’une fonction

Exemple
U:R→R 

0
 si x < 0
U(x) =

1
 si x ≥ 0

{x ∈ Rn /f (x) 6= 0} = [0, +∞[

supp(f ) = [0, +∞[ = [0, +∞[

Théorie élémentaire des distributions 2020-2021 4 / 21


L’espace des fonctions tests
Définition des fonctions tests D

Définition
Une fonction test est une fonction définie sur Rn et à valeurs dans C, indéfiniment dérivables et à

support compact.

Théorie élémentaire des distributions 2020-2021 5 / 21


L’espace des fonctions tests
Définition des fonctions tests D

Exemple
f :R→R 

0
 si | x |≥ 1
f (x) = 1
e −( 1−x 2 )

 si | x |< 1

supp(f ) = ] − 1, 1[ = [−1, 1]

supp(f ) est un compact, f ∈ C ∞ (elle est indéfiniment dérivables)⇒ f est une fonction test.

Théorie élémentaire des distributions 2020-2021 6 / 21


L’espace des fonctions tests
Définition des fonctions tests D

Exemple
U:R→R 

0
 si x < 0
U(x) =

1
 si x ≥ 0

supp(f ) = [0, +∞[ = [0, +∞[

supp(f ) n’est pas un compact ⇒ U n’est pas une fonction test.

Théorie élémentaire des distributions 2020-2021 7 / 21


L’espace des fonctions tests
Définition des fonctions tests D

On note D(Rn ) (ou encore D) l’ensemble des fonctions tests

Proposition

- Muni de l’addition et de la multiplication par un scalaire, D est un C espace vectoriel.

- D est stable par produit.

- Si ϕ ∈ D et f ∈ C ∞ , alors f ϕ ∈ D.

- Si ϕ ∈ D alors toutes ses dérivées partielles sont dans D

Théorie élémentaire des distributions 2020-2021 8 / 21


L’espace des fonctions tests
Convergence dans D

Définition
Soient ϕm et ϕ ∈ D. On dit que ϕm converge vers ϕ dans D si :

– ∃K compact, K ⊂ Rn tel que ∀m, Supp(ϕm ) ⊂ K

– ∀α ∈ Nn , ∂ α ϕm → ∂ α ϕ uniformément.

Théorie élémentaire des distributions 2020-2021 9 / 21


Définition des distributions
Définitions

Définition
Une distribution T : D → Rn est une forme linéaire continue, c’est-à-dire :

(i) ∀ϕ1 , ϕ2 ∈ D, ∀λ ∈ C, T (ϕ1 + λϕ2 ) = T (ϕ1 ) + λT (ϕ2 )

(ii) Si ϕm → ϕ dans D, alors T (ϕm ) → T (ϕ)

Théorie élémentaire des distributions 2020-2021 10 / 21


Définition des distributions
Définitions

Définition
Une distribution T : D → Rn est une forme linéaire continue, c’est-à-dire :

(i) ∀ϕ1 , ϕ2 ∈ D, ∀λ ∈ C, T (ϕ1 + λϕ2 ) = T (ϕ1 ) + λT (ϕ2 )

(ii) Si ϕm → ϕ dans D, alors T (ϕm ) → T (ϕ)

Remarque

ϕm → ϕ, alors T (ϕm ) → T (ϕ) ⇐⇒ ϕm → 0, alors T (ϕm ) → 0

Théorie élémentaire des distributions 2020-2021 10 / 21


Définition des distributions
Définitions

Remarque

ϕm → ϕ, alors T (ϕm ) → T (ϕ) ⇒ ϕm → 0, alors T (ϕm ) → 0 (ϕ = 0)

Théorie élémentaire des distributions 2020-2021 11 / 21


Définition des distributions
Définitions

Remarque

ϕm → ϕ, alors T (ϕm ) → T (ϕ) ⇒ ϕm → 0, alors T (ϕm ) → 0 (ϕ = 0)

ϕm → ϕ, alors T (ϕm ) → T (ϕ) ⇒ ϕm → 0, alors T (ϕm ) → 0??

Théorie élémentaire des distributions 2020-2021 11 / 21


Définition des distributions
Définitions

Remarque

ϕm → ϕ, alors T (ϕm ) → T (ϕ) ⇒ ϕm → 0, alors T (ϕm ) → 0 (ϕ = 0)

ϕm → ϕ, alors T (ϕm ) → T (ϕ) ⇒ ϕm → 0, alors T (ϕm ) → 0??

ϕm → ϕ ⇒ ϕm − ϕ → 0 ⇒ T (ϕm − ϕ) → 0 ⇒ T (ϕm ) − T (ϕ) → 0 ⇒ T (ϕm ) → T (ϕ)

Théorie élémentaire des distributions 2020-2021 11 / 21


Définition des distributions
Définitions

On note D 0 (ou encoreD 0 (Rn )) l’ensemble des distributions sur Rn .

Pour T ∈ D 0 et ϕ ∈ D, on note < T , ϕ >, ou T (ϕ), et on a T (ϕ) ∈ R ou C.

Théorie élémentaire des distributions 2020-2021 12 / 21


Définition des distributions
Définitions

Exemple
On note L1loc (Rn ) l’ensemble des fonctions f mesurables sur Rn , intégrables sur tout compact de

Rn . A toute fonction f ∈ L1loc (Rn ), on associe une distribution Tf .

En effet, soit f une telle fonction, on définit Tf par :


Z
∀ϕ ∈ D < Tf , ϕ >= f (x)ϕ(x)dx
Rn

Tf est bien une distribution.

Théorie élémentaire des distributions 2020-2021 13 / 21


Définition des distributions
Définitions

Exemple
On note L1loc (Rn ) l’ensemble des fonctions f mesurables sur Rn , intégrables sur tout compact de

Rn . A toute fonction f ∈ L1loc (Rn ), on associe une distribution Tf .

En effet, soit f une telle fonction, on définit Tf par :


Z
∀ϕ ∈ D < Tf , ϕ >= f (x)ϕ(x)dx
Rn

Tf est bien une distribution.

R
Tf est bien définie car Rn f (x)ϕ(x)dx existe. En effet :
Z Z Z
⇒| f (x)ϕ(x)dx |≤ | f (x)ϕ(x) | dx = | f (x)ϕ(x) | dx
Rn Rn supp(ϕ)
Z Z
= | f (x) || ϕ(x) | dx ≤ kϕn k∞ | f (x) | dx < ∞
supp(ϕ) supp(ϕ)

car f ∈ L1loc (Rn )


Théorie élémentaire des distributions 2020-2021 13 / 21
Définition des distributions
Définitions

Tf est linéaire d’après la linéarité de l’intégrale

Tf est continue. En effet :

ϕm ∈ D : ϕm → 0 dans D, montrons que < Tf , ϕm >→ 0 (quand m → ∞) :

Théorie élémentaire des distributions 2020-2021 14 / 21


Définition des distributions
Définitions

Tf est linéaire d’après la linéarité de l’intégrale

Tf est continue. En effet :

ϕm ∈ D : ϕm → 0 dans D, montrons que < Tf , ϕm >→ 0 (quand m → ∞) :


Z Z Z
|< Tf , ϕm >|=| f (x)ϕm (x)dx |=| f (x)ϕm (x)dx |≤ | f (x)ϕm (x) | dx
Rn supp(ϕm ) supp(ϕm )

Théorie élémentaire des distributions 2020-2021 14 / 21


Définition des distributions
Définitions

Tf est linéaire d’après la linéarité de l’intégrale

Tf est continue. En effet :

ϕm ∈ D : ϕm → 0 dans D, montrons que < Tf , ϕm >→ 0 (quand m → ∞) :


Z Z Z
|< Tf , ϕm >|=| f (x)ϕm (x)dx |=| f (x)ϕm (x)dx |≤ | f (x)ϕm (x) | dx
Rn supp(ϕm ) supp(ϕm )

ϕm → 0 dans D, alors ∃K compact, tel que ∀m, Supp(ϕm ) ⊂ K

Théorie élémentaire des distributions 2020-2021 14 / 21


Définition des distributions
Définitions

Tf est linéaire d’après la linéarité de l’intégrale

Tf est continue. En effet :

ϕm ∈ D : ϕm → 0 dans D, montrons que < Tf , ϕm >→ 0 (quand m → ∞) :


Z Z Z
|< Tf , ϕm >|=| f (x)ϕm (x)dx |=| f (x)ϕm (x)dx |≤ | f (x)ϕm (x) | dx
Rn supp(ϕm ) supp(ϕm )

ϕm → 0 dans D, alors ∃K compact, tel que ∀m, Supp(ϕm ) ⊂ K


Z Z
| f (x)ϕm (x) | dx ≤ | f (x)ϕm (x) | dx
supp(ϕm ) K
Z
≤ kϕm k∞ | f (x) | dx ≤ kϕm k∞ M → 0
K

Théorie élémentaire des distributions 2020-2021 14 / 21


Définition des distributions
Définitions

Tf est linéaire d’après la linéarité de l’intégrale

Tf est continue. En effet :

ϕm ∈ D : ϕm → 0 dans D, montrons que < Tf , ϕm >→ 0 (quand m → ∞) :


Z Z Z
|< Tf , ϕm >|=| f (x)ϕm (x)dx |=| f (x)ϕm (x)dx |≤ | f (x)ϕm (x) | dx
Rn supp(ϕm ) supp(ϕm )

ϕm → 0 dans D, alors ∃K compact, tel que ∀m, Supp(ϕm ) ⊂ K


Z Z
| f (x)ϕm (x) | dx ≤ | f (x)ϕm (x) | dx
supp(ϕm ) K
Z
≤ kϕm k∞ | f (x) | dx ≤ kϕm k∞ M → 0
K

< Tf , ϕm >→ 0 (quand m → ∞)

⇒ Tf est continue en 0

⇒ Tf est continue sur D(Ω) ⇒ Tf est une distribution


Théorie élémentaire des distributions 2020-2021 14 / 21
Définition des distributions
Définitions

Exemple
La distribution de Dirac (au point 0) est définie, pour tout ϕ ∈ D, par : < δ0 , ϕ >= ϕ(0).

La distribution de Dirac au point a est définie, pour tout ϕ ∈ D, par : < δa , ϕ >= ϕ(a).

Théorie élémentaire des distributions 2020-2021 15 / 21


Définition des distributions
Définitions

Exemple
La distribution de Dirac (au point 0) est définie, pour tout ϕ ∈ D, par : < δ0 , ϕ >= ϕ(0).

La distribution de Dirac au point a est définie, pour tout ϕ ∈ D, par : < δa , ϕ >= ϕ(a).

δa est linéaire :

< δa , ϕ1 + λϕ2 >= (ϕ1 + λϕ2 )(a) = ϕ1 (a) + λϕ2 (a)

Théorie élémentaire des distributions 2020-2021 15 / 21


Définition des distributions
Définitions

Exemple
La distribution de Dirac (au point 0) est définie, pour tout ϕ ∈ D, par : < δ0 , ϕ >= ϕ(0).

La distribution de Dirac au point a est définie, pour tout ϕ ∈ D, par : < δa , ϕ >= ϕ(a).

δa est linéaire :

< δa , ϕ1 + λϕ2 >= (ϕ1 + λϕ2 )(a) = ϕ1 (a) + λϕ2 (a)

δa est continue :

ϕn → 0 dans D, |< δa , ϕn >|=| ϕn (a) |≤ kϕn k∞ → 0 (quand n → ∞)

D’où la continuité de δa en 0 ⇒ la continuité sur D

δa est une distribution

Théorie élémentaire des distributions 2020-2021 15 / 21


Définition des distributions
Définitions

Définition
La distribution T est régulière s’il existe une fonction f ∈ L1loc (Rn ) telle que T = Tf .

Dans le cas contraire, on dira que T est singulière.

La distribution de Dirac est une distribution singulière.

Théorie élémentaire des distributions 2020-2021 16 / 21


Définition des distributions
Définitions

La distribution de Dirac est une distribution singulière.

Montrons que la distribution de Dirac δ0 n’est pas régulière.

On suppose qu’il existe une fonction f ∈ L1loc telle que δ0 = Tf . Soit ϕ ∈ D(R) définie par :


0
 si | x |≥ 1
ϕ(x) = −1

e 1−x 2 si | x |< 1

Théorie élémentaire des distributions 2020-2021 17 / 21


Définition des distributions
Définitions

La distribution de Dirac est une distribution singulière.

Montrons que la distribution de Dirac δ0 n’est pas régulière.

On suppose qu’il existe une fonction f ∈ L1loc telle que δ0 = Tf . Soit ϕ ∈ D(R) définie par :


0
 si | x |≥ 1
ϕ(x) = −1

e 1−x 2 si | x |< 1

On pose ϕn (x) = ϕ(nx), n ∈ N∗

Montrer que :

1. ϕn est une fonction test


R
2. |< Tf , ϕn >|≤ lim R | f (x) | 1[− 1 , 1 ] dx
n→∞ n n
R
3. lim R | f (x) | 1[− 1 , 1 ] dx = 0
n→∞ n n

Théorie élémentaire des distributions 2020-2021 17 / 21


Définition des distributions
Définitions

Supp(ϕn ) = [− n1 , n1 ]

En effet :

ϕn (x) = ϕ(nx) 6= 0 si | nx |< 1 ⇒ −1 < nx < 1 ⇒ − n1 < x < 1


n

supp(ϕn ) = [− n1 , n1 ] (compact) ⇒ ϕn ∈ D(R) (n ∈ N∗ )

Théorie élémentaire des distributions 2020-2021 18 / 21


Définition des distributions
Définitions

Z
|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx??
n→∞ R n n

Théorie élémentaire des distributions 2020-2021 19 / 21


Définition des distributions
Définitions

Z
|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx??
n→∞ R n n

Z Z
|< Tf , ϕn >|=| f (x)ϕn (x) |=| f (x)ϕn (x) |
R [− n1 , n1 ]

Théorie élémentaire des distributions 2020-2021 19 / 21


Définition des distributions
Définitions

Z
|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx??
n→∞ R n n

Z Z
|< Tf , ϕn >|=| f (x)ϕn (x) |=| f (x)ϕn (x) |
R [− n1 , n1 ]

Z Z
≤ | f (x) || ϕn (x) | dx ≤ | f (x) | dx
[− n1 , n1 ] [− n1 , n1 ]

Théorie élémentaire des distributions 2020-2021 19 / 21


Définition des distributions
Définitions

Z
|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx??
n→∞ R n n

Z Z
|< Tf , ϕn >|=| f (x)ϕn (x) |=| f (x)ϕn (x) |
R [− n1 , n1 ]

Z Z
≤ | f (x) || ϕn (x) | dx ≤ | f (x) | dx
[− n1 , n1 ] [− n1 , n1 ]

1 1 1
− < x < ⇒ −1 < nx < 1 ⇒ 0 < (nx)2 < 1 ⇒ −1 < −(nx)2 < 0 ⇒ − <0
n n 1 − (nx)2
− 1
⇒e 1−(nx)2
< 1 ⇒ ϕn (x) < 1
Z Z
|< Tf , ϕn >|≤ | f (x) | dx = | f (x) | 1[− 1 , 1 ] dx (∀n ∈ N∗ )
[− n1 , n1 ] R n n
Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx
n→∞ R n n

Théorie élémentaire des distributions 2020-2021 19 / 21


Définition des distributions
Définitions

Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx =?
n→∞ R n n

Théorie élémentaire des distributions 2020-2021 20 / 21


Définition des distributions
Définitions

Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx =?
n→∞ R n n

- | f (x) | 1[− 1 , 1 ] est mesurable


n n

- | f (x) | 1[− 1 , 1 ] ≤| f (x) | 1[−1,1] ∈ L1 (R), car f ∈ L1loc (R)


n n

Théorie élémentaire des distributions 2020-2021 20 / 21


Définition des distributions
Définitions

Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx =?
n→∞ R n n

- | f (x) | 1[− 1 , 1 ] est mesurable


n n

- | f (x) | 1[− 1 , 1 ] ≤| f (x) | 1[−1,1] ∈ L1 (R), car f ∈ L1loc (R)


n n

En appliquant le théorème de la convergence dominée (version 2) :


Z Z
lim | f (x) | 1[− 1 , 1 ] dx = lim | f (x) | 1[− 1 , 1 ] dx
n→∞ R n n R n→∞ n n

Théorie élémentaire des distributions 2020-2021 20 / 21


Définition des distributions
Définitions

Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx =?
n→∞ R n n

- | f (x) | 1[− 1 , 1 ] est mesurable


n n

- | f (x) | 1[− 1 , 1 ] ≤| f (x) | 1[−1,1] ∈ L1 (R), car f ∈ L1loc (R)


n n

En appliquant le théorème de la convergence dominée (version 2) :


Z Z
lim | f (x) | 1[− 1 , 1 ] dx = lim | f (x) | 1[− 1 , 1 ] dx
n→∞ R n n R n→∞ n n

lim 1 1 1 = 1{0} ⇒ lim | f (x) | 1[− 1 , 1 ] =| f (x) | 1{0}


n→∞ [− n , n ] n→∞ n n

Théorie élémentaire des distributions 2020-2021 20 / 21


Définition des distributions
Définitions

Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx =?
n→∞ R n n

- | f (x) | 1[− 1 , 1 ] est mesurable


n n

- | f (x) | 1[− 1 , 1 ] ≤| f (x) | 1[−1,1] ∈ L1 (R), car f ∈ L1loc (R)


n n

En appliquant le théorème de la convergence dominée (version 2) :


Z Z
lim | f (x) | 1[− 1 , 1 ] dx = lim | f (x) | 1[− 1 , 1 ] dx
n→∞ R n n R n→∞ n n



0
 si x 6= 0
lim 1 1 1 = 1{0} ⇒ lim | f (x) | 1[− 1 , 1 ] =| f (x) | 1{0} =
n→∞ [− n , n ] n→∞ n n 
| f (0) |
 x =0
λ({0}) = 0 ⇒ lim | f (x) | 1[− 1 , 1 ] = 0 pp
n→∞ n n

Théorie élémentaire des distributions 2020-2021 20 / 21


Définition des distributions
Définitions

Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx =?
n→∞ R n n

- | f (x) | 1[− 1 , 1 ] est mesurable


n n

- | f (x) | 1[− 1 , 1 ] ≤| f (x) | 1[−1,1] ∈ L1 (R), car f ∈ L1loc (R)


n n

En appliquant le théorème de la convergence dominée (version 2) :


Z Z
lim | f (x) | 1[− 1 , 1 ] dx = lim | f (x) | 1[− 1 , 1 ] dx
n→∞ R n n R n→∞ n n



0
 si x 6= 0
lim 1 1 1 = 1{0} ⇒ lim | f (x) | 1[− 1 , 1 ] =| f (x) | 1{0} =
n→∞ [− n , n ] n→∞ n n 
| f (0) |
 x =0
λ({0}) = 0 ⇒ lim | f (x) | 1[− 1 , 1 ] = 0 pp
n→∞ n n
Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx = 0
R n→∞ n n
Théorie élémentaire des distributions 2020-2021 20 / 21
Définition des distributions
Définitions

Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx = 0
R n→∞ n n

Théorie élémentaire des distributions 2020-2021 21 / 21


Définition des distributions
Définitions

Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx = 0
R n→∞ n n

|< Tf , ϕn >|≤ 0

Théorie élémentaire des distributions 2020-2021 21 / 21


Définition des distributions
Définitions

Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx = 0
R n→∞ n n

|< Tf , ϕn >|≤ 0



0
 si | x |≥ 1
ϕ(x) = −1

e 1−x 2
 si | x |< 1

On a < Tf , ϕn >=< δ0 , ϕn >= ϕn (0) = ϕ(n.0) = ϕ(0) = e −1

⇒ e −1 =|< Tf , ϕn >|≤ 0 contradiction

Théorie élémentaire des distributions 2020-2021 21 / 21

Vous aimerez peut-être aussi