Théorie physique des distributions/Exercices/Produit de convolution
Exercice 4-1
modifierOn appelle fonction porte, la fonction Π définie par :
Calculer le produit de convolution de la fonction porte par elle-même.
La fonction porte est à support compact, donc le produit de convolution Π ⋆ Π est défini. De plus Π est une fonction paire donc Π ⋆ Π est aussi une fonction paire. Nous pouvons donc calculer Π pour x ⩾ 0 seulement. On a donc :
Faisons un changement de variable en posant u = x - t. Nous obtenons :
Pour x ⩾ 1, nous voyons que l'intégrale est nulle. Pour 0 ⩽ x < 1, il nous reste :
Comme la fonction est paire, nous en déduisons par symétrie que, pour -1 < x ⩽ 0, on a Π ⋆ Π(x) = 1 + x.
En résumé, nous avons :
Compte- tenu de la forme de la courbe, on pose parfois :
Exercice 4-2
modifierS étant une distribution fixée, à support positif (S ∈ ), on considérera l’application de dans qui, à toute distribution E de , associe la distribution R définie par :
a - Déterminer S sachant que, si E est la fonction de Heaviside H, alors R est la distribution régulière associée à la fonction uα définie par :
Il apparaît que S dépend de α; on écrira donc désormais Sα au lieu de S.
b - Pour E ∈ , montrer que :
est une distribution indépendante de E.
a - Nous sommes ramenés à résoudre l'équation d'inconnue S :
En dérivant les deux membres de cette équation, on obtient :
La distribution de Dirac étant l'élément neutre du produit de convolution, on obtient :
On posera :
b - On a :
Nous avons vu (exercice 2-4) que :
Par conséquent :
Exercice 4-3
modifiera - Montrer que si la dérivée nième d'une distribution T est nulle, alors T est une distribution régulière associé à une fonction polynôme de degré inférieur ou égal à n - 1.
b - En déduire que le produit de convolution d'une distribution à support compact par un polynôme de degré n, est un polynôme de degré inférieur ou égal à n.
c - En utilisant l'exercice 2-2, en déduire que toute distribution à support compact est limite d'au moins une suite de polynômes.
a - cela revient à montrer que la primitive d'un polynôme est un polynôme.
Soit donc p, un polynôme. Nous savons, en théorie classique des fonctions, que ce polynôme admet comme primitive au moins un polynôme P vérifiant P' = p. Cherchons alors la forme générale d'une distribution T vérifiant la condition T' = p.
Considérons la distribution T - P et calculons sa dérivée. On a :
Hors nous avons vu, exercice 3-3, qu'une distribution ayant une dérivée nulle est une distribution associée à une fonction constante. Il existe donc une constante C tel que T - P = C. On a donc T = P + C et, par conséquent, T est aussi un polynôme.
On en déduit successivement que si la dérivée nième d'une distribution T est nulle, alors T est une distribution régulière associé à une fonction polynôme de degré inférieur ou égal à n - 1.
b - Soit T une distribution à support compact et soit P une distribution régulière associée à un polynôme de degré n. Considérons le produit de convolution de T par P et calculons sa dérivée de degré n + 1. On a :
D'après la question a, nous en déduisons que T⋆P est un polynôme de degré inférieur ou égal à n.
c - Nous avons vu, exercice 2-2, Que la distribution de Dirac est limite d'une suite de polynôme. Soit donc (Pn)n∈ℕ une suite de polynômes ayant pour limite la distribution de Dirac. Soit T, une distribution à support compact, On a alors :
Comme T⋆Pn est un polynôme d’après la question b, nous en déduisons que T est la limite de la suite de polynômes (T⋆Pn)n∈ℕ.
Exercice 4-4
modifierPour les calculs suivants, on pourra utiliser l'exercice 2-3 :
a - Calculer :
b - Calculer :
a - Soit φ, la fonction définie par :
Cette fonction appartient à d’après l'exercice 1-1.
On peut alors écrire :
Le produit de convolution est bien défini puisque φ est à support compact.
En utilisant l'exercice 2-3, nous voyons que :
b - Soit Π, la fonction porte (voir sa définition exercice 4-1). Nous pouvons alors écrire :
En utilisant l'exercice 2-3, nous voyons que :
Exercice 4-5
modifierSoient et deux fonctions continues par morceaux sur . On suppose que est bornée et que l'intégrale impropre converge.
- Montrer que est bien définie sur , c'est-à-dire que pour tout , l'intégrale converge.
- Montrer que si est Ck et si ses dérivées successives sont bornées, alors est au moins Ck.
- Dans le cas où la fonction indicatrice d'un segment (fonction porte) et (fonction triangulaire), calculer et tracer .
- On suppose continue et l'on considère une suite de fonctions positives telles que
.
Montrer que la suite de fonctions converge uniformément vers sur tout segment . - Soit une fonction positive d'intégrale . On considère la suite de fonctions . Montrer que les hypothèses de la question précédente sont vérifiées.
- est intégrable car est bornée et est intégrable.
- Application immédiate du théorème de dérivation d'une intégrale à paramètre.
- Pour tout ( étant nulle ailleurs), avec
L'expression de (et la forme de son graphe, cf. cette animation des divers cas, sur YouTube) dépend donc de la largeur support de , comparée à celle du support de :- Si ,
- Si ,
- Si ,
- C'est un cas particulier de noyau de sommabilité.
- Par changement de variable, on a évidemment et pour tout , , comme reste d'une intégrale convergente.