Notas de Variable Compleja

Apuntes de Variable Compleja
Jose S. Cnovas Pea

9 de febrero de 2009
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 justicado. 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 nal de estas notas.
i
ndice General
ii
ndice General
1 El cuerpo de los nmeros complejos 1
1.1 Introduccin a los nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Operaciones con nmeros complejos: el cuerpo complejo . . . . . . . . . . . . . . . . 2
1.3 El conjugado de un nmero complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4 Mdulo y argumento de un nmero complejo . . . . . . . . . . . . . . . . . . . . . . . 4
1.5 Topologa del plano complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5.1 La esfera de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5.2 Sucesiones de numeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5.3 Series de numeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 Funciones de variable compleja. Derivada en sentido complejo. 13
2.1 Funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.1 Polinomios con coecientes complejos . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.2 Funciones racionales complejas . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.3 Funcin exponencial compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.4 Funciones trigonomtricas complejas . . . . . . . . . . . . . . . . . . . . . . . 15
2.2 Lmites de funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.3 Continuidad de funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . 17
2.4 Derivacin en sentido complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.5 El logaritmo complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3 Integracin compleja. 27
3.1 Curvas en el plano complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Integrales de funciones sobre caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.3 El Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.4 Las frmulas integrales de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4 Series de potencias y de Laurent. Polos y residuos. 41
4.1 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.2 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.3 Singularidades de una funcin compleja. Clasicacin de singularidades aisladas . . . 47
4.4 Transformada Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
iii
ndice General
4.4.1 Ecuaciones en diferencias nitas . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.4.2 Denicin y propiedades bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.4.3 Transformada Z inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.4.4 Aplicacin a la resolucin de la ecuacin en diferencias . . . . . . . . . . . . . 52
4.4.5 Funciones de transferencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5 El Teorema de los residuos. 61
5.1 Residuo de un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.2 El Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
5.3 Aplicaciones al clculo de integrales reales . . . . . . . . . . . . . . . . . . . . . . . . 64
5.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
iv
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 Introduccin a los nmeros complejos
Supongamos que queremos resolver la ecuacin
x
2
+ 1 = 0.
Nos encontramos entonces que
x
2
= 1
y no existe ningn nmero real que verique tal condicin. Introducimos entonces un nuevo nmero
i de manera que verique la ecuacin, esto es,
i
2
= 1.
Este nmero, del que todava no hemos apuntado sentido alguno, debe tener las siguientes peculia-
ridades. i
0
= 1, i
1
= i, i
2
= 1, i
3
= i i
2
= i, i
4
= i
2
i
2
= (1)(1) = 1 y a partir de esta todas
las potencias se repiten, tenindose que
i
n
= i
k
, k = 0, 1, 2, 3,
donde k es el resto de la divisin de n por 4, es decir n = 4 l + k, l N.
Se dene entonces un nnero complejo como una expresin de la forma
z = a + ib, a, b R.
Dicha manera de escribir un nmero complejo se dice binmica.
De esta manera, si operamos formalmente tenemos que la soluciones de la ecuacin
x
2
2x + 2 = 0
1
son
x =
2
4
2
=
2 i
4
2
= 1 1i,
con lo que puede resolverse cualquier ecuacin algebraica de grado dos.
Dado un nmero complejo z = a + ib, se dene su parte real Re z = a y su parte imaginaria
Imz = 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 identicar los nmeros complejos como
pares ordenados de R
2
donde la parte real sea el eje x y la parte imaginaria sea el eje y. Entonces
podemos identicar los nmeros complejos como vectores del plano
El conjunto de todos los nmeros complejos lo denotaremos por C y es evidente que R C.
1.2 Operaciones con nmeros complejos: el cuerpo comple-
jo
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 denir la suma tomamos como idea la idencacin hecha anteriormente de C con el plano
real. Dados entonces los nmeros complejos z = a + ib y w = c + id denimos su suma
z + w = (a + c) + i(b + d),
es decir, atendiendo a la denicin 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 verica 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
(S3) Existe elemento neutro que se corresponde con el 0. As para todo z C se cumple que
z + 0 = z.
(S4) Dado z = a + bi, existe su elemento simtrico a + i(b), que tambin escribiremos a bi.
Con estas cuatro operaciones se dice que (C, +) es un grupo abeliano o conmutativo. Es impor-
tante darnos cuenta que cuando los nmeros complejos no tienen parte imaginaria, entonces la suma
de mmeros complejos es la suma de nmeros reales que ya conocemos.
Esta ltima idea la tendremos tambin en cuenta a la hora de denir el producto de nmeros
complejos. Para jar ideas, sean los nmeros complejos z = a + ib y w = c + id y denamos su
producto como
z w = (a + ib) (c + id) = ac bd + i(ad + bc).
Como vemos, si tanto b como d son nulos, recuperamos el producto usual de los reales. El producto
verica las siguientes propiedades.
(P1) El producto es conmutativo, es decir dados z, z
0
C se verica que z z
0
= z
0
z.
(P2) El producto es asociativo, es decir, dados z, z
0
, z
00
C se cumple que (z z
0
) z
00
= z (z
0
z
00
).
(P3) Existe el elemento neutro 1 que se corresponde con el neutro de los reales. Es decir 1z = z para
todo z C.
(P4) Todo nmero complejo z no nulo verica que tiene inverso. Si z = a + bi su inverso ser
z
1
=
a
a
2
+ b
2
i
b
a
2
+ b
2
.
(P5) Propiedad distributiva del producto respecto de la suma. Si z, z
0
, z
00
C se verica que z (z
0
+
z
00
) = z z
0
+ z z
00
.
Con estas propiedades (S1)(S4) y (P1)(P5) se verica que (C, +, ) tiene estructura de cuerpo
conmutativo.
1.3 El conjugado de un nmero complejo
Dado z = a + ib, se dene 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
La demostracin de estas propiedades es sencilla. Por ejemplo para probar (C1) basta darse
cuenta de que al cambiar dos veces de signo el nmero complejo queda como estaba. Para probar
(C2), tomemos z = a + ib y w = c + id. Entonces
z + w = (a + c + i(b + d)) = a + c i(b + d)
= (a ib) + (c id) = z + w.
Para probar (C3), dmonos cuenta de que
z w = (ac bd + i(ad + bc)) = ac bd i(ad + bc)
y por otro lado
z w = (a bi) (c di) = ac bd i(ad + bc),
con lo que la propiedad (C3) se verica. Para probar (C4) hay que darse cuenta de que
z z = a
2
+ b
2
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
1
=
z
z z
.
1.4 Mdulo y argumento de un nmero complejo
Ya vismo que los nmero complejos los podemos identicar con el plano R
2
. En virtud de esta
identicacin, 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.
Empecemos por el mdulo. Dado z = a + ib C, se dene su mdulo como
|z| := +
z z = +
a
2
+ b
2
.
La propiedades del mdulo son las siguientes:
4
(M1) Para todo z C se verica que |z| 0 y adems |z| = 0 si y slo si z = 0.
(M2) Para todo z C se verica que |z| Re z |z| y |z| Imz |z|.
(M3) |z w| = |z| |w|, para todo z, w C.
(M4) Si z 6= 0 entonces |z
1
| = 1/|z|.
(M5) Si z 6= 0, entonces para todo w C, |w/z| = |w|/|z|.
(M6) Desigualdad de CauchySchwarz. Para todo par de nmeros complejos z, w se verica que
| Re(z w)| |z| |w| e | Im(z w)| |z| |w|.
(M7) Desigualdad triangular. Dados z, w C se verica que |z + w| |z| + |w|.
La primera propiedad es inmediata debido a la propia denicin de mdulo. Por otra parte
a
2
+ b
2
= 0 si y solamente si a = b = 0 con lo que la primera propiedad (M1) se verica. Para
comprobar la propiedad (M2) notemos que
a
2
+ b
2
max{a, b} +
a
2
+ b
2
. Probemos ahora
(M3) para lo cual hacemos el clculo
|z w| = +
z w z w = +
z z
w w = |z| |w|.
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
,
de donde tomando cuadrados obtenemos la desigualdad pedida.
Pasemos a continuacin a introducir el argumento de un nmero complejo. Para ello sea z
C\ {0}. Un nmero real se dice un argumento de z si se verica que
Re z = |z| cos ,
Imz = |z| sin .
5
Dmonos cuenta que si es un argumento de z, cualquier multiplo de 2 de tambin es un
argumento, por lo que el conjunto de los argumentos ser
arg(z) = { : Re z = |z| cos , Imz = |z| sin }
= { + 2k : k Z}
donde es el nico argumento comprendido entre [0, 2).
Un nmero complejo z 6= 0 se dice que est en forma polar si z = |z|
, arg(z). Se dice que

est en forma trigonomtrica si se escribe como z = |z|(cos + i sin), arg(z). Ambas formas
tratan de escribir el nmero complejo dependiendo de su mdulo y su argumento, al igual que las
coordenadas polares en R
2
. Pero adems en el caso de los nmeros complejos, las formas polar y
trigonomtrica son tiles para trabajar con el producto, potencias y races de nmeros complejos.
Por ejemplo sean z, w C \ {0} y multipliqumoslos en forma trigonomtrica. Entonces, si
arg(z) y arg(w) tenemos que
z w = |z|(cos + i sin) |w|(cos + i sin )
= |z| |w|(cos cos sin sin + i(cos sin + cos sin)
= |z| |w|(cos( +) + i sin( +))
con lo que en foema polar, hacer una multiplicacin de nmeros complejos es bsicamente multiplicar
los mdulos y sumar los argumentos, esto es
z w = (|z| |w|)
+
.
Igualmente si n N
z
n
= (|z|
n
)
n
y si w 6= 0
z
w
=
|z|
|w|
.
Tambin son tiles las coordenadas polares para obtener las races nsimas de un nmero complejo.
Si z 6= 0, entonces w =
n
z si y slo si z = w
n
. Entonces
w
n
= (|w|
n
)
n
= |z|
,
de donde
|w|
n
= |z|
o equivalentemente
|w| =
n
p
|z|
y
=
+ 2k
n
, k Z.
Ahora bien, si k / {0, 1, ..., n 1} tenemos que k = n l + p, p {0, 1, ..., n 1} con lo que
+ 2k
n
=
+ 2(nl + p)
n
=
+ 2p
n
+ 2l
6
con lo que todos los argumentos de las races estn son
=
+ 2k
n
, k = 0, 1, ..., n 1
y por tanto las races son
n
z =
n
p
|z|
+2k
n
, k = 0, 1, ..., n 1.
1.5 Topologa del plano complejo
La topologa del plano complejo es similar a la que el alumno conoce de R
2
. Basta darse cuenta para
ello que si z = a + ib C, entonces su mdulo |z| = +
z z = +
a
2
+ b
2
coincide con el mdulo o
norma del vector del plano correspondiente.
As, dado z
0
C y r > 0, se dene la bola abierta de centro z
0
y radio r al conjunto
B(z
0
, r) = {z C : |z z
0
| < r}
y se dene la bola cerrada como
B(z
0
, r) = {z C : |z z
0
| r}.
Un conjunto A C se dir abierto si para cada z
0
A existe r > 0 de manera que B(z
0
, 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, Imz 0}.
Dado un conjunto A se dene el interior de A, Int(A), como el mayor abierto contenido en A.
Se dene su clausura, Cl(A), como el menor cerrado que contiene a A. Se dene 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 z
0
es punto de acumulacin de Asi para todo > 0 se verica que B(z
0
, )A
contiene innitos 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 x
2
+ y
2
+ z
2
= 1 y sea
N = (0, 0, 1) su polo norte y S = (0, 0, 1) su polo sur. Identicamos 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)
z 1
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 identicar el innito 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 0
1
= . Como siempre 0 , y
/ son indeterminaciones, que habr que resolver en el clculo de los lmites.
8
1.5.2 Sucesiones de numeros complejos
Una sucesin de nmeros complejos es una aplicacin z
n
: N C. Toda sucesin de nmeros
complejos la podemos ver como dos sucesiones de nmeros reales al vericarse que z
n
= Re z
n
+i Imz
n
.
De esta manera el clculo de lmites se reduce a lo siguiente:
lim
n
z
n
= a + ib si y solo si lim
n
Re z
n
= a y lim
n
Imz
n
= b.
lim
n
z
n
= si y slo si lim
n
|z
n
| = +.
Es decir, el clculo de lmites de sucesiones de variable compleja se hace una vez conocido el
clculo de lmites para sucesiones de variable real.
1.5.3 Series de numeros complejos
Lo mismo que hemos apuntado para sucesiones de nmeros complejos ocurre para series de nmeros
complejos. Dada una sucesin de numeros complejos z
n
se contruye la serie de trmino genera z
n
generando la sucecin s
n
= s
1
+ s
2
+ ... + s
n
. Al posible lmite de dicha sucesin lo denotamos
formalmente por
P
n=1
z
n
y decimos que la serie es convergente si el lmite es un nmero complejo
y divergente en caso contrario. De nuevo tenemos que
P
n=1
z
n
=
P
n=1
Re z
n
+ i
P
n=1
Imz
n
por lo
que podemos dar los siguientes casos.
n=1
z
n
es convergente si y slo si
P
n=1
Re z
n
y
P
n=1
Imz
n
son convergentes.
Si
P
n=1
|z
n
| es convergente se dice que
P
n=1
z
n
converge absolutamente. La convergencia
absoluta implica la convergencia pero no al revs (por ejemplo considerar la serie ya conocida
P
n=1
(1)
n
/n).
Por ltimo, si tenemos dos series de nmeros complejos
P
n=1
z
n
y
P
n=1
w
n
, podemos multiplicar
ambas series de la siguiente manera

X
n=1
z
n
!

X
n=1
w
n
!
= z
1

X
n=1
w
n
!
+ z
2

X
n=1
w
n
!
+ ... + z
n

X
n=1
w
n
!
+ ...
Este producto, si ambas series son absolutamente convergentes puede reordenarse de la manera
siguiente

X
n=1
z
n
!

X
n=1
w
n
!
=

X
n=1
n
X
i=1
z
i
w
ni+1
,
que se conoce como forma del producto de Cauchy de series.
1.6 Ejercicios
1. Expresar los siguientes nmeros complejos en forma binmica:
(a) (1 + i)
3
(c)
2+3i
34i
(e) i
5
+ i
16
(g) 1 + i + i
2
+ i
3
(b)
1
i
(d) (1+i
3)
3
(f) 2
/2
(h) 1
/4
9
2. Escribir en forma algebrica los complejos siguientes, donde denota el mdulo y un argu-
mento
a) = 2, = b) = 1, = /4
c) =
2, = /3 d) = 2, = /2
3. Calcular las siguientes races:
(a)
3
1 (c)
3
i (e)
6
8 (g)
4
1
(b)
8
1 (d)

1 i (f)

3 + 4i (h)
3
2 + 2i
4. Calcular el mdulo y el argumento de los siguientes nmeros complejos:
(a) 3 + 4i (b)
1+i
1i
(c) i
7
+ i
10
(f) 1 + i + i
2
5. Calcular el mdulo y el argumento principal de los siguientes nmeros complejos:
(a) 2i (c) 3i (e) 1 (g)
4
1
(b) 3 (d)
1+i
2
(f) 3 + i
3 (h)
3
2 + 2i
6. Representar grcamente los siguientes conjuntos de nmeros complejos:
(a) {z C : |z| = 1} (c) {z C : |z| 1} (e) {z C : z + z 1}
(b) {z C : z z = i} (d) {z C : Imz < 0} (f) {z C : |Rez| < 1}
7. Representar grcamente el conjunto de los puntos del plano z tales que se verica:
(a) Re(z) + Im(z) = zz (b) |z|
1
1, (z 6= 0) (c) |z 5i| = 8 (d) |z 5i| = 8
(e) Im(z
2
) > 2 (f) Re(z
1
) = 1 (g) 2 < |z| < 3 (h)

z1
z+1
1
(i) |z 2| = |1 2z| (j) Re (z
2
z) = 0
8. Dados los nmeros complejos z
1
= 2 i y z
2
= 4 +i. Hallar z
1
+z
2
, 3z
1
2z
2
, z
1
z
2
, (z
2
)
1
,
z
1
z
2
.
9. Si z
1
= 6i y z
2
= 8 i, hallar z
1
z
2
,
z
1
z
2
,
z
2
z
1
, z
2
2
z
1
.
10. Hallar las partes real e imaginaria del complejo z =
1i
1+i
.
11. Determinar x e y, para que se cumpla la igualdad (1 + i)(x + iy) = i.
12. Calcular (2 + 2i)
2
, (2 2i)
2
, (2 + 2i)(2 2i).
13. Demostrar que |z| = 1 Re(z) = Re(z
1
).
14. Encontrar las cuatro races cuartas de z
1
= 8(1
3i) y de z
2
= 81.
15. Calcular (1 +
3i)
30
,
3
1 + i.
16. En qu vector se transforma
3 + 3i al girarlo /2?.Qu ngulo es necesario girarlo para

que el resultado sea 2
3i?
10
17. Demostrar la identidad de Lagrange, para a, b, c, d R se verica
a
2
+ b
2

c
2
+ d
2
= (ac bd)
2
+ (ad + bc)
2
Indicacin: Considerar el nmero complejo z = (a + bi) (c + di) y hallar su mdulo de dos
modos diferentes.
18. Sea p(x) = a
n
x
n
+a
n1
x
n1
+... +a
1
x+a
0
un polinomio con coecientes reales, esto es, a
i
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 z
0
es solucin compleja de P(z) = 0, entonces
su conjugado tambin es solucin.
(c) Calcular todas las soluciones de x
4
2x
3
+ 2x
2
2x + 1 = 0.
19. Resolver las ecuaciones
(a) x
2
+ 1 = 0 (b) x
3
+ 2 = 0 (c) x
5
+ 64 = 0 (d) (x
2
+ 4)(x 1)
2
= 0.
20. Estudiar la convergencia de las siguientes series complejas:
(a)
P
n=1
n
(2i)
2
(c)
P
n=1
(1)
n
+i
n
(e)
P
n=1
(1+i)
n
n
(g)
P
n=1
cos(2
n
)+
i
n
n
2
(b)
P
n=1
n!
(in)
n
(d)
P
n=1
cos n+i sinn
n!
(f)
P
n=1
cos(n)+i sin(n)
n
(h)
P
n=1
insinn
3
n
21. Dada la serie
P
n=0
z
n
, comprobar que es absolutamente convergente si |z| < 1 y que es diver-
gente 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 denida por
z z
0
Rez Rez
0
e Imz Imz
0
es de orden sobre C y verica las hiptesis (P1) y (P2) del ejercicio anterior.
24. Dados z, w C comprobar las desigualdades:
(a) |z w| ||z| |w||.
(b) |z w|
2
+ |z + w|
2
= 2(|z|
2
+ |w|
2
).
(c) |1 zw|
2
|z w|
2
= (1 |z|
2
)(1 |w|
2
).
11
12
Captulo 2
Funciones de variable compleja. Derivada
en sentido complejo.
Sumario. Funciones de variable compleja. Primeros ejemplos. La funcin ex-
ponencial. Seno y Coseno complejos. Logaritmo complejo. Derivada compleja.
Condiciones de CauchyRiemann.
2.1 Funciones de variable compleja
Una funcin de variable compleja es aquella f : A C C, denida sobre un subconjunto de los
nmeros complejos A y cuya imagen est contenida a su vez en dicho cuerpo. Para todo z A se
cumple entonces que f(z) = Re f(z) +i Imf(z), por lo que se denen las partes real e imaginaria (o
funciones coordenadas) de f cmo Re f, Imf : A C R.
Vamos a ver a continuacin algunos los primeros ejemplos de funciones de variable compleja.
2.1.1 Polinomios con coecientes complejos
Un polinomio con coecientes complejos es una funcin de la forma p : C C dada para cada z C
por p(z) = a
n
z
n
+a
n1
z
n1
+... +a
1
z +a
0
, donde a
i
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
= x
2
y
2
+ i2xy + 2x + i2y + i
= x
2
y
2
+ 2x + i(2xy + 2y + 1),
de donde
Re p(x + iy) = x
2
y
2
+ 2x,
Imp(x + iy) = 2xy + 2y + 1.
13
Funciones de variable compleja. Derivada en sentido complejo.
2.1.2 Funciones racionales complejas
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 denida 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 Funcin exponencial compleja
La funcin exponencial compleja, dada para todo z C por la serie
e
z
:=

X
n=0
z
n
n!
.
Hemos de hacer notar en primer lugar que para todo nmero complejo z se verica que
X
n=0
z
n
n!
=

X
n=0
|z|
n
n!
= e
|z|
,
es decir, la serie de los valores absolutos converge a la exponencial real y por tanto la serie que dene
la exponencial compleja es absolutamente convergen y por tanto convergente. Probamos de este
modo que la funcin exponencial est denida 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
e
z
e
w
=

X
n=0
z
n
n!
!

X
n=0
w
n
n!
!
=

X
n=0
n
X
i=0
z
i
i!

w
ni
(n i)!
!
=

X
n=0
1
n!
n
X
i=0
n!
i!(n i)!
z
i
w
ni
!
=

X
n=0
(z + w)
n
n!
= e
z+w
.
En segundo lugar, si x R, entonces
e
ix
=

X
n=0
(ix)
n
n!
=

X
n=0
i
n
x
n
n!
=

X
n=0
(1)
n
(2n + 1)!
x
2n+1
+ i

X
n=0
(1)
n
(2n)!
x
2n
= cos x + i sin x,
dado que i
2n
= (1)
n
e i
2n+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|e
i
, arg(z).
14
Adems, si x R, tenemos que
|e
ix
| = +
p
cos
2
x + sin
2
x = 1,
de donde tenemos que para todo z C se verica
|e
z
| = |e
Re z+i Imz
| = e
Re z
,
por lo que e
z
6= 0 para todo z C.
Por ltimo, las funciones coordenadas de la exponencial se calculan, si z = x + iy, como
f(x + iy) = e
x+iy
= e
x
e
iy
= e
x
(cos y + i siny),
por lo que
Re f(x + iy) = e
x
cos y,
Imf(x + iy) = e
x
sin y.
2.1.4 Funciones trigonomtricas complejas
La funciones trigonomtricas complejas son denidas para todo z C a partir de la exponencial
como
sin z =
e
iz
e
iz
2i
, cos z =
e
iz
+ e
iz
2
.
Puede verse como ejercicio que en virtud de la denicin de la funcin exponencial como una serie,
tambin pueden escribirse como una serie de la forma
sin z =

X
n=0
(1)
n
(2n + 1)!
z
2n+1
cos z =

X
n=0
(1)
n
(2n)!
z
2n
.
Adems, de la dencin pueden denirse las siguientes propiedades anlogas a las que se daban para
las funciones trigonomtricas reales.
(T1) sin
2
z + cos
2
z = 1.
(T2) Para todo z C, se verica que sin(z) = sin(z) y cos(z) = cos z.
(T3) Para todo z, w C, se verica que sin(z + w) = sinz cos w + sinw 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
Es un buen ejercicio probar todas estas propiedades, as como otras que no estn en esta lista y
que sin duda son conocidas por el alumno. Para nalizar y como una de las mayores diferencias con
las funciones trigonomtricas reales, notemos que las funciones trigonomtricas complejas no estn
acotadas por 1. Por ejemplo
| sin(2i)| =
e
2
e
2
2i
=
e
2
e
2
2
3.6269... > 1.
De hecho, si x > 0,
| sin(xi)| =
e
x
e
x
2i
=
e
x
e
x
2
,
por lo que el mdulo del seno puede ser tan grande como queramos. Un razonamiento anlogo sirve
para el coseno.
2.2 Lmites de funciones de variable compleja
Debido a que la topologa del plano complejo es como la de R
2
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 z
0
C
punto de acumulacin de A.
Se dice que f tiende a l C cuando z tiende a z
0
, y se escribir lim
zz
0
f(z) = l si para todo
> 0 existe > 0 tal que si |z z
0
| < entonces |f(z) l| < .
Se dice que lim
zz
0
f(z) = si para todo M > 0 existe > 0 tal que si |z z
0
| < , entonces
|f(z)| > M.
Se dice que lim
z
f(z) = l si para todo > 0 existe N > 0 tal que si |z| > N, entonces
|f(z) l| < .
Por ltimo, diremos que lim
z
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) lim
zz
0
f(z) = l si y slo si lim
zz
0
Re f(z) = Re l y lim
zz
0
Imf(z) = Iml.
Esta segunda propiedad nos permite tratar con los lmites como si de funciones reales del plano
se tratara. Por ejemplo, si queremos calcular
lim
z1
z
z + 1
=
1
2
,
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
lim
z0
z + iz
2
p
|z|
=
0
0
,
16
presenta una indeterminacin. Para resolverla vamos a obtener primero las funciones coordenadas
haciendo z = x + iy,
x iy + i(x
2
y
2
+ 2xyi)
4
p
x
2
+ y
2
=
x 2xy
4
p
x
2
+ y
2
+ i
x
2
y
2
y
4
p
x
2
+ y
2
.
Centrmonos en la parte real y pasemos a coordenadas polares y calculamos
lim
0
cos 2
2
cos sin
= lim
0
(cos 2 cos sin ) = 0

y como adems
cos 2
2
cos sin
= |
(cos 2 cos sin )|
+ 2
y lim
0
+ 2
= 0, tenemos que
lim
x+iy0
x 2xy
4
p
x
2
+ y
2
= 0.
De forma anloga vemos que
lim
x+iy0
x
2
y
2
y
4
p
x
2
+ y
2
= 0,
por lo que el lmite pedido ser
lim
z0
z + iz
2
p
|z|
= 0.
Es un buen ejercicio para el alumno comprobar que
lim
z0
z + iz
2
|z|
no existe.
2.3 Continuidad de funciones de variable compleja
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
z
0
A si existe el lmite de f(z) cuando z z
0
y adems
lim
zz
0
f(z) = f(z
0
).
La funcin f se dir continua en A si es continua en todo punto de A.
Como no poda ser de otra manera, la continuidad de f ocurre si y slo si son continuas la
funciones coordenadas Re f e Imf.
Funciones continuas son todas las que hemos estudiado al principio del tema, es decir, los poli-
nomios, las funciones racionales (salvo donde no estn denidas), la exponencial y el seno y cosenos
complejos. Adems, la suma, diferencia, producto, cociente (salvo donde se anule el denominador)
y composicin de funciones continuas son continuas. Tambin lo son el conjugado f(z) = z (con
funciones coordenadas x y y) y el mdulo f(z) = |z| (con funciones coordenadas
p
x
2
+ y
2
y 0).
17
2.4 Derivacin en sentido complejo
La derivada compleja es la parte ms novedosa de este tema y a la que dedicaremos una mayor parte
del tiempo. Aunque la denicin es idntica en su forma a la derivada real, pues f : A C C se
dir derivable (tambin holomorfa) en z
0
Int(A) si existe y es nito el lmite
lim
zz
0
f(z) f(z
0
)
z z
0
= f
0
(z
0
).
Como siempre, si A es un abierto, f se dir derivable en el abierto A si es derivable u holomorfa en
todo punto de A. Se vericarn adems las siguientes propiedades de la derivacin: dadas f(z) y
g(z) se cumple
(D0) Si f(z) es derivable en z
0
, entonces es continua en z
0
.
Demostracin. Basta ver que lim
zz
0
f(z) f(z
0
) = 0. Para ello tomamos
lim
zz
0
f(z) f(z
0
) = lim
zz
0
f(z) f(z
0
)
z z
0
(z z
0
)
= lim
zz
0
f(z) f(z
0
)
z z
0
lim
zz
0
(z z
0
) = f
0
(z
0
) 0 = 0,
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
(z
0
) 6= 0, entonces existe r > 0 tal que f es inyectiva
en B(z
0
, r), f(B(z
0
, r)) es abierto y existe una funcin inversa f
1
: f(B(z
0
, r)) B(z
0
, r)
derivable en f(z
0
) y tal que
(f
1
)
0
(f(z
0
)) =
1
f
0
(z
0
)
.
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 R
2
y entonces una funcin f (considerada indistintamente en C o R
2
) es diferenciable si
lim
zz
0
|f(z) f(z
0
) Df(z
0
)(z z
0
)|
|z z
0
|
= 0,
donde Df(z
0
) es una aplicacin lineal de R
2
en si mismo de manera que su matriz respecto de la base
cannica de R
2
se llama matriz Jacobiana de f y es
Jf(z
0
) =
f
1
x
(z
0
)
f
1
y
(z
0
)
f
2
x
(z
0
)
f
2
y
(z
0
)
!
,
donde f
1
(z) = Re f(z) y f
2
(z) = Imf(z). Entonces se verica el siguiente resultado.
18
Theorem 1 Una f : A C C es derivable en z
0
Int(A) si y slo si f es diferenciable en z
0
y
Df(z
0
)(z z
0
) = f
0
(z
0
) (z z
0
).
Demostracin. En primer lugar, si f es derivable en z
0
se verica que
lim
zz
0
f(z) f(z
0
) f
0
(z
0
)(z z
0
)
z z
0
= 0
y como la norma es continua
lim
zz
0
f(z) f(z
0
) f
0
(z
0
)(z z
0
)
z z
0
= 0,
por lo que la funcin f es diferenciable en z
0
.
Si f es diferenciable en z
0
y Df(z
0
)(z z
0
) = f
0
(z
0
) (z z
0
), entonces
lim
zz
0
f(z) f(z
0
) f
0
(z
0
)(z z
0
)
z z
0
= 0,
de donde por la continuidad del mdulo
lim
zz
0
f(z) f(z
0
) f
0
(z
0
)(z z
0
)
z z
0
= 0.
Vamos a escribir la expresin Df(z
0
)(z z
0
) = f
0
(z
0
)(z z
0
) de una forma ms sencilla. Para
ello, supongamos que z z
0
= x + iy. Entonces
Df(z
0
)(z z
0
) =
f
1
x
(z
0
)
f
1
y
(z
0
)
f
2
x
(z
0
)
f
2
y
(z
0
)
!
x
y
x
f
1
x
(z
0
) + y
f
1
y
(z
0
)
x
f
2
x
(z
0
) + y
f
2
y
(z
0
)
!
.
Y por otro lado
f
0
(z
0
)(z z
0
) = xRe f
0
(z
0
) y Imf
0
(z
0
) + i[xImf
0
(z
0
) + y Re f
0
(z
0
)].
Comparando ambas expresiones tenemos que
x
f
1
x
(z
0
) + y
f
1
y
(z
0
) = xRe f
0
(z
0
) y Imf
0
(z
0
),
x
f
2
x
(z
0
) + y
f
2
y
(z
0
) = xImf
0
(z
0
) + y Re f
0
(z
0
).
Haciendo x = 1 e y = 0 tenemos que
f
1
x
(z
0
) = Re f
0
(z
0
),
f
2
x
(z
0
) = Imf
0
(z
0
),
19
y haciendo x = 0 e y = 1 se verica
f
1
y
(z
0
) = Imf
0
(z
0
),
f
2
y
(z
0
) = Re f
0
(z
0
),
de donde obtenemos las ecuaciones
f
1
x
(z
0
) =
f
2
y
(z
0
);
f
1
y
(z
0
) =
f
2
x
(z
0
),
que se conocen con el nombre de ecuaciones de CauchyRiemann. Adems se verica que
f
0
(z
0
) = Re f
0
(z
0
) + i Imf
0
(z
0
) =
f
1
x
(z
0
) + i
f
2
x
(z
0
)
La funcin f(z) = z no es derivable ya que sus funciones coordenadas son f
1
(x, y) = x y
f
2
(x, y) = y y entonces
f
1
x
(z
0
) = 1 6= 1 =
f
2
y
(z
0
)
y no se verican las ecuaciones de CauchyRiemann para todo z
0
C, de donde obtenemos
que f(z) = z no es derivable en todo C.
Si f(z) = z
n
, entonces f
0
(z) = nz
n1
. Veamos esta propiedad por induccin. Si n = 0, entonces
f(z) = 1 y entonces
f
0
(z
0
) = lim
zz
0
f(z) f(z
0
)
z z
0
= lim
zz
0
1 1
z z
0
= 0,
por lo que se verica la frmula. Si suponemos la frmula cierta hasta n, entonces
(z
n+1
)
0
= (z
n
z)
0
= nz
n1
z + z
n
1 = (n + 1)z
n
,
por lo que la frmula tambin es cierta.
Las derivadas de estas funciones son claves para junto con el lgebra de funciones derivables
obtener que si f(z) = 3z
4
+z 1 entonces f
0
(z) = 12z
3
+1 o por ejemplo si f(z) = z
2
/(z +1),
entonces
f
0
(z) =
2z (z + 1) z
2
(z + 1)
2
=
z
2
+ 2z
(z + 1)
2
.
Si f(z) = e
z
, entonces sus funciones coordenadas son f
1
(x, y) = e
x
cos y y f
2
(x, y) = e
x
sin y y
entonces es un ejercicio sencillo comprobar que las ecuaciones de CauchyRiemann se cumplen
y adems
f
0
(z) = e
x
cos y + ie
x
siny = e
z
.
Por la denicin de las funciones trigonomtricas tenemos que
(sin z)
0
=
(e
iz
e
iz
)
0
2i
=
ie
iz
+ ie
iz
2i
=
e
iz
+ e
iz
2
= cos z
y
(cos z)
0
=
(e
iz
+ e
iz
)
0
2
=
ie
iz
ie
iz
2
=
e
iz
e
iz
2i
= sinz.
20
2.5 El logaritmo complejo
La funcin logaritmo real log x se dene como la inversa de la funcin exponencial e
x
. Si prestamos
un poco de atencin, vemos que la exponencial es inyectiva, es decir, si e
x
= e
y
entonces x = y.
Entonces existe un nico valor x = e
y
. Llamamos logaritmo log xal nico y tal que e
y
= x.
La funcin exponencial compleja no es inyectiva. Dados z = a + ib y w = c + di, y considerando
la ecuacin e
z
= e
w
, tenemos tomando mdulos que e
a
= e
b
por lo que a = b al ser ambos reales. Por
otra parte, se tendrn las ecuaciones
cos b = cos d,
sin b = sind,
de donde se verica que d = b + 2k, k Z. Es decir existen innitos numeros complejos que dan
lugar a la misma exponencial, y entonces ya no podemos denir el logaritmos como en el caso real.
Dados z, w C \ {0} tal que z = e
w
= e
Re w
(cos Imw + i sinImw) de donde tomando mdulos
tenemos que |z| = e
Re w
obteniendo Re w = log |z|. Por otra parte Imw arg(z). As se denine el
conjunto de logatitmos complejos como
L(z) = {log |z| + i : arg(z)}.
Para denir las diferentes funciones logaritmo complejo hemos de jar los valores entre los que se
dan los argumentos. Por ejemplo, podemos denir L(z) en el conjunto R
+
[0, 2). Entonces, por
ejemplo el logaritmos de 1 + i sera
L(1 + i) = log
2 + i/4.
Sin embargo la funcin anterior nos es continua ya que el argumento arg denido entre [, + 2),
R no es continua como se ve en el siguiente dibujo
21
vemos que lim
z
+ arg(z) = mientras que lim
z
arg(z) = + 2. Es decir el lmite vara segun
nos acercamos a en el sentido de la agujas del reloj, lim
z
+ arg(z) = , o en sentido contrario
lim
z
arg(z) = + 2.
Enunciaremos entonces el siguiente resultado sobre ramas continuas del logaritmo.
Theorem 2 Para cada R existe una funcin continua
L
: C\ H
] , +[
de forma que para todo z C\H
se verica A
(z) arg z, donde H
es la semirrecta {re
i
: r
0}. Adems, por el Teorema de la funcin inversa se satisface la frmula
L
0
(z) =
1
z
.
2.6 Ejercicios
1. Expresar los siguientes nmeros complejos en forma binmica:
(a) sen(2 + i) (b) e
i/2
(c) 2 e
i
(d) 3 e
i/2
(e) i + 3 e
2i
(f) e
i/4
e
i/4
(h) 1/e
i/4
(i) e
1+i
2. Comprobar que son ciertas las igualdades:
(a) sin(iz) = i
e
z
e
z
2
(b) cos(iz) =
e
z
+ e
z
2
3. Obtener la parte real y la parte imaginaria de las funciones:
(a) f(z) = 3z
2
iz, (b) f(z) = z +
1
z
, (c) f(z) = z
3
+ z + 1, (d) f(z) =
1 z
1 + z
4. Calcular la parte real y la parte imaginaria de las funciones:
(a) f (z) = z
2
+ i (b) f (z) =
1
z
5. Siendo z, z
0
dos nmeros complejos distintos y
(z+z
0
)i
(zz
0
)
R. Hallar la relacin entre |z| y |z
0
|.
(Solucin: |z| = |z
0
|).
6. Hallar los nmeros complejos z tales que su cuadrado es igual a su conjugado. (Solucin: 0,
1
0
, 1
2/3
, 1
4/3
).
7. Resolver la ecuacin z = z
n1
, siendo n N\ {2}. (Solucin: 0, 1
2k/n
n = 0, 1, 2, . . . , n 1).
8. Resolver las siguientes ecuaciones:
(a) e
z
+ i = 0. (Solucin: z =
2k
1
2
i, k Z).
22
(b) 4 cos z + 5 = 0. (Solucin: z = (2k + 1) i log 2, k Z).
(c) e
z
+ 1 = 0. (Solucin: z = (2k + 1) i, k Z).
(d) sinz = 4. (Solucin: z =
2
+ 2k
i log
15
, k Z).
9. Dado el nmero complejo z, probar que ze
z
+ ze
z
es un nmero real.
10. Hallar la parte real e imaginaria de las funciones
(a) f (z) = cosh (z i) (b) f (z) = tan z
11. Probar que para cada z = x + iy C se verican las siguientes desigualdades:
(a) |sinh y| |sinz| cosh y.
(b) |sinh y| |cos z| coshy.
12. Sea D = B(0, 2) = {z C/|z| < 2}. Calcula y representa grcamente f(D) para las funciones
(a) f(z) = 3 + i + z (b) f(z) = (1 + i)z (c) f(z) = 1/z
13. Estudia la continuidad en el disco B(0, 1) = {z C/|z| < 1} de las funciones
(a) f(z) =
1
1 z
(b) f(z) =
1
z
2
+ 1/2
14. Se considera la funcin
f(z) =
1 + z
2
z i
siz 6= i
4i siz = i
Estudiar la continuidad de f(z) en el punto z = i.
15. Estudia la continuidad de la funcin f(z) = (z
5
+ 1)/(z
2
+ 4).
16. Halla los puntos del crculo B(0, 2) en los que es discontinua la funcin
f(z) =
1
(z
2
+ 1) (z 3)
17. Determina los puntos singulares de las siguientes funciones:
(a) f(z) =
2z + 1
z(z
2
+ 1)
(b) f(z) =
z
3
+ i
z
2
3z + 2
(c) f(z) =
z
2
+ 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) = e
z
(b) f(z) = senz (c) f(z) = cos z (d) f(z) = ize
z
23
19. Estudia si las siguientes funciones denidas en C son derivables y en caso armativo calcular
f
0
(z)
(a) f(z) = z Imz (b) f(z) = z Imz (c) f(x + iy) = e
y
e
ix
(d) f(z) = z z (e) f(z) = (z
2
2)e
z
(f) f(x + iy) = e
y
e
ix
(g) f(z) = (z
2
+ cos z)e
z
(h) f(z) = sen2z + i (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.
21. Comprueba que la funcin f(z) =
p
|(Rez) (Imz)| no es derivable en z = 0 y, sin embargo,
verica 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 R
2
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 verica la
relacin
2
u
x
2
(x, y) +

2
u
y
2
(x, y) = 0z D.
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 superua, 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(x
2
+ y
2
) (b) f(x, y) = 2e
x
cos y
27. Dada una funcin f : D C C, derivable en el abierto D, se dene la aplicacin (z) =
|f(z)|
2
. Comprueba que se verica la igualdad
x
2
(z) +

2
y
2
(z) = 4|f
0
(z)|
2
para cada z D. Nota: Supn, aunque posteriormente veremos que esta suposicin es
superua, que las funciones parte real y parte imaginaria de f son de clase C
2
(D).
24
28. Si D es un subconjunto abierto de R
2
y u : D R es una funcin armnica, se llama armnica
conjugada a toda funcin v : D R que cumpla que que la nueva funcin f(x + iy) =
u(x, y) +iv(x, y) es derivable en D. Prueba que las siguientes funciones son armnicas y halla
una armnica conjugada
(a) u(x, y) = 2x(1 y) (b) u(x, y) = 2x x
3
+ 3xy
2
(c) u(x, y) = y/(x
2
+ 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/(x
2
+ 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) = x
2
y
2
+ 2x.
31. Prueba que si v
1
(x, y) y v
2
(x, y) son dos funciones armnicas conjugadas de una misma funcin
armnica u(x, y) en C, entonces v
1
(x, y) y v
2
(x, y) dieren en una constante.
32. Sean u, v : R
2
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(e
1/z
) en trminos de x e y y prueba que esta funcin es armnica en el conjunto
R
2
\ {0}.
Nota: Se denen las funciones hiperblicas complejas sinhz := (e
z
e
z
)/2 y cosh z :=
(e
z
+ e
z
)/2. Las funciones tangente y tangente hiperblica se denen de la forma usual, esto
es, tan z := sin z/ cos z y tanh z := sinh z/ coshz. Las restantes funciones trigonomtricas e
hiperblicas complejas se denen 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 Curvas en el plano complejo
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], deniremos una curva en C como una aplicacin
continua : [a, b] C. La imagen o grca 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 = t
0
< t
1
< ... < t
n
= b, tal que |
[t
i
,t
i+1
]
es de clase C
1
para i = 0, 1, ..., n1. Una
curva se dir cerrada si (a) = (b). Un curva se dir de Jordan si es cerrada y sin autointersecciones
((t) 6= (t
0
) para todo t, t
0
(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 dene su unin o
yuxtaposicin
1

2
: [a, b + d c] C como
1

2
(t) :=

1
(t) si t [a, b],
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 dene como
l() :=
Z
b
a
p
x
0
(t)
2
+ y
0
(t)
2
dt =
Z
b
a
|
0
(t)|dt.
27
Si la curva es de clase C
1
a trozos y se escribe como =
k
j=1
j
, donde cada curva
j
es de clase C
1
,
se dene su longitud como
l() =
k
X
j=1
l(
j
).
En cualquier caso, todas estas deniciones 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 Integrales de funciones sobre caminos
Consideremos ahora una funcin de variable compleja f : A C C y : [a, b] C una curva de
clase C
1
de manera que graf() A. Deniremos al integral de f a lo largo de como
Z
f(z)dz =
Z
b
a
f((t))
0
(t)dt
=
Z
b
a
Re f((t))
0
(t)dt + i
Z
b
a
Imf((t))
0
(t)dt.
En caso de que la curva sea de clase C
1
a trozos, es decir =
k
j=1
j
, con
j
de clase C
1
, entonces
Z
f(z)dz =
k
X
j=1
Z
j
f(z)dz.
Como podemos ver fcilmente de la primera expresin, si f(z) = f
1
(z)+if
2
(z) y (t) = x(t)+iy(t),
se tiene que
Z
f(z)dz =
Z
b
a
(f
1
((t)) + if
2
((t)))(x
0
(t) + iy
0
(t))dt
=
Z
b
a
[f
1
((t))x
0
(t) f
2
((t))y
0
(t)]dt
+i
Z
b
a
[f
2
((t))x
0
(t) + f
1
((t))y
0
(t)]dt
=
Z
f
1
(x, y)dx f
2
(x, y)dy + i
Z
f
2
(x, y)dx + f
1
(x, y)dy,
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:
f(z)dz =
R
f(z)dz.
Si , son dos curvas tal que el punto nal de es el inicial de y, entonces
Z
f(z)dz =
Z
f(z)dz +
Z
f(z)dz.
28
Si , C y f, g son dos funciones cuyo dominio contiene a la grca de , entonces
Z
(f(z) +g(z))dz =
Z
f(z)dz +
Z
g(z)dz.
Si existe M > 0 tal que |f(z)| M para todo z graf(), entonces
f(z)dz
Ml().
Regla de Barrow. Si A es abierto y existe F : A C C de manera que F
0
(z) = f(z) para
todo z A (F se dir una primitiva de f), entonces
Z
f(z)dz = F((b)) F((a)).

Demostracin. Para demostrar la regla de Barrow, dmonos cuenta que si t (a, b) y F(z) =
F
1
(z) + iF
2
(z), entonces
d
dt
F((t)) =
F
1
x
((t))x
0
(t) +
F
1
y
((t))y
0
(t)
+i
F
2
x
((t))x
0
(t) +
F
2
y
((t))y
0
(t)
=
F
1
x
((t))x
0
(t)
F
2
x
((t))y
0
(t)
+i
F
2
x
((t))x
0
(t) +
F
1
x
((t))y
0
(t)
=

F
1
x
((t)) + i
F
2
x
((t))
(x
0
(t) + iy
0
(t))
= F
0
((t))
0
(t) = f((t))
0
(t),
haciendo uso de las frmulas de CauchyEuler. Entonces
Z
f(z)dz =
Z
b
a
f((t))
0
(t)dt
=
Z
b
a
d
dt
F((t))dt
= F((b)) F((a)),
con lo que concluye la prueba.
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
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, verica que I() A. Intuitivamente, un conjunto simplemente conexo es aquel que
no tiene agujeros. Por ejemplo, el conjunto A
1
= {z C : |z| < 1} es simplemente conexo, mientras
que A
2
= {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
para toda curva cerrada y C
1
a trozos, , cuya grca contenida en S.
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
f(z)dz =
Z
f
1
(x, y)dx f
2
(x, y)dy + i
Z
f
2
(x, y)dx + f
1
(x, y)dy
=
ZZ
I()
f
2
x
(x, y)
f
1
y
(x, y)
dxdy
+i
ZZ
I()
f
1
x
(x, y)
f
2
y
(x, y)
dxdy
=
ZZ
I()
f
2
x
(x, y) +
f
2
x
(x, y)
dxdy
+i
ZZ
I()
f
1
x
(x, y)
f
1
x
(x, y)
dxdy
= 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 z
0
, w
0
S y
1
y
2
dos curvas C
1
a trozos cualesquiera cuyas grcas estn contenidas
en S uniendo z
0
y w
0
. Entonces
Z
1
f(z)dz =
Z
2
f(z)dz. (3.1)
Este resultado nos permite denir la funcin F : S C tal que para todo z S se dene como
F(z) =
Z
f(w)dw (3.2)
donde es cualquier curva C
1
a trozos contenida en S uniendo un punto jo z
0
S con z. El siguiente
resultado nos dice que las funciones derivables denidas 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
Theorem 5 Sean S C un conjunto abierto simplemente conexo y f : S C una funcin derivable
en S. Entonces la funcin denida 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 denidas sobre un conjunto
de curvas. Un conjunto del plano complejo A se dice arcoconexo si para cualesquiera par de puntos
z
1
, z
2
A, existe una curva : [a, b] C de manera que (a) = z
1
, (b) = z
2
y graf() A. Un
conjunto simplemente conexo puede ser arcoconexo. Por ejemplo, el conjunto {z C : Re z Imz < 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 verica:
(a) I() contiene las grcas de
1
, ...,
n
.
(b) Para todo k = 1, 2, ..., n, E(
k
) contiene la grca de
j
con j 6= k.
(c) S contiene al conjunto D = I() \ (I(
1
) ... I(
n
)).
Entonces
Z
f(z)dz =
n
X
i=1
Z
i
f(z)dz.
Demostracin. Hacemos la demostracin para el caso particular n = 2. El caso general es
anlogo pero mucho ms laborioso. Observemos el siguiente dibujo
dibujo
donde hemos representado la curvas. Unimos dos puntos de cada curva segn el siguiente dibujo
dibujo
de manera que las curvas resultantes
1
y
2
tienen su interior simplemente conexo y por lo tanto
estn contenidas en un conjunto simplemente conexo. Entonces por el Teorema de Cauchy tenemos
que
Z
1
f(z)dz +
Z
2
f(z)dz = 0 + 0 = 0.
Si desarrollamos, tenemos que
Z
1
f(z)dz =
y
Z
2
f(z)dz =
con lo que
Z
f(z)dz =
Z
1
f(z)dz +
Z
2
f(z)dz,
31
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 inuye 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
f(z)dz =
Z
C(z
0
,r)
f(z)dz
donde C(z
0
, r) es cualquier circunferencia de centro z
0
y radio r contenida en I()S y satisfaciendo
las condiciones del Teorema 6.
3.4 Las frmulas integrales de Cauchy
Las frmulas integrales de Cauchy permitirn probar uno de los hechos clave dentro de la variable
compleja: que toda funcin derivable es innitamente derivable. Para jar 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 grca est contenida en S. Si z I(), entonces existe un radio r
sucientemente pequeo de manera que
Z
f(w)
w z
dw =
Z
r
f(w)
w z
dw,
donde
r
(t) = z + re
it
, t [0, 2], esto es, una circunferencia, ya que la funcin
f(w)
wz
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 verica que
Z
1
w z
dw =
Z
2
0
1
z re
it
z
rie
it
dt
=
Z
2
0
idt = 2i = 2if(z).
Si f(w) = f(z) para todo w C, se tiene por las propiedades de linealidad de la integral que
Z
f(z)
w z
dw = 2if(z).
Finalmente, en general
Z
f(w) f(z)
w z
dw = lim
r0
Z
r
f(w) f(z)
w z
dw
=
Z
r
lim
r0
f(w) f(z)
w z
dw
=
Z
r
lim
wz
f(w) f(z)
w z
dw
=
Z
r
f
0
(z)dz = 0,
32
por lo que
Z
f(w)
w z
dw =
Z
f(z)
w z
dw = 2if(z),
por lo que hemos justicado 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
f(z) =
1
2i
Z
f(w)
w z
dw si z I(), (3.3)
y
1
2i
Z
f(w)
w z
dw = 0 si z E().
Por aplicacin directa del Teorema 8 sobre la circunferencia de centro z
0
S y radio contenida
en S con interior contenido tambin en S obtendremos la frmula
f(z
0
) =
1
2
Z
2
0
f(z
0
+e
it
)dt.
Si tomamos la primera frmula integral de Cauchy y derivamos obtenemos
f
0
(z) =
1
2i
d
dz
Z
f(w)
w z
dw
=
1
2i
Z
d
dz
f(w)
w z
dw
=
1!
2i
Z
f(w)
(w z)
2
dw,
que se conoce como frmula integral de Cauchy para la primera derivada. Si volvemos a derivar,
tenemos
f
00
(z) =
1
2i
d
dz
Z
f(w)
(w z)
2
dw
=
1
2i
Z
d
dz
f(w)
(w z)
2
dw
=
2!
2i
Z
f(w)
(w z)
3
dz,
que es la frmula integral de Cauchy para la segunda derivada. En general, si procedemos por
induccin y suponemos que
f
n)
(z) =
n!
2i
Z
f(w)
(w z)
n+1
dw,
33
al volver a derivar tenemos que
f
n+1)
(z) =
n!
2i
d
dz
Z
f(w)
(w z)
n+1
dw
=
n!
2i
Z
d
dz
f(w)
(w z)
n+1
dw
=

=
(n + 1)!
2i
Z
f(w)
(w z)
n+2
dw,
por lo que hemos justicado la frmula integral de Cauchy para la derivada nsima, que a conti-
nuacin 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 innitas veces en z y adems
f
n)
(z) =
n!
2i
Z
f(w)
(w z)
n+1
dw, n N.
En paricular, si una funcin de variable compleja es derivable una vez, lo es innitamente. Ade-
ms, aplicando el Teorema anterior a la circunferencia (t) = z
0
+ re
it
, t [0, 2], se verica que
|f
n)
(z
0
)| =
n!
2i
Z
f(w)
(w z
0
)
n+1
dw
=
n!
2
f(w)
(w z
0
)
n+1
dw
n!
2
M(r)
r
n+1
l(),
donde M(r) = max{|f(z)| : z graf()} (ntese que M(r) existe al ser f(z) continua y la grca de
la curva un conjunto compacto). Dado que la longitud de la dircunferencia es 2, se tiene que
|f
n)
(z
0
)|
n!
2
M
r
n+1
2r = n!
M
r
n
,
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,
Z
T
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
2. Calcular la integral, de la funcin conjugacin, f(z) = z, a lo largo de la siguiente curva.
Z
|z| z dz, siendo el camino del ejercicio anterior.

4. Calcular el valor de la integral
Z
z/z dz, siendo el camino indicado en la gura siguiente:

5. Dado el arco (t) = e
i t
, t [0, 2], calcular la integral
Z
1
z z
0
dz:
(a) si |z
0
| > 1
(b) si |z
0
| < 1
6. Dada la curva (t) = e
i t
, t [0, 2], calcular la integral,
Z
sene
z
z
dz
7. Calcular el valor de la integral,
Z
e
1/z
(z 1)
2
dz, (t) = 1 +
e
i t
2
, t [0, 2]
35
8. Comprobar que la funcin
f(x) =
(
x
2
/2 x 0
x
2
/2 x < 0
es de clase C
1
pero no existe la segunda derivada en cero. Dado A C un abierto conteniendo
al cero, ser posible entontrar una funcin F H(A) de forma que F(x) = f(x) para cada
x A IR? Por qu?
9. Dado r > 1, calcular el valor de la integral,
Z
4
1
d, (t) = 1 + r e
i t
, t [0, 2]
Z
z e
z
(z i)
3
dz, (t) = i + e
i t
, t [0, 2]
Z
e
z
z (1 z)
3
dz
(a) para (t) = e
i t
, t [0, 2] (0 < < 1).
(b) para (t) = 1 + e
i t
, t [0, 2] (0 < < 1).
(c) para (t) = e
i t
, t [0, 2] (1 < ).
12. Sea la funcin f(z) = sen( z). Se pide calcular:
(a) Los puntos de C para los cuales f es derivable.
(b) El valor de la integral de f a lo largo de la siguiente curva,
Z
1
z
2
+ 9
dz
36
(a) para (t) = 3 i + e
i t
, t [0, 2]
(b) para (t) = 2 i + 2 e
i t
, t [0, 2]
(c) para (t) = 4 e
i t
, t [0, 2]
(d) para (t) = e
i t
, t [0, 2]
14. Sea la circunferencia unidad recorrida en el sentido contrario al de las agujas del reloj.
Calcular:
Z
d
15. Supongamos que es una curva cerrada y diferenciable a trozos. Dado z
0
C\ graf se llama
ndice de respecto de z
0
al valor:
I(, z
0
) =
1
2i
Z
1
z
0
d
Para el caso en que es una circunferencia, comprobar que:
(a) I(, z
0
) = 1 si z
0
est en la regin limitada por la grca de la curva.
(b) I(, z
0
) = 0, en otro caso.
16. Calcular el valor de la integral
Z
1
z
dz
siendo la curva cuyo rango se representa en la gura superior, orientada en el sentido que
indican las echas.
37
17. Calcular el valor de la integral:
Z
cos
1
z + 2 i
dz
donde es la elipse centrada en el origen de semiejes 2 y 1, respectivamente, recorrida en el
sentido contrario al de las agujas del reloj.
Nota: Una posible parametrizacin de la elipse es la dada por
1
: [2, 2] C
t ,
1
(t) = t +i
q
1
t
2
4
para la parte de arriba y
2
: [2, 2] C
t ,
2
(t) = t i
q
1
t
2
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? Justicar la respuesta.
19. Calcular el valor de la integral,
Z
z |z|
2
dz
38
siendo la curva de la gura siguiente, recorrida en el sentido que indican las echas.
39
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. Clasicacin de singularidades aisladas.
4.1 Series de potencias
Una serie de potencias de centro z
0
C es una expresin de la forma
X
n=0
a
n
(z z
0
)
n
,
donde a
n
C para todo n 0. Diremos que la serie converge en un nmero complejo w si la serie
numrica
X
n=0
a
n
(w z
0
)
n
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 dene el radio de convergencia de la serie como el nmero
R := sup{r 0 :

X
n=0
|a
n
|r
n
< +}.
Si un nmero complejo z verica que |z z
0
| = r < R, entonces
X
n=0
|a
n
(z z
0
)
n
| =

X
n=0
|a
n
|r
n
< +,
41
Series de potencias y de Laurent.
por lo que la serie de potencias ser absolutamente convergente en el disco D(z
0
, R) = {z C :
|z z
0
| < R}. Si por el contrario z C\ D(z
0
, R), la serie diverger, no pudiendose armar nada en
general sobre la convergencia de la serie en la frontera del disco.
Adems, si aplicamos el criterio de la raz a la serie
P
n=0
|a
n
(z z
0
)
n
|, se tendr que si existe
lim
n
n
p
|a
n
(z z
0
)
n
| < 1,
la serie ser aboslutamente convergente, por lo que
lim
n
n
p
|a
n
| <
1
|z z
0
|
,
por lo que
R =
1
lim
n
n
p
|a
n
|
.
De forma anloga, si aplicamos el criterio del cociente, en caso de existir y vericar que
lim
n
|a
n+1
(z z
0
)
n+1
|
|a
n
(z z
0
)
n
|
< 1,
la serie ser absolutamente convergente, de donde
lim
n
|a
n+1
|
|a
n
|
<
1
|z z
0
|
,
por lo que
R =
1
lim
n
|a
n+1
|
|an|
.
Algunas series de potencias ya conocidas son por ejemplo la exponencial
e
x
=

X
n=0
z
n
n!
.
Si aplicamos el criterio del cociente a la misma, vemos que
lim
n
1
(n+1)!
1
n!
= lim
n
1
n
= 0,
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
n=0
n
n
z
n
no converge nada ms que en su centro ya que
lim
n
n
n
n
= lim
n
n = ,
42
por lo que su radio de convergencia ser R = 1/= 0.
Un ejemplo que debe ser conocido tambin es la serie geomtrica
1 + z + z
2
+ ... + z
n
+ ... =

X
n=0
z
n
,
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
S
n
= 1 + z + z
2
+ ... + z
n
,
entonces
S
n
zS
n
= 1 z
n+1
,
de donde
S
n
=
1 z
n+1
1 z
.
Dado que |z| < 1, se verica que lim
n
z
n+1
= 0 y as
X
n=0
z
n
= lim
s
S
n
=
1
1 z
.
Por otra parte, si f(z) =
P
n=0
a
n
(z z
0
)
n
sobre el disco de convergencia de la serie y derivamos,
se tiene que
f
k)
(z) =
d
k
dz
k

X
n=0
a
n
(z z
0
)
n
!
=

X
n=0
d
k
dz
k
a
n
(z z
0
)
n
=

X
n=k
n(n 1)...(n k)a
n
(z z
0
)
nk
,
por lo que sustituyendo en z
0
obtenemos
a
k
=
f
k)
(z
0
)
k!
,
para todo k 0.
Una funcin f(z) denida sobre un abierto A C se dir analtica en z
0
A si existe una serie de
potencias tal que f(z) =
P
n=0
a
n
(z z
0
)
n
para todo z A perteneciente al disco de convergencia de
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
Theorem 10 (Taylor) Sean A C un conjunto abierto y f : A C derivable. Sean z
0
A y
r > 0 tales que D(z
0
, r) A. Entonces
f(z) =

X
n=0
f
n)
(z
0
)
n!
(z z
0
)
n
,
converge absolutamente sobre D(z
0
, r).
Demostracin. Vamos a ver que la serie converge absolutamente en cualquier punto del disco.
Para ello, sean z D(z
0
, R) y = |z z
0
| < r < R. Tomamos la circunferencia centrada en z
0
y de
radio r. Por las desigualdades de Cauchy, se tiene que
|f
n)
(z
0
)|
n!
r
n
M(r),
donde M(r) = max{|f(z)| : |z z
0
| = r}. Entonces
X
n=0
f
n)
(z
0
)
n!
(z z
0
)
n

X
n=0
|f
n)
(z
0
)|
n!
|z z
0
|
n

X
n=0
n
r
n
M(r)
= M(r)

X
n=0
n
= 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
Una serie de Laurent centrada en z
0
C es una expresin de la forma
X
n=
a
n
(z z
0
)
n
. (4.1)
Claramente puede dividirse en dos partes,
X
n=0
a
n
(z z
0
)
n
, (4.2)
que es una serie de potencias llamada parte regular de la serie de Laurent y
X
n=1
a
n
(z z
0
)
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
(4.2) converger absolutamente en su disco de convergencia D(z
0
, R). Para la serie (4.3), el cambio
de variable Z = 1/(z z
0
) la transforma en la serie de potencias
X
n=1
a
n
Z
n
que converger absolutamente en su disco de convergencia D(0, r), por lo que (4.3) converger siempre
que |z z
0
| > r. As, si r < R se tendr que la serie de Laurent inicial converger absolutamente en
el anillo de convergencia
A(z
0
, r, R) := {z C : r < |z z
0
| < R},
mientras que ser divergente en C\ A(z
0
, r, R).
Por otra parte, si
f(z) =

X
n=
a
n
(z z
0
)
n
en un cierto anillo de convergencia, entonces multiplicando dicha expresin por (z z
0
)
k1
, k Z,
se verica que
f(z)
(z z
0
)
k+1
=

X
n=
a
n
(z z
0
)
nk1
.
Si (t) = z
0
+e
it
, t [0, 2], denota una circunferencia dentro del anillo de convergencia, entonces
Z
f(z)
(z z
0
)
k+1
dz =
Z
X
n=
a
n
(z z
0
)
nk1
dz
=

X
n=
Z
a
n
(z z
0
)
nk1
dz.
Si n k 1 0, entonces a
n
(z z
0
)
nk1
es derivable, y por el Teorema de Cauchy se tiene que
Z
a
n
(z z
0
)
nk1
dz = 0.
Si n k 1 = 1, entonces
Z
a
n
z z
0
dz =
Z
2
0
a
n
e
it
ie
it
dt = 2ia
n
.
Finalmente, si n k 1 2, se tiene por las frmulas integrales de Cauchy que
Z
a
n
(z z
0
)
nk1
dz =
Z
a
n
(z z
0
)
k+1n
dz
=
2i
(n k)!
g
nk)
(z
0
) = 0,
donde g(z) = a
n
. Entonces
Z
f(z)
(z z
0
)
k+1
dz = 2ia
n
,
45
o equivalentemente
a
n
=
1
2i
Z
f(z)
(z z
0
)
n+1
dz, (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 z
0
C, 0 r < R, y f : A(z
0
, r, R) C una funcin derivable.
Entonces
f(z) =

X
n=
a
n
(z z
0
)
n
donde los coecientes a
n
satisfacen las identidades (4.4).
Demostracin. Vamos a ver que la serie as construda es convergente, lo que probar el resul-
tado. Sean r <
1
< <
2
< R y z C tal que |z z
0
| = . Acotamos de forma anloga a las
desigualdades de Cauchy
|a
n
| =
1
2i
Z
f(z)
(z z
0
)
n+1
dz
1
2
M()
1
n+1
l() =
M()
n
,
donde M() = max{|f(z)| : z graf()} y (t) = z
0
+e
it
, t [0, 2].
Si ahora tomamos la parte regular y procedemos como en la demostracin del Teorema de Taylor,
con (t) = z
0
+
2
e
it
, t [0, 2], se verica que
X
n=0
|a
n
(z z
0
)
n
| M(
2
)

2
,
por lo que la parte regular es absolutamente convergente. Tomamos ahora la parte singular y la
circunferencia (t) = z
0
+
1
e
it
, t [0, 2], tratamos de acotar
0
X
n=
|a
n
(z z
0
)
n
| =
0
X
n=
|a
n
|
|z z
0
|
n
0
X
n=
M(
1
)
n
1
=

X
n=1
M(
1
)
n
1
n
= M(
1
)

1
,
por lo que la parte singular tambin converge, y el teorema est probado.
46
4.3 Singularidades de una funcin compleja. Clasicacin
de singularidades aisladas
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 z
0
C es una singularidad de f si sta
no es derivable en z
0
. As todo z C es una singularidad para f(z) = z, mientras que 0 es una
singularidad para f(z) = 1/z. Una singularidad z
0
se dir aislada si existe > 0 tal que la funcin
es derivable en D(z
0
, ) \ {z
0
}. 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 z
0
denota la singularidad y
f(z) =

X
n=
a
n
(z z
0
)
n
sobre su anillo de convergencia A(z
0
, 0, R), se tiene
La singularidad z
0
se dir evitable si a
n
= 0 para todo n > 0.
La singularidad z
0
se dir un polo si la parte singular del desarrollo de Laurent tiene una
cantidad nita de trminos. Se dir orden del polo al mayor natural k que cumple que a
k
6= 0
y a
n
= 0 para todo n > k.
La singularidad z
0
se dir esencial si la parte singular del desarrollo de Laurent tiene una
cantidad innita de trminos.
Por ejemplo, la funcin
sin z
z
=

X
n=0
(1)
n
(2n + 1)!
z
2n
presenta una singularidad aislada en 0 que es evitable,
1
z
tiene en 0 un polo de orden 1, mientras que
e
1/z
=

X
n=0
1
n!z
n
tiene en 0 una singularidad esencial. El siguiente resultado ofrece una clasicacin de las singulari-
dades aisladas de una funcin de variable compleja.
Theorem 12 Sean z
0
C y f una funcin derivable denida en D(z
0
, ) \ {z
0
}. Entonces:
(a) z
0
es evitable si y slo si existe lim
zz
0
f(z) = l C. Adems si denimos f en z
0
como
f(z
0
) = l se tiene que f es derivable en D(z
0
, ).
(b) z
0
es un polo de orden k si y slo si existe lim
zz
0
(z z
0
)
j
f(z) = para 0 j < k y
lim
zz
0
(z z
0
)
k
f(z) C\ {0}.
(c) z
0
es una singularidad esencial si y slo si no existe el lim
zz
0
f(z). Adems en este caso para
todo w C existe una sucesin z
n
convergiendo a z
0
de manera que lim
n
f(z
n
) = w.
47
Demostracin. (a) es consecuencia inmediata del Teorema de Taylor. Para comprobar (b),
dmonos cuenta de que para todo j {0, 1, ..., k 1} la funcin (z z
0
)
j
f(z) sigue teniendo parte
singular, por lo que
lim
zz
0
(z z
0
)
j
f(z) = ,
mientras que (z z
0
)
k
f(z) es una serie de potencias cuyo primer tmino a
k
es no nulo. De aqu se
deriva (b). La demostracin de (c) excede los contenidos del curso.
Una vez clasicadas 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 Transformada Z
4.4.1 Ecuaciones en diferencias nitas
El inters del estudio de la transformada Z es debido a que es la anloga a la transformada de Laplace
para resolver ecuaciones en diferencias nitas. Estas ecuaciones aparecen en ingeniera al modelizar
sistemas electrnicos cuyas entradas y salidas son una sucesin de datos discretos. Para jar ideas,
consideremos el siguiente ejemplo.
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 gura
representa el tipo ms sencillo de retroalimentacin de una seal. Los datos de entrada vienen dados
por la sucesin x
k
y los de salida por
y
k+1
= r
k
. (4.5)
En el proceso, los datos intermedios r
k
vienen dados por la expresin
r
k
= x
k
ay
k
, (4.6)
donde a es un nmero real. Combinando (4.5) y (4.6) obtenemos la ecuacin en diferencias de orden
uno
y
k+1
+ ay
k
= x
k
.
48
Si complicamos el dispositivo, como se muestra en la gura,
se obtiene una ecuacin de orden dos. Aqu
y
k+1
= v
k
,
v
k+1
= r
k
,
r
k
= x
k
+ by
k
av
k
,
de donde se obtiene la ecuacin
y
k+2
+ ay
k+1
by
k
= x
k
.
El uso de la transformada Z permite afrontar con ciertas garantas de xito la resolucin de estas
ecuaciones. Por ejemplo supongamos la ecuacin
y
k+2
+ y
k+1
2y
k
= 1;
y
0
= 0, y
1
= 1.
Vamos a ver cmo la transformada Z nos permite obtener la solucin de la ecuacin anterior
transformando dicho problema en un problema algebraico.
4.4.2 Denicin y propiedades bsicas
Consideremos una sucesin de nmeros complejos x
k
. Se dene la transformada Z de la misma como
la serie
Z[x
k
](z) =

X
n=0
x
n
z
n
. (4.7)
Ntese que (4.7) es una serie de Laurent con parte regular x
0
y parte singular
P
n=1
x
n
z
n
, y que
por tanto converger en un disco de convergencia de la forma
A(0, r, +) = {z C : |z| > r}
donde r es el radio de convergencia de la serie de potencias
P
n=1
x
n
z
n
.
49
Por ejemplo, si = (1, 0, 0, 0, ...) entonces su transformada Z es
Z[](z) = 1
denida en todo el plano complejo. Si x
k
= (1, 1, 1, ...), entonces
Z[1](z) =

X
n=0
1
z
n
=
1
1
1
z
=
z
z 1
,
siempre que |z| > 1.
Propiedades bsicas.
Linealidad. Dadas las sucesiones x
k
e y
k
y , C, se verica
Z[x
k
+y
k
](z) = Z[x
k
](z) +Z[y
k
](z)
para todo z en el dominio de denicin de Z[x
k
](z) y Z[y
k
](z).
Demostracin. Basta calcular
Z[x
k
+y
k
](z) =

X
n=0
x
n
+y
n
z
n
=

X
n=0
x
n
z
n
+

X
n=0
y
n
z
n
= Z[x
k
](z) +Z[y
k
](z).
Dada la sucesin x
k
, denimos la nueva sucesin y
k
= x
k+1
. Entonces
Z[y
k
](z) = Z[x
k+1
](z) = zZ[x
k
](z) zx
0
.
En general, si k
0
N y denimos y
k
= x
k+k
0
, tenemos la frmula
Z[x
k+k
0
](z) = z
k
0
Z[x
k
](z)
k
0
1
X
n=0
x
n
z
k
0
n
.
Demostracin. Calculamos
Z[x
k+1
](z) =

X
n=0
x
n+1
z
n
= z

X
n=0
x
n+1
z
n+1
= z

X
n=1
x
n
z
n
= z

X
n=0
x
n
z
n
zx
0
= zZ[x
k
](z) zx
0
.
50
Dada la sucesin x
k
y a C\ {0}, se verica
Z[a
k
x
k
](z) = Z[x
k
](z/a).
Dmostracin. Calculamos
Z[a
k
x
k
](z) =

X
n=0
a
n
x
n
z
n
=

X
n=0
x
n
(z/a)
n
= Z[x
k
](z/a).
Por ejemplo, si x
k
= (1, 2, 2
2
, 2
3
, ...), se tiene que
Z[2
k
](z) =

X
n=0
2
n
z
n
=
1
1
2
z
=
z
z 2
.
Dadas las sucesiones x
k
y k
m
, m N, se verica
Z[k
m
x
k
](z) = [z
d
dz
]
m
Z[x
k
](z),
donde por z
d
dz
se entiende la operacin derivada y luego multiplicacin por z.
Demostracin. Hacemos la demostracin por induccin en m. Si m = 1, entonces
Z[kx
k
](z) =

X
n=0
nx
n
z
n
=

X
n=1
nx
n
z
n
= z

X
n=1
nx
n
z
n+1
= z

X
n=1
d
dz
x
n
z
n
= z
d
dz

X
n=1
x
n
z
n
!
= z
d
dz

X
n=0
x
n
z
n
x
0
!
= z
d
dz
Z[x
k
](z).
Si suponemos el resultado cierto para m, veamos que tambin lo es para m+1. Para esto calculamos
Z[k
m+1
x
k
](z) = Z[k k
m
x
k
](z) = z
d
dz
Z[k
m
x
k
](z)
= (z
d
dz
)[z
d
dz
]
m
Z[x
k
](z) = [z
d
dz
]
m+1
Z[x
k
](z).
Por ejemplo, si x
k
= k
2
, entonces
Z[k
2
](z) = [z
d
dz
]
2
Z[1](z) = [z
d
dz
]
2
z
z 1
= z
d
dz
z
d
dz
z
z 1
= z
d
dz
z
z 1
+
z
2
(z 1)
2
=
z
z 1

3z
2
(z 1)
2
+
2z
3
(z 1)
3
,
si |z| > 1.
51
4.4.3 Transformada Z inversa
Es interesante obtener transformadas Z inversas de funciones de variable compleja F(z), es decir,
qu sucesiones verican que
Z[x
n
](z) = F(z),
o equivalentemente
x
n
= 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
r 0. Por ejemplo, si F(z) =
1
z1
, entonces desarrollando en serie de Laurent
1
z 1
=
1
z
1
1
1
z
=
1
z
X
n=0
1
z
n
=

X
n=0
1
z
n+1
si |z| > 1. Entonces la sucesin
x
k
= Z
1
[1/(z 1)] = (0, 1, 1, 1, ...).
4.4.4 Aplicacin a la resolucin de la ecuacin en diferencias
Consideramos el problema

y
k+2
+ y
k+1
2y
k
= 1;
y
0
= 0, y
1
= 1,
obtenido anteriormente. Tomando la transformada Z en la ecuacin, usando las propiedades de sta
y tomando en consideracin las condiciones iniciales obtenemos
Z[y
k+2
+ y
k+1
2y
k
](z) = Z[1](z),
y desarrollando
Z[y
k+2
+ y
k+1
2y
k
](z) = Z[y
k+2
](z) + Z[y
k+1
](z) 2Z[y
k
](z)
= z
2
Z[y
k
](z) z + zZ[y
k
](z) 2Z[y
k
](z)
= (z
2
+ z 2)Z[y
k
](z) z.
Por otra parte
Z[1](z) =
z
z 1
.
Entonces
(z
2
+ z 2)Z[y
k
](z) = z +
z
z 1
=
z
2
z 1
,
con lo que
Z[y
k
](z) =
z
2
(z
2
+ z 2)(z 1)
.
Pasamos a fracciones simples
Z[y
k
](z) =
z
2
(z 1)
2
(z + 2)
=
1
(z 1)
2

3
z 1
+
4
z + 2
,
52
y calculamos la transformada inversa obteniendo los desarrollos en series de Laurent
1
z + 2
=
1
z
1
1
2
z
=
1
z
X
n=0
2
z
n
=

X
n=0
(2)
n
z
n+1
si |z| > 2.
1
z 1
=
1
z
1
1
1
z
=
1
z
X
n=0
1
z
n
=

X
n=0
1
z
n+1
si |z| > 1. Finalmente
1
(z 1)
2
=
d
dz
1
z 1
=
d
dz

X
n=0
1
z
n+1
!
=

X
n=0
d
dz
1
z
n+1
=

X
n=0
n + 1
z
n+2
si |z| > 1. Entonces si |z| > 2 se tiene que
Z[y
k
](z) =
1
(z 1)
2

3
z 1
+
4
z + 2
=

X
n=0
n + 1
z
n+2
3

X
n=0
1
z
n+1
+ 4

X
n=0
(2)
n
z
n+1
=
1
z

X
n=0
n + 1
z
n+2

X
n=0
3
z
n+2
+

X
n=0
4(2)
n+1
z
n+2
=
1
z
+

X
n=0
n 4 + 4(2)
n+1
z
n+2
,
por lo que si k 2
y
k
= 4(2)
k+1
4 + k.
Veamos a continuacin el siguiente ejemplo, en que las raices son complejas:
x
n+2
2x
n+1
+ 2x
n
= 1,
x
0
= x
1
= 0.
Si aplicamos la transformada Z a la ecuacin, tenemos que
Z[x
n+2
2x
n+1
+ 2x
n
](z) = Z[1](z).
Por un lado
Z[1](z) =

X
n=0
1
z
n
=
1
1
1
z
=
z
z 1
,
mientras que
Z[x
n+2
2x
n+1
+ 2x
n
](z) = Z[x
n+2
](z) 2Z[x
n+1
](z) + 2Z[x
n
](z)
= z
2
Z[x
n
](z) z
2
x
0
zx
1
2zZ[x
n
](z) 2zx
0
+ 2Z[x
n
](z)
= (z
2
2z + 2)Z[x
n
](z),
53
de donde
Z[x
n
](z) =
z
(z 1)(z
2
2z + 2)
.
Desarrollamos la funcin en serie de Laurent para calcular x
n
. Para ello en primer lugar
z
(z 1)(z
2
2z + 2)
=
z
(z 1)(z 1 i)(z 1 + i)
=
1
z 1

1
2
1 + i
z 1 i

1
2
1 i
z 1 + i
.
Calculamos de forma separada
1
z 1
=
1
z
1
1
1
z
=
1
z
X
n=0
1
z
n
=

X
n=1
1
z
n
,
1
z 1 i
=
1
z
1
1
1+i
z
=
1
z
X
n=0
1 + i
z
n
=

X
n=1
(1 + i)
n1
1
z
n
,
1
z 1 + i
=
1
z
1
1
1i
z
=
1
z
X
n=0
1 i
z
n
=

X
n=1
(1 i)
n1
1
z
n
,
con lo que agrupando
z
(z 1)(z
2
2z + 2)
=

X
n=1
1
z
n

1
2
X
n=1
(1 + i)
n
1
z
n

1
2
X
n=1
(1 i)
n
1
z
n
=

X
n=1
1
1
2
(1 + i)
n
1
2
(1 i)
n
1
z
n
,
y teniendo en cuenta que
(1 + i)
n
= 2
n/2
(cos
n
4
+ i sin
n
4
),
(1 i)
n
= 2
n/2
(cos
n
4
i sin
n
4
),
obtenemos
z
(z 1)(z
2
2z + 2)
=

X
n=1
1 2
n/2
cos
n
4
1
z
n
,
y por tanto
x
n
= 1 2
n/2
cos
n
4
.
4.4.5 Funciones de transferencia.
La funcin de transferencia asociada a la transformada Z se dene de forma anloga a la funcin de
transferencia asociada a la transformada de Laplace. Consideremos en este contexto una ecuacin
en diferencias nitas de la forma
a
n
y
k+n
+ a
n1
y
k+n1
+ ... + a
1
y
k+1
+ a
0
y
k
= x
k
, (4.8)
54
siendo a
i
R, 0 i n. Entonces, suponiendo que y
i
= 0 i < k, tomando la transformada Z
obtenemos que
(a
n
z
n
+ a
n1
z
n1
+ ... + a
1
z + a
0
)Z[y
k
](z) = Z[u
k
](z),
por lo que
Z[y
k
](z) =
1
a
n
z
n
+ a
n1
z
n1
+ ... + a
1
z + a
0
Z[u
k
](z).
Se dene enotnces la funcin de transferencia asociada a la ecuacin como
T(z) =
Z[y
k
](z)
Z[u
k
](z)
=
1
a
n
z
n
+ a
n1
z
n1
+ ... + a
1
z + a
0
.
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 verica que
lim
k
y
k
= 0.
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 verican que |z| < 1.
4.5 Ejercicios
1. Determina el radio de convergencia de las series de potencias:
(a)

X
n=1
z
n
n!
(b)

X
n=1
n
n
z
n
(c)

X
n=1
n
2
n
(z i)
n
(d)

X
n=1
n!
n
n
z
n
(e)

X
n=1
2
n
z
n
(f)

X
n=1
(3 + (1)
n
) (z + 2)
n
(g)

X
n=1
cos(ni) z
n
(h)

X
n=1
(n + a
n
) z
n
, (a > 0) (i)

X
n=1
(1)
n
n
z
n
2. Calcula las series de potencias centradas en 0 de las siguientes funciones indicando su bola de
convergencia.
(a) f(z) =
1
z
2
+1
(b)f(z) = z
4
+ z + 1 (c) f(z) =
1
(z+1)
2
(d) f(z) = L
0
(z + 1) (e)f(z) = e
z
3
(f) f(z) =
z1
(z+1)
2
(g) f(z) = cos(z
2
) (h)f(z) =
zi
z
2
+1
(i) f(z) =
z1
(1z)
3
3. Calcula el radio de convergencia de las siguientes series de potencias y estudia su carcter en
la frontera del dominio de convergencia.
(a)

X
n=0
z
n
(b)

X
n=0
z
n
n
(c)

X
n=0
z
n
n
2
55
4. Calcula el desarrollo en serie de potencias de las funciones siguientes en el punto que se indica.
Determina adems el radio de convergencia de dicha serie.
(a) senz, z
0
= i (b) e
z
, z
0
= i (c)
1
1 z
, z
0
= 0
(d)
z
2
z + 2
, z
0
= 0 (e)
z
z + 2
, z
0
= 1 (f) L
(z), z
0
= 1
(g)
z
1 + z
2
, z
0
= 0 (h)
senz
z
, z
0
= 0
5. Dada la funcin f(z) =
1
1+z
2
, calcula el valor de f
(20)
(1).
6. Calcula la serie de Laurent de la funcin f(z) =
1
z2
alredor de 2 y de 0.
7. Determina la serie de Laurent de la funcin f(z) =
1
z (1z)
, alrededor de los puntos z
0
= 0,
z
0
= 1 y z
0
= i.
8. Calcula las series de Laurent centradas en 0 de las siguientes funciones indicando su anillo de
convergencia.
(a) f(z) =
z+1
z
2
(b)f(z) = ze
1/z
4
(c) f(z) =
1
z(z+1)
(d) f(z) =
cos(z
2
)
z
3
(e)f(z) =
z
z+1
(f) f(z) =
z1
z
3
(z+1)
2
(g) f(z) = cos(1/z
2
) (h)f(z) =
zi
z
6
(i) f(z) =
z
z(1z)
3
9. Calcula la serie de Laurent de las siguientes funciones alrededor de los puntos que se indican:
(a) z
2
e
1/z
, z
0
= 0 (b) e
1/(1z)
, z
0
= 1
(c) zsen(1/(z 1)), z
0
= 1 (d) cos(1/z), z
0
= 0
10. Sea funcin f(z) = L
(z), puede escribirse dicha funcin como una serie de Laurent en un

cierto anillo alrededor del punto z
0
= 0? Por qu?.
11. Calcula la serie de Laurent de f(z) =
1
(1+z
2
)
2
alrededor del punto z
0
= i.
12. Calcula el desarrollo de Laurent alrededor de los polos de la funcin:
f(z) =
z
(z 1)(z 2i)
.
13. Encontrar la transformada Z de las siguientes sucesiones determinando su conjunto de conver-
gencia.
(a) y
n
= n + 1. (b) y
n
= (0, 1, 0, 1, 0, 1, ...). (c) y
n
= n
4
.
(d) y
n
= (0, 1, 1, 1, ..). (e) y
n
= 2
2n
. (f) y
n
= 1 + 2
n
.
(g) y
n
= 1/2
n
. (h) y
n
= n3
n
. (i) y
n
= (0, 1, 0, 2, 0, 4, ..., 0, 2
n
, ...).
56
14. Resolver las siguientes ecuaciones homogneas:
(a) y
n+2
+ y
n+1
2y
n
= 0. (b) y
n+2
y
n+1
2y
n
= 0. (c) y
n+2
+
2
y
n
= 0 donde R.
(d) y
n+2
2y
n+1
+ y
n
= 0. (e) y
n+2
4y
n+1
12y
n
= 0. (f) y
n+2
+ 2y
n+1
+ y
n
= 0.
(g) y
n+2
+ 2y
n+1
3y
n
= 0. (h) y
n+3
y
n+2
+ 2y
n+1
2y
n
= 0. (i) y
n+4
+ y
n+2
2y
n
= 0.
15. Resolver las siguientes ecuaciones no homogneas:
(a) y
n+2
+ y
n+1
2y
n
= 2
n
. (b) y
n+2
y
n+1
2y
n
= 2. (c) y
n+2
2y
n+1
+ y
n
= 1.
(d) y
n+2
+ y
n
= n
2
. (e) y
n+2
4y
n+1
12y
n
= n2
n
. (f) y
n+2
+ 2y
n+1
+ y
n
= n
3
.
(g) y
n+2
+ 4y
n
= n(1)
n
. (h) y
n+2
2y
n+1
+ 6y
n
= 3
n
+ n. (i) y
n+3
y
n+2
+ 2y
n+2
2y
n
= (1
16. Resolver los siguientes problemas de condiciones iniciales:
(a)
y
n+2
+ 2y
n+1
+ y
n
= n
2
y
0
= 0
y
1
= 1
(b)
y
n+2
+ y
n+1
2y
n
= 0
y
0
= 1
y
1
= 2
(c)
y
n+2
4y
n+1
12y
n
= 0
y
0
= 0
y
1
(0) = 1
(d)
y
n+2
2y
n+1
+ y
n
= 1
y
0
= 0
y
1
= 0
(e)
y
n+2
4y
n+1
+ y
n
= n
y
0
= 1
y
1
= 0
(f)
y
n+2
+ y
n
= n
y
0
= 0
y
1
= 0
(g)
y
n+3
y
n+2
+ 2y
n+1
2y
n
= 2
n
y
0
= 1
y
1
= 0
y
2
= 1
(h)
y
n+2
+ y
n
= n + 2
y
0
= 1
y
1
= 1
(i)
y
n+2
y
n+1
2y
n
= 1
y
0
= 1
y
1
= 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 innito) 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 z
0
C una singularidad aislada de f(z). Se dene el
residuo de f en z
0
como
Res(f(z), z
0
) = a
1
,
donde a
1
es el coeciente de la serie de Laurent centrada en z
0
denida en un anillo de convergencia
A(z
0
, 0, R), R > 0, de la forma
X
n=
a
n
(z z
0
)
n
.
Por ejemplo, si f(z) = e
1/z
, se tiene que 0 es su nica singularidad. Como para todo z del anillo
A(0, 0, ) se tiene que
e
1/z
=

X
n=0
1
n!
1
z
n
,
se tiene que
Res(e
1/z
, 0) =
1
1!
= 1.
A pesar de esta denicin, 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(z
0
, 0, R), R > 0, se tiene que
f(z) =
k
X
n=1
a
n
(z z
0
)
n
+

X
n=0
a
n
(z z
0
)
n
,
61
con a
k
6= 0. Si multiplicamos esta expresin por (z z
0
)
k
, se tiene que
(z z
0
)
k
f(z) =
k
X
n=1
a
n
(z z
0
)
kn
+

X
n=0
a
n
(z z
0
)
n+k
,
que como vemos es una serie de potencias. Si calculamos su derivada (k 1)sima
d
k1
dz
k1
[(z z
0
)
k
f(z)] = (k 1)!a
1
+

X
n=0
a
n
(n + k)(n + k 1)(n + 2)(z z
0
)
n+1
,
de donde, tomando lmites cuando z tiende a z
0
, obtenemos
lim
zz
0
d
k1
dz
k1
[(z z
0
)
k
f(z)] = (k 1)!a
1
,
o equivalentemente, teniendo en cuenta que Res(f(z), z
0
) = a
1
,
Res(f(z), z
0
) =
1
(k 1)!
lim
zz
0
d
k1
dz
k1
[(z z
0
)
k
f(z)].
Esta frmula ser la ms utilizada en la prctica a la hora de resolver problemas. Por ejemplo,
la funcin f(z) =
1
z
2
(z1)
tiene dos singularidades aisladas, 0 y 1, que son polos de rdenes 2 y 1,
respectivamente. Entonces, los residuos en dichos puntos los calcularemos con las frmulas
Res(f(z), 1) = lim
z1
(z 1)f(z)
= lim
z1
1
z
2
= 1,
y
Res(f(z), 0) =
1
1!
lim
z0
d
dz
[z
2
f(z)]
= lim
z0
1
(z 1)
2
= 1.
5.2 El Teorema de los residuos
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 nita de puntos singulares aislados
z
1
, z
2
, ..., z
n
I(). Entonces
Z
f(z)dz = 2i
n
X
j=1
Res(f(z), z
j
).
62
Demostracin. Al haber una cantidad nita de singularidades aisladas, existir un nmero real
r > 0, sucientemente pequeo, de manera que las circunferencias
j
(t) = z
j
+ re
it
, t [0, 2],
1 j n, estn en el interior de , no se cortan entre s, y cada una contiene en su interior una y
slo una de las singularidades de la funcin. Aplicando el Teorema de Cauchy para un conjunto de
curvas, se tiene que
Z
f(z)dz =
n
X
j=1
Z
j
f(z)dz,
con lo que el teorema estar demostrado si probamos que
Z
j
f(z)dz = 2i Res(f(z), z
j
), (5.1)
para 1 j n.
Ahora bien, dentro de cada circunferencia se verica que
f(z) =

X
n=
a
n
(z z
j
)
n
,
por lo que
Z
j
f(z)dz =
Z
X
n=
a
n
(z z
j
)
n
dz
=

X
n=
Z
j
a
n
(z z
j
)
n
dz.
Calculamos aparte
P
n=
R
j
a
n
(zz
j
)
n
dz. Si n 0, la funcin a
n
(zz
j
)
n
es derivable por tratarse
de un polinomio, por lo que
Z
j
a
n
(z z
j
)
n
dz = 0
por el Teorema de Cauchy. Si n = 1, entonces
Z
j
a
1
z z
j
dz = a
1
Z
2
0
1
re
it
rie
it
dt
= 2ia
1
= 2i Res(f(z), z
j
).
Finalmente, si n 2, se tiene por las frmulas integrales de Cauchy para la derivada que
Z
j
a
n
(z z
j
)
n
dz =
2i
(n 1)!
g
n1)
(z
j
) = 0,
donde g(z) = a
n
.
As, la igualdad (5.1) es cierta y
Z
f(z)dz =
n
X
j=1
Z
j
f(z)dz = 2i
n
X
j=1
Res(f(z), z
j
),
63
con lo que termina la prueba del teorema.
Por ejemplo, para calcular
Z
1
z
2
(z 1)
dz,
con (t) = 2e
it
, 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
denotamos f(z) =
1
z
2
(z1)
,
Z
1
z
2
(z 1)
dz = 2i[Res(f(z), 0) + Res(f(z), 0)]
= 2i[1 + 1] = 0.
5.3 Aplicaciones al clculo de integrales reales
Para nalizar este tema explicaremos algunas de las prometidas aplicaciones del Teorema de los
residuos al clculo real, especialmente al clculo de integrales denidas. 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, sint)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.
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

P(t)/Q(t)dt = 2i
X
Im(z)>0
Res(P/Q, z).
P(t) cos(at)/Q(t)dt y
R
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 Q(x) 6= 0 para todo x R. Estas integrales se
obtendrn como partes real e imaginaria de
R
P(t)e
iat
/Q(t)dt que se calcula con la frmula
Z

P(t)e
iat
/Q(t)dt = 2i
X
Im(z)>0
Res(f, z),
con f(z) = e
iaz
P(z)/Q(z).
P(t)/Q(t)dt donde P, Q son funciones polinmicas tales que deg(Q) deg(P) + 2 y todo
cero real de Q tiene a lo sumo multiplicidad 1. El valor principal de esta integral dado por
lim
r
Z
r
r
P(t)/Q(t)dt
64
se obtendr calculando
2i
X
Im(z)>0
Res(P/Q, z) +i
X
Im(z)=0
Res(P/Q, z).
P(t) cos(at)/Q(t)dt y
R
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
lim
r
Z
r
r
P(t)e
iat
/Q(t)dt = 2i
X
Im(z)>0
Res(f, z) +i
X
Im(z)=0
Res(f, z)
donde f(z) = e
iaz
P(z)/Q(z), de donde podemos obtener los valores principales de las integrales
anteriores.
5.4 Ejercicios
1. Determina y clasica las singularidades de las funciones:
(a)
1
z z
3
(b)
z
4
1 + z
4
(c)
z
5
(1 z)
2
(d)
1
z (z
2
+ 4)
2
(e)
z
2
+ 1
e
z
(f)
1
e
z
1

1
z
(g) e
z
1
z
2. Calcula los residuos de las siguientes funciones en sus singularidades.
(a)
1
z
3
z
5
(b)
z
2
(z
2
+ 1)
2
(c)
1
z (1 z
2
)
(d)
senz
(z + 1)
3
(e) tg z (f)
1
senz
(g) e
z+
1
z
(h) sen(z)sen(1/z) (i)
e
2 z
(z 1)
2
(j)
z senz
z
(k) z cos(1/z) (l)
1
z + z
2
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
1
z
, (c) h(z) =
z senz
z
4. Calcula los residuos de las siguientes funciones en sus singularidades, clasicando stas previa-
mente.
(a) f(z) =
z
2
(z + 1)
3
(z + i)
, (b) g(z) = e
1/(z2i)
, (c) h(z) =
z senz
z(z 1)
65
5. Utiliza el teorema de los residuos para calcular las integrales siguientes:
(a)
Z
e
z
z
2
dz, (t) = 3 e
it
, t [0, 2]
(b)
Z
z
2
e
1/z
dz, (t) = 3 e
it
, t [0, 2]
(c)
Z
z + 1
z
2
2z
dz, (t) = 3 e
it
, t [0, 2]
(d)
Z
z
(z 1)(z 2)
dz, (t) = 2 +
e
it
2
, t [0, 2]
6. Sea (t) = 1 + re
it
, t [0, 2]. Calcular en funcin del parmetro r el valor de las siguientes
integrales:
(a)
Z
z 1
z
3
+ 2z
2
+ z
dz.
(b)
Z
2z
z
4
+ 2z
2
+ 1
dz.
(c)
Z
e
z
z
2
z
3
2z
2
+ 1
dz.
(d)
Z
z
2
e
1/z
dz.
7. Sea el cuadrado de vrtices (R, R), (R, R), (R, R) y (R, R) recorrido en sentido posi-
tivo. Determinar las integrales siguientes en funcin del parmetro R.
(a)
Z
z 1
z
3
+ 2z
2
+ z
dz.
(b)
Z
2z
z
4
+ 2z
2
+ 1
dz.
(c)
Z
e
z
z
2
z
3
2z
2
+ 1
dz.
(d)
Z
z
2
e
1/z
dz.
8. Calcula el valor de la integral
Z
e
1/z
iz + 2
dz
66
siendo la curva cuyo rango se representa en la gura siguiente.
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

Notas de Variable Compleja

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Notas de Variable Compleja

Cargado por

Copyright:

Formatos disponibles

Apuntes de Variable Compleja

Jose S. Cnovas Pea

, arg(z). Se dice que

3 + 3i al girarlo /2?.Qu ngulo es necesario girarlo para

(cos 2 cos sin ) = 0

(cos 2 cos sin )|

(z) arg z, donde H

f(z)dz = F((b)) F((a)).

|z| z dz, siendo el camino del ejercicio anterior.

z/z dz, siendo el camino indicado en la gura siguiente:

(z), puede escribirse dicha funcin como una serie de Laurent en un

P(t) sin(at)/Q(t)dt donde a R, a > 0, y P, Q son funciones

P(t) sin(at)/Q(t)dt donde a R, a > 0, y P, Q son funciones

También podría gustarte