UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

FACULTAD DE ELECTRNICA Y ELCTRICA

TEORA DE RESIDUOS PARA CALCULAR INTEGRALES DE FUNCIONES

DE VARIABLE COMPLEJA

GRUPO:
N2
PROFESOR:
Ral P. Castro Vidal
CURSO:
FUNCIONES ANALTICAS
INTEGRANTES:
LUQUE CISNEROS, MIGUEL ANGEL 15190198
YNGA NUEZ , LUIS ANGEL 15190231
QUITO CSPEDES, ANGEL 15190169
PEREZ MONTERO, JERALD
MANTILLA , AUGUSTO

2017
CLASIFICACIN DE LAS
SINGULARIDADES
AISLADAS.
En lo que sigue dado a C
denotamos para R>0 con
DR (a) = {z C: |z| < R}
Al disco abierto de centro a y radio
R>0, y denotamos con
Al disco abierto pinchado de centro a
y radio R>0, es decir el conjunto que
resulta del disco abierto DR(a)
retirando su centro a. Denotamos con
Al entorno abierto en de centro y
de radio 1/R. Denotamos con
Al entorno abierto pinchado de ca
radio 1/R, es decir al conjunto que
resulta del entorno D1/R () en
retirando su centro .
DEFINICION
Singularidad aislada. Un punto a
C se dice que es una singularidad de
f si f o bien o est definida en z=a, o
bien est definida y no es analtica en
ningn entorno de a (por ejemplo, si
es discontinua en a).
Se dice que una singularidad de f es
una singularidad aislada si f
( ()) para algn entorno
pinchado () de a con radio R>0.
El punto del plano complejo
compactificado se dice que es una
singularidad aislada de f si f
( ()) para algn entorno
() con radio 1/R>0.
pinchado 1/
1) La funcin Log(, ]z holomorfa
en C{z = x R: x 0} no tiene
singularidades aisladas.
2) Si f(z) es holomorfa en y Z0 ,
entonces la funcin (f(z)f(z0)) /(zz0)
es holomorfa
en {z0} y por lo tanto tiene en z0
una singularidad aislada.
3) Los polos de las funciones
racionales son singularidades
aisladas.
4) La funcin ez tiene en una
singularidad aislada.
5) La funcin e1/z tiene en 0 una
singularidad aislada.
6) Si f es holomorfa en la regin y
no es idnticamente nula, entonces
los ceros de f son
aislados. Luego la funcin 1/f es
holomorfa en Z donde Z es el
conjunto
de ceros de f, y tiene en cada punto
de Z una singularidad aislada.
CLASIFICACIN DE LAS
SINGULARIDADES
AISLADAS.
Dada una singularidad aislada a C
de f, se define:
a es singularidad evitable de
f si lmza f(z) C.
a es un polo de f si
lmza f(z) = .
a es una singularidad esencial
de f si no existe lmza f(z) en
C.
Dado singularidad aislada de f se
define:
es singularidad evitable de f
si lmz f(z) C.
es un polo de f si
lmz f(z) = .
es una singularidad esencial
de f si no existe lmz f(z) en
C.
Ejemplos.
1) Los polos de una funcin racional
son polos tambin segn la definicin
anterior.
2) Si f(z) es holomorfa en la regin
y no es idnticamente nula, entonces
1/f(z) es holomorfa
en Z donde Z es el conjunto de
ceros de f. Cada cero a de f es un
polo de 1/f. En efecto, si
k 1 es el orden del cero a de f,
entonces f(z) = (z a) k g(z) con g
analtica y g(a) 0. Luego
1/f = 1/ ((z a) k g(z)) cuando
z a.
3) Si f es holomorfa en y z0
entonces (f(z)f(z0)) /(zz0) tiene en
z0 una singularidad
evitable.
4) La funcin ez tiene en una
singularidad esencial.
5) La funcin e1/z tiene en 0 una
singularidad esencial.
6) Los polinomios de grado n 1
tienen en un polo.
RESIDUOS
Definicin. Residuo de una funcin
en una singularidad aislada.
Dada una funcin f que tiene en a C
una singularidad aislada, se llama
residuo de f en a,
y se denota como Resf (a) al siguiente
nmero complejo:
1
() = ()
2
donde es cualquier curva cerrada
contenida en el entorno pinchado
() donde f es holomorfa, y tal que
da una sola vuelta en sentido
antihorario alrededor de a. Por
ejemplo, suele tomarse
= Dr(a), donde 0 < r < R.
Nota 15.1.2. Se observa que el
residuo, definido arriba, no depende
de la eleccin de la curva .
En efecto, si 1 y 2 fueran dos de
tales curvas, llamemos S a un
segmento contenido en () que
vaya de un punto 1 11 a un punto
2 2 La curva =1 + S 2 S es
cerrada y homotpica a un punto en
(). Por el teorema de Cauchy
global () = 0 .
 Luego la integral de f a lo largo de 1
es igual a la integral de f a lo largo
de 2 .
El residuo de una funcin en una
singularidad aislada se puede
calcular de tres formas diferentes:
Con la frmula integral de la
definicin
Como el coeficiente 1 del
desarrollo en serie de Laurent
de la funcin f centrado en z =
(o en ).
Con la frmula de derivacin,
cuando la singularidad aislada
en un polo
La definicin se puede interpretar
como sigue: la funcin tiene una
singularidad aislada en
z = . El rastro que deja (residuo) la
singularidad al ser integrada la
funcin f en una curva
alrededor de a es el nmero 1 de
su desarrollo en serie de Laurent. Los
dems coeficientes del desarrollo en
serie de Laurent de f no participan en
el momento de calcular la integral de f
en curvas cerradas.
En el teorema de los residuos,
veremos que al conocer los residuos
en todas
las singularidades aisladas, se puede
calcular la integral de f a lo largo de
cualquier curva cerrada contenida en
el conjunto abierto donde f es
analtica.
FRMULA DEL RESIDUO.
Si f en la singularidad aislada
tiene desarrollo de Laurent con
coeficientes an, n Z:
+
() = ( ) ()
=
Entonces el residuo de f en a es:
Resf(a)=a-1
Nota: El residuo de un polo que no es
simple, o de una singularidad
esencial, puede ser cero.
Pero la de un polo simple es siempre
diferente de cero, porque en ese caso
el coeficiente a1 del desarrollo de
Laurent es necesariamente no nulo.
Demostracin:
En el corolario 13.3.1, sobre la
existencia de la serie de Laurent en
un entorno pinchado de la
singularidad aislada a se demuestra
que el coeficiente an del desarrollo
cumple:
cualquiera sea la curva cerrada
() tal que () = 1.
Luego, en particular para n=-1 se
cumple:
Que es por definicin el residuo de f
en a.
CLCULO DE LOS Alternativamente, desarrollando g en
serie de Taylor en zo obtenemos
RESIDUOS EN LOS
POLOS ()
() =

Residuos en los polos simples. () ()
(0)+ ()()+ ()2 + ()3
Naturalmente, la utilidad del Teorema =
2 3
+

de los Residuos reside en la posibilidad
de calcular los residuos sin integrar, as () ()
= + () + ( )
que apenas tiene inters prctico si no 2
se dispone de algn procedimiento ()
+ ( )2 +
sencillo para determinar los residuos. 3
Para singularidades esenciales no
existe ningn mtodo que pueda que es la serie de Laurent de f en z0.
emplearse de manera sistemtica ms En consecuencia, el residuo de f en
que usar las series de potencias de las z0 es
funciones elementales. La situacin es
por completo diferente para los polos, (, 0) = (0).
en los que los residuos pueden
calcularse mediante derivacin. El caso Habitualmente sabemos que una
ms sencillo es el de los polos simples. funcin f tiene un polo simple en un
punto z0 porque es dela forma
Si f tiene un polo simple en z0,
entonces podemos escribir ()
() =
() ()
() = siendo g una funcin
analtica en un crculo centrado en zo donde g y h son dos funciones
tal que (0) 0. Entonces, analticas en un crculo centrado en
aplicando la Frmula Integral de z0 tales
Cauchy, que z0 es un cero simple
de () (0) 0. Para usar la
1
(, ) = () frmula anterior debemos escribir
2
h(z) = (z z0) q(z), siendo q derivable
1 () en z0 con q(z0) 0. Entonces
=
2
= ()
donde C es una curva de Jordan, ()()
orientada positivamente, que rodea a () =

z0 tal que g es analtica en su regin
interior.
con lo cual Teorema de los Residuos. Para ello
debemos determinar las
() singularidades del integrando. Tanto
(, ) = ,
() el numerador ez como el
denominador ez + 1 son funciones
() enteras, as que las singularidades
Ahora bien, como () = siempre
del cociente son los ceros del
que z est cerca de zo, pero zzo y q
denominador, es decir, los logaritmos
es continua zo, obtenemos
de 1. Puesto que 1 tiene mdulo 1
()
() = lim ( ) = () y argumento , sus logaritmos son

los puntos de la forma
En definitiva,
= Log(1) + j (arg(1) + 2n)
() = (2n + 1)j, con n
(, ) = Z.
()

En cada uno de estos puntos, tanto el

frmula que slo depende de las
numerador como la derivada del
funciones g y h de partida y no
denominador valen ambas
requiere calcular previamente la
^ = 1, luego todas son polos
funcin q. Debemos resaltar aqu,
simples del integrando y el residuo en
para ayudar a evitar un error muy
todas ellas es 1. Dentro de la
comn, que esta frmula slo vale
circunferencia C slo hay cuatro de
cuando z0 es un cero simple de h(z) y
ellas: 3j, j, j y 3j. Por tanto, la
g(z0) 6= 0. Si, por ejemplo, z0 es un
integral vale:
cero doble de h(z) y un cero simple
de g(z), entonces z0 es un polo
simple de h(z)/g(z) pero su residuo no

puede calcularse mediante la frmula = 2(1 + 1 + 1 + 1)
g(z0) /h0(z0) (s es verdad que hay + 1
= 8
una frmula alternativa, pero algo
ms complicada).

Ejemplo. Vamos a calcular la integral

+1

siendo C la circunferencia con centro

en el origen y radio 10, usando el
RESIDUOS EN LOS que es la serie de Laurent de f en z0.
Por tanto, el residuo de f en z0 se
POLOS MLTIPLES obtiene tomando n = N 1 en el
Para un polo de orden N > 1 la sumatorio y vale
situacin es un poco ms complicada.
En ese caso podemos escribir
f (z) = (z z0) Ng(z) siendo g una 1 ()
funcin analtica en un crculo (, ) =
( 1)!
centrado en z0. Entonces, aplicando
la Frmula Integral de Cauchy para la
derivada
Para usar esta frmula en la prctica,
(N 1)-sima
necesitamos expresar g en trminos
de f, lo que se hace poniendo
() = ( 0) ().
1
(, ) = () Entonces,
2
1 ()
= 1 1
2 ( ) (, ) = lim ((
( 1)! 1
1 ()
= ) ())
( 1)!

En particular, para un polo doble nos

donde C es una curva de Jordan, queda
orientada positivamente, que rodea a
z0 tal que g es analtica en su regin (, ) = lim (( )2 ())

interior.
Hay que tener en cuenta, sin
Alternativamente, desarrollando g en embargo, que en general resulta ms
serie de Taylor en zo obtenemos cmodo usar las propiedades de las
series de potencias, sobre todo la
regla para dividir, que la frmula
() cuando el polo es triple o de mayor
() =
( ) orden.


()
= ( ) ( )
! Ejemplo. Consideremos la funcin
=0

()
= ( )
! cot() cos()
=0
() = 2
= 2
()
Entonces las singularidades de f (z) Imponiendo:
son z0 = 0 y los ceros de la funcin
sen (z) que son los puntos zn = n 2 ()() = cos()
con n Z. Puesto que
cos(zn) = cos(n) = (1) n, tenemos y escribiendo los correspondientes
que z0 = 0 es un polo triple de f y desarrollos queda:
cada entero zn = n 0 es un polo
simple de f. Calculamos ahora los ()3 3 2 1
2 ( +)( 3 + 2 +
residuos correspondientes. Para 6
n 0:
+)

cos() ()2 ()4

=1 +
(, ) = 2 , ( = )
2 4
()
(1) Si ahora simplificamos,
2 1
= = 2
(1) 32
( +)
6
= (3 + 2 + 1 2
Por otro lado, para n = 0 tendramos
+)
que calcular
()2 ()4
=1 +
2 4

1 3 cos() Multiplicamos e identificamos los
(, ) = lim ( 2 )
2 0 () coeficientes:

1 cos()
= lim ( )
2 0 () 1
3 = 1 3 = ,

Podemos derivar las dos veces 2 = 0 2 = 0,

requeridas y tomar lmite
comprobando que el residuo es /3. 3 3
1 = 1
Sin embargo, es ms fcil obtener el 6 2
valor del residuo a partir del 2 2
= + 1 =
desarrollo en serie de Laurent. 2 6 3

3 2 1
() = + 2 + + + 1
3
+
La parte principal del desarrollo de f EL PRINCIPIO DEL
en z0 es, entonces,
ARGUMENTO
NMERO DE CEROS Y POLOS
1
3
, ENCERRADOS POR UNA CURVA:
3
Sea f una funcin analtica en un
En particular, el residuo de f en 0 es dominio y sea C una curva de
Jordan contenida en tal que f no se
. anula en ninguno de sus puntos. Sea
3
N el nmero de ceros de f en la regin
interior a la curva de contados tantas
veces como indica su multiplicidad.
Supongamos que las nicas
singularidades de f en la regin interior
a la curva C son polos y sea P el
nmero de polos de f en dicha regin
contados tantas veces como indica su
multiplicidad. Entonces
1 ()
=
2 ()
Existe una interpretacin geomtrica
de este resultado que es de inters en
algunas aplicaciones. Para ello
estudiamos cmo en la imagen de la
curva C bajo la transformacin =
(). Sabemos que = f(C) ser una
curva en el plano de la variable w que
no pasa por el origen de coordenadas
porque f (z) 0 obre C y la pregunta
que nos planteamos es cuntas
vueltas da alrededor del origen?
Para calcular este nmero de vueltas,
fijemos un punto 0 = (0 ) y una
rama inicial del argumento, digamos
arg(0 ) = 0 [0, 2). Al recorrer la
curva C en sentido positivo partiendo
de 0 , recorremos la curva , pero
vamos a hacerlo de manera que los
valores del argumento de = ()
varen de forma continua; es decir, si
damos una vuelta alrededor del
origen, nos damos un salto en el valor Una funcin f definida sobre una
del argumento. Al terminar volvemos a abierto del plano complejo C se dice
0 pero el argumento, que ha variado meromorfa en si existe tal
de forma continua, ser un valor 1 tal que:
que 1 0 = 2 para algn nmero a. = ,
entero n que es, precisamente, el b. (\A), y
nmero de vueltas que da alrededor c. tiene un polo en cada punto
del origen. Entonces 2 se denomina de A.
variacin el argumento de f en la
El conjunto de todas las funciones
curva, ser positivo o negativo segn
meromorfas en un abierto se notar
que las curvas se den el sentido
por (). Para cada ()
positivo o negativo, y se suele
notaremos por () al conjunto de
representar por arg(). Pues bien,
todos sus polos en .
la variacin del argumento coincide
Si definimos, para cada (), una
con 2(N-P).
funcin
funciones meromorfas
Dado un subconjunto abierto U del ;
, ()
plano complejo, una funcin () {
(), \()
es meromorfa si es holomorfa en todo

el abierto U excepto en un conjunto

en .
de puntos aislados formado por sus
polos. CEROS DE FUNCIONES
Las funciones: HOLOMORFAS
7 + 3 5 + 1 La funcin () = 5 2 4 + 3 2
1 () =
2 1 3 + 1 tiene un cero en z = 1, es decir,
5
3 + 1 f (1) = 0, y se puede descomponer
2 () = 3
3 2 como

3 () =

() = ( 1)2 () donde
son funciones meromorfas en todo el
() = 3 + 1 (1) 0.
plano. El conjunto de puntos aislados
de
Por ello se dice que 1 es un cero de
1 {1, +1}, 2 3 {0}.
multiplicidad 2 de f.
La funcin () = no es
meroforma en todo el plano En general, un nmero complejo a es
complejo, ya un cero de multiplicidad n de una
que z = 0 es una singularidad funcin f holomorfa en un entorno
esencial, es decir, no existe ni abierto de a, si f puede

() ni (). descomponerse

como
 PRINCIPIO DEL
() = ( )2 ()
()
ARGUMENTO PARA UNA
0. CURVA SIMPLE
Sea f una funcin meromorfa definida
Denotaremos por ()el conjunto de en un abierto que contenga a = {
ceros de la funcin f y si a es un cero || = 1}
de f, entonces su multiplicidad ser y que no tenga polos ni ceros en C.
denotada por (, ). Sea () = ([0, 2]).
Sea N el nmero de ceros de la
POLOS DE FUNCIONES funcin f en el interior de C,
contndolos tantas veces como
HOLOMORFAS indiquen sus multiplicidades.
5 3+1
La funcin () = 3 3 2 Sea P el nmero de polos de la funcin
f en el interior de C, contndolos tantas
veces como indiquen sus
se puede descomponer como multiplicidades.
Entonces, se verifica que
()
() = ()3 donde () = 5 3 + 1 ()
=
1 () 0. 2 ()

Por ello se dice que i es un polo de

RACES ENSIMAS
multiplicidad 3 de f.
En general, sea un entorno HOLOMORFAS
abierto de a y {} una El principio del argumento permite
funcin holomorfa. El nmero averiguar si una cierta funcin
complejo a es un polo de multiplicidad holomorfa
n tiene races ensimas holomorfas, es
de la funcin f, si f puede decir, si existe una funcin holomorfa
descomponerse como g tal que = .
() Sea f una funcin holomorfa definida
() = en un abierto conexo . Son
( )
donde h es una funcin holomorfa en equivalentes:
todo () 0
Denotaremos por P (f) el conjunto de Existe una funcin holomorfa g
polos de la funcin f y si a es un polo definida en tal que = .
de f, entonces su multiplicidad ser
denotada por v (f, a).
 Para cada curva cerrada de holomorfa en salvo singularidades:
clase 1 a trozos tal que F ().
ningn cero Aplicamos a ella el teorema de los
de f est en el rango de , se residuos:
cumple 1 1
=
1 () 2 2
. = a () ()(, )
2 ()
b () ()(, )
PRINCIPIO DEL [*]
ARGUMENTO Calculemos estos residuos que
aparecen en la formula anterior:
GENERALIZADO. a. Sea (). :
Sean = (). Sean
() () como fueron definidos > 0: 0 < | | <
ms arriba. Para cada a () y b \()
(), se definen los nmeros enteros {
() 0
no negativos m(a) y n(b). Consecuentemente,
Supongamos que es (, )
nulhomlogo y que * ( () () 0, (, ){}
()) = . Se tiene: () = ( )() (),
Entonces, para cada g (, ).
(), se tiene Si derivamos en esta ltima frmula,
1 con 0< |z a| < r:

2 () = ()( )()1 ()
+ ( )() ().
= ()()()
a ()
Por tanto, con 0 < |z-a| < r:
()()(). ()
b () () = () + ()()

(, ) = lim( )() =

Demostracin: ()(). [1]

Llamemos : = () (). Si b. Sea (). :
definimos
() > 0: 0 < | | <
: \S ; F(z) (), \()
() {
\S () 0
Tenemos una funcin holomorfa en Consecuentemente,
\S, donde S = ; luego F es (, )
() 0, (, ){}
Se tiene: () = ( problema de la localizacin de ceros
() de funciones holomorfas en ciertas
) (), (, ).
Si derivamos en esta ltima frmula, regiones
con 0< |z b| < r : del plano.
() = ()( )()1 () Comenzaremos con unos tipos de
+ ( )() (). funciones y de abiertos muy
Por tanto, con 0 < |z - b| < r: especficos:
() polinomios sobre secciones circulares.
() = () + ()() Despus pasaremos a funciones

(, ) = lim( )() = holomorfas en general sobre dominios

o abiertos acotados.
()(). [2]
Sea p un polinomio de coeficientes
En resumen, si sustituimos [1] y [2] en
complejos de variable compleja de
[*], tendremos lo buscado.
orden n.
En la prctica, las condiciones en las
Sean, , < < . Se
que se hace uso del teorema anterior
trata de determinar el nmero de
suelen ser otras.
ceros del polinomio dado, contado
cada uno tantas veces como indique
PRINCIPIO DEL su orden
ARGUMENTO: de multiplicidad, en la regin angular.
Sea f una funcin meromorfa definida
en un abierto conexo no {{0}: < arg() < }.
idnticamente nula. Si C es el rango Se supondr, para ello, que p no se
de una curva cerrada de clase 1 a anula en la frontera de dicha regin
trozos tal que ningn cero ni polo de angular;
f est en C, entonces se verifica que: es decir:

1 () ( ) 0 ( ), 0.
(1)
2 ()
= (, )(, )
Sea 1 max{||: , () =

0} . >
(, )(, ), 1 , , ,

{ : || < }.
donde slo hay una cantidad finita de
sumandos no nulos.
Dicho N tendr una expresin integral
(mediante el principio del argumento).
A continuacin, vamos a hacer uso del
Consideremos, a fin de confirmar lo
principio del argumento para resolver
dicho, las curvas
el

( ())
= ()
() , [, ]; ( ())
(
) ()
, 0 =
() { ( )()
, 0

= ,

Y sea + . Claramente, es
un camino (curva regular a trozos)
cerrada tal que = por lo que la integral buscada coincide
Las comprobaciones de las hiptesis con la variacin del logaritmo a lo largo
del principio del argumento pasarn de la curva . En consecuencia (y
por este va a ser el problema prctico que
ver que: resolver en cada caso concreto), si
disponemos de una determinacin
a. p es una funcin entera; continua
b. es un ciclo del argumento (equivalentemente, del
que (gracias a logaritmo) a lo largo de la curva ,
(1) y a la eleccin de r) no pasa esto es, si disponemos de una funcin
por ningn cero de p; y continua
c. = 1,
. : [, ] ; ()
; () = 0, \
[( )()], [, ],

Por tanto, aplicando el citado principio:

Tendremos que
1
=
2 1 1 ( )()
= ln |( |+
1 2 2 )()
= 1
2 ( () ()) (3)
2
1
+ (2)
2
Vamos a calcular las correspondientes Para la segunda de las integrales en
integrales. Para el primer sumando, (2), razonamos de la siguiente
observamos que manera: podemos escribir
() 1 ()
= + ,
() 2 ()
Donde 1 y
2 (2 )
(1 ) 2. Es claro que
 1
= =
2 2
()
;
2

1
Y slo resta tratar con la integral
2
La relacin entre los polinomios 1 y
2 :
1 ()
2 , > 0: || > 2 | | 2
2 () ||
Por tanto, para r > 2 :
1 1 () 1
| | ( ),
2 2 () 2 ||2
Luego:
1 1 ()
lim = 0 ;
+ 2 2 ()

Y usando (4), tenemos:
1 ()
lim =
+ 2 ()
()
.
2

(5)

Haciendo ahora + en (2) y

teniendo en cuenta (3) y (5),
obtenemos:
( ) 1
= lim ( ()
2 2 +
()).
Ejercicios

Evaluar la integral

2 + 1
4
4 3 + 16 2 64

Donde C es la frontera del rectngulo con vrtices en -2-5i; 5-5i; 5+5i y -2+5i.

-2-5i 5+5i

-2-5i 5-5i

2 + 1

( 4)( 4)( + 4)

= 0, = 4, = 4, = 4

= 2(()=0 + ()=4 + ()=4 + ()=4 )

2 + 1
()=0 = ( 0)0
( 4)( 2 + 16)

2 + 1
= 0
( 4)( 2 + 16)

1 1
= =
(4)(16) 64
()=4 15(1 )
=
28
2 + 1
= ( 4)4 2 + 1
( 4)( 2 + 16)
( 4)( 4)( + 4)
2 + 1
= 4 1 17 15 15 15
()( 2 + 16) = 2( +
64 29 256 256 256
17 17
= = 15
(4)(32) 128 + )
256
()=4 1 17 15
= 2( + )
= ( 64 29 128
1 1
2 + 1 = 2 ( + ) = 2(0) = 0
4)4 64 64
( 4)( 4)( + 4)
Evaluar la integral:
2 + 1
= 4
( 4)( + 4) cos(4)

( 2 + 1)( 2 + 4)
15
=
(4)(4 4)(8)
Solucin:
15 15
= = Sea:
32(4 4) 4(32)(1 )

15 (1 + ) 15 e4
= 7 = 8 (1 + ) 2 2

2 2 2 ( + 1)( + 4)

()=4 e4
() = ( 2 +1)( 2 +4)

= (
: = +; = +2
2 + 1
+ 4)4 = ; = 2
( 4)( + 4)( 4)

e4
2 + 1 2 2

= 4 ( + 1)( + 4)
( 4)( 4)

15 = 2(()=
=
(4)(4 4)(8) + ()=2 ) ()
15
=
e4 e4
32(1 + )(4) = +
2 2 ( 2 + 1)( 2 + 4)
( + 1)( + 4)


e4


e4 ( 2 + 1)( 2 + 4)

2 2

( + 1)( + 4)


cos(4) + (4) 3 4
= ()
( 2 + 1)( 2 + 4) 0

e4
: 2
( + 1)( 2 + 4)
e4
: 2
( + 1)( 2 + 4)
0

En efecto: 0

Reemplazando de (I) y (II):

e4
2 ;
( + 1)( 2 + 4) cos(4)


( 2 + 1)( 2 + 4)

=

e 4 (4)
+
( + 1)( 2 + 4)
2 ( 2 + 1)( 2 + 4)

4 = 2( () + 2 ())
=
2 + 1 2 + 4
= ((

4(+)

4
)
( )( + )( + )
Se sabe:
4

= +
= ( + ) + lim( )
( )( + )( 2 + 4)
= = () 4 8
= 2( +
2(3) 3(4)
4

4 4 8
= 2( )
1 6 12
= = (, )
4 4

Entonces:

cos(4)

( 2 + 1)( 2 + 4) ( + 2 3)2 ( + 2 + 3)2

4 1 8

= ( + ) =
3 2 ( 2 + 4 + 13)2


sen(4)
= 0 +
( 2 + 1)( 2 + 4) ( 2 + 4 + 13)2

Evaluar la integral:


= 0
( 2 + 4 + 13)2 ( + 2 3)2 ( + 2 + 3)2

Consideramos:

= , :
( 2 + 4 + 13)2

() =
( 2 + 4 + 13)2

0
() ( 2 + 4 + 13)2

= :
( 2 + 4 + 13)2

2 + 4 + 13 = 0
En efecto:
( 2 + 4 + 4) + 9 = 0

2 ;
( + 2) = 9 ( 2 + 4 + 13)2

+ 2 = 3 =

1 = 2 + 3 2 = 2 3
,
( 2 + 4 + 13)2


( + 2 3)2 ( + 2 + 3)2

( 2 + 4 + 13)2
= 2=2+3 () ()

=
2 + 4 + 132

1
= = =
4 4 3


( 2 + 4 + 13)2 2

( 2 + 4 + 13)2

0



( 2 + 4 + 13)2

= 2=2+3 ()

1
= 2 lim ( + 2
(2 1)! 2+3

3)2
( + 2 3)2 ( + 2 + 3)2

= 2 lim
2+3 ( + 2 + 3)2

2 + 3
= 2( )
36

1
=
6 9
CONCLUSIONES
Podemos afirmar que, de alguna manera, el comportamiento de una funcin
analtica cerca de sus singularidades aisladas determina cmo es la propia
funcin globalmente. Lo comprobamos en el Teorema de los Residuos de
Cauchy, uno de los teoremas ms importantes de la teora de funciones de
variable compleja. El residuo de una funcin analtica en una singularidad
aislada es el valor del coeficiente C-1 en su correspondiente desarrollo de
Laurent() .

El Teorema de los Residuos generaliza el Teorema de la Integral de Cauchy a

funciones que son analticas salvo en un conjunto finito de singularidades, y
establece que la integral de una tal funcin sobre una curva de Jordan recorrida
en sentido positivo es igual al producto de 2j por la suma de sus residuos en
las singularidades interiores a la curva.

La teora de residuos proporciona una tcnica de evaluacin efectiva de

integrales de la forma:

, H (A): A={z: z singularidad aislada de f

El punto esencial de esta teora lo encontramos en el hecho de que Laurent

nos permite expresiones de la forma =1 2 ()() +1 para
(, ) en las condiciones mencionadas previamente.
REFERENCIAS
Complex variables and applications- Churchill

Variable compleja con aplicaciones- Derrick

Curso de anlisis complejo- Francisco Prez (Universidad de Granada)