Classe de régularité

classe de fonctions numériques dont les dérivées successives sont continues
(Redirigé depuis Fonction de classe C1)

En mathématiques et en analyse, les classes de régularité des fonctions numériques constituent un catalogue fragmentaire appuyé sur l’existence et la continuité des dérivées itérées, sans se préoccuper de la forme ou de l’allure de la fonction (monotonie, convexité, zéros, etc.).

Toutefois, les classes de régularité ne reflètent en aucun cas un type exhaustif des fonctions : en particulier, les critères portent sur la globalité du domaine de définition.

Domaine en dimension n = 1Modifier

Si   est un intervalle de   et   un entier, on considère les espaces fonctionnels suivants :

  •   : l'ensemble des fonctions continues de   vers   ;
  •   : l'ensemble des fonctions de   vers   qui sont   fois dérivables ;
  •   : le sous-ensemble de   constitué des fonctions dont la  -ième dérivée est continue ;
  •  , ou de manière strictement équivalente   : l'ensemble des fonctions indéfiniment dérivables (c'est-à-dire   fois dérivables pour tout entier  ) de   vers  , aussi appelées fonctions lisses ou régulières.

Ces ensembles sont des algèbres, et donc a fortiori des espaces vectoriels, sur  .

La continuité est liée aux topologies usuelles sur   et sur  . Par contre, il n’est pas précisé si J est ouvert, fermé, semi-ouvert, demi-droite ou   entier. La topologie (ou éventuellement la norme) associée à ces espaces n’est pas non plus explicitée ici.

Lorsque le contexte est clair, l’« argument »   est ignoré dans la notation, et il en va parfois de même du domaine de définition (c’est habituellement le cas lorsque  ).

Puisque la dérivabilité implique la continuité, ces ensembles satisfont la suite d'inclusions :

 

Deux autres catégories sont couramment évoquées :

  •   l’ensemble des fonctions continues par morceaux ;
  •   (avec  ) le sous-ensemble de   constitué des fonctions dont la  -ième dérivée est continue par morceaux ;
  •   le sous-ensemble de   constitué des fonctions dont le support est compact dans un ouvert contenu dans   ;
  •   le sous-ensemble de   constitué des fonctions dont le support est compact dans un ouvert contenu dans  .

Ils satisfont les inclusions suivantes :

 

Domaine en dimension n > 1Modifier

Soit   un ouvert borné, de frontière   et d’adhérence  .

Pour simplifier, supposons que   soit un domaine « régulier » ; par exemple et pour fixer les idées, que le théorème de la divergence soit valable pour toute fonction suffisamment lisse sur  .

Dans ce cadre, les définitions précédentes conservent leur validité en remplaçant   par   et en prenant « dérivée » au sens de « différentielle ».

Articles connexesModifier