Un ouvert de l'espace euclidien (ou d'une carte de variété) dont la frontière est localement le graphe d'une fonction Lipschitz, c'est‑à‑dire exprimée localement avec une pente uniforme finie mais pas nécessairement différentiable.

Principe

La représentation locale de la frontière comme graphes de fonctions ayant une constante de Lipschitz uniforme fournit un contrôle des directions normales et permet des résultats de trace et d'extension pour les espaces de Sobolev malgré l'absence de lissité.

Démonstration

Une démonstration typique est une région bornée de R^n dont la frontière au voisinage de chaque point est le graphe d'une fonction de constante Lipschitz L : cela garantit que les vecteurs normaux sortants existent presque partout et que la formule de la divergence s'applique pour des formulations faibles appropriées.

Mauvaise application

Confondre une frontière Lipschitz avec une frontière C^1 ou utiliser des vecteurs normaux ponctuels partout peut conduire à des formulations incorrectes de conditions aux limites ; la frontière peut présenter des arêtes ou cuspides où la tangente classique fait défaut.

Conséquence

La reconnaissance correcte donne accès aux théorèmes de trace en Sobolev, à la bien-posée des EDP elliptiques en formulation faible et à des propriétés de compacité pour des suites de fonctions d'énergie contrôlée.

Inversion

L'inversion correspond à une frontière de régularité plus faible que Lipschitz (par ex. fractale ou simplement mesurable), où les résultats standard de trace/extension et la résolubilité des EDP dans les espaces faibles usuels peuvent échouer.

Limite

Le champ d'application couvre les domaines euclidiens et les variétés munies de cartes coordonnées ; il exclut les frontières nécessitant une régularité supérieure (C^1, C∞, analytique) pour des énoncés géométriques plus précis et exclut les frontières non représentables localement par des graphes.

Tension sémantique

La tension existe entre la régularité Lipschitz et des notions plus géométriques comme la rectifiabilité ou la variation bornée : Lipschitz implique un contrôle métrique fort mais est plus forte que la régularité mémeasure-théorique qui suffit pour certains problèmes variationnels.

Synthèse

Un domaine Lipschitz est un compromis entre régularité géométrique minimale et maniabilité analytique : il permet d'utiliser des outils fonctionnels robustes (traces, extensions, formulations faibles pour EDP) tout en admettant arêtes et non-différentiabilité de la frontière.