## [Frontera Lisa](/es/node/62840) Definición 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 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 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 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 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 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 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 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 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.