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

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

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

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

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

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

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

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

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.