Un module de régularité est un fonctionnel qui quantifie la régularité d’une fonction en mesurant la taille de ses différences finies à différentes échelles. Défini en général via les différences d’ordre r Δ_h^r f et un paramètre d’échelle t, il fournit une fonction non négative ω(f,t) qui décroît vers zéro pour t petit lorsque la fonction est plus régulière.

Principe

Les différences finies codent la régularité : la vitesse à laquelle les normes des différences décroissent quand l’échelle tend vers zéro caractérise la régularité. Le module agrège ces différences selon les déplacements et ordres pour produire une mesure de régularité dépendant de l’échelle.

Démonstration

Sur la droite, pour une fonction Lipschitz de constante L, le module d’ordre 1 satisfait ω(f,t) ≤ L t. Pour une fonction C^m, le module d’ordre r se comporte comme O(t^m) pour r ≤ m, ce qui reflète la décroissance liée aux dérivées classiques.

Mauvaise application

Prendre les dérivées ponctuelles pour équivalentes aux valeurs du module sans effectuer d’intégration ou de mise en norme ; utiliser une différence finie à une seule échelle pour prétendre à une régularité globale ; ou appliquer un module défini en L^p sans vérifier que la fonction appartient à L^p.

Conséquence

Fournit des estimations de régularité sensibles à l’échelle, utilisées pour caractériser les taux d’approximation (approximation polynomiale, erreur de spline), pour définir les espaces de Besov et de Lipschitz, et pour comparer quantitativement différentes notions de régularité.

Inversion

Les normes de Sobolev ou basées sur les dérivées offrent une mesure complémentaire, spectrale ou intégrale, de la régularité ; alors que les dérivées évaluent le comportement infinitésimal local, le module encode le comportement moyen à échelle finie : remplacer différences par dérivées change la perspective.

Limite

Exige un contexte d’espace fonctionnel (par ex. L^p, C^k) et un choix d’ordre de différence et de norme ; les définitions varient selon le domaine (Rd, tore, intervalle) et ne se prolongent pas nécessairement aux distributions sans régularisation.

Tension sémantique

Concurrence avec normes basées sur les dérivées (Sobolev) et exposants Hölder ponctuels : le module insiste sur la décroissance moyenne à échelle finie, tandis que les dérivées sur le comportement infinitésimal; le contexte dicte la préférence.

Synthèse

Le module de régularité est le profil dépendant de l’échelle des différences finies qui quantifie la rapidité d’atténuation des oscillations d’une fonction lorsque l’échelle d’observation diminue : il relie de façon opérationnelle l’information dérivative locale et la performance d’approximation globale.