Exercice 3.2: Distributions constantes
On se place sur Rpour simplifier, cependant les résultats suivants se généralisent à la dimension d.
1. Montrer que les éléments de DpRqd’intégrale nulle sont exactement les dérivées de fonctions tests.
2. On fixe θPDpRqd’intégrale égale à 1. Déduire de ce qui précède que pour tout ϕPDpRq, il existe
pλϕ, ψq P RˆDpRqtel que ϕ“λϕθ`ψ1.
3. En déduire qu’une distribution de dérivée nulle est constante.
Remarque : En dimension dce résultat devient : une distribution dont toutes les dérivées partielles
d’ordre 1sont nulles est une fonction constante.
Voir la correction.
4 Distributions s’identifiant à une fonction
On va s’intéresser à une série de cas où une estimation/égalité imposée à une distribution Timplique
que cette distribution soit une fonction. Pour simplifier, si Xest un espace fonctionnel, et TPD1pΩq, on
adopte l’abus de notation TPXpour dire que T« s’identifie à un élément de X».
Exercice 4.1:
1. Que dire d’un élément TPD1pRqtel que T1PC0pRq?
Indication : Considérer une primitive de T1- c’est donc une fonction C1pRq- et remarquer qu’elle
a la même dérivée faible que T!
2. Que dire d’un élément TPD1pRqtel que Tpnq“0pour un certain entier nPN?
3. Soit pP r1,8r et Bpla boule unité de LppΩq. Montrer que si TPD1pΩqest bornée sur BpXDpΩq,
alors TPLp1pΩq.
Indication : Montrer que Test alors uniformément continu sur DpΩq(pour la distance induite par
la norme }¨}p) et prolonger.
Voir la correction.
Exercice 4.2: Un espace de Sobolev
On fixe une fonction θPDps0,1rq d’intégrale égale à 1. On rappelle alors un résultat obtenu
précédemment : tout élément ϕPDps0,1rq se décompose sous la forme ϕ“ψ1`λϕθoù ψPDps0,1rq et
λϕ“ż1
0
ϕpxqdx. Dans toute la suite }¨}2représente la norme de L2`s0,1r˘.
1. Soit ψPDps0,1rq. En remarquant que ψpxq2“2żx
0
ψ1ptqψptqdt, montrer que }ψ}2ď2}ψ1}2.
2. Soit TPD1ps0,1rq tel que T1PL2ps0,1rq. En utilisant la décomposition ϕ“ψ1`λϕθ, montrer que
pour tout ϕPDps0,1rq,|Tpϕq| ď |Tpθq|}ϕ}2`2“1` }θ}2|‰}T1}2}ϕ}2.
Indication : Remarquer que |λϕ|ď}ϕ}2et utiliser la question précédente pour montrer que }ψ}2ď
2p1` }θ}2q}ϕ}2et en déduire |Tpψ1q| ď 2“1` }θ}2|‰}T1}2}ϕ}2.
3. En déduire que T1PL2ps0,1rq ñ TPL2ps0,1rq (ou pourra utiliser la troisième question de l’exercice
précédent).
4. Soit uPC1pr0,1sq, nulle en 0. Montrer que
|upxq|2“2ˇˇˇˇżx
0
u1ptquptqdtˇˇˇˇď2}u}2}u1}2.
4