Función analítica

En matemáticas una función analítica es aquella que puede expresarse como una serie de potencias convergente. Una función analítica es suave si tiene infinitas derivadas. La noción de función analítica puede definirse para funciones reales o complejas, aunque ambos conjuntos tienen propiedades distintas. Las funciones complejas derivables en un abierto siempre son analíticas, y se denominan funciones holomorfas. Sin embargo, una función real infinitamente derivable no es necesariamente analítica.

Definición

La definición de función analítica es idéntica para los casos real y complejo:

Una función real (compleja) f es analítica en un punto x0 de su dominio si existe una serie de potencias centrada en x0:

que converge en un entorno UR (UC) de x0 y que coincide con la función en dicho entorno:

De esta definición se puede demostrar la siguiente caracterización alternativa:

Una función analítica en x0 es infinitamente derivable en un cierto entorno U de dicho punto, en el que además su serie de Taylor:

converge (y coincide con f).

Una función se dice analítica en un conjunto U si es analítica en cada punto de U. El conjunto de todas las funciones analíticas en un cierto abierto U se denota por Cω(U).

Varias variables

La definición de función analítica puede extenderse para funciones (reales o complejas) de varias variables (definidas en Rn o Cn), sin más que considerar series de potencias de varias variables:

Funciones holomorfas

En el caso de las funciones complejas analíticas, existe un teorema que las caracteriza de manera mucho más sencilla, y que constituye uno de los rasgos fundamentales del análisis complejo:

Una función compleja f : DCC derivable en un abierto U, es analítica en U.

Un teorema similar se aplica en el caso de funciones complejas de varias variables que sean diferenciables:

Una función compleja f : DCnC diferenciable en un abierto U es analítica en U.

Other Languages