Je m'aperçois que si on est un peu futé, on remarque que
|)
est une fonction paire (et

-périodique). Ce qui veut dire que
|)dx = 2\Bigint_{0}^{\pi}(1+|sin(x)|)dx)
.
Par définition de la dérivation au sens des distributions, on a, pour toute fonction test

de classe

à surpport compact, qui est l'intervalle

,

, cad :
|)'\phi(x)dx = -2\Bigint_{0}^{\pi}(1+|sin(x)|)\phi'(x)dx)
Donc, en divisant par 2 des deux côtés et en développant l'intégrale de droite, c'est encore égal à :
-
dx - \Bigint_{0}^{\pi}|sin(x)|\phi'(x)dx)
Or
dx = 0)
car

est une fonction à support compact, donc

s'annule en particulier aux bords (en 0 et en

). De plus, sur

, la fonction sinus est positive, donc, l'égalité précédente est égale à :
-
\phi'(x)dx = \Bigint_{0}^{\pi}cos(x)\phi(x)dx)
(si on effectue 1 IPP et si on utilise encore le fait que

est à support compact).
Donc au final, on obtient :
|)'\phi(x)dx = \Bigint_{0}^{\pi}cos(x)\phi(x)dx)
On a donc montrer que la dérivée au sens des distributions de la fonction
|)
est la fonction
)
, pour tout x de

.(par identification des intégrandes)