Théorie Élémentaire Des Distributions (Séance 5)

Théorie élémentaire des distributions
2020-2021
Théorie élémentaire des distributions 2020-2021 1 / 21

L’espace des fonctions tests
Support d’une fonction
Définition
On considère ϕ : Rn → C. On appelle support de ϕ et on note Supp(ϕ) la fermeture de
l’ensemble des points où ϕ est non nulle sur Rn .
supp(ϕ) = {x ∈ Rn /ϕ(x) 6= 0}

Exemple
f :R→R 


 0 si | x |≥ 1
f (x) =
 −( 1 2 )
e
 1−x si | x |< 1

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[

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]

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, +∞[

Définition des fonctions tests D
Définition
Une fonction test est une fonction définie sur Rn et à valeurs dans C, indéfiniment dérivables et à
support compact.

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 indéfiniment dérivables)⇒ f est une fonction test.

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.

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 dérivées partielles sont dans D

Convergence dans D
Dé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 → ∂ α ϕ uniformément.

Définition des distributions
Définitions
Définition
Une distribution T : D → Rn est une forme linéaire continue, c’est-à-dire :
(i) ∀ϕ1 , ϕ2 ∈ D, ∀λ ∈ C, T (ϕ1 + λϕ2 ) = T (ϕ1 ) + λT (ϕ2 )
(ii) Si ϕm → ϕ dans D, alors T (ϕm ) → T (ϕ)

Définitions
Définition
Une distribution T : D → Rn est une forme linéaire continue, c’est-à-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

Définitions
Remarque
ϕm → ϕ, alors T (ϕm ) → T (ϕ) ⇒ ϕm → 0, alors T (ϕm ) → 0 (ϕ = 0)

Définitions
Remarque
ϕm → ϕ, alors T (ϕm ) → T (ϕ) ⇒ ϕm → 0, alors T (ϕm ) → 0??

Définitions
Remarque
ϕm → ϕ, alors T (ϕm ) → T (ϕ) ⇒ ϕm → 0, alors T (ϕm ) → 0??
ϕm → ϕ ⇒ ϕm − ϕ → 0 ⇒ T (ϕm − ϕ) → 0 ⇒ T (ϕm ) − T (ϕ) → 0 ⇒ T (ϕm ) → T (ϕ)

Dé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.

Définitions
Exemple
On note L1loc (Rn ) l’ensemble des fonctions f mesurables sur Rn , inté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 définit Tf par :

Z
∀ϕ ∈ D < Tf , ϕ >= f (x)ϕ(x)dx
Rn
Tf est bien une distribution.

Définitions
Exemple
On note L1loc (Rn ) l’ensemble des fonctions f mesurables sur Rn , inté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 définit Tf par :

Z
∀ϕ ∈ D < Tf , ϕ >= f (x)ϕ(x)dx
Rn
Tf est bien une distribution.
R
Tf est bien dé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 )

Définitions
Tf est linéaire d’après la linéarité de l’intégrale
Tf est continue. En effet :
ϕm ∈ D : ϕm → 0 dans D, montrons que < Tf , ϕm >→ 0 (quand m → ∞) :

Définitions

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 )

Définitions

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

Définitions

Z Z Z

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

Définitions

Z Z Z

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

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

Définitions
Exemple
δa est linéaire :
< δa , ϕ1 + λϕ2 >= (ϕ1 + λϕ2 )(a) = ϕ1 (a) + λϕ2 (a)

Définitions
Exemple
δa est liné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’où la continuité de δa en 0 ⇒ la continuité sur D
δa est une distribution

Définitions
Définition
La distribution T est régulière s’il existe une fonction f ∈ L1loc (Rn ) telle que T = Tf .
Dans le cas contraire, on dira que T est singulière.
La distribution de Dirac est une distribution singulière.

Définitions
Montrons que la distribution de Dirac δ0 n’est pas régulière.
On suppose qu’il existe une fonction f ∈ L1loc telle que δ0 = Tf . Soit ϕ ∈ D(R) définie par :


0
 si | x |≥ 1
ϕ(x) = −1

e 1−x 2 si | x |< 1


Définitions
Montrons que la distribution de Dirac δ0 n’est pas régulière.
On suppose qu’il existe une fonction f ∈ L1loc telle que δ0 = Tf . Soit ϕ ∈ D(R) dé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

Dé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∗ )

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

Dé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 ]

Dé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 ]

Dé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

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

Dé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

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

n n

n n
En appliquant le théorème de la convergence dominé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

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

n n

n n

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

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

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

n n

n n

Z Z
lim | f (x) | 1[− 1 , 1 ] dx = lim | f (x) | 1[− 1 , 1 ] dx


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

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

n n

n n

Z Z
lim | f (x) | 1[− 1 , 1 ] dx = lim | f (x) | 1[− 1 , 1 ] dx


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
Définitions
Z
⇒|< Tf , ϕn >|≤ lim | f (x) | 1[− 1 , 1 ] dx = 0
R n→∞ n n

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

Dé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

Langue

Théorie Élémentaire Des Distributions (Séance 5)

Transféré par

Informations du document

Titre original

Copyright

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Théorie Élémentaire Des Distributions (Séance 5)

Titre original :

Transféré par

Droits d'auteur :

Théorie élémentaire des distributions

Théorie élémentaire des distributions 2020-2021 1 / 21

l’ensemble des points où ϕ est non nulle sur Rn .

Théorie élémentaire des distributions 2020-2021 2 / 21

Théorie élémentaire des distributions 2020-2021 3 / 21

Théorie élémentaire des distributions 2020-2021 3 / 21

Théorie élémentaire des distributions 2020-2021 3 / 21

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

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

Théorie élémentaire des distributions 2020-2021 4 / 21

Théorie élémentaire des distributions 2020-2021 5 / 21

Théorie élémentaire des distributions 2020-2021 6 / 21

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

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

Théorie élémentaire des distributions 2020-2021 7 / 21

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

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

- D est stable par produit.

- Si ϕ ∈ D alors toutes ses dérivées partielles sont dans D

Théorie élémentaire des distributions 2020-2021 8 / 21

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

Théorie élémentaire des distributions 2020-2021 9 / 21

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

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

Théorie élémentaire des distributions 2020-2021 10 / 21

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

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

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

Théorie élémentaire des distributions 2020-2021 10 / 21

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

Théorie élémentaire des distributions 2020-2021 11 / 21

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

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

Théorie élémentaire des distributions 2020-2021 11 / 21

ϕ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 (ϕ)

Théorie élémentaire des distributions 2020-2021 11 / 21

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.

Théorie élémentaire des distributions 2020-2021 12 / 21

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

En effet, soit f une telle fonction, on définit Tf par :

Tf est bien une distribution.

Théorie élémentaire des distributions 2020-2021 13 / 21

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

En effet, soit f une telle fonction, on définit Tf par :

Tf est bien une distribution.

car f ∈ L1loc (Rn )

Tf est linéaire d’après la linéarité de l’intégrale

Tf est continue. En effet :

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

Théorie élémentaire des distributions 2020-2021 14 / 21

Tf est linéaire d’après la linéarité de l’intégrale

Tf est continue. En effet :

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

Théorie élémentaire des distributions 2020-2021 14 / 21

Tf est linéaire d’après la linéarité de l’intégrale

Tf est continue. En effet :

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

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

Théorie élémentaire des distributions 2020-2021 14 / 21

Tf est linéaire d’après la linéarité de l’intégrale

Tf est continue. En effet :