Théorie physique des distributions/Dérivation

Leçons de niveau 15
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Dérivation
Icône de la faculté
Chapitre no 3
Leçon : Théorie physique des distributions
Chap. préc. :Introduction des distributions
Chap. suiv. :Produit de convolution

Exercices :

Dérivation
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Théorie physique des distributions : Dérivation
Théorie physique des distributions/Dérivation
 », n'a pu être restituée correctement ci-dessus.

Dans ce chapitre, nous allons essayer d'étudier, dans un premier temps, comment définir une dérivation des distributions de façon à prolonger la dérivation des fonctions physiques qui sont dérivables aux fonctions physiques qui ne le sont pas. Si nous réussissons cette opération, nous essayerons alors, dans un second temps, d'étudier si cette opération de dérivation peut être généralisée à l’ensemble des distributions.

Activité préparatoire[modifier | modifier le wikicode]

Soit p, une fonction physique dérivable et soit p' sa dérivée.

La distribution correspondant à p est la forme linéaire Tp qui à tout φ de associe le réel :

De même, la distribution correspondant à p' est la forme linéaire Tp' qui à tout φ de associe le réel :

Nous voyons que, dans la définition de la forme linéaire associée à p', intervient la fonction p'. Il serait intéressant de voir s'il est possible de transformer l’expression :

de façon à ce qu'elle n'utilise plus la fonction p' pour pouvoir l'appliquer à des fonctions p qui ne sont pas dérivables.

La forme de l'intégrale nous fait penser à une intégration par parties. Essayons ! on obtient :

La fonction φ étant à support borné, nous avons :

Il nous reste donc :

Nous remarquons que cette dernière formule a été rendue possible par le fait que les fonctions-test de sont dérivables et à support compact. Ce n'est donc pas par hasard si cet ensemble a été défini ainsi.

Nous voyons qu’après projection des fonctions physiques dans l’ensemble des distributions, il est possible de définir une dérivation même pour les images des fonctions physiques qui n'étaient pas dérivables en posant la définition suivante :


Et nous voyons que cette définition est applicable même aux fonctions physiques qui ne sont pas dérivables. Par conséquent, nous en déduisons qu'en tant que distribution, toutes les fonctions physiques sont dérivables.


Exemple fondamental[modifier | modifier le wikicode]

Nous rappelons la définition de la fonction de Heaviside que nous avons noté H :

Nous nous proposons dans ce paragraphe de calculer la dérivée de la distribution de Heaviside. En tant que fonction physique, celle-ci n’est pas dérivable, puisque présentant une discontinuité en 0. En tant que distribution, elle devrait, par conséquent, avoir une dérivée en dehors de l'espace P des distributions régulières.


Si nous appliquons la définition donnée dans le paragraphe précédent, nous voyons que T'H est une forme linéaire qui à toutes fonctions-test φ de associe le réel :

Mais compte-tenu de la définition de H, nous voyons que cette expression peut s'écrire :

Que nous pouvons aisément calculer sous cette forme. En effet, nous avons :

Nous obtenons un résultat très simple. Nous voyons que la dérivée de la distribution de Heaviside est la forme linéaire qui, à toutes fonctions-test φ de , associe sa valeur en 0.

Et nous reconnaissons la distribution de Dirac que nous avons déjà rencontrée au chapitre précédent.

Nous rappelons la définition de la distribution de Dirac :


Nous pouvons généraliser à d'autres valeurs que 0, en posant :


Par convention, si l’on note simplement δ, c’est que nous avons affaire à δ0.


Généralisation à toutes les distributions[modifier | modifier le wikicode]

Dans le paragraphe précédent, nous avons réussi à définir une dérivation sur l’ensemble P des fonctions régulières et, par conséquent, on peut dire que toutes les fonctions physiques sont dérivables au sens des distributions (ce qui n'est déjà pas mal). Dans ce paragraphe, nous allons essayer d'aller encore plus loin en définissant une dérivation pour toutes les distributions, même si elles n'appartiennent pas à P. Comment faire ?


La réponse va nous apparaître évidente en exprimant les choses à l'aide du crochet de dualité.

En notant Tp, la distribution associée à une fonction physique p, nous avons :

Même si p n’est pas dérivable, nous avons vu que :

Nous voyons apparaître la relation suivante :

Qui est indépendante de l'intégrale et surtout de p. Nous pouvons donc choisir cette expression comme définition générale d'une dérivation sur :


Calculons, à titre d'exemple, la dérivée de la distribution de Dirac, on a :


Quelques propriétés[modifier | modifier le wikicode]

Nous présentons, ci-dessous, quelques propriétés relative à la dérivation des distributions :

Dérivation du produit d'une distribution par une fonction indéfiniment dérivable[modifier | modifier le wikicode]

Nous rappelons la définition du produit d'une distribution T par une fonction p indéfiniment dérivable :

Nous avons alors :

On retiendra :




Suite des dérivées d'une suite de distributions[modifier | modifier le wikicode]

Nous avons le théorème suivant :

Début d’un théorème
Fin du théorème


Fonction dérivable par morceaux[modifier | modifier le wikicode]



Les fonctions physiques dérivables par morceaux ne sont, bien sûr, pas nécessairement dérivables. Mais nous allons définir une pseudo-dérivée de ces fonctions, que nous nommerons par la suite « dérivée physique » d'une fonction, qui va considérablement augmenter le nombre des fonctions physiques dérivables.


Autrement dit, la dérivée physique d'une fonction physique p est une fonction qui, à tout réel x, associe la dérivée à droite de la fonction p en x.

Cette définition de la dérivée accroît considérablement le nombre des fonctions physiques qui sont dérivables puisqu'une fonction physique qui était classiquement dérivable admet une dérivée physique alors que l'inverse n’est pas vrai.

Malgré tout, il reste encore des fonctions physiques qui n'admettent pas de dérivée physique. Par exemple, la fonction :

n'est physiquement pas dérivable en 0 (voir Exercice 3-2).


Nous allons nous intéresser à la dérivée de la distribution régulière associée à une fonction dérivable par morceaux, dans un cas particulier.


Début d’un théorème
Fin du théorème