Introducción

En la entrada anterior dimos una clasificación de los ceros y las singularidades de una función analítica, en particular de las singulares aisladas que como vimos pueden clasificarse en tres tipos: singularidades removibles, polos y singularidades esenciales.

Esta entrada corresponde con la última del curso. En ella definiremos el residuo de una función analítica y veremos el teorema del residuo, mediante el cual nos será posible evaluar integrales reales, tanto impropias como integrales definidas, de una manera sencilla.

De acuerdo con la observación 42.5, sabemos que si $f$ es una función analítica en el disco abierto perforado $B^{\ast }(z_0,R)$, con $R>0$, y $z_0\in \mathbb{C}$ es una singularidad asilada de $f$, entonces para $0<r<R$, se cumple que la circunferencia ${\gamma }_r(t)=z_0+r{e}^{it}$, con $t\in [0,2\pi ]$, está contenida en el anillo $A(z_0,0,R)=B^{\ast }(z_0,R)$ y en dicho anillo $f$ tiene una expansión en serie de Laurent, por lo que:
$${\int }_{{\gamma }_r}f(z)dz=2\pi i{c}_{-1},$$de donde:
$$\begin{array}{}\text{(44.1)}& c_{-1}=\frac{1}{2\pi i}{\int }_{{\gamma }_r}f(z)dz,\end{array}$$donde $0<r<R$.

Definición 44.1. (Residuo de una función analítica.)
Sean $f$ una función analítica en el disco abierto perforado $B^{\ast }(z_0,R)$, con $R>0$, y $z_0\in \mathbb{C}$ una singularidad asilada de $f$. El coeficiente $c_{-1}$ dado en (44.1) es llamado el {\bf residuo de $f$ en $z_0$} y se denota como:
$$\mathrm{Res}(f,z_0):=c_{-1}.$$

Ejemplo 44.1.
De acuerdo con el ejemplo 42.7, para todo $z\in A(0,1,2)$, tenemos que:
$$f(z)=\frac{1}{z^2-3z+2}=–\sum _{n=-\mathrm{\infty }}^{-1}{z}^n-\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{2^{n+1}}=–\sum _{n=-\mathrm{\infty }}^{-2}{z}^n–\frac{1}{z}-\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{2^{n+1}},$$por lo que $\mathrm{Res}(f,0)=-1$.

Por otra parte, del mismo ejemplo, para todo $z\in A(-i,\sqrt{2},\sqrt{5})$, tenemos que:
$$\begin{array}{rl}f(z)& =\frac{1}{z^2-3z+2}\\ & =-\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}}\\ & =-\sum _{n=-\mathrm{\infty }}^{-2}\frac{{(z+i)}^n}{(1+i{)}^{n+1}}–\frac{1}{z+i}–\sum _{n=0}^{\mathrm{\infty }}\frac{{(z+i)}^n}{(2+i{)}^{n+1}},\end{array}$$por lo que $\mathrm{Res}(f,-i)=-1$.

Ejemplo 44.2.
Del ejemplo 42.8 tenemos que en $A(0,0,\mathrm{\infty })$ se cumple que:
$$f(z)=e^{1/z}=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{z^{n}n!},$$por lo que $\mathrm{Res}(f,0)=1$.

Ejemplo 44.3.
Del ejemplo 42.9 tenemos que en $A(0,1,\mathrm{\infty })$ se cumple que:
$$f(z)=\frac{1}{(1-z{)}^3}=-\frac{1}{2}\sum _{n=1}^{\mathrm{\infty }}\frac{n(n+1)}{z^{n+2}},$$por lo que $\mathrm{Res}(f,0)=0$.

Procedemos a caracterizar al residuo de una función analítica.

Observación 44.1.
De acuerdo con la proposición 43.2, sabemos que si $f$ tiene una singularidad removible en $z_0$, entonces:
$$f(z)=\sum _{n=0}^{\mathrm{\infty }}{c}_n(z-z_0{)}^n,\mathrm{\forall }z\in B^{\ast }(z_0,R),$$por lo que $\mathrm{Res}(f,z_0)=c_{-1}=0$. ¿Qué sucede si $z_0$ es un polo?

Proposición 44.1.
Sean $f$ una función analítica en $A(z_0,0,R)$, con $R>0$ y $z_0\in \mathbb{C}$ una singularidad aislada de $f$. Si $f$ tiene un polo de orden $m\in {\mathbb{N}}^{+}$ en $z_0$, entonces:
$$\mathrm{Res}(f,z_0)=\frac{1}{(m-1)!}\underset{z\to z_0}{lim}\frac{d^{m-1}}{d{z}^{m-1}}[(z-z_0{)}^{m}f(z)].$$

Si $z_0$ es un polo simple, es decir, $m=1$, entonces no hay diferenciación.

Demostración. Dadas las hipótesis, por la proposición 43.3(6) tenemos que:
$$f(z)=\sum _{n=-m}^{\mathrm{\infty }}{c}_n(z-z_0{)}^n,\mathrm{\forall }z\in A(z_0,0,R).$$

Entonces, para $z\in A(z_0,0,R)$ tenemos que:
$$(z-z_0{)}^{m}f(z)=\sum _{n=0}^{\mathrm{\infty }}{c}_{n-m}(z-z_0{)}^n.$$

Por la convergencia uniforme de la serie de potencias, teorema 39.2, tenemos que:
$$\begin{array}{rl}\frac{d^{m-1}}{d{z}^{m-1}}(z-z_0{)}^{m}f(z)& =\frac{d^{m-1}}{d{z}^{m-1}}\sum _{n=0}^{\mathrm{\infty }}{c}_{n-m}(z-z_0{)}^n\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{d^{m-1}}{d{z}^{m-1}}{c}_{n-m}(z-z_0{)}^n\\ & =\sum _{n=m-1}^{\mathrm{\infty }}\frac{n!}{(n-m+1)!}{c}_{n-m}(z-z_0{)}^{n-m+1}\\ & =(m-1)!c_{-1}+\sum _{n=m}^{\mathrm{\infty }}\frac{n!}{(n-m+1)!}{c}_{n-m}(z-z_0{)}^{n-m+1}.\end{array}$$

Entonces:
$$\underset{z\to z_0}{lim}\frac{d^{m-1}}{d{z}^{m-1}}(z-z_0{)}^{m}f(z)=(m-1)!c_{-1}+0,$$de donde:
$$\mathrm{Res}(f,z_0)=c_{-1}=\frac{1}{(m-1)!}\underset{z\to z_0}{lim}\frac{d^{m-1}}{d{z}^{m-1}}[(z-z_0{)}^{m}f(z)].$$

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

Corolario 44.1.
Sean $f$ una función analítica en $A(z_0,0,R)$, con $R>0$ y $z_0\in \mathbb{C}$ una singularidad aislada de $f$.

1. $f$ tiene un polo simple en $z_0$ si y solo si:
   $$\mathrm{Res}(f,z_0)=\underset{z\to z_0}{lim}f(z)\ne 0.$$
2. Si $f(z)={\displaystyle \frac{p(z)}{q(z)}}$, donde $p$ y $q$ son analíticas en $z_0$, $p(z_0)\ne 0$ y $q$ tiene un cero simple en $z_0$, entonces:
   $$\mathrm{Res}(f,z_0)=\mathrm{Res}({\displaystyle \frac{p}{q}},z_0)={\displaystyle \frac{p(z_0)}{q^{\prime }(z_0)}}.$$

Demostración. Dadas las hipótesis, tenemos:

1. $\Rightarrow )$ Por la proposición 43.3(3) y la la proposición 44.1, tenemos que:
   $$0\ne \underset{z\to z_0}{lim}(z-z_0)f(z)=\mathrm{Res}(f,z_0).$$$(\Leftarrow$ Por la definición 44.1, tenemos que:
   $$c_{-1}=\mathrm{Res}(f,z_0)=\underset{z\to z_0}{lim}(z-z_0)f(z)\ne 0,$$por lo que el resultado se sigue de la proposición 43.3.
2. Como $q$ tiene un cero simple en $z_0$, entonces, $q^{\prime }(z_0)\ne 0$, proposición 43.1(2). Más aún, por el ejercicio 7 de la entrada anterior, tenemos que $1/q$ tiene un polo simple en $z_0$, por lo que $f$ tiene un polo simple en $z_0$, ya que $p(z_0)\ne 0$, entonces, como $q(z_0)=0$, del inciso anterior se sigue que:
   $$\begin{array}{rl}\mathrm{Res}({\displaystyle \frac{p}{q}},z_0)& =\mathrm{Res}(f,z_0)\\ & =\underset{z\to z_0}{lim}(z-z_0){\displaystyle \frac{p(z)}{q(z)}}\\ & =\underset{z\to z_0}{lim}{\displaystyle \frac{p(z)}{{\displaystyle \frac{q(z)–q(z_0)}{z-z_0}}}}\\ & ={\displaystyle \frac{p(z_0)}{q^{\prime }(z_0)}}.\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">}$

Ejemplo 44.4.
Determinemos el residuo de la función $f(z)={\left({\displaystyle \frac{z+1}{z-1}}\right)}^3$, en la singularidad aislada $z_0=1$.

Solución. Notemos que para $z\ne 1$ se tiene que:
$$(z-1{)}^{3}f(z)=(z+1{)}^3$$de donde:
$$\underset{z\to 1}{lim}(z-1{)}^{3}f(z)=\underset{z\to 1}{lim}(z+1{)}^3=8\ne 0,$$por lo que, proposición 43.3(3), $z_0=1$ es un polo de orden $3$.

De la proposición 44.1 se sigue que:
$$\begin{array}{rl}\mathrm{Res}(f,1)& =\frac{1}{2!}\underset{z\to 1}{lim}\frac{d^2}{d{z}^2}(z-1{)}^{3}f(z)\\ & =\frac{1}{2}\underset{z\to 1}{lim}\frac{d^2}{d{z}^2}(z+1{)}^3\\ & =\frac{1}{2}\underset{z\to 1}{lim}6(z+1)\\ & =\frac{12}{2}\\ & =6.\end{array}$$

Ejemplo 44.5.
Sea $f(z)={\displaystyle \frac{1}{z^4+1}}$. Es claro que $f$ tiene como singularidades aisladas a las cuatro raíces de $-1$. Por la proposición 5.1, sabemos que dichas raíces están dadas por:
$$z_k=\mathrm{cis}\left(\frac{\pi +2\pi k}{4}\right)=\exp \left(i\left[\frac{\pi +2\pi k}{4}\right]\right),k=0,1,2,3.$$

Tenemos que $z_0=e^{i\pi /4},z_1=e^{i3\pi /4},z_2=e^{i5\pi /4}$ y $z_3=e^{i7\pi /4}$, por lo que:
$$f(z)={\displaystyle \frac{1}{z^4+1}}={\displaystyle \frac{1}{(z-z_0)(z-z_1)(z-z_2)(z-z_3)}}.$$

Es claro que para $k=0,1,2,3$ se cumple que:
$$\underset{z\to z_0}{lim}(z-z_k)f(z)\ne 0,$$por lo que, proposición 43.3, las cuatro raíces son polos simples de $f$.

Procedemos a determinar sus residuos considerando el corolario 44.1(2). sean $p(z)=1$ y $q(z)=z^4+1$. Tenemos que $q^{\prime }(z)=4z^3$, por lo que:
$$\begin{array}{rl}\mathrm{Res}(f,z_0)& =\frac{1}{q^{\prime }(z_0)}=\frac{1}{4(e^{i\pi /4}{)}^3}=\frac{1}{4}{e}^{-i3\pi /4}=-\frac{1}{4\sqrt{2}}–i\frac{1}{4\sqrt{2}}.\\ \mathrm{Res}(f,z_1)& =\frac{1}{q^{\prime }(z_1)}=\frac{1}{4(e^{i3\pi /4}{)}^3}=\frac{1}{4}{e}^{-i9\pi /4}=\frac{1}{4\sqrt{2}}–i\frac{1}{4\sqrt{2}}.\\ \mathrm{Res}(f,z_2)& =\frac{1}{q^{\prime }(z_2)}=\frac{1}{4(e^{i5\pi /4}{)}^3}=\frac{1}{4}{e}^{-i15\pi /4}=-\frac{1}{4\sqrt{2}}+i\frac{1}{4\sqrt{2}}.\\ \mathrm{Res}(f,z_3)& =\frac{1}{q^{\prime }(z_0)}=\frac{1}{4(e^{i7\pi /4}{)}^3}=\frac{1}{4}{e}^{-i21\pi /4}=-\frac{1}{4\sqrt{2}}+i\frac{1}{4\sqrt{2}}.\end{array}$$

Teorema 44.1. (Teorema del Residuo.)
Sean $D\subset \mathbb{C}$ un dominio y $f:D\to \mathbb{C}$ una función analítica en $D$ excepto por un número finito de singularidades aisladas (distintas) $z_1,z_2,\dots ,z_n\in D$. Si $\gamma$ es un contorno cerrado simple en $D\setminus \{z_1,z_2,\dots ,z_n\}$ tal que $n(\gamma ,z)=0$ para todo $z\in \mathbb{C}\setminus D$, entonces:
$$\frac{1}{2\pi i}{\int }_{\gamma }f(z)dz=\sum _{k=1}^n\mathrm{Res}(f,z_k)n(\gamma ,z_k).$$

Demostración. Dadas las hipótesis, como las singularidades son aisladas, dado $k\in \{1,\dots ,n\}$, existe $r_k>0$ tal que $f$ tiene una expansión en serie de Laurent:
$$f(z)=\sum _{j=-\mathrm{\infty }}^{\mathrm{\infty }}{c}_j(z-z_k{)}^j,\mathrm{\forall }z\in A(z_k,0,r_k).$$

Del corolario 39.1 tenemos que la función:
$$g_k(z):=\sum _{j=-\mathrm{\infty }}^{-1}{c}_j(z-z_k{)}^j,$$es analítica en $\mathbb{C}\setminus \{z_k\}$.

Notemos que:
$$\underset{z\to z_k}{lim}(z-z_k)[f(z)-g_k(z)]=0,$$por lo que, proposición 43.3(6), $f-g_k$ tiene una singularidad removible en $z_k$.

Del ejemplo 34.2, para toda $j\le -2$ tenemos que:
$${\int }_{\gamma }(z-z_k{)}^{j}dz=0.$$

Entonces, por la convergencia uniforme de la serie que define a $g_k$, proposición 39.1, y las definiciones 36.1 y 44.1, tenemos que:
$$\begin{array}{rl}\frac{1}{2\pi i}{\int }_{\gamma }{g}_k(z)dz& =\frac{1}{2\pi i}{\int }_{\gamma }\sum _{j=-\mathrm{\infty }}^{-1}{c}_j(z-z_k{)}^{j}dz\\ & =\sum _{j=-\mathrm{\infty }}^{-1}\frac{c_j}{2\pi i}{\int }_{\gamma }(z-z_k{)}^{j}dz\\ & =\frac{c_{-1}}{2\pi i}{\int }_{\gamma }\frac{1}{z-z_k}dz\\ & =\mathrm{Res}(f,z_k)n(\gamma ,z_k).\end{array}$$

Consideremos ahora a la función:
$$F(z):=f(z)–\sum _{k=1}^n{g}_k(z),\mathrm{\forall }z\in D\setminus \{z_1,z_2,\dots ,z_n\}.$$

Dado $m\in \{1,\dots ,n\}$, sabemos que $f-g_m$ tiene una singularidad removible en $z_m$ y $g_k$ es una función definida y analítica en $z_m$ para todo $k\ne m$. Notemos que lo anterior se cumple para todo $m$, por lo que $F$ puede redefinirse de modo que sea una función analítica en $D$. Entonces, del teorema de Cauchy, versión homológica (teorema 38.4), como $n(\gamma ,z)=0$ para todo $z\in \mathbb{C}\setminus D$, se tiene que:
$$0={\int }_{\gamma }F(z)dz={\int }_{\gamma }f(z)dz–\sum _{k=1}^n{\int }_{\gamma }{g}_k(z)dz.$$

De donde:
$$\frac{1}{2\pi i}{\int }_{\gamma }f(z)dz=\sum _{k=1}^n{\int }_{\gamma }\frac{1}{2\pi i}{g}_k(z)dz=\sum _{k=1}^n\mathrm{Res}(f,z_k)n(\gamma ,z_k).$$

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

Una consecuencia inmediata de este resultado es el siguiente corolario. Sin embargo, considerando el teorema de Cauchy para dominios múltiplemente conexos, proposición 38.1, podemos dar una prueba sencilla del mismo.

Corolario 44.2. (Teorema del Residuo de Cauchy.)
Sean $D\subset \mathbb{C}$ un dominio, $C$ un contorno cerrado simple, orientado positivamente, contenido en $D$. Si $f$ es una función analítica en $D$, excepto por un número finito de singularidades aisladas (distintas) $z_1,z_2,\dots ,z_n$, las cuales están dentro de $C$, entonces:
$${\int }_{C}f(z)dz=2\pi i\sum _{k=1}^n\mathrm{Res}(f,z_k).$$

Demostración. Dadas las hipótesis, como $D$ es abierto, entonces podemos tomar pequeñas circunferencias ${\gamma }_k(t)=z_k+r_k{e}^{it}$, con $t\in [0,2\pi ]$, alrededor de la singularidad aislada $z_k$, tal que ${\gamma }_k$ está contenida dentro de $C$ y ${\gamma }_k$ no contiene a ninguna otra singularidad $z_j$ de $f$ si $j\ne k$.

Sea $\epsilon >0$ tal que el disco abierto perforado $B^{\ast }(z_k,r_k+\epsilon )$, no contiene a ninguna singularidad $z_j$ de $f$ si $j\ne k$. Entonces en $B^{\ast }(z_k,r_k+\epsilon )$ la función $f$ tiene una representación en serie de Laurent y ${\gamma }_k$ está contenida en $B^{\ast }(z_k,r_k+\epsilon )$. Por lo que, de la observación 42.5 y la definición 44.1, se sigue que:
$${\int }_{{\gamma }_k}f(z)dz=2\pi i{c}_{-1}=2\pi i\mathrm{Res}(f,z_k),$$para $k=1,\dots ,n$.

Por lo tanto, del teorema de Cauchy para dominios múltiplemente conexos, proposición 38.1, tenemos que:
$${\int }_{C}f(z)dz=\sum _{k=1}^n{\int }_{{\gamma }_k}f(z)dz=2\pi i\sum _{k=1}^n\mathrm{Res}(f,z_k).$$

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

Ejemplo 44.6.
Evaluemos la integral:
$${\int }_{\gamma }\frac{1}{z^4+1}dz,$$donde $\gamma$ es el contorno cerrado simple de la figura 149.

Solución. Por el ejemplo 44.5 sabemos que $f$ tiene cuatro polos simples en los puntos $z_0=e^{i\pi /4},z_1=e^{i3\pi /4},z_2=e^{i5\pi /4}$ y $z_3=e^{i7\pi /4}$. Es claro que solo $z_0$ y $z_1$ están dentro del contorno $\gamma$, por lo que del teorema del residuo se sigue que:
$$\begin{array}{rl}{\int }_{\gamma }\frac{1}{z^4+1}dz& =2\pi i(\mathrm{Res}(f,z_0)+\mathrm{Res}(f,z_1))\\ & =2\pi i(-\frac{1}{4\sqrt{2}}–i\frac{1}{4\sqrt{2}}+\frac{1}{4\sqrt{2}}–i\frac{1}{4\sqrt{2}})\\ & =2\pi i(-\frac{2i}{4\sqrt{2}})\\ & =\frac{\pi }{\sqrt{2}}.\end{array}$$

Ejemplo 44.7.
Veamos que:
$${\int }_{\gamma }{e}^{1/z}dz=2\pi i,$$donde $\gamma$ es la circunferencia unitaria orientada positivamente.

Solución. Por el ejemplo 43.5 sabemos que $f(z)=e^{1/z}$ tiene una singularidad esencial en $z_0=0$, por lo que no podemos recurrir a los resultados previos para determinar el residuo de $f$. Sin embargo, considerando el ejemplo 44.2, tenemos que el coeficiente $z^{-1}$ es $1$, por lo que $\mathrm{Res}(f,0)=1$.

Por el teorema del residuo, como $z_0=0$ es una singularidad aislada de $f$ y está dentro del contorno cerrado $\gamma$, tenemos que:
$${\int }_{\gamma }{e}^{1/z}dz=2\pi i\mathrm{Res}(f,0)=2\pi i(1)=2\pi i.$$

Observación 44.2.
El teorema del residuo nos permite evaluar integrales reales muy particulares, analizamos los siguientes dos tipos.

1. Integrales reales trigonométricas de la forma:
   $${\displaystyle {\int }_0^{2\pi }F(\cos (t),\mathrm{sen}(t))dt,}$$donde $F(\cos (t),\mathrm{sen}(t))$ es una función racional de $\cos (t)$ y $\mathrm{sen}(t)$ con coeficientes reales y cuyo denominador no se anula en el intervalo $[0,2\pi ]$. Por ejemplo las integrales:
   $${\int }_0^{2\pi }\frac{1}{2+\cos (t)}dt\text{y}{\int }_0^{2\pi }\frac{{\cos }^2(t)}{2+\cos (t)}dt,$$son de este tipo.
2. Integrales reales impropias del tipo:
   $${\displaystyle {\int }_{-\mathrm{\infty }}^{b}f(t)dt,{\displaystyle {\int }_a^{\mathrm{\infty }}f(t)dt,{\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(t)dt,}}}$$donde $f$ es una función continua en el dominio de integración y $a,b\in \mathbb{R}$.

Para el primer tipo de integrales consideramos a la circunferencia unitaria orientada positivamente, es decir, $\gamma (t)=e^{it}$, con $t\in [0,2\pi ]$.

Haciendo la sustitución $z=\gamma (t)=e^{it}$, con $0\le t\le 2\pi$, tenemos que $dt={\displaystyle \frac{dz}{iz}}$. Considerano las definiciones de las funciones $\mathrm{sen}(t)$ y $\mathrm{sen}(t)$, tenemos que:
$$\begin{array}{rl}\cos (t)& ={\displaystyle \frac{e^{it}+e^{-it}}{2}}={\displaystyle \frac{z+{\displaystyle \frac{1}{z}}}{2}},\\ \mathrm{sen}(t)& ={\displaystyle \frac{e^{it}-e^{-it}}{2i}}={\displaystyle \frac{z-{\displaystyle \frac{1}{z}}}{2i}}.\end{array}$$

Entonces:
$${\int }_0^{2\pi }F(\cos (t),\mathrm{sen}(t))dt={\int }_{\gamma }\frac{1}{iz}F(\frac{1}{2}[z+{\displaystyle \frac{1}{z}}],\frac{1}{2i}[z-{\displaystyle \frac{1}{z}}])dz.$$

Utilizando el teorema del residuo tenemos que:
$${\int }_{\gamma }\frac{1}{iz}F(\frac{1}{2}[z+{\displaystyle \frac{1}{z}}],\frac{1}{2i}[z-{\displaystyle \frac{1}{z}}])dz=2\pi i\sum ,$$donde $\sum$ es la suma de los residuos de la función:
$$\frac{1}{iz}F(\frac{1}{2}[z+{\displaystyle \frac{1}{z}}],\frac{1}{2i}[z-{\displaystyle \frac{1}{z}}]).$$

Ejemplo 44.8.
Evaluemos la integral:
$${\int }_0^{2\pi }[{\cos }^3(t)+{\mathrm{sen}}^2(t)]dt.$$

Solución. Tenemos que:
$$\begin{array}{rl}{\cos }^3(t)& ={\left[\frac{1}{2}(z+{\displaystyle \frac{1}{z}})\right]}^3=\frac{1}{8}(z^3+{\displaystyle \frac{1}{z^3}}+3z+\frac{3}{z}),\\ {\mathrm{sen}}^2(t)& ={\left[\frac{1}{2i}(z-{\displaystyle \frac{1}{z}})\right]}^2=-\frac{1}{4}(z^2+{\displaystyle \frac{1}{z^2}}-2),\end{array}$$de donde:
$$\begin{array}{rl}{\cos }^3(t)+{\mathrm{sen}}^2(t)& =\frac{1}{8}(z^3+{\displaystyle \frac{1}{z^3}}+3z+\frac{3}{z})–\frac{1}{4}(z^2+{\displaystyle \frac{1}{z^2}}-2)\\ & =\frac{z^3}{8}+{\displaystyle \frac{1}{8z^3}}–\frac{z^2}{4}-{\displaystyle \frac{1}{4z^2}}+\frac{3z}{8}+\frac{3}{8z}+\frac{1}{2}\\ & =\frac{z^6-2z^5+3z^4+4z^3+3z^2-2z+1}{8z^3}.\end{array}$$

Consideremos a la siguiente función:
$$f(z)=\frac{z^6-2z^5+3z^4+4z^3+3z^2-2z+1}{i8z^4}.$$

Es claro que $z_0=0$ es una singularidad aislada de $f$. Más aún, $z_0=0$ es un polo de orden $4$ ya que:
$$\underset{z\to 0}{lim}(z-0{)}^{4}f(z)=\underset{z\to 0}{lim}\frac{z^6-2z^5+3z^4+4z^3+3z^2-2z+1}{i8}=\frac{1}{8i}\ne 0.$$

Notemos que $z_0=0$ está dentro de la circunferencia unitaria $\gamma$, por lo que:
$$\begin{array}{rl}\mathrm{Res}(f,0)& =\frac{1}{3!}\underset{z\to 0}{lim}\frac{d^3}{d{z}^3}(z-0{)}^{4}f(z)\\ & =\frac{1}{6}\underset{z\to 0}{lim}\frac{d^3}{d{z}^3}\left(\frac{z^6-2z^5+3z^4+4z^3+3z^2-2z+1}{i8}\right)\\ & =\frac{1}{6}\underset{z\to 0}{lim}\left(\frac{120z^3-120z^2+72z+24}{i8}\right)\\ & =\frac{24}{48i}=-\frac{i}{2}.\end{array}$$

Entonces:
$$\begin{array}{rl}{\int }_0^{2\pi }[{\cos }^3(t)+{\mathrm{sen}}^2(t)]dt& ={\int }_{\gamma }\frac{1}{iz}\left[\frac{z^6-2z^5+3z^4+4z^3+3z^2-2z+1}{8z^3}\right]dz\\ & ={\int }_{\gamma }f(z)dz\\ & =2\pi i\mathrm{Res}(f,0)\\ & =2\pi i(-\frac{i}{2})\\ & =\pi .\end{array}$$

Para el segundo tipo de integrales reales, recordemos que para una función $f$ continua en $(-\mathrm{\infty },b]$ y $[a,\mathrm{\infty })$, respectivamente, las integrales reales impropias se definen en términos de límites, es decir:
$$\begin{array}{rl}{\displaystyle {\int }_{-\mathrm{\infty }}^{b}f(t)dt}& =\underset{R\to \mathrm{\infty }}{lim}{\int }_{-R}^{b}f(t)dt,\\ {\displaystyle {\int }_a^{\mathrm{\infty }}f(t)dt}& =\underset{R\to \mathrm{\infty }}{lim}{\int }_a^{R}f(t)dt,\end{array}$$siempre que los límites existan, en tal caso las integrales se llaman convergentes, en caso contrario se dice que las integrales divergen.

Por otra parte, si $f$ es continua en $(-\mathrm{\infty },\mathrm{\infty })$ y las integrales impropias ${\displaystyle {\int }_{-\mathrm{\infty }}^{0}f(t)dt}$ y ${\displaystyle {\int }_0^{\mathrm{\infty }}f(t)dt}$ existen, entonces la integral ${\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(t)dt}$ es convergente y está dada por:
$${\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(t)dt=\underset{R\to \mathrm{\infty }}{lim}{\int }_{-R}^{0}f(t)dt+\underset{R\to \mathrm{\infty }}{lim}{\int }_0^{R}f(t)dt.}$$

Definición 44.2. (Valor principal de Cauchy.)
Se define el valor principal de Cauchy de la integral impropia ${\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(t)dt}$ como:
$$\text{P.V.}{\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(t)dt=\underset{R\to \mathrm{\infty }}{lim}{\int }_{-R}^{R}f(t)dt,}$$si el límite existe.

Observación 44.3.
El valor principal de Cauchy de una integral puede existir incluso si la integral impropia es divergente. Por ejemplo:
$${\int }_{-R}^{R}tdt=\frac{R^2}{2}–(-\frac{R^2}{2})=0,$$por lo que:
$$\text{P.V.}{\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}tdt=\underset{R\to \mathrm{\infty }}{lim}{\int }_{-R}^{R}tdt=0.}$$

Sin embargo, la integral impropia de $f(t)=t$, en $(-\mathrm{\infty },\mathrm{\infty })$, es divergente, ya que:
$${\displaystyle {\int }_0^{\mathrm{\infty }}tdt=\underset{R\to \mathrm{\infty }}{lim}{\int }_0^{R}tdt=\underset{R\to \mathrm{\infty }}{lim}\frac{R^2}{2}=\mathrm{\infty }.}$$

Cuando una integral impropia ${\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(t)dt}$ es convergente, entonces existe su valor principal de Cauchy y ambas integrales son iguales, ya que:
$$\begin{array}{rl}\text{P.V.}{\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(t)dt}& =\underset{R\to \mathrm{\infty }}{lim}{\int }_{-R}^{R}f(t)dt\\ & =\underset{R\to \mathrm{\infty }}{lim}[{\int }_{-R}^{0}f(t)dt+{\int }_0^{R}f(t)dt]\\ & =\underset{R\to \mathrm{\infty }}{lim}{\int }_{-R}^{0}f(t)dt+\underset{R\to \mathrm{\infty }}{lim}{\int }_0^{R}f(t)dt\\ & ={\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(t)dt.}\end{array}$$

Entonces, al evaluar integrales impropias utilizando integrales de contorno debe ser claro que estamos calculando su valor principal de Cauchy, y si dicha integral existe entonces coincidirá con el valor obtenido por este método.

Para evaluar un integral impropia ${\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(t)dt}$, donde $f$ es una función racional continua en $(-\mathrm{\infty },\mathrm{\infty })$, reemplazamos a la variable real $t$ por la variable compleja $z$ e integramos a $f$ sobre un contorno cerrado $\gamma$, orientado positivamente, que consiste del intervalo real $[-R,R]$ en el eje $x$ y una semicircunferencia $C_R$ de radio $R$ suficientemente grande para que los polos de $f$ estén en el interior de $\gamma$, como en la figura 149, en el semiplano superior $\mathrm{Im}(z)>0$.

Entonces, por la proposición 34.2(3) y el teorema del residuo, tenemos que:
$${\int }_{\gamma }f(z)dz={\int }_{C_R}f(z)dz+{\int }_{-R}^{R}f(z)dz=2\pi i\sum _{k=1}^n\mathrm{Res}(f,z_k),$$donde $z_k$, con $k=1,\dots ,n$, denota a los polos en el semiplano superior $\mathrm{Im}(z)>0$.

Por lo tanto, si se muestra que:
$$\underset{R\to \mathrm{\infty }}{lim}{\int }_{C_R}f(z)dz=0,$$entonces tenemos que:
$$\text{P.V.}{\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(t)dt=\underset{R\to \mathrm{\infty }}{lim}{\int }_{-R}^{R}f(t)dt=2\pi i\sum _{k=1}^n\mathrm{Res}(f,z_k).}$$

Ejemplo 44.9.
Determinemos el valor principal de Cauchy de la integral impropia:
$${\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\frac{1}{(t^2+1)(t^2+9)}dt.}$$

Solución. Sea:
$$f(z)=\frac{1}{(z^2+1)(z^2+9)}=\frac{1}{(z-i)(z+i)(z-3i)(z+3i)}.$$

Dado que $z_1=i$ y $z_2=3i$ son los dos polos simples en el semiplano superior $\mathrm{Im}(z)>0$, entonces podemos tomar a $\gamma$ como el contorno cerrado formado por el intervalo real $[-R,R]$ y la semicircunferencia $C_R(t)=R{e}^{it}$, con $t\in [0,\pi ]$, para $R>3$, como en la figura 149.

Por la proposición 34.2(3) y el teorema del residuo, tenemos que:
$$\begin{array}{rl}{\int }_{\gamma }f(z)dz& ={\int }_{C_R}\frac{1}{(z^2+1)(z^2+9)}dz+{\int }_{-R}^R\frac{1}{(t^2+1)(t^2+9)}dt\\ & =2\pi i\sum _{k=1}^2\mathrm{Res}(f,z_k)\\ & =2\pi i[\mathrm{Res}(f,z_1)+\mathrm{Res}(f,z_2)].\end{array}$$

Para los polos simples $z_1=i$ y $z_2=3i$, por la proposición 44.1 tenemos que:
$$\begin{array}{rl}\mathrm{Res}(f,z_1)& =\underset{z\to z_1}{lim}(z-z_1)f(z)\\ & =\underset{z\to i}{lim}(z-i)\frac{1}{(z-i)(z+i)(z-3i)(z+3i)}\\ & =\underset{z\to i}{lim}\frac{1}{(z+i)(z-3i)(z+3i)}\\ & =\frac{1}{16i},\end{array}$$
$$\begin{array}{rl}\mathrm{Res}(f,z_2)& =\underset{z\to z_2}{lim}(z-z_2)f(z)\\ & =\underset{z\to 3i}{lim}(z-3i)\frac{1}{(z-i)(z+i)(z-3i)(z+3i)}\\ & =\underset{z\to 3i}{lim}\frac{1}{(z-i)(z+i)(z+3i)}\\ & =-\frac{1}{48i},\end{array}$$por lo que:
$${\int }_{C_R}\frac{1}{(z^2+1)(z^2+9)}dz+{\int }_{-R}^R\frac{1}{(t^2+1)(t^2+9)}dt=2\pi i[\frac{1}{16i}-\frac{1}{48i}]=\frac{\pi }{12}.$$

Notemos que:
$$|(z^2+1)(z^2+9)|=|z^2+1||z^2+9|\ge ||z^2|-1|||z^2|–9|=(R^2-1)(R^2-9).$$

Entonces, de la proposición 34.3(5) tenemos que:
$$\begin{array}{rl}\left|{\int }_{C_R}\frac{1}{(z^2+1)(z^2+9)}dz\right|& \le {\int }_{C_R}\frac{1}{|(z^2+1)(z^2+9)|}|dz|\\ & \le \frac{1}{(R^2-1)(R^2-9)}{\int }_{C_R}|dz|\\ & =\frac{1}{(R^2-1)(R^2-9)}\ell (C_R)\\ & =\frac{\pi R}{(R^2-1)(R^2-9)},\end{array}$$de donde:
$$\underset{R\to \mathrm{\infty }}{lim}\left|{\int }_{C_R}\frac{1}{(z^2+1)(z^2+9)}dz\right|\le \underset{R\to \mathrm{\infty }}{lim}\frac{\pi R}{(R^2-1)(R^2-9)}=0.$$

Por lo tanto:
$$\text{P.V.}{\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\frac{1}{(t^2+1)(t^2+9)}dt=\underset{R\to \mathrm{\infty }}{lim}{\int }_{-R}^R\frac{1}{(t^2+1)(t^2+9)}dt=\frac{\pi }{12}.}$$

Tarea moral

1. Evalúa la siguientes integrales, donde la circunferencia $C(z_0,R)$ está orientada positivamente.
   a) ${\displaystyle {\int }_{C(0,3)}{\displaystyle \frac{dz}{z^4+z^3-2z^2}}}$.
   b) ${\displaystyle {\int }_{C(0,1)}{\displaystyle \frac{z^2+3z-1}{z(z^2-3)}}dz}$.
   c) ${\displaystyle {\int }_{C(0,3)}{\displaystyle \frac{z^2+1}{(z-1{)}^2}}dz}$.
   d) ${\displaystyle {\int }_{C(0,1/10)}{\displaystyle \frac{dz}{z^5-1}}}$.
2. Muestra que:
   $${\int }_0^{2\pi }\frac{dt}{1+{\cos }^3(t)}=\pi .$$
3. Determina el residuo de la función $f(z)={\displaystyle \frac{\pi \cot (\pi z)}{z^2}}$ en $z_0=0$.
4. En cada caso determina el residuo de cada función en todas sus singularidades aisladas.
   a) $f(z)={\displaystyle \frac{1+z}{z}}$.
   b) $f(z)=\csc (\pi z){\displaystyle \frac{z+1}{z-1}}$.
   c) $f(z)={\displaystyle \frac{1+z}{z^2+2z+2}}$.
   d) $f(z)={\displaystyle \frac{\mathrm{sen}({\mathrm{z}}^2)}{z^2(z^2+1)}}$.
5. Verifica que:
   $${\int }_0^{2\pi }\frac{\cos (2t)dt}{5-4\cos (t)}=\frac{\pi }{6}.$$
6. Prueba que $\mathrm{Res}(f+g,z_0)=\mathrm{Res}(f,z_0)+\mathrm{Res}(g,z_0)$.
7. Prueba que si $f$ tiene un polo simple en $z_0$ y $g$ es analítica en $z_0$, entonces:
   $$\mathrm{Res}(f(z)g(z),z_0)=g(z_0)\mathrm{Res}(f(z),z_0).$$
8. Muestra que:
   $$\text{P.V.}{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\frac{1}{(t^2+1)(t^2+4)}dt=\frac{\pi }{6}.$$

Más adelante…

Esta entrada es la última de estas notas. En ella hemos definido lo que es un residuo de una función analítica y establecimos algunos resultados que nos permiten su cálculo. En particular abordamos el Teorema del Residuo y vimos algunas aplicaciones de este resultado para evaluar integrales reales.

Como es bien sabido, la teoría de la Variable Compleja es muy extensa, por lo que existen muchas otras aplicaciones de la misma, que resultan muy útiles para resolver problemas relacionados con Ecuaciones Diferenciales, Transformadas de Laplace, Transformadas de Fourier, entre otros tantos. Sin embargo, debido a lo extenso de dichos temas, tales aplicaciones se escapan del objetivo de estas notas, pero pueden consultarse sobre ellas en la bibliografía de estas notas.

Entradas relacionadas

• Ir a Variable Compleja I.
• Entrada anterior del curso: Clasificación de ceros y singularidades de una función analítica.