El proceso de extender el dominio de una función holomorfa (analítica) más allá de su región original definiéndola en dominios mayores de modo que en las intersecciones la extensión coincida con la función original; las extensiones son únicas cuando se cumplen condiciones de conexidad y analiticidad.

Principio

Las funciones holomorfas son rígidas: si dos funciones analíticas coinciden en un conjunto con un punto de acumulación dentro de un dominio conexo, coinciden en toda la componente conexa; la continuación analítica usa series de potencias locales o monodromía para propagar valores a lo largo de caminos preservando la analiticidad.

Demostración

Extender la función zeta de Riemann desde Re(s)>1 a todo el plano complejo salvo s=1 expresando ζ(s) mediante series de Dirichlet, transformadas de Mellin y la ecuación funcional; usar desarrollos solapados y la unicidad de la continuación analítica para obtener la extensión meromorfa global.

Aplicación incorrecta

Suponer continuación analítica a través de una frontera natural o de una singularidad esencial sin comprobar obstrucciones puede producir contradicciones; intentar continuar una función a través de una acumulación de singularidades (frontera natural) no es válido.

Consecuencia

La continuación analítica revela la estructura global (singularidades, puntos de rama, monodromía) a partir de datos locales, permite la continuación de ecuaciones funcionales y la inversión de transformadas, y es central en demostraciones complejas-analíticas y en la clasificación de funciones especiales.

Inversión

La inversión es la restricción: dada una función analítica global, restringirla a un dominio menor proporciona descripciones locales (series de Taylor), mientras que la continuación procura agrandar el dominio partiendo de información local.

Límite

Se aplica solo a funciones analíticas (holomorfas o meromorfas) y a lo largo de caminos que eviten singularidades; no puede salvar singularidades esenciales ni cruzar fronteras naturales, y la unicidad puede fallar en dominios no conexos o cuando solo se permiten extensiones discontinuas.

Tensión semántica

Tensión con extensiones en el sentido de distribuciones o funciones generalizadas: la continuación analítica preserva la holomorfía y una fuerte unicidad, mientras que otras nociones de extensión (p. ej., como distribuciones) pueden admitir prolongaciones no analíticas, cambiando rigidez por existencia más débil.

Síntesis

La continuación analítica es la propagación de datos analíticos locales hacia dominios máximos mediante series de potencias, identidades analíticas y continuación a lo largo de caminos, produciendo la extensión holomorfa o meromorfa más amplia permitida por la localización de singularidades y la monodromía.