Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Complex
Complex
ndice General
Advertencia.
Estos apuntes no han sido corregidos. Cualquier errata o error que se detecte, por favor,
escribid a mi direccin jose.canovas@upct.es, para que en un futuro se pueda subsanar.
No son los apuntes de la asignatura. Son una gua que no tiene porqu corresponderse al cien
por cien con lo explicado en clase.
Se ha utilizado el smbolo = para denotar un paso en alguna demostracin que, siendo cierto, no
est bien justificado. Normalmente cuando se trata de permuta de lmites, como una integral
con un sumatorio. Para un estudio de las pruebas rigurosas al cien por cien nos remitimos a la
bibliografa al final de estas notas.
ndice General
ii
ndice General
1 El cuerpo de los nmeros complejos
1.1 Introduccin a los nmeros complejos . . . . .
1.2 Operaciones con nmeros complejos: el cuerpo
1.3 El conjugado de un nmero complejo . . . . .
1.4 Mdulo y argumento de un nmero complejo .
1.5 Topologa del plano complejo . . . . . . . . .
1.5.1 La esfera de Riemann . . . . . . . . . .
1.5.2 Sucesiones de numeros complejos . . .
1.5.3 Series de numeros complejos . . . . . .
1.6 Ejercicios . . . . . . . . . . . . . . . . . . . .
. . . . . .
complejo
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
2
3
4
7
8
9
9
9
.
.
.
.
.
.
.
.
.
.
13
13
13
14
14
15
16
17
18
21
22
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
27
28
29
32
34
.
.
.
.
.
.
.
.
.
.
.
.
41
41
44
47
48
.
.
.
.
.
.
.
.
.
.
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ndice General
4.4.1 Ecuaciones en diferencias finitas . . . . . . . . . . . . .
4.4.2 Definicin y propiedades bsicas . . . . . . . . . . . . .
4.4.3 Transformada Z inversa . . . . . . . . . . . . . . . . .
4.4.4 Aplicacin a la resolucin de la ecuacin en diferencias
4.4.5 Funciones de transferencia. . . . . . . . . . . . . . . . .
4.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5 El Teorema de los residuos.
5.1 Residuo de un punto . . . . . . . .
5.2 El Teorema de los residuos . . . . .
5.3 Aplicaciones al clculo de integrales
5.4 Ejercicios . . . . . . . . . . . . . .
. . . .
. . . .
reales
. . . .
iv
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
48
49
52
52
54
55
.
.
.
.
61
61
62
64
65
Captulo 1
El cuerpo de los nmeros complejos
Sumario. Suma y producto de nmeros complejos. Potenciacin y radicacin de
nmeros complejos. Mdulo y argumento. Topologa del plano complejo. La esfera
de Riemann.
1.1
2i 4
4
x=
=
= 1 1i,
2
2
con lo que puede resolverse cualquier ecuacin algebraica de grado dos.
Dado un nmero complejo z = a + ib, se define su parte real Re z = a y su parte imaginaria
Im z = b. Si la parte imaginaria es nula el nmero es real, mientras que si la parte real es nula, el
nmero complejo se dice imaginario puro. Entonces podemos identificar los nmeros complejos como
pares ordenados de R2 donde la parte real sea el eje x y la parte imaginaria sea el eje y. Entonces
podemos identificar los nmeros complejos como vectores del plano
2
1.2
Vamos a dotar al conjunto de los nmeros complejos de unas operaciones suma y producto de tal
manera que el conjunto C con estas operaciones tenga estructura de cuerpo conmutativo.
Para definir la suma tomamos como idea la idenficacin hecha anteriormente de C con el plano
real. Dados entonces los nmeros complejos z = a + ib y w = c + id definimos su suma
z + w = (a + c) + i(b + d),
es decir, atendiendo a la definicin de suma de vectores en el plano real. Las propiedades de la suma
son las siguientes.
(S1) La suma es conmutativa, es decir, dados z, z 0 C se verifica que z + z 0 = z 0 + z.
(S2) La suma es asociativa, es decir, dados z, z 0 , z 00 C se cumple que (z + z 0 ) + z 00 = z + (z 0 + z 00 ).
2
1.3
Dado z = a + ib, se define su complejo conjugado z = a ib. El conjugado tiene las siguientes
propiedades.
(C1) z = z para todo z C.
(C2) z + w = z + w para todo z, w C.
(C3) z w = z w para todo z, w C.
(C4) z z R para todo z C.
(C5) Si z R, entonces z = z.
3
con lo que la propiedad (C3) se verifica. Para probar (C4) hay que darse cuenta de que
z z = a2 + b2 R.
Por ltimo, la propiedad (C5) es inmediata.
El uso del conjugado es muy til en algunas ocasiones. Por ejemplo, si z C \ {0}, tenemos que
su elemento inverso puede escribirse como
z
z 1 =
.
zz
1.4
Ya vismo que los nmero complejos los podemos identificar con el plano R2 . En virtud de esta
identificacin, a todo nmero complejo z 6= 0 podemos asociarle y mdulo y un argumento o ngulo
que forma el vector determinado por el nmero complejo con el eje x.
|z| := + z z = + a2 + b2 .
La propiedades del mdulo son las siguientes:
4
|z w| = + z w z w = + z z w w = |z| |w|.
2
Probemos ahora (M4) teniendo en cuenta que z z 1 = 1 y utilizando (M3) tenemos que
|z z 1 | = |z| |z 1 | = 1,
de donde se deduce que
|z 1 | = |z|1 = 1/|z|.
La propiedad (M5) se deduce automticamente de las propiedades (M3) y (M4). Para probar (M6)
sabemos que por (M2) y (M3)
| Re(z w)| |z w| = |z| |w|
e
| Im(z w)| |z w| = |z| |w|.
Finalmente, para demostrar la propiedad triangular, calculamos
|z + w|2 =
=
=
=
(z + w) (z + w) = (z + w) (z + w)
z z + w w + z w + z w = |z|2 + |w|2 + z w + z w
|z|2 + |w|2 + 2 Re(z w) |z|2 + |w|2 + 2|z| |w|
(|z| + |w|)2 ,
z n = (|z|n )n
z
=
w
|z|
|w|
n
Si z 6= 0, entonces w = z si y slo si z = wn . Entonces
wn = (|w|n )n = |z| ,
de donde
|w|n = |z|
o equivalentemente
|w| =
y
p
n
|z|
+ 2k
, k Z.
n
Ahora bien, si k
/ {0, 1, ..., n 1} tenemos que k = n l + p, p {0, 1, ..., n 1} con lo que
=
+ 2(nl + p)
+ 2p
+ 2k
=
=
+ 2l
n
n
n
6
+ 2k
, k = 0, 1, ..., n 1
n
n
z = n |z| +2k , k = 0, 1, ..., n 1.
n
1.5
2
La topologa del plano complejo es similar a la que el alumno
conoce
de R . Basta darse cuenta para
B(z0 , r) = {z C : |z z0 | < r}
y se define la bola cerrada como
B(z0 , r) = {z C : |z z0 | r}.
Un conjunto A C se dir abierto si para cada z0 A existe r > 0 de manera que B(z0 , r) A.
Un conjunto A C se dice cerrado si su complementario C \ A es abierto. Por supuesto que la bola
abierta (respectivamente cerrada) es un conjunto abierto (respectivamente cerrado). Por ejemplo el
conjunto
{z C : Re z > 0}
es un conjunto abierto mientras que el conjunto
{z C : Re z 0}
es cerrado. Por supuesto existen conjuntos que no son abiertos ni cerrados, como por ejemplo
{z C : Re z > 0, Im z 0}.
Dado un conjunto A se define el interior de A, Int(A), como el mayor abierto contenido en A.
Se define su clausura, Cl(A), como el menor cerrado que contiene a A. Se define la frontera de A,
Fr(A) = Cl(A) \ Int(A). El conjunto A es acotado si existe M > 0 tal que |z| < M para todo z A.
A se dir compacto si es cerrado y acotado.
Por ltimo, un punto z0 es punto de acumulacin de A si para todo > 0 se verifica que B(z0 , )A
contiene infinitos puntos. Los puntos de acumulacin son importantes porque son aquellos con los
que calcularemos los lmites y las nociones asociadas de derivada. Es fcil darse cuenta que si A es
un conjunto abierto, entonces todos sus puntos son de acumulacin.
7
1.5.1
La esfera de Riemann
Igual que en la recta real tenemos dos smbolos + para indicar nmeros reales arbitrariamente
grandes y para indicar nmeros reales arbitrariamente pequeos, en en cuerpo de los nmeros
complejos tenemos un simbolo para indicar nmeros complejos con mdulo arbitrariamente grande.
Para visualizar este smbolo, consideramos la esfera S 2 dada por la ecuacin x2 + y 2 + z 2 = 1 y sea
N = (0, 0, 1) su polo norte y S = (0, 0, 1) su polo sur. Identificamos el conjunto de nmeros
complejos con el plano z = 1 (es decir un nmero complejo z = a + ib lo escribiremos (a, b, 1)) y
construimos una aplicacin biyectiva p : S 2 \ {N} C dada por
p(x, y, z) =
2(x + iy)
z1
y que se obtiene de la interseccin de la recta que pasa por N y el punto (x, y, z) con el plano z = 1.
Entonces podemos identificar el infinito del plano complejo con el polo norte de la esfera, que se
conoce con el nombre de esfera de Riemann. Con estas ideas, obtenemos la bola de centro como
B(, r) = {z C : |z| > r}.
Ademas z + = , si z 6= 0, z = , 1 = 0 y 01 = . Como siempre 0 , y
/ son indeterminaciones, que habr que resolver en el clculo de los lmites.
8
1.5.2
1.5.3
Lo mismo que hemos apuntado para sucesiones de nmeros complejos ocurre para series de nmeros
complejos. Dada una sucesin de numeros complejos zn se contruye la serie de trmino genera zn
generando la sucecin
P sn = s1 + s2 + ... + sn . Al posible lmite de dicha sucesin lo denotamos
formalmente por n=1 zn y decimos que la serie es convergente
siP
el lmite es unP
nmero complejo
P
X
X
X
X
X
zn
wn = z1
wn + z2
wn + ... + zn
wn + ...
n=1
n=1
n=1
n=1
n=1
Este producto, si ambas series son absolutamente convergentes puede reordenarse de la manera
siguiente
!
!
X
n
X
X
X
zn
wn =
zi wni+1 ,
n=1
n=1
n=1 i=1
1.6
Ejercicios
(c) 2+3i
34i
(d) (1+i 3)3
9
(e) i5 + i16
(f) 2/2
(g) 1 + i + i2 + i3
(h) 1/4
3
3
4
1 (c)
i
(e) 6 8
(g)
1
(a)
8
3
(b) 1 (d) 1 i (f) 3 + 4i (h) 2 + 2i
4. Calcular el mdulo y el argumento de los siguientes nmeros complejos:
(a) 3 + 4i (b)
1+i
1i
(c) i7 + i10
(f) 1 + i + i2
4
(a) 2i (c) 3i (e) 1 (g)
1
3
1+i
z1 z2
, ,
z2 z1
z22 z1 .
1i
.
1+i
18. Sea p(x) = an xn + an1 xn1 + ... + a1 x + a0 un polinomio con coeficientes reales, esto es, ai R
para 0 i n. Se pide:
(a) Comprobar que para todo z C se cumple la igualdad p(z) = p(z).
(b) Usando el apartado anterior, probar que si z0 es solucin compleja de P (z) = 0, entonces
su conjugado tambin es solucin.
(c) Calcular todas las soluciones de x4 2x3 + 2x2 2x + 1 = 0.
19. Resolver las ecuaciones
(a) x2 + 1 = 0 (b) x3 + 2 = 0 (c) x5 + 64 = 0 (d) (x2 + 4)(x 1)2 = 0.
20. Estudiar la convergencia de las siguientes series complejas:
P
P (1)n +i
P (1+i)n
n
(a)
(c)
(e)
2
n=1
n
n
Pn=1 (2i)
Pn=1
P
cos n+i sin n
cos(n)+i sin(n)
n!
(b)
(d)
(f)
n=1 (in)n
n=1
n=1
n!
n
P
cos(2n )+ ni
(g)
n2
Pn=1
in sin n
(h) n=1 3n
P
n
21. Dada la serie
n=0 z , comprobar que es absolutamente convergente si |z| < 1 y que es divergente para |z| > 1. Estudiar su carcter para z {1, 1, i, i}.
22. Supongamos que es una relacin de orden sobre C de manera que restringida a R coincide
con la usual, es decir, si x, y R, entonces x y si y slo si x y. Supongamos que cumple
las condiciones de compatibilidad:
(P1) z z 0 si y slo si z + w z 0 + w para todo w C.
(P2) z z 0 y 0 w implica z w z 0 w.
Comprobar que para dicha relacin se cumple que i 0 y 0 i, con lo que C no est totalmente
ordenado.
23. Comprobar que la relacin definida por
z z 0 Rez Rez 0 e Imz Imz 0
es de orden sobre C y verifica las hiptesis (P1) y (P2) del ejercicio anterior.
24. Dados z, w C comprobar las desigualdades:
(a) |z w| ||z| |w||.
12
Captulo 2
Funciones de variable compleja. Derivada
en sentido complejo.
Sumario.
Funciones de variable compleja. Primeros ejemplos. La funcin exponencial. Seno y Coseno complejos. Logaritmo complejo. Derivada compleja.
Condiciones de CauchyRiemann.
2.1
2.1.1
Un polinomio con coeficientes complejos es una funcin de la forma p : C C dada para cada z C
por p(z) = an z n + an1 z n1 + ... + a1 z + a0 , donde ai C para todo 0 i n. Los polinomios son
las funciones que se contruyen usando sumas y productos de nmeros complejos y, desde el punto de
vista del clculo, son las funciones ms simples.
Veamos cmo obtener la parte real e imaginaria de un polinomio de variable compleja. Por
ejemplo, consideremos el polinomio p(z) = z 2 + 2z + i y suponiendo que z = x + iy tenemos que
p(x + iy) = (x + iy)2 + 2(x + iy) + i
= x2 y 2 + i2xy + 2x + i2y + i
= x2 y 2 + 2x + i(2xy + 2y + 1),
de donde
Re p(x + iy) = x2 y 2 + 2x,
Im p(x + iy) = 2xy + 2y + 1.
13
2.1.2
Son aquellas funciones que se construyen con las operaciones bsicas del cuerpo de los nmeros
complejos incluyendo la divisin. Son por tanto funciones de la forma
Q(z) =
p(z)
,
q(z)
donde p(z) y q(z) son polinomios complejos. Dicha funcin estar definida en el conjunto C\ {z C :
q(z) = 0}, es decir, para todo nmero complejo excepto para aquellos que anulan el denominador de la
fraccin. Ejemplos de funciones racionales complejas son Q(z) = z/(z 2 +i) o Q(z) = (z 3 +iz1+i)/z.
Es un buen ejercicio que recomendamos al alumno el obtener las funciones parte real e imaginaria
para funciones de este tipo.
2.1.3
X
zn
n=0
n!
Hemos de hacer notar en primer lugar que para todo nmero complejo z se verifica que
n
X
z X
|z|n
=
= e|z| ,
n!
n!
n=0
n=0
es decir, la serie de los valores absolutos converge a la exponencial real y por tanto la serie que define
la exponencial compleja es absolutamente convergen y por tanto convergente. Probamos de este
modo que la funcin exponencial est definida en todo el campo complejo. Veamos a continuacin
alguna de sus propiedades.
En primer lugar, si z, w C, y dado que las series son aboslutamente convergentes
n
!
!
!
ni
X zn
X wn
X
X zi
w
ez ew =
=
n!
n!
i! (n i)!
n=0
n=0
n=0
i=0
!
n
X
X
1 X
n!
(z + w)n
i
ni
=
z w
= ez+w .
=
n!
i!(n
i)!
n!
n=0
n=0
i=0
En segundo lugar, si x R, entonces
ix
=
=
X
(ix)n
n=0
X
n=0
n!
n n
X
i x
n=0
n!
X
(1)n 2n+1
(1)n 2n
+i
x
x = cos x + i sin x,
(2n + 1)!
(2n)!
n=0
dado que i2n = (1)n e i2n+1 = i(1)n . A partir de esta forma podemos dar la forma exponencial
de un nmero complejo que es de la forma
z = |z|ei , arg(z).
14
p
|eix | = + cos2 x + sin2 x = 1,
2.1.4
X
(1)n 2n+1
sin z =
z
(2n + 1)!
n=0
cos z =
X
(1)n
n=0
(2n)!
z 2n .
Adems, de la defincin pueden definirse las siguientes propiedades anlogas a las que se daban para
las funciones trigonomtricas reales.
(T1) sin2 z + cos2 z = 1.
(T2) Para todo z C, se verifica que sin(z) = sin(z) y cos(z) = cos z.
(T3) Para todo z, w C, se verifica que sin(z + w) = sin z cos w + sin w cos z y cos(z + w) =
cos z cos w sin z sin w.
(T4) sin z = 0 si y slo si z = k , k Z.
(T5) cos z = 0 si y slo si z = /2 + k , k Z.
15
e e2 e2 e2
=
| sin(2i)| =
3.6269... > 1.
2i
2
De hecho, si x > 0,
x
e ex ex ex
=
,
| sin(xi)| =
2i
2
por lo que el mdulo del seno puede ser tan grande como queramos. Un razonamiento anlogo sirve
para el coseno.
2.2
Debido a que la topologa del plano complejo es como la de R2 con la norma eucldea, la nocin de
lmite de una funcin de variable compleja es similar a la misma nocin para funciones del plano en
s mismo. Ms precisamente, sea f : A C C una funcin de variable compleja y sea z0 C
punto de acumulacin de A.
Se dice que f tiende a l C cuando z tiende a z0 , y se escribir limzz0 f (z) = l si para todo
> 0 existe > 0 tal que si |z z0 | < entonces |f (z) l| < .
Se dice que limzz0 f (z) = si para todo M > 0 existe > 0 tal que si |z z0 | < , entonces
|f (z)| > M.
Se dice que limz f (z) = l si para todo > 0 existe N > 0 tal que si |z| > N, entonces
|f (z) l| < .
Por ltimo, diremos que limz f (z) = si para todo M > 0 existe N > 0 de manera que si
|z| > N, entonces |f (z)| > M.
Los lmites de funciones de variable compleja tienen las siguientes propiedades que son anlogas
a aquellas de los lmites de funciones del plano.
(L1) Si el lmite existe, entonces es nico.
(L2) limzz0 f (z) = l si y slo si limzz0 Re f (z) = Re l y limzz0 Im f (z) = Im l.
Esta segunda propiedad nos permite tratar con los lmites como si de funciones reales del plano
se tratara. Por ejemplo, si queremos calcular
z
1
= ,
z1 z + 1
2
lim
y no hay indeterminacin. Pero si hay indeterminacin, como en el caso siguiente, todo lo aprendido
en la asignatura de clculo es til para calcular los lmites. Por ejemplo, el lmite
0
z + iz 2
= ,
lim p
z0
0
|z|
16
0
0
y como adems
x 2xy
= 0.
lim p
4
x+iy0
x2 + y 2
x2 y 2 y
p
= 0,
x+iy0 4 x2 + y 2
lim
z + iz 2
lim p
= 0.
z0
|z|
Es un buen ejercicio para el alumno comprobar que
z + iz 2
z0
|z|
lim
no existe.
2.3
Una vez estudiada la nocin de lmite de una funcin de variable compleja, pasamos a abordar la
continuidad de las misma. Como en el caso real una funcin f : A C C se dir continua en
z0 A si existe el lmite de f (z) cuando z z0 y adems
lim f (z) = f (z0 ).
zz0
2.4
La derivada compleja es la parte ms novedosa de este tema y a la que dedicaremos una mayor parte
del tiempo. Aunque la definicin es idntica en su forma a la derivada real, pues f : A C C se
dir derivable (tambin holomorfa) en z0 Int(A) si existe y es finito el lmite
lim
zz0
f (z) f (z0 )
= f 0 (z0 ).
z z0
zz0
lim
con lo que queda demostrado. Ya sin demostracin, enunciamos otras propiedades del algebra de
funciones derivables.
(D1) (f (z) + g(z))0 = f 0 (z) + g 0 (z).
(D2) (f (z) g(z))0 = f 0 (z) g(z) + f (z) g 0 (z).
(D3) Si g(z) 6= 0 entonces (f (z)/g(z))0 = (f 0 (z) g(z) f (z) g 0 (z))/g(z)2
(D4) Regla de la cadena. (f g)0 (z) = f 0 (g(z)) g 0 (z).
(D5) Teorema de la funcin inversa. Si f 0 (z0 ) 6= 0, entonces existe r > 0 tal que f es inyectiva
en B(z0 , r), f (B(z0 , r)) es abierto y existe una funcin inversa f 1 : f (B(z0 , r)) B(z0 , r)
derivable en f (z0 ) y tal que
1
.
(f 1 )0 (f (z0 )) = 0
f (z0 )
Por ltimo vamos a estudiar la relacin existente entre la derivacin compleja y la diferenciacin
ya estudiada en la asignatura de clculo. Recordemos que el mdulo en C es equivalente a la norma
eucldea en R2 y entonces una funcin f (considerada indistintamente en C o R2 ) es diferenciable si
lim
zz0
donde Df (z0 ) es una aplicacin lineal de R2 en si mismo de manera que su matriz respecto de la base
cannica de R2 se llama matriz Jacobiana de f y es
!
f1
f1
(z
)
(z
)
0
0
x
y
,
Jf (z0 ) =
f2
f2
(z
)
(z
0
0)
x
y
donde f1 (z) = Re f (z) y f2 (z) = Im f (z). Entonces se verifica el siguiente resultado.
18
zz0
zz0
z z0
zz0
z z0
de donde por la continuidad del mdulo
lim
zz0
Vamos a escribir la expresin Df (z0 )(z z0 ) = f 0 (z0 )(z z0 ) de una forma ms sencilla. Para
ello, supongamos que z z0 = x + iy. Entonces
!
f1
f1
(z
)
(z
)
x
0
0
x
y
Df (z0 )(z z0 ) =
f2
f2
y
(z0 ) y (z0 )
x
!
1
1
(z0 ) + y f
(z0 )
x f
x
y
.
=
f2
f2
x x (z0 ) + y y (z0 )
Y por otro lado
f 0 (z0 )(z z0 ) = x Re f 0 (z0 ) y Im f 0 (z0 ) + i[x Im f 0 (z0 ) + y Re f 0 (z0 )].
Comparando ambas expresiones tenemos que
f1
f1
(z0 ) + y
(z0 ) = x Re f 0 (z0 ) y Im f 0 (z0 ),
x
y
f2
f2
x
(z0 ) + y
(z0 ) = x Im f 0 (z0 ) + y Re f 0 (z0 ).
x
y
f1
f2
(z0 ) =
(z0 ),
y
x
f1
f2
(z0 ) + i
(z0 )
x
x
ieiz + ieiz
eiz + eiz
(eiz eiz )0
=
=
= cos z
2i
2i
2
y
(cos z)0 =
ieiz ieiz
eiz eiz
(eiz + eiz )0
=
=
= sin z.
2
2
2i
20
2.5
El logaritmo complejo
La funcin logaritmo real log x se define como la inversa de la funcin exponencial ex . Si prestamos
un poco de atencin, vemos que la exponencial es inyectiva, es decir, si ex = ey entonces x = y.
Entonces existe un nico valor x = ey . Llamamos logaritmo log x al nico y tal que ey = x.
La funcin exponencial compleja no es inyectiva. Dados z = a + ib y w = c + di, y considerando
la ecuacin ez = ew , tenemos tomando mdulos que ea = eb por lo que a = b al ser ambos reales. Por
otra parte, se tendrn las ecuaciones
cos b = cos d,
sin b = sin d,
de donde se verifica que d = b + 2k, k Z. Es decir existen infinitos numeros complejos que dan
lugar a la misma exponencial, y entonces ya no podemos definir el logaritmos como en el caso real.
Dados z, w C \ {0} tal que z = ew = eRe w (cos Im w + i sin Im w) de donde tomando mdulos
tenemos que |z| = eRe w obteniendo Re w = log |z|. Por otra parte Im w arg(z). As se definine el
conjunto de logatitmos complejos como
L(z) = {log |z| + i : arg(z)}.
Para definir las diferentes funciones logaritmo complejo hemos de fijar los valores entre los que se
dan los argumentos. Por ejemplo, podemos definir L(z) en el conjunto R+ [0, 2). Entonces, por
ejemplo el logaritmos de 1 + i sera
21
2.6
Ejercicios
(b) ei/2
(c) 2 ei
(d) 3 ei/2
(e) i + 3 e2i
(h) 1/ei/4
(i) e1+i
ez ez
2
(b) cos(iz) =
ez + ez
2
1
(b) f (z) = z + ,
z
(c) f (z) = z 3 + z + 1,
(d) f (z) =
1z
1+z
(z+z 0 )i
(zz 0 )
1
z
6. Hallar los nmeros complejos z tales que su cuadrado es igual a su conjugado. (Solucin: 0,
10 , 12/3 , 14/3 ).
7. Resolver la ecuacin z = z n1 , siendo n N \ {2}. (Solucin: 0, 12k/n n = 0, 1, 2, . . . , n 1).
8. Resolver las siguientes ecuaciones:
1
1z
(b) f (z) =
z2
1
+ 1/2
1 + z siz 6= i
zi
f (z) =
4i
siz = i
(z 2
1
+ 1) (z 3)
2z + 1
z(z 2 + 1)
(b) f (z) =
z3 + i
z 2 3z + 2
(c) f (z) =
z2 + 1
(z + 2)(z 2 + 2z + 2)
18. Calcula, a partir de las condiciones de Cauchy-Riemann, las derivadas de las funciones
(a) f (z) = ez
(d) f (z) = z z
(i) f (x + iy) = xy + iy
20. Calcula los valores de los parmetros reales , y para que sea entera (derivable en todo C)
la funcin
f (z) = Rez + Imz + i( Rez + Imz)
Caracteriza la funcin f (z) cuando sea entera.
p
21. Comprueba que la funcin f (z) = |(Rez) (Imz)| no es derivable en z = 0 y, sin embargo,
verifica las ecuaciones de Cauchy-Riemann en dicho punto. Razona esta aparente contradiccin.
22. Sea f : C C que cumple que f (z) R z C. Demuestra que f (z) es derivable si y slo
si es constante.
23. Sea f : C C una funcin de variable compleja. Demuestra que la parte real Ref (z) y la
parte imaginaria Imf (z) son simultneamente derivables si y slo si f (z) es constante.
24. Sea f : C C una funcin de forma que f (z) y f (z) son derivables. Demuestra que f (z) es
constante.
25. Una funcin u : D R2 R se dice que es armnica en el conjunto abierto D si es de clase
C 2 (D) (existen sus derivadas parciales de orden dos y son funciones continuas) y verifica la
relacin
2u
2u
(x,
y)
+
(x, y) = 0z D.
x2
y 2
Dada una funcin derivable f : D C, comprueba que las funciones parte real u(x, y) =
Ref (x + iy) y parte imaginaria v(x, y) = Imf (x + iy) son armnicas en D. Nota: Supn,
aunque posteriormente veremos que esta suposicin es superflua, que las funciones parte real
y parte imaginaria de f son de clase C 2 (D).
26. Estudia si son armnicas las funciones
(a) f (x, y) = log(x2 + y 2 )
29. Determina una funcin derivable f (x + iy) = u(x, y) + iv(x, y), sabiendo que su parte real es
u(x, y) = x/(x2 + y 2 ) y que f () = 1/.
30. Reconstruye la funcin derivable f (z) a partir la condicin f (i) = 2i 1 y la parte real
Ref (x + iy) = x2 y 2 + 2x.
31. Prueba que si v1 (x, y) y v2 (x, y) son dos funciones armnicas conjugadas de una misma funcin
armnica u(x, y) en C, entonces v1 (x, y) y v2 (x, y) difieren en una constante.
32. Sean u, v : R2 R tales que u(x, y) es armnica conjugada de v(x, y) y v(x, y) es armnica
conjugada de u(x, y). Prueba que tanto u(x, y) como v(x, y) son constantes.
33. Expresa Re(e1/z ) en trminos de x e y y prueba que esta funcin es armnica en el conjunto
R2 \ {0}.
Nota: Se definen las funciones hiperblicas complejas sinh z := (ez ez )/2 y cosh z :=
(ez + ez )/2. Las funciones tangente y tangente hiperblica se definen de la forma usual, esto
es, tan z := sin z/ cos z y tanh z := sinh z/ cosh z. Las restantes funciones trigonomtricas e
hiperblicas complejas se definen de forma similar.
25
26
Captulo 3
Integracin compleja.
Sumario. Curvas en C. Integral de una funcin sobre una curva. El Teorema de
Cauchy. Frmulas integrales de Cauchy.
3.1
Debemos comenzar el tema introduciendo la nocin de curva o camino sobre el plano complejo C.
Dado un intervalo compacto de la recta real [a, b], definiremos una curva en C como una aplicacin
continua : [a, b] C. La imagen o grfica de la curva en el plano complejo la denotaremos por
graf() = {(t) : t [a, b]}. Dado t [a, b] se tiene que
(t) = Re (t) + i Im (t) = x(t) + iy(t),
donde x(t) e y(t) son las partes real e imaginarias de (t). Una curva se dir de clase C 1 si es
derivable en (a, b). En ese caso 0 denotar la derivada de la misma. La curva se dir de clase C 1 a
trozos si existen a = t0 < t1 < ... < tn = b, tal que |[ti ,ti+1 ] es de clase C 1 para i = 0, 1, ..., n 1. Una
curva se dir cerrada si (a) = (b). Un curva se dir de Jordan si es cerrada y sin autointersecciones
((t) 6= (t0 ) para todo t, t0 (a, b]). Durante el transcurso del curso supondremos siempre que toda
curva de Jordan est orientada positivamente, esto es, en sentido contrario a las agujas del reloj.
Dadas dos curvas 1 : [a, b] C y 2 : [c, d] C, tales que 1 (b) = 2 (c), se define su unin o
yuxtaposicin 1 2 : [a, b + d c] C como
1 (t)
si t [a, b],
1 2 (t) :=
2 (t b + c) si t [a, b],
y la curva inversa a una curva dada : [a, b] C, denotada : [b, a] C como
()(t) = (t).
La longitud de una curva de clase C 1 se define como
Z bp
Z b
0
2
0
2
l() :=
x (t) + y (t) dt =
| 0 (t)|dt.
a
27
Integracin compleja.
Si la curva es de clase C 1 a trozos y se escribe como = kj=1 j , donde cada curva j es de clase C 1 ,
se define su longitud como
k
X
l() =
l( j ).
j=1
En cualquier caso, todas estas definiciones son anlogas a aquellas que ya se estudiaron en el caso
de curvas en el plano y el espacio que se vieron en la parte de teora de campos.
3.2
Re f ((t)) (t)dt + i
Im f ((t)) 0 (t)dt.
En caso de que la curva sea de clase C 1 a trozos, es decir = kj=1 j , con j de clase C 1 , entonces
Z
f (z)dz =
k Z
X
j=1
f (z)dz.
Como podemos ver fcilmente de la primera expresin, si f (z) = f1 (z)+if2 (z) y (t) = x(t)+iy(t),
se tiene que
Z
Z b
f (z)dz =
(f1 ((t)) + if2 ((t)))(x0 (t) + iy 0 (t))dt
a
es decir, la integral compleja de f (z) a lo largo de la curva es la suma de dos trabajos, uno que
proporciona un resiltado real y otro que da lugar a un trabjo que podramos llamamr complejo.
Como consecuencia de este hecho, se tiene que las siguientes propiedades se heredan directamente
de la nocin de trabajo:
R
R
f (z)dz = f (z)dz.
Si , son dos curvas tal que el punto final de es el inicial de y, entonces
Z
Z
Z
f (z)dz = f (z)dz + f (z)dz.
28
Integracin compleja.
Si , C y f, g son dos funciones cuyo dominio contiene a la grfica de , entonces
Z
Z
Z
(f (z) + g(z))dz = f (z)dz + g(z)dz.
f (z)dz Ml().
Demostracin. Para demostrar la regla de Barrow, dmonos cuenta que si t (a, b) y F (z) =
F1 (z) + iF2 (z), entonces
d
F1
F1
F ((t)) =
((t))x0 (t) +
((t))y 0 (t)
dt
x
y
F2
F2
0
0
+i
((t))x (t) +
((t))y (t)
x
y
F2
F1
((t))x0 (t)
((t))y 0 (t)
=
x
x
F1
F2
0
0
((t))x (t) +
((t))y (t)
+i
x
x
F2
F1
((t)) + i
((t)) (x0 (t) + iy 0 (t))
=
x
x
0
0
= F ((t)) (t) = f ((t)) 0 (t),
haciendo uso de las frmulas de CauchyEuler. Entonces
Z b
Z
f (z)dz =
f ((t)) 0 (t)dt
a
d
F ((t))dt
a dt
= F ((b)) F ((a)),
=
3.3
El Teorema de Cauchy
Estudiamos en este punto una de las cuestiones fundamentales sobre la teora de variable compleja
como es el Teorema de Cauchy. Para ello hemos de introducir el concepto de simplemente conexo.
29
Integracin compleja.
Recordemos que una curva de Jordan delimita dos regiones del plano, una acotada que llamamos
interior I(), y otra no acotada exterior a la curva y que denotaremos por E(). Diremos que un
conjunto del plano complejo A C, es simplemente conexo si para cualquier curva de Jordan , con
graf() A, verifica que I() A. Intuitivamente, un conjunto simplemente conexo es aquel que
no tiene agujeros. Por ejemplo, el conjunto A1 = {z C : |z| < 1} es simplemente conexo, mientras
que A2 = {z C : 0 < |z| < 1} no lo es. El Teorema de Cauchy establece lo siguiente:
Theorem 3 (Cauchy) Sean S C un conjunto abierto simplemente conexo y f : S C una
funcin derivable en S. Entonces
Z
f (z)dz = 0
Demostracin. En caso que f sea una funcin de clase C 1 , es decir, cuyas funciones coordenadas
son de clase C 1 , este resultado es consecuencia del Teorema de Green. En particular
Z
Z
Z
f (z)dz =
f1 (x, y)dx f2 (x, y)dy + i f2 (x, y)dx + f1 (x, y)dy
ZZ
f2
f1
=
(x, y)
(x, y) dxdy
x
y
I()
ZZ
f1
f2
+i
(x, y)
(x, y) dxdy
x
y
I()
ZZ
f2
f2
(x, y) +
(x, y) dxdy
=
x
x
I()
ZZ
f1
f1
+i
(x, y)
(x, y) dxdy
x
x
I()
= 0,
aplicando las frmulas de CauchyEuler.
En el caso que f no sea de clase C 1 , la demostracin es bastante ms laboriosa a la ver que
complicada y puede estudiarse en la bibliografa recomendada.
Del Teorema de Cauchy se obtiene de forma inmediata el siguiente corolario.
Corollary 4 Sean S C un conjunto abierto simplemente conexo y f : S C una funcin derivable
en S. Sean z0 , w0 S y 1 y 2 dos curvas C 1 a trozos cualesquiera cuyas grficas estn contenidas
en S uniendo z0 y w0 . Entonces
Z
Z
f (z)dz =
f (z)dz.
(3.1)
Este resultado nos permite definir la funcin F : S C tal que para todo z S se define como
Z
(3.2)
F (z) = f (w)dw
donde es cualquier curva C a trozos contenida en S uniendo un punto fijo z0 S con z. El siguiente
resultado nos dice que las funciones derivables definidas sobre conjuntos simplemente conexos admiten
primitivas, por lo que la regla de Barrow se puede aplicar. En realidad, lo nico que hace falta para
probar el siguiente resultado es (3.1) y la continuidad de f .
30
Integracin compleja.
Theorem 5 Sean S C un conjunto abierto simplemente conexo y f : S C una funcin derivable
en S. Entonces la funcin definida en (3.2) es derivable en S y F 0 (z) = f (z). En particular, cualquier
primitiva de f es de la forma F (z) + c, donde c C.
Para acabar esta seccin, introducimos un resultado sobre integrales definidas sobre un conjunto
de curvas. Un conjunto del plano complejo A se dice arcoconexo si para cualesquiera par de puntos
z1 , z2 A, existe una curva : [a, b] C de manera que (a) = z1 , (b) = z2 y graf() A. Un
conjunto simplemente conexo puede ser arcoconexo. Por ejemplo, el conjunto {z C : Re z Im z < 0}
no es arcoconexo, ya que es unin de dos subconjuntos que no pueden conectarse por ninguna curva.
Un dominio es un subconjunto de C que es abierto y arcoconexo.
Theorem 6 Sean S C un dominio y f : S C una funcin derivable en S. Sean , 1 , ..., n
curvas de Jordan C 1 a trozos orientadas positivamente de manera que se verifica:
(a) I() contiene las grficas de 1 , ..., n .
(b) Para todo k = 1, 2, ..., n, E( k ) contiene la grfica de j con j 6= k.
(c) S contiene al conjunto D = I() \ (I( 1 ) ... I( n )).
Entonces
f (z)dz =
n Z
X
i=1
f (z)dz.
f (z)dz = 0 + 0 = 0.
f (z)dz =
f (z)dz =
con lo que
f (z)dz =
f (z)dz +
31
f (z)dz,
Integracin compleja.
como queramos demostrar.
Como consecuencia del resultado anterior tenemos el siguente corolario, que nos dice que el las
condiciones del mismo, la forma de la curva no influye a la hora de calcular la integral, ya que sta
siempre se puede calcular sobre una circunferencia cuando la geometra del conjunto lo permite.
Corollary 7 Sean S C un dominio y f : S C es derivable en S. Para toda curva de Jordan
C 1 a trozos contenida en S se cumple que
Z
Z
f (z)dz =
f (z)dz
C(z0 ,r)
3.4
Las frmulas integrales de Cauchy permitirn probar uno de los hechos clave dentro de la variable
compleja: que toda funcin derivable es infinitamente derivable. Para fijar ideas, supongamos que
S es simplemente conexo y f : S C es una funcin derivable. Supongamos que es una curva
de Jordan C 1 a trozos cuya grfica est contenida en S. Si z I(), entonces existe un radio r
suficientemente pequeo de manera que
Z
Z
f (w)
f (w)
dw =
dw,
wz
r w z
(w)
donde r (t) = z + reit , t [0, 2], esto es, una circunferencia, ya que la funcin fwz
es derivable en
el interior de la curva salvo el punto z. Adems, r puede ser elegido tan pequeo como se quiera sin
que vare el resultado de la integral.
Cuando f (w) = 1 para todo w C, se verifica que
Z
Z 2
1
1
dw =
rieit dt
z reit z
wz
0
Z 2
idt = 2i = 2if (z).
=
0
Si f (w) = f (z) para todo w C, se tiene por las propiedades de linealidad de la integral que
Z
f (z)
dw = 2if (z).
wz
Finalmente, en general
Z
f (w) f (z)
f (w) f (z)
dw = lim
dw
r0
wz
w
z
Z r
f (w) f (z)
dw
=
lim
wz
r r0
Z
f (w) f (z)
=
dw
lim
wz
r wz
Z
f 0 (z)dz = 0,
=
r
32
Integracin compleja.
por lo que
f (w)
dw =
wz
f (z)
dw = 2if (z),
wz
por lo que hemos justificado el siguiente resultado conocido como la primera frmula integral de
Cauchy.
Theorem 8 Sean S C un dominio y f : S C una funcin derivable en S. Sea una curva de
Jordan C 1 a trozos orientada positivamente contenida en S de manera que I() S. Entonces
Z
f (w)
1
f (z) =
dw si z I(),
(3.3)
2i w z
y
1
2i
f (w)
dw = 0 si z E().
wz
Por aplicacin directa del Teorema 8 sobre la circunferencia de centro z0 S y radio contenida
en S con interior contenido tambin en S obtendremos la frmula
Z 2
1
f (z0 + eit )dt.
f (z0 ) =
2 0
Si tomamos la primera frmula integral de Cauchy y derivamos obtenemos
Z
1 d
f (w)
0
dw
f (z) =
2i dz w z
Z
d f (w)
1
=
dw
2i dz w z
Z
f (w)
1!
dw,
=
2i (w z)2
que se conoce como frmula integral de Cauchy para la primera derivada. Si volvemos a derivar,
tenemos
Z
1 d
f (w)
00
dw
f (z) =
2i dz (w z)2
Z
d f (w)
1
=
dw
2i dz (w z)2
Z
f (w)
2!
dz,
=
2i (w z)3
que es la frmula integral de Cauchy para la segunda derivada. En general, si procedemos por
induccin y suponemos que
Z
f (w)
n!
n)
f (z) =
dw,
2i (w z)n+1
33
Integracin compleja.
al volver a derivar tenemos que
f
n+1)
Z
n! d
f (w)
(z) =
dw
2i dz (w z)n+1
Z
f (w)
d
n!
=
dw
2i dz (w z)n+1
Z
f (w)
(n + 1)!
dw,
= =
n+2
2i
(w z)
por lo que hemos justificado la frmula integral de Cauchy para la derivada nsima, que a continuacin enunciamos.
Theorem 9 Sean S C un dominio y f : S C una funcin derivable en S. Sean z S y una
curva de Jordan C 1 a trozos orientada positivamente contenida en S de manera que z I() S.
Entonces f es derivable infinitas veces en z y adems
Z
n!
f (w)
n)
f (z) =
dw, n N.
2i (w z)n+1
En paricular, si una funcin de variable compleja es derivable una vez, lo es infinitamente. Adems, aplicando el Teorema anterior a la circunferencia (t) = z0 + reit , t [0, 2], se verifica que
n!
f
(w)
|f n) (z0 )| =
dw
2i (w z0 )n+1
Z
n!
f (w)
=
dw
n+1
2 (w z0 )
n! M(r)
l(),
2 rn+1
donde M(r) = max{|f (z)| : z graf()} (ntese que M(r) existe al ser f (z) continua y la grfica de
la curva un conjunto compacto). Dado que la longitud de la dircunferencia es 2, se tiene que
|f n) (z0 )|
n! M
M
2r = n! n ,
n+1
2 r
r
que se conocen con el nombre de desigualdades de Cauchy, y que sern muy tiles en el siguiente
tema al analizar las series de potencias.
3.5
Ejercicios
1. Calcular la integral,
Re z dz
siendo T el tringulo de vrtices 0, 1 + i, 2 recorrido en el sentido de las agujas del reloj. Cul
sera el valor de la integral si el tringulo se recorre en el sentido contrario?
34
Integracin compleja.
2. Calcular la integral, de la funcin conjugacin, f (z) = z, a lo largo de la siguiente curva.
3. Calcular la integral,
it
1
dz:
z z0
(t) = 1 +
35
ei t
, t [0, 2]
2
Integracin compleja.
8. Comprobar que la funcin
f (x) =
x2 /2
x0
x2 /2 x < 0
d,
(t) = 1 + r ei t , t [0, 2]
4
1
10. Calcular la integral,
Z
z ez
dz,
(z i)3
(t) = i + ei t , t [0, 2]
Z
ez
dz
z (1 z)3
z2
36
1
dz
+9
Integracin compleja.
(a) para (t) = 3 i + ei t , t [0, 2]
14. Sea la circunferencia unidad recorrida en el sentido contrario al de las agujas del reloj.
Calcular:
Z
e
d
15. Supongamos que es una curva cerrada y diferenciable a trozos. Dado z0 C \ graf se llama
ndice de respecto de z0 al valor:
Z
1
1
I(, z0 ) =
d
2i z0
Para el caso en que es una circunferencia, comprobar que:
(a) I(, z0 ) = 1 si z0 est en la regin limitada por la grfica de la curva.
(b) I(, z0 ) = 0, en otro caso.
16. Calcular el valor de la integral
1
dz
z
siendo la curva cuyo rango se representa en la figura superior, orientada en el sentido que
indican las flechas.
37
Integracin compleja.
17. Calcular el valor de la integral:
1
cos
z + 2i
dz
q
1 (t) = t + i 1
t2
4
q
2 (t) = t i 1
t2
4
para la de abajo ( = 1 2 ).
18. Dada la funcin g(z) = cos z, existir una funcin derivable en todo C, f (z), de forma que
f 0 (z) = g(z), para cada z C? Justificar la respuesta.
19. Calcular el valor de la integral,
z |z|2 dz
38
Integracin compleja.
siendo la curva de la figura siguiente, recorrida en el sentido que indican las flechas.
39
Integracin compleja.
40
Captulo 4
Series de potencias y de Laurent. Polos y
residuos.
Sumario. Series de potencias. Radio y disco de convergencia. Teorema de Taylor.
Funciones analticas. Derivacin e integracin de series de potencias. Aplicaciones
de las series de potencias. Series de Laurent. Anillo de convergencia. Singularidades
de funciones de variable compleja. Clasificacin de singularidades aisladas.
4.1
Series de potencias
X
n=0
an (z z0 )n ,
donde an C para todo n 0. Diremos que la serie converge en un nmero complejo w si la serie
numrica
X
an (w z0 )n
n=0
es convergente. Si adems dicha serie converge absolutamente en dicho nmero, diremos que la serie
de potencias converge absolutamente en w. Es claro que cualquier serie de potencias converge en su
centro.
Se define el radio de convergencia de la serie como el nmero
R := sup{r 0 :
X
n=0
X
n=0
|an (z z0 ) | =
X
n=0
41
por lo que
p
n
|an | <
R=
1
,
|z z0 |
1
limn
p
.
n
|an |
De forma anloga, si aplicamos el criterio del cociente, en caso de existir y verificar que
|an+1 (z z0 )n+1 |
< 1,
n
|an (z z0 )n |
lim
por lo que
R=
1
limn
|an+1 |
|an |
X
zn
ex =
n=0
n!
1
= 0,
n n
= lim
por lo que el radio de convergencia ser R = 1/0 = . Como ya sabamos, esta serie converge en
todo el plano complejo.
Por ejemplo, la serie
X
nn z n
n=0
lim n nn = lim n = ,
n
42
zn,
n=0
que ser de gran importancia prctica para el desarrollo en serie de potencias de la mayora de
funciones que vamos a considerar. Por cualquiera de los dos criterios anteriores vemos que su radio
de convergencia es 1, por lo que dicha serie converge si |z| < 1. Adems, si denotamos por
Sn = 1 + z + z 2 + ... + z n ,
entonces
Sn zSn = 1 z n+1 ,
de donde
1 z n+1
.
1z
Sn =
z n = lim Sn =
s
n=0
n=0
1
.
1z
dk
f k) (z) =
dz k
X
n=0
X
n=0
X
n=k
an (z z0 )n
dk
an (z z0 )n
k
dz
f k) (z0 )
,
k!
para todo k 0.
Una funcin f (z) definida
A C se dir analtica en z0 A si existe una serie de
P sobre un abierto
n
potencias tal que f (z) =
a
(z
z
)
para
todo z A perteneciente al disco de convergencia de
0
n=0 n
la serie. El siguiente resultado probar que toda funcin analtica es derivable y viceversa. Adems
del mismo se deducir la unicidad del desarrollo en serie de potencias.
43
X
f n) (z0 )
n=0
n!
(z z0 )n ,
n!
M(r),
rn
n)
X
X
f (z0 )
|f n) (z0 )|
n
(z
z
|z z0 |n
)
0
n!
n!
n=0
n=0
X
n
n=0
rn
= M(r)
M(r)
X
n
n=0
= M(r)
r
,
r
por tratarse de una suma de una serie geomtrica. Por lo tanto la serie de potencias es convergente
absolutamente en el interior del disco, y tiene la forma anteriormente indicada.
4.2
Series de Laurent
n=
an (z z0 )n .
(4.1)
X
n=0
an (z z0 )n ,
(4.2)
X
n=1
an (z z0 )n
(4.3)
que se llamar parte singular. Obviamente, para garantizar la convergencia de la serie de Laurent
(4.1), deben converger las series (4.2) y (4.3). Como vimos en el primer apartado del tema, la serie
44
X
n=1
an Z n
que converger absolutamente en su disco de convergencia D(0, r), por lo que (4.3) converger siempre
que |z z0 | > r. As, si r < R se tendr que la serie de Laurent inicial converger absolutamente en
el anillo de convergencia
A(z0 , r, R) := {z C : r < |z z0 | < R},
X
f (z) =
an (z z0 )n
n=
X
f (z)
=
an (z z0 )nk1 .
k+1
(z z0 )
n=
Si (t) = z0 + eit , t [0, 2], denota una circunferencia dentro del anillo de convergencia, entonces
Z X
Z
f (z)
dz =
an (z z0 )nk1 dz
k+1
(z
z
)
0
n=
Z
X
=
an (z z0 )nk1 dz.
n=
Si n k 1 = 1, entonces
an
dz =
z z0
an
ieit dt = 2ian .
eit
(z z0 )
2i
=
g nk) (z0 ) = 0,
(n k)!
donde g(z) = an . Entonces
f (z)
dz = 2ian ,
(z z0 )k+1
45
f (z)
dz,
(z z0 )n+1
(4.4)
que es la frmula anloga al Teorema de Taylor para series de Laurent. Veamos que una serie as
construda es siempre convergente en su anillo de convergencia.
Theorem 11 (Laurent) Sean z0 C, 0 r < R, y f : A(z0 , r, R) C una funcin derivable.
Entonces
X
f (z) =
an (z z0 )n
n=
Z
1
f
(z)
|an | =
dz
2i (z z0 )n+1
1
M()
1
,
M() n+1 l() =
2
n
donde M() = max{|f (z)| : z graf()} y (t) = z0 + eit , t [0, 2].
Si ahora tomamos la parte regular y procedemos como en la demostracin del Teorema de Taylor,
con (t) = z0 + 2 eit , t [0, 2], se verifica que
X
n=0
|an (z z0 )n | M(2 )
2
,
2
por lo que la parte regular es absolutamente convergente. Tomamos ahora la parte singular y la
circunferencia (t) = z0 + 1 eit , t [0, 2], tratamos de acotar
0
X
n=
|an (z z0 )n | =
0
X
|an |
|z z0 |n
n=
0
X
M(1 )
n n1
n=
M(1 )
n=1
n1
=
M(
)
,
1
n
1
4.3
Finalizaremos el tema haciendo un estudio de las singularidades de una funcin de variable compleja.
Dada una funcin de variable compleja f (z), se dice que z0 C es una singularidad de f si sta
no es derivable en z0 . As todo z C es una singularidad para f (z) = z, mientras que 0 es una
singularidad para f (z) = 1/z. Una singularidad z0 se dir aislada si existe > 0 tal que la funcin
es derivable en D(z0 , ) \ {z0 }. Ntese que por el Teorema de Taylor, f debe ser discontinua en sus
singularidades aisladas.
Distinguiremos tres tipos de singularidades aisladas de una funcin f atendiendo bsicamente al
desarrollo de Laurent de la funcin en la singularidad. Si z0 denota la singularidad y
f (z) =
n=
an (z z0 )n
sin z X (1)n 2n
=
z
z
(2n
+
1)!
n=0
1
z
X
1
=
n!z n
n=0
tiene en 0 una singularidad esencial. El siguiente resultado ofrece una clasificacin de las singularidades aisladas de una funcin de variable compleja.
Theorem 12 Sean z0 C y f una funcin derivable definida en D(z0 , ) \ {z0 }. Entonces:
(a) z0 es evitable si y slo si existe limzz0 f (z) = l C. Adems si definimos f en z0 como
f (z0 ) = l se tiene que f es derivable en D(z0 , ).
(b) z0 es un polo de orden k si y slo si existe limzz0 (z z0 )j f (z) = para 0 j < k y
limzz0 (z z0 )k f (z) C \ {0}.
(c) z0 es una singularidad esencial si y slo si no existe el limzz0 f (z). Adems en este caso para
todo w C existe una sucesin zn convergiendo a z0 de manera que limn f (zn ) = w.
47
mientras que (z z0 )k f (z) es una serie de potencias cuyo primer tmino ak es no nulo. De aqu se
deriva (b). La demostracin de (c) excede los contenidos del curso.
Una vez clasificadas las singularidades aisladas de una funcin de variable compleja, estamos en
disposicin de estudiar el Teorema de los residuos en la prxima leccin.
4.4
4.4.1
Transformada Z
Ecuaciones en diferencias finitas
Este dispositivo est formado por dos elementos. El primero de ellos, marcado con una S, es un
elemento que suma o resta datos, que a su vez vendrn modulados por nmeros reales. El denotado
por una D es un aparato que produce un retardo de una unidad temporal en la sucesin. La figura
representa el tipo ms sencillo de retroalimentacin de una seal. Los datos de entrada vienen dados
por la sucesin xk y los de salida por
yk+1 = rk .
(4.5)
En el proceso, los datos intermedios rk vienen dados por la expresin
rk = xk ayk ,
(4.6)
donde a es un nmero real. Combinando (4.5) y (4.6) obtenemos la ecuacin en diferencias de orden
uno
yk+1 + ayk = xk .
48
4.4.2
X
xn
Z[xk ](z) =
.
(4.7)
zn
n=0
P
n
Ntese que (4.7) es una serie de Laurent con parte regular x0 y parte singular
, y que
n=1 xn z
por tanto converger en un disco de convergencia de la forma
A(0, r, +) = {z C : |z| > r}
P
n
donde r es el radio de convergencia de la serie de potencias
n=1 xn z .
49
X
1
1
=
Z[1](z) =
n
z
1
n=0
1
z
z
,
z1
X
xn + yn
n=0
n=0
zn
X
xn
yn
+
= Z[xk ](z) + Z[yk ](z).
n
z
zn
n=0
kX
0 1
xn z k0 n .
n=0
Demostracin. Calculamos
Z[xk+1 ](z) =
X
xn+1
n=0
= z
n=0
= z
zn
X
xn+1
xn
=z
n+1
z
zn
n=1
X
xn
n=0
zn
50
Z[a xk ](z) =
X
an xn
n=0
zn
X
n=0
xn
= Z[xk ](z/a).
(z/a)n
Z[2 ](z) =
X
2n
n=0
zn
1
1
2
z
z
.
z2
d m
] Z[xk ](z),
dz
d
se entiende la operacin derivada y luego multiplicacin por z.
donde por z dz
X
nxn
zn
n=0
X
nxn
n=1
zn
X
nxn
d xn
= z
=z
n+1
z
dz z n
n=1
n=1
!
!
X xn
d X xn
d
d
= z
= z
x0 = z Z[xk ](z).
n
n
dz
z
dz n=0 z
dz
n=1
Si suponemos el resultado cierto para m, veamos que tambin lo es para m + 1. Para esto calculamos
d
Z[km xk ](z)
dz
d m
d
d
= (z )[z ] Z[xk ](z) = [z ]m+1 Z[xk ](z).
dz
dz
dz
dz z
d
d z
d
z
z2
= z
+
z
= z
dz
dz z 1
dz z 1 (z 1)2
3z 2
2z 3
z
+
,
=
z 1 (z 1)2 (z 1)3
Z[k2 ](z) = [z
si |z| > 1.
51
4.4.3
Transformada Z inversa
o equivalentemente
xn = Z 1 [F (z)].
Para calcular la transformada Z de una funcin F (z) basta calcular el desarrollo en serie de Laurent
centrada en cero de manera que tenga un anillo de convergencia de la forma {z C : |z| > r}, donde
1
r 0. Por ejemplo, si F (z) = z1
, entonces desarrollando en serie de Laurent
1
1 1
=
z1
z1
X 1
1X 1
=
=
z n=0 z n n=0 z n+1
1
z
4.4.4
Consideramos el problema
z
.
z1
(z 2 + z 2)Z[yk ](z) = z +
con lo que
Z[yk ](z) =
Pasamos a fracciones simples
Z[yk ](z) =
z
z2
=
,
z1 z1
z2
.
(z 2 + z 2)(z 1)
1
4
z2
3
=
+
,
2
2
(z 1) (z + 2)
(z 1)
z1 z+2
52
1
(2)n
1 1
1 X 2
=
=
=
z + 2 z 1 2
z n=0 z
z n+1
z
n=0
si |z| > 2.
1
1 1
=
z1
z1
1
z1
d
=
dz
X 1
1X 1
=
=
z n=0 z n n=0 z n+1
1
z
X 1
X
X
d 1
n+1
=
=
n+1
n+1
z
dz z
z n+2
n=0
n=0
n=0
2
(z 1)
z1 z+2
Xn+1
X
X
1
(2)n
=
3
+
4
z n+2
z n+1
z n+1
n=0
n=0
n=0
Z[yk ](z) =
X 4(2)n+1
1 Xn+1 X 3
+
z n=0 z n+2
z n+2 n=0 z n+2
n=0
1 X n 4 + 4(2)n+1
=
,
+
z n=0
z n+2
por lo que si k 2
yk = 4(2)k+1 4 + k.
mientras que
X
1
1
=
Z[1](z) =
n
z
1
n=0
1
z
z
,
z1
Z[xn+2 2xn+1 + 2xn ](z) = Z[xn+2 ](z) 2Z[xn+1 ](z) + 2Z[xn ](z)
= z 2 Z[xn ](z) z 2 x0 zx1 2zZ[xn ](z) 2zx0 + 2Z[xn ](z)
= (z 2 2z + 2)Z[xn ](z),
53
z
.
(z
2z + 2)
Desarrollamos la funcin en serie de Laurent para calcular xn . Para ello en primer lugar
Z[xn ](z) =
(z
1)(z 2
z
z
=
2z + 2)
(z 1)(z 1 i)(z 1 + i)
1
1 1+i
1 1i
=
.
z 1 2z 1i 2z 1+i
1)(z 2
1
z
X 1
1X 1
=
,
z n=0 z n n=1 z n
n X
1
1
1X 1+i
1 1
=
(1 + i)n1 n ,
=
1+i =
z1i
z1 z
z n=0
z
z
n=1
n X
1
1
1X 1i
1 1
=
(1 i)n1 n ,
=
1i =
z1+i
z1 z
z n=0
z
z
n=1
X
z
1
1
1X
1X
n 1
=
(1 + i) n
(1 i)n n
2
n
(z 1)(z 2z + 2)
z
2 n=1
z
2 n=1
z
n=1
X
1
1
1
1 (1 + i)n (1 i)n
=
,
n
2
2
z
n=1
y por tanto
X
z
n 1
n/2
=
1
2
cos
,
(z 1)(z 2 2z + 2) n=1
4 zn
xn = 1 2n/2 cos
4.4.5
n
.
4
Funciones de transferencia.
(4.8)
por lo que
Z[yk ](z) =
Z[uk ](z).
an z n + an1 z n1 + ... + a1 z + a0
Se define enotnces la funcin de transferencia asociada a la ecuacin como
T (z) =
Z[yk ](z)
1
.
=
n
n1
Z[uk ](z)
an z + an1 z
+ ... + a1 z + a0
Podemos estudiar entonces la estabilidad de la ecuacin entendiendo sta de forma anloga al caso
continuo estudiada en el tema anterior, es decir, si para toda solucin asociada a una condicin inicial
dada se verifica que
lim yk = 0.
k
El siguiente resultado caracteriza la estabilidad del sistema en base a los polos de la funcin de
transferencia.
Theorem 13 El sistema dado por la ecuacin (4.8) es estable si y slo si todos los polos de la
funcin de transferencia verifican que |z| < 1.
4.5
Ejercicios
X
zn
n=1
X
n=1
(g)
(b)
n!
n! n
z
nn
(e)
cos(ni) z n
(h)
n=1
n=1
n z
X
n
(c)
(z i)n
n
2
n=1
X
(f)
(3 + (1)n ) (z + 2)n
2n z n
n=1
n=1
(n + an ) z n , (a > 0)
(i)
n=1
X
(1)n
n=1
zn
2. Calcula las series de potencias centradas en 0 de las siguientes funciones indicando su bola de
convergencia.
1
(a) f (z) = z21+1
(b)f (z) = z 4 + z + 1 (c) f (z) = (z+1)
2
3
z1
(d) f (z) = L0 (z + 1) (e)f (z) = ez
(f) f (z) = (z+1)
2
z1
(g) f (z) = cos(z 2 )
(h)f (z) = zzi
(i)
f
(z)
=
2 +1
(1z)3
X
n=0
(b)
X
zn
n=0
55
(c)
X
zn
n=0
n2
(b) ez ,
z0 = i
z2
, z0 = 0
(d)
z+2
z
(g)
, z0 = 0
1 + z2
5. Dada la funcin f (z) =
1
,
1+z 2
(c)
z0 = i
z
,
z+2
sen z
(h)
,
z
(e)
1
,
1z
(f) L (z),
z0 = 1
z0 = 0
z0 = 1
z0 = 0
1
z2
alredor de 2 y de 0.
1
,
z (1z)
8. Calcula las series de Laurent centradas en 0 de las siguientes funciones indicando su anillo de
convergencia.
(a) f (z) =
z+1
z2
cos(z 2 )
z3
z
(d) f (z) =
(e)f (z) = z+1
(g) f (z) = cos(1/z 2 ) (h)f (z) = zi
z6
(c) f (z) =
(f) f (z) =
(i) f (z) =
1
z(z+1)
z1
z 3 (z+1)2
z
z(1z)3
9. Calcula la serie de Laurent de las siguientes funciones alrededor de los puntos que se indican:
(a) z 2 e1/z ,
(b) e1/(1z) ,
z0 = 0
z0 = 1
(d) cos(1/z),
z0 = 1
z0 = 0
10. Sea funcin f (z) = L (z), puede escribirse dicha funcin como una serie de Laurent en un
cierto anillo alrededor del punto z0 = 0? Por qu?.
11. Calcula la serie de Laurent de f (z) =
1
(1+z 2 )2
z
.
(z 1)(z 2i)
y1 = 1
y1 = 2
y1 (0) = 1
yn+2 2yn+1 + yn = 1
yn+2 4yn+1 + yn = n
yn+2 + yn = n
y0 = 0
y0 = 1
y0 = 0
(d)
(e)
(f)
y1 = 0
y1 = 0
y1 = 0
yn+2 + yn = n + 2
y0 = 1
y0 = 1
y0 = 1
(i)
(g)
(h)
y1 = 0
y1 = 1
y1 = 1
y2 = 1
17. Determinar cules de las ecuaciones anteriores son estables.
18. Obtener la solucin de los siguientes circuitos digitales suponiendo condiciones iniciales nulas:
57
19. Calcular el comportamiento asinttico (lmite cuando n tiende a infinito) de la solucin de los
siguientes circuitos digitales:
58
59
60
Captulo 5
El Teorema de los residuos.
Sumario. Concepto de residuo y mtodos de clculo. El Teorema de los residuos.
Aplicaciones.
5.1
Residuo de un punto
Sean f (z) una funcin de variable compleja y z0 C una singularidad aislada de f (z). Se define el
residuo de f en z0 como
Res(f (z), z0 ) = a1 ,
donde a1 es el coeficiente de la serie de Laurent centrada en z0 definida en un anillo de convergencia
A(z0 , 0, R), R > 0, de la forma
X
an (z z0 )n .
n=
Por ejemplo, si f (z) = e1/z , se tiene que 0 es su nica singularidad. Como para todo z del anillo
A(0, 0, ) se tiene que
X
1 1
1/z
e =
,
n
n!
z
n=0
se tiene que
Res(e1/z , 0) =
1
= 1.
1!
A pesar de esta definicin, no ser necesario calcular el desarrollo de Laurent de una funcin para
calcular el residuo, aunque en el caso de las singularidades esenciales es sta la nica tcnica de la
que dispondremos. En el caso de que la singularidad sea un polo de orden k, podremos calcular el
residuo de f (z) sobre ste de la siguiente manera. Supongamos que para todo punto del anillo de
convergencia A(z0 , 0, R), R > 0, se tiene que
f (z) =
k
X
n=1
X
an
+
an (z z0 )n ,
(z z0 )n n=0
61
(z z0 ) f (z) =
k
X
n=1
kn
an (z z0 )
X
n=0
an (z z0 )n+k ,
X
dk1
k
[(z z0 ) f (z)] = (k 1)!a1 +
an (n + k)(n + k 1)(n + 2)(z z0 )n+1 ,
k1
dz
n=0
zz0
dk1
[(z z0 )k f (z)] = (k 1)!a1 ,
dz k1
dk1
1
lim k1 [(z z0 )k f (z)].
(k 1)! zz0 dz
Esta frmula ser la ms utilizada en la prctica a la hora de resolver problemas. Por ejemplo,
1
tiene dos singularidades aisladas, 0 y 1, que son polos de rdenes 2 y 1,
la funcin f (z) = z2 (z1)
respectivamente. Entonces, los residuos en dichos puntos los calcularemos con las frmulas
Res(f (z), 1) = lim(z 1)f (z)
z1
1
= 1,
z1 z 2
= lim
y
1
d
lim [z 2 f (z)]
1! z0 dz
1
= lim
= 1.
z0 (z 1)2
Res(f (z), 0) =
5.2
El Teorema de los residuos es uno de los resultados claves de la asignatura, ya que es un resumen de
prcticamente todo el anlisis complejo que se ha estudiado. Presenta tambin aplicaciones al clculo
real de las cuales estudiaremos una pequea muestra durante el curso. Aunque existe una versin
del mismo para curvas cerradas en general utilizando el concepto de ndice de un punto respecto a
una curva cerrada, se explicar aqu el resultado para curvas de Jordan.
Theorem 14 (de los residuos) Sea una curva de Jordan C 1 a trozos orientada positivamente.
Sea f (z) una funcin derivable en I() excepto para una cantidad finita de puntos singulares aislados
z1 , z2 , ..., zn I(). Entonces
Z
n
X
f (z)dz = 2i
Res(f (z), zj ).
j=1
62
j=1
(5.1)
para 1 j n.
Ahora bien, dentro de cada circunferencia se verifica que
f (z) =
n=
an (z zj )n ,
por lo que
Z
f (z)dz =
an (z zj )n dz
j n=
Z
X
n=
an (z zj )n dz.
R
P
n
n
Calculamos aparte
n= j an (z zj ) dz. Si n 0, la funcin an (z zj ) es derivable por tratarse
de un polinomio, por lo que
Z
j
an (z zj )n dz = 0
Finalmente, si n 2, se tiene por las frmulas integrales de Cauchy para la derivada que
Z
an
2i
gn1) (zj ) = 0,
dz =
n
(z
z
)
(n
1)!
j
j
donde g(z) = an .
As, la igualdad (5.1) es cierta y
Z
n Z
n
X
X
f (z)dz =
f (z)dz = 2i
Res(f (z), zj ),
j=1
j=1
63
1
dz,
1)
z 2 (z
it
con (t) = 2e , t [0, 2], basta con darse cuenta que las singularidades aisladas del integrando,
0 y 1, estn dentro de la curva, con lo que aplicando el teorema de los residuos tenemos que, si
1
denotamos f (z) = z2 (z1)
,
Z
1
dz = 2i[Res(f (z), 0) + Res(f (z), 0)]
2
z (z 1)
= 2i[1 + 1] = 0.
5.3
Para finalizar este tema explicaremos algunas de las prometidas aplicaciones del Teorema de los
residuos al clculo real, especialmente al clculo de integrales definidas. Por motivos de tiempo no
ser posible hacer demostraciones de todas las frmulas que se obtendrn a continuacin, que sern
objeto de estudio durante las clases prcticas de la asignatura. Los alumnos ya habrn estudiado las
integrales impropias durante la asignatura de primer curso fundamentos matemticos de la ingeniera,
pero haremos un pequeo resumen de las nociones bsicas sobre este tipo de integrales. Las integrales
que consideraremos son las siguientes:
R 2
0 f (cos t, sin t)dt donde f (x, y) = P (x, y)/Q(x, y) donde P, Q son funciones polinmicas.
Estas integrales se obtendrn calculando los residuos en el crculo unidad de una funcin a
determinar de un modo estndar.
R
P (t)/Q(t)dt donde P, Q son funciones polinmicas tales que deg(Q) deg(P ) + 2 (deg
denota el grado del polinomio), y Q(x) 6= 0 para todo x R. Estas integrales se obtendrn a
partir de la frmula
Z
X
P (t)/Q(t)dt = 2i
Res(P/Q, z).
Im(z)>0
R
P (t) cos(at)/Q(t)dt y P (t) sin(at)/Q(t)dt donde a R, a > 0, y P, Q son funciones
polinmicas tales que deg(Q) deg(P ) + 1 Ry Q(x) 6= 0 para todo x R. Estas integrales se
obtendrn como partes real e imaginaria de P (t)eiat /Q(t)dt que se calcula con la frmula
Z
X
P (t)eiat /Q(t)dt = 2i
Res(f, z),
Im(z)>0
64
2i
Res(P/Q, z) + i
Im(z)>0
Res(P/Q, z).
Im(z)=0
R
P (t) cos(at)/Q(t)dt y P (t) sin(at)/Q(t)dt donde a R, a > 0, y P, Q son funciones
polinmicas tales que deg(Q) deg(P ) + 1 y todos los ceros reales de Q son simples. En este
caso
Z r
X
X
lim
P (t)eiat /Q(t)dt = 2i
Res(f, z) + i
Res(f, z)
R
Im(z)>0
Im(z)=0
donde f (z) = eiaz P (z)/Q(z), de donde podemos obtener los valores principales de las integrales
anteriores.
5.4
Ejercicios
1
z z3
1
(d)
z (z 2 + 4)2
(a)
z5
(1 z)2
1
1
(f) z
e 1 z
(b)
(c)
(g) ez z
(g) ez+ z
(j)
(b)
z2
(z 2 + 1)2
(e) tg z
(h) sen (z)sen (1/z)
z sen z
z
1
z (1 z 2 )
1
(f)
sen z
e2 z
(i)
(z 1)2
1
(l)
z + z2
(c)
(k) z cos(1/z)
3. Calcula los residuos de las siguientes funciones en sus singularidades, indicando adems de qu
tipo son dichas singularidades.
(a) f (z) =
senz
,
(z + 1)3
(b) g(z) = e z ,
(c) h(z) =
z senz
z
4. Calcula los residuos de las siguientes funciones en sus singularidades, clasificando stas previamente.
z2
,
(a) f (z) =
(z + 1)3 (z + i)
(c) h(z) =
z senz
z(z 1)
ez
dz,
z2
z 2 e1/z dz,
z+1
dz,
2
z 2z
Z
z
(d)
dz,
(z 1)(z 2)
(c)
eit
, t [0, 2]
2
6. Sea (t) = 1 + reit , t [0, 2]. Calcular en funcin del parmetro r el valor de las siguientes
integrales:
(a)
(b)
(c)
z3
z1
dz.
+ 2z 2 + z
z4
2z
dz.
+ 2z 2 + 1
ez
(d)
z2
dz.
z 3 2z 2 + 1
z 2 e1/z dz.
7. Sea el cuadrado de vrtices (R, R), (R, R), (R, R) y (R, R) recorrido en sentido positivo. Determinar las integrales siguientes en funcin del parmetro R.
(a)
(b)
(c)
2z
dz.
z 4 + 2z 2 + 1
(d)
z1
dz.
+ 2z 2 + z
z3
ez
z2
dz.
z 3 2z 2 + 1
z 2 e1/z dz.
e1/z
dz
iz + 2
66
67
68
Bibliografa
[BaNe] J. Bak y D. J. Newman, Complex analysis, Springer Verlag, Berlin, 1999.
[ChBr] R. V. Churchill y J. W. Brown, Variable compleja y aplicaciones, McGrawHill, 1992.
[Con] J. B. Conway, Functions of one complex variable, SpringerVerlag, 1978.
[Der] W. R. Derrick, Variable compleja con aplicaciones, Grupo Editorial Iberoamericana, 1987.
[Kre] E. Kreyszig, Matemticas avanzadas para la ingeniera (vol. 2), LimusaWiley, 2000.
[LaSh] M. A. Lavrntiev y B. V. Shabat, Mtodos de la teora de las funciones de una variable
compleja, MirRubios 1991.
[Mak] A. I. Markushevich, Theory of functions of a complex variable, Chelsea Publishing Company,
New York, 1985.
[MaHo] J. E. Marsden y M. J. Homan, Basic complex analysis, W. H. Freeman & Co., 1999.
[Mur] J. A. Murillo, Variable compleja y transformadas, DMUniversidad de Murcia, 2000.
[Oga2] K. Ogata, Discretetime control systems, Prentice Hall, 1995.
[Rud] W. Rudin, Anlisis real y complejo, McGrawHill, 1988.
[Sen] T. B. Senior, Mathematical methods in electrical engineering, Cambridge University Press,
1986.
[VLA] L. Volkovyski, G. Lunts e I. Aramanovich, Problemas sobre la teora de variable compleja,
Mir, 1984.
[Wun] A. D. Wunsch, Variable compleja y sus aplicaciones, AddisonWesley Iberoamericana, 1997.
69