Fonction continue

Bonsoir à tous
Svp j'aimerais [connaître] la différence entre $\
C^\infty (\overline{\Omega})\ $ et $\
C^\infty_c (\Omega)\
$
Merci.

Réponses

  • Le petit $c$ signifie "à support compact". Le $\infty$ signifie indéfiniment différentiable.
  • La première notation parle de fonctions $C^{\infty}$ sur un fermé. Il faut voir quelle définition on donne à cet ensemble mais habituellement une fonction $C^{\infty}$ sur un fermé est la restriction d'un fonction $C^{\infty}$ sur un voisinage ouvert de ce fermé.

    La seconde notation parle de fonctions $C^{\infty}$ à support compact dans $\Omega$. En particulier, comme elles sont à support compact, elles peuvent être prolongées par $0$ à l'espace $\R^n$ tout entier. On a donc l'inclusion $$C_c^{\infty}(\Omega) \subset C^{\infty}(\bar{\Omega}).$$ (En réalité c'est plutôt une injection. A $f$ j'associe $\hat{f}|_{\bar{\Omega}}$ où $\hat{f}$ est l'extension par $0$ de $f$ sur $\R^n$.)

    L'autre inclusion est évidemment fausse. Pense par exemple aux fonctions constantes non-nulles.
  • Si je prends une fonction $ f \in C^\infty_c (\Omega) ,$ alors $f=0$ sur $\partial \Omega$ et qu'est-ce qui se passe si $ f \in C^\infty (\overline{\Omega}) $ ?
Connectez-vous ou Inscrivez-vous pour répondre.