Introducción

En la entrada anterior cerramos la cuarta unidad del curso y vimos algunos técnicas para construir funciones analíticas. Por otra parte, en la entrada 39 de la unidad anterior vimos algunos resultados que establecen la relación que existe entre las sucesiones y series de funciones convergentes y la integración compleja, los cuales nos serán de mucha utilidad en esta entrada.

Considerando los resultados de la tercera unidad y el teorema 39.1 vimos que toda serie de potencias define a una función analítica en su disco de convergencia, corolario 39.1. En esta entrada demostraremos un recíproco de este resultado, conocido como el teorema de Taylor de una función analítica, es decir, veremos que cada función analítica en un dominio puede expandirse en series de potencias sobre cada punto del dominio. Más aún, veremos que en una región anular es posible expandir a una función analítica, en dicho dominio, en una serie doblemente infinita llamada serie de Laurent.

Definición 42.1. (Serie de Taylor.)
Sean $D\subset \mathbb{C}$ y $f:D\to \mathbb{C}$ una función. Si $f$ es analítica en $z_0\in D$, entonces la serie:
$$\sum _{n=0}^{\mathrm{\infty }}\frac{f^{(n)}(z_0)}{n!}(z-z_0{)}^n=f(z_0)+f^{\prime }(z_0)(z-z_0)+\frac{f^{(2)}(z_0)}{2!}(z-z_0{)}^2+\frac{f^{(3)}(z_0)}{3!}(z-z_0{)}^3+\cdots ,$$es llamada la serie de Taylor de $f$ alrededor de $z_0$. Si $z_0=0$, entonces la serie es llamada la serie de Maclaurin de $f$.

Observación 42.1.
Claramente una serie de Taylor es una serie de potencias centrada en $z_0$ cuyos coeficientes $c_n$, para toda $n\ge 1$, son las derivadas de la función $f$.

Teorema 42.1. (Teorema de Taylor.)
Sean $D\subset \mathbb{C}$ un dominio, $z_0\in D$, $f:D\to \mathbb{C}$ una función analítica en $D$ y $B(z_0,R)$ un disco abierto contenido en $D$. Entonces $f$ tiene una expansión en serie de Taylor alrededor de $z_0$, es decir:
$$f(z)=\sum _{n=0}^{\mathrm{\infty }}\frac{f^{(n)}(z_0)}{n!}(z-z_0{)}^n,\mathrm{\forall }z\in B(z_0,R).$$

En particular, dicha convergencia de la serie de Taylor a la función $f(z)$ es única y se mantiene si $B(z_0,R)$ es el mayor disco abierto contenido en $D$. Más aún, la convergencia es uniforme en todo subdisco cerrado $\bar{B}(z_0,r)$, con $0<r<R$.

Demostración. Dadas las hipótesis, basta probar que la serie de Taylor converge a la función $f(z)$ para todo $z\in B(z_0,R)$, pues la unicidad se sigue del corolario 30.2 y la convergencia uniforme de la proposición 29.2.

Sea $z\in B(z_0,R)$. Definimos a $\rho :=|z-z_0|$, entonces $0\le \rho <R$. Tomamos a $r$ tal que $0\le \rho <r<R$ y consideremos a la circunferencia $C(z_0,r)$ con centro en $z_0$ y radio $r$, orientada positivamente, figura 147.

Como $f$ es analítica en $D$ y por construcción $C(z_0,r)$ está completamente contenido en $D$, por la fórmula integral de Cauchy, proposición 36.3, tenemos que:
$$f(z)=\frac{1}{2\pi i}{\int }_{C(z_0,r)}\frac{f(\zeta )}{\zeta -z}d\zeta ,\mathrm{\forall }z\in B(z_0,r).$$

Dado que $\rho =|z-z_0|<|\zeta -z_0|=r$, tenemos que:
$$\left|\frac{z-z_0}{\zeta –z_0}\right|<1,$$por lo que la siguiente serie geométrica es convergente:
$$\sum _{n=0}^{\mathrm{\infty }}{\left({\displaystyle \frac{z-z_0}{\zeta –z_0}}\right)}^n={\displaystyle \frac{1}{1-{\displaystyle \frac{z-z_0}{\zeta –z_0}}}}.$$

Entonces, para $|z-z_0|<|\zeta -z_0|$ se cumple que:
$$\begin{array}{rl}\frac{1}{\zeta –z}& =\frac{1}{(\zeta -z_0)–(z-z_0)}\\ & =\left({\displaystyle \frac{1}{\zeta -z_0}}\right){\displaystyle \frac{1}{1-{\displaystyle \frac{z-z_0}{\zeta –z_0}}}}\\ & =\left({\displaystyle \frac{1}{\zeta -z_0}}\right)\sum _{n=0}^{\mathrm{\infty }}{\left({\displaystyle \frac{z-z_0}{\zeta –z_0}}\right)}^n\\ & =\sum _{n=0}^{\mathrm{\infty }}{\displaystyle \frac{(z-z_0{)}^n}{{\left(\zeta –z_0\right)}^{n+1}}}.\end{array}$$

Es claro que $f$ es una función continua y acotada en $C(z_0,r)$, por lo que existe $M>0$ tal que $|f(\zeta )|\le M$ para todo $\zeta \in C(z_0,r)$. Entonces:
$$|\frac{(z-z_0{)}^n}{(\zeta -z_0{)}^{n+1}}f(\zeta )|\le M\frac{{\rho }^n}{r^{n+1}}=\frac{M}{r}{\left(\frac{\rho }{r}\right)}^n:=M_n,$$para todo $\zeta \in C(z_0,r)$.

Como $\rho <r$, tenemos que la serie ${\displaystyle \sum _{n=0}^{\mathrm{\infty }}{M}_n}$ converge para todo $n\in \mathbb{N}$, entonces, del criterio $M$ de Weierstrass, proposición 28.3, se sigue que la serie:
$$\sum _{n=0}^{\mathrm{\infty }}\frac{(z-z_0{)}^n}{(\zeta -z_0{)}^{n+1}}f(\zeta )=\frac{f(\zeta )}{\zeta –z},$$converge uniformemente para todo $\zeta \in C(z_0,r)$.

Entonces, por el teorema de Weierstrass sobre integración término a término de una serie de funciones uniformemente convergente, proposición 39.1, y la fórmula integral de Cauchy para derivadas, proposición 36.5, tenemos que:
$$\begin{array}{rl}f(z)& =\frac{1}{2\pi i}{\int }_{C(z_0,r)}\frac{f(\zeta )}{\zeta -z}d\zeta \\ & =\frac{1}{2\pi i}{\int }_{C(z_0,r)}\sum _{n=0}^{\mathrm{\infty }}\frac{(z-z_0{)}^n}{(\zeta -z_0{)}^{n+1}}f(\zeta )d\zeta \\ & =\sum _{n=0}^{\mathrm{\infty }}(z-z_0{)}^n\frac{1}{2\pi i}{\int }_{C(z_0,r)}\frac{f(\zeta )}{(\zeta -z_0{)}^{n+1}}d\zeta \\ & =\sum _{n=0}^{\mathrm{\infty }}(z-z_0{)}^n\frac{f^{(n)}(z_0)}{n!}\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{f^{(n)}(z_0)}{n!}(z-z_0{)}^n.\end{array}$$

Dado que $C(z_0,r)$ y $C(z_0,R)$ son dos contornos cerrados homotópicos en $D$, del teorema integral de Cauchy, versión homotópica (teorema 38.3), se tiene que:
$${\int }_{C(z_0,r)}\frac{f(\zeta )}{\zeta -z}d\zeta ={\int }_{C(z_0,R)}\frac{f(\zeta )}{\zeta -z}d\zeta ,$$de donde se sigue el resultado.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Observación 42.2.
De acuerdo con la proposición 30.2 y el corolario 30.1, es claro que la serie de Taylor de $f$, alrededor de un punto $z_0$, puede ser diferenciada término a término dentro de su disco de convergencia, es decir:
$$f^{(n)}(z)=\sum _{k=n}^{\mathrm{\infty }}\frac{f^{(k)}(z_0)}{(k-n)!}(z-z_0{)}^{k-n},\mathrm{\forall }z\in B(z_0,R).$$

Ejemplo 42.1.
Determinemos a la función analítica $f$ tal que satisface la ecuación diferencial:
$$\begin{array}{}\text{(42.1)}& \frac{df(z)}{dz}=3if(z)\end{array}$$en el disco abierto $B(0,r)$, para algún $r>0$ y cumple que $f(0)=1$.

Solución. Dado que $f$ es analítica en $z=0$, entonces $f$ tine expansión en serie de Maclaurin. De acuerdo con (42.1) y $f(0)=1$ tenemos que:
$$\begin{array}{rl}{f}^{\prime }(0)& =3i(1)=3i,\\ f^{(2)}(0)& =3i{f}^{\prime }(0)=(3i{)}^2,\\ f^{(3)}(0)& =3i{f}^{(2)}(0)=(3i{)}^3,\end{array}$$en general:
$$f^{(n)}(0)=3i{f}^{(n-1)}(0)=(3i{)}^2{f}^{(n-2)}(0)=\cdots =(3i{)}^n.$$

Por lo tanto, podemos escribir la solución de la ecuación diferencial como:
$$f(z)=1+3iz+\frac{(3i{)}^2{z}^2}{2!}+\cdots =\sum _{n=0}^{\mathrm{\infty }}\frac{(3iz{)}^n}{n!}.$$

Sabemos que:
$$e^w=\sum _{n=0}^{\mathrm{\infty }}\frac{w^n}{n!},$$por lo que:
$$f(z)=e^{i3z},$$es la función analítica buscada.

Ejemplo 42.2.
Determinemos la exapansión en serie de Taylor de la función $\mathrm{Log}(1+z)$ alrededor de $z_0=0$ y obtengamos la región de convergencia de la serie resultante.

Solución. Sea $f(z)=\mathrm{Log}(1+z)$. Por el ejercicio 10 de la entrada 21 sabemos que $f$ es analítica en $\mathbb{C}\setminus (-\mathrm{\infty },-1]$.

Tenemos que $f^{(0)}(z)=f(z)$ y:
$$f^{\prime }(z)=\frac{1}{1+z},f^{(2)}(z)=-\frac{1}{(1+z{)}^2},f^{(3)}(z)=\frac{2!}{(1+z{)}^3},f^{(4)}(z)=-\frac{3!}{(1+z{)}^4},$$en general:
$$f^{(n)}(z)=\frac{(-1{)}^{n-1}(n-1)!}{(1+z{)}^n},n\ge 1.$$

Entonces, del teorema de Taylor, para $z_0=0$ tenemos que:
$$\begin{array}{rl}f(z)=\mathrm{Log}(1+z)& =\mathrm{Log}(1+0)+\sum _{n=1}^{\mathrm{\infty }}\frac{f^{(n)}(0)}{n!}(z-0{)}^n\\ & =0+\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n-1}(n-1)!}{(1+0{)}^{n}n!}{z}^n\\ & =\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n-1}}{n}{z}^n.\end{array}$$

Sea:
$$c_n=\frac{(-1{)}^{n-1}}{n}{z}^n,$$entonces, del criterio del cociente tenemos que:
$$\underset{n\to \mathrm{\infty }}{lim}\left|\frac{c_{n+1}}{c_n}\right|=\underset{n\to \mathrm{\infty }}{lim}|-{\displaystyle \frac{nz}{(n+1)}}|=|z|<1,$$es decir, la serie que define a $f$ converge para $|z|<1$. No es difícil verificar que la serie anterior también converge para los $z\in \mathbb{C}$ tales que $|z|=1$ y $z\ne -1$, por lo que se deja como ejercicio al lector.

Ejemplo 42.3.
Encontremos la expansión en serie de Taylor de la función $f(z)=(1-z{)}^{-1}$ alrededor del punto $z_0=i$ y determinemos su radio de convergencia.

Solución. Primeramente, es claro que la función racional $f$ es analítica en $D=\mathbb{C}\setminus \{1\}$. De acuerdo con el teorema de Taylor, la expansión en serie de potencias de $f$ es válida en el mayor disco abierto, contenido en $D$, donde $f$ es analítica, por lo que, podemos determinar el radio de convergencia del desarrollo en serie de Taylor de $f$ considerando la distancia que hay de $z_0=i$ a la singularidad $z=1$, es decir:
$$R=|i–1|=\sqrt{2}.$$

Por otra parte, notemos que para $z\in B(i,\sqrt{2})$ se cumple que $|z-i|<\sqrt{2}=|1-i|$, entonces:
$$\left|\frac{z-i}{1-i}\right|<1$$por lo que:
$$\begin{array}{rl}f(z)& =\frac{1}{1-z}\\ & =\frac{1}{1-i-(z-i)}\\ & =\left(\frac{1}{1-i}\right){\displaystyle \frac{1}{1-{\displaystyle \frac{z-i}{1-i}}}}\\ & =\left(\frac{1}{1-i}\right)\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{z-i}{1-i}\right)}^n\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{(z-i{)}^n}{{(1-i)}^{n+1}}.\end{array}$$

Ejemplo 42.4.
Dado que las funciones complejas $f(z)=e^z$, $g(z)=\cos (z)$ y $h(z)=\mathrm{sen}(z)$ son enteras, entonces tienen una expansión como serie de Maclaurin, la cual converge para todo $z\in \mathbb{C}$, es decir, $R=\mathrm{\infty }$ para las tres funciones.

Es claro que:
$$f^{(n)}(z)=f(z),⟹f^{(n)}(0)=e^0=1.$$

Mientras que:
$$\begin{array}{rl}g(z)& =\cos (z),⟹g(0)=\cos (1)=1,\\ g^{\prime }(z)& =-\mathrm{sen}(z),⟹g^{\prime }(0)=-\mathrm{sen}(0)=0,\\ g^{(2)}(z)& =-\cos (z),⟹g^{(2)}(0)=-\cos (0)=1,\\ g^{(3)}(z)& =\mathrm{sen}(z),⟹g^{(3)}(0)=\mathrm{sen}(0)=0,\\ g^{(4)}(z)& =\cos (z),⟹g^{(4)}(0)=\cos (0)=1.\end{array}$$

Entonces, para todo $z\in \mathbb{C}$ se cumple que:
$$e^z=\sum _{n=0}^{\mathrm{\infty }}\frac{f^{(n)}(0)}{n!}(z-0{)}^n=\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{n!}.$$
$$\begin{array}{rl}\cos (z)& =g(0)+\frac{g^{\prime }(0)}{1!}(z-0)+\frac{g^{(2)}(0)}{2!}(z-0{)}^2+\frac{g^{(3)}(0)}{3!}(z-0{)}^3+\frac{g^{(4)}(0)}{4!}(z-0{)}^4+\cdots \\ & =1–\frac{z^2}{2!}+\frac{z^4}{4!}+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{z}^{2n}}{(2n)!}.\end{array}$$

Dado que $g^{\prime }(z)=–\mathrm{sen}(z)=–h(z)$, entonces, por la proposición 30.2, tenemos que:
$$\begin{array}{rl}\mathrm{sen}(z)& =–g^{\prime }(z)\\ & =–\frac{d}{dz}\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{z}^{2n}}{(2n)!}\\ & =–\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n}2n{z}^{2n-1}}{(2n)!}\\ & =\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}{z}^{2n-1}}{(2n-1)!}\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{z}^{2n+1}}{(2n+1)!}.\end{array}$$

Proposición 42.1.
Sean $D\subset \mathbb{C}$ un dominio, $z_0\in D$ y $f:D\to \mathbb{C}$ una función analítica en $D$. Sea $g:D\to \mathbb{C}$ dada por:
$$g(z)=\{\begin{array}{lcc}{\displaystyle \frac{f(z)-f(z_0)}{z-z_0}}& \text{si}& z\ne z_0,\\ \\ f^{\prime }(z_0)& \text{si}& z=z_0.\end{array}$$Entonces $g$ es analítica en $D$.

Demostración. Dadas las hipótesis, es claro que $g$ es analítica en $D\setminus \{z_0\}$. Veamos que $g$ es analítica en $z_0$. Como $D$ es abierto, entonces existe $R>0$ tal que $B(z_0,R)\subset D$. Por el teorema de Taylor, sabemos que en el disco abierto $B(z_0,R)$ la función $f$ tiene una expansión en serie de Taylor alrededor de $z_0$, es decir:
$$f(z)=f(z_0)+\sum _{n=1}^{\mathrm{\infty }}\frac{f^{(n)}(z_0)}{n!}(z-z_0{)}^n,\mathrm{\forall }z\in B(z_0,R).$$

Por lo que, para todo $z\in B(z_0,R)$ se cumple que:
$$\begin{array}{rl}f(z)–f(z_0)& =\sum _{n=1}^{\mathrm{\infty }}\frac{f^{(n)}(z_0)}{n!}(z-z_0{)}^n\\ & =(z-z_0)\sum _{n=1}^{\mathrm{\infty }}\frac{f^{(n)}(z_0)}{n!}(z-z_0{)}^{n-1}\\ & =(z-z_0)g(z),\end{array}$$de donde:
$$g(z)=\sum _{n=1}^{\mathrm{\infty }}\frac{f^{(n)}(z_0)}{n!}(z-z_0{)}^{n-1},\mathrm{\forall }z\in B(z_0,R).$$

Entonces, del corolario 39.1 se sigue que $g$ es analítica en $B(z_0,R)$ y por tanto analítica en $z_0$, además $g$ es la función dada en (42.1).

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Ejemplo 42.5.
Veamos que la función:
$$g(z)=\{\begin{array}{lcc}{\displaystyle \frac{\mathrm{sen}(z)}{z}}& \text{si}& z\ne 0,\\ \\ 1& \text{si}& z=0,\end{array}$$es entera.

Solución. Del ejemplo 42.4 tenemos que:
$$\mathrm{sen}(z)=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{z}^{2n+1}}{(2n+1)!}=z\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{z}^{2n}}{(2n+1)!}=zh(z),$$donde:
$$h(z):=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{z}^{2n}}{(2n+1)!},$$es una función entera, corolario 39.1, ya que la serie que la define converge para todo $z\in \mathbb{C}$. Notemos que para $z\ne 0$ se cumple que:
$$h(z)=\frac{\mathrm{sen}(z)}{z},$$mientras que $h(0)=1={\mathrm{sen}}^{\prime }(0)$, por lo que $h(z)=g(z)$ para todo $z\in \mathbb{C}$, es decir, $g$ es entera.

Definición 42.2. (Serie de Laurent.)
Sea $\{c_n{\}}_{n\in \mathbb{Z}}\subset \mathbb{C}$ una suecesión de números complejos doblemente infinita y $z_0\in \mathbb{C}$ fijo. Una serie de números complejos doblemente infinita:
$$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n,$$es llamada una serie de Laurent centrada en $z_0$.

De acuerdo con el Lema 27.1, sabemos que la convergencia de una serie de Laurent está garantizada por la convergencia de las series:
$$\sum _{n=1}^{\mathrm{\infty }}{c}_{-n}{(z-z_0)}^{-n}=\sum _{n=1}^{\mathrm{\infty }}\frac{c_{-n}}{{(z-z_0)}^n},\sum _{n=0}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n,$$las cuales son llamadas, respectivamente, la parte singular o principal y la parte regular o analítica, de la serie de Laurent.

En tal caso se cumple que:
$$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n=\sum _{n=1}^{\mathrm{\infty }}\frac{c_{-n}}{{(z-z_0)}^n}+\sum _{n=0}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n.$$

Dado que:
$${\displaystyle \sum _{n=0}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n=c_0+{\displaystyle \sum _{n=1}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n,}}$$en ocasiones resulta conveniente expresar a una serie de Laurent como:
$$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n=\sum _{n=-\mathrm{\infty }}^{-1}{c}_n{(z-z_0)}^n+\sum _{n=0}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n.$$

Observación 42.3.
Notemos que haciendo $\zeta :=(z-z_0{)}^{-1}$ en la parte singular de una serie de Laurent, obtenemos la serie de potencias:
$$\sum _{n=1}^{\mathrm{\infty }}{c}_{-n}{\zeta }^{-n},$$para la cual existe $0\le R_1\le \mathrm{\infty }$, proposición 29.2, tal que la serie converge absolutamente si:
$$|\zeta |<R_1⟺R_1<|z-z_0|.$$

Más aún, la convergencia es absoluta y uniforme en el complemento de todo disco abierto $B(z_0,r_1)$, con $r_1>R_1$, es decir, en:
$$\mathbb{C}\setminus B(z_0,r_1)=\{z\in \mathbb{C}:r_1\le |z-z_0|\}.$$

Por otra parte, para la parte regular de una serie de Laurent:
$$\sum _{n=0}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n,$$tenemos que existe $0\le R_2\le \mathrm{\infty }$, proposición 29.2, tal que la serie de potencias converge absolutamente si $|z-z_0|<R_2$, mientras que la convergencia es absoluta y uniforme en todo subdisco cerrado $\bar{B}(z_0,r_2)$, con $r_2<R_2$.

En resumen, para una serie de Laurent, su parte singular converge absolutamente en el complemento del disco cerrado $\bar{B}(z_0,R_1)$, es decir, en:
$$\mathbb{C}\setminus \bar{B}(z_0,R_1)=\{z\in \mathbb{C}:R_1<|z-z_0|\},$$mientras que la parte regular converge absolutamente en el disco abierto $B(z_0,R_2)$, por lo que, si $R_1<R_2$, entonces la serie de Laurent converge absolutamente en:
$$D:=\{z\in \mathbb{C}:R_1<|z-z_0|<R_2\},$$y en $D$ define una función analítica, corolario 39.1.

Motivados en lo anterior tenemos la siguiente:

Definición 42.2. (Región anular o anillo.)
Sean $z_0\in \mathbb{C}$ fijo y $0\le R_1<R_2\le \mathrm{\infty }$. Se define a la región anular o anillo abierto centrado en $z_0$ y de radios $R_1$ y $R_2$ como:
$$A(z_0,R_1,R_2)=\{z\in \mathbb{C}:R_1<|z-z_0|<R_2\}.$$

Mientras que, se define al anillo cerrado con centro en $z_0$ y de radios $R_1$ y $R_2$ como:
$$\bar{A}(z_0,R_1,R_2)=\{z\in \mathbb{C}:R_1\le |z-z_0|\le R_2\}.$$

Observación 42.4.
Debe ser claro que si $R_2=\mathrm{\infty }$, entonces estaremos pensando en las regiones del plano complejo:
$$\begin{array}{rl}A(z_0,R_1,\mathrm{\infty })& :=\{z\in \mathbb{C}:R_1<|z-z_0|<\mathrm{\infty }\},\\ \bar{A}(z_0,R_1,\mathrm{\infty })& :=\{z\in \mathbb{C}:R_1\le |z-z_0|<\mathrm{\infty }\}.\end{array}$$

También es posible considerar a los anillos degenerados correspondientes con los complementos de los discos $\bar{B}(z_0,R_1)$ y $B(z_0,R_1)$, respectivamente, es decir, las regiones del plano complejo:
$$\begin{array}{rl}\mathbb{C}\setminus \bar{B}(z_0,R_1)& =\{z\in \mathbb{C}:R_1<|z-z_0|\},\\ \mathbb{C}\setminus B(z_0,R_1)& =\{z\in \mathbb{C}:R_1\le |z-z_0|\}.\end{array}$$

Ejemplo 42.6.
Sea $0<R\le \mathrm{\infty }$. Consideremos a la función $f(z)={\displaystyle \frac{1}{z^3}}{e}^z$. Es claro que la función $f$ no es analítica en $B(0,R)$, ya que en $z=0$ la función no es continua. Sin embargo, la función $f$ es analítica en el anillo abierto:
$$B^{\ast }(0,R)=\{z\in \mathbb{C}:0<|z|<R\}=A(0,0,R).$$

De lo anterior se sigue que la función $f$ no tiene un desarrollo como serie de Maclauren. Notemos que para $z\ne 0$, al considerar el desarrollo en serie de Maclauren de la función $g(z)=e^z$, podemos dividir a cada término de dicha serie por $z^3$ y así obtener el siguiente desarrollo en serie de potencias de $f$:
$$\begin{array}{rl}f(z)& ={\displaystyle \frac{1}{z^3}}{e}^z\\ & ={\displaystyle \frac{1}{z^3}}\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{n!}\\ & ={\displaystyle \frac{1}{z^3}}+{\displaystyle \frac{1}{z^2}}+{\displaystyle \frac{1}{2!z}}+{\displaystyle \frac{1}{3!}}+{\displaystyle \frac{z}{4!}}+{\displaystyle \frac{z^2}{5!}}+{\displaystyle \frac{z^3}{6!}}+\cdots ,\end{array}$$el cual es válido para toda $z\in B^{\ast }(0,R)$.

El desarrollo obtenido antes corresponde con la serie de Laurent de la función $f$ en el anillo $A(0,0,R)$, con $0<R\le \mathrm{\infty }$.

Proposición 42.1.
Sean $A(z_0,R_1,R_2)\subset \mathbb{C}$ un anillo abierto y ${\displaystyle \sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n}$ una serie de Laurent. Si la serie de Laurent converge en el anillo $A(z_0,R_1,R_2)$, entonces la serie converge uniformemente en todo subanillo cerrado $\bar{A}(z_0,r_1,r_2)$, donde $R_1<r_1<r_2<R_2$.

Demostración. Se sigue de la observación 42.3 y la proposición 29.2, por lo que los detalles se dejan como ejercicio al lector.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Observación 42.5.
Notemos que para $R_1<r<R_2$, la circunferencia ${\gamma }_r(t)=z_0+r{e}^{it}$, $t\in [0,2\pi ]$, orientada positivamente, está completamente contenida en el anillo $A(z_0,R_1,R_2)\subset \mathbb{C}$, entonces, para todo $z\in {\gamma }_r([0,2\pi ])$ la serie de Laurent ${\displaystyle \sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n}$ converge uniformemente a una función $f(z)$ analítica en $A(z_0,R_1,R_2)$, por lo que, proposición 39.1, podemos integrar término a término a la serie de Laurent a lo largo de ${\gamma }_r$, es decir:
$$\begin{array}{rl}{\int }_{{\gamma }_r}f(z)dz& ={\int }_{{\gamma }_r}\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{(z-z_0)}^{n}dz\\ & =\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{\int }_{{\gamma }_r}{(z-z_0)}^{n}dz\\ & =2\pi i{c}_{-1},\end{array}$$donde la última igualdad se sigue del ejemplo 34.2, ya que:
$${\int }_{{\gamma }_r}{(z-z_0)}^{n}dz=\{\begin{array}{lcc}0& \text{si}& n\ne -1,\\ \\ 2\pi i& \text{si}& n=-1.\end{array}$$

Entonces:
$$a_{-1}=\frac{1}{2\pi i}{\int }_{{\gamma }_r}f(z)dz.$$

Procediendo de manera análoga para la función $(z-z_0{)}^{k-1}f(z)$, con $k\in \mathbb{Z}$, en lugar de $f(z)$, tenemos que:
$$a_k=\frac{1}{2\pi i}{\int }_{{\gamma }_r}\frac{f(z)}{(z-z_0{)}^{k+1}}dz.$$

Por lo tanto, los coeficientes $c_n$ de una serie de Laurent están unívocamente determinados por la función $f(z)$ definida por dicha serie.

Proposición 42.2. (Teorema de Cacuhy para circunferencias concéntricas.)
Sean $z_0\in \mathbb{C}$ fijo, $0\le R_1<R_2\le \mathrm{\infty }$, $D:=A(z_0,R_1,R_2)\subset \mathbb{C}$ un anillo abierto y $f:D\to \mathbb{C}$ una función analítica en $D$. Para cada $R_1<r<R_2$ sea ${\gamma }_r$ la circunferencia con centro en $z_0$ y radio $r$, orientada positivamente. Entonces:
$${\int }_{{\gamma }_r}f(z)dz,$$es independiente de $r$.

Demostración. Dadas las hipótesis, sean $r_1$ y $r_2$ tales que $R_1<r_i<R_2$, para $i=1,2$. Dado que ${\gamma }_{r_1}$ y ${\gamma }_{r_2}$ son dos contornos cerrados homotópicos en $D$, entonces del teorema de Cauchy, teorema 38.3, se sigue que:
$${\int }_{{\gamma }_{r_1}}f(z)dz={\int }_{{\gamma }_{r_2}}f(z)dz.$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Proposición 42.3. (Fórmula integral de Cacuhy para anillos.)
Sean $z_0\in \mathbb{C}$ fijo, $0\le R_1<R_2\le \mathrm{\infty }$, $D:=A(z_0,R_1,R_2)\subset \mathbb{C}$ un anillo abierto y $f:D\to \mathbb{C}$ una función analítica en $D$. Para cada $R_1<r<R_2$ sea ${\gamma }_r$ la circunferencia con centro en $z_0$ y radio $r$, orientada positivamente, es decir, ${\gamma }_r(t)=z_0+r{e}^{it}$, para $t\in [0,2\pi ]$. Si $R_1<r_1<|z-z_0|<r_2<R_2$, entonces:
$$f(z)=\frac{1}{2\pi i}{\int }_{{\gamma }_{r_2}}\frac{f(\zeta )}{\zeta -z}d\zeta –\frac{1}{2\pi i}{\int }_{{\gamma }_{r_1}}\frac{f(\zeta )}{\zeta -z}d\zeta .$$

Demostración. Dadas las hipótesis, fijemos a $z\in D$ tal que $R_1<r_1<|z-z_0|<r_2<R_2$. Definimos a la función $g:D\to \mathbb{C}$ como:
$$g(\zeta )=\{\begin{array}{lcc}{\displaystyle \frac{f(\zeta )–f(z)}{\zeta –z}}& \text{si}& \zeta \ne z,\\ \\ f^{\prime }(z)& \text{si}& \zeta =z.\end{array}$$

De la proposición 42.1 se sigue que $g$ es analítica en $D$ y por la proposición 42.2 se tiene que:
$${\int }_{{\gamma }_{r_1}}g(\zeta )d\zeta ={\int }_{{\gamma }_{r_2}}g(\zeta )d\zeta .$$

Como lo anterior se cumple para todo $\zeta \in {\gamma }_{r_j}([0,2\pi ])$, con $j=1,2$, entonces $\zeta \ne z$, por lo que:
$${\int }_{{\gamma }_{r_1}}{\displaystyle \frac{f(\zeta )–f(z)}{\zeta –z}}d\zeta ={\int }_{{\gamma }_{r_1}}g(\zeta )d\zeta ={\int }_{{\gamma }_{r_2}}g(\zeta )d\zeta ={\int }_{{\gamma }_{r_2}}{\displaystyle \frac{f(\zeta )–f(z)}{\zeta –z}}d\zeta .$$

Entonces:
$${\int }_{{\gamma }_{r_1}}{\displaystyle \frac{f(\zeta )}{\zeta –z}}d\zeta –f(z){\int }_{{\gamma }_{r_1}}{\displaystyle \frac{1}{\zeta –z}}d\zeta ={\int }_{{\gamma }_{r_2}}{\displaystyle \frac{f(\zeta )}{\zeta –z}}d\zeta –f(z){\int }_{{\gamma }_{r_2}}{\displaystyle \frac{1}{\zeta –z}}d\zeta ,$$

de donde, considerando la definición 36.1, se sigue que:
$$\begin{array}{rl}{\int }_{{\gamma }_{r_2}}{\displaystyle \frac{f(\zeta )}{\zeta –z}}d\zeta –{\int }_{{\gamma }_{r_1}}{\displaystyle \frac{f(\zeta )}{\zeta –z}}d\zeta & =f(z)\left[{\int }_{{\gamma }_{r_2}}{\displaystyle \frac{1}{\zeta –z}}d\zeta –{\int }_{{\gamma }_{r_1}}{\displaystyle \frac{1}{\zeta –z}}d\zeta \right]\\ & =f(z)2\pi i[n({\gamma }_{r_2},z)–n({\gamma }_{r_1},z)]\\ & =f(z)2\pi i\left[1–0\right]\\ & =f(z)2\pi i,\end{array}$$ya que $z$ está fuera de la circunferencia ${\gamma }_{r_1}$ y dentro de la circunferencia ${\gamma }_{r_2}$.

Por lo tanto:
$$\begin{array}{rl}f(z)& =\frac{1}{2\pi i}\left[{\int }_{{\gamma }_{r_2}}{\displaystyle \frac{f(\zeta )}{\zeta –z}}d\zeta –{\int }_{{\gamma }_{r_1}}{\displaystyle \frac{f(\zeta )}{\zeta –z}}d\zeta \right]\\ & =\frac{1}{2\pi i}{\int }_{{\gamma }_{r_2}}\frac{f(\zeta )}{\zeta -z}d\zeta –\frac{1}{2\pi i}{\int }_{{\gamma }_{r_1}}\frac{f(\zeta )}{\zeta -z}d\zeta .\end{array}$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Teorema 42.2. (Teorema de Laurent.)
Sean $z_0\in \mathbb{C}$ fijo, $0\le R_1<R_2\le \mathrm{\infty }$, $D:=A(z_0,R_1,R_2)\subset \mathbb{C}$ un anillo abierto y $f:D\to \mathbb{C}$ una función analítica en $D$. Entonces $f$ tiene una única expansión en serie de Laurent en $D$, es decir:
$$f(z)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n,\mathrm{\forall }z\in D,$$la cual converge absolutamente en el anillo $D$ y uniformemente en todo subanillo cerrado $\bar{A}(z_0,r_1,r_2)$, con $R_1<r_1$ y $r_2<R_2$. Más aún:
$$c_n=\frac{1}{2\pi i}{\int }_{C(z_0,r)}\frac{f(\zeta )}{(\zeta -z{)}^{n+1}}d\zeta ,\mathrm{\forall }n\in \mathbb{Z},$$donde $C(z_0,r)$ es la circunferencia con centro en $z_0$ y radio $r$, orientada positivamente, con $R_1<r<R_2$.

Demostración. Dadas las hipótesis, veamos que la serie de Laurent ${\displaystyle \sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n}$ converge absolutamente en un subanillo cerrado $\bar{A}(z_0,{\rho }_1,{\rho }_2)$, con $R_1<{\rho }_1$ y ${\rho }_2<R_2$, la convergencia uniforme se sigue de la proposición 42.1.

Sean ${\rho }_1$ y ${\rho }_2$ fijos, tales que $R_1<{\rho }_1$ y ${\rho }_2<R_2$. Fijamos a $r_1$ y $r_2$ tales que:
$$R_1<r_1<{\rho }_1\le |z-z_0|\le {\rho }_2<r_2<R_2$$

Por la proposición 42.3, para todo $z\in \bar{A}(z_0,{\rho }_1,{\rho }_2)$ se cumple que:
$$f(z)=\frac{1}{2\pi i}{\int }_{C(z_0,r_2)}\frac{f(\zeta )}{\zeta -z}d\zeta –\frac{1}{2\pi i}{\int }_{C(z_0,r_1)}\frac{f(\zeta )}{\zeta -z}d\zeta ,$$donde $C(z_0,r_j)$ es la circunferencia con centro en $z_0$ y radio $r_j$, orientada positivamente, con $R_1<r_j<R_2$, para $j=1,2$.

Para $\zeta \in C(z_0,r_2)$ y $z\in \bar{A}(z_0,{\rho }_1,{\rho }_2)$ tenemos que:
$$\frac{|z-z_0|}{|\zeta –z_0|}\le \frac{{\rho }_2}{r_2}<1,$$entonces, como en la prueba del teorema de Taylor, tenemos que la siguiente serie geométrica es convergente:
$$\sum _{n=0}^{\mathrm{\infty }}{\left({\displaystyle \frac{z-z_0}{\zeta –z_0}}\right)}^n={\displaystyle \frac{1}{1-{\displaystyle \frac{z-z_0}{\zeta –z_0}}}}.$$

Por lo que, para $\zeta \in C(z_0,r_2)$ y $z\in \bar{A}(z_0,{\rho }_1,{\rho }_2)$, se cumple que:
$$\begin{array}{rl}\frac{1}{\zeta –z}& =\frac{1}{(\zeta -z_0)–(z-z_0)}\\ & =\left({\displaystyle \frac{1}{\zeta -z_0}}\right){\displaystyle \frac{1}{1-{\displaystyle \frac{z-z_0}{\zeta –z_0}}}}\\ & =\left({\displaystyle \frac{1}{\zeta -z_0}}\right)\sum _{n=0}^{\mathrm{\infty }}{\left({\displaystyle \frac{z-z_0}{\zeta –z_0}}\right)}^n\\ & =\sum _{n=0}^{\mathrm{\infty }}{\displaystyle \frac{(z-z_0{)}^n}{{\left(\zeta –z_0\right)}^{n+1}}}.\end{array}$$

Dado que $f$ es una función continua y acotada en $C(z_0,r_2)$, entonces existe $M_2>0$ tal que $|f(\zeta )|\le M_2$ para todo $\zeta \in C(z_0,r_2)$. Así:
$$|\frac{(z-z_0{)}^n}{(\zeta -z_0{)}^{n+1}}f(\zeta )|\le M_2\frac{{\rho }_2^n}{r_2^{n+1}}=\frac{M_2}{r_2}{\left(\frac{{\rho }_2}{r_2}\right)}^n:=M_n^{(2)},$$para todo $\zeta \in C(z_0,r_2)$ y todo $z\in \bar{A}(z_0,{\rho }_1,{\rho }_2)$.

Como ${\rho }_2<r_2$, tenemos que la serie ${\displaystyle \sum _{n=0}^{\mathrm{\infty }}{M}_n^{(2)}}$ converge para todo $n\in \mathbb{N}$, por lo que, del criterio $M$ de Weierstrass, proposición 28.3, se sigue que la serie:
$$\sum _{n=0}^{\mathrm{\infty }}\frac{(z-z_0{)}^n}{(\zeta -z_0{)}^{n+1}}f(\zeta )=\frac{f(\zeta )}{\zeta –z},$$converge uniformemente para todo $\zeta \in C(z_0,r_2)$.

Entonces, por el teorema de Weierstrass sobre integración término a término de una serie de funciones uniformemente convergente, proposición 39.1, y la fórmula integral de Cauchy para derivadas, proposición 36.5, tenemos que:
$$\begin{array}{rl}\frac{1}{2\pi i}{\int }_{C(z_0,r_2)}\frac{f(\zeta )}{\zeta -z}d\zeta & =\frac{1}{2\pi i}{\int }_{C(z_0,r_2)}\sum _{n=0}^{\mathrm{\infty }}\frac{(z-z_0{)}^n}{(\zeta -z_0{)}^{n+1}}f(\zeta )d\zeta \\ & =\sum _{n=0}^{\mathrm{\infty }}(z-z_0{)}^n\frac{1}{2\pi i}{\int }_{C(z_0,r_2)}\frac{f(\zeta )}{(\zeta -z_0{)}^{n+1}}d\zeta \\ & =\sum _{n=0}^{\mathrm{\infty }}{c}_n(z-z_0{)}^n,\end{array}$$donde:
$$c_n=\frac{1}{2\pi i}{\int }_{C(z_0,r_2)}\frac{f(\zeta )}{(\zeta -z_0{)}^{n+1}}d\zeta .$$

Análogamente, para $\zeta \in C(z_0,r_1)$ y $z\in \bar{A}(z_0,{\rho }_1,{\rho }_2)$ tenemos que:
$$\frac{|\zeta –z_0|}{|z-z_0|}\le \frac{r_1}{{\rho }_1}<1,$$entonces, la siguiente serie geométrica es convergente:
$$\sum _{n=0}^{\mathrm{\infty }}{\left({\displaystyle \frac{\zeta –z_0}{z-z_0}}\right)}^n={\displaystyle \frac{1}{1-{\displaystyle \frac{\zeta –z_0}{z-z_0}}}}.$$

Por lo que, para $\zeta \in C(z_0,r_1)$ y $z\in \bar{A}(z_0,{\rho }_1,{\rho }_2)$, se cumple que:
$$\begin{array}{rl}\frac{1}{\zeta –z}& =\frac{1}{(\zeta -z_0)–(z-z_0)}\\ & =(-{\displaystyle \frac{1}{z-z_0}}){\displaystyle \frac{1}{1-{\displaystyle \frac{\zeta –z_0}{z-z_0}}}}\\ & =(-{\displaystyle \frac{1}{z-z_0}})\sum _{n=0}^{\mathrm{\infty }}{\left({\displaystyle \frac{\zeta –z_0}{z-z_0}}\right)}^n\\ & =\sum _{n=0}^{\mathrm{\infty }}{\displaystyle \frac{-(\zeta –z_0{)}^n}{{(z-z_0)}^{n+1}}}\\ & =\sum _{n=1}^{\mathrm{\infty }}{\displaystyle \frac{-(\zeta –z_0{)}^{n-1}}{{(z-z_0)}^n}}\end{array}$$

Como $f$ es una función continua y acotada en $C(z_0,r_1)$, entonces existe $M_1>0$ tal que $|f(\zeta )|\le M_1$ para todo $\zeta \in C(z_0,r_1)$. Por lo que:
$$|{\displaystyle \frac{-(\zeta –z_0{)}^{n-1}}{{(z-z_0)}^n}}f(\zeta )|\le M_1\frac{r_1^{n-1}}{{\rho }_1^n}=\frac{M_1}{r_1}{\left(\frac{r_1}{{\rho }_1}\right)}^n:=M_n^{(1)},$$para todo $\zeta \in C(z_0,r_1)$ y todo $z\in \bar{A}(z_0,{\rho }_1,{\rho }_2)$.

Como $r_1<{\rho }_1$, tenemos que la serie ${\displaystyle \sum _{n=0}^{\mathrm{\infty }}{M}_n^{(1)}}$ converge para todo $n\in \mathbb{N}$, por lo que, del criterio $M$ de Weierstrass, se tiene que la serie:
$$-\sum _{n=1}^{\mathrm{\infty }}{\displaystyle \frac{(\zeta –z_0{)}^{n-1}}{{(z-z_0)}^n}}f(\zeta )=\frac{f(\zeta )}{\zeta –z},$$converge uniformemente para todo $\zeta \in C(z_0,r_1)$.

Entonces, por la proposición 39.1 y la fórmula integral de Cauchy para derivadas, proposición 36.5, tenemos que:
$$\begin{array}{rl}-\frac{1}{2\pi i}{\int }_{C(z_0,r_1)}\frac{f(\zeta )}{\zeta -z}d\zeta & =\frac{1}{2\pi i}{\int }_{C(z_0,r_1)}\sum _{n=1}^{\mathrm{\infty }}{\displaystyle \frac{(\zeta –z_0{)}^{n-1}}{{(z-z_0)}^n}}f(\zeta )d\zeta \\ & =\sum _{n=1}^{\mathrm{\infty }}{\displaystyle \frac{1}{{(z-z_0)}^n}}\frac{1}{2\pi i}{\int }_{C(z_0,r_1)}(\zeta –z_0{)}^{n-1}f(\zeta )d\zeta \\ & =\sum _{n=1}^{\mathrm{\infty }}{\displaystyle \frac{1}{{(z-z_0)}^n}}\frac{1}{2\pi i}{\int }_{C(z_0,r_1)}{\displaystyle \frac{f(\zeta )}{(\zeta –z_0{)}^{1-n}}}d\zeta \\ & =\sum _{n=1}^{\mathrm{\infty }}{\displaystyle \frac{c_{-n}}{{(z-z_0)}^n}},\end{array}$$donde:
$$c_{-n}=\frac{1}{2\pi i}{\int }_{C(z_0,r_1)}\frac{f(\zeta )}{(\zeta -z_0{)}^{1-n}}d\zeta ,$$o equivalentemente:
$$-\frac{1}{2\pi i}{\int }_{C(z_0,r_1)}\frac{f(\zeta )}{\zeta -z}d\zeta =\sum _{n=-\mathrm{\infty }}^{-1}{c}_n{(z-z_0)}^n,$$donde:
$$c_n=\frac{1}{2\pi i}{\int }_{C(z_0,r_1)}\frac{f(\zeta )}{(\zeta -z_0{)}^{n+1}}d\zeta .$$

Dado que para $r\in (R_1,R_2)$ se cumple que $C(z_0,r_1)$, $C(z_0,r_2)$ y $C(z_0,r)$ son tres contornos cerrados homótopicos en $D$, del teorema integral de Cauchy, versión homotópica (teorema 38.3), se tiene que:
$${\int }_{C(z_0,r)}\frac{f(\zeta )}{(\zeta -z_0{)}^{1+n}}d\zeta ={\int }_{C(z_0,r_1)}\frac{f(\zeta )}{(\zeta -z_0{)}^{n+1}}d\zeta ={\int }_{C(z_0,r_2)}\frac{f(\zeta )}{(\zeta -z_0{)}^{n+1}}d\zeta ,$$por lo que:
$$\begin{array}{rl}f(z)& =\frac{1}{2\pi i}{\int }_{C(z_0,r_2)}\frac{f(\zeta )}{\zeta -z}d\zeta –\frac{1}{2\pi i}{\int }_{C(z_0,r_1)}\frac{f(\zeta )}{\zeta -z}d\zeta \\ & =\sum _{n=0}^{\mathrm{\infty }}{c}_n(z-z_0{)}^n+\sum _{n=-\mathrm{\infty }}^{-1}{c}_n{(z-z_0)}^n\\ & =\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n(z-z_0{)}^n,\end{array}$$donde:
$$c_n=\frac{1}{2\pi i}{\int }_{C(z_0,r_1)}\frac{f(\zeta )}{(\zeta -z_0{)}^{n+1}}d\zeta ,\mathrm{\forall }n\in \mathbb{Z}.$$

Por último, para verificar la unicidad de la expansión de $f$ en serie de Laurent, supongamos que en $D$ se cumple que $f$ tiene dos expansiones en serie de Laurent, es decir:
$$f(z)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_n(z-z_0{)}^n=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{b}_n(z-z_0{)}^n.$$

Tenemos que ambas series convergen uniformemente en todo subanillo cerrado de $D$, entonces, para $k\in \mathbb{Z}$ arbitrario:
$$\frac{1}{2\pi i}{\int }_{C(z_0,r)}\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_n(z-z_0{)}^{n-k-1}dz=\frac{1}{2\pi i}{\int }_{C(z_0,r)}\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{b}_n(z-z_0{)}^{n-k-1}dz,$$donde $C(z_0,r)$ es una circunferencia contenida en cualquier subanillo cerrado de $D$, entonces, por la convergencia uniforme de ambas series, se sigue de la proposición 39.1 que:
$$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}\frac{1}{2\pi i}{\int }_{C(z_0,r)}{a}_n(z-z_0{)}^{n-k-1}dz=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}\frac{1}{2\pi i}{\int }_{C(z_0,r)}{b}_n(z-z_0{)}^{n-k-1}dz.$$

Por el ejemplo 34.2 tenemos que:
$${\int }_{C(z_0,r)}{a}_n(z-z_0{)}^{n-k-1}dz={\int }_{C(z_0,r)}{b}_n(z-z_0{)}^{n-k-1}dz=\{\begin{array}{lcc}0& \text{si}& n\ne k,\\ \\ 2\pi i& \text{si}& n=k,\end{array}$$de donde:
$$a_{k}2\pi i=b_{k}2\pi i⟺a_k=b_k,\mathrm{\forall }k\in \mathbb{Z}.$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Observación 42.6.
Dado que la convergencia de la serie de Laurent:
$$f(z)=\sum _{n=1}^{\mathrm{\infty }}\frac{c_{-n}}{{(z-z_0)}^n}+\sum _{n=0}^{\mathrm{\infty }}{c}_n{(z-z_0)}^n,$$en un anillo abierto $A(z_0,R_1,R_2)$, es uniforme en todo subanillo cerrado en $A(z_0,R_1,R_2)$ y para cada $n\in \mathbb{Z}$, la función $c_n(z-z_0{)}^n$ es analítica en dicho anillo abierto, entonces, teoremas de Weierstrass, podemos integrar y derivar a una serie de Laurent término a término.

Por lo que:
$$f^{\prime }(z)=-\sum _{n=1}^{\mathrm{\infty }}\frac{n{c}_{-n}}{{(z-z_0)}^{n+1}}+\sum _{n=1}^{\mathrm{\infty }}n{c}_n{(z-z_0)}^{n-1}dz.$$

En general, podemos continuar derivando a la función $f$ término a término para obtener a cualquier derivada de orden superior.

Por otra parte, para todo contorno $\gamma$ en el anillo $A(z_0,R_1,R_2)$ tenemos que:
$${\int }_{\gamma }f(z)dz=\sum _{n=1}^{\mathrm{\infty }}{c}_{-n}{\int }_{\gamma }\frac{1}{{(z-z_0)}^n}dz+\sum _{n=0}^{\mathrm{\infty }}{c}_n{\int }_{\gamma }{(z-z_0)}^n.$$

Ejemplo 42.7.
Determinemos la expansión en serie de Laurent de la función:
$$f(z)=\frac{1}{z^2-3z+2},$$en los anillos abiertos $A(0,1,2)$ y $A(-i,\sqrt{2},\sqrt{5})$.

Solución. Aplicando fracciones parciales, podemos reescribir la función $f(z)$ como:
$$f(z)=\frac{1}{z^2-3z+2}=\frac{1}{(1-z)(2-z)}=\frac{1}{1-z}–\frac{1}{2-z},$$de donde es claro que $f$ es analítica en $D:=\mathbb{C}\setminus \{1,2\}$ y en particular en los anillos abiertos $A(0,1,2)$ y $A(-i,\sqrt{2},\sqrt{5})$ contenidos en $D$.

Para $z\in A(0,1,2)$ tenemos que $1<|z|<2$, por lo que:
$$\frac{1}{|z|}<1\text{y}\frac{|z|}{2}<1.$$

Entonces, considerando la serie geométrica tenemos que:
$$\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{1}{z}\right)}^n={\displaystyle \frac{1}{1-{\displaystyle \frac{1}{z}}}}\text{y}\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{z}{2}\right)}^n={\displaystyle \frac{1}{1-{\displaystyle \frac{z}{2}}}}.$$

Por lo que:
$$\begin{array}{rl}\frac{1}{1-z}& =(-\frac{1}{z}){\displaystyle \frac{1}{1-{\displaystyle \frac{1}{z}}}}\\ & =(-\frac{1}{z})\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{1}{z}\right)}^n\\ & =–\sum _{n=0}^{\mathrm{\infty }}\frac{1}{z^{n+1}}\\ & =–\sum _{n=-\mathrm{\infty }}^{-1}{z}^n.\end{array}$$
$$\begin{array}{rl}\frac{1}{2-z}& =\left(\frac{1}{2}\right){\displaystyle \frac{1}{1-{\displaystyle \frac{z}{2}}}}\\ & =\frac{1}{2}\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{z}{2}\right)}^n\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{2^{n+1}}.\end{array}$$

Entonces, para todo $z\in A(0,1,2)$ tenemos que:
$$f(z)=–\sum _{n=-\mathrm{\infty }}^{-1}{z}^n-\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{2^{n+1}}=\cdots -\frac{1}{z^2}–\frac{1}{z}–\frac{1}{2}–\frac{z}{4}–\frac{z^2}{8}–\cdots .$$

Análogamente, para $z\in A(-i,\sqrt{2},\sqrt{5})$ tenemos que $\sqrt{2}<|z+i|<\sqrt{5}$, de donde:
$$\frac{\sqrt{2}}{|z+i|}=\frac{|1+i|}{|z+i|}<1\text{y}\frac{|z+i|}{\sqrt{5}}=\frac{|z+i|}{|2+i|}<1.$$

Por lo que:
$$\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{1+i}{z+i}\right)}^n={\displaystyle \frac{1}{1-{\displaystyle \frac{1+i}{z+i}}}}\text{y}\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{z+i}{2+i}\right)}^n={\displaystyle \frac{1}{1-{\displaystyle \frac{z+i}{2+i}}}}.$$

Entonces:
$$\begin{array}{rl}\frac{1}{1-z}& ={\displaystyle \frac{1}{(1+i)-(z+i)}}\\ & =(-\frac{1}{z+i}){\displaystyle \frac{1}{1–{\displaystyle \frac{1+i}{z+i}}}}\\ & =(-\frac{1}{z+i})\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{1+i}{z+i}\right)}^n\\ & =(-\frac{1}{z+i})\sum _{n=-\mathrm{\infty }}^0{\left(\frac{z+i}{1+i}\right)}^n\\ & =-\sum _{n=-\mathrm{\infty }}^0\frac{{(z+i)}^{n-1}}{(1+i{)}^n}\\ & =-\sum _{n=-\mathrm{\infty }}^{-1}\frac{{(z+i)}^n}{(1+i{)}^{n+1}}.\end{array}$$
$$\begin{array}{rl}\frac{1}{2-z}& ={\displaystyle \frac{1}{(2+i)-(z+i)}}\\ & =\left(\frac{1}{2+i}\right){\displaystyle \frac{1}{1-{\displaystyle \frac{z+i}{2+i}}}}\\ & =\frac{1}{2+i}\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{z+i}{2+i}\right)}^n\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{{(z+i)}^n}{(2+i{)}^{n+1}}.\end{array}$$

Por lo tanto, para todo $z\in A(-i,\sqrt{2},\sqrt{5})$ tenemos que:
$$f(z)=-\sum _{n=-\mathrm{\infty }}^{-1}\frac{{(z+i)}^n}{(1+i{)}^{n+1}}–\sum _{n=0}^{\mathrm{\infty }}\frac{{(z+i)}^n}{(2+i{)}^{n+1}}.$$

Ejemplo 42.8.
Determinemos la expansión en serie de Laurent de la función $f(z)=e^{1/z}$, en el anillo $A(0,0,\mathrm{\infty })$.

Solución. Sabemos que $f$ es una función analítica en $D:=\mathbb{C}\setminus \{0\}$, por lo que en particular es analítica en $A(0,0,\mathrm{\infty })\subset D$. Considerando la serie de Maclaurin de la exponencial compleja, ejemplo 42.4, tenemos que:
$$e^z=\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{n!},\mathrm{\forall }z\in \mathbb{C}.$$

Para $z\in A(0,0,\mathrm{\infty })$ tenemos que $0<|z|<\mathrm{\infty }$, por lo que $z\ne 0$, entonces:
$$e^{1/z}=\sum _{n=0}^{\mathrm{\infty }}\frac{(1/z{)}^n}{n!}=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{z^{n}n!}.$$

Ejemplo 42.9.
Determinemos la serie de Laurent de la función $f(z)=(1-z{)}^{-3}$, en el anillo $A(0,1,\mathrm{\infty })$.

Solución. Sabemos que $f$ es una función analítica en $D:=\mathbb{C}\setminus \{1\}$, en particular es analítica en el anillo abierto $A(0,1,\mathrm{\infty })\subset D$. Considerando el ejemplo 42.7, para $z\in A(0,1,\mathrm{\infty })$ tenemos que $|z{|}^{-1}<1$, por lo que:
$$\begin{array}{rl}\frac{1}{1-z}& =(-\frac{1}{z}){\displaystyle \frac{1}{1-{\displaystyle \frac{1}{z}}}}\\ & =(-\frac{1}{z})\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{1}{z}\right)}^n\\ & =-\sum _{n=1}^{\mathrm{\infty }}\frac{1}{z^n}.\end{array}$$

Diferenciando dos veces de ambos lados de la igualdad, tenemos que:
$$\frac{d}{z}\frac{1}{1-z}=\frac{1}{(1-z{)}^2}=\sum _{n=1}^{\mathrm{\infty }}\frac{n}{z^{n+1}}=\frac{d}{dz}(-\sum _{n=1}^{\mathrm{\infty }}\frac{1}{z^n}),$$
$$\frac{d}{z}\frac{1}{(1-z{)}^2}=\frac{2}{(1-z{)}^3}=-\sum _{n=1}^{\mathrm{\infty }}\frac{n(n+1)}{z^{n+2}}=\frac{d}{dz}\left(\sum _{n=1}^{\mathrm{\infty }}\frac{n}{z^{n+1}}\right),$$de donde:
$$f(z)=\frac{1}{(1-z{)}^3}=-\frac{1}{2}\sum _{n=1}^{\mathrm{\infty }}\frac{n(n+1)}{z^{n+2}},$$para todo $z\in A(0,1,\mathrm{\infty })$.

Ejemplo 42.10.
Sea $\gamma$ la circunferencia unitaria orientada positivamente. Evaluemos la integral:
$${\int }_{\gamma }\frac{e^{1/z}}{z}dz.$$

Solución. Sea $f(z)=e^{1/z}{z}^{-1}$. Es claro que $f$ es una función analítica en $D:=\mathbb{C}\setminus \{0\}$ y $\gamma$ está completamente contenido en $D$, entonces $f$ es continua en el contorno $\gamma$, por lo que la integral existe. Sin embargo, no podemos utilizar el teorema integral de Cauchy para evaluar la integral ya que la singularidad $z_0=0$ está dentro de la circunferencia unitaria dada por $\gamma$.

Consideremos al anillo abierto $A(0,0,\mathrm{\infty })\subset D$. Por el ejemplo 42.8, sabemos que para todo $z\in A(0,0,\mathrm{\infty })$ se cumple que:
$$e^{1/z}=\sum _{n=0}^{\mathrm{\infty }}\frac{(1/z{)}^n}{n!}=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{z^{n}n!}.$$

Por lo que, para todo $z\in A(0,0,\mathrm{\infty })$ tenemos que:
$$f(z)=\frac{e^{1/z}}{z}=\frac{1}{z}\sum _{n=0}^{\mathrm{\infty }}\frac{1}{z^{n}n!}=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{z^{n+1}n!}.$$

Del ejemplo 34.1 sabemos que:
$${\int }_{\gamma }\frac{1}{z^{n+1}}dz=\{\begin{array}{lcc}0& \text{si}& n\ne 0,\\ \\ 2\pi i& \text{si}& n=0.\end{array}$$

Entonces, como $\gamma$ es un contorno en el anillo abierto $A(0,0,\mathrm{\infty })$, tenemos que:
$$\begin{array}{rl}{\int }_{\gamma }\frac{e^{1/z}}{z}dz& ={\int }_{\gamma }\sum _{n=0}^{\mathrm{\infty }}\frac{1}{z^{n+1}n!}dz\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{1}{n!}{\int }_{\gamma }\frac{1}{z^{n+1}}dz\\ & =\frac{1}{0!}2\pi i\\ & =2\pi i.\end{array}$$

Tarea moral

1. Sean $z_1,z_2\in \mathbb{C}$ tales que $z_1\ne z_2$ y $0<|z_1|\le |z_2|$. Muestra que para $|z|<|z_1|$, se cumple que:
   $$\frac{1}{(z_1-z)(z_2-z)}=\frac{1}{(z_1–z_2)}\sum _{n=0}^{\mathrm{\infty }}\frac{(z_1^{n+1}–z_2^{n+1})}{(z_1{z}_2{)}^{n+1}}{z}^n.$$
2. Determina la expansión en serie de Taylor de las siguientes funciones alrededor del punto dado.
   a) $f(z)={\displaystyle \frac{4}{z^2+2z}}$, alrededor de $z_0=1$.
   b) $f(z)={\displaystyle \frac{2}{1-z^2}}$, alrededor de $z_0=i$.
   c) $f(z)={\displaystyle \frac{2i}{3-iz}}$, alrededor de $z_0=-1$.
   d) $f(z)=z{e}^{3z^2}$, alrededor de $z_0=0$.
3. Muestra que las siguientes funciones son analíticas en $z_0=0$. Determina su desarrollo en serie de Maclaurin y su radio de convergencia.
   a) $f(z)=\{\begin{array}{lcc}{\displaystyle \frac{\cos (z)-1}{z}}& \text{si}& z\ne 0,\\ \\ 0& \text{si}& z=0.\end{array}$
   b) $f(z)=\{\begin{array}{lcc}{\displaystyle \frac{e^z-1}{z}}& \text{si}& z\ne 0,\\ \\ 1& \text{si}& z=0.\end{array}$
4. Determina la expansión en serie de Laurent de las siguientes funciones en los anillos abiertos dados.
   a) $f(z)=z+{\displaystyle \frac{1}{z}}$, en $A(1,1,\mathrm{\infty })$.
   b) $f(z)={\displaystyle \frac{1}{(3z-1)(2z+1)}}$, en $A(0,1/3,1/2)$.
   c) $f(z)={\displaystyle \frac{1}{1-z^2}}$, en $A(2,1,3)$.
   d) $f(z)=z+{\displaystyle \frac{1}{z}}$, en $A(1,1,\mathrm{\infty })$.
5. Evalúa las siguientes integrales utilizando una serie de Laurent apropiada en cada caso. Todas las circunferencias están orientadas positivamente.
   a) ${\displaystyle {\int }_{C(0,1)}\mathrm{sen}\left(\frac{1}{z}\right)dz}$.
   b) ${\displaystyle {\int }_{C(0,4)}\mathrm{Log}(1+\frac{1}{z})dz}$.
   c) ${\displaystyle {\int }_{C(0,1)}{\displaystyle \frac{\cos \left(\frac{1}{z^2}\right)}{z}}dz}$.
   d) ${\displaystyle {\int }_{C(0,1)}{e}^{z^2+\frac{1}{z}}dz}$.
6. Muestra que:
   $$\cosh (z+\frac{1}{z})=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_n{z}^n,$$donde:
   $$c_n={\int }_0^{2\pi }\cos (nt)\cosh (2\cos (t))dt.$$Hint: Integra a lo largo de la circunferencia unitaria $C(0,1)$.

Más adelante…

En esta entrada hemos probado dos resultados que son de suma importancia en la teoría de la Variable Compleja y que nos permiten caracterizar aún más a las funciones analíticas. Dichos resultados son el teorema de Taylor y el teorema de Laurent, y ambos nos permiten dar un recíproco a los resultados de la tercera unidad, en la cual vimos que una serie de potencias define a una función analítica en su disco de convergencia, mientras que con los resultados de esta entrada establecimos que toda función analítica en un dominio puede representarse a través de un desarrollo en series de potencias, ya sea en una expansión en serie de Taylor o en una expansión en serie de Laurent, dependiendo de la función analítica en cuestión.

La siguiente entrada corresponde con la última de estas notas, en ella daremos una clasificación de las singularidades de una función analítica y veremos uno de los resultados más importantes del curso, el cual engloba la mayoría de resultados establecidos hasta ahora y que nos es de mucha utilidad en la práctica al evaluar integrales, es decir, el teorema del residuo.

Entradas relacionadas

• Ir a Variable Compleja I.
• Entrada anterior del curso: Técnicas para construir funciones analíticas.
• Siguiente entrada del curso: Clasificación de ceros y singularidades de una función analítica.