Trab Asc Int enVC Braulio Jairo PDF

2
C
C
A
A
P
P
I
I
T
T
U
U
L
L
O
O
I
I
I IN NT TE EG GR RA AC CI I N N E EN N E EL L P PL LA AN NO O C CO OM MP PL LE EJ JO O
Introduccin
En este captulo, se estudian algunas definiciones que se utilizan en el clculo
de integrales complejas: integrales de funciones complejas de variable real, integrales
de lnea e integrales sobre contornos en el plano complejo. Tambin se estudian
algunos teoremas tiles para el desarrollo y estudio de estas integrales. Adems, se
realiza un estudio sobre la parametrizacin de contornos del plano complejo.
Finalmente, se trata acerca de la frmula integral de Cauchy, y la frmula de la
derivada n_sima.
Integrales de Funciones Complejas de Variable Real (FCVR)
Para efectuar el clculo de las integrales de funciones complejas de variable
compleja, debemos comenzar estudiando a las integrales de funciones complejas de
variable real.
Si tenemos una funcin compleja de variable real ( ) w t , se define a la integral
definida en el intervalo real ( , ) a b , como el nmero complejo:
3
( )
b
a
w t dt
}
(1.1)
si se tiene que:
( )
( ) dW t
w t
dt
=
entonces, se puede calcular a la integral (1.1) como:
( ) ( ) ( )
b
a
w t dt W b W a =
}
Propiedades de la integral definida de FCVR
a) ( ) ( ) ( ) ( )
1 2 1 2
b b b
a a a
cw t w t dt c w t dt w t dt + = +
} } }
, c e (Linealidad)
b) ( ) ( ) Re Re
b b
a a
w t dt w t dt
(
= (

(

} }
c) ( ) ( ) Im Im
b b
a a
w t dt w t dt
(
= (

(

} }
d) ( ) ( )
b b
a a
w t dt w t dt s
} }
Ejemplo1.1
Calcular:
0
t
e sent dt
t
}
De acuerdo a la propiedad c), es vlido escribir:
0 0 0
I Im( ) Im
t t jt t jt
e sent dt e e dt e e dt
t t t
= = =
} } }
4
(1 )
0
1 1 1
I Im Im ( 1)
1 1 2
j t
e
e e
j j
t
t
t +
| |
| | +
| = = =
|
|
+ +
\ .
\ .
Integrales de FCVC sobre curvas en el plano complejo
Definicin 1.1
Dadas una funcin compleja f(z) y una curva C en el plano complejo, la
integral de f sobre C se define como:
1
( ) lim ( )
n
B
k k
A n
k
f z dz f z
=
= A
}
donde
k
est en el segmento que une
k
z y
1 k
z
+
, y
1 k k k
z z z
+
A = . Vase la figura
1.1.
A
B
z
1
z
2
z
3
z
n+1
z
k+1
z
k

k
z
k
C:
Figura 1.1
5
A la curva C se le llama trayectoria o contorno de integracin. En adelante,
trabajaremos con curvas seccionalmente suaves, es decir, formada por la unin de un
nmero finito de curvas suaves (poseen recta tangente en todo punto).
Calculo de la integral de lnea
Si C es una curva suave definida por:
: ( ) , C z z t a t b = < <
tal que:
( ) ( ) A z a y B z b = = , y adems ( ) ( ) , z t t a b ' - e
entonces la integral de lnea se puede obtener a travs de la integral de variable real:
( ) ( ) ( ) ( )
B b
A a
C
f z dz f z t z t dt ' =
} }
(1.2)
Este mtodo de clculo de las integrales de lnea complejas puede usarse
siempre, sin embargo veremos ms adelante que existen casos de uso muy frecuente
que pueden resolverse por mtodos ms sencillos, (Frmula de Cauchy, Residuos).
Parametrizacin de curvas en el plano complejo
Como podemos observar en la frmula (1.2), para calcular una integral de
lnea sobre una curva, debemos disponer de una representacin paramtrica de la
misma. Existen infinitas representaciones paramtricas para un contorno cualquiera,
6
sin embargo, el resultado de la integral de lnea es independiente de la
parametrizacin que se utilice.
A continuacin, se muestra una gua para obtener una de las posibles
representaciones paramtricas de los contornos que aparecen con mayor frecuencia en
los problemas sobre integracin paramtrica.
Caso A: Curva definida por una funcin ( )
1 2
, y f x x x x = s s
Versin paramtrica: ( ) { }
1 2
: / , C z z t jf t x t x = + s s
El recorrido de la curva se realiza de izquierda a derecha.
Ejemplo1.2
Una posible parametrizacin para el arco de la parbola
2
3 1 y x = +
comprendido entre x = -1 y x = 2, viene dada por:
( ) { }
2
: / 3 1 , 1 2 C z z t j t t = + + s s
Caso B: Curva definida por una funcin ( )
1 2
, x f y y y y = s s
Versin paramtrica: ( ) { }
1 2
: / , C z z f t jt y t y = + s s
El recorrido de la curva se realiza de abajo hacia arriba.
7
Ejemplo1.3
Una posible parametrizacin para el arco de la curva
3
1 x y = comprendido
entre y = 0 y y = 4, viene dada por:
{ }
3
: / 1 , 0 4 C z z t jt t = + s s
Caso C: segmento de recta que une a
1
z con
2
z
Versin Paramtrica: { }
1 2 1
: / ( ), 0 1 C z z z j z z t = + s s
El recorrido del segmento se realiza desde el punto
1
z hasta el punto
2
z .
Ejemplo1.4
Una posible parametrizacin del segmento de recta comprendido desde
1
1 z j = + hasta
2
2 z j = , viene dada por:
{ } : / 1 (1 2 ) , 0 1 C z z j j t t = + + s s
Caso D: arco de circunferencia con centro
0 0 0
z x jy = + y radio R, comprendida
desde el arco
1
u y el arco
2
u .
Versin Paramtrica:
{ }
1 2
: / Re ,
jt
C z z t u u = s s
8
El recorrido del arco se realiza en sentido antihorario. Debido a que un arco se
puede expresar como 2 , 0, 1, 2 k k u t + = , es necesario que los valores de
1
u y
2
u se escojan de tal manera que
1 2 2 1
, 2 u u u u t < s .
Ejemplo1.5
Una posible parametrizacin de la mitad derecha de la circunferencia de radio
4 y centro
0
z j = , viene dada por:
: / 2 ,
2 2
jt
C z z j e t
t t
= + s s
`
)
Propiedades de la integral de lnea compleja
a) Linealidad:
( ) ( ) ( ) ( ) ,
B B B
A A A
cf z g z dz c f z dz g z dz c + = + e (
} } }

Esta propiedad se demuestra directamente a partir de la definicin, observando
que el lmite y la sumatoria gozan de la propiedad de linealidad.
b) Particin del contorno de integracin:
Si C es un contorno que cumple con
1 2 1 2
, C C C C C = = C, y adems
1 2
C y C son suaves, entonces se cumple que:
9
( ) ( ) ( )
1 2
C C C
f z dz f z dz f z dz = +
} } }
Esta propiedad se extiende a una particin con mayor nmero de contornos
suaves.
c) Reparametrizacin del contorno de integracin:
Si ( ) : , C z z t a t b = s s , es una parametrizacin del contorno, se puede
obtener otra parametrizacin utilizando la funcin
( ) , t s c s d | = s s
la cual cumple con las siguientes caractersticas:
La funcin ( ) t s | = debe ser continua y suave el intervalo | | , c d , adems
debe ser inyectiva en el intervalo, y su imagen es el intervalo | | , a b .
Por lo tanto la nueva parametrizacin del contorno tiene la forma:
( ) ( ) ( ) : , C z z s w s c s d | = = s s
( ) ( ) ( ) ( ) ( ) ( ) ( )
B b d
A a c
C
f z dz f z z t dt f w z s s ds | | ' ' ' = =
} } }
como:
( ) ( ) ( ) ( ) z s s w s | | ' ' ' =
resulta que:
10
( ) ( ) ( )
B d
A c
C
f z dz f w w s ds ' =
} }
La integral entonces es independiente de la parametrizacin utilizada para el
contorno de integracin.
d) Cambio en el sentido de recorrido:
( ) ( )
B A
A B
C C
f z dz f z dz
=
} }
Si la parametrizacin de C viene dada por : ( ) , C z z t a t b = s s , entonces:
( ) ( ) ( ) ( )
B b
A a
C
f z dz f z t z t dt ' =
} }
Ahora, reparametrizando a C mediante , t s a b a s b = + + s s , de tal
manera que ahora C es recorrida en sentido contrario:
: ( ) , C z w s a s b
= s s
( ) ( ) ( ) ( ) ( ) ( 1)
A b b
B a a
C
f z dz f w w s ds f w w s ds
' ' = =
} } }
Esta propiedad es sumamente til, debido a que si se dispone de una
parametrizacin de la curva con un cierto sentido de recorrido, esta propiedad nos
permite calcular la integral con un recorrido contrario al que posee la parametrizacin
utilizada con solo cambiar el signo de la integral.
11
Ejemplo1.6
Calcular:
2
2 z j
z dz
=
}
Aplicando el caso D sobre parametrizaciones de curvas, se tiene:
: 2 , 0 2
jt
C z j e t t = + s s
por lo tanto:
2
( 2 )( 2 ) 1 2 ( ) 4 5 4
jt jt jt jt
z zz j e j e j e e sent

= = + + = + = +
2
jt
dz je dt =
sustituyendo y aplicando las propiedades de la integral compleja de variable real:
2 2 2 2
2
2
0 0 0 0
2
(5 4 ).2 10 8 cos 8
jt jt
z j
z dz sent je dt j e dt j sent tdt sen tdt
t t t t
=
= + = +
} } } } }
donde finalmente:
2
2
8
z j
z dz t
=
=
}
12
Ejercicios Propuestos
Calcule las siguientes integrales de lnea:
1. ( ) ( ) { }
2
, / 3, Re Im
1
C
z
dz C z z z z
z
= = s
+
}
2. ( ) { }
1
, / 1 Re 2
( ) 1
C
z
dz C z z
Arg z
+
= s s
+
}
3. ( ) { }
, / 3 Im 4
1
C
z
dz C z z
z
= s s
+
}
4.
1
C
z z
dz
z
+
}
, donde C es la frontera de
{ }
: / 1 2, Im( ) 0 B z z z s s
5.
2
1 2
1
z
z z
dz
z
=
+
}
6.
1
C
z
dz
z
+
}
, C: Triangulo de vrtices 1 z = , 2 z = y 3 z j = +
7.
2
2 1
2
2
z
z z
dz
z
=
+
}
8.
1 2
1
1
z
z
dz
z
=
+
}
13
La desigualdad ML
Esta desigualdad es muy importante para el anlisis de algunas integrales
reales que se estudiarn en el captulo III.
Desigualdad M.L:
( )
,
. ( )
B
A B
A
C
f z dz M L C s
}
donde:
,
max ( ) ,
A B
M f z z C = e
y
,
( )
B
A B
A
C
L C dz =
}
es decir, la longitud del arco
, A B
C .
La desigualdad ML permite hallar una cota mxima para el mdulo de la
integral compleja.
Si suponemos que el arco
, A B
C posee la representacin paramtrica:
,
: ( )
A B
C z z t a t b = s s
entonces, para hallar M debemos resolver un problema de optimizacin de una
variable real sobre un intervalo cerrado, del cual sabemos que siempre existe un
mximo:
14
| | max ( ( )) , , M f z t t a b = e
En algunos casos, es ms conveniente hallar M de la siguiente forma:
| |
2
max ( ( )) , , M f z t t a b = e
debido a que:
2
( ( )) ( ( )). ( ( )) f z t f z t f z t =
En el caso de que el arco se parametrize por trozos, debemos hallar el mximo
para cada trozo utilizando el procedimiento anterior, multiplicarlo por su longitud y
luego sumar los resultados, es decir:
si
, 1 2 A B K
C CUC U C = y max ( ) , 1..
i i
M f z z C i k = e =
entonces:
( )
1
. ( )
k
i i
i
C
f z dz M L C
=
s
}
La longitud del arco se obtiene a travs de la integral dada, o directamente
aplicando frmulas conocidas en el caso de ciertas curvas como por ejemplo arcos de
circunferencia, segmentos rectos, etc.
Tambin resulta de utilidad para obtener cotas superiores hacer uso de las
desigualdades:
1 2 1 2
z z z z + s +
para los numeradores, y:
15
1 2 1 2
z z z z >
para los denominadores.
Ejemplo1.7
Obtenga una cota superior utilizando la desigualdad ML para:
2
2
C
z
dz
z +
}
donde C es la parte superior de la circunferencia centrada en el origen y radio uno,
unida con el dimetro sobre el eje real, recorrida en sentido antihorario.
Figura 1.2
Sea
1 2
C CUC = , con:
1
: , 0
jt
C z e t t = s s y
2
: , 1 1 C z t t = s s
Las longitudes se obtienen a partir de frmulas conocidas, (Circunferencia,
Recta).
C
1
C
2
Re(z)
Im(z)
16
1
( ) L C t = ,
2
( ) 2 L C =
( )
2
2
2 2 4
2
( )
2 2
4Re 4
z
z z
f z
z z
z z
| || |
= =
| |
+ +
\ .\ . + +
sobre
1
C :
| |
2
1
1
max , 0,
5 4cos 2
M t
t
t = e
+
1
1 M = cuando
2
t
t
=
sobre C
2
:
| |
2
2
2
4 2
max , 1,1
4 4
t
M t
t t
= e
+ +
2
8
8
M = cuando 2 t =
finalmente:
2
1 1
1. .2
8 4 1
C
z
dz
z
t t s + = +
+
}
17
Obtenga una cota superior para el mdulo de cada una de las integrales siguientes,
haciendo uso de la desigualdad ML.
1. ( ) ( ) { }
2
, / 2, Re 0, Im 0
1
C
dz
C z z z z
z
= = > >
}
2.
4
C
dz
z
}
, : C Segmento de recta desde z j = a 1 z =
3. ( )
z
C
e z dz
}
, : C Tringulo con vrtices en los puntos 0, 3j y -4
Pruebe que:
4.
{ }
2
ln
2 , / ( 1)
R
C
Logz R
dz C z z R R
R z
t
t
+ | |
< = = >
|
\ .
}
18
Integracin sobre contornos simples cerrados
Definicin 1.2
Sea C un contorno con representacin : ( ) , C z z t a t b = s s . C es un
contorno cerrado simple si se cumple que:
( ) ( ) ( )
1 2 1 2
, z t z t t t t a b = = e y ( ) ( ) z a z b = .
Lo expresado anteriormente significa, geomtricamente, que la curva no se
cruza a s misma.
A los contornos simples se les denomina curvas de Jordan. Los contornos
simples cerrados generan dos dominios: uno acotado (interior del contorno), y otro no
acotado (exterior del contorno).
Figura 1.3
Para calcular las integrales de lnea sobre contornos simples cerrados,
podemos usar el teorema de Green y calcular integrales dobles sobre el interior ( ) B
del contorno.
Contorno cerrado no simple Contorno cerrado simple
19
Sean ( ) ( ) ( ) , , f z u x y jv x y = + , con u, v continuas y diferenciables sobre C y
en su interior, y dz dx jdy = + , entonces:
( ) ( ) ( ) | | , ,
C C
f z dz u x y jv x y dx jdy = + + (
} }
( ) ( ) ( ) ( ) ( ) , , , ,
C C C
f z dz u x y dx v x y dy j v x y dx u x y dy = + + ( (
} } }
aplicando el Teorema de Green a ambas integrales :
( ) ( ) ( ) ( ) ( ) , , , ,
x y x y
C
B B
f z dz v x y u x y dxdy j u x y v x y dxdy ( ( = +
} }} }}
(3)
Teorema 1.1: Teorema de Cauchy
Sean C un contorno cerrado simple, y ( ) f z una funcin continua y analtica
sobre C y en su interior. Entonces:
( ) 0
C
f z dz =
}
Demostracin:
Si ( ) f z es analtica sobre C y en su interior, se deben cumplir las ecuaciones
de Cauchy-Riemann, es decir:
( ) ( )
( ) ( )
, ,
, ,
x y
x y
u x y v x y
v x y u x y
=
=
20
si sustituimos estas relaciones en el ecuacin (3), tendremos el resultado deseado:
( ) 0
C
f z dz =
}
Teorema 1.2: Deformacin de contornos
Sean C y C
1
contornos simples cerrados, con C
1
contenida en el interior de
C. Si ( ) f z es analtica sobre C y C
1
y en todos los puntos del dominio doblemente
conexo D delimitado por C y C
1
, entonces:
( ) ( )
1
C C
f z dz f z dz =
} }
Demostracin:
Definamos los caminos auxiliares
1 2
, I I , que unen a los contornos C y C
1
,
segn se muestra en la figura 1.4.
Como la funcin ( ) f z es analtica en todos los puntos del dominio
doblemente conexo D delimitado por C y C
1
, entonces las integrales sobre los
contornos cerrados
1 1 2 A A
C C
I I y
2 1 1 B B
C C

I I , son iguales a cero.
21
Figura 1.4
En consecuencia se cumple que:
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
1 1 2
2 1 1
0
0
A A
B B
C C
C C
f z dz f z dz f z dz f z dz
f z dz f z dz f z dz f z dz
I I
I I
+ + =
=
} } } }
} } } }
sumando las igualdades anteriores se tiene:
( ) ( ) ( ) ( )
1 1
0
A B A B
C C C C
f z dz f z dz f z dz f z dz + =
} } } }
como:
A B
C C C = y
1 1 1 A B
C C C =
entonces queda:
( ) ( )
1
C C
f z dz f z dz =
} }
C
B
C
A
C
1B
C
1A
2
C=C
A
UC
B
C
1
=C
1A
UC
1B
22
El teorema 1.2 puede ser generalizado para ms contornos simples cerrados en
su interior, (figura 1.5).
( ) ( ) ( ) ( )
1 2 k
C C C C
f z dz f z dz f z dz f z dz = + + +
} } } }

Figura 1.5
Independencia de la trayectoria e integrales indefinidas
Teorema 1.3
Sea ( ) f z una funcin analtica en un dominio simplemente conexo D, y sean
A y B dos puntos de D. Entonces para todo contorno C de A a B, contenido en D, el
valor de la integral:
( )
B
A
C
f z dz
}
C
1
C
2
C
3
C
k
C
23
es independiente del contorno C.
Teorema 1.4: Integracin de funciones que son derivadas de funciones
analticas
Sea ( ) F z una funcin analtica en un dominio D tal que
( )
( )
dF z
f z
dz
= en D.
Entonces si
1
z y
2
z son puntos de D, se cumple que:
( ) ( ) ( )
2
1
2 1
z
z
f z dz F z F z =
}
Demostracin:
Sea:
( ) : , C z z t a t b = s s
con
( ) ( )
1 2
, z z a z z b = =
una parametrizacin del contorno C. Entonces, aplicando la frmula (1.2) para
calcular integrales de lnea, y teniendo en cuenta que:
( ) ( ) ( ) ( ) F z t f z z t ' ' =
se tiene que:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
2 1
b b
a a
C
f z dz f z t z t dt F z t F z F z ' = = =
} }
(1.4)
24
Ejemplo1.8
Calcule:
1
2
1
( )
j
z senz dz
+
+
}
Integrando, se obtiene la primitiva de la funcin f(z):
3
2
( ) cos
3
z
z senz z + = +
}
aplicando la frmula (1.4):
1
3 3 3
1
2
1
1
(1 )
( ) cos cos(1 ) cos1
3 3 3
j
j
z j j
z senz dz z j
+
+
+
+ = + = + +
}
1
3
1
2
1
1
2
( ) cos cos1cosh1 cos1 (1 1 1)
3 3
j
j
z
z senz dz z j sen senh
+
+
+ = + = + +
}
Frmula Integral de Cauchy y de la derivada n-sima.
Sea ( ) f z una funcin analtica sobre un contorno simple cerrado C y en su
interior. Sea
0
z un punto del interior de C . Entonces:
( )
( )
0
0
1
2
C
f z
f z dz
j z z t
=
}
despejando:
( )
( )
0
0
2
C
f z
dz j f z
z z
t =
}
(1.5)
25
Demostracin:
Para demostrar la frmula de Cauchy probemos primero que:
( ) ( )
0
0
0
C
f z f z
dz
z z
}
Aplicando la desigualdad ML:
( ) ( ) ( ) ( )
( ) ( )
0 0
0
0 0
1
.2
C C
f z f z f z f z
dz dz Max f z f z R
z z z z R
t

s s

} }
( ) ( )
( ) ( )
0
0
0
2
C
f z f z
dz Max f z f z
z z
t
}
debido a la continuidad de ( ) f z , se tiene que:
si ( ) ( )
0 0
z z f z f z o c < <
por lo tanto:
( ) ( )
0
0
2
C
f z f z
dz
z z
tc
}
Como el valor de c se puede hacer tan pequeo como se quiera, acercando
z a
0
z lo necesario, se puede tomar el lmite cuando 0 c , obtenindose:
26
( ) ( )
0
0
0
lim2 0
C
f z f z
dz
z z
c
tc
s =
}
luego:
( ) ( )
0
0
0
C
f z f z
dz
z z
}
separando en dos integrales y recordando que ( )
0
f z es constante:
( ) ( ) ( )
( )
0
0
0 0 0
1
0
C C C
f z f z f z
dz dz f z dz
z z z z z z
= =

} } }
tomando en cuenta que:
0
1
2
C
dz j
z z
t =
}
se obtiene finalmente la frmula de Cauchy:
( )
( )
0
0
1
2
C
f z
f z dz
j z z t
=
}
Ejemplo1.9:
Calcular:
3
1
cos
4
z
z
z e
dz
z z
=
+
+
}
27
Escribiendo la expresin integral adaptada a la frmula integral de Cauchy:
2
3
1 1
cos
cos
4
4
z
z
z z
z e
z e
z
dz dz
z z z
= =
+
+
+
=
+
} }
como:
2
cos
4
z
z e
z
+
+
es analtica dentro y sobre el contorno 1 z = , se aplica la frmula de Cauchy:
2
2
1 0
cos
cos
4
2 j j
4
z
z
z z
z e
z e
z
dz
z z
t t
= =
+
+
+
= =
+
}
28
Resolver:
1.
( )
2 2
, es 1
9 4 2
z
C
dz x y
C
e z
+ =
}
2.
{ }
2
1
, / 2 2
2 1
C
senh zdz
C z z j
j z z t
= =
+ +
}
3.
{ }
2
1
, / 2 2
2 1
C
senh zdz
C z z j
j z z t
= =
+ +
}
4.
{ }
2
1 cos( 1)
, / 4
2 2
C
z dz
C z z
j z z t
+
= =

}
29
Frmula de derivada n-sima
Si consideramos la frmula integral de Cauchy como la funcin compleja:
( )
( ) 1
2
C
f z
f s dz
j z s t
=
}
entonces, derivando sucesivamente a la expresin anterior, y evalundola en
0
s z = , se
obtiene la llamada frmula de la derivada n-sima.
( )
( )
( )
0
1
0
!
2 ( )
n
n
C
f z
n
f z dz
j z z t
+
=
}
(1.6)
Demostracin:
Sabiendo que la derivada de una suma es la suma de las derivadas, entonces:
( )
( )
( )
( )
2
1
1 1 1
2 2 2 ( )
C
C C
f z
d
d dz
f z
z s
z s
f s f z dz dz
j ds j ds j z s t t t
| |
|
\ .
' = = =
}
} }

derivando nuevamente:
( )
( )
3
1.2
2 ( )
C
f z
f s dz
j z s t
'' =
}
30
( )
( )
4
1.2.3
2 ( )
C
f z
f s dz
j z s t
''' =
}
.
.
.
( )
( )
( )
0
1
0
!
2 ( )
n
n
C
f z
n
f z dz
j z z t
+
=
}
despejando ahora la integral de la frmula, resulta un mtodo para obtener integrales
complejas sobre contornos cerrados:
( )
( )
( )
0
1
0
2
! ( )
n
n
C
f z
j
dz f z
n z z
t
+
=
}
Ejemplo1.10:
Calcular:
( )
2
5
cos
3
z
z
dz
z z
=
+
}
Como la funcin tiene singularidades aisladas 0 z = y 3 z = , dentro del
contorno descomponemos a la integral aplicando el teorema 1.2.
( )
1 2
2
2 2
5
cos cos
cos
3
3 3
z C C
z z
z
z z
dz dz dz
z z z z
=
+
= +
+ +
} } }
31
Aplicando la frmula de la derivada n-sima (ec. 1.6) para n = 2, y la formula
de Cauchy (ec. 1.5), respectivamente:
1
2
0
cos
cos 0.3 1.1 2
3
2 2
3 9 9
C
z
z
z
z
dz j j j
z z
t
t t
=
'
| |
+
= = =
|
+
\ .
}
2
2
2
3
cos
cos 2 cos3
2
3 9
z C
z
z
z
dz j j
z z
t
t
=
= =
+
}
finalmente:
( )
( )
2
5
2 cos3 1
cos
9 3
z
z
dz j
z z
t
=
=
+
}
32
Calcular:
1.
( )
21
1
cos 2
z
z
dz
z
=
}
2.
( )
( ) ( )
2
4
cos
1 3
z
z
sen e z
dz
z z
=
+
+
}
3.
( )
2
2
2
1
4 z j
dz
z = +
}
4.
( )
3
3
2
, : Contorno simple cerrado, en el interior de
C
z z
dz C w C
z w
+
}
5.
( )
20
1
cos 2
z
z
dz
z
=
}
6.
( )
( )
21
2
cos 2
1
z j
z
dz
z
=

}
7.
( )
2
2
1
, es el cuadrado cuyos vertices estan en 3 y 2
1
z
C
dz C z z j
e z
= =
}
33
Desigualdad de Cauchy
Por el teorema de la deformacin de contornos (teorema 1.2) se tiene:
( )
( ) ( )
( )
0
1 1
0 0
! !
2 2 ( ) ( )
r
n
n n
C C
f z f z
n n
f z dz dz
j j z z z z t t
+ +
= =

} }
donde:
0
: , 0 2
jt
r
C z z re t t = + s s
es una circunferencia con centro en
0
z y radio r.
Tomando el mdulo de la derivada n-sima:
( )
( ) ( )
( )
0
1 1
0 0
! !
2 2 ( ) ( )
r r
n
n n
C C
f z f z
n n
f z dz dz
j z z z z t t
+ +
= =

} }
y aplicando la extensin de la desigualdad triangular:
( )
( )
( )
( )
0
1
0
!
2
r
n
n
C
f z
n
f z dz
z z
t
+
s
}
luego, si:
( ) ( )
max M f z = sobre
r
C ,
1
1
0
n
n
z z r
+
+
=
y
( ) 2
r
L C r t =
aplicando la desigualdad ML, queda que:
34
( )
( )
0
1
! !
2
2
n
n n
n M n
f z M tc
t c c
+
s =
Esta desigualdad se denomina desigualdad de Cauchy.
Teorema 1.5: Teorema de Morera
Si ( ) f z es continua en un dominio simplemente conexo D, y si:
( ) 0
C
f z dz =
}
para toda trayectoria cerrada (C) en D, entonces ( ) f z es analtica en D.
Este teorema es el recproco del teorema de Cauchy.
35
C
C
A
A
P
P
I
I
T
T
U
U
L
L
O
O
I
I
I
I
S SE ER RI IE ES S I IN NF FI IN NI IT TA AS S D DE E F FU UN NC CI IO ON NE ES S D DE E V VA AR RI IA AB BL LE E C CO OM MP PL LE EJ JA A
Introduccin
En este captulo se estudian algunas definiciones y teoremas, que se utilizan
en el manejo y desarrollo de las series complejas infinitas, y en particular, en las
series de potencias, las cuales guardan una estrecha relacin con la integracin en el
plano complejo.
Convergencia de series complejas
Sea:
( ) ( ) ( )
1 2
1
j
j
u z u z u z
=
+ + =
(2.1)
una serie de un nmero infinito de trminos de funciones complejas de la variable z.
Definiendo las siguientes sumas parciales:
36
( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
1 1
2 1 2
3 1 2 3
1
n
n j
j
S z u z
S z u z u z
S z u z u z u z
S z u z
=
=
= +
= + +
=
se puede formar la sucesin:

( ) ( ) ( ) ( )
1 2 3
, , , , ,
n
S z S z S z S z (2.2)
y a continuacin, se define el lmite de esa sucesin.
Definicin 2.1:
Lmite de una sucesin: se dice que la sucesin (2.2) tiene por lmite a ( ) S z
cuando n , y lo indicamos como:
( ) ( ) lim
n n
S z S z
=
si N c - e , tal que ( ) ( )
n
S z S z c < , para todo n>N.
Esto quiere decir que es posible acercarse a ( ) S z tanto como se quiera,
simplemente tomando el nmero de trminos adecuado.
37
Convergencia ordinaria
Si la serie (2.1) es tal que la sucesin de sumas parciales (2.2) tiene por lmite
a ( ) S z cuando n , se dice que la serie converge y que su suma es ( ) S z . El
conjunto de valores de z para los cuales la serie converge se conoce como regin de
convergencia de la serie.
Entonces, para toda z que pertenezca a la regin de convergencia se cumple
que:
( ) ( )
1
j
j
S z u z
=
=
Convergencia absoluta
Definicin 2.2
Se dice que la serie ( )
1
j
j
u z
es absolutamente convergente, si la serie

( )
1
j
j
u z
es convergente.
Convergencia condicional
Definicin 2.3
Se dice que la serie convergente ( )
1
j
j
u z
es condicionalmente convergente,
si la serie ( )
1
j
j
u z
diverge.
38
Teoremas sobre convergencia de series complejas
Teorema 2.1
Una serie absolutamente convergente es tambin convergente en el sentido
ordinario.
Teorema 2.2
La suma de una serie absolutamente convergente es independiente del orden
en que se sumen los trminos.
Teorema 2.3
Si las series ( )
1
j
j
u z
y ( )
1
j
j
v z
son absolutamente convergentes con sumas

( ) U z y ( ) V z , entonces la serie formada por el producto de estas series, denotada
( )
1
j
j
w z
, es tambin absolutamente convergente y su suma vale W(z) = U(z).V(z) .

Es decir:
( ) ( ) ( ) ( ) ( ) ( )
1 1 1
. .
j j j
j j j
u z v z w z U z V z W z

= = =
= = =

Teorema 2.4
Criterio del cociente:
Sea la serie ( )
1
j
j
u z
, y considerando la expresin:
39
( )
( )
1
( ) lim
j
j
j
u z
z
u z
= (2.3)
entonces, si para un cierto z se cumple que:
( ) 1 z < , la serie converge absolutamente
( ) 1 z > , la serie diverge
( ) 1 z = , no podemos concluir acerca de la convergencia
Ejemplo2.1
Determinemos si la serie
2
1
1 9 25
1 1
2 8 32 2
n
n
n
=
= + + + + +
converge o diverge.
Aplicando el criterio del cociente (ec. 2.3) tenemos:
2
1
2
2
) 1 (
lim ) (
2
1
2
=
+
=
+

n
n
n
n
n
z
como ( ) 1 z < , la serie converge.
Ejemplo2.2
Estudiemos la convergencia de la serie geomtrica:
( )
2 3
0
1
n
n
S z z z z z
=
= = + + + +

40
Aplicando el criterio del cociente (ec. 2.3) tenemos:
( )
1
lim
n
n
n
z
z z
z
= =
entonces, la serie converge para todo 1 z < . Para hallar la suma de la serie se procede
de la siguiente manera:
La suma parcial hasta el trmino n viene dada por:
( )
2 3
1
n
n
S z z z z z = + + + + +
multiplicando por z a ambos miembros:
( )
2 3 1 n n
n
zS z z z z z z
+
= + + + + +
restando la primera ecuacin de la segunda, y despejando ( )
n
S z :
( )
1
1
, 1
1
n
n
z
S z z
z
+
= =
tomando el lmite cuando n , y considerando que 1 z < :

( ) ( )
1
1 1
lim lim , 1
1 1
n
n
n n
z
S z S z z
z z
+

= = = =

41
por lo tanto, resulta que:
2 3
1
1 , 1
1
z z z z
z
= + + + + <

42
Determine si convergen o divergen las siguientes series:
1.
( )
1
1
1
2 1
n
n
n
2.
( )
2
0
100
!
n
n
n
3.
1
2 !
n
n
n
n
n
4.
( )
1
4 6
7
n
n
n
j
n
5.
( )
( )
2 1
0
13
2 1 !
n
n
j
n
+
=
+
6.
1 n
n j
n j
7.
( )
1 n
n
tg j n t
8.
ln
1
cosh
n
n
j
n
n
t
=
| |
|
\ .
9.
( )
( )
1
2
1
2 cos
n
n
n
j
jn
=
+
Demuestre que las siguientes series convergen en los dominios indicados:

10. ( )
2
0
! , Im 0
jn z
n
n e z
=
>
11.
1
1
, 0
!
n
n
z
z n
=
>
12.
1
! ,
n
n
n
z
n z e
n
=
<
43
Convergencia uniforme de una serie
Definicin 2.4
Se dice que la serie ( )
1
j
j
u z
converge uniformemente a ( ) S z en la regin R,

si para todo 0 c > existe un nmero N e que no depende de z, tal que si R z e ,
entonces ( ) ( )
n
S z S z c < para todo n N > .
Teorema 2.5
Sea ( )
1
j
j
u z
una serie que converge uniformemente a ( ) S z en una cierta

regin R, y sea ( ) f z una funcin acotada en R. Entonces se cumple que en R la
serie:
( ) ( )
1
j
j
f z u z
converge uniformemente a ( ) ( ) f z S z .
Teorema 2.6
Sea ( )
1
j
j
u z

regin R. Si todas las funciones ( ) ( )
1 2
, , u z u z son continuas en R, entonces
tambin la suma ( ) S z es continua en R.
44
Teorema 2.7
Integracin de una serie:
Sea ( )
1
j
j
u z
una serie convergente uniformemente a ( ) S z en una cierta

regin R, y supongamos que todos los trminos ( ) ( )
1 2
, , u z u z son continuos en R.
Sea adems C un contorno en R, entonces se cumple:
( ) ( ) ( ) ( )
1 2
1
j
j
C C C C
S z dz u z dz u z dz u z dz
=
= = + +
} } } }

Teorema 2.8
Analiticidad de la suma de una serie:
Si ( )
1
j
j
u z
es convergente uniformemente a ( ) S z en una cierta regin R, y

si ( ) ( )
1 2
, , u z u z son funciones analticas en R, entonces ( ) S z es analtica en R.
Teorema 2.9
Diferenciacin de una serie:
Sea ( )
1
j
j
u z

regin R. Si ( ) ( )
1 2
, , u z u z son funciones analticas en R, entonces en todo punto
interior de dicha regin se cumple que:
45
( ) ( )
1
j
j
du z dS z
dz dz
=
=
Serie de Potencias
Definicin 2.5
Una serie de potencias positivas es una suma de la forma:
0
0
( )
n
n
n
a z z
(2.4)
Adems de los teoremas aplicables a las series complejas en general, a
continuacin se muestran algunos teoremas particulares para las series de potencias.
Teorema 2.10
Teorema de Abel:
Si (2.4) converge cuando
1
z z = , entonces esta serie converge absolutamente
para toda z, tal que
0 1 0
z z z z < .
Teorema 2.11
Convergencia uniforme y analiticidad de las series de potencia:
Si (2.4) converge cuando
1 0
z z z = = , la serie converge uniformemente para
todo z del disco
0
z z r s , donde
1 0
r z z < . La suma de la serie es una funcin
analtica cuando
0
z z r s .
46
Definicin 2.6
Crculo de convergencia:
El mayor crculo dentro del cual la serie (2.4) converge se llama crculo de
convergencia. El radio R del crculo se denomina radio de convergencia. El centro
0
z
del crculo se llama centro de desarrollo de la serie.
El radio de convergencia de la serie de potencias se determina a travs de las
frmulas:
( )
1
lim , 0
n
n
n
n
a
R a
a
+
= = (2.5)
1
lim
n
n
n
R
a
= (2.6)
Ejemplo2.3
Hallar el radio de convergencia de la serie de potencias ( )
0
cosh
n
n
n z
.
Para hallar el radio de convergencia, apliquemos la frmula (2.5):
cosh
cosh
lim lim
cosh( 1) cosh( 1)
n n
n
n
R
n n

= =
+ +
cosh 1
lim lim
cosh .cosh1 . 1 cosh1 tan . 1
n n
n
R
n senhn senh hn senh

= =
+ +
47
1 1
cosh1 1
R
senh e
= =
+
puesto que:
2
2
1
limtanh lim lim 1
1
n n n
n n
n n n
e e e
R n
e e e

= = = =
+ +
as pues, el radio de convergencia de la serie dada es
1
R
e
= .
48
Hallar el radio de convergencia de las siguientes series:
1.
1
n n
n
n z
2.
2
1
3
n
n
n
n
z
3.
( )
0
!
n
n
z a
n
4.
1
n
n
z
n
5.
2
1
n
n
z
n
6. ( )
1
n
n
n
e jz
7.
( )
1
1
n
n
z j
n j
=
+
+
8.
( ) 1
2
1
n
n
n
n
z j

=
9.
( )
1
cos
n
n
z
jn

=
49
Serie de Taylor
Teorema 2.12
Serie de Taylor:
Sea ( ) f z una funcin analtica en
0
z , sea D el mayor crculo centrado en
0
z
dentro del cual ( ) f z es analtica, y sea 0 R > el radio de D. Entonces existe una
serie de potencias (2.4) que converge a ( ) f z en D, es decir:
( )
0 0
0
( ) ,
n
n
n
f z a z z z z a
=
= <
, donde
( )
( )
0
!
n
n
f z
a
n
=
Demostracin:
Considerando el disco:
0
D:
s
z z R z z < =
siendo
s
z la singularidad ms cercana a
0
z . As se tiene que, ( ) f z es analtica en
D . Sea
1
z un punto en el interior de D y sea
1
C una circunferencia con centro en
0
z
y radio R
1
con
1
z z < R
1
< R. Entonces aplicando la frmula de Cauchy se tiene
que:
f(z
1
) = dz
z z
z f
j
C
}

1
1
) (
2
1
t
como:
50
1 0 0 1 0 1 0
1 1 1 1
( ) 1 ( ) z z z z z z z z z z
= =
+
se tiene que:
2 3
1 0 1 0 1 0
1 0 0 0 0
1 1
1
( )
z z z z z z
z z z z z z z z z z
(
| | | |
( = + + + +
| |

(
\ . \ .

,
1 0
0
1
z z
z z
<
(2.7)
Debido a que ( ) f z est acotada en
1
C , podemos multiplicar por ella en
ambos lados de la ecuacin 2.7:
( )
( ) ( ) ( ) ( )
2 3
1 0 1 0 1 0
1 0 0 0 0
1
( )
f z z z z z z z
f z f z f z f z
z z z z z z z z z z
(
| | | |
( = + + + +
| |

(
\ . \ .

(2.8)
que converge uniformemente en una regin que contenga a C
1
, en virtud del teorema
2.5.
Ahora bien, de acuerdo al teorema 2.7, la serie de la ecuacin (2.8) puede
integrarse trmino a trmino, es decir:
} } } }
+
=
1 1 1 1
...
) (
) (
2
) (
) (
) (
2
) (
2
1 ) (
2
1
) (
3
0
2
0 1
2
0
0 1
0 1
1
C C C C
dz
z z
z f
j
z z
dz
z z
z f
j
z z
dz
z z
z f
j
dz
z z
z f
j
z f
t t t t
y esta serie puede ser escrita como:
( )
2
1 0 1 1 0 2 1 0
( ) ( ) f z a a z z a z z = + + +
51
con:
}
=
=
+
1 !
) (
) (
) (
2
1
0
) (
1
0
C
n
n
n
n
z f
dz
z z
z f
j
a
t
(Frmula de la derivada n-sima)
Cambiando a la variable muda z
1
por z, obtenemos el resultado deseado:
( )
2
0 1 0 2 0 0
( ) ( ) , f z a a z z a z z z z R = + + + <
El valor de R puede ser , en cuyo caso la funcin se denomina funcin
entera.
Teorema 2.13
Unicidad de la serie de Taylor:
El desarrollo en serie de Taylor alrededor de
0
z de una funcin ( ) f z , es la
nica serie de potencias de
0
( ) z z que converge a ( ) f z , en todo punto de un disco
abierto centrado en
0
z .
Teorema 2.14
Consideremos el desarrollo en serie de Taylor de una funcin ( ) f z alrededor
de
0
z . El mayor disco abierto en el cual esta serie converge a ( ) f z en cada punto es
0
z z R < , donde R es la distancia entre
0
z y la singularidad de ( ) f z ms cercana.
52
Serie de Laurent
Teorema 2.15
Sea ( ) f z una funcin analtica en un anillo D definido por
1 0 2
R z z R < < .
Si D ze , entonces ( ) f z puede representarse mediante la serie convergente:
( )
0 1 0 2
0 1
0
( ) ,
( )
n n
n
n
n n
b
f z a z z R z z R
z z

= =
= + < <

donde:
( )
( )
0
!
n
n
f z
a
n
=
} +
=
C
n
n
dz
z z
z f
j
b
1
0
) (
) (
2
1
t
Esta serie se denomina serie de Laurent. La suma de los trminos con
exponentes mayores o iguales a cero se denomina parte analtica de la serie, y la suma
de los trminos con exponente negativo parte principal.
Demostracin:
Consideremos un contorno
1
C contenido en el anillo
1 0 2
R z z R < < .
Aplicando la frmula de Cauchy tenemos que:
53
f(z
1
) = dz
z z
z f
j
C
}

1
1
) (
2
1
t
Figura 2.1
podemos descomponer la integral dada en dos integrales:
f(z
1
) = dz
z z
z f
j
C
}

1
1
) (
2
1
t
= I
1
+ I
2
donde:
1
I : integral sobre una circunferencia centrada en
0
z de radio
1
, recorrida en sentido
antihorario.
2
I : integral sobre una circunferencia centrada en
0
z de radio
2
, recorrida en sentido
horario.
R
2
R
1
z
0
1
z
1
I
2
I
1
Re(z)
Im(z)
54
I
1
= dz
z z
z f
j
z
}
=

1
1
) (
2
1
t
(2.8)
I
2
= dz
z z
z f
j
z
}
=

2
1
) (
2
1
t
(2.9)
aplicando el mismo anlisis que se utiliz para la serie de Taylor:
2
1 0 1 1 0 2 1 0
( ) ( ) I a a z z a z z = + + + =
=

0
0 1
) (
n
n
n
z z a (2.10)
con:
( )
( )
0
!
n
n
f z
a
n
=
adems, como:
0
1 1 0 0 1 0
1 0
1 1 1 1
( )
( ) ( )
1
( )
z z
z z z z z z z z
z z
= =
y haciendo uso de la serie geomtrica, se tiene que:

2
0 0
1 1 0 1 0 1 0
1 1
1
( )
z z z z
z z z z z z z z
(
| |
( = + + +
|

(
\ .

, si
0
1 0
1
z z
z z
<
introduciendo esta serie en la ecuacin 2.9:

55
...
) (
) )( (
2
1
) (
) )( (
2
1 ) (
2
1
I
2 2 2
3
0 1
2
0
2
0 1
0
0 1
2
+
=
} } }
= = =
t t t
z z z
dz
z z
z z z f
j
dz
z z
z z z f
j
dz
z z
z f
j
... ) )( (
2
1
) ( ) (
2
1
) ( I
2 2
0
2
0 1
1
0 1 2
+ + =
} }
=

t t
z z
dz z z z f
j
z z dz z f
j
z z
= + + =

... ) ( ) ( I
2
0 1 2
1
0 1 1 2
z z b z z b

=

1 0 1
) (
n
n
n
z z
b
(2.11)
con:
}
=
=
1
1
0
) )( (
2
1
t
z
n
n
dz z z z f
j
b
, n = 1, 2,
sumando (2.10) y (2.11):
( )
1 1 0
0 1
1 0
( )
( )
n n
n
n
n n
b
f z a z z
z z

= =
= +

finalmente, cambiando la variable muda
1
z por z se obtiene:
( )
0 1 0 2
0 1
0
( ) ,
( )
n n
n
n
n n
b
f z a z z R z z R
z z

= =
= + < <

El valor de
1
R puede ser cero, en cuyo caso se tiene un entorno reducido de
0
z . El desarrollo en serie en este tipo de anillo es de suma importancia para el clculo
del Residuo, el cual estudiaremos en el prximo captulo. Tambin
2
R puede ser .
56
Teorema 2.16
Unicidad de la serie de Laurent:
El desarrollo en serie de Laurent de una funcin ( ) f z analtica en un anillo
con centro
0
z , es la nica serie de potencias de
0
( ) z z que converge a ( ) f z en todo
punto en el interior del anillo.
Mtodos para obtener series de potencia convergentes (Laurent o Taylor)
El teorema de la unicidad de las series de Taylor (2.13) y de Laurent (2.16),
nos permite obtener series de potencias sin la necesidad de aplicar frmulas para
obtener los coeficientes de las mismas. Si obtenemos una serie de potencias por
cualquier procedimiento cuya convergencia uniforme este garantizada, entonces esta
ser la serie de Taylor o de Laurent.
Para obtener los desarrollos en serie, partiremos del conocimiento de las series
de ciertas funciones elementales de uso frecuente. A continuacin se muestran tales
desarrollos:
Serie geomtrica:
2 3
0
2 3
0
1 , 1
1
1 1 1 1 1
, 1
n
n
n
n
z z z z z
z
z
z z z z
= + + + + <
= >
Funcin exponencial:
2 3
0
1 ,
! 2! 3!
n
z
n
z z z
e z z
n
=
= = + + + + <

57
Funciones seno y coseno:
( )
( )
2 1 3 5
0
1 ,
2 1 ! 3! 5!
n
n
n
z z z
sen z z z
n
+
=
= = + <
+

( )
( )
2 2 4
0
cos 1 1 ,
2 ! 2! 4!
n
n
n
z z z
z z
n
=
= = + <

Funciones seno y coseno hiperblicos:
( )
2 1 3 5
0
,
2 1 ! 3! 5!
n
n
z z z
senh z z z
n
+
=
= = + + + <
+

( )
2 2 4
0
cosh 1 ,
2 ! 2! 4!
n
n
z z z
z z
n
=
= = + + + <

Funcin Logaritmo:
( )
( )
1
2 3
0
1
1 , 1
2 3
n
n
n
z
z z
Log z z z
n
+
+ = = + + <

Procedimientos prcticos para obtener series de Taylor y de Laurent
a) Suma y resta de series.
Si se conocen los desarrollos de ( ) f z y ( ) g z alrededor de
0
z , es decir:
( )
( )
( )
1
1 0 1
1 1
0
,
i
i
i
i
i i
b
f z a z z z D
z z

= =
= + e

58
( )
( )
( )
2
2 0 2
1 1
0
,
i
i
i
i
i i
b
g z a z z z D
z z

= =
= + e

entonces el desarrollo de ( ) ( ) f z g z + ser:
( ) ( )
( )
( )
1 2
1 2 0 1 2
1 1
0
( )
( ) ,
i
i i
i i
i
i i
b b
f z g z a a z z z D D
z z

= =
+
+ = + + e

Es importante destacar que debemos considerar para la suma, a todos los
trminos con grado menor o igual al grado deseado para la serie resultante.
Ejemplo2.4
Obtener la serie de Taylor de ( ) ( ) ( ) , f z sen z senh z z = < , hasta el
grado siete (7).
Como:
( )
3 5 7
1 1 1
,
3! 5! 7!
sen z z z z z z = + + <
( )
3 5 7
1 1 1
,
3! 5! 7!
senh z z z z z z = + + + + <
entonces:
( ) ( )
3 7
2 2
,
3! 7!
sen z senh z z z z = + <
59
b) Diferenciacin trmino a trmino.
Si se conoce el desarrollo de ( ) f z alrededor de
0
z , es decir:
( )
( )
( )
0
1 1
0
,
i
i
i
i
i i
b
f z a z z z D
z z

= =
= + e

entonces, el desarrollo de ( ) f z ' es:
( )
( )
( )
1
0
1
1 1
0
,
i
i
i
i
i i
ib
f z ia z z z D
z z

+
= =
= + e

La convergencia de la serie resultante est garantizada, en virtud del teorema
2.9.
Si deseamos aproximar a la serie resultante hasta cierto grado m , debemos
considerar hasta el grado 1 m + de la serie original.
Ejemplo2.5
Obtener la serie de ( )
( )
2
1
, 1
1
f z z
z
= <
, hasta el grado tres (3),

haciendo uso del desarrollo de
1
1 z
.
Como:
( )
2
1 1
1
1
z
z
'
(
=
(

60
entonces, derivando el desarrollo en serie:
2 3 4
1
1 , 1
1
z z z z z
z
= + + + + <

se obtiene que:
... 4 3 2 1
) 1 (
1
3 2
2
+ + + + =
z z z
z
, z <1
c) Integracin trmino a trmino.
Si se conoce el desarrollo de Taylor de ( ) f z alrededor de
0
z , es decir:
( ) ( )
0
1
,
i
i
i
f z a z z z D
=
= e
entonces, el desarrollo de ( )
0
z
f w dw
}
es:
( ) ( )
1
0
0
0
,
1
z
i
i
i
a
f w dw z z z D
i
+
=
= e
+
}
La convergencia de la serie resultante est garantizada, en virtud del teorema
2.7.
Si deseamos aproximar a la serie resultante hasta cierto grado m , debemos
considerar hasta el grado 1 m de la serie original.
61
Ejemplo2.6
Obtener la serie de ( )
0
z
sen s
Si z ds
s
=
}
, en un entorno de
0
0 z = .
Como:
3 5 7
1 1 1
,
3! 5! 7!
sen z z z z z z = + + <
entonces:
2 4 6
1 1 1 1
1 ,
3! 5! 7!
sen z
sen z z z z z
z z
= = + + <
ahora, integrando trmino a trmino se obtiene:
( )
3 5 7
1 1 1
,
3.3! 5.5! 7.7!
Si z z z z z z = + + <
Ejemplo2.7
Obtener la serie de
2
0
1
z
d s
Arctg z
s
=
+
}
, en un entorno de
0
0 z = .
Como:
2 4 6
2
1
1 , 1
1
z z z z
z
= + + <
+

entonces, integrando trmino a trmino:
62
3 5 7
, 1
3 5 7
z z z
Arctg z z z = + + <
d) Multiplicacin de series.
Si se conocen los desarrollos de ( ) f z y ( ) g z alrededor de
0
z , es decir:
( )
( )
( )
1
1 0 1
1 1
0
,
i
i
i
i
i i
b
f z a z z z D
z z

= =
= + e

( )
( )
( )
2
2 0 2
1 1
0
,
i
i
i
i
i i
b
g z a z z z D
z z

= =
= + e

entonces, se puede obtener el desarrollo de ( ) ( ) f z g z multiplicando los polinomios
de cada serie:
( ) ( )
( )
( )
( )
( )
1 2
1 0 2 0 1 2
1 1 1 1
0 0
( ) ( )
( ) ( ) ,
i i
i i
i i
i i
i i i i
b b
f z g z a z z a z z z D D
z z z z

= = = =
| || |
| | = + + e
| |

\ .\ .

Este producto se conoce como el producto de Cauchy, y de acuerdo a los
teoremas 2.3 (convergencia absoluta) y 2.5, la serie es convergente uniformemente en
el conjunto
1 2
D D .
Si se desea obtener la serie del producto hasta un cierto grado m, se deben
considerar las series de cada uno de los factores hasta el grado m, y desechar del
producto de polinomios a los trminos de grado superior a m.
63
Ejemplo2.8
Obtenga la serie de Taylor de ( ) cos cosh f z z z = , hasta el grado 8.
Como:
2 4 6 8
cos 1 ,
2! 4! 6! 8!
z z z z
z z = + + + <
2 4 6 8
cosh 1 ,
2! 4! 6! 8!
z z z z
z z = + + + + + <
multiplicando los polinomios y desechando los trminos de grado superior a ocho, se
tiene:
4 8
1 1
cos cosh 1- z + z + ,
6 2520
z z z = <
e) Divisin de series.
Dadas las series de Taylor de ( ) f z y ( ) g z centradas ambas en
0
z , se puede
obtener la serie de Taylor de
( )
( )
f z
g z
en
0
z , dividiendo la serie de ( ) f z entre la serie
de ( ) g z , como dos polinomios ordenados de forma creciente. La serie resultante ser
valida en el entorno de
0
z con radio de convergencia determinado por la distancia de
0
z a la singularidad ms cercana de
( )
( )
f z
g z
. Este procedimiento es extensible a series
de Laurent que contengan finitos trminos con exponente negativo.
64
Ejemplo2.9
Obtener el desarrollo en serie de
1
sen z
z
centrado en
0
0 z = .
Como:
3 5
,
6 120
z z
sen z z z = + <
1 1 , z z z = <
entonces, dividiendo los polinomios:
1 1
1 0 0 0
6 120
1 1
. 1
5 5 101 101
5
1 1
.
6 6 120 120
6
5
.
6
101
.
120
101
.
120
Nota: hemos aplicado la divisin sinttica, considerando solo a los coeficientes.

65
Por lo tanto:
2 3 4 5 6
5 5 101 101
, 1
1 6 6 120 120
sen z
z z z z z z z
z
= + + + + + + <

El radio de convergencia es la distancia desde el centro (
0
0 z = ) hasta la
singularidad ms cercana ( 1 z = ).
Ejemplo2.10
Obtener el desarrollo en serie de
z
e
z
, centrado en
0
1 z = .
Como:
( ) ( ) ( )
2 3
1
. 1 1 1 , 1
2! 3!
z z
e e
e e e e e z z z z
= = + + + + <
( ) 1 1 , 1 z z z = + <
entonces, dividiendo los polinomios:
66
2 6 24 120
1 1
. .
3 11
0
.
2 3 8 30
2
.
3
3
.
8
11
.
30
e e e e
e e
e e e e
e
e
e
e
e

Por lo tanto:
( ) ( ) ( ) ( )
2 3 4 5 9 44
1 1 1 1 , 1 1
2 3 24 120
z
e e e e e
e z z z z z
z
= + + + <
El radio de convergencia es la distancia desde el centro (
0
1 z = ) hasta la
singularidad ms cercana ( 0 z = ).
f) Composicin de series.
Si conocemos la serie de ( ) f z en
0
z , y la serie de ( ) g z en ( )
0
f z , entonces
la serie de ( ) ( )
g f z se obtiene realizando la composicin de las series. Si se desea
obtener la serie hasta cierto grado m, se deben obtener ambas series hasta el grado m
y desechar los trminos de grado superior a m en la serie resultante de la
composicin.
67
Ejemplo2.11
Obtenga la serie de ( )
senz
f z e = , en un entorno de 0 z = , hasta el grado 6.
Como:
3 5
,
6 120
z z
sen z z z = + < centrada en
0
0 z =
2 3 4 5 6
1 ,
2 6 24 120 720
z
z z z z z
e z z = + + + + + + < centrada en
0
0 sen z =
entonces:
2 6
3 5 3 5
3 5
6 120 6 120
1
6 120 2 120
sen z
z z z z
z z
z z
e z
| | | |
+ +
| |
| |
\ . \ .
= + + + + + +
|
\ .

desarrollando y descartando los trminos con grado mayor que 6, se obtiene:
2 4 5 6
1 ,
2 8 15 240
sen z
z z z z
e z z = + + + <
Ejemplo2.12
Obtener la serie de potencias de ( )
2
f z sen
z
| |
=
|
\ .
, en el anillo 0 z <
Como el desarrollo en serie de sen(w) es:
68
3 5 7
1 1 1
,
3! 5! 7!
sen w w w w w w = + + <
sustituyendo
2
w
z
= en la serie se obtiene:
3 5 7
2 2 1 2 1 2 1 2 2
,
3! 5! 7!
sen
z z z z z z
| | | | | |
= + + <
| | |
\ . \ . \ .

finalmente:
3 5 7
2 1 8 1 32 1 128 1
2 , 0
3! 5! 7!
sen z
z z z z z
= + + <
Ejemplo2.13
Determinar la serie de Taylor de ( )
2
1
1
f z
z
=
+
, en el disco 1 z < utilizada
en el ejemplo 2.5.
Si se observa que:
( )
2 2
1 1
1 1 z z
=
+
entonces, podemos utilizar la serie geomtrica para obtener la serie buscada. Como:
2 3
1
1 , 1
1
z z z z
z
= + + + + <

69
2 2
, z z z = <
haciendo la sustitucin:
( )
( ) ( ) ( )
2 3
2 2 2
2
1
1 , 1
1
z z z z
z
= + + + + <

finalmente:
2 4 6
2
1
1 , 1
1
z z z z
z
= + + <
+

g) Fracciones parciales.
La descomposicin en fracciones parciales de un cociente de polinomios,
permite obtener el desarrollo de la serie sumando los desarrollos de cada una de las
fracciones parciales.
Para ello debemos conocer el desarrollo en serie de la fraccin parcial
genrica:
( )
0
m
A
z z
(2.12)
en torno a un punto
1
z .
Si
0 1
z z = , el desarrollo de Laurent en el anillo
0
0 z z < < coincide con
la fraccin parcial.
70
Si
0 1
z z = tendremos un desarrollo en serie de Taylor en el disco
1 1 0
z z z z < , y un desarrollo de Laurent en el anillo
1 0 1
z z z z < < .
Sabiendo que los desarrollos siguientes son validos en los dominios sealados:
Serie geomtrica:
2
1
1 , 1
1
n
w w w w
w
= + + + <

2
1 1 1 1
, 1
1
n
w
w w w w
= >

es posible hacer uso de ellos para obtener el desarrollo de la fraccin (2.12),
escribindola de la siguiente manera:
( ) ( ) 1 0
0 1 0 1
1
0 1
1
( )
1
m m m m
A A A
z z
z z z z z z
z z
z z
= =
+ | | | |
| |
|
\ . \ .
Si denominamos a wcomo:
1
0 1
z z
w
z z
y teniendo en cuenta que:

71
( )
( )
1
1
1
1 1 1
1 !
1
m
m m
d
w
m dw
w
| |
|
\ .
=
cuya serie se obtiene derivando trmino a trmino a las series de

( )
1
1 w
,
obtenemos la serie deseada.
Para los casos ms frecuentes
( )
2
1
1 w
y
( )
3
1
1 w
se tiene:
( )
2 3 4
2
2 3 4 5 6
1 2 3 4 5 , 1
1
1 2 3 4 5
, 1 1
w w w w w
w w
w w w w w
+ + + + + <
=

+ + + + + >

( )
2 3 4
3
3 4 5 6 7
1 3 6 10 15 , 1
1
1 3 6 10 15
, 1 1
w w w w w
w w
w w w w w
+ + + + + <
=

+ >

Ejemplo2.14
Obtener los desarrollos posibles de
3
2
3 2
z
z z + +
, con centro
0
0 z = .
Descomponiendo la fraccin dada en fracciones parciales:
3
2
8 1
3
2 1 3 2
z
z
z z z z
= +
+ + + +
72
los desarrollos que cada fraccin parcial son:
3 3 , z z z = <
2 3 4 5
2 3 4 5
1 1 1
4-2z+z - z + z - z , 2
8 4
2 4 8
8 16 32 64 128 2
1
- + - + , 2
2
z z z z z
z
z
z
z
+ <
= =

+

+
+ >
2 3 4 5
2 3 4 5
-1+z-z +z -z +z , 1
1 1
1 1 1 1 1
1 1
- + - + - , 1
z z z z z
z
z z
z
+ <

= =

+ +
+ >
combinando adecuadamente, y sumando las distintas series tendremos:

3 4 5
3
2 3 4 5
2 5 4 3 2
5 4 3 2
1 3 7
z - z + z + , z 1
2 4 8
1 1 1 1 1 1 1 1
- + - + - -z+1+z - z + z - z + , 1 2
z 2 4 8 3 2 z z z z
127 63 31 15 7
- + - + +z-3 , 2
z z z z z
z
z
z z
z
<
= < <
+ +

<
Ejemplo2.15
Desarrollar en serie al cociente
3 2
1 z
z z
+
, con centro
0
1 z = .
Descomponiendo en fracciones parciales:
3 2 2
1 1 2 2
1
z
z z z z z
+
= +

73
los desarrollos que cada fraccin parcial, centrada en
0
1 z = son:
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
2 3 4 5
2
2 3 4 5 6
1 2 1 3 1 4 1 5 1 6 1 , 1 1
1
1 2 3 4 5
,1 1
1 1 1 1 1
z z z z z z
z z
z z z z z
+ + + <
=

+ + + <
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
2 3 4 5
2 3 4 5
2 2 1 2 1 2 1 2 1 2 1 , 1 1
2
2 2 2 2 2
,1 1
1
1 1 1 1
z z z z z z
z z
z
z z z z
+ + + <
=

+ + + <
2 2
, 0 1
1 1
z
z z
= <

combinando adecuadamente, y sumando las distintas series se obtiene:
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
2 3 4 5
3 2
2 4 5 6 7
2
3 4 1 5 1 6 1 7 1 8 1 , 0 1 1
1
1
1 1 2 3 4
,1 1
1 1 1 1 1
z z z z z z
z
z
z z
z
z z z z z
+ + + < <

+
=

+ + <

74
En cada uno de los siguientes casos, encuentre la serie de Taylor correcta para
( ) f z hasta el grado indicado, centrada en
0
z , indicando adems el disco de
convergencia:
1. ( )
2
( 3)( 1)
f z
z z
=
+
,
0
0 z = , 4 grado =
2. ( )
2
f z sen z = ,
0
0 z = , 5 grado =
3. ( )
2
z
f z e = ,
0
1 z = , 3 grado =
4. ( )
2
z
e
f z
z
=
,
0
1 z = , 3 grado =
5. ( )
2
f z sen z = ,
0
0 z = , 5 grado =
6. ( )
1
1 z
f z e

= ,
0
0 z = , 3 grado =
7. ( )
2
1
6
z
e
f z
z
= ,
0
0 z = , 10 grado =
8. ( )
1
z
z
f z
e
=
,
0
0 z = , los coeficientes , 1, 2,
k
B k = de cada trmino de grado
k se denominan nmeros de Bernoulli.
Obtenga las posibles series de Laurent y de Taylor para ( ) f z , centrada en
0
z ,
indicando el anillo o disco de convergencia, en cada uno de los siguientes casos:
9. ( )
3
2
1
2
z
f z
z z
+
=
+
,
0
1 z =
10. ( )
3 2
1
2
z
f z
z z z
=
+ +
,
0
0 z =
75
11. ( )
2
1
z
f z
z
=
+
,
0
z j =
12. ( )
( ) ( )
2
0
2
4 30 68
, 0
4 2
z z
f z z
z z
+ +
= =
+
13. ( )
0
2
, 0
4 13
z
f z z
z z
= =
+
14. ( )
( )
2
0
2
2
, 0
1
z
f z z
z
= =
+
76
C
C
A
A
P
P
I
I
T
T
U
U
L
L
O
O
I
I
I
I
I
I
R RE ES SI ID DU UO O Y Y S SU U A AP PL LI IC CA AC CI I N N E EN N L LA A I IN NT TE EG GR RA AC CI I N N
Introduccin
En este captulo, se estudiar el concepto del residuo de una funcin compleja
en un punto del plano, y su utilidad en el clculo de las integrales complejas sobre
contornos cerrados de funciones analticas con puntos singulares aislados, a travs
del teorema de los residuos. En general los residuos se calculan fcilmente, y gracias
a ello se tiene un mtodo efectivo para calcular integrales complejas e integrales
reales.
Residuo en una singularidad aislada
Definicin 3.1
Sea ( ) f z una funcin analtica sobre un contorno simple cerrado C
orientado, y en todo punto de su interior excepto en
0
z , se define al residuo de ( ) f z
en
0
z , el cual se denota ( )
0
Res , f z z (

, como:
Res| |
0
1
( ), ( )
2
C
f z z f z dz
j t
=
}
(3.1)
77
Figura 3.1
Relacin entre el residuo de una funcin y la serie de Laurent
Si
0
z es un punto singular aislado de ( ) f z , podemos desarrollar a esta
funcin en serie de Laurent alrededor de
0
z , obteniendo:
( )
0 0
0 1
0
( ) , 0
( )
n n
n
n
n n
b
f z a z z z z R
z z

= =
= + < <

(3.2)
al integrar a esta serie trmino a trmino, sobre un contorno simple cerrado C
contenido en el interior del entorno, es decir:
0
0 1
0
( ) ( )
( )
n n
n
n
n n
C C
b
f z dz a z z dz
z z

= =
(
= +
(

} }
y considerando el hecho de que:
0
0
0 si 1
( )
2 si 1
n
z z R
n
z z dz
j n t
=
=
=

=
}
C z
0
Re(z)
Im(z)
78
se obtiene:
( )
1
2 jb
C
f z dz t =
}
(3.2)
por lo tanto,
( )
0 1
Res , f z z b = (

(3.3)
es decir, el residuo de la funcin ( ) f z en el punto singular aislado
0
z , es igual al
coeficiente del trmino
0
1
z z
de la serie de Laurent de ( ) f z en el anillo
0
0 z z R < < , siendo R la distancia desde
0
z hasta la singularidad de ( ) f z ms
cercana a
0
z .
Se puede hablar de residuo en cualquier punto del plano complejo, sin
embargo, solo son de inters los residuos en las singularidades de la funcin, ya que,
el desarrollo de Laurent alrededor de puntos no singulares no contiene trminos de
exponente negativo, y en consecuencia en estos casos, el residuo ser nulo.
Ms adelante, veremos que para cierto tipo de singularidades que se presentan
con frecuencia, existen frmulas que permiten determinar el residuo de una funcin,
sin recurrir a su serie de Laurent.
Teorema de los residuos
Teorema 3.1
Sean C un contorno simple cerrado orientado en sentido antihorario, y
( ) f z una funcin analtica sobre C y en todo punto de su interior, excepto en las
singularidades aisladas
1 2
, , ,
k
z z z en el interior de C, entonces:
79
| |
1
( ) 2 Re ( ),
k
i
i
C
f z dz j s f z z t
=
=

}
(3.4)
Este teorema nos permite determinar el valor de una integral compleja sobre
un contorno cerrado, de una funcin analtica que posea singularidades aisladas en el
interior del contorno, a travs de la suma de los residuos de las singularidades
aisladas del interior del contorno, multiplicada por 2tj.
Demostracin:
A partir del teorema 1.2 generalizado, tenemos que:
1 2
( ) ( ) ( ) ... ( )
k
C C C C
f z dz f z dz f z dz f z dz = + + +
} } } }
(3.5)
donde
i
C es un contorno que encierra solo a la singularidad aislada
i
z .
Haciendo uso ahora de la definicin de residuo (ecuacin 3.1), tenemos que el
residuo en
i
z viene dado por:
Res| |
1
( ), ( )
2
i
i
C
f z z f z dz
j t
=
}
Despejando la integral obtenemos:
| | ( ) 2 Re ( ),
i
i
C
f z dz j s f z z t =
}
y sustituyendo en la ecuacin (3.5), se obtiene la ecuacin (3.4):
80
| |
1
( ) 2 Re ( ),
k
i
i
C
f z dz j s f z z t
=
=

}
Singularidades de una funcin analtica
A continuacin, se estudiarn las distintas clases de singularidades que puede
presentar una funcin analtica. Tambin se abordarn los mtodos que permitan
determinar el residuo, de acuerdo al tipo de singularidad.
Clasificacin de las singularidades
Las singularidades se clasifican en tres categoras (clases) a saber: evitables,
polos, y singularidades esenciales.
Singularidades evitables
0
z es una singularidad evitable de ( ) f z , si sta se puede redefinir
( ( ) f z ) de tal manera que ( ) f z sea analtica en
0
z . La funcin ( ) f z debe poseer
una serie de Taylor que converga a ( )
0
f z en
0
z .
El punto
0
z no es una singularidad de la funcin redefinida ( ) f z .
Ejemplo3.1
La funcin ( )
1 cosz
f z
z
= posee una singularidad evitable o

removible en
0
0 z = . Redefiniendo ( ) f z como:
81
( )
1 cos
, 0
0 , 0
z
z
f z
z
z

=
obtenemos una funcin analtica en

0
0 z = , ya que la serie de Taylor
( )
3 5
,
2! 4! 6!
z z z
f z z = + <
converge a ( ) 0 f en
0
0 z = .
Polo de orden N
Definicin 3.2
Decimos que una funcin ( ) f z tiene un polo de orden N en
0
z , si la potencia
ms negativa de
0
( ) z z de la parte principal del desarrollo de Laurent en un entorno
abierto con centro
0
z , es N.
La serie de Laurent centrada en el polo de orden N tendr la forma:
( )
1 2
0 0
2
0 0 0 0
( ) , 0
( ) ( ) ( )
n N
n
N
n
b b b
f z a z z z z R
z z z z z z
=
= + + + + < <

siendo R la distancia desde
0
z hasta la siguiente singularidad de ( ) f z ms cercana
a
0
z .
82
Cero de orden N
Definicin 3.3
Decimos que una funcin ( ) f z tiene un cero de orden N en
0
z , si la potencia
menos positiva de
0
( ) z z del desarrollo de Taylor en un entorno con centro
0
z , es N.
Es decir, que el desarrollo de Taylor de ( ) f z centrado en
0
z tendr la forma:
( ) ( ) ( )
0 0
0
N i
N i
i
f z z z a z z
+
=
=
, con 0
N
a =
Como consecuencia de la definicin de un cero, podemos enunciar el
siguiente teorema:
Teorema 3.2
Si
0
z es un cero de orden N de ( ) f z , entonces se cumple que:
( ) ( ) ( )
( )
0 0 0
0 , 0 , , 0
N
f z f z f z ' = = =
Demostracin:
Como el primer trmino de la serie de Taylor (centrada en un cero de orden
N), distinto de cero, es el trmino N, entonces los coeficientes de los trminos
anteriores son cero y en consecuencia se tiene que:
( ) ( ) ( )
( )
0 0 0
0 , 0 , , 0
N
f z f z f z ' = = =
83
Ejemplo3.1
En la funcin ( ) f z z senz = ,
0
0 z = es un cero de tercer orden (N=3),
debido a que:
( )
( )
( )
( )
0
0
0
0
0 0
0 1 cos 0
0 0
0 cos 1 0
z
z
z
z
f z senz
f z
f senz
f z
=
=
=
=
= =
' = =
'' = =
''' = = =
Ejemplo3.2
En la funcin ( ) ( 1) f z z sen z t = + ,
0
1 z = en un cero de segundo orden
(N=2). Para verificarlo observemos que:
( )
( )
( )
1
1
2
1
0 ( 1) 0
0 ( 1) cos 0
0 ( 1) cos cos 2 0
z
z
z
f z sen z
f z z sen z
f z sen z z z
t
t t t
t t t t t t t
=
=
=
= + =
' = + + =
'' = + + + = =
Teorema 3.3
Todo polo de una funcin analtica es una singularidad aislada.
Esto es consecuencia inmediata de que todo cero de una funcin analtica es
aislado.
84
Teorema 3.4
Si ( ) f z es analtica y tiene un polo en
0
z z = , entonces ( )
0
lim
z z
f z
= por
cualquier camino donde z tienda a
0
z .
Esta propiedad de los polos no se cumple para las singularidades esenciales
como se ver luego, constituyendo esta, una diferencia entre los dos tipos de
singularidades.
Relacin entre los ceros y polos de una funcin
Teorema 3.5
Si
0
z es un polo de orden N de ( ) f z , entonces
0
z es un cero de orden N de
( )
1
f z
.
Demostracin:
Si
0
z es un polo de orden N de ( ) f z , entonces el desarrollo en serie tendr la
forma:
( )
2 1
0 0
2
0 0 0 0
( ) , 0
( ) ( ) ( )
n N
n
N
n
b b b
f z a z z z z R
z z z z z z
=
= + + + + < <

dividiendo a 1 entre la serie de ( ) f z , se obtiene una serie de la forma:

85
( )
0 0 0 2
0
1
( ) ( ) ,
N k
n
k
z z d z z z z R
f z
=
= <
El trmino de menor grado corresponde al exponente N, por lo tanto,

0
z es un
cero de orden N de
( )
1
f z
.
Ejemplo3.3
En la funcin ( )
( )
3
1
1
f z
z
=
,
0
1 z = en un polo de de tercer orden (N=3),
debido a que
0
1 z = es un cero de orden (N=3) de
( )
( )
3 1
1 z
f z
= , como puede
verificarse con facilidad:
( )
( )
3
1
1
1
1 0
z
z
z
f z
=
=
= = ,
( )
( )
2
1
1
1
3 1 0
z
z
z
f z
=
=
'
| |
= =
|
|
\ .
( )
( )
1
1
1
6 1 0
z
z
z
f z
=
=
''
| |
= =
|
|
\ .
,
( )
1
1
1
6 6 0
z
z
f z
=
=
'''
| |
= = =
|
|
\ .
Ejemplo3.4
En la funcin ( ) f z tg z t = , los puntos
0
1
, 0, 1, 2,
2
z k k = + = son polos
de primer orden (simples), debido a que los puntos
0
z son ceros simples de
( )
cos 1 1 z
f z tg z sen z
t
t t
= = .
86
Propiedades de los ceros y polos (tiles para determinar el orden de los
mismos)
El procedimiento visto anteriormente para obtener el orden del cero de una
funcin, consiste en determinar cual es la derivada de la funcin de menor orden que
no se anula. Esto puede ser simplificado con la ayuda de las propiedades que
mencionamos a continuacin.
1. Si
0
z es un cero de orden ( ) m de ( ) f z , y es un cero de orden ( ) n de ( ) g z ,
entonces
0
z es un cero de orden ( ) m n + de [ ( ) ( ) f z g z ].
2. Si
0
z es un cero de orden ( ) m de ( ) f z , y es un cero de orden ( ) n de ( ) g z , con
( ) m n > , entonces
0
z es un cero de orden ( ) m n de
( )
( )
f z
g z
.
3. Si
0
z es un cero de orden ( ) m de ( ) f z , entonces
0
z es un cero de orden ( ) . mk
de ( )
k
f z (

.
Demostracin:
Como
0
z es un cero de orden m de ( ) f z y de orden n de ( ) g z , entonces
las series de Taylor en un entorno de
0
z tienen la forma:
( ) ( ) ( )
( ) ( ) ( )
0 0 0 1
0
0 0 0 2
0
,
,
m i
i
i
n i
i
i
f z z z a z z z z R
g z z z b z z z z R
=
= <
= <
87
De donde se deduce que las series de Taylor de las funciones ( ) ( ) f z g z ,
( )
( )
f z
g z
y
( )
k
f z (

tendrn la forma:
( ) ( ) ( ) ( )
( )
( )
( ) ( )
( ) ( ) ( )
0 0 0 1 2
0
0 0 0 3
0
0 0 0 1
0
, min( , )
,
,
m n i
i
i
m n i
i
i
k nk i
i
i
f z g z z z c z z z z R R
f z
z z d z z z z R
g z
f z z z e z z z z R
+
=
=
= <
= <
= < (

De las series de Taylor anteriores se obtiene el resultado buscado.

Ejemplo3.5
Aplicando las propiedades antes sealadas, se puede determinar cual es el
orden del polo
0
0 z = en ( )
( )
3
2
1 cos
sen z
f z
z z
=
.
El orden del polo buscado corresponde al orden del cero
0
0 z = en:
( )
( )
3
2
1 cos
1
z z
f z sen z
=
por lo tanto,
0
0 z = es un cero de orden 2 del factor (1 cos ) z
0
0 z = es un cero de orden 1 del factor ( ) z
0
0 z = es un cero de orden 1 del factor ( ) sen z
88
y aplicando las propiedades de los ceros, se concluye que
0
0 z = es un polo de orden
7 (2.3+1.2-1 ) en ( ) f z .
Singularidad esencial aislada
Definicin 3.4
Decimos que una funcin ( ) f z posee una singularidad esencial aislada en
0
z , si la parte principal de su desarrollo de Laurent alrededor del punto singular
aislado
0
z , contiene un nmero infinito de trminos distinto de cero.
Si se sabe que
0
z es una singularidad de ( ) f z y no es un polo, entonces ser
una singularidad esencial. Las singularidades esenciales pueden o no ser aisladas.
Ejemplo3.6
La funcin ( )
1
z
f z e = tiene una singularidad esencial aislada ( ( ) f z no tiene
otra singularidad) en 0 z = .
El lmite
1
0
lim
z
z
e
es igual a cero si 0 z a travs del eje real negativo, tiende

a si nos acercamos por el eje real positivo, y no tiene lmite si nos acercamos por
el eje imaginario.
El desarrollo en serie de Laurent de e
1/z
en 0 z = es:
89
1
2 3
1 1 1
1 , 0
2! 3!
z
e z
z z z
= + + + + <
Luego, puede notarse que esta serie contiene infinitos trminos con exponente
negativo.
Ejemplo3.7
La funcin ( )
1
f z
sen
z
t
=
| |
|
\ .
tiene infinitos polos cuando
1
, 1, 2, z k
k
= = , y en 0 z = posee una singularidad esencial no aislada debido a
que para cualquier disco z c < , ( ) f z posee infinitos polos en su interior que
corresponden a valores de
1
k
c
> .
90
Encuentre el orden del cero de las siguientes funciones complejas:
1.- ( ) f z = sen z , en z t =
2.- ( ) f z =1 cos z + , en z t =
3.- ( ) f z = sen z z , en 0 z =
Indique los ceros y el orden de:
4.- ( ) f z = ( )
2
1 cos sen z z
5.- ( ) f z =
( )
3
2 2
1 z sen z
z
+
6.- ( ) f z =
( )
3
2
( 1) 1 z z
z
+ +
Encuentre el orden del polo de:
7.- ( ) f z =sec z en
2
z
t
=
8.- ( ) f z =
2
1 cos
sen z
z
en 0 z =
9.- ( ) f z =
2
4
z
e
sen z
en 0 z =
91
Determinacin de los residuos
Aunque para determinar el residuo de una funcin en una singularidad aislada
debemos obtener el coeficiente de la potencia de exponente -1 de la serie de Laurent
en un entorno reducido de la singularidad, es posible calcularlo de una manera ms
sencilla en algunos casos, como se muestra a continuacin.
Clculo de residuos en polos simples.
Si
0
z es un polo simple de ( ) f z , entonces podemos escribir la serie de
Laurent alrededor de
0
z como:
( )
1
0 0 1
0 0
( ) , 0 , 0
( )
n
n
n
b
f z a z z z z R b
z z
=
= + < < =
multiplicando ambos miembros por (

0
z z ), y tomando el lmite cuando z tiende a
0
z :
( )
0 0 0
1
0 0 1
0
lim ( ) lim ( ) lim
n
n
z z z z z z
n
f z z z a z z b
+

=
= +
de donde se desprende que:

( ) ( )
0
0 1 0
Re , lim ( )
z z
s f z z b f z z z
= = (

(3.6)
Si al efectuar esta operacin el resultado tiende a infinito, significa que
0
z es
un polo de orden mayor o es una singularidad esencial. Por otra parte, si el resultado
92
es cero significa que
0
z no es en realidad una singularidad de ( ) f z (singularidad
evitable).
Con frecuencia la funcin ( ) f z se presenta como el cociente de dos
funciones, en cuyo caso podemos determinar el residuo como se explica en las
siguientes lneas.
Teorema 3.6
Si ( ) f z tiene un polo simple en
0
z , y ( ) f z est expresada como el
cociente de dos funciones ( )
( )
( )
P z
f z
Q z
= , tal que ( )
0
0 P z = , entonces:
( )
( )
( )
0
0 1
0
Re ,
P z
s f z z b
Q z
= = (

'
(3.7)
Demostracin:
Partiendo de:
( )
( )
( )
0
0
0
( )
Re , lim
z z
P z z z
s f z z
Q z
= (

aplicando el teorema de L`Hpital:
( )
( )
( )
( ) ( )
( )
( )
( )
0 0
0 0 0
0
0
( ) ( )
Re , lim lim
z z z z
P z z z P z P z z z P z
s f z z
Q z Q z Q z

' +
= = = (

' '
93
Ejemplo3.8
Dada ( )
2
3
2
1
z
f z
z
=
+
, el residuo de ( ) f z en el polo simple
0
1 z = viene
dado por:
( )
2 2 2
3
3
1
2 2 2
Re , 1
1
1
z
z z z
s
z
z
=
(
= =
(
+ '

+
2
3 z
1
2
3
z=
=
Ejemplo3.9
Se desea obtener el residuo de ( )
( )( )( )
2
2 4 2
2
1 4 4 1
z
f z
z z z z
=
+ + + +
en el polo
simple
0
z j = .
Cuando el denominador est factorizado como en este caso, basta solo con
derivar el factor que contiene al polo simple y dejar los dems factores intactos. Esto
se debe a lo siguiente:
Supongamos que el denominador ( ) ( ) ( ) Q z R z S z = , con ( )
0
0 R z = y
( )
0
0 S z = , siendo
0
z un polo simple, entonces:
( ) ( ) ( ) ( ) ( ) ( ) ( )
0 0 0 0 0 0 0
Q z R z S z R z S z R z S z ' ' ' ' = + =
aplicando la propiedad anterior resulta que:
94
( )
( ) ( ) ( )
( )( )
2 2
4 2
2 4 2
2 2
Re ,
2 4 4 1
1 4 4 1
z j
z j
z z
s f z j
z z z z
z z z z
=
=
= = (

' + + +
+ + + +
( )
( ) ( )
1 2
Re ,
4 1 4 1 34 17
j
s f z j j
j
= = (

+ +
Clculo de residuos en polos de orden N
Si
0
z es un polo de orden N de ( ) f z , entonces podemos escribir la serie de
Laurent alrededor de
0
z como:
( )
1 2
0 0
2
0 0 0 0
( ) , 0 , 0
( ) ( ) ( )
n N
n N
N
n
b b b
f z a z z z z R b
z z z z z z
=
= + + + + < < =

multiplicando ambos miembros por
0
( )
N
z z :
( )
1 2
0 0 1 0 2 0 0
0
( ) ( ) ( ) ( ) ( )
N n N N N
n N N
n
f z z z a z z b z z b z z b z z b
+
=
= + + + + +

derivando N-1 veces y tomando el lmite cuando z tiende a
0
z :
( )
0 0 0
1
1 0
0
0
1
1 1
( )
( )
lim lim lim( 1)!
N n
N N n
n
N N
z z z z z z
d a z z
d f z z z
N b
dz dz
= +
como:
95
0
1
0
0
1
( )
lim 0
N n
n
n
N
z z
d a z z
dz
por ser la derivada un polinomio en

0
z z sin trmino independiente, finalmente se
obtiene:
( )
( )
0
1
0
0 1
1
( )
1
Re , lim
( 1)!
N
N
z z
d f z z z
s f z z b
N dz
(

= = (

(3.8)
Si el resultado anterior tiende a infinito significa que
0
z es un polo de orden
mayor que N o es una singularidad esencial.
Es conveniente sealar que est frmula genera el residuo correcto an cuando
el polo sea de orden menor que N. Si al determinar el orden de un polo, se comete el
error de asignar un orden mayor del que es realmente, el residuo calculado ser
correcto. Si por el contrario asignamos al polo un orden menor del verdadero, al
calcular el residuo obtendremos , lo cual nos alerta sobre el error al seleccionar el
orden del polo.
Ejemplo3.10
Dada ( )
( )
5
2
1
z
z
f z
z e
+
= , es posible obtener el residuo de ( ) f z en el polo doble
0
0 z = , de la siguiente forma:
( )
5 5
2
2 0
1 1 1
Re , 0 lim
1!
z
z
z z
s
z e
z
(
+ +
( =
(

( )
( )
2
0
z
z
e

5
0
1
z
z
z
e
=
'
' (
( +
(
=
(
(

96
calculando previamente los trminos de la derivada del cociente:
( )
( )
5
0
5 4
0
0
0
0
0
1 1
1 5 0
1
1
z
z
z
z
z
z z
z
z
z
z z
e
e e
=
=
=
=
=
=
+ =
'
+ = =
=
'
= =
finalmente,
( )
5
2 2
1 0.1 1.1
Re , 0 1
1
z
z
s
z e
(
+
( = =
(

Ejemplo3.11
Dada ( )
( )( )
2
1
1
z
f z
z sen z t
+
=
+
, obtener el residuo de ( ) f z en el polo doble
0
1 z = .
Aplicando la frmula para el residuo en polos mltiples (3.8)
( )( ) ( )( )
( )
2 2
2
1
1 1 1
Re , 1 lim 1
1 1! 1
z
z z
s z z
z sen z z sen z t t
'
( (
+ +
= = +
( (
+ +

como en un entorno de 1 z = podemos aproximar a sen(tz) por:
97
( ) ( ) ( ) ( ) ( )
3 2
3 2
1 1 1 1 1
3! 3!
sen z sen z z z z z
t t
t t t t
| |
= + = + + + + = + + + +
|
\ .

( )( )
( )
2 2
1
2
1 1 1
Re , 1 lim
1 1!
1
z
z z
s z
z sen z
z
t

(
+ +
= =
(
+

+ ( )
( )
2
2
2
1
1
3!
z
z
t
t
+
| |
+ + +
|
\ .
'
(
(
(
(
(
(

( )( )
( )
2 2
2
2
1
1 1
Re , 1
1
1
3!
z
z z
s z
z sen z
z
t
t
t
=
'
(
(
(
+ +
(
= =
(
(
+ | |

+ + + (
|
(
\ .

( )
( )
( )
2
1
2
1
1
2
2
1
2
2
1
1 2
1 2 2
1
3!
1 0
3!
z
z
z
z
z
z
z z
z
z
t
t t
t
t
=
=
=
=
=
+ =
'
+ = =
| |
+ + + =
|
\ .
'
| |
+ + + =
|
\ .
sustituyendo, tendremos finalmente:

98
( )( )
( )
( )
2
2
2. 2.0
1 2
Re , 1
1
z
s z
z sen z
t
t t
t
(
+
= = =
(
+

Frmula alterna para residuos en polos dobles
Si ( ) f z tiene un polo doble en
0
z , y est expresada como el cociente de dos
funciones ( )
( )
( )
P z
f z
Q z
= , tal que ( )
0
0 P z = , entonces:
( )
( )
( )
( ) ( )
( )
0 0 0
0
2
0
0
2
2
Re ,
3
P z P z Q z
s f z z
Q z
Q z
' '''
= (

''
'' (

(3.9)
Demostracin:
Este resultado lo obtenemos dividiendo las series de Taylor de ( ) P z y
( ) Q z alrededor de
0
z , y tomando el coeficiente del trmino ( )
1
0
z z

.
( ) ( ) ( )
( )
0 2
0 0 0 0
( ) ( )
2
P z
P z P z P z z z z z
''
' = + + +
( )
( ) ( )
0 0 2 3
0 0
( ) ( )
2 6
Q z Q z
Q z z z z z
'' '''
= + +
De igual manera podemos obtener frmulas basadas en la serie de Laurent
para polos de orden mayor que dos, pero estas sern cada vez ms complicadas, por
lo cual resulta preferible aplicar la frmula general o el desarrollo en serie para el
problema particular.
99
Ejemplo3.12
Dada ( )
2
2
1 z z
f z
sen z
+ +
= , obtener el residuo en el polo doble 0 z = .
(0) 1 , (0) 1 , (0) 2 , (0) 0 P P Q Q ' '' ''' = = = =
aplicando la frmula (3.9), tendremos:
| | Re ( ), 0 1 s f z z = =
Calculo de residuos en singularidades esenciales
Para el caso en que
0
z sea una singularidad esencial, no se dispone de una
frmula para hallar el residuo, tal como en el caso de los polos. Para obtener el
residuo entonces, debemos obtener el coeficiente del trmino ( )
1
0
z z

directamente
de la serie de Laurent en un entorno reducido de
0
z . Vale la pena decir que no
necesitamos la serie de Laurent completa, solo el coeficiente de ( )
1
0
z z

.
Ejemplo3.13
Dada ( )
1
1
z
e
f z
z
=
+
, obtener el residuo en la singularidad esencial 0 z = .
Partiendo del desarrollo:
100
2 3
1 1
1 ,
2! 3!
w
e w w w w = + + + + <
haciendo
1
w
z
= tendremos:
1
2 3
1 1 1
1 , 0
2! 3!
z
e z
z z z
= + + + + <
Si la serie del numerador tuviese un nmero finito de trminos con exponente
negativo, podramos dividirla entre la serie de Taylor del denominador. Sin embargo,
como no es posible realizar la divisin, se multiplican la serie de
1
z
e por la serie de
Taylor de
1
1 z +
.
2 3
1
1 , 1
1
z z z z
z
= + + <
+

multiplicando ambas series tendremos:
1
2 3
2 3
1 1 1
(1 )(1 ) , 0 1
1 2! 3!
z
e
z z z z
z z z z
= + + + + + + < <
+

considerando los trminos
1
z
del producto, obtenemos:

1
1 1 1 1
Re , 0 1 1
1 2! 3! 4!
z
e
s z
z e
(
(
= = + + =
(
+
(

101
debido a que si hacemos 1 w = en la serie de
w
e , se obtiene:
1
1 1 1 1
1 1
2! 3! 2! 3!
e
= + + = +
Ejemplo3.14
Calcular el residuo en 1 z = de ( )
2
1
1
f z z sen
z
| |
=
|
\ .
.
Como 1 z = es una singularidad esencial, el residuo lo obtendremos por
inspeccin de la serie de Laurent en 1 z = .
Partiendo del desarrollo de sen(w):
3 5 7
1 1 1
,
3! 5! 7!
sen w w w w w w = + + <
sustituyendo a w por
1
1 z
se tiene:
( ) ( ) ( )
3 5 7
1 1 1 1 1 1 1 1
, 0 1
1 1 3! 5! 7!
1 1 1
sen z
z z
z z z
= + + <

por otro lado, como:
( ) ( ) ( )
2 2
2
1 1 1 2 1 1 , 1 z z z z z = + = + + <
102
entonces, multiplicando ambas series tendremos:
( ) ( )
( )
( )
2
2
3
1 1 1 1
1 2 1 1 , 0 1
1 1 3!
1
z sen z z z
z z
z
| |
| = + + + < <
|

\ .
y considerando los trminos

1
1 z
del producto, se concluye que:
2
1 1 5
Re , 1 1
1 3! 6
s z sen z
z
(
= = =
(

103
Obtenga el residuo de ( ) f z en todas sus singularidades aisladas, en cada uno de
los siguientes casos:
1.- ( )
3 5
1
f z
z z
=
2.- ( )
2 2
( 9)
z
e
f z
z z
=
+
3.- ( )
2
f z ctg z =
4.- ( )
1
z
f z sen
z
=
+
5.- ( )
n
z
tgz
z f = , neN
6.- ( )
z
sen z z f
n
1
= , neN
7.- ( )
1
1
f z
sen
z
=
8.- ( )
2
4 1
cos
3
z z
f z
z
+
=
+
9.- ( )
( )
3
2
1
sen z
f z
z
=
+
10.- ( )
3
1
cos
2
f z z
z
=
11.- ( )
( )
10
cos 1 z
f z
z

=
12.- ( )
1
1
z
z
f z e
z
=
13.- ( )
( )
5
sen z
f z
z j
=
14.- ( )
( ) ( )
1
1
z
f z
sen z e
=
15.- ( )
1
cos
z
f z
sen z
=
104
Integracin en el plano complejo utilizando el teorema de los Residuos
Luego de estudiar la metodologa para obtener los residuos de funciones en las
singularidades aisladas, podemos utilizar el teorema de los residuos (T.R.) en el
clculo de integrales complejas. Para ello podemos seguir el siguiente algoritmo que
se muestra en la figura 3.1. El T.R. no es aplicable cuando existen singularidades
sobre el contorno de integracin, y/o cuando existen singularidades no aisladas en el
interior del contorno.
Ejemplo3.15
Apliquemos el teorema de los residuos a la integral
2
3 1
( )
( )( 3)
z
Log z
dz
sen z z
=
(
(

}
.
Las singularidades son:
( ) ( ) { } { } { } / Re 0, Im 0 / , 0, 1, 2, / 3 z z z z z k k z z t s = = = =
Es de de hacer notar que ninguna singularidad se encuentra sobre el contorno
3 1 z = .
Las singularidades que se encuentran dentro del contorno son:
1 2
, 3 z z t = =
las cuales son aisladas.
Calculemos los residuos en las singularidades:
Residuo en
1
z :
1
z t = es un polo simple por lo tanto:
105
Obtener las singularidades de
la funcin
Determinar cuales se encuentran
dentro del contorno
Son singularidades
aisladas?
no
Hay
singularidades sobre
el contorno ?
si
No es
aplicable el
T.R.
FIN
Comienzo
No es
aplicable el
T.R.
FIN
Sumamos los residuos y
multiplicamos por 2j
FIN
Figura 3.2: Algoritmo para la aplicacin del Teorema de los Residuos
(T.R.)
106
( )
( )( )
( )
( ) ( ) ( )
2 2 2
Re ,
3 cos 3 3
z
Log z Log z
Ln
s z
sen z z z z
t
t
t
t
=
(
= = = (
(

Residuo en
2
z :
2
3 z = es un polo doble por lo tanto:
( )
( )( )
( ) ( )
2
2
3
3
Re , lim
3
z
Log z z
Log z
s z
sen z z
t

(
= = (
(

( ) ( )
2
3 sen z z
( ) ( ) ( )
( )
2
1
3 3 cos 3
3
3
sen Ln
sen
'
(
(
=
(
(

finalmente:
2 2 2
3 1
1
(3) (3) cos(3)
( ) ( )
3
2
( )( 3) (3) ( 3)
z
sen Ln
Log z Ln
dz j
sen z z sen
t
t
t
=
(
(
(
=
(
(

(
(

}
Ejemplo3.16
Calculemos
3
2
( )
z
z
dz
ze sen z t
=
}
.
Las singularidades de la funcin son:
{ } { } / 0 / , 0, 1, 2, z z z z k k = = =
ntese que ninguna de las singularidades est sobre el contorno
3
2
z = .
Las singularidades que estn dentro del contorno son:
1 2 3
0, 1, 1 z z z = = = , las cuales son aisladas (polos)
107
Luego, se calculan los residuos en las singularidades:
Residuo en
1
z :
1
0 z = es un polo doble, por lo tanto:
2
0
1 1
Re , 0 lim
z z
z
s z z
ze sen z ze sen z t t
'
( (
= =
( (

y utilizando la serie de Taylor aproximada sen z z t t = , en un entorno de 0 z = :
1 1
Re , 0
z
s z
ze sen z
z
t
(
= =
(

z
e z t
( )
2
z
0
0
1
z
z
z
e
t t
=
=
'
' (
(
(
= =
(
(

Residuo en
2
z :
2
1 z = es un polo simple, por lo tanto:
( )
1
1 1 1
Re , 1
cos
z z
z
s z
e ze sen z ze z t t t t
=
(
= = =
(

Residuo en
3
z :
3
1 z = es un polo simple, por ende:
( )
1
1 1
Re , 1
cos
z z
z
e
s z
ze sen z ze z t t t t
=
(
= = =
(

Finalmente:
3
2
1 1 1
2 2 1
( )
z
z
dz e
j j e
e e ze sen z
t
t t t t
=
| | | |
= =
| |
\ . \ .
}
108
Calcule las siguientes integrales aplicando el Teorema de los Residuos:
1.-
1 3
( ) 2
z
z
dz
senh z e
+ =

}
2.-
1
( )
z
ctg z
dz
z
t
t
t
=
}
3.-
1
2
7
( 2)
z
z
e
dz
z
=
+
}
4.-
3
( )
2
z z
z
tgh z
dz
e e
t
=

}
5.-
6
1
cos
z
z
dz
z
t
t
t
=
| |
|
\ .
+
}
6.-
3 2
2
cosh( )( 2 )
C
z
dz
z z z t
+
}
, donde C: Rectngulo con vrtices 3j, -1j
7.-
1
1
2
z
z
e
dz
z
=
}
8.-
2
( )( 3 2)
C
dz
senh z z z t + +
}
, con C: 4
2 2
1
= +
j
z
9.-
2
1
( 1)
z
senh
z
dz
z z
=
| |
|
\ .
}
10.-
2
1 3
( 1)
( ) cosh( ) 1
z
z
dz
senh z z
=
+
}
11.-
2
1
100
( 1)( 2)
z
z
e
dz
z z
=

}
12.-
2
cot( )
( 1)( )
4
z
z
z
dz
e z
t
=

}
109
Aplicacin de los Residuos al clculo de Integrales Reales
A continuacin, se har un estudio sobre ciertos tipos de integrales reales que
presentan una equivalencia con las integrales complejas sobre caminos cerrados, y
que pueden calcularse aplicando el teorema de los residuos.
Integrales reales de la forma ( )
2
0
, cos F senn m d
t
u u u
}
F es una funcin racional en senos y cosenos .
Si consideramos el contorno:
: , 0 2
j
C z e
u
u t = s s
se tiene que:
j
dz je d
u
u =
dz
d
jz
u =
2
1
2 2 2
jn jn n n n
n
e e z z z
senn
j j jz
u u
u

= = = (3.10)
2
1
cos
2 2 2
jm jm m m m
m
e e z z z
m
z
u u
u

+ + +
= = = (3.11)
por lo tanto, la integral real es equivalente a la integral compleja sobre 1 z = , esto es:
( )
2
0
1
( ), cos( ) ,
2 2
n n m m
z
z z z z dz
F sen n m d F
j jz
t
u u u

=
| |
=
|
\ .
} }
3.12
110
El integrando en 3.12 es una funcin racional de z; si la funcin no tiene polos
en 1 z = , la integral la calculamos aplicando el teorema de los residuos considerando
solo a los polos
k
z tales que 1
k
z < . Cabe recordar que el resultado de esta integral
debe ser un nmero real.
Ejemplo3.17
Calcular:
2
2
0
1
d
1 sen
t
u
u +
}
Aplicando la frmula anterior:
2
2 2
0 2
1
1 1
1
1
1
2
z
dz
d
jz sen
z
jz
t
u
u
=
=
+
| |
+
|
\ .
} }
simplificando:
2
2 4 2
0
1
1 4
1 ( 6 1)
z
d dz
sen j z z
t
u
u
=
=
+ +
} }
Ahora resolvemos la integral compleja aplicando el teorema de los residuos:
Las singularidades son:
1
2
3
4
1 2 1
1 2 1 , polo simple
1 2 1 , polo simple
1 2 1
z z
z z
z z
z z
= + e <
= e <
= + e <
= e <
111
Aplicando la frmula 3.7 para polos simples tenemos:
| |
2
2
3 2
2
4 4 4 2
Re ,
4 (4 12 ) (4 12) ( 8 2)
z z
z
s f z z
j j z z j z j
=

= = = = =

| |
3
2
3
4 4 2
Re ,
4
(4 12) ( 8 2)
s f z z
j
j z j

= = = =

Finalmente:
2
2
0
1 2 2
d 2 2
4 4 1 sen
j
j j
t
u t t
u
| |
= + =
|
|
+
\ .
}
Ejemplo3.18
Demostrar que:
( )
( )
2 3
0
2
, ( 1)
os
1
dx a
a
a c x
a
t
t
= >
+

}
Como el intervalo de la integral no es de longitud 2t , no podemos aplicar
directamente la frmula 3.12, sin embargo, observando que se cumple que
( ) ( ) 2 F x F x t = (simetra respecto del eje x t = ), de manera equivalente
( ) ( ) F x F x = (debido a la periodicidad de las funciones sen y cos, ver figura 3.3),
entonces:
( ) ( )
2
2 2
0 0
1
I
2
os os
dx dx
a c x a c x
t t
= =
+ +
} }
112
Figura 3.3
Aplicando la frmula 3.12:
I =
2
2
1
1
2
1
2
z
dz
dz
z
jz a
z
= | | +
+
|
\ .
}
luego de simplificar el integrando nos queda:
I =
2 2
1
1 2
( 2 1)
z
zdz
dz
j z az
=
+ +
}
las singularidades son:
2
1
1 z a a = + , (polo doble),
1
1 z z e <
2
2
1 z a a = , (polo doble),
2
1 z z e <
calculando residuos:
x 2-x
x=
113
( )
( )
1
2
1
1
2
2
2
2
Res , lim
2 1
z z
z z z
z
z z
z az

(

(
= =
(
+ +

( )
2
1
z z ( )
2
2
z z
'
(
(
(
(

( )
( ) ( )
( )
( )
( )
2
1 2 1 1 2 1 2
1
2 4 3
2
1 2 1 2
2 4 2
2
Re ,
2 1
z z z z z z z
z
z z
z z z z
z az
(
+
(
= = =
(

+ +

( )
( ) ( )
2
1
2 3 3
2
2 2
2 4
Res ,
2 1
8 1 2 1
z a a
z
z az
a a
(
(
= =
(
+ +

finalmente:
( )
( )
( ) ( )
2
2 2 3 3
0
2
2 2
1
1 2 1
2
cos
2 1
2 1 1
z
dx z dz a a
j
j j
a x
z az
a a
t
t
t
=
(
(
= = =
(
+
+ +
(

} }
114
Calcular las siguientes integrales reales:
1.-
2
0
, 1
cos
d
a
a
t
u
u
>
+
}
2.-
( )
2
2
0
, 0
cos
d
a b
a b
t
u
u
> >
+
}
3.-
}
t
+ u
u u
2
0
2
2
2 1
) 3 ( cos
a asen
d
, (ae, a = 1)
4.-
2
2
0
1
dx
sen x
t
+
}
5.-
0
3 2cos
dx
x
t
+
}
Pruebe que:
6.-
( )
( )
2
2
2 0
2 !
cos , 1, 2,
2 !
n
n
n
d n
n
t
u u t = =
}
(Frmula de Wallis)
7.-
2
2
1 cos
d
t
t
u
t
u
=
+
}
8.-
2
2 2
0
cos 2
, ( 1 1)
1 2 os 1
d a
a
ac a a
t
u u t
u
= < <
+
}
9.-
2
2 2
0
(2 )!
, ( 1, 2, )
2 ( !)
n
n
n
sen d n
n
t
u u t = =
}

115
Integrales impropias de la forma ( ) f x dx
}
, con ( ) f z sin polos reales
Si se considera el valor principal de Cauchy para la integral impropia
( ) f x dx
}
, se obtiene que:
( ) lim ( )
R
R R
f x dx f x dx

=
} }
Cuando ( ) f x es una funcin impar la integral vale cero, y en caso contrario,
la integral tendr un valor real si la misma converge. En algunos problemas, es
posible utilizar el teorema de los residuos para calcular el valor de la integral, como
se ver a continuacin.
Consideremos el contorno auxiliar : Re , 0
j
A
C z
u
u t = s s , mostrado en la
figura 3.2.
Entonces, aplicando el teorema de los residuos sobre el contorno cerrado
tendremos:
Figura 3.4
-R
R
C
A
Im z
Re z
116
Im( ) 0
lim ( ) lim ( ) 2 Re ( ( ), )
k
A
R
k
R R R
z
C
f z dz f z dz j s f z z t

>
+ =

} }
Ahora bien, si:
lim ( ) 0
A
R
C
f z dz
=
}
(3.13)
entonces:
Im( ) 0
( ) 2 Re ( ( ), )
k
k
z
f x dx j s f z z t
>
=

}
(3.14)
La condicin 3.13 ocurre cuando se cumple que:
lim . max( (Re ) , 0 ) 0
j
R
R f u t
s s =
Debido a que de acuerdo con la desigualdad M.L., se tiene:
( )
( )
lim ( ) lim Re . 0
A
j
R R
C
f z dz Max f R
u
t

s =
}
y en consecuencia:
lim ( ) 0
A
R
C
f z dz
=
}
Como alternativa, podemos considerar como camino auxiliar para cerrar el
contorno y aplicar el teorema de los residuos a la trayectoria
: Re , 2
j
B
C z
u
t u t = > > , (figura 3.5), de tal manera que si se cumple que:
117
lim ( ) 0
B
R
C
f z dz
=
}
entonces:
Im( ) 0
( ) 2 Re ( ( ), )
k
k
z
f x dx j s f z z t
<
=

}
el signo menos se debe a que el contorno cerrado est recorrido en el sentido horario.
Figura 3.5
Integrales impropias de la forma ( ) f x dx
}
, tal que ( ) f z presenta polos
reales simples
Consideremos ahora el caso en el que exista un polo simple (
R
w ) en el eje
real. El valor principal de Cauchy en este caso vendr dado por:
-R
R
C
B
Im z
Re z
118
( )
0 0
lim ( ) lim ( )
R
R
w R
R w R R
f x dx f z dz f z dz
c
c
c c

+

= +
} } }
De acuerdo al contorno cerrado de la figura 3.6, se tiene:
0
Im( ) 0
0 0
lim ( ) lim ( ) lim ( ) lim ( ) 2 Re ( ( ), )
R
R
k
A
w R
k
R w R R R
z
C C
f z dz f z dz f z dz f z dz j s f z z
c
c
c c
c c
t
+
>

+ + + =

} } } }
Si consideramos a ( ) f z tal que:
lim ( ) 0
A
R
C
f z dz
=
}
entonces:
0
Im( ) 0
0 0
lim ( ) lim ( ) 2 Re ( ( ), ) lim ( )
R
R
k
w R
k
R w R R
z
C
f z dz f z dz j s f z z f z dz
c
c
c c
c c
t
+
>

+ =
} } }
Figura 3.6
w
R

-R
R
C
A
Im z
Re z
C
119
parametrizando C
c
:
: , 0
j
R
C z w e
u
c
c t u = + > >
El desarrollo en serie de Laurent en un entorno de
R
w (polo simple), tiene la
siguiente forma:
( )
1
0
( ) , 0
( )
k
k R R
k R
b
f z a z w z w
z w
o
=
= + < <
Sustituyendo ( ) f z por su desarrollo de Laurent dentro de la integral, y

sustituyendo a z por (
j
R
w e
u
c + ), nos queda:
1 1
1
0 0 0
0 0
( )
k j j k j
i i
j
k k
C
b
f z dz a e j e d j a e d jb d
e
c
t t t
u u u
u
c c u c u u
c

+
= =
| |
= + =
|
\ .

} } } }
y tomando el lmite cuando 0 c ,
1
1
0 0 0 0
0
lim ( ) lim
k j
i
k
C
f z dz j a e d jb d
c
t t
u
c c
c u u
+

=
=
} } }
1
1
0 0 0 0 0
0
lim ( ) lim lim
k j
i
k
C
f z dz j a e d jb d
c
t t
u
c c c
c u u
+

=

=
`
)
} } }
( )
1
0
lim ( ) Re ( , )
R
C
f z dz jb j s f z w
c
c
t t
= =
}
finalmente se obtiene:
( ) ( )
Im( ) 0
2 Re ( ( ), ) Re ( , )
k
k R
z
f x dx j s f z z j s f z w t t
>
= +
}
120
En general, si tenemos varios polos simples sobre el eje real tendremos:
( ) ( )
Im( ) 0 Im( ) 0
2 Re ( ( ), ) Re ( , )
k m
k m
z w
> =
= +

}
(3.15)
Si consideramos como camino auxiliar para cerrar el contorno a la
semicircunferencia : Re , 2
j
B
C z
u
t u t = > > , en el semiplano inferior, y
: , 2
j
R
C z w e
u
c
c t u t = + s s , como se muestra en la figura 3.7, se obtiene el
siguiente resultado:
( ) ( )
Im( ) 0 Im( ) 0
2 Re ( ( ), ) Re ( , )
k m
k m
z w
< =
=

}
(3.16)
Figura 3.7
w
R
-R
R
C
B
Im z
Re z
C
121
Caso Particular
( )
( )
P x
dx
Q x
}
, con Grado(Q) > Grado(P) + 1, Q(x) puede poseer
polos reales simples
Si consideramos que ( )
( )
( )
P x
f x
Q x
= , entonces:
( )
( )
( )
1
1 0
1 2
, , 0,
( )( ) ( )
N N
N N
N M
M M
P z a z a z a
f z a b
Q z b z z z z z z
+ + +
= = =

siendo
k
z las races de Q(z), con k = 1..M
haciendo uso en el numerador de la desigualdad :
1 2 1 2 k k
z z z z z z + + + s + +
y de la desigualdad:
k k
z z z z >
en cada factor del denominador, se obtiene la cota superior:
( )
1 1
1 0
1 0
1
1 2 1 0
N N N N
N N
N N
M M
M k M M
a z a z a
a z a z a
f z
b z z z z z z b z b z b

+ + +
+ + +
= s
+ + +

Considerando el mximo sobre el camino auxiliar
A
C :
122
( )
( ) ( ) ( )
1
1 0
1 2
( , Re ) , max( ), 1..
N N
N N j
k
M k
a R a R a
Max f z z R z k M
b R z R z R z
u

+ + +
= = >> =

y aplicando la condicin para que la integral sea nula sobre

A
C :
( )
( )
( )( ) ( )
1
1 0
1 2
lim Re . lim 0 1
N N
N N j
R R
M M
a R a R a
Max f R R M N
b R z R z R z
u
t t

+ + +
= = > +

queda finalmente:
( )
( )
( )
( )
( )
( ) Im 0 Im 0
2 Re ( , ) Re ( , )
( ) ( )
k m
k m
z w
P x P z P z
dx j s z j s w
Q x Q z Q z
t t
> =
= +

}
(3.17)
con, ( ) ( ) 1 Grado Q Grado P > + ,
alternativamente (usando los polos en el semiplano inferior):
( )
( )
( )
( )
( )
( ) Im 0 Im 0
2 Re ( , ) Re ( , )
( ) ( )
k m
k m
z w
P x P z P z
dx j s z j s w
Q x Q z Q z
t t
< =
=

}
(3.18)
con, ( ) ( ) 1 Grado Q Grado P > +
Ejemplo3.19
Calcular:
( ) ( )
2
2
1
1 1
x
dx
x x
+ +
}
123
En primer lugar, se verifican las condiciones establecidas para aplicar la
frmula 3.17:
Polos con Im( ) 0 z > :
1
z j = (polo doble)
Polos simples en el eje real:
2
1 z =
Calculo de los residuos:
Residuo en z j = .
| |
( )( )
( ) ( )
( ) ( )
2
2 2
2
1
1 1
Re , lim lim
1!
1
1 1
z j z j
z z j
z
s f z j
z j z
z z

'
'
| |
| |

|
| = = =
| |
+ +
+ +
\ .
\ .
( ) ( )
( ) ( ) ( )( ) ( )
2
2 2
1 1
( 1) 1
1 4 4
1 2 1 8 4
z j
z j
z j
z j
z j
z j
z
z j z j
z j z z j z z j j
=
=
=
=
=
=
' =
+ + =
'
(
+ + = + + + + = +

queda:
124
| |
( ) ( ) ( ) ( )
( )
2
1 4 4 1 8 4
8 8 1 1
Re ,
32 4 4
4 4
j j j
j
s f z j j
j
j
+
+
= = = = +

Residuo en 1 z = .
| |
( ) ( )
( ) ( ) ( )
2 2 2
2 2 2
1
1
1 1 1
Re , 1
2
1 1 1 1 1
z
z
z z
s f z
z z z z z
=
=

= = = =
' ( '
( (
+ + + + + +
(
( (

(

finalmente:
( ) ( )
| | | |
2
2
1 1 1 1
2 Re , Re , 1 2 ( )
4 4 2
1 1
x
dx j s f j j s f j j j
x x
t t t t
= + = +
+ +
}
y simplificando resulta:
( ) ( )
2
2
1
2
1 1
x
dx
x x
t
=
+ +
}
Ejemplo3.20
Calculemos
( )
6
0
1
1
dx
x
+
}
Esta integral no tiene lmites de integracin de - a , sin embargo, como el
integrando es una funcin par podemos calcular la integral original como:
125
( ) ( )
1
2
6 6
0
1 1
1 1
dx dx
x x

=
+ +
} }
Las singularidades de la funcin integrando son las seis races sextas de -1.
( )
( )
( )
( )
( )
( )
6
1 1
6 3
2 2
2
6 3
3 3
6
4 4
4
6 3
5 5
5
6 3
6 6
3 1
, Im 0
2 2
, Im 0
3 1
, Im 0
2 2
3 1
, Im 0
2 2
, Im 0
3 1
, Im 0
2 2
j
j
j
j
j
j
z e j z
z e j z
z e j z
z e j z
z e j z
z e j z
t
t t
t t
t
t
t t
t t
| |
+
|
\ .
| |
+
|
\ .
| |
+
|
\ .
| |
+
|
\ .
| |
+
|
\ .
= = + >
= = >
= = + >
= = <
= = <
= = <
Podemos considerar para resolver el problema, tanto a la frmula 3.17 como
la 3.18. El nmero de singularidades que consideramos en cualquiera de los dos casos
es igual a tres, y en el caso general de polinomios con coeficientes reales, las races
complejas se presentan siempre como pares conjugados, por lo que tendremos igual
nmero de singularidades tanto en el plano superior como en el inferior.
Los residuos en las singularidades correspondientes al semiplano superior son:
( )
1
4
1
6
6
1
1 1 1 3 1
Re ,
6 6 2 2 1
1
z z
z
s z z j
z z
z
=
| |
(
= = = =
|
( |
+ '
\ .
+
126
( )
2
4
2
6
6
2
1 1 1
Re ,
6 6 1
1
z z
z
s z z j
z z
z
=
(
= = = =
(
+ '
+
( )
3
4
3
6
6
3
1 1 1 3 1
Re ,
6 6 2 2 1
1
z z
z
s z z j
z z
z
=
| |
(
= = = =
|
( |
+ '
\ .
+
Aplicando la frmula 3.17, se tiene que:
( )
6
0
1 1 1 3 1 1 1 3 1
2
2 6 2 2 6 6 2 2
1
dx j j j j
x
t
| | ( | | | |
| = +
( | |
| |
|
+
(
\ . \ . \ .
}
simplificando:
( )
6
0
1
3
1
dx
x
t
=
+
}
Ntese que el resultado es un nmero real debido a que corresponde a una
integral real.
127
Calcular las siguientes integrales reales aplicando el Teorema de los Residuos:
1.-
3 2
2 2
dx
x x x
+ +
}
2.-
( )
2
2
4 13
xdx
x x
+ +
}
3.-
( ) ( )
2
1 4
xdx
x x
+
}
4.-
4 2
7 18
xdx
x x
+
}
5.-
}

+1
2n
x
dx
, neN
6.-
( )
100
0
100
100 1
dx
sen x
t
t
=
+
}
7.-
}
t
=
+ +
2
2
4
2
b ac
c bx ax
dx
, ( a,b,ce9, b
2
< 4ac )
8.-
( )
100
0
100
1 100
dx
x sen
t
t
=
+
}
9.- Demuestre que el rea entre la cisoide
x a
x
y
=
2
3
2
y su asntota, es 3ta
2
.
Ayuda: el rea de una curva cerrada se puede calcular a travs de la integral
}
C
ydx ,
donde C es la cisoide y su asntota. Para parametrizar la curva C, haga y = tx, y
obtendr que t
2
=
x a
x
2
. Luego, despeje x en trminos de t, y sustituya en la integral
de lnea.
128
Integrales de la forma ( )
jax
f x e dx
}
Este tipo de integrales se denominan integrales de Fourier, y son utilizadas
para obtener la transformada de Fourier de una funcin real
( ( ) ( )
j x
F f x e dx
e
e

=
}
), as como tambin para la transformada de Fourier inversa
( ( ) ( )
1
2
jx
f x F e d
e
e e
t

=
}
).
Teorema 3.7
Si ( ) ( )
lim 0
R
Max f z
= sobre el contorno : Re 0
jt
A
C z t t = s s , ( ) f z no
tiene polos reales y 0 a > , entonces:
( ) ( ) 2 Re ( , )
jax jaz
k
k
f x e dx j s f z e z t
=

}
con ( ) Im 0
k
z > (3.19)
Demostracin:
Utilizando el valor principal de Cauchy para la integral impropia, y
transformndola a una integral compleja, se tiene:
( ) ( ) lim
R
jax jaz
R
R
f x e dx f z e dz

=
} }
y segn el teorema de los residuos:
129
( ) ( ) ( ) lim 2 Re ( , )
A
R
jaz jaz jaz
k
R
k
R C
f z e dz f z e dz j s f z e z t
+ =

} }
donde
A
C es el contorno mostrado en la figura 3.4.
Para demostrar el teorema basta con probar que:
( ) 0
A
jaz
C
f z e dz =
}
En efecto, aplicando la desigualdad ML al contorno
A
C :
( ) ( )
A A A
jaz jaz jaz
C C C
f z e dz f z e dz M e dz s s
} } }
donde M es el ( ) ( )
Max f z sobre
A
C , entonces:
( ) ( )
(
0 0
Re
A
jaz jt ja Rcoost jRsent aRsent
C
f z e dz f e Rdt Me Rdt
t t
+
= =
} } }
como:
, 0
2
t
sent t
t
t
s s s y 0 a >
entonces:
2 2
0 0 0
2 2
t
aR
aRsent aRsent
Me Rdt M e Rdt M e Rdt M
t t
t
t
t

= s =
} } }
130
en conclusin:
( )
A
jaz
C
f z e dz Mt s
}
Si hacemos que R y
( ) ( )
lim 0
R
M Max f z
= =
se obtiene:
( ) 0
A
jaz
C
f z e dz =
}
y entonces:
( ) ( ) 2 Re ( , )
jax jaz
k
k
f x e dx j s f z e z t
=

}
con ( ) Im 0
k
z > (3.19)
Si ( ) f z tiene polos simples en el eje real, tendremos que:
( ) ( )
( )
( )
( ) Im 0 Im 0
2 Re ( , ) Re ( , ) , 0
k m
jax jaz jaz
k m
z w
f x e dx j s f z e z j s f z e w a t t
> =
= + >

}
(3.20)
En el caso de 0 a < , utilizamos como camino auxiliar a la semicircunferencia
en el semiplano inferior lo que nos conducir al siguiente resultado:
131
( ) ( )
( )
( )
( ) Im 0 Im 0
2 Re ( , ) Re ( , ) , 0
k m
jax jaz jaz
k m
z w
f x e dx j s f z e z j s f z e w a t t
< =
= <

}
(3.21)
Ejemplo3.21
Obtener la transformada de Fourier de la funcin ( )
senat
f t
t
= .
( )
j t
senat senat
F e dt
t t
e
e

| |
= =
|
\ .
}
( )
( )
( ) ( )
1
2 2
jat jat j t
j a t j a t
e e e
e e
F dt dt dt
jt t t
e
e e
e

+

(
= =
(

} } }
como:
( )
,
,
0 ,
j a t
j a
e
dt j a
t
a
e
t e
t e
e
<
= >
}
y
( )
,
,
0 ,
j a t
j a
e
dt j a
t
a
e
t e
t e
e
+
<
= >
}
en virtud de las frmulas 3.20 y 3.21, y adems:
1
0 dt
t
=
}
por ser
1
t
una funcin impar, entonces:
132
( )
0 ,
,
0 ,
a
F a a
a
e
e t e
e
<
= s s
>
Esta transformada de Fourier corresponde a un filtro pasa-bajo ideal con

frecuencia de corte a e = .
Ejemplo3.22
Calcular la transformada de Fourier inversa de
2 2
2
a e +
.
La transformada inversa viene dada por la integral:
2 2
1 2
2
jx
e d
a
e
e
t e
+
}
Para x > 0, y aplicando la frmula 3.19, se tiene:
2 2 2 2
2 2
2 Re ,
jx jx
e d j s e aj
a a
e e
e t e
e e
| |
= =
|
+ +
\ .
}
donde:
2 2
2
Re ,
jxw ax
jx
w aj
e e
s e aj
w aj a
e
e
e

=
| |
= = =
|
+
\ .
por lo tanto:
2 2
1 2
, 0
2
ax
jx
e
e d x
a a
e
e
t e

= >
+
}
133
Para x < 0, y aplicando la frmula 3.21, se tiene:
2 2 2 2
2 2
2 Re ,
jx jx
e d j s e aj
a a
e e
e t e
e e
| |
= =
|
+ +
\ .
}
donde:
2 2
2
Re ,
jxw ax
jx
w aj
e e
s e aj
w aj a
e
e
e
=
(
= = =
(
+

por lo tanto:
2 2
1 2
, 0
2
ax
jx
e
e d x
a a
e
e
t e
= <
+
}
Para x = 0, y aplicando la frmula 3.17, se tiene:
2 2 2 2
2 2
2 Re , d j s aj
a a
e t e
e e
(
= =
(
+ +

}
donde:
2 2
2 1 1
Re ,
aj
s aj
aj a
e
e
e e
=
(
= = =
(
+

por lo tanto:
2 2
1 2 1
, 0
2
jx
e d x
a a
e
e
t e
= =
+
}
En resumen:
2 2
, 0
1 2 1
, 0
2
, 0
ax
a x
jx
ax
e
x
a
e
e d x
a a a
e
x
a
e
e
t e
>
= = =
<
}
134
Integrales reales impropias de la forma:
( )
( )
P x
senaxdx
Q x
}
,
( )
( )
cos
P x
axdx
Q x
}
, con Grado(Q) > Grado(P) , Q(x) puede tener polos
reales simples, y a> 0
Como:
( )
( )
( )
( )
Im( )
jax
P x P x
senaxdx e dx
Q x Q x

=
} }
( )
( )
( )
( )
cos Re( )
jax
P x P x
axdx e dx
Q x Q x

=
} }
Si el grado del polinomio P es menor que el grado del polinomio Q se cumple que:
( )
lim 0
( )
R
P z
Max
Q z
| |
=
|
|
\ .
y entonces aplicando el teorema 3.7, se tiene:
( )
( )
( )
( )
( )
( ) Im 0 Im 0
Im(2 Re ( , ) Re ( , )) , 0
( ) ( )
k m
jaz jaz
k m
z w
P x P z P z
senaxdx j s e z j s e w a
Q x Q z Q z
t t
> =
= + >

}
(3.22)
( )
( )
( ) ( )
( ) ( ) Im 0 Im 0
cos Re(2 Re ( , ) Re ( , )) , 0
( ) ( )
k m
jaz jaz
k m
z w
P x P z P z
axdx j s e z j s e w a
Q x Q z Q z
t t
> =
= + >

}
(3.23)
135
En el caso en que a < 0, podemos hacer los siguientes cambios antes de
aplicar las frmulas anteriores:
( )
cos( ) cos( )
senax sen ax
ax ax
=
=
Otra alternativa es tomar la parte real e imaginaria en la frmula 3.21, que
corresponde a valores de a < 0.
Ejemplo3.23
Calcular:
2
cos
2 10
x x dx
x x
+
}
En este caso se cumplen las condiciones establecidas para aplicar la frmula
3.23, por lo tanto:
2 2
cos
Re( )
2 10 2 10
jz
x x dx z e dz
x x z z

=
+ +
} }
Los polos del integrando son:
1
1 3 z j = + , (polo simple) Im(z
1
) > 0
2
1 3 z j = , (polo simple) Im(z
2
) < 0
Luego, se calcula el residuo en
1
z :
136
( )
(1 3 )
2
2
1 3
(1 3 )
Re , 1 3
2(1 3 ) 2 2 10
2 10
jz jz j j
z j
z e z e j e
s z j
j z z
z z
+
= +
( +
= + = =
(
+ + '

+
3 3 3 3
2
(1 3 ) 3 cos1 1 (3 1 cos1)
Re , 1 3
6 6 2 10
jz j
z e j e e e sen je sen
s z j
j z z
+
( + + +
= + = =
(
+

finalmente:
3 3 3
2 3
cos 3 cos1 1 (3 1 cos1) (cos1 3 1)
Re 2
6 2 10 3
x x dx e e sen je sen sen
j
x x e
t
t

| | + +
= =
|
+
\ .
}
Ejemplo3.24
Calcular:
( )
2
0
1
sentx
x x
+
}
, con t < 0
Los lmites de integracin no corresponden al problema en estudio, sin
embargo, debido a que el integrando es una funcin par, podemos calcular la integral
como:
( ) ( ) ( )
1 1
2 2
2 2 2
0
Im
1 1 1
tx
sentx sentx e
dx dx dx
x x x x x x

| |
|
= =
|
+ + +
\ .
} } }
, 0 t <
Las singularidades de
( )
2
1
tz
e
z z +
son:
137
1
0 w = , (polo simple en el eje real)
1
z j = , (polo simple con ( )
1
Im 0 z > )
2
z j = , (polo simple con ( )
2
Im 0 z < )
aplicando la frmula 3.21 (ya que t < 0), los residuos a considerar son:
( ) ( )
2 2
0
Re , 0 1
1 1
tz tz
z
e e
s z
z z z
=
(
( = = =
+ + (

( )
( )
2 2
2
Re ,
2 2 1
1
tz tz tz tj
z j
z j
e e e e
s z j
z z z
z z
=
=
(
( = = = =
' + (
+
aplicando la frmula 3.22:
( )
2
2
1
tx
e
dx
x x
=
+
}
2
tj
e
j t

( ) ( ) 1 1 cos j sent j t t t t
| |
=
|
\ .
finalmente:
( ) ( )
( )
1
2
2 2
0
Im cos 1
2
1 1
tx
sentx e
dx dx t
x x x x
t

| |
|
= =
|
+ +
\ .
} }
138
Ejercicios propuestos
Calcular las siguientes integrales haciendo uso del teorema de los residuos:
1.-
2
cos
2 10
x x dx
x x
+
}
2.-
}

dx
x
tx
3
1
) cos(
, teZ
3.-
2 2
, 0, 0
( )
senax dx
a b
x x b
< >
+
}
4.-
( )
2
0 2
3
4
x sen x
dx
x
+
}
5.-
0
sen x
dx
x
}
6.-
( )
( )
2
2
1 1
sen x
dx
x
+
}
7.-
4
cos
1
x
dx
x
+
}
8.-
( )
2
2
cos
1
x
dx
x x
+ +
}
9.-
2
( 1) cos
3 2
x x
dx
x x
+
+ +
}
139
10.-
( )
2
0 2
2
3
x sen x
dx
x
+
}
11.-
( )( )
2 2
0
1 4
x sen x
dx
x x
+
}
12.-
( )( )
3
2 2
0
1 4
x sen x
dx
x x
+ +
}
13.-
( )
( )
2
0 2 2
cos
, 0, 0
ax
dx a b
x b
< <
+
}
Demuestre que:
14.-
( ) ( )
2
2
2 2
0
1 , 0
4
a
sen x
dx e a
a x a
t

= >
+
}
15.- ( )
2 2
0
, 0, 0
2
ma
senmxsennx
dx e senhna a m n
a x a
t

= > > >
+
}
16.- ( )
2 2
0
cos
, 0, 0
2
na
xsenmx nx
dx e senhma a n m
x a
t

= > > >
+
}
140
C
C
A
A
P
P
I
I
T
T
U
U
L
L
O
O
I
I
V
V
A AP PL LI IC CA AC CI IO ON NE ES S C CO ON N M MA AP PL LE E
Introduccin
En este captulo, se presenta el uso del paquete matemtico MAPLE, para
efectuar el desarrollo mediante clculo simblico, de ciertos casos de integrales reales
y complejas que se pueden resolver aplicando el teorema de los residuos estudiado en
el captulo anterior. De igual modo, se presenta el desarrollo mediante el clculo
simblico de series complejas, y las operaciones con series estudiadas en el captulo
dos. Bsicamente, se pretende exponer algunos ejemplos resueltos utilizando
procedimientos de programacin en MAPLE, los cuales fueron desarrollados
utilizando las funciones contenidas en las libreras de dicho paquete.
Integrales Reales
De acuerdo con lo estudiado en el captulo III, los casos considerados en el
estudio de las integrales reales mediante el uso residuos, fueron:
1. Integrales reales de funciones de la forma F(sen(nx),cos(mx)), de 0 a 2t, con
n,m reales, aplicando residuos.
2. Integrales impropias de cociente de polinomios, [P(x)/Q(x)].
141
3. Integrales impropias de funciones de la forma [P(x)/Q(x)]sen(ax)
[P(x)/Q(x)]cos(ax), con aeZ
*
.
1. Integrales reales de funciones de la forma F(sen(nx),cos(mx)), evaluadas
de 0 a 2t, con n,m reales, aplicando residuos
Para resolver las integrales de funciones reales de la forma
F(sen(nx),cos(mx)), de 0 a 2t, con n y m reales, aplicando el teorema de los residuos,
y utilizando Maple, vamos a utilizar la funcin (procedimiento) IR02Pi, la cual
consiste en una funcin de programacin elaborada en Maple, utilizando las
funciones de las libreras de Maple; la misma presenta la siguiente estructura:
-. Entrada: la entrada a la funcin IR02Pi es la funcin F(x) que se desea integrar.
-. Salida: la salida a la funcin IR02Pi es la resolucin de la integral, paso por paso.
Para ejecutar la funcin IR02Pi, se debe iniciar el paquete Maple e iniciar una
hoja de trabajo (worksheet). Luego, se escribe el nombre de la funcin (IR02Pi)
seguido con un par de parntesis y punto y coma; al pulsar la tecla enter comienza a
correr el programa. Inmediatamente, se solicita la funcin F(x) a integrar, la cual debe
ser escrita en la misma lnea de comando, y debe ser finalizada con punto y coma, y
posteriormente se presiona la tecla enter. Luego, se muestra en pantalla la resolucin
de la integral. A continuacin, se muestran dos ejemplos:
a) Resolver:
2
2
0
1
dx
sen x
t
+
}
IR02Pi();
Introduzca la funcin F(x)= 1/(1+(sin(x))^2);
142
Resolver la integral:
d
(
]
(
(
(
(
0
2 t
1
+ 1 ( ) sin x
2
x
Aplicando la frmula:
= d
(
]
((
0
2 t
( ) F , ( ) sen a x ( ) cos b x x d
(
]
(
(
(
(
(
(
(
= z 1
|
\
|
.
|
|
F ,
z
2a
1
2jz
a
+ z
2b
1
2z
b
jz
z
se obtiene,
= d
(
]
(
(
(
(
0
2 t
1
+ 1 ( ) sin x
2
x d
(
]
(
(
(
(
(
(
((
= z 1
j
|
\
|
.
|
|
|
1
( ) z
2
1
2
4 z
2
z
z
simplificando,
= d
(
]
(
(
(
(
0
2 t
1
+ 1 ( ) sin x
2
x d
(
]
(
(
(
(
= z 1
4 j z
+ + 6 z
2
z
4
1
z
Adems, se tiene que:
, , = d
(
]
(
(
(
(
= z 1
4 j z
+ + 6 z
2
z
4
1
z 2 j t ( )
k
( ) Res , ( ) F z z
k
< z 1
143
donde:
= ( ) F z
4 j z
+ + 6 z
2
z
4
1
Las singularidades de F(z) son:
= z
1
+ 1 2
= z
2
1 2
= z
3
+ 1 2
= z
4
1 2
F(z) tiene 4 singularidades, las cuales se sealan en la siguiente grfica:
144
Los residuos de las singularidades que se encuentran en la regin | z | < 1 son \
:
= ( ) Res , ( ) F z = z
2
1 2
( ) + 4 4 2 j
+ 16 8 2
= ( ) Res , ( ) F z = z
3
+ 1 2
( ) + 4 4 2 j
+ 16 8 2
sumamos los residuos:
, =
k
( ) Res , ( ) F z z
k
( ) + 8 8 2 j
+ 16 8 2
= con k { } , 2 3
por lo tanto,
= d
(
]
(
(
(
(
0
2 t
1
+ 1 ( ) sin x
2
x
2 t ( ) + 8 8 2
+ 16 8 2
simplificando,
= d
(
]
(
(
(
(
0
2 t
1
+ 1 ( ) sin x
2
x
2 t ( ) + 1 2
+ 2 2
finalmente,
, , d
(
]
(
(
(
(
0
2 t
1
+ 1 ( ) sin x
2
x es aproximadamente igual a 4.442882940
145
b) Resolver: dx
x sen
x sen
) 2 ( 4 5
4
3
2
0
2
}
t
|
.
|
\
| t
+
IR02Pi();
Introduzca la funcin F(x)= sin(3*x+Pi/4)^2/(5-4*sin(2*x));
d
(
]
(
(
(
(
(
(
(
0
2 t
|
\
|
.
|
|
sin + 3 x
t
4
2
5 4 ( ) sin 2 x
x
Primero, desarrollamos la funcin utilizando identidades:
= d
(
]
(
(
(
(
(
(
(
0
2 t
|
\
|
.
|
|
sin + 3 x
t
4
2
5 4 ( ) sin 2 x
x d
(
]
(
(
(
(
(
(
(
0
2 t
|
\
|
.
|
|
+
1
2
( ) sin 3 x 2
1
2
( ) cos 3 x 2
2
5 4 ( ) sin 2 x
x
= d
(
]
((
0
2 t
( ) F , ( ) sen a x ( ) cos b x x d
(
]
(
(
(
(
(
(
(
= z 1
|
\
|
.
|
|
F ,
z
2a
1
2jz
a
+ z
2b
1
2z
b
jz
z
se obtiene,
146
= d
(
]
(
(
(
(
(
(
(
0
2 t
|
\
|
.
|
|
sin + 3 x
t
4
2
5 4 ( ) sin 2 x
x d
(
]
(
(
(
(
(
(
(
(
(
(
(
(
(
= z 1
j
|
\
|
.
|
|
|
|
|
+
1
4
j ( ) z
6
1 2
z
3
( ) + z
6
1 2
4 z
3
2
|
\
|
.
|
|
+ 5
2 j ( ) z
4
1
z
2
z
z
simplificando,
= d
(
]
(
(
(
(
(
(
(
0
2 t
|
\
|
.
|
|
sin + 3 x
t
4
2
5 4 ( ) sin 2 x
x d
(
]
(
(
(
(
(
(
(
= z 1
-1
8
j ( ) z
6
j 1 j z
6
2
z
5
( ) + 5 z
2
2 j z
4
2 j
z
Adems, se tiene que:
, , = d
(
]
(
(
(
(
(
(
(
= z 1
-1
8
j ( ) z
6
j 1 j z
6
2
z
5
( ) + 5 z
2
2 j z
4
2 j
z 2 j t ( )
k
( ) Res , ( ) F z z
k
< z 1
donde:
= ( ) F z
-1
8
j ( ) z
6
j 1 j z
6
2
z
5
( ) + 5 z
2
2 j z
4
2 j
= z
1
0
= z
2
-1 j
147
= z
3
+ 1 j
= z
4
+
1
2
1
2
j
= z
5

-1
2
1
2
j
Los residuos de las singularidades que se encuentran en la regin | z | < 1 son \
:
= ( ) Res , ( ) F z = z
1
0
-21
32
j
=
|
\
|
.
|
|
Res , ( ) F z = z
4
+
1
2
1
2
j
49
192
j
=
|
\
|
.
|
|
Res , ( ) F z = z
5

-1
2
1
2
j
49
192
j
148
, =
k
( ) Res , ( ) F z z
k
-7
48
j = con k { } , , 1 4 5
por lo tanto,
= d
(
]
(
(
(
(
(
(
(
0
2 t
|
\
|
.
|
|
sin + 3 x
t
4
2
5 4 ( ) sin 2 x
x
7 t
24
finalmente,
, , d
(
]
(
(
(
(
(
(
(
0
2 t
|
\
|
.
|
|
sin + 3 x
t
4
2
5 4 ( ) sin 2 x
2. Integrales impropias de cociente de polinomios, [P(x)/Q(x)]
Para resolver las integrales impropias del cociente de polinomios, es decir,
funciones de la forma F(x) = P(x)/Q(x), aplicando la teora de residuos, y utilizando
Maple, vamos a utilizar la funcin (procedimiento) IICP, la cual consiste en una
funcin de programacin elaborada en Maple, y la cual presenta la siguiente
estructura:
-. Entrada: la entrada a la funcin IICP es la funcin F(x) = P(x)/Q(x) que se desea
integrar.
-. Salida: la salida a la funcin IICP es la resolucin de la integral, paso a paso.
149
Para ejecutar la funcin IICP, se debe iniciar el paquete Maple e iniciar una
hoja de trabajo (worksheet). Luego, se escribe el nombre de la funcin (IICP) seguido
con un par de parntesis y punto y coma; al pulsar la tecla enter comienza a correr el
programa. Inmediatamente, se solicita la funcin F(x) a integrar, la cual debe ser
escrita en la misma lnea de comando, y debe ser finalizada con punto y coma, y
a) Resolver:
}

+ + +
dx
x x x x ) 2 2 )( 1 (
1
2 2
IICP();
Introduzca la funcin F(x)= 1/(x*(x^2+1)*(x^2+2*x+2));
d
(
]
(
(
(
(
1
x ( ) + x
2
1 ( ) + + x
2
2 x 2
x
= d
(
]
(
(
(
(
1
x ( ) + x
2
1 ( ) + + x
2
2 x 2
x 2 j t
|
\
|
.
|
|
+ ( )
k
( ) Res , ( ) F z z
k
1
2
( )
m
( ) Res , ( ) F z w
m
donde:
= ( ) F z
1
z ( ) + z
2
1 ( ) + + z
2
2 z 2
= z
k
son las singularidades que se encuentran en la regin Im ( z ) > 0
= w
m
son los polos simples que se encuentran sobre el eje real Im ( z ) = 0
150
= z
1
j
= z
2
-1 j
= z
3
j
= z
4
+ -1 j
= w
1
0
El residuo de las singularidades que se encuentran en la regin Im( z ) > 0 so \
n:
= ( ) Res , ( ) F z = z
1
j +
-1
10
1
5
j
151
= ( ) Res , ( ) F z = z
4
+ -1 j
-3
20
1
20
j
, =
k
( ) Res , ( ) F z z
k
+
-1
4
3
20
j = con k { } , 1 4
El residuo de las singularidades que se encuentran sobre el eje real son:
= ( ) Res , ( ) F z = w
1
0
1
2
=
= m 1
1
( ) Res , ( ) F z w
m
1
2
por lo tanto,
= d
(
]
(
(
(
(
1
x ( ) + x
2
1 ( ) + + x
2
2 x 2
x
3 t
10
finalmente,
, , d
(
]
(
(
(
(
1
x ( ) + x
2
1 ( ) + + x
2
2 x 2
x es aproximadamente igual a -0.9424777962
152
b) Resolver:
}

+
+
dx
x
x
) 1 (
) 1 (
4
2
IICP();
Introduzca la funcin F(x)= (x^2+1)/(x^4+1);
d
(
]
(
(
(
(
+ x
2
1
+ x
4
1
x
= d
(
]
(
(
(
(
+ x
2
1
+ x
4
1
x 2 j t
|
\
|
.
|
|
+ ( )
k
( ) Res , ( ) F z z
k
1
2
( )
m
( ) Res , ( ) F z w
m
donde:
= ( ) F z
+ z
2
1
+ z
4
1
= z
k
= w
m
son los polos simples que se encuentran sobre el eje real Im ( z ) = 0
= d
(
]
(
(
(
(
+ x
2
1
+ x
4
1
x 2 j t ( )
k
( ) Res , ( ) F z z
k
= z
1
+
2
2
1
2
j 2
153
= z
2

2
2
1
2
j 2
= z
3

1
2
j 2
2
2
= z
4
+
1
2
j 2
2
2
n:
=
|
\
|
.
|
|
Res , ( ) F z = z
1
+
2
2
1
2
j 2
-1
4
j 2
=
|
\
|
.
|
|
Res , ( ) F z = z
3

1
2
j 2
2
2
-1
4
j 2
154
, =
k
( ) Res , ( ) F z z
k
-1
2
j 2 = con k { } , 1 3
por lo tanto,
= d
(
]
(
(
(
(
+ x
2
1
+ x
4
1
x t 2
finalmente,
, , d
(
]
(
(
(
(
+ x
2
1
+ x
4
1
3. Integrales impropias de funciones de la forma [P(x)/Q(x)]sen(au)
[P(x)/Q(x)]cos(au), aeZ
*
.
Para resolver las integrales impropias del producto entre el cociente de
polinomios en x y las funciones seno o coseno de una funcin lineal de x, es decir,
funciones de la forma [P(x)/Q(x)]sen(ax) [P(x)/Q(x)]cos(ax), aplicando el teorema
de los residuos, y utilizando Maple, vamos a utilizar la funcin (procedimiento)
IICPSC, la cual consiste en una funcin de programacin elaborada en Maple, y la
cual presenta la siguiente estructura:
-. Entrada: la entrada a la funcin IICPSC es la funcin F(x) = P(x)/Q(x)sen(ax)
P(x)/Q(x)]cos(ax), que se desea integrar.
-. Salida: la salida a la funcin IICPSC es la resolucin de la integral, paso a paso.
155
Para ejecutar la funcin IICPSC, se debe iniciar el paquete Maple e iniciar una
hoja de trabajo (worksheet). Luego, se escribe el nombre de la funcin (IICPSC)
correr el programa. Inmediatamente, se solicita la funcin F(x) a integrar, la cual debe
ser escrita en la misma lnea de comando, y debe ser finalizada con punto y coma, y
a) Resolver:
}

+ +
dx
x x
x
) 2 2 (
) 2 sin(
2
IICPSC();
Introduzca la funcin F(x)= sin(2*x)/(x^2+2*x+2);
d
(
]
(
(
(
(
( ) sin 2 x
+ + x
2
2 x 2
x
De acuerdo con las frmulas:
= d
(
]
(
(
(
(
( ) P x ( ) sin 2 x
( ) Q x
x 2 t
|
\
|
.
|
|
|
9
k
|
\
|
.
|
|
|
Res ,
( ) P z e
( ) 2 j z
( ) Q z
z
k
= d
(
]
(
(
(
(
( ) P x ( ) cos 2 x
( ) Q x
x 2 t
|
\
|
.
|
|
|

k
|
\
|
.
|
|
|
Res ,
( ) P z e
( ) 2 j z
( ) Q z
z
k
se tiene que:
156
= d
(
]
(
(
(
(
( ) sin 2 x
+ + x
2
2 x 2
x 2 t
|
\
|
.
|
|
|
9
k
|
\
|
.
|
|
|
Res ,
e
( ) 2 j z
+ + z
2
2 z 2
z
k
donde:
= ( ) F z
e
( ) 2 j z
+ + z
2
2 z 2
= z
1
-1 j
= z
2
+ -1 j
157
n:
= ( ) Res , ( ) F z = z
2
+ -1 j
-1
2
j e
( ) -2 2 j
, =
k
( ) Res , ( ) F z z
k
-1
2
j e
( ) -2 2 j
= con k { } 2
por lo tanto,
= d
(
]
(
(
(
(
( ) sin 2 x
+ + x
2
2 x 2
x t e
( ) -2
( ) sin 2
evaluando,
= d
(
]
(
(
(
(
( ) sin 2 x
+ + x
2
2 x 2
x -0.3866044698
b) Resolver:
2 2
sin 2
4
( 1)
x
dx
x x
t
| |
+
|
\ .
+
}
IICPSC();
Introduzca la funcin F(x)= sin(2*x+Pi/4)/(x*(x^2+1)^2);
158
d
(
]
(
(
(
(
(
(
(
|
\
|
.
|
|
sin + 2 x
t
4
x ( ) + x
2
1
2
x
Primero, se desarrolla la funcin F(x) aplicando identidades:
= d
(
]
(
(
(
(
(
(
(
|
\
|
.
|
|
sin + 2 x
t
4
x ( ) + x
2
1
2
x d
(
]
(
(
(
(
(
(
(
+
1
2
( ) sin 2 x 2
1
2
( ) cos 2 x 2
x ( ) + x
2
1
2
x
= d
(
]
(
(
(
(
(
(
(
|
\
|
.
|
|
sin + 2 x
t
4
x ( ) + x
2
1
2
x + d
(
]
(
(
(
(
(
1
2
( ) sin 2 x 2
x ( ) + x
2
1
2
x d
(
]
(
(
(
(
(
1
2
( ) cos 2 x 2
x ( ) + x
2
1
2
x
Segn las frmulas:
d
(
]
(
(
(
(
( ) P x ( ) sin 2 x
( ) Q x
x =
t
|
\
|
.
|
|
|
9 + 2
|
\
|
.
|
|
|
k
|
\
|
.
|
|
|
Res ,
( ) P z e
( ) 2 j z
( ) Q z
z
k
|
\
|
.
|
|
|
m
|
\
|
.
|
|
|
Res ,
( ) P z e
( ) 2 j z
( ) Q z
w
m
j
d
(
]
(
(
(
(
( ) P x ( ) cos 2 x
( ) Q x
x =
t
|
\
|
.
|
|
|
+ 2
|
\
|
.
|
|
|
k
|
\
|
.
|
|
|
Res ,
( ) P z e
( ) 2 j z
( ) Q z
z
k
|
\
|
.
|
|
|
m
|
\
|
.
|
|
|
Res ,
( ) P z e
( ) 2 j z
( ) Q z
w
m
j
159
donde:
= z
k
= w
m
son los polos simples que se encuentran sobre el eje real Im ( z ) = 0 .
se tiene que:
d
(
]
(
(
(
(
(
1
2
( ) sin 2 x 2
x ( ) + x
2
1
2
x =
|
\
|
.
|
|
|
+ 2 j t
|
\
|
.
|
|
|
k
|
\
|
.
|
|
|
Res ,
1
2
2 e
( ) 2 j z
z ( ) + z
2
1
2
z
k
t
|
\
|
.
|
|
|
m
|
\
|
.
|
|
|
Res ,
1
2
2 e
( ) 2 j z
z ( ) + z
2
1
2
w
m
j
donde:
= ( ) F z
1
2
2 e
( ) 2 j z
z ( ) + z
2
1
2
= z
1
j
= z
2
j
= w
1
0
160
n:
= ( ) Res , ( ) F z = z
1
j
1
2
2 e
( ) -2
, =
k
( ) Res , ( ) F z z
k

1
2
2 e
( ) -2
= con k { } 1
= ( ) Res , ( ) F z = w
1
0
2
2
161
=
= m 1
1
( ) Res , ( ) F z w
m
2
2
por lo tanto,
= d
(
]
(
(
(
(
(
1
2
( ) sin 2 x 2
x ( ) + x
2
1
2
x + t 2 e
( ) -2 t 2
2
simplificando,
= d
(
]
(
(
(
(
(
1
2
( ) sin 2 x 2
x ( ) + x
2
1
2
x
1
2
t 2 ( ) 2 e
( ) -2
1
evaluando,
= d
(
]
(
(
(
(
(
1
2
( ) sin 2 x 2
x ( ) + x
2
1
2
x 1.620162648
Adems:
d
(
]
(
(
(
(
(
1
2
( ) cos 2 x 2
x ( ) + x
2
1
2
x =
|
\
|
.
|
|
|
9 + 2 j t
|
\
|
.
|
|
|
k
|
\
|
.
|
|
|
Res ,
1
2
2 e
( ) 2 j z
z ( ) + z
2
1
2
z
k
t
|
\
|
.
|
|
|
m
|
\
|
.
|
|
|
Res ,
1
2
2 e
( ) 2 j z
z ( ) + z
2
1
2
w
m
j
donde:
= ( ) F z
1
2
2 e
( ) 2 j z
z ( ) + z
2
1
2
162
= z
1
j
= z
2
j
= w
1
0
n:
= ( ) Res , ( ) F z = z
1
j
1
2
2 e
( ) -2
, =
k
( ) Res , ( ) F z z
k

1
2
2 e
( ) -2
= con k { } 1
= ( ) Res , ( ) F z = w
1
0
2
2
=
= m 1
1
( ) Res , ( ) F z w
m
2
2
por lo tanto,
F(z) tiene 3 singularidades. (Vase la grfica anterior)
163
= d
(
]
(
(
(
(
(
1
2
( ) cos 2 x 2
x ( ) + x
2
1
2
x 0
finalmente,
= d
(
]
(
(
(
(
(
(
(
|
\
|
.
|
|
sin + 2 x
t
4
x ( ) + x
2
1
2
x
1
2
t 2 ( ) 2 e
( ) -2
1
y evaluando,
, , d
(
]
(
(
(
(
(
(
(
|
\
|
.
|
|
sin + 2 x
t
4
x ( ) + x
2
1
2
Integrales Complejas
De acuerdo con lo estudiado en el captulo III, los casos considerados fueron:
1. Integrales complejas, va parametrizacin de contornos.
2. Integrales complejas sobre contornos circulares, va teorema de los residuos.
1. Integrales complejas, va parametrizacin de contornos
Para resolver la integral compleja de una funcin F(z), a travs de un contorno
C dado en forma paramtrica, utilizando Maple, vamos a utilizar la funcin
164
(procedimiento) ICP, la cual consiste en una funcin de programacin elaborada en
Maple, y la cual presenta la siguiente estructura:
-. Entrada: las entradas a la funcin ICP son la funcin F(z) que se desea integrar, y el
contorno C dado como f(t), con t = a..b. En caso de que el contorno C este definido
por tramos C
1
, C
2
, , C
n
, se solicitarn para cada tramo una funcin f(t) y su
respectivo intervalo de t.
-. Salida: la salida a la funcin ICP es la resolucin de la integral, paso a paso.
Para ejecutar la funcin ICP, se debe iniciar el paquete Maple e iniciar una
hoja de trabajo (worksheet). Luego, se escribe el nombre de la funcin (ICP) seguido
con un par de parntesis y punto y coma; al pulsar la tecla enter comienza a correr el
programa. Inmediatamente, se solicita la funcin F(z) a integrar, la funcin f(t) (que
define al contorno C), y el intervalo de t (a..b), cada uno de los cuales debe ser
finalizado con punto y coma, y posteriormente se debe presionar la tecla enter.
Luego, se muestra en pantalla la resolucin de la integral. A continuacin, se
muestran dos ejemplos:
a) Resolver:
( )
2
2
1
C
z dz +
}
, siendo C = C
1
U C
2
, donde:
C
1
: f
1
(t) = t + jt
2
, t = 0..1
C
2
: f
2
(t) = 1 t + j(1 t), t = 0..1
ICP();
F(z)= (z^2+1)^2;
f(t)= t+j*t^2;
t= 0..1;
Desea introducir otro tramo del contorno? (s/n): s;
165
f(t)= 1-t+j*(1-t);
t= 0..1;
Desea introducir otro tramo del contorno? (s/n): n;
Resolver la integral de la funcin:
= ( ) f z ( ) + z
2
1
2
a travs de la curva C:
donde:
, C
1
esta definida como:
, , = ( ) z
1
t + t t
2
j = t .. 0 1
, C
2
esta definida como:
, , = ( ) z
2
t + 1 t ( ) 1 t j = t .. 0 1
166
Segn la definicin:
= d
(
]
((
C
( ) f z z d
(
]
(
(
(
(
a
b
( ) f ( ) z t
|
\
|
.
|
|
d
d
t
( ) z t t
adems,
= d
(
]
((
C
( ) f z z + + d
(
]
((
C
1
( ) f z z ... d
(
]
((
C
n
( ) f z z
donde:
= d
(
]
((
C
1
( ) f z z d
(
]
(
(
(
(
0
1
( ) + ( ) + t t
2
j
2
1
2
|
\
|
.
|
|
d
d
t
( ) + t t
2
j t
= d
(
]
((
C
2
( ) f z z d
(
]
(
(
(
(
0
1
( ) + ( ) + 1 t ( ) 1 t j
2
1
2
|
\
|
.
|
|
d
d
t
( ) + 1 t ( ) 1 t j t
por lo tanto:
d
(
]
(
(
C
( ) + z
2
1
2
z d
(
]
(
(
(
(
0
1
( ) + ( ) + t t
2
j
2
1
2
|
\
|
.
|
|
d
d
t
( ) + t t
2
j t =
d
(
]
(
(
(
(
0
1
( ) + ( ) + 1 t ( ) 1 t j
2
1
2
|
\
|
.
|
|
d
d
t
( ) + 1 t ( ) 1 t j t +
calculando y simplificando:
167
d
(
]
(
(
C
( ) + z
2
1
2
z d
(
]
(
(
0
1
+ + + 1 9 t
8
14 t
6
9 t
4
2 t
2
( ) + + + 2 t
9
16 t
7
2 t
5
8 t
3
2 t j t =
d
(
]
((
0
1
+ + + 7 24 t 28 t
2
16 t
3
4 t
4
( ) + + 1 8 t 20 t
2
16 t
3
4 t
4
j t +
finalmente, se resuelve(n) la(s) integral(es) y se obtiene:
= d
(
]
(
(
C
( ) + z
2
1
2
z 0
b) Resolver:
}
C
dz z
2
, siendo C = C
1
U C
2
U C
3
, donde:
C
1
: f
1
(t) = t + jt
2
, t = 0..1
C
2
: f
2
(t) = 1 2t + j, t = 0..1
C
3
: f
3
(t) = cos(t) + j[1 + sen(t)], t = 0..1
ICP();
F(z)= z^2;
f(t)= t+j*t^2;
t= 0..1;
f(t)= 1-2*t+j;
t= 0..1;
f(t)= cos(t)+j*(1+sin(t));
t= Pi..3*Pi/2;
Resolver la integral de la funcin:
= ( ) f z z
2
168
donde:
, C
1
esta definida como:
, , = ( ) z
1
t + t t
2
j = t .. 0 1
, C
2
esta definida como:
, , = ( ) z
2
t + ( ) cos t ( ) + ( ) sin t 1 j = t .. t
3 t
2
, C
3
esta definida como:
, , = ( ) z
3
t + 2 t + 1 j = t .. 0 1
169
Segn la definicin:
= d
(
]
((
C
( ) f z z d
(
]
(
(
(
(
a
b
( ) f ( ) z t
|
\
|
.
|
|
d
d
t
( ) z t t
adems,
= d
(
]
((
C
( ) f z z + + d
(
]
((
C
1
( ) f z z ... d
(
]
((
C
n
( ) f z z
donde:
= d
(
]
((
C
1
( ) f z z d
(
]
(
(
(
(
0
1
( ) + t t
2
j
2
|
\
|
.
|
|
d
d
t
( ) + t t
2
j t
= d
(
]
((
C
2
( ) f z z d
(
]
(
(
(
(
t
3 t
2
( ) + ( ) cos t ( ) + ( ) sin t 1 j
2 |
\
|
.
|
|
d
d
t
( ) + ( ) cos t ( ) + ( ) sin t 1 j t
= d
(
]
((
C
3
( ) f z z d
(
]
(
(
(
(
0
1
( ) + 2 t + 1 j
2 |
\
|
.
|
|
d
d
t
( ) + 2 t + 1 j t
por lo tanto:
170
d
(
]
((
C
z
2
z d
(
]
(
(
(
(
0
1
( ) + t t
2
j
2
|
\
|
.
|
|
d
d
t
( ) + t t
2
j t =
d
(
]
(
(
(
(
t
3 t
2
( ) + ( ) cos t ( ) + ( ) sin t 1 j
2 |
\
|
.
|
|
d
d
t
( ) + ( ) cos t ( ) + ( ) sin t 1 j t +
d
(
]
(
(
(
(
0
1
( ) + 2 t + 1 j
2 |
\
|
.
|
|
d
d
t
( ) + 2 t + 1 j t +
calculando y simplificando:
d
(
]
((
C
z
2
z d
(
]
((
0
1
+ + 5 t
4
t
2
( ) + 2 t
5
4 t
3
j t
(
]
((
t
3 t
2
3 ( ) cos t
2
( ) sin t 2 ( ) cos t
2
( ) sin t
3
+ + =
2 ( ) sin t
2
( ) sin t ( ) ( ) cos t
3
3 ( ) cos t ( ) sin t
2
4 ( ) cos t ( ) sin t ( ) cos t j + + + t d
d
(
]
((
0
1
+ + 8 t
2
8 t ( ) 8 t 4 j t +
finalmente, se resuelve(n) la(s) integral(es) y se obtiene:
= d
(
]
((
C
z
2
z 0
2. Integrales complejas sobre contornos circulares, va teorema de los
residuos
Para resolver la integral compleja de una funcin F(z), sobre el contorno de
una regin circular B del plano complejo, de contorno C, utilizando Maple, vamos a
utilizar la funcin (procedimiento) ICCC, la cual consiste en una funcin de
programacin elaborada en Maple, y la cual presenta la siguiente estructura:
171
-. Entrada: las entradas a la funcin ICCC son la funcin F(z) que se desea integrar, el
centro del contorno C, denotado zo, y el radio del mismo, denotado r.
-. Salida: la salida a la funcin ICCC es la resolucin de la integral, paso a paso.
Para ejecutar la funcin ICCC, se debe iniciar el paquete Maple e iniciar una
hoja de trabajo (worksheet). Luego, se escribe el nombre de la funcin (ICCC)
correr el programa. Inmediatamente, se solicita la funcin F(z) a integrar, el centro z
o
y el radio r del contorno circular, cada uno de los cuales debe ser finalizado con punto
y coma, y posteriormente se debe presionar la tecla enter. Luego, se muestra en
pantalla la resolucin de la integral. A continuacin, se muestran dos ejemplos:
a) Resolver: dz
z z sen
r z z
}
=
|
.
|
\
|
+ 0 ) cos(
4
1
t
, siendo z
o
= 0, y r = 5.
ICCC();
Introduzca la funcin F(z)= 1/(sin(z+Pi/4)*cos(z));
Introduzca el centro del crculo zo= 0;
Introduzca el radio del crculo r= 5;
Resolver la integral compleja:
= d
(
]
((
C
( ) f z z d
(
]
(
(
(
(
(
((
= z 5
1
|
\
|
.
|
|
sin + z
t
4
( ) cos z
z
Las singularidades de f(z) son:
= z +
t
4
t k
1
172
= z +
t
2
t k
2
Calculemos las singularidades de f(z) que se encuentran dentro de la regin: ,
s z 5
= z
1

3 t
2
= z
2
t
2
= z
3

t
4
= z
4
3 t
2
= z
5
3 t
4
= z
6

5 t
4
= z
7

t
2
f(z) tiene 7 singularidades. Vamos a graficarlas:
173
Ahora se calculan los residuos de las singularidades:
=
|
\
|
.
|
|
Res , ( ) F z = z
1

3 t
2
2
=
|
\
|
.
|
|
Res , ( ) F z = z
2
t
2
2
=
|
\
|
.
|
|
Res , ( ) F z = z
3

t
4
2
=
|
\
|
.
|
|
Res , ( ) F z = z
4
3 t
2
2
=
|
\
|
.
|
|
Res , ( ) F z = z
5
3 t
4
2
=
|
\
|
.
|
|
Res , ( ) F z = z
6

5 t
4
2
=
|
\
|
.
|
|
Res , ( ) F z = z
7

t
2
2
174
=
= k 1
7
( ) Res , ( ) F z z
k
2
por lo tanto,
= d
(
]
(
(
(
(
(
((
= z 5
1
|
\
|
.
|
|
sin + z
t
4
( ) cos z
z 2 j t
|
\
|
.
|
||
= k 1
7
( ) Res , ( ) F z z
k
= d
(
]
(
(
(
(
(
((
= z 5
1
|
\
|
.
|
|
sin + z
t
4
( ) cos z
z -2 j t 2
finalmente,
, , d
(
]
(
(
(
(
(
((
= z 5
1
|
\
|
.
|
|
sin + z
t
4
( ) cos z
z es aproximadamente igual a -8.885765876j
b) Resolver:
0
1
( )
z z r
dz
zsen z j
=
+
}
, siendo z
o
= 1 + j, y r = 4.
ICCC();
Introduzca la funcin F(z)= 1/(z*sin(z+j));
Introduzca el centro del crculo zo= 1+j;
Introduzca el radio del crculo r= 4;
175
Resolver la integral compleja:
d
(
]
(
(
(
(
= z 1 j 4
1
z ( ) sin + z j
z
= z 0
= z + j t k
1
, k
1
pertenece a Z
Las singularidades de F(z) que se encuentran dentro de la regin:
s z 1 j 4
son:
= z
1
0
= z
2
j
= z
3
+ j t
176
Los residuos de las singularidades son:
= ( ) Res , ( ) F z = z
1
0
j
( ) sinh 1
= ( ) Res , ( ) F z = z
2
j j
= ( ) Res , ( ) F z = z
3
+ j t
t
+ t
2
1
j
+ t
2
1
=
= k 1
3
( ) Res , ( ) F z z
k
+
t
+ t
2
1
( ) + t
2
1 ( ) sinh 1 t
2
j
( ) sinh 1 ( ) + t
2
1
por lo tanto,
= d
(
]
(
(
(
(
= z 1 j 4
1
z ( ) sin + z j
z 2 j t
|
\
|
.
|
||
= k 1
3
( ) Res , ( ) F z z
k
177
= d
(
]
(
(
(
(
= z 1 j 4
1
z ( ) sin + z j
z 2 j t
|
\
|
.
|
|
+
t
+ t
2
1
( ) + t
2
1 ( ) sinh 1 t
2
j
( ) sinh 1 ( ) + t
2
1
simplificando,
= d
(
]
(
(
(
(
= z 1 j 4
1
z ( ) sin + z j
z
2 t ( ) + + t
2
1 ( ) sinh 1 t
2
t ( ) sinh 1 j
( ) sinh 1 ( ) + t
2
1
finalmente,
, , d
(
]
(
(
(
(
= z 1 j 4
1
z ( ) sin + z j
z es aproximadamente igual a -0.3586580658 1.816000664j
Cota Superior
Para determinar la menor cota superior del mdulo de la integral de una
funcin F(z), en un contorno C dado en forma paramtrica, utilizando Maple, vamos a
utilizar la funcin (procedimiento) CS, la cual consiste en una funcin de
programacin elaborada en Maple, y la cual presenta la siguiente estructura:
-. Entrada: las entradas a la funcin CS son la funcin F(z), y el contorno C dado
como f(t), con t = a..b. En caso de que el contorno C este definido por tramos C
1
, C
2
,
, C
n
, se solicitarn para cada tramo una funcin f(t) y su respectivo intervalo de t.
-. Salida: la salida a la funcin CS es el procedimiento paso a paso para hallar la cota
superior.
178
Para ejecutar la funcin CS, se debe iniciar el paquete Maple e iniciar una hoja
de trabajo (worksheet). Luego, se escribe el nombre de la funcin (CS) seguido con
un par de parntesis y punto y coma; al pulsar la tecla enter comienza a correr el
programa. Inmediatamente, se solicita la funcin F(z) a integrar, la funcin f(t) (que
define al contorno C), y el intervalo de t (a..b), cada uno de los cuales debe ser
Seguidamente, se muestra en pantalla el procedimiento para hallar la cota superior. A
continuacin, se muestran dos ejemplos:
a) Hallar una cota superior para la funcin F(z) = sen(z), a travs del contorno
C: f(t) = 2cos(t) + jsen(t), t = 0..1 .
CS();
F(z)= sin(z);
f(t)= 2*cos(t)+j*sin(t);
t= 0..2*Pi;
Hallar una cota superior para la funcin:
= ( ) f z ( ) sin z
179
donde:
, , = ( ) C: z t + 2 ( ) cos t ( ) sin t j = t .. 0 2 t
Segn la definicin:
s d
(
]
((
C
( ) f z z
k
M
k
L
k
donde,
= L
k
d
(
]
(
(
(
(
a
b
d
d
t
( ) z
k
t t
= M
k
Max ( ) f ( ) z
k
t
por lo tanto:
s d
(
]
((
C
( ) sin z z
= k 1
1
M
k
L
k
180
Calculo de L:
= L d
(
]
(
(
(
(
C
d
d
t
( ) + 2 ( ) cos t ( ) sin t j t
= L d
(
]
((
0
2 t
+ 2 ( ) sin t ( ) cos t j t
= L d
(
]
(
(
0
2 t
+ 3 ( ) cos t
2
4 t
= L 9.688448216
Calculo de M:
= M Mximo de C
, , = M ( ) Max ( ) sin + 2 ( ) cos t ( ) sin t j = t .. 0 2 t
= M ( ) Max ( ) cosh ( ) sin t
2
( ) cos 2 ( ) cos t
2
= Por lo tanto M 1.175201194
finalmente:
s d
(
]
((
C
( ) sin z z M L
s d
(
]
((
C
( ) sin z z 11.38587591
b) Hallar una cota superior para la funcin F(z) = z
2
, a travs del contorno C
definido como C
1
U C
2
U C
3
, donde:
C
1
: f
1
(t) = t + jt
2
, t = 0..1
181
C
2
: f
2
(t) = 1 2t + j, t = 0..1
C
3
: f
3
(t) = cos(t) + j[1 + sen(t)], t = 0..1
CS();
F(z)= z^2;
f(t)= t+j*t^2;
t= 0..1;
f(t)= 1-2*t+j;
t= 0..1;
f(t)= cos(t)+j*(1+sin(t));
t= Pi..3*Pi/2;
Hallar una cota superior para la funcin:
= ( ) f z z
2
182
donde:
, C
1
esta definida como:
, , = ( ) z
1
t + ( ) cos t ( ) + ( ) sin t 1 j = t .. t
3 t
2
, C
2
esta definida como:
, , = ( ) z
2
t + 2 t + 1 j = t .. 0 1
, C
3
esta definida como:
, , = ( ) z
3
t + t t
2
j = t .. 0 1
Segn la definicin:
s d
(
]
((
C
( ) f z z
k
M
k
L
k
donde,
= L
k
d
(
]
(
(
(
(
a
b
d
d
t
( ) z
k
t t
= M
k
Max ( ) f ( ) z
k
t
por lo tanto:
s d
(
]
((
C
z
2
z
= k 1
3
M
k
L
k
183
Calculo de L:
= L
1
d
(
]
(
(
(
(
C
1
d
d
t
( ) + ( ) cos t ( ) + ( ) sin t 1 j t
= L
1
d
(
]
((
t
3 t
2
+ ( ) sin t ( ) cos t j t
= L
1
d
(
]
((
t
3 t
2
1 t
= L
1
1.570796327
= L
2
d
(
]
(
(
(
(
C
2
d
d
t
( ) + 2 t + 1 j t
= L
2
d
(
]
((
0
1
-2 t
= L
2
d
(
]
((
0
1
2 t
= L
2
2.
= L
3
d
(
]
(
(
(
(
C
3
d
d
t
( ) + t t
2
j t
= L
3
d
(
]
((
0
1
+ 1 2 j t t
= L
3
d
(
]
(
(
0
1
+ 1 4 t
2
t
184
= L
3
1.478942857
Calculo de M:
= M
1
Mximo de C
1
, , = M
1
( ) Max + ( ) cos t ( ) + ( ) sin t 1 j
2
= t .. t
3 t
2
= M
1
( ) Max 2 + 2 ( ) cos t
2
2 ( ) sin t
= de donde, M
1
2.
= M
2
Mximo de C
2
, , = M
2
( ) Max 2 t 1 j
2
= t .. 0 1
= M
2
( ) Max 2 ( ) + 1 2 t 2 t
2
2
= de donde, M
2
2.
= M
3
Mximo de C
3
, , = M
3
( ) Max + t t
2
j
2
= t .. 0 1
= M
3
( ) Max ( ) + t
2
t
4
2
= de donde, M
3
2.000000000
finalmente:
s d
(
]
((
C
z
2
z + + M
1
L
1
M
2
L
2
M
3
L
3
s d
(
]
((
C
z
2
z 10.09947837
185
Series Infinitas de Funciones de Variable Compleja
De acuerdo con lo estudiado en el captulo II, sobre series infinitas de
funciones de variable compleja, se puede obtener el desarrollo en series de potencia
de una funcin dada F(z).los casos considerados en el estudio de las integrales
reales mediante el uso de la teora de residuos, fueron:
Para efectuar el desarrollo en series de potencia de una funcin F(z), centrada
en un punto z
o
, y con un grado de aproximacin conocido, utilizando Maple, vamos a
utilizar la funcin (procedimiento) SIFVC, la cual consiste en una funcin de
programacin elaborada en Maple, utilizando las funciones de las libreras de Maple;
la misma presenta la siguiente estructura:
-. Entrada: la entrada a la funcin SIFVC es la funcin F(z) que se desea integrar.
-. Salida: la salida a la funcin SIFVC es el desarrollo en series de potencia de la
funcin F(z).
Para ejecutar la funcin SIFVC, se debe iniciar el paquete Maple e iniciar una
hoja de trabajo (worksheet). Luego, se escribe el nombre de la funcin (SIFVC)
correr el programa. Inmediatamente, se solicita la funcin F(z) a integrar, el centro z
o
,
y el orden o grado de aproximacin de la serie, cada uno de los cuales debe ser
Seguidamente, se muestra en pantalla el procedimiento para obtener el desarrollo en
series de potencia de la funcin dada. A continuacin, se muestran un ejemplo:
186
SIFVC();
Introduzca la funcin F(z)= ((z+1))/((z^3-z^2));
Introduzca el centro zo= 1;
Introduzca el orden= 6;
= Desarrollo en serie de potencias de f(z)
+ z 1
z
3
z
2
, = centrado en z 1 = y grado de aproximacion 6
Descomponiendo f(z) en fracciones parciales tendremos:
=
+ z 1
z
3
z
2

2
z 1
1
z
2
2
z
Para cada fraccin parcial obtenemos los desarrollos en serie:
, =
2
z 1
2
z 1
< 0 z 1
, =
1
z
2
+ + + 3 2 z 3 ( ) z 1
2
4 ( ) z 1
3
5 ( ) z 1
4
6 ( ) z 1
5
< z 1 1
, =
1
z
2
+ + +
1
( ) z 1
2
2
( ) z 1
3
3
( ) z 1
4
4
( ) z 1
5
5
( ) z 1
6
6
( ) z 1
7
< 1 z 1
, =
2
z
+ + + 4 2 z 2 ( ) z 1
2
2 ( ) z 1
3
2 ( ) z 1
4
2 ( ) z 1
5
< z 1 1
, =
2
z
+ + +
2
z 1
2
( ) z 1
2
2
( ) z 1
3
2
( ) z 1
4
2
( ) z 1
5
2
( ) z 1
6
< 1 z 1
187
Combinando las series de forma apropiada obtendremos:
, =
+ z 1
z
3
z
2
+ + +
2
z 1
7 4 z 5 ( ) z 1
2
6 ( ) z 1
3
7 ( ) z 1
4
8 ( ) z 1
5
< 0 z 1
, =
+ z 1
z
3
z
2
+ +
1
( ) z 1
2
1
( ) z 1
4
2
( ) z 1
5
3
( ) z 1
6
6
( ) z 1
7
< 1 z 1

Trab Asc Int enVC Braulio Jairo PDF

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Trab Asc Int enVC Braulio Jairo PDF

Загружено:

Авторское право:

Доступные форматы

2

se puede formar la sucesin:

es absolutamente convergente, si la serie

son absolutamente convergentes con sumas

, es tambin absolutamente convergente y su suma vale W(z) = U(z).V(z) .

tomando el lmite cuando n , y considerando que 1 z < :

Demuestre que las siguientes series convergen en los dominios indicados:

converge uniformemente a ( ) S z en la regin R,

una serie que converge uniformemente a ( ) S z en una cierta

una serie que converge uniformemente a ( ) S z en una cierta

una serie convergente uniformemente a ( ) S z en una cierta

es convergente uniformemente a ( ) S z en una cierta regin R, y

una serie que converge uniformemente a ( ) S z en una cierta

y haciendo uso de la serie geomtrica, se tiene que:

introduciendo esta serie en la ecuacin 2.9:

, hasta el grado tres (3),

Nota: hemos aplicado la divisin sinttica, considerando solo a los coeficientes.

y teniendo en cuenta que:

cuya serie se obtiene derivando trmino a trmino a las series de

combinando adecuadamente, y sumando las distintas series tendremos:

= posee una singularidad evitable o

obtenemos una funcin analtica en

dividiendo a 1 entre la serie de ( ) f z , se obtiene una serie de la forma:

El trmino de menor grado corresponde al exponente N, por lo tanto,

De las series de Taylor anteriores se obtiene el resultado buscado.

es igual a cero si 0 z a travs del eje real negativo, tiende

multiplicando ambos miembros por (

de donde se desprende que:

por ser la derivada un polinomio en

calculando previamente los trminos de la derivada del cociente:

sustituyendo, tendremos finalmente:

del producto, obtenemos:

y considerando los trminos

Sustituyendo ( ) f z por su desarrollo de Laurent dentro de la integral, y

y aplicando la condicin para que la integral sea nula sobre

Esta transformada de Fourier corresponde a un filtro pasa-bajo ideal con

Вам также может понравиться