# Analiticidad de las funciones holomorfas

En análisis complejo, el objeto de estudio principal son las funciones holomorfas. Un resultado fundamental de esta rama de las matemáticas es que toda función holomorfa es analítica, hecho cuyo análogo en funciones de variable real no es cierto. De esto se deducen múltiples corolarios que distinguen el análisis complejo del análisis real.

## Introducción
### Definición de función holomorfa

Una función $f$ que tome valores complejos en un abierto $U$ del plano complejo ($f\colon U\subseteq \mathbb {C} \rightarrow \mathbb {C}$) se llama diferenciable en un punto $z_{0}\in U$ si es derivable "en un sentido complejo", es decir, imitando la definición en el caso real, si existe el límite
$f'(z_{0})=\lim _{z\to z_{0}}{f(z)-f(z_{0}) \over z-z_{0}}.$
En caso de existir, a este límite se le llama derivada de $f$ en $z_{0}$. Si hay todo un disco abierto $D(z_{0},\varepsilon )$ alrededor de $z_{0}$ de forma que $f$ es diferenciable en cualquier punto del disco, se dice que $f$ es holomorfa en $z_{0}$. Si $f$ es holomorfa en todos los puntos de $U$, se dice que $f$ es holomorfa en $U$. Este tipo de funciones son el objeto de estudio principal del análisis complejo.

### Definición de función analítica

Por otro lado, una función $f\colon U\subseteq \mathbb {C} \rightarrow \mathbb {C}$ se denomina analítica en un punto $z_{0}\in U$ si existe un radio positivo $\varepsilon >0$ de forma que en todo el disco $D(z_{0},\varepsilon )$ la función $f$ se puede expresar como una serie de potencias convergente:
$f(z)=\sum _{n=0}^{\infty }c_{n}(z-z_{0})^{n}\quad \forall z\in D(z_{0},\varepsilon )$,
para ciertos coeficientes $c_{n}\in \mathbb {C}$. La función se denomina analítica en $U$ si lo es en cada uno de sus puntos.
Se puede demostrar que las series de potencias son infinitamente derivables y se pueden derivar término a término (es decir, podemos intercambiar la derivada con el sumatorio). En particular, toda función analítica en un punto es infinitamente derivable en ese punto, y de esto se pueden obtener fórmulas concretas para cada uno de los $c_{n}$. Explícitamente
$f(z_{0})=\sum _{n=0}^{\infty }c_{n}(z_{0}-z_{0})^{n}=c_{0}$
$f'(z_{0})=\sum _{n=1}^{\infty }nc_{n}(z_{0}-z_{0})^{n-1}=c_{1}$
$f^{(k)}(z_{0})=\sum _{n=k}^{\infty }n\cdot (n-1)\cdot \dots \cdot (n-k+1)c_{n}(z_{0}-z_{0})^{n-k}=k!c_{k}\Rightarrow c_{k}={\tfrac {f^{(k)}(z_{0})}{k!}}$
Es decir, los $c_{n}$ son los términos de la serie de Taylor de $f$ centrada en $z_{0}$. Por tanto, tenemos que una función es analítica en un punto $z_{0}$ si y sólo si existe un entorno de $z_{0}$ donde $f$ coincide con su serie de Taylor (si en un entorno de $z_{0}$ podemos aproximar arbitrariamente $f$ por sus polinomios de Taylor centrados en $z_{0}$).

### Enunciado del resultado y comparación con el caso real

El resultado de este artículo es que toda función holomorfa es analítica. Es decir, toda función "derivable en el sentido complejo" coincide con su serie de Taylor. El resultado análogo en variable real no es cierto: hay funciones infinitamente derivables que no son analíticas. El ejemplo clásico de esto es la función
$f(x)={\begin{cases}e^{-1/x^{2}},{\text{ si }}x\neq 0\\0,\quad \quad {\text{ si }}x=0\end{cases}}$
Todas sus derivadas en $x=0$ son nulas, por lo que su serie de Taylor en $x=0$ es idénticamente nula. Pero $f$ no es idénticamente nula, por lo que no coincide con su serie de Taylor. Esto no puede suceder en funciones de variable compleja.

## Demostración

El argumento, dado por primera vez por Cauchy, se basa en la fórmula integral de Cauchy y la expansión en serie de potencias de ${\frac {1}{1-z}}$ alrededor de $z=0$:
${\frac {1}{1-z}}=\sum _{n=0}^{\infty }z^{n}$, siempre que $\vert z\vert <1$.
Para hacer la demostración, supóngase que $f\colon U\subseteq \mathbb {C} \rightarrow \mathbb {C}$ es una función holomorfa en un punto $a\in U$ y veamos que $f$ es analítica en $a$. Podemos tomar $D$ un disco abierto centrado en $a$ tal que $f$ es diferenciable en todo un entorno abierto de la adherencia de $D$ (basta coger como $D$ un disco un poco más pequeño que el que da la definición de holomorfía). Sea $C$ la circunferencia, orientada positivamente (en sentido contrario de las agujas del reloj), determinada por la frontera de $D$, y sea $z$ un punto en $D$. Empezando por la fórmula integral de Cauchy y usando la serie de potencias anterior, tenemos que (el paso $(*)$ se justifica más abajo):
${\begin{aligned}f(z)&={1 \over 2\pi i}\int _{C}{f(w) \over w-z}\,\mathrm {d} w\\[10pt]&={1 \over 2\pi i}\int _{C}{f(w) \over (w-a)-(z-a)}\,\mathrm {d} w\\[10pt]&={1 \over 2\pi i}\int _{C}{1 \over w-a}\cdot {1 \over 1-{z-a \over w-a}}f(w)\,\mathrm {d} w\\[10pt]&={1 \over 2\pi i}\int _{C}{1 \over w-a}\cdot {\sum _{n=0}^{\infty }\left({z-a \over w-a}\right)^{n}}f(w)\,\mathrm {d} w\\[10pt]&{\overset {(*)}{=}}\sum _{n=0}^{\infty }{1 \over 2\pi i}\int _{C}{(z-a)^{n} \over (w-a)^{n+1}}f(w)\,\mathrm {d} w.\end{aligned}}$
El paso $(*)$, donde intercambiamos la integral y la serie se puede justificar por convergencia uniforme como sigue. La expresión $f(w)/(w-a)$ es continua en $C$, que es un conjunto compacto (cerrado y acotado). Así pues, por el teorema de Weierstraß, está acotada por un cierto número positivo $M$. Por otro lado, también para todo $w\in C$,
$\left|{\frac {z-a}{w-a}}\right|\leq r<1$
para cierto $r$ positivo, menor que 1 porque $z$ está en el interior de ${\bar {D}}$, el disco cerrado de centro $a$, y $w$ en su frontera, $C$. Por tanto, se tiene que
$\left|{(z-a)^{n} \over (w-a)^{n+1}}f(w)\right|\leq Mr^{n},$
en $C$. La serie $\sum _{n=0}^{\infty }Mr^{n}$ converge porque $\vert r\vert =r<1$ (convergencia de la serie geométrica). Así pues, la prueba M de Weierstraß muestra que la serie original converge uniformemente en $C$, por lo que se pueden intercambiar la serie y la integral.
Volviendo a la expresión encontrada para $f(z)$, el factor $(z-a)^{n}$ no depende de la variable de integración $w$ y se puede extraer de la integral para obtener que
$f(z)=\sum _{n=0}^{\infty }(z-a)^{n}{1 \over 2\pi i}\int _{C}{f(w) \over (w-a)^{n+1}}\,\mathrm {d} w,$
y esto tiene la forma deseada de serie de potencias centrada en $a$ evaluada en $z$:
$f(z)=\sum _{n=0}^{\infty }c_{n}(z-a)^{n}$,
con coeficientes
$c_{n}={1 \over 2\pi i}\int _{C}{f(w) \over (w-a)^{n+1}}\,\mathrm {d} w.$
Es decir, hemos encontrado una expresión de $f$ en serie de potencias válida en todo el disco abierto $D$ alrededor de $a$. Por tanto, $f$ es analítica en $a$.$\quad \square$