Bonjour,
Pouvez vous m'aider à prouver l'équivalence suivante:
Si A est un opérateur non borné dans un Hilbert de domaine ( est
muni de sa norme du graphe), et tel que l'ensemble résolvant , alors on a
est à résolvante compacte si et seulement si s'injecte d'une manière compacte dans .
Merci d'avance.