Un subconjunto abierto del espacio euclidiano (o de una carta de variedad) cuya frontera es localmente el gráfico de una función Lipschitz, es decir, expresada localmente con pendiente uniforme y finita pero no necesariamente diferenciable.

Principio

La representabilidad local de la frontera como gráficos de funciones con constante de Lipschitz uniforme proporciona control de las direcciones normales y permite resultados de traza y extensión para espacios de Sobolev a pesar de la ausencia de suavidad.

Demostración

Un ejemplo típico es una región acotada en R^n cuya frontera cerca de cada punto es el gráfico de una función con constante Lipschitz L: esto asegura que existan vectores normales exteriores casi en todas partes y que el teorema de la divergencia se aplique en formulaciones débiles apropiadas.

Aplicación incorrecta

Tratar una frontera Lipschitz como si fuera C^1 o usar vectores normales puntuales en todas partes puede llevar a formulaciones erróneas de condiciones de contorno; la frontera puede tener esquinas o cúspides donde la tangente clásica falla.

Consecuencia

La identificación correcta permite acceder a teoremas de traza en Sobolev, a la bien planteación de EDP elípticas en forma débil y a propiedades de compacidad para sucesiones de funciones con energía controlada.

Inversión

La inversión es una frontera con regularidad más débil que Lipschitz (por ejemplo fractal o meramente medible), donde los resultados estándar de traza/extensión y la solvencia de EDP en espacios débiles habituales pueden fallar.

Límite

El ámbito incluye dominios euclidianos y variedades con cartas coordenadas; excluye fronteras que requieran mayor regularidad (C^1, C∞, analítica) para enunciados geométricos más precisos y excluye fronteras no representables localmente como gráficos.

Tensión semántica

Existe tensión entre la regularidad Lipschitz y nociones más geométricas como la rectificabilidad o la variación acotada: Lipschitz implica control métrico fuerte pero es más fuerte que la regularidad meramente medida-teórica que basta en algunos problemas variacionales.

Síntesis

Un dominio Lipschitz equilibra regularidad geométrica mínima y tratabilidad analítica: permite herramientas funcionales robustas (trazas, extensiones, formulaciones débiles de EDP) al tiempo que admite esquinas y comportamiento no diferenciable de la frontera.