Faculté pluridisciplinairé Nador

2019 - 2020 Univérsité Mohaméd prémiér Oujda

Master : MCS _S_2

Enseignant : OUSBIKA MOHAMED

Cours : Distributions [Link] Master_MCS_S_2

2
Cours : Distributions [Link] Master_MCS_S_2

HISTOIRE.

 Distributions : utilisées depuis très longtemps par les

physiciens.

 Théorie mathématique rigoureuse plus récente :

Sobolev (1936), [Link] (1950), Gelfand (1964).

 Théorie la mieux adaptée à l'étude de nombreux

systèmes physiques.

 Convolution et Transformée de Fourier outils très

puissants grâce aux distributions.
3
Cours : Distributions [Link] Master_MCS_S_2

fonctionnelle sur :

4
Cours : Distributions [Link] Master_MCS_S_2

Pour tout compact K de , il existe et une constante

tel que : pour tout

| | {| | | | }
5
Cours : Distributions [Link] Master_MCS_S_2

 Une distribution est donc une forme linéaire continue.

 L’espace des distributions est noté .

Exemple 1.

On définit la fonctionnelle de Dirac en un point , de

la manière suivante :

 L’application est bien linéaire en .

6
Cours : Distributions [Link] Master_MCS_S_2

De plus,
 Pour tout compact K de , on a pour tout ( )
| | {| | }

Donc est une distribution, appelée

Exemple 2.

Soit . On définit l’application sur par :

7
Cours : Distributions [Link] Master_MCS_S_2

Il est clair que est linéaire, de plus

| | ∫| |

{| | }∫ | |

Donc est continue sur .

D’où est une distribution associé à .

Distribution régulière
A toute fonction localement sommable, on associe la
distribution définie par :
8
Cours : Distributions [Link] Master_MCS_S_2

∫
* s’appelle distribution régulière.

* La distribution qui ne s’écrit pas est dite singulières.

Remarque.
Deux fonctions localement sommables égales presque
partout définissent la même distribution.

Exemple 1.

9
Cours : Distributions [Link] Master_MCS_S_2

Exemple 2. (TD)

10
Cours : Distributions [Link] Master_MCS_S_2

i) Support d’une distribution.

Définition1.
Soit T une distribution de
* On dit que T est nulle sur un ouvert si :

* On appelle support de T noté le complémentaire

du plus grand ouvert sur le quel T est nulle.
On a :
.

Exemple : { } et
11
Cours : Distributions [Link] Master_MCS_S_2

* On note par l’ensemble des distributions à support

compact sur .
ii) Egalité de deux distributions.
Définition2.
 On dit que deux distribution S et T sont égales sur un ouvert
si :
 On dit que deux distribution S et T sont égales si

Exemple .

12
Cours : Distributions [Link] Master_MCS_S_2

Soient dans et un nombre complexe.

La somme de et le produit de par sont définis comme
suit, pour toute :

Et

13
Cours : Distributions [Link] Master_MCS_S_2

Donc l’espace des distributions est un espace vectoriel.

Le produit usuel de deux fonctions réelles ne se généralise pas

aux distributions.
Par exemple il est impossible de donner un sens à . Aussi
pour loc. sommable n’implique pas loc. sommable.
Mais et . Alors

14
Cours : Distributions [Link] Master_MCS_S_2

Exemple :
. En effet ,

Pour une application définie sur et on rappelle que :

 La translatée de est l’application donnée par :

 La transposée ̌ de est l’application donnée par :

̌

15
Cours : Distributions [Link] Master_MCS_S_2

 La dilatée ̃ de est l’application donnée par :

Pour une distribution , nous énonçons les définitions :

16
Cours : Distributions [Link] Master_MCS_S_2

Exemples.

 ̌
 ̃
| |


3)

On définira une (topologie) convergence des suite dans .

17
Cours : Distributions [Link] Master_MCS_S_2

Définition.
Soit une suite de distributions. On dit que converge
vers une distribution dans si pour toute , on a

, .

Exemple.1

18
Cours : Distributions [Link] Master_MCS_S_2

D’où :
Exemple.2
La suite des distributions dans associe à la fonction
| |

Converge dans vers la distribution . En effet,

:

∫ ∫
| |
19
Cours : Distributions [Link] Master_MCS_S_2

Remarque.
Il y a unicité de la limite dans . En effet,

Si et alors on aura :

: .

Proposition1.
Soit une distribution dans Alors pour toute suite
de fonctions dans telle que dans lorsque
on a :
, .

20
Cours : Distributions [Link] Master_MCS_S_2

Preuve.
Puisque dans lorsque , il existe un
compact tel que :
, et , pour tout .
Sur K, la continuité de distribution associe implique l’existence
d’un entier et une constante telle que :
| | | | | | ,
Donc pour , on déduit que :
| | | | | | ,
De plus : uniformément sur K, alors

21
Cours : Distributions [Link] Master_MCS_S_2

Proposition2.
Soient une suite de distributions et une suite de
fonctions dans . Si et alors :
, .
Preuve.
Puisque dans lorsque , alors il existe un
compact tel que :
et , pour tout .
On a :

 car dans

22
Cours : Distributions [Link] Master_MCS_S_2

 D’autre part, dans alors pour tout compact

on a :
| | ,

Donc existence un entier et une constante telle que :

| | | | | | ,

D’où pour et , on déduit que :

CQFD.

4)
On veut définir la dérivée d’une distribution, de telle manière que
si en particulier cette distribution est une fonction de classe
23
Cours : Distributions [Link] Master_MCS_S_2

alors la dérivée au sens des distributions soit tout simplement la

dérivée au sens habituel.
En effet,

Pour la distribution régulière associe à vérifie

selon une intégration par parties,

Car .

On va prendre cette dernière relation comme définition de la

dérivée pour toute distribution .

24
Cours : Distributions [Link] Master_MCS_S_2

Définition(1).
La dérivée d’une distribution est la distribution noté
définie par :
: .

Exemples :
1) La dérivée de la distribution de Heaviside

Donc
2) La dérivée de la distribution de Dirac

25
Cours : Distributions [Link] Master_MCS_S_2

Exercice.
Montrer que la dérivée au sens des distributions de la distribution
régulière | | est la distribution ( ).
Définition(2).
La dérivée partielle au sens des distributions de par rapport
à est la distribution noté définie par : { }
: .

* A faire ?
26
Cours : Distributions [Link] Master_MCS_S_2

Proposition(1).
Pour toute distributions et tout { } on a :

Preuve :
Utilisé le théorème de Schwarz :
Définition(3).
La dérivée d’ordre au sens des distributions de est la
distribution noté définie par :
| |
:

Remarque.
Si pour , alors on a
( ) avec | |

27
Cours : Distributions [Link] Master_MCS_S_2

Exemple. Dérivée de distribution de Dirac

avec est distribution définie par :

Proposition(2).
Soit une suite de distributions dans convergeant
vers une distribution T dans . Alors pour tout , la suite
Converge vers dans

Preuve.
Il suffit de remarquer que on a :
| | | |
.
28
Cours : Distributions [Link] Master_MCS_S_2

Lemme.
d’intégrale nulle. Alors il existe n fonctions telle
que : ∑

Preuve.

29
Cours : Distributions [Link] Master_MCS_S_2

Proposition(3).

Soit une distributions dans telle que pour { }

Alors est une distribution associe à une fonction constante.

Preuve.
30
Cours : Distributions [Link] Master_MCS_S_2

Proposition(4).
Si et indifiniment différentiable sur , alors pour
tout { } on a :

31
Cours : Distributions [Link] Master_MCS_S_2

Preuve.

D’où le résultat.

Exemple. Dans on a :

32
Cours : Distributions [Link] Master_MCS_S_2

Formule des sauts en dimension 1

On cherche à calculer la dérivée au sens des distributions d'une

fonction de classe par morceaux, n'ayant que des discontinuités de
première espèce.

Théorème.
Soit une fonction de classe par morceaux, n'ayant que
des discontinuités de première espèce aux points .
La dérivée au sens des distributions de la distribution régulière est
donnée par la formule suivante :

( ) ∑

avec :
et
33
Cours : Distributions [Link] Master_MCS_S_2

Démonstration.

34
Cours : Distributions [Link] Master_MCS_S_2

35