Introducción

Dos de las nociones básicas de la topología son la de homotopía y homología. La relación de homotopía describe las características topológicas de dos espacios topológicos en términos de familias de contornos que varían continuamente. Mientras que la homología es una propiedad topológica de un dominio $D\subset\mathbb{C}$, la cual se puede definir en términos de propiedades de contornos en $D$. Los dos conceptos están relacionados, pero son diferentes.

La versión local del teorema integral de Cauchy, dada en el Teorema 36.3, enfatiza la topología del dominio y cómo el camino se encuentra dentro de él. Para mejorar nuestra comprensión de este hecho, examinamos estas cuestiones topológicas con más detalle. En esta entrada lo haremos de dos maneras: mediante el concepto de homotopía y de homología, para ello consideramos deformaciones continuas de un contorno $\gamma$, dada por la noción topológica de homotopía.

Como veremos, tanto el concepto de homotopía como el de homología formalizan la idea de que un dominio $D\subset\mathbb{C}$ tiene «agujeros», y el hecho de que la integral a lo largo de un contorno $\gamma$ depende de cómo se recorre dicho contorno en el dominio $D$, en relación con estos agujeros. Sin embargo, ambos conceptos lo hacen de forma diferente, aunque relacionada. La homotopía es más fácil para visualizar y geométricamente bastante natural, mientras que la homología es algebraicamente más simple. En esta entrada reformularemos el teorema integral de Cauchy desde estos dos conceptos y extenderemos la versión local del teorema de Cauchy a dominios en el plano complejo $\mathbb{C}$ más generales.

El enfoque que tomamos en esta entrada se basa en el concepto geométrico de deformación de contornos. Por ejemplo, si $\gamma_0$ describe a la semicircunferencia en el semiplano superior de $\mathbb{C}$ que va de $1$ a $-1$, es decir, orientada positivamente, entonces:
\begin{equation*}
\gamma_0(t) = e^{it}, \quad \forall \, t\in[0,\pi].
\end{equation*}

Por otra parte, si $\gamma_1$ describe a la semicircunferencia en el semiplano inferior de $\mathbb{C}$ que va de $1$ a $-1$, es decir, orientada negativamente, entonces:
\begin{equation*}
\gamma_1(t) = e^{-it}, \quad \forall \, t\in[0,\pi].
\end{equation*}

Geométricamente es fácil visualizar que podemos deformar a $\gamma_0$ en $\gamma_1$ por un desplazamiento vertical, figura 138.

Podemos formalizar lo anterior de forma analítica considerando a la función:
\begin{equation*}
\gamma_s(t)=(1-s)e^{it}+se^{-it},
\end{equation*}donde $t\in [0,\pi]$ y $s\in[0,1]$.

Entonces, $\gamma_0$ y $\gamma_1$ son dos contornos semicirculares y el contorno $\gamma_s$ varía continuamente conforme $s$ varía continuamente de $0$ a $1$.

Sin embargo, si los contornos no deben pasar por el origen, por ejemplo al considerar a la función $f(z)=z^{-1}$, tenemos que $f$ es continua en $D=\mathbb{C}\setminus\{0\}$, pero para $\gamma_{1/2}$, si $t=\pi/2$, entonces dicho contorno pasa por el origen, es decir, puede haber contornos en $D$ cuya deformación pase por el origen, como es el caso de la deformación $\gamma_s$. De hecho, se puede verificar que no existe ninguna deformación continua de $\gamma_0$ en $\gamma_1$ sin que algún contorno intermedio pase por el origen.

Entonces, el origen se vuelve un obstáculo para deformar el contorno, y cualquier intento de hacerlo hace que el camino $\gamma_s$ pase por el origen. Es decir, el origen crea un agujero y el contorno no puede cruzar el agujero.

Primeramente formalizamos lo que es una homotopía en el plano complejo $\mathbb{C}$.

Definición 38.1.(Homotopía.)
Sean $[a,b]\subset\mathbb{R}$, con $a<b$, un intervalo cerrado, $D\subset\mathbb{C}$ un dominio y $\gamma_0, \gamma_1 : [a,b] \to D$ dos contornos. Una homotopía entre $\gamma_0$ y $\gamma_1$ es una función continua:
\begin{equation*}
H:[a,b]\times[0,1] \to D,
\end{equation*}tal que:
\begin{align*}
H(t,0) &= \gamma_0(t), \quad \forall t\in[a,b],\\
H(t,1) &= \gamma_1(t), \quad \forall t\in[a,b].
\end{align*}

Cuando existe tal homotopía, se dice que $\gamma_0$ y $\gamma_1$ son homotópicas en $D$, lo cual se denota como $\gamma_0 \sim_{D} \gamma_1$.

Observación 38.1.
Si $\gamma_s(t):=H(t,s)$, entonces, para cada $s\in[0,1]$ fijo, $\gamma_s$ es un contorno en $D$, el cual deforma continuamente a $\gamma_0$ en $\gamma_1$, conforme $s$ varía continuamente de $0$ a $1$.

Nuestro objetivo es aplicar esta definición de homotopía a la integración compleja al considerar qué sucede con $\int_\gamma f(z) dz$ cuando permitimos que el contorno $\gamma$ varíe continuamente, por lo que resulta preciso establecer condiciones bajo las cuales $\gamma$ puede deformarse continuamente sin cambiar la integral.

Una definición precisa de estas homotopías es motivado por los siguientes tres supuestos:

• Si $z_0$ y $z_1$ son puntos en un dominio $D\subset\mathbb{C}$, $\gamma_0$ y $\gamma_1$ son dos contornos en $D$ que unen a $z_0$ con $z_1$. Es, decir, $\gamma_0$ y $\gamma_1$ tienen como punto inicial a $z_0$ y como punto final a $z_1$. Entonces, es posible deformar continuamente a $\gamma_0$ para que coincida con $\gamma_1$, manteniendo los extremos fijos en $z_0$ y $z_1$, sin salir de $D$.
• Si $\gamma_0$ y $\gamma_1$ son dos contornos cerrados en un dominio $D\subset\mathbb{C}$, es posible deformar continuamente a $\gamma_0$ para que coincida con $\gamma_1$, en posición y orientación, sin salir de $D$.
• Si $\gamma_0$ es un contorno cerrado en un dominio $D\subset\mathbb{C}$, es posible deformar continuamente a $\gamma_0$ a un punto $z_0\in D$, sin salir de $D$. Esta situación es un caso particular del anterior, cuando el $\gamma_1(t) = z_0$ para todo $t$, es decir, se degenera en un punto.

En cualquier caso las deformaciones deben mantener al contorno dentro del dominio $D\subset\mathbb{C}$ donde la función $f$ es analítica.

Motivados en lo anterior, planteamos las siguientes definiciones.

Definición 38.2. (Homotopía con extremos fijos.)
Sean $[a,b]\subset\mathbb{R}$, con $a<b$, un intervalo cerrado, $D\subset\mathbb{C}$ un dominio, $\gamma_0, \gamma_1 : [a,b] \to D$ dos contornos tales que $\gamma_0(0) = \gamma_1(0) = z_0 \in D$ y $\gamma_0(1) = \gamma_1(1) = z_1 \in D$. Se dice que $\gamma_0$ es {\bf homótopica con extremos fijos} a $\gamma_1$ si existe una función continua:
\begin{equation*}
H:[a,b]\times[0,1] \to D,
\end{equation*}tal que:

1. $H(t,0) = \gamma_0(t), \quad \forall t\in[a,b]$,
2. $H(t,1) = \gamma_1(t), \quad \forall t\in[a,b]$,
3. $H(a,s) = z_0, \quad \forall s\in[0,1]$,
4. $H(b,s) = z_1, \quad \forall s\in[0,1]$.

La función continua $H$ se llama una homotopía con extremos fijos o una deformación continua con extremos fijos.

Observación 38.2.
Si $\gamma_s(t):=H(t,s)$, entonces, para cada $s\in[0,1]$ fijo, $\gamma_s$ es un contorno en $D$ que une a $z_0$ con $z_1$. Conforme $s$ varía continuamente de $0$ a $1$, el contorno $\gamma_s$ deforma continuamente a $\gamma_0$ en $\gamma_1$.

Ejemplo 38.1.
Sean $D=\{z\in\mathbb{C} : |z|<2\} = B(0,2)$, $\gamma_0(t)=t$ y $\gamma_1(t)=e^{i\pi/2 (t-1)}$, ambas con $t\in[-1,1]$. Veamos que $\gamma_0$ es homotópica con extremos fijos a $\gamma_1$.

Solución. Sea $z_0 = -1$ y $z_1 = 1$. De acuerdo con la definición 38.2 solo basta con exhibir una función continua $H:[-1,1]\times[0,1] \to D$ que satisfaga las cuatro propiedades.

Sea $H:[-1,1]\times[0,1] \to D$ dada por:
\begin{equation*}
H(t,s)=(1-s)\gamma_0(t) + s\gamma_1(t), \quad (t,s)\in[-1,1]\times[0,1].
\end{equation*}

Separando a $H$ en su parte real e imaginaria, por la proposición 15.1, es claro que $H$ es continua ya que $\gamma_0$ y $\gamma_1$ son continuas. Más aún, para todo $t\in[-1,1]$ se cumple que $H(t,0) = \gamma_0(t)$ y $H(t,1) = \gamma_1(t)$. Mientras que para todo $s\in[0,1]$ se cumple que:
\begin{equation*}
H(-1,s) = (1-s)(-1) + s(e^{-i\pi}) = -1+s+s(-1) = -1 = z_0.
\end{equation*}
\begin{equation*}
H(1,s) = (1-s)(1) + s(e^{0}) = 1-s + s(1)= 1 = z_1.
\end{equation*}

Por lo tanto $\gamma_0$ es homotópica con extremos fijos a $\gamma_1$, figura 139.

Definición 38.3. (Homotopía de contornos cerrados y homotopía a un punto.)
Sean $[a,b]\subset\mathbb{R}$, con $a<b$, un intervalo cerrado, $D\subset\mathbb{C}$ un dominio, $\gamma_0, \gamma_1 : [a,b] \to D$ dos contornos cerrados en $D$. Se dice que $\gamma_0$ y $\gamma_1$ son {\bf homótopicas como contornos cerrados}, si existe una función continua:
\begin{equation*}
H:[a,b]\times[0,1]\to D,
\end{equation*}tal que:

1. $ H(t,0) = \gamma_0(t), \quad \forall t\in[a,b]$,
2. $H(t,1) = \gamma_1(t), \quad \forall t\in[a,b]$,
3. $H(a,s) = H(b,s), \quad \forall s\in[0,1]$.

La función continua $H$ se llama una homotopía de contornos cerrados o una deformación continua de contornos cerrados.

Si $\gamma_1$ es un contorno constante, es decir, $\gamma_1(t)=z_0$ para todo $t\in[a,b]$ y $z_0\in D$, entonces se dice que $\gamma_0$ es homotópica a un punto $z_0$ en el dominio $D$.

Observación 38.3.
Si $\gamma_s(t):=H(t,s)$, entonces, para cada $s\in[0,1]$ fijo, $\gamma_s$ es un contorno cerrado en $D$, para todo $s\in[0,1]$. Conforme $s$ varía continuamente de $0$ a $1$, el contorno $\gamma_s$ deforma continuamente a $\gamma_0$ en $\gamma_1$.

Más aún, si $\gamma_0$ es homotópica a un punto $z_0\in D$, la tercera condición de la definición 38.3 establece que el punto inicial de $H(0,s)$ y el punto final de $H(1,s)$ son el mismo.

Ejemplo 38.2.
Veamos que la circunferencia unitaria y la elipse $\dfrac{x^2}{4}+y^2=1$, ambas orientadas positivamente, son homotópicas como curvas cerradas en la región anular:
\begin{equation*}
D_1=\left\{z\in\mathbb{C} : \frac{1}{2} < |z| < 3\right\}.
\end{equation*}

Mientras que la circunferencia unitaria es homotópica a $0$ en el dominio $D_2 = B(0,3)$.

Solución. Podemos parametrizar a la circunferencia y a la elipse, respectivamente, como:
\begin{equation*}
\gamma_0(t) = e^{it} \quad \text{y} \quad \gamma_1(t) = 2 \operatorname{cos}(t) + i \operatorname{sen}(t), \quad \forall t\in[0,2\pi].
\end{equation*}

Para la primera parte del ejercicio proponemos a la función $H_1:[0,2\pi] \times [0,1] \to D_1$ dada por:
\begin{equation*}
H_1(t,s)=(1+s) \operatorname{cos}(t) + i \operatorname{sen}(t).
\end{equation*}

Dado que $\gamma_0$ y $\gamma_1$ son funciones continuas, entonces $H_1$ es continua.

Por otra parte, es claro que para todo $t\in[0,2\pi]$ se cumple que $H_1(t,0) = \gamma_0(t)$ y $H_1(t,1) = \gamma_1(t)$. Mientras que para todo $s\in[0,1]$ tenemos que:
\begin{equation*}
H_1(0,s) = 1+s = H_1(2\pi, s),
\end{equation*}por lo que $\gamma_0$ y $\gamma_1$ son homotópicas como curvas cerradas en $D_1$, figura 140.

Para la segunda parte del ejercicio, consideramos a $\gamma_1(t)=0$, para todo $t\in [0,2\pi]$. Proponemos a la función $H_2:[0,2\pi] \times [0,1] \to D_1$ dada por:
\begin{equation*}
H_2(t,s)=(1-s)\gamma_0(t).
\end{equation*}

Claramente $H_2$ es continua. Además, para todo $t\in[0,2\pi]$ se cumple que $H_2(t,0) = \gamma_0(t)$ y $H_2(t,1) = \gamma_1(t)$. Mientras que para todo $s\in[0,1]$ tenemos que:
\begin{equation*}
H_2(0,s) = (1-s)(1) = H_2(2\pi, s),
\end{equation*}por lo que $\gamma_0$ es homotópica a $0$ en $D_2$, figura 141.

Considerando lo anterior, ahora podemos formalizar la idea de un dominio $D\subset\mathbb{C}$ sin agujeros o sin hoyos.

Definición 38.4. (Dominio simplemente conexo y múltiplemente conexo.)
Sea $D\subset\mathbb{C}$ un dominio, es decir, un conjunto abierto y conexo. Se dice que $D$ es simplemente conexo si toda curva cerrada en $D$ es homotópica (como una curva cerrada) a un punto en $D$, es decir, a alguna curva constante en $D$.

Si $D$ no es simplemente conexo, entonces se llama múltiplemente conexo. Un dominio múltiplemente conexo con $n$ agujeros u hoyos, se llama $(n+1)$-conexo.

Ejemplo 38.3.
a) $\mathbb{C}$ es un dominio simplemente conexo.
b) Sea $r>0$ y $z_0\in\mathbb{C}$ fijo. Todo disco abierto $B(z_0,r)$ es un dominio simplemente conexo. Mientras que todo disco perforado $B^*(z_0,r) = \{z\in\mathbb{C}: 0<|z-z_0|<r\}$ es un dominio doblemente conexo.
c) La región anular $\{z\in\mathbb{C} : 1<|z|<2\}$ es un dominio doblemente conexo.

En este punto es importante considerar los siguientes resultados de nuestros cursos de Cálculo.

Teorema 38.1. (Igualdad de las derivadas parciales cruzadas.)
Si $U\subset\mathbb{R}^2$ es un conjunto abierto y $u: U \to \mathbb{R}$ es una función real de clase $C^2(U)$, entonces las derivadas parciales cruzadas son iguales, es decir:
\begin{equation*}
\frac{\partial^2 u}{\partial y \partial x} = \frac{\partial^2 u}{\partial x \partial y}.
\end{equation*}

Teorema 38.2. (Regla de Leibniz o de diferenciación bajo el signo de integral.)
Sean $[a,b], [c,d]\subset\mathbb{R}^2$, con $a<b$ y $c<d$, dos intervalos cerrados y $f:[a,b]\times[c,d]\to\mathbb{R}$ una función continua en $[a,b]\times[c,d]$. Entonces la función real $g:[a,b]\to\mathbb{R}$ dada por:
\begin{equation*}
g(x) = \int_{c}^{d} f(x,y) dy,
\end{equation*}es continua en $[a,b]$. Más aún, si la derivada parcial $\dfrac{\partial f}{\partial x}$ existe y es continua en $[a,b]\times[c,d]$, entonces $g$ es diferencibale en $[a,b]$, con $g’$ continua y dada por:
\begin{equation*}
g'(x) = \frac{d}{dx} \int_{c}^{d} f(x,y) dy = \int_{c}^{d} \dfrac{\partial f}{\partial x}(x,y) dy.
\end{equation*}

• Observación 38.4.
• A lo largo de esta cuarta unidad hemos trabajado con contornos para garantizar que las curvas a lo largo de las cuales integramos sean funciones continuas de clase $C^1$ o de clase $C^1$ a trozos. Sin embargo, notemos que en las definiciones 38.1, 38.2 y 38.3 solo se pidió que la función $H$, que determina a la homotopía, sea una función continua, pero no se estableció nada sobre su diferenciabilidad, por lo que las curvas $\gamma_s(t) = H(t,s)$, con $s\in[0,1]$, sobre las que se integra a una función compleja, no necesariamente tienen que ser de clase $C^1$ o de clase $C^1$ a trozos, sino que simplemente son funciones continuas, por lo que es importante considerar esta pequeña sutileza, ya que la prueba que daremos del siguiente resultado considerará este supuesto adicional sobre la diferenciabilidad de las curvas $\gamma_s$. Una prueba completa, sin este supuesto adicional, se escapa de los objetivos de estas notas, pero puede consultarse en los siguientes textos:
• Complex Analysis de Ian Stewart, David Tall.
• Functions of One Complex Variable I de John B. Conway.
• Complex Analysis with Applications de Nakhlé H. Asmar, Loukas Grafakos.

Teorema 38.3. (Teorema integral de Cauchy, versión homotópica.)
Sean $[a,b]\subset\mathbb{R}$, con $a<b$, un intervalo cerrado, $D\subset\mathbb{C}$ un dominio, $f:D\to\mathbb{C}$ una función analítica en $D$ y $\gamma_0,\gamma_1:[a,b]\to D$ son dos contornos en $D$.

1. Si $\gamma_0$ y $\gamma_1$ son dos contornos que unen a $z_0, z_1 \in D$ y son homotópicas (con extremos fijos) en $D$, entonces:
   \begin{equation*}
   \int_{\gamma_0} f(z) dz = \int_{\gamma_1} f(z) dz.
   \end{equation*}
2. Si $\gamma_0$ y $\gamma_1$ son dos contornos cerrados y son homotópicas (como contornos cerrados) en $D$, entonces:
   \begin{equation*}
   \int_{\gamma_0} f(z) dz = \int_{\gamma_1} f(z) dz.
   \end{equation*}

Demostración. Dadas las hipótesis, sea $H:[a,b]\times [0,1] \to D$ una homotopía entre $\gamma_0$ y $\gamma_1$. Como se mencionó en la observación 38.4, adicionalmente suponemos que $H(t,s)$ es una función de clase $C^2([a,b]\times [0,1])$.

Para cada $s\in[0,1]$ fijo, definimos al contorno $\gamma_s(t):= H(t,s)$, para $t\in[a,b]$. Sea $I(s)$ la integral de $f$ a lo largo del contorno $\gamma_s$, es decir:
\begin{align*}
I(s): & =\int_{\gamma_s} f(z) dz\\
& =\int_{a}^{b} f(\gamma_s(t)) \gamma_s'(t)dt\\
& =\int_{a}^{b} f(H(t,s)) \frac{\partial H(t,s)}{\partial t}dt.
\end{align*}

Veamos que $I(s)$ es una función constante, para ello determinamos su derivada. Por hipótesis sabemos que $f$ es una función analítica en $D$, en particular es continua en $D$ y como $H(t,s)$ es una función de clase $C^2$, en particular para cada $s\in[0,1]$, $\gamma_s(t)$ es un contorno en $D$, entonces $I(s)$ es una función bien definida y en particular continua en $[0,1]$, teorema 38.2.

Por la proposición 36.4 sabemos que $f\in C^{1}(D)$, ya que $f$ es analítica en $D$, por lo que $f’$ es una función continua en $D$ y para cada $s\in[0,1]$ fijo, el contorno $\gamma_s$ está completamente contenido en $D$, entonces, de la regla de la cadena y la regla de Leibniz, tenemos que:
\begin{align*}
I'(s) & = \frac{d}{ds} \int_{a}^{b} f(H(t,s)) \frac{\partial H(t,s)}{\partial t}dt\\
& = \int_{a}^{b} \frac{\partial}{\partial s} \left[f(H(t,s)) \frac{\partial H(t,s)}{\partial t}\right] dt\\
& = \int_{a}^{b} \left[f'(H(t,s)) \frac{\partial H(t,s)}{\partial s}\frac{\partial H(t,s)}{\partial t} + f(H(t,s)) \frac{\partial^2 H(t,s)}{\partial s \partial t}\right] dt. \tag{38.1}
\end{align*}

Notemos que:
\begin{equation*}
\frac{\partial}{\partial t} \left[f(H(t,s)) \frac{\partial H(t,s)}{\partial s}\right] = f'(H(t,s)) \frac{\partial H(t,s)}{\partial s}\frac{\partial H(t,s)}{\partial t} + f(H(t,s)) \frac{\partial^2 H(t,s)}{\partial s \partial t},
\end{equation*}y como $H$ es de clase $C^2$, entonces por el teorema 38.1 se cumple que:
\begin{equation*}
\frac{\partial^2 H(t,s)}{\partial t \partial s} = \frac{\partial^2 H(t,s)}{\partial s \partial t},
\end{equation*}es decir:
\begin{equation*}
\frac{\partial}{\partial t} \left[f(H(t,s)) \frac{\partial H(t,s)}{\partial s}\right] = f'(H(t,s)) \frac{\partial H(t,s)}{\partial s}\frac{\partial H(t,s)}{\partial t} + f(H(t,s)) \frac{\partial^2 H(t,s)}{\partial t \partial s}. \tag{38.2}
\end{equation*}

Entonces, de (38.1), (38.2) y la proposición 33.2, se sigue que:
\begin{align*}
I'(s) & = \int_{a}^{b} \left[f'(H(t,s)) \frac{\partial H(t,s)}{\partial s}\frac{\partial H(t,s)}{\partial t} + f(H(t,s)) \frac{\partial^2 H(t,s)}{\partial s \partial t}\right] dt\\
& = \int_{a}^{b} \frac{\partial}{\partial t} \left[f(H(t,s)) \frac{\partial H(t,s)}{\partial s}\right] dt\\
& = f(H(b,s)) \frac{\partial H(b,s)}{\partial s} – f(H(a,s)) \frac{\partial H(a,s)}{\partial s}. \tag{38.3}
\end{align*}

De acuerdo con (38.3), tenemos lo siguiente.

1. Si $\gamma_0$ y $\gamma_1$ son dos contornos que unen a $z_0, z_1 \in D$ y $H$ es una homotopía (con extremos fijos) entre en $\gamma_0$ y $\gamma_1$, entonces:
   \begin{align*}
   I'(s) & = f(H(b,s)) \frac{\partial H(b,s)}{\partial s} – f(H(a,s)) \frac{\partial H(a,s)}{\partial s}\\
   & = f(z_1) \frac{\partial z_1}{\partial s} – f(z_0) \frac{\partial z_0}{\partial s}\\
   & = 0,
   \end{align*}para todo $s\in[0,1]$.
   
   Por lo que, para todo $s\in[0,1]$ tenemos que $I(s)$ es una función constante, en particular tenemos que $I(0) = I(1)$, es decir:
   \begin{equation*}
   \int_{\gamma_0} f(z) dz = \int_{\gamma_1} f(z) dz.
   \end{equation*}
2. Si $\gamma_0$ y $\gamma_1$ son dos contornos cerrados y $H$ es una homotopía (como contornos cerrados) entre $\gamma_0$ y $\gamma_1$, entonces:
   \begin{align*}
   I'(s) & = f(H(b,s)) \frac{\partial H(b,s)}{\partial s} – f(H(a,s)) \frac{\partial H(a,s)}{\partial s}\\
   & = f(H(b,s)) \frac{\partial H(b,s)}{\partial s} – f(H(b,s)) \frac{\partial H(b,s)}{\partial s}\\
   & = 0,
   \end{align*}para todo $s\in[0,1]$.
   
   Por lo que, para todo $s\in[0,1]$ tenemos que $I(s)$ es una función constante, en particular tenemos que $I(0) = I(1)$, es decir:
   \begin{equation*}
   \int_{\gamma_0} f(z) dz = \int_{\gamma_1} f(z) dz.
   \end{equation*}

$\blacksquare$

Corolario 38.1.
Sean $[a,b]\subset\mathbb{R}$, con $a<b$, un intervalo cerrado, $D\subset\mathbb{C}$ un dominio, $f:D\to\mathbb{C}$ una función analítica en $D$ y $\gamma:[a,b]\to D$ un contorno cerrado en $D$. Si $\gamma$ es homotópica a un punto en $D$, entonces:
\begin{equation*}
\int_{\gamma} f(z) dz = 0.
\end{equation*}

Demostración. Dadas las hipótesis, como $\gamma$ es homotópica a un punto en $z_0\in D$, es decir, a una curva constante $\beta(t)=z_0$ para todo $t\in[a,b]$, entonces:
\begin{equation*}
\int_{\gamma} f(z) dz = \int_{\beta} f(z) dz =\int_{a}^{b} f(\beta(t)) \beta'(t) dt = \int_{a}^{b} f(z_0) (0) dt = 0.
\end{equation*}

$\blacksquare$

El siguiente resultado generaliza el teorema integral de Cauchy para discos.

Corolario 38.2.
Sean $D\subset\mathbb{C}$ un dominio simplemente conexo y $f:D\to\mathbb{C}$ una función analítica en $D$. Entonces:
\begin{equation*}
\int_{\gamma} f(z) dz = 0,
\end{equation*} para todo contorno $\gamma$ cerrado en $D$.

Demostración. Dadas las hipótesis, consideremos al contorno cerrado $\gamma:[a,b]\subset\mathbb{R} \to D$, con $a<b$. Como el dominio $D$ es simplemente conexo, entonces al ser $\gamma$ un contorno cerrado en $D$, por definición es homotópica a un punto en $z_0\in D$, es decir, a una curva constante $\beta(t)=z_0$ para todo $t\in[a,b]$, entonces:
\begin{equation*}
\int_{\gamma} f(z) dz = \int_{\beta} f(z) dz =\int_{a}^{b} f(\beta(t)) \beta'(t) dt = \int_{a}^{b} f(z_0) (0) dt = 0.
\end{equation*}

Como $\gamma$ es arbitraria, el resultado se cumple para todo contorno cerrado en $D$.

$\blacksquare$

Corolario 38.3.
Sean $D\subset\mathbb{C}$ un dominio simplemente conexo y $f:D\to\mathbb{C}$ una función analítica en $D$. Las siguientes condiciones son equivalentes.

1. $f$ tiene una primitiva $F$ en $D$.
2. Si $\gamma_0$ y $\gamma_1$ son dos contornos en $D$ con los mismos puntos inicial y final, entonces:
   \begin{equation*}
   \int_{\gamma_0} f(z) dz = \int_{\gamma_1} f(z) dz.
   \end{equation*}

Demostración. El resultado se sigue del corolario 38.2 y la proposición 35.2.

$\blacksquare$

Observación 38.5.
Notemos que la primitiva $F$ de la función $f$, en el corolario 38.3(1) es:
\begin{equation*}
F(z) = \int_{\gamma_z} f(\zeta) d\zeta,
\end{equation*}donde $\gamma_z$ es el contorno en $D$ que une a un punto fijo $z_0 \in D$ con $z \in D$.

Ejemplo 38.4.
Evaluemos la integral:
\begin{equation*}
\int_{C(0,2)} \frac{e^z}{z^2-9} dz,
\end{equation*}donde la circunferencia $C(0,2)$ está orientada positivamente.

Solución. Parametrizamos a la circunferencia $C(0,2)$ como $\gamma(t)=2e^{it}$, para $t\in[0,2\pi]$.

Sea $f(z) = \dfrac{e^z}{z^2-9}$. Es claro que $f$ es analítica en $D=\mathbb{C}\setminus\{-3,3\}$. Dado que $C(0,2)\subset D$, entonces no pasa por los puntos donde $f$ no es analítica, por lo que, del ejemplo 38.2 concluimos que $\gamma$ es homotópica a $0 \in D$, figura 142, entonces:
\begin{equation*}
\int_{\gamma} \frac{e^z}{z^2-9} dz = 0.
\end{equation*}

Proposición 38.1. (Extensión del teorema de Cauchy para dominios múltiplemente conexos.)
Sean $C, C_1, C_2, \ldots, C_n$ contornos cerrados simples, orientados positivamente, tales que cada contorno $C_k$ está en el interior de $C$, para $k=1, \ldots, n$ y el interior de $C_k$ no tiene puntos en común con el interior de $C_j$, si $k\neq j$, es decir, $I(C_k) \cap I(C_j) = \emptyset$ para todo $k \neq j$. Sea $D\subset\mathbb{C}$ un dominio tal que $D$ contiene a todos los contornos y la región entre $C$ y $C_1 + C_2 + \ldots + C_n$. Si $f:D\to\mathbb{C}$ es una función analítica en $D$, entonces:
\begin{equation*}
\int_{C} f(z) dz = \sum_{k=1}^{n} \int_{C_k} f(z) dz.
\end{equation*}

Demostración. Dadas las hipótesis, por simplicidad solo probaremos el caso para dos contornos cerrados simples, orientados positivamente. La prueba del caso general es completamente análoga y se deja como ejercicio al lector.

Nos apoyaremos en la figura 143 para la prueba. Debe ser claro que los contornos utilizados han sido elegidos para simplificar la gráfica, aunque el resultado sigue siendo válido para cualesquiera contornos que satisfagan las condiciones del resultado.

La prueba consiste en construir dos contornos disjuntos o cortes, digamos $L_1$ y $L_2$, que unen a $C_1$ con $C$. Así, el contorno $C_1$ será dividido en dos contornos $C_1^{*}$ y $C_1^{**}$, mientras que el contorno $C$ será dividido en dos contornos $C^{*}$ y $C^{**}$, como se muestra en la figura 144. Entonces tenemos dos nuevos contornos:
\begin{equation*}
K_1 = -C_1^{*}+L_1+C^{*}-L_2 \quad \text{y} \quad K_2 = -C_1^{**}+L_2+C^{**}-L_1.
\end{equation*}

Figura 144: Los cortes $L_1$ y $L_2$ y los contornos cerrados simples $K_1$ y $K_2$.

Es claro que el dominio $D$ es doblemente conexo, mientras que los nuevos dominios $D_1$ y $D_2$ son simplemente conexos y los contornos $K_1$ y $K_2$ son cerrados simples, orientados positivamente y cada uno está contenido en los dominios $D_1$ y $D_2$. respectivamente. Por hipótesis la función $f$ es analítica en el dominio $D=D_1 \cup D_2$, por lo que $f|_{D_1}$ y $f|_{D_2}$ también son analíticas.

Aplicando el corolario 38.2, tenemos que:
\begin{equation*}
\int_{K_1} f(z) dz = 0 \quad \text{y} \quad \int_{K_2} f(z) dz = 0.
\end{equation*}

Por la proposición 34.2 tenemos que:
\begin{align*}
\int_{K_1} f(z) dz & = \int_{-C_1^{*}+L_1+C^{*}-L_2} f(z) dz\\
& = \int_{-C_1^{*}} f(z) dz + \int_{L_1} f(z) dz + \int_{C^{*}} f(z) dz + \int_{-L_2} f(z) dz\\
& = -\int_{C_1^{*}} f(z) dz + \int_{L_1} f(z) dz + \int_{C^{*}} f(z) dz – \int_{L_2} f(z) dz.
\end{align*}
\begin{align*}
\int_{K_2} f(z) dz & = \int_{-C_1^{**}+L_2+C^{**}-L_1} f(z) dz\\
& = \int_{-C_1^{**}} f(z) dz + \int_{L_2} f(z) dz + \int_{C^{**}} f(z) dz + \int_{-L_1} f(z) dz\\
& = -\int_{C_1^{**}} f(z) dz + \int_{L_2} f(z) dz + \int_{C^{**}} f(z) dz – \int_{L_1} f(z) dz.
\end{align*}

Por lo que:
\begin{align*}
0 & = \int_{K_1} f(z) dz + \int_{K_2} f(z) dz\\
& = -\int_{C_1^{*}} f(z) dz + \int_{C^{*}} f(z) dz -\int_{C_1^{**}} f(z) dz + \int_{C^{**}} f(z) dz\\
& = \int_{C^{*}+C^{**}} f(z) dz -\int_{C_1^{*}+C_1^{**}} f(z) dz\\
& = \int_{C} f(z) dz -\int_{C_1} f(z) dz.
\end{align*}

Entonces:
\begin{equation*}
\int_{C} f(z) dz = \int_{C_1} f(z) dz.
\end{equation*}

$\blacksquare$

Proposición 38.2. (Extensión de la fórmula integral de Cauchy para dominios simplemente conexos.)
Sean $D\subset\mathbb{C}$ un dominio simplemente conexo, $f:D\to\mathbb{C}$ una función analítica en $D$ y $C$ un contorno cerrado simple, orientado positivamente, tal que está completamente contenido en $D$. Si $z_0$ es un punto en el interior de $C$, entonces:
\begin{equation*}
f(z_0) = \frac{1}{2\pi i} \int_{C} \frac{f(z)}{z-z_0} dz.
\end{equation*}

Demostración. Dadas las hipótesis, como $f$ es analítica en $D$, en particular es continua en $z_0\in D$ que está en el interior de $C$, por lo que dado $\varepsilon>0$ existe $\delta>0$ tal que si $|z-z_0|<\delta$, entonces $|f(z)-f(z_0)|<\varepsilon$.

Notemos que la circunferencia $\gamma$ dada por $C\left(z_0,\delta/2\right)$, orientada positivamente, también está en el interior de $C$.

Dado que $f(z_0)$ es un valor fijo, entonces por el ejemplo 34.1(a) tenemos que:
\begin{equation*}
f(z_0) = \frac{f(z_0)}{2\pi i} \int_{\gamma} \frac{1}{z-z_0} dz = \frac{1}{2\pi i} \int_{\gamma} \frac{f(z_0)}{z-z_0} dz.
\end{equation*}

Por el corolario 38.3(2) tenemos que:
\begin{equation*}
\frac{1}{2\pi i} \int_{\gamma} \frac{f(z)}{z-z_0} dz = \frac{1}{2\pi i} \int_{C} \frac{f(z)}{z-z_0} dz.
\end{equation*}

Entonces, de la proposición 34.2(1) y la proposición 34.3(5), tenemos que:
\begin{align*}
\left|\frac{1}{2\pi i} \int_{C} \frac{f(z)}{z-z_0} dz – f(z_0)\right| & = \left|\frac{1}{2\pi i} \int_{\gamma} \frac{f(z)}{z-z_0} dz – \frac{1}{2\pi i} \int_{\gamma} \frac{f(z_0)}{z-z_0} dz\right|\\
& = \left|\frac{1}{2\pi i} \int_{\gamma} \frac{f(z) – f(z_0)}{z-z_0} dz \right|\\
& \leq \frac{1}{2\pi} \int_{\gamma} \frac{\left|f(z) – f(z_0)\right|}{\left|z-z_0\right|} |dz| \\
& < \frac{1}{2\pi} \dfrac{\varepsilon}{\delta/2} \int_{\gamma} |dz|\\
& = \frac{1}{2\pi} \dfrac{\varepsilon}{\delta/2} \delta \pi\\
& = \varepsilon.
\end{align*}

Dado que $\varepsilon>0$ es arbitrario, entonces:
\begin{equation*}
\left|\frac{1}{2\pi i} \int_{C} \frac{f(z)}{z-z_0} dz – f(z_0)\right| = 0 \quad \Longrightarrow \quad f(z_0) = \frac{1}{2\pi i} \int_{C} \frac{f(z)}{z-z_0} dz.
\end{equation*}

$\blacksquare$

Ejemplo 38.5.
Evaluemos la integral:
\begin{equation*}
\int_{\gamma} \frac{5z-2}{z^2-z} dz,
\end{equation*}donde $\gamma$ es el contorno cerrado dado en la figura 145.

Solución. Sea $f(z)=\dfrac{5z-2}{z^2-z}$. Claramente $f$ es analítica en $D=\mathbb{C}\setminus\{0,1\}$, ya que en $z_1=0$ y en $z_2=-1$ el denominador de la función racional se anula. Si consideramos a dos circunferencias con centro en $z_1$ y $z_2$, de radio suficientemente pequeño para caer dentro del contorno $\gamma$ y las orientamos positivamente, entonces por la proposición 38.1 tenemos que:
\begin{equation*}
\int_{\gamma} f(z) dz = \int_{\gamma_1} f(z) dz + \int_{\gamma_2} f(z) dz.
\end{equation*}

Aplicando fracciones parciales tenemos que:
\begin{equation*}
\frac{5z-2}{z^2-z} = \frac{2}{z} + \frac{3}{z-1}.
\end{equation*}

Por lo que:
\begin{align*}
\int_{\gamma} \frac{5z-2}{z^2-z} dz & = \int_{\gamma_1} \left(\frac{2}{z} + \frac{3}{z-1}\right)dz + \int_{\gamma_2} \left(\frac{2}{z} + \frac{3}{z-1}\right)dz\\
& = 2\int_{\gamma_1} \frac{1}{z} dz + 3 \int_{\gamma_1} \frac{1}{z-1} dz + 2\int_{\gamma_2} \frac{1}{z} dz + 3 \int_{\gamma_2} \frac{1}{z-1}dz\\
& = 2(2\pi i) + 0 + 0 + 3(2\pi i)\\
& = 10 \pi i.
\end{align*}

Ejemplo 38.6.
Veamos que:
\begin{equation*}
\int_{\gamma} \frac{e^z}{z-1} dz = i 2\pi e,
\end{equation*} donde $\gamma$ es la circunferencia $C(0,2)$ orientada positivamente.

Solución. Sea $f(z)=e^{z}$. Claramente $f$ es una función entera, $\gamma$ está completamente contenido en $\mathbb{C}$ y $z_0=1$ es un punto en el interior de $\gamma$, entonces por la fórmula integral de Cauchy tenemos que:
\begin{equation*}
e = f(1) = \frac{1}{2\pi i}\int_{\gamma} \frac{e^z}{z-1} dz,
\end{equation*}de donde el resultado se sigue al multiplicar por $2\pi i$ la igualdad anterior.

Cerramos esta entrada mencionando algunos resultados relacionados con la versión homológica del teorema integral de Cauchy.

Definición 38.5. (Ciclo en $\mathbb{C}$.)
A una sucesión finita de curvas cerradas suaves o suaves a trozos en $\mathbb{C}$, se le llama un ciclo y se le denota como $\sigma = (\gamma_1, \ldots, \gamma_n)$. En un ciclo no importa el orden de las curvas cerradas, es decir, un ciclo es una secuencia finita, no ordenada, de contornos cerrados en $\mathbb{C}$.

Ejemplo 38.7.
Dado que $\sigma$ es una sucesión finita de contornos cerrados en $\mathbb{C}$, entonces un contorno cerrado es un ciclo.

Observación 38.6.
Denotamos a la unión de las curvas que forman a un ciclo, es decir, al conjunto compacto:
\begin{equation*}
\gamma_1(I_1) \cup \gamma_2(I_2) \cup \cdots \cup \gamma_n(I_n),
\end{equation*}como $|\sigma|$, donde $I_k$ es un intervalo real cerrado y $\gamma_k(I_k)$ la imagen o la curva de dicho intervalo bajo el contorno $\gamma_k$, para $1\leq k\leq n$. Entonces, diremos que un ciclo $\sigma$ está en un conjunto $S\subset\mathbb{C}$ si $|\sigma|\subset S$.

Definición 38.6.
Sean $U\subset\mathbb{C}$ un conjunto abierto, $f:U\to\mathbb{C}$ una función continua en $U$ y $\sigma$ un ciclo en $U$. Se define a la integral de $f$ a lo largo del ciclo $\sigma$ como:
\begin{equation*}
\int_{\sigma} f(z) dz := \int_{\gamma_1} f(z) dz + \int_{\gamma_2} f(z) dz + \cdots + \int_{\gamma_n} f(z) dz.
\end{equation*}

En particular, para $z\in \mathbb{C}\setminus|\sigma|$ se define el índice de $\sigma$ respecto a $z$, es decir, $n(\sigma,z)$, como:
\begin{equation*}
n(\sigma,z) = \frac{1}{2\pi i} \int_{\sigma} \frac{d\zeta}{\zeta-z}.
\end{equation*}

Definición 38.7. (Ciclo homólogo a $0$.)
Sean $U\subset\mathbb{C}$ un conjunto abierto y $\sigma$ un ciclo en $U$. Se dice que $\sigma$ es como homólogo a $0$ en $U$ si $n(\sigma,z)=0$ para todo $z \in \mathbb{C}\setminus U$.

Observación 38.7.
Dado que para $z\in \mathbb{C}\setminus|\sigma|$ se cumple que $z\in \mathbb{C}\setminus\gamma_k(I_k)$, para cada contorno cerrado $\gamma_k$ que forma a $\sigma$, entonces:
\begin{equation*}
n(\sigma,z) = n(\gamma_1,z) + n(\gamma_2,z) + \cdots + n(\gamma_n,z).
\end{equation*}

Antes de continuar con el resultado esperado, podemos preguntarnos sobre ¿cuál es la relación del concepto de homología con el de homotopía? Específicamente podemos preguntarnos si ¿existe una relación entre ser un contorno homotópico a un punto y un contorno homólogo a 0? Para responder a esto tenemos la siguiente:

Proposición 38.3.
Sean $[a,b]\subset\mathbb{R}$, con $a<b$, un intervalo cerrado, $D\subset\mathbb{C}$ un dominio y $\gamma:[a,b]\to\mathbb{C}$ un contorno cerrado en $D$. Si $\gamma$ es homotópica a un punto $z_0 \in D$, entonces $\gamma$ es homólogica a $0$ en $D$.

Demostración. Dadas las hipótesis, como $\gamma$ es homotópica a un punto $z_0 \in D$, es decir, a una curva constante $\beta(t) = z_0$ para todo $t\in[a,b]$, entonces, del teorema 38.3 y la definición 36.1, se cumple que:
\begin{equation*}
n(\gamma, z) = \frac{1}{2\pi i} \int_{\gamma} \frac{d\zeta}{\zeta-z} = \frac{1}{2\pi i} \int_{\beta} \frac{d\zeta}{\zeta-z} = \int_{a}^{b} \frac{\beta'(t)}{\beta(t)-z} dt = 0,
\end{equation*}para todo $z\in\mathbb{C}\setminus\gamma([a,b])$.

$\blacksquare$

Teorema 38.4. (Teorema integral de Cauchy, versión homológica.)
Sean $U\subset\mathbb{C}$ un conjunto abierto, $f:U\to\mathbb{C}$ una función analítica en $U$ y $\sigma$ un ciclo en $U$. Entonces:
\begin{equation*}
\int_{\sigma} f(z) dz = 0,
\end{equation*}si y solo si $\sigma$ es homólogo a $0$ en $U$.

Omitimos la prueba de este hecho, pero se puede consultar una prueba detallada en An Introduction to Complex Function Theory, de Bruce P. Palka, y una prueba parcial de este resultado en Notas para un curso de Variable Compleja I, de Oscar Palmas Velasco y Alberto Lazcano García.

Proposición 38.4. (Fórmula integral de Cauchy, versión homológica.)
Sean $U\subset\mathbb{C}$ un conjunto abierto, $f:U\to\mathbb{C}$ una función analítica en $U$ y $\sigma$ un ciclo en $U$. Si $\sigma$ es homólogo a $0$ en $U$, entonces:
\begin{equation*}
n(\sigma,z)f(z) dz = \frac{1}{2\pi i} \int_{\sigma} \frac{f(\zeta)}{\zeta-z} d \zeta,
\end{equation*}para todo $z\in U\setminus|\sigma|$.

Demostración. Dadas las hipótesis, fijamos un punto $z\in U\setminus|\sigma|$. Definimos a la función:
\begin{equation*}
g:U\to\mathbb{C},
\end{equation*}como:
\begin{equation*}
g(\zeta)= \left\{ \begin{array}{lcc} \dfrac{f(\zeta) – f(z)}{\zeta – z} & \text{si} & \zeta \neq z, \\ \\ f'(z) & \text{si} & \zeta = z, \end{array} \right.
\end{equation*}donde $\zeta$ es una variable independiente.

Es claro que $g$ es una función analítica en $U\setminus\{z\}$. Más aún, como $f$ es analítica en $U$, entonces:
\begin{equation*}
\lim_{\zeta \to z} g(\zeta) = \lim_{\zeta \to z} \dfrac{f(\zeta) – f(z)}{\zeta – z} = f'(z) = g(z),
\end{equation*}es decir, $g$ es continua en $z$, por lo que $g$ es continua en $U$, entonces, por el teorema de Morera generalizado, tenemos que $g$ es analítica en $U$.

Como $z$ no está en ninguno de los contorno cerrados $\gamma_k$, que conforman al ciclo $\sigma$, del teorema 38.4 y la definición 38.6, tenemos que:
\begin{align*}
0 & = \int_{\sigma} g(\zeta) d\zeta\\
& = \int_{\sigma} \dfrac{f(\zeta) – f(z)}{\zeta – z} d\zeta\\
& = \int_{\sigma} \dfrac{f(\zeta)}{\zeta – z} d\zeta – \int_{\sigma} \dfrac{f(z)}{\zeta – z} d\zeta\\
& = \int_{\sigma} \dfrac{f(\zeta)}{\zeta – z} d\zeta – 2\pi i \, n(\sigma,z) f(z),
\end{align*}es decir:
\begin{equation*}
n(\sigma,z) f(z) = \frac{1}{2\pi i}\int_{\sigma} \dfrac{f(\zeta)}{\zeta – z} d\zeta.
\end{equation*}

Dado que $z\in U\setminus|\sigma|$ es arbitrario, entonces se tiene el resultado.

$\blacksquare$

Con los resultados previos podemos dar otra prueba del corolario 38.3.

Corolario 38.4.
Sean $D\subset\mathbb{C}$ un dominio simplemente conexo y $f:D\to\mathbb{C}$ una función analítica en $D$. Entonces existe una primitiva de $f$ en $D$.

Demostración. Dadas las hipótesis, sea $\gamma$ un contorno cerrado en $D$. Como $D$ es simplemente conexo, $\gamma$ es homotópico a un punto $z_0 \in D$. Por la proposición 38.1 $\gamma$ es homólogo a $0$ en $D$ y por el teorema 38.4 se cumple que:
\begin{equation*}
\int_{\gamma} f(z) dz = 0. \tag{38.4}
\end{equation*}

Dado que $\gamma$ es arbitraria, entonces (38.4) se cumple para todo contorno cerrado $\gamma$ en $D$. Por lo tanto, de la proposición 35.2 sabemos que esto es equivalente a que exista una primitiva de $f$ en $D$, es decir, una función analítica $F:D\to\mathbb{C}$ tal que $F'(z)=f(z)$ para todo $z\in D$.

$\blacksquare$

Teorema 38.5.
Sean $D\subset\mathbb{C}$ un dominio. Si todo contorno cerrado en $D$ es homólogo a $0$, entonces $D$ es simplemente conexo.

Tarea moral

1. Sea $D\subset\mathbb{C}$ un dominio. Muestra que $\sim_{D}$ es una relación de equivalencia en el conjunto de contornos cerrados en $D$.
2. Sean $D=\mathbb{C}\setminus\{0\}$ y $\gamma : [-\pi/2, \pi/2] \to D$, el contorno dado por $\gamma(t)=e^{it}$. Define de manera explícita dos contornos poligonales $\beta_1$ y $\beta_2$ en $D$, que unan a $-i$ y $i$, tales que:
   \begin{equation*}
   \int_{\beta} f(z) dz = \int_{\gamma} f(z) dz
   \end{equation*}se cumple para toda función analítica $f$ en $D$, si $\beta = \beta_1$, pero la igualdad no se cumple si $\beta = \beta_2$.
3. Sean $r$ y $R$ dos constantes positivas tales que $0<r<R$. Define al contorno $\gamma_r(t) = re^{it}$, para $0\leq t \leq 2\pi$. Muestra que:
   \begin{equation*}
   \frac{1}{2\pi i} \int_{\gamma_r} \frac{R+z}{(R-z)z} dz = 1.
   \end{equation*}Considerando lo anterior deduce que:
   \begin{equation*}
   \frac{1}{2\pi} \int_{0}^{2\pi} \frac{R^2-r^2}{R^2+r^2-2rR\operatorname{cos}(t)} dt = 1.
   \end{equation*}
4. Si $\gamma$ es la circunferencia $C(i,1)$, orientada positivamente, muestra que:
   \begin{equation*}
   \int_{\gamma} \frac{2z}{z^2+2} dz = 2\pi i.
   \end{equation*}
5. Evalúa la integral:
   \begin{equation*}
   \int_{\gamma} \frac{1}{4z^2+4z-3} dz,
   \end{equation*}para los siguientes contornos orientados positivamente.
   a) $\gamma$ es la circunferencia $C(0,1)$.
   b) $\gamma$ es la circunferencia $C(-3/2,1)$.
   c) $\gamma$ es la circunferencia $C(0,3)$.
6. Sea $D = \{z\in\mathbb{C} : 1/2<|z|<4\}$. Determina explícitamente una homotopía $H(t,s)$ entre los contornos cerrados en $D$, orientados positivamente, dados por la elipse $\dfrac{x^2}{4}+\dfrac{y^2}{9}=1$, con punto inicial $(2,0)$ y la circunferencia unitaria $C(0,1)$, con punto inicial $(1,0)$, ambos recorridos una sola vez.
7. Sea $\gamma(t)=1+i+2e^{it}$, para $t\in[0,2\pi]$. Evalúa las siguientes integrales.
   a) $ \displaystyle\int_{\gamma} \frac{1}{z-1} dz$.
   b) $ \displaystyle\int_{\gamma} \frac{1}{(z-3i)(z-1)} dz$.
   c) $ \displaystyle\int_{\gamma} \frac{1}{z^2+9} dz$.
   d) $ \displaystyle\int_{\gamma} \frac{1}{(z-i)(z+i)} dz$.
8. Muestra que:
   \begin{equation*}
   \int_{\gamma} \frac{\operatorname{sen}(z)}{4z+\pi} dz = -\frac{\sqrt{2} \pi i}{4},
   \end{equation*}donde $\gamma$ es la circunferencia unitaria $C(0,1)$, orientada positivamente.

Más adelante…

En esta entrada hemos generalizado el teorema integral de Cauchy para dominios más generales que un disco abierto, para ello recurrimos a los conceptos topológicos de homotopía y homología. Además extendimos dicho resultado para dominios múltiplemente conexos, lo cual es de mucha utilidad al evaluar integrales.

En la siguiente entrada veremos algunos resultados muy importantes que relacionan los conceptos de diferenciabilidad e integrabilidad con las sucesiones y series de funciones complejas.

Entradas relacionadas

• Ir a Variable Compleja I.
• Entrada anterior del curso: Consecuencias del teorema integral de Cauchy.
• Siguiente entrada del curso: Teoremas de Weierstrass.