Régularité d'une fonction ou d'une distribution mesurée le long de champs de vecteurs tangents aux ensembles de niveau d'une fonction définissante (directions conormales) ; la régularité conormale saisit une douceur anisotrope qui peut persister au bord ou à une interface même lorsque la régularité tangente ou normale pleine fait défaut.

Principe

La régularité conormale organise la douceur par invariance sous la différentiation dans les directions tangentes à une interface : les dérivées le long des champs conormaux restent contrôlées tandis que les dérivées transversales peuvent perdre en régularité à cause de la géométrie du bord ou d'une dégénérescence des coefficients.

Démonstration

Sur une variété à bord définie par x=0, une fonction se comportant comme x^{α} multiplié par une fonction lisse des variables tangentielles possède une régularité conormale d'ordre α : les dérivées tangentielles restent lisses tandis que les dérivées normales reflètent le facteur x^{α} et peuvent être singulières.

Mauvaise application

Supposer que la régularité conormale implique une douceur isotrope conduit à des erreurs lors de l'utilisation des plongements isotropes de Sobolev ou lorsqu'on tente d'interchanger dérivées normales et tangentielles dans des estimations d'énergie.

Conséquence

Reconnaître la régularité conormale permet l'emploi d'espaces anisotropes (espaces de Sobolev conormaux ou Hölder pondérés), donne des propriétés de mappage précises pour les opérateurs pseudodifférentiels ou les potentiels de couche, et oriente la construction de parametrix au bord adaptés à l'interface.

Inversion

L'inverse est la régularité isotrope : la douceur vaut également dans toutes les directions, de sorte que dérivées conormales et transversales satisfont aux mêmes bornes et plus aucune singularité directionnelle ne subsiste.

Limite

Le concept s'applique lorsqu'une interface ou un bord est défini de façon lisse et qu'il existe un ensemble distingué de champs tangents ; il exclut les bords entièrement irréguliers où aucune structure tangentielle cohérente ne peut être définie.

Tension sémantique

La tension apparaît entre la régularité conormale et la régularité Sobolev ordinaire : les espaces conormaux reflètent une invariance directionnelle et peuvent être strictement plus larges que les espaces isotropes qui ignorent la persistance de douceur tangentielle.

Synthèse

La régularité conormale isole la douceur directionnelle le long de champs tangents : elle formalise la persistance anisotrope de régularité aux bords et interfaces et fonde des cadres analytiques et un calcul d'opérateurs adaptés.