Una frontera que es infinitamente diferenciable (C∞) en cada punto, de modo que las cartas locales admiten mapas de transición C∞ y los campos tangentes y normales son suaves a lo largo de la frontera.

Principio

La diferenciabilidad infinita de la frontera permite aplicar herramientas clásicas de geometría diferencial y análisis: parametrizaciones locales, curvatura bien definida de la frontera y regularidad elíptica de alto orden hasta la frontera.

Demostración

Un dominio acotado suave en R^n con una función definitoria C∞ demuestra que las soluciones de EDP elípticas con datos suaves disfrutan de regularidad C∞ hasta la frontera y que cantidades geométricas como la curvatura media son funciones suaves sobre la frontera.

Aplicación incorrecta

Asumir conclusiones propias de frontera suave en dominios que solo son C^k o Lipschitz puede producir afirmaciones falsas de regularidad de orden superior; los esquemas numéricos que dependen de la continuidad de la curvatura del borde pueden fallar cuando falta suavidad.

Consecuencia

Cuando es válido, el borde liso otorga regularidad elíptica completa, dependencia suave de los flujos geométricos respecto a los datos de frontera y permite construcciones que requieren jets infinitos como desarrollos paramétricos microlocales.

Inversión

La inversión es una frontera no lisa (C^k para k finito, Lipschitz, poligonal o fractal) donde la curvatura puede no estar definida, falla la regularidad de orden superior y fenómenos singulares se concentran en los loci no lisos.

Límite

El ámbito comprende fronteras con regularidad C∞; excluye clases de regularidad más débiles (C^k), la analiticidad es más fuerte pero distinta, y excluye fronteras conocidas solo en sentido débil o medible.

Tensión semántica

Hay tensión entre C∞ y la regularidad real-analítica: ambas implican diferenciabilidad infinita, pero la analiticidad impone restricciones de continuación por series de potencias que permiten técnicas diferentes como la prolongación analítica.

Síntesis

Una frontera lisa es el contexto de regularidad ideal donde operaciones geométricas y analíticas se extienden a orden arbitrario, permitiendo geometría diferencial clásica, análisis preciso de curvaturas y regularidad elíptica completa hasta la frontera.