Classe de régularité

Modèle:À sourcer En mathématiques et en analyse, les classes de régularité des fonctions numériques constituent une classification des fonctions basée sur l’existence et la continuité des dérivées itérées de cette fonction sur son ensemble de définition. La classe de régularité d'une fonction indique jusqu'à quel ordre n la dérivée n^ième d'une fonction existe et si celle-ci est continue, indépendamment de la forme ou de l’allure de la fonction (monotonie, convexité, zéros, etc.).

La classe de régularité d'une fonction dépend de son domaine de définition.

Domaine en dimension n = 1

Si Modèle:Mvar est un intervalle de ℝ et <math>k \ge 1</math> un entier, on considère les espaces fonctionnels suivants :

• <math>\mathcal{C}^0(J,\R)</math> : l'ensemble des fonctions continues de Modèle:Mvar vers ℝ ;
• <math>\mathcal{D}^k(J,\R)</math> : l'ensemble des fonctions de Modèle:Mvar vers ℝ qui sont <math>k</math> fois dérivables ;
• <math>\mathcal{C}^k(J,\R)</math> : le sous-ensemble de <math>\mathcal{D}^k(J,\R)</math> constitué des fonctions dont la <math>k</math>-ième dérivée est continue ;
• <math>\mathcal{C}^{\infty}(J,\R)</math>, ou de manière strictement équivalente <math>\mathcal{D}^{\infty}(J,\R)</math> : l'ensemble des fonctions indéfiniment dérivables (c'est-à-dire <math>n</math> fois dérivables pour tout entier <math>n</math>) de Modèle:Mvar vers ℝ, aussi appelées fonctions lisses ou régulières<ref>Modèle:Ouvrage.</ref>.

On dira d'une fonction f qui est k fois dérivable, donc appartenant à <math>\mathcal{D}^k(J,\mathbb{R})</math> qu'elle est de classe D^k sur J. De même une fonction appartenant à <math>\mathcal{C}^k(J,\mathbb{R})</math> est dite de classe C^k sur J.

Puisque la dérivabilité implique la continuité, une fonction dérivable (donc de classe D¹) est nécessairement continue (donc de classe C⁰). De même l'existence de la k-ième dérivée implique la continuité de la dérivée d'ordre k - 1. Ces ensembles satisfont donc la suite d'inclusions :

<math>\mathcal{C}^0(J) \supset \mathcal{D}^1(J) \supset \mathcal{C}^1(J) \supset \mathcal{D}^2(J) \supset \mathcal{C}^2(J) \supset \cdots \supset \mathcal{D}^k(J) \supset \mathcal{C}^k(J) \supset \cdots \supset \mathcal{C}^{\infty}(J).</math>

Ces ensembles forment des algèbres sur ℝ pour les lois usuelles.

La continuité est liée aux topologies usuelles sur Modèle:Mvar et sur ℝ. Par contre, il n’est pas précisé si Modèle:Mvar 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 (voir Espace de Fréchet).

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 Modèle:Mvar = ℝ).

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

• <math>\mathcal{C}_I^0(J)</math> l’ensemble des fonctions continues par morceaux ;
• <math>\mathcal{C}_I^k(J)</math> (avec <math>k \geq 1</math>) le sous-ensemble de <math>\mathcal{D}^k(J)</math> constitué des fonctions dont la <math>k</math>-ième dérivée est continue par morceaux ;
• <math>\mathcal{C}_0^k(J)</math> le sous-ensemble de <math>\mathcal{C}^k(J)</math> constitué des fonctions dont le support est compact dans un ouvert contenu dans Modèle:Mvar ;
• <math>\mathcal{C}_0^{\infty}(J)</math> le sous-ensemble de <math>\mathcal{C}^{\infty}(J)</math> constitué des fonctions dont le support est compact dans un ouvert contenu dans Modèle:Mvar.

Ils satisfont les inclusions suivantes :

<math>\mathcal D^k(J)\supset\mathcal C_I^k(J)\supset\mathcal C^k(J)\supset\mathcal C_0^k(J)</math>.

Si l'intervalle Modèle:Mvar est non trivial, tous ces ensembles constituent, munis de leur lois, des algèbres de dimension card(ℝ).

Domaine en dimension n > 1

Soit <math>\Omega \subset \R^n</math> un ouvert borné, de frontière <math>\partial \Omega</math> et d’adhérence <math>\overline{\Omega}</math>.

Pour simplifier, supposons que <math>\Omega</math> 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 <math>\R^n</math>.

Dans ce cadre, les définitions précédentes conservent leur validité en remplaçant Modèle:Mvar par <math>\overline{\Omega}</math> et en prenant « dérivée » au sens de « différentielle ».

Références

<references />

Articles connexes

• Régularité par morceaux
• Dérivation itérée
• Fonction analytique