Calcul de derivée faible|heavyside

[franz2b]

Bonjour a tous.
Voila, je seche sur deux petits exos (dont j'imagine basiques) mais je n'ai jamais manipulé cela avant donc je ne sais meme pas comment partir:

EXO1
mtq la fonction f(x):|x| est faiblement derivable et calculer sa derivée faible.

EXO2
La fonction de Heaviside (fonction indicatrice de R+) est elle faiblement derivable?
______________________________________

Pour l'exo1: la fonction valeur absolue appartient à Hs(R), elle est donc faiblement derivable.
Par contre, je n'ai aucune idée pour debuter le calcul de sa derivée faible.
J'ai pensé a revenir a la definition:

[f: L1,loc(R) est faiblement deriv.]

[il existe f' de L1,loc(R) tq qqsoit g infiniment continue a support compact de R : =-]

Je pose donc g et sa derivée des fonctions respectant les hypotheses et je resouds l'equation =-

Pour l'exo2 je suis completement largué.........


Help! merci a tous