## [Frontera Real-Analítica](/es/node/62842) Definición Una frontera definida localmente por funciones real-analíticas, de modo que en torno a cada punto las funciones definitorias admiten expansiones en series de potencias convergentes y la frontera es localmente el conjunto de ceros de dichas funciones analíticas. ## Principio Principio La regularidad real-analítica impone propiedades de extensión rígidas más allá de la diferenciabilidad infinita: la expansión en series de potencias controla la continuación única, permite métodos de continuación analítica y restringe la geometría local más fuertemente que C∞. ## Demostración Demostración Como demostración, un dominio con función definitoria real-analítica en R^n permite argumentos de reflexión y continuación analítica para soluciones de ecuaciones elípticas, implicando a menudo que datos de frontera que se anulan de orden infinito provocan anulación en un vecindario. ## Aplicación incorrecta Aplicación incorrecta Asumir propiedades analíticas a partir de mera suavidad C∞ (por ejemplo esperar continuación analítica global o determinación por grado finito) es una mala aplicación; los datos C∞ no tienen por qué satisfacer hipótesis de convergencia de series de potencias. ## Consecuencia Consecuencia Si es válida, la frontera analítica aporta mayor rigidez: unicidad de continuación analítica de objetos armónicos u holomorfos, aplicabilidad de técnicas de análisis complejo en contextos adecuados y estructura precisa de expansiones singulares. ## Inversión Inversión La inversión es una frontera C∞ pero no analítica, donde existen jets infinitos que no provienen de series convergentes, por lo que la continuación analítica y los fenómenos de rigidez asociados fallan. ## Límite Límite El ámbito cubre fronteras real-analíticas en coordenadas locales; excluye fronteras meramente suaves (C∞) sin representación por series convergentes y excluye estructuras analíticas complejas a menos que se extienda explícitamente el marco real-analítico. ## Tensión semántica Tensión semántica Hay tensión entre las categorías analítica y suave: ambas admiten derivadas de todo orden, pero la analiticidad exige la condición adicional de series de Taylor convergentes, lo que produce propiedades cualitativamente distintas de extensión y unicidad no captadas por la teoría C∞. ## Síntesis Síntesis Una frontera analítica es una condición de regularidad estrictamente más fuerte que la suavidad: al exigir descripciones locales por series convergentes, proporciona rigidez y propiedades de continuación que afinan el control geométrico y analítico cerca de la frontera.