Tema 10

Funciones de variable compleja

10.1

Funciones complejas de variable compleja

Definici
on 10.1 Una funcion compleja de variable compleja es una aplicacion f : A C
donde A C.
Para cada z A, f (z) C, luego
f (z) = Re(f (z)) + i Im(f (z)) = u(z) + iv(z).
Las funciones reales u, v: A IR as construidas se denominan partes real e imaginaria de la
funcion f y suele escribirse f = u + iv para indicar que u y v son las partes real e imaginaria
de la funcion f .
Como C = IR2 , una funcion compleja lleva asociada una funcion f : A IR2 IR2 donde
f (x, y) = f (x + iy) y que tiene por componentes, f = (u, v), las funciones u(x, y) = u(x + iy)
y v(x, y) = v(x + iy). As pues, toda funcion compleja de variable compleja equivale a un par
de funciones reales de dos variables reales.
Ejemplo 10.2 Para obtener las partes real e imaginaria de la funcion f (z) = z 2 , ponemos
z = x + iy y resulta
f (x + iy) = (x + iy)2 = x2 y 2 + i2xy
con lo que u(x, y) = x2 y 2 y v(x, y) = 2xy .

10.1.1

Lmites y continuidad

Los conceptos de lmite y de continuidad para funciones complejas de variable compleja se

definen como en el caso real:
Definici
on 10.3 Se dice que una funcion compleja de variable compleja f tiene por lmite
l C, cuando z tiende hacia z0 , y se escribe
lim f (z) = l,

zz0

cuando para cada n

umero real > 0 existe un n
umero real > 0 tal que si 0 < |z z0 | < ,
entonces |f (z) l| < .
Proposici
on 10.4 Sea f = u + iv una funcion compleja y l = l1 + il2 , entonces
lim f (z) = l lim u(z) = l1

zz0

Es decir, se tiene que

zz0

lim v(z) = l2 .

zz0

lim f (z) = lim u(z) + i lim v(z).

zz0

zz0

zz0

Demostracion:
Basta tener en cuenta que
|f (z) l| = |(u(z) + iv(z)) (l1 + il2 )| = |(u(z) l1 ) + i(v(z) l2 )|
Teor
a de variable compleja.

123

10 Funciones de variable compleja

y la propiedad (c) de 9.6.

De esta proposicion y de que los resultados analogos son ciertos para funciones reales, se
establece la validez de las proposiciones siguientes:
Proposici
on 10.5 Sean f y g funciones complejas tales que lim f (z) = l1 y lim f (z) = l2 .
zz0

Entonces:

zz0

a) lim (f (z) + g(z)) = l1 + l2 .

zz0

b) lim f (z)g(z) = l1 l2 .
zz0

f (z)
zz0 g(z)

c) lim

l1
l2

, si l2 = 0.

Proposici
on 10.6 Si lim f (z) = l C, entonces f est
a acotada en alg
un E (z0 , r).
zz0

Si l = 0, entonces f (z) = 0, para todo z de alg

un E (z0 , r).
Proposici
on 10.7 Si f es una funcion compleja, se tiene que
a) lim |f (z)| = 0 lim f (z) = 0.
zz0

zz0

b) lim f (z) = l lim f (z) l = 0.

zz0

zz0

Definici
on 10.8 Se dice que una funcion compleja f tiene por lmite l C cuando z tiende
a (en el sentido de |z| ), y se escribe
lim f (z) = lim f (z) = l,

|z|

cuando para cada > 0 existe un K > 0 tal que si |z| > K , entonces |f (z) l| < .
1
=
z z
1
lim
y, para
|z| z

Ejemplo 10.9 Veamos que lim

En efecto,

lim 1
z z

todo z tal que |z| > K , se tiene que

0.
cada > 0, sea K > 0 tal que

|f (z) 0| = | z1 | =

1
|z|

<

1
K

1
K

< . Entonces, para

< .

Definici
on 10.10 Se dice que una funcion compleja de variable compleja f es continua en
un punto z0 C cuando
lim f (z) = f (z0 ).
zz0

Se dice continua en un conjunto A, si es continua en cada punto de A.

Proposici
on 10.11 Sea f = u + iv una funcion compleja, entonces f es continua en z0 s, y
solo si, u y v son continuas en z0 .
Demostracion:
Basta tener en cuenta que
lim f (z) = f (z0 ) lim u(z) + i lim v(z) = u(z0 ) + iv(z0 ).

zz0

zz0

zz0

De esta proposicion y de que los resultados analogos son ciertos para funciones reales, se
establece la validez de las tres proposiciones siguientes:
124

Teor
a de variable compleja.

10.2 Derivabilidad de las funciones complejas

Proposici
on 10.12 Sean f y g dos funciones complejas de variable compleja continuas en un
punto z0 C. Entonces las funciones f + g y f g son continuas en z0 . Si, ademas, es g(z0 ) = 0,
entonces la funcion f /g es tambien continua en z0 .
Proposici
on 10.13 Sean f y g dos funciones complejas de variable compleja. Si f es continua
en z0 y g es continua en f (z0 ), entonces la funcion compuesta g f es continua en z0 .
Teorema de Weierstrass 10.14 Sean A C cerrado y acotado, y f : A IR una funcion
continua real. Entonces f tiene un mnimo y un maximo en A, es decir, existen z1 , z2 A tales
que f (z1 ) f (z) f (z2 ), para todo z A.

10.2

Derivabilidad de las funciones complejas

Definici
on 10.15 Sea A C un conjunto abierto. Se dice que una funcion f : A C es
derivable en un punto z0 A cuando existe el lmite
lim

zz0

f (z) f (z0 )
.
z z0

En ese caso, dicho lmite se designa por f (z0 ) y se llama derivada de f en el punto z0 .
Poniendo z z0 = h C, la definicion de derivada se escribe tambien como
f (z0 + h) f (z0 )
.
h0
h

f (z0 ) = lim

Proposici
on 10.16 Si f es derivable en z0 , entonces f es continua en z0 .
Demostracion:
Como lim f (z) = f (z0 ) lim f (z) f (z0 ) = 0, se tiene que
zz0

zz0

lim f (z) f (z0 ) = lim

zz0

zz0

f (z) f (z0 )
(z z0 ) = f (z0 ) 0 = 0.
z z0

Proposici
on 10.17 Sean f y g dos funciones derivables en un punto z0 . Entonces las funciones
f + g y f g son tambien derivables en z0 y
(f + g) (z0 ) = f (z0 ) + g (z0 )

(f g) (z0 ) = f (z0 )g(z0 ) + f (z0 )g (z0 ).

Si ademas es g(z0 ) = 0, entonces la funcion f /g es tambien derivable en z0 y

f
g

(z0 ) =

f (z0 )g(z0 ) f (z0 )g (z0 )

(g(z0 ))2

Demostracion:
La demostracion es identica a la del resultado para funciones reales de variable real.
Regla de la cadena 10.18 Si f es derivable en z0 y g es derivable en f (z0 ), entonces la
funcion compuesta h = g f es derivable en z0 y se verifica que
h (z0 ) = g (f (z0 ))f (z0 ).
Teor
a de variable compleja.

125

10 Funciones de variable compleja

Demostracion:
La demostracion es identica a la del caso de funciones reales de variable real.
Ejemplo 10.19

a) f (z) = k es derivable en todo C y f (z) = 0, para todo z C.

f (z) = lim

h0

f (z + h) f (z)
kk
= lim
= 0.
h0
h
h

b) f (z) = z es derivable en todo C y f (z) = 1, para todo z C.

f (z + h) f (z)
(z + h) z
h
= lim
= lim = 1.
h0
h0
h0 h
h
h

f (z) = lim

c) f (z) = z n es derivable en todo C y f (z) = nz n1 .

n

n i ni
) zn
i h z
(z + h)n z n
f (z + h) f (z)
i=1
f (z) = lim
= lim
= lim
h0
h0
h0
h
h
h
n
n
n i1 ni
n i1 ni
n n1
= lim
h z
=
lim
h z
=
z
= nz n1 .
h0
h0 i
i
1
i=1
i=1

(z n +

d) Si f (z) = a0 + a1 z + a2 z 2 + + an z n entonces f (z) = a1 + 2a2 z 1 + + nan z n1 , para

todo z C.
a0 + a1 z + + an z n
son derivables en cualquier z C
b0 + b1 z + + bm z m
que no anule el denominador y su derivada se encuentra usando las reglas dadas en las
proposiciones anteriores.

e) Las funciones racionales f (z) =

un punto.
f) La funcion f : C C dada por f (z) = z no es derivable en ning
En efecto, se tiene que lim

h0

f (z+h)f (z)
h

= lim

h0

z+hz
h

= lim

h0

z+hz
h

h
h0 h

= 1; y

h
h0 h

= 1.

si tomamos h = h1 IR, como h = h se tiene lim

si tomamos h = ih2 iIR, como h = h es lim

= lim hh , luego
h0

En consecuencia, el lmite no existe en ning

un punto.

10.2.1

Condiciones de Cauchy-Riemann [C-R]

Proposici
on 10.20 Si f = u+iv es derivable en un punto z0 = x0 +iy0 , entonces las funciones
u y v tienen derivadas parciales en z0 = (x0 , y0 ) y verifican las condiciones de Cauchy-Riemann
siguientes:
D1 u(z0 ) = D2 v(z0 )
[C-R].
D2 u(z0 ) = D1 v(z0 )
Ademas, f (z0 ) = D1 u(x0 , y0 ) + iD1 v(x0 , y0 ) = D2 v(x0 , y0 ) iD2 u(x0 , y0 ).
Demostracion:
126

Teor
a de variable compleja.

10.2 Derivabilidad de las funciones complejas

Sea h = h1 + ih2 C. Por hipotesis, existe

u(z0 + h) + iv(z0 + h) u(z0 ) + iv(z0 )
f (z0 + h) f (z0 )
= lim
h0
h0
h
h

f (z0 ) = lim

= lim

u(z0 + h) u(z0 ) + i v(z0 + h) v(z0 )

h
v(z0 + h) v(z0 )
u(z0 + h) u(z0 )
+ i lim
.
= lim
h0
h0
h
h
h0

Entonces:
Si h = h1 IR es
u(x0 + h1 , y0 ) u(x0 , y0 )
v(x0 + h1 , y0 ) v(x0 , y0 )
+ i lim
h1 0
h1 0
h1
h1
= D1 u(x0 , y0 ) + iD1 v(x0 , y0 ).

f (z0 ) = lim

Si h = ih2 iIR, es
f (z0 ) = lim

h2 0

u(x0 , y0 + h2 ) u(x0 , y0 )
v(x0 , y0 + h2 ) v(x0 , y0 )
+ i lim
h2 0
ih2
ih2

1
= D2 u(x0 , y0 ) + D2 v(x0 , y0 ) = D2 v(x0 , y0 ) iD2 u(x0 , y0 ).
i
Luego f (z0 ) = D1 u(z0 ) + iD1 v(z0 ) = D2 v(z0 ) iD2 u(z0 ), de donde se deducen las ecuaciones
de Cauchy-Riemann.
Teorema de Cauchy-Riemann 10.21 La funcion f = u + iv es derivable en un punto z0 =
x0 + iy0 s, y solo si la funcion f = (u, v) es diferenciable en z0 = (x0 , y0 ) y sus funciones
componentes verifican las condiciones de Cauchy-Riemann en el punto.
Demostracion:
Como, por la proposicion anterior, si f es derivable en z0 tambien las funciones u y v
verifican las condiciones [C-R], para h = (h1 , h2 ) = h1 + ih2 = h, se tiene en ambos casos que
(no ponemos el punto por comodidad)
t

f (z0 )h

D1 u D2 u
D1 v D2 v

h1
h2

h1 D1 u + h2 D2 u
h1 D1 v + h2 D2 v

h1 D1 u h2 D1 v
h1 D1 v + h2 D1 u

= (h1 D1 u h2 D1 v, h1 D1 v + h2 D1 u) = h1 D1 u h2 D1 v + i(h1 D1 v + h2 D1 u)
= (D1 u(z0 ) + iD1 v(z0 ))(h1 + ih2 ) = f (z0 )h
Entonces,
f (z0 + h) f (z0 ) f (z0 )h = f (z0 + h) f (z0 ) (f (z0 )ht )t
y, en consecuencia,
|f (z0 + h) f (z0 ) f (z0 )h|
f (z0 + h) f (z0 ) (f (z0 )ht )t
= lim
h0
|h|
h
h 0
lim

lo que demuestra el resultado.

Teor
a de variable compleja.

127

10 Funciones de variable compleja

Ejemplo 10.22 La funcion f : C C dada por f (z) = |z|2 es derivable u

nicamente en el
punto 0.
Solucion:
En efecto, si z = x + iy , f (z) = |z|2 = x2 + y 2 luego u(x, y) = x2 + y 2 y v(x, y) = 0.
Entonces
D1 u(x, y) = 2x = 0 = D2 v(x, y)
x = 0
D2 u(x, y) = 2y = 0 = D1 v(x, y) y = 0
luego las condiciones [C-R] no se verifican en ning
un punto z = 0.
En z = 0, se tiene que u y v son diferenciables en (0, 0) y verifican las condiciones [C-R]
en el punto, luego f es derivable en 0 y f (0) = D1 u(0, 0) + iD1 v(0, 0) = 0.
Corolario 10.23 Sea f = u+iv . Si las funciones u y v son de clase 1 en (x0 , y0 ) y se verifican
las condiciones [C-R] en el punto, entonces f es derivable en z0 = x0 + iy0 .

10.2.2

Funciones analticas

Definici
on 10.24 Sea A subconjunto abierto de C. Se dice que una funcion f : A C es
analtica en un punto z0 A, si f es derivable en alg
un entorno E(z0 , r) A.
Se dice que f es analtica en A cuando es analtica en todo punto de A.
Una funcion entera es una funcion analtica en todo C.
Ejemplo.- Toda funcion polinomica es una funcion entera.
Una funcion racional es analtica en todo punto que no anule al denominador.
Proposici
on 10.25 Sea A C. Si f : A C es analtica en un punto z0 A, entonces f
es analtica en alg
un entorno E(z0 , r) A.
Demostracion:
Es claro, pues si f es analtica en z0 A, f es derivable en alg
un entorno E(z0 , r) A y,
para cada z E(z0 , r), existe un E(z, ) E(z0 , r). Luego f es derivable en E(z, ) A y,
en consecuencia, f es analtica en cada z E(z0 , r).

10.3

Algunas funciones complejas

10.3.1

La exponencial compleja

Definici
on 10.26 La funcion f : C C definida, si z = x + iy , por
f (z) = f (x + iy) = ex (cos y + i sen y)
se llama exponencial compleja y se representa por f (z) = ez .
Proposici
on 10.27 Se verifican las siguientes propiedades:
a) Si z = x IR entonces la exponencial compleja coincide con la exponencial real.
b) ez+w = ez ew , para todo z, w C.
c) Si z = iy iIR, entonces |eiy | = 1.
d) Si z = x + iy , entonces |ez | = ex .
128

Teor
a de variable compleja.

10.3 Algunas funciones complejas

e) ez = 0, para todo z C.
f) ez = ez

(ez )1 = ez .

g) La funcion f (z) = ez es entera y f (z) = ez , para todo z C.

h) La funcion f (z) = ez es periodica de perodo 2i y si ez = ew , entonces z w = 2ki,
con k ZZ.
i) ez = 1 si, y solo si, z = 2ki, con k ZZ.
Demostracion:
a) Si z = x IR, ez = ex+i0 = ex (cos 0 + i sen 0) = ex (1 + i0) = ex .
b) Si z = x1 + iy1 y w = x2 + iy2 se tiene
ez ew = ex1 (cos y1 + i sen y1 )ex2 (cos y2 + i sen y2 ) = ex1 +x2 cos(y1 + y2 ) + i sen(y1 + y2 )
= e(x1 +x2 )+i(y1 +y2 ) = ez+w .
c) Si y IR,
|eiy | = |e0+iy | = |e0 (cos y + i sen y)| = | cos y + i sen y| =

cos2 y + sen2 y = 1.

d) Si z = x + iy entonces |ez | = |ex ||eiy | = ex 1 = ex .

e) Si z = x + iy , por la propiedad anterior, |ez | = ex = 0 para todo x IR, luego ez = 0
para todo z C.
f) Si z = x + iy ,
ez = ex cos y + iex sen y = ex cos y iex sen y = ex cos(y) + iex sen(y) = exiy = ez
y, tambien,
(ez )1 =

1
ez
ez
exiy
ex eiy
=
=
=
=
= ex eiy = exiy = ez .
ez
|ez |2
(ex )2
e2x
e2x

g) La parte real u(x, y) = ex cos y y la parte imaginaria v(x, y) = ex sen y de f son de clase
1 en todo punto (x, y) y se verifican las condiciones de [C-R]
D1 u(x, y) = ex cos y = ex cos y = D2 v(x, y)
D2 u(x, y) = ex sen y = ex sen y = D1 v(x, y)
en todo punto. Luego f es derivable en todo punto y
f (z) = D1 u(x, y) + iD1 v(x, y) = ex cos y + iex sen y = ez ,
para todo z C.
Teor
a de variable compleja.

129

10 Funciones de variable compleja

h) Para cada z C se verifica

ez+2i = ez e2i = ez (cos 2 + i sen 2) = ez 1 = ez .
Por otra parte, z = x1 + iy1 y w = x2 + iy2 , entonces si ez = ew se tiene que |ez | = |ew |
de donde ex1 = ex2 y, por tanto, que x1 = x2 . De la igualdad ex1 eiy1 = ex2 eiy2 , como
x1 = x2 , se tiene que eiy1 = eiy2 y, por consiguiente,
1=

eiy1
= ei(y1 y2 ) = cos(y1 y2 ) + i sen(y1 y2 )
eiy2

luego cos(y1 y2 ) = 1 y sen(y1 y2 ) = 0, de donde se deduce que y1 y2 = 2k , con

k ZZ. En consecuencia, z w = x1 x2 + i(y1 y2 ) = 2ki, con k ZZ.
i) Si ez = 1, entonces ez = e0 y, por la propiedad anterior, ez = 1 s, y solo si, z = 2ki,
con k ZZ.
La funcion exponencial compleja transforma rectas paralelas al eje real en semirectas dirigidas
al origen y las rectas paralelas al eje imaginario en circunferencias de centro el origen (como
ez tiene periodo 2i, cada segmento de longitud 2 de estas rectas se transforma en una
circunferencia completa). Observese la figura 10.1 siguiente.
f (z) = ez

2
3

ex+i 3

2
3

ex+i

e3+iy
eiy

ex+i

ex

2
3

3
exi

2
3

exi 3

Fig. 10.1. La funcion exponencial.

10.3.2

Funciones trigonom
etricas complejas

Definici
on 10.28 Las funciones seno, sen z , y coseno, cos z , complejas se definen para cada
z C por
eiz eiz
eiz + eiz
sen z =
y cos z =
.
2i
2
Proposici
on 10.29 Se verifican las siguientes propiedades:
a) sen2 z + cos2 z = 1, para todo z C.
b) sen(z + w) = sen z cos w + cos z sen w , para todo z, w C.
c) cos(z + w) = cos z cos w sen z sen w , para todo z, w C.
130

Teor
a de variable compleja.

10.3 Algunas funciones complejas

d) sen z = 0 si, y solo si, z = k , con k ZZ.

e) cos z = 0 si, y solo si, z =

+ k , con k ZZ.

f) Las funciones f (z) = sen z y g(z) = cos z son enteras y f (z) = cos z y g (z) = sen z ,
para todo z C.
g) Para todo z C, sen(z + 2k) = sen z y cos(z + 2k) = cos z , con k ZZ.
Demostracion:
(eiz eiz )2 (eiz + eiz )2
(eiz + eiz )2 (eiz eiz )2
+
=
4
4
4
iz
iz
iz
iz
iz
iz
iz
(e +e )+(e e ) (e +e )(e eiz )
2eiz 2eiz
=
=
= 1.
4
4

sen2 z + cos2 z =
a)

eiz + eiz eiw eiw

eiz eiz eiw + eiw

2i
2
2
2i
i(z+w)
i(z+w)
2e
2e
= sen(z + w).
=
4i

sen z cos w + cos z sen w =

b)

c) Analogo a b).
d) sen z = 0 eiz = eiz 2iz = 2ki, con k ZZ, z = k , con k ZZ.
e) cos z = 0 eiz = eiz eiz = ei eiz 2izi = 2ki z =

2 +k .

ieiz + ieiz
eiz + eiz
=
= cos z .
2i
2
ieiz ieiz
eiz + eiz
(cos z) =
=
= sen z .
2
2i

f) (sen z) =

g) Como ez es periodica de perodo 2i, se tiene que

sen(z + 2k) =

eiz+2ki eiz2ki
eiz eiz
=
= sen(z).
2i
2i

Analogamente, para el cos z .

Definici
on 10.30 Las funciones tangente, tg z , y cotangente, cotg z , complejas se definen por

10.3.3

+ k, con k ZZ
2

tg z =

sen z
,
cos z

si z =

cotg z =

cos z
,
sen z

si z = k, con k ZZ.

Funciones hiperb
olicas complejas

Definici
on 10.31 Las funciones seno hiperbolico, sh z , y coseno hiperbolico, ch z , estan definidas
para cada z C por
ez ez
ez + ez
sh z =
y ch z =
.
2
2
Proposici
on 10.32 Las siguientes propiedades relacionan las funciones trigonometricas complejas con las hiperbolicas complejas:
Teor
a de variable compleja.

131

10 Funciones de variable compleja

a) sh z = i sen(iz) y ch z = cos(iz), para todo z C.

b) sen(z + iw) = sen z ch w + i cos z sh w , para todo z, w C.
c) cos(z + iw) = cos z ch w i sen z sh w , para todo z, w C.
d) Las funciones sen z y cos z no estan acotadas en C.
Demostracion:
a) i sen(iz) =

ez ez
2

= sh z ;

cos(iz) =

ez +ez
2

= ch z .

b)

sen(z + w) = sen z cos(iw) + cos z sen(iw) = sen z ch w i1 cos z sh w

= sen z ch w + i cos z sh w.

c)

cos(z + w) = cos z cos(iw) sen z sen(iw) = cos z ch w + 1i sen z sh w

= cos z ch w i sen z sh w.

d) No estan acotados pues, de b) y c) se tiene sen z = sen(x + iy) = sen x ch y + i cos x sh y y

cos z = cos(x + iy) = cos x ch y i sen x sh y , y las funciones sh y y ch y no estan acotadas
en IR.
Propiedades 10.33 Las funciones hiperbolicas verifican las siguientes propiedades:
a) ch2 z sh2 z = 1, para todo z C.
b) sh(z + w) = sh z ch w + ch z sh w , para todos z, w C.
c) ch(z + w) = ch z ch w + sh z sh w , para todos z, w C.
d) sh z = 0 si, y solo si, z = ki, con k ZZ.
e) ch z = 0 si, y solo si, z = (2k + 1) 2 i, con k ZZ.
f) sh z y ch z son funciones enteras y sh z = ch z y ch z = sh z , para todo z C.
g) Para todo z C, sh(z + 2ki) = sh z y ch(z + 2ki) = ch z , con k ZZ.
Demostracion:
a) ch2 z sh2 = cos2 (iz) (i sen(iz))2 = cos2 (iz) + sen2 (iz) = 1.
b)

sh(z + w) = i sen(iz + iw) = i sen(iz) cos(iw) i cos(iz) sen(iw)

= sh z ch w + ch z sh w.

c)

ch(z + w) = cos(iz + iw) = cos(iz) cos(iw) sen(iz) sen(iw)

= ch z ch w (i sh z)(i sh w) = ch z ch w + sh z sh w).

d) sh z = 0 ez = ez 2z = 2ki z = ki.
e) ch z = 0 ez = ez ez = ez+i 2z i = 2ki z = (2k + 1) 2 i.
f) (sh z) =

ez + ez
= ch z ;
2

(ch z) =

ez ez
= sh z .
2

g) sh(z + 2ki) = i sen(i(z + 2ki)) = i sen(iz 2k) = i sen(iz) = sh z.

ch(z + 2ki) = cos(i(z + 2ki)) = cos(iz 2k) = cos(iz) = ch z.
132

Teor
a de variable compleja.

10.3 Algunas funciones complejas

Definici
on 10.34 Las funciones tangente hiperbolica, th z , y cotangente hiperbolica, coth z ,
complejas se definen por

10.3.4

th z =

sh z
ch z

si z = (2k + 1) i, con k ZZ;

2

coth z =

ch z
sh z

si z = ki, con k ZZ.

Logaritmo complejo

Definici
on 10.35 Sea z un n
umero complejo no nulo. Se dice que un n
umero complejo w es
w
un logaritmo de z , y se escribe w = log z , cuando e = z .
Proposici
on 10.36 Sea z un n
umero complejo no nulo. El n
umero complejo
Log(z) = ln |z| + i Arg(z)
es un logaritmo de z , que se llama logaritmo principal de z . Cualquier otro logaritmo de z
verifica
log(z) = Log(z) + 2ki, con k ZZ.
Demostracion:
Como
eLog z = eln |z| ei Arg(z) = |z|ei Arg(z) = z , Log z es una solucion de la ecuacion
w
e = z y, si w es otra solucion, se tiene ew = eLog z y, por tanto,
w Log z = 2ki, con k ZZ.

Proposici
on 10.37 Sea A0 = {z C : z = x + 0i, x 0}. La funcion Log z es analtica en
1
C A0 y (Log(z)) = para cada z C A0 .
z
Demostracion:
La parte real de Log z es la funcion
u(x, y) = ln |z| = ln

x2 + y 2 =

1
ln(x2 + y 2 )
2

de clase 1 en IR2 {(0, 0)} y, para cada z = (x, y) C A0 , se tiene que

D1 u(x, y) =

x2

x
;
+ y2

D2 u(x, y) =

x2

y
.
+ y2

Para cada z = (x, y) C A0 , la parte imaginaria de Log z es la funcion

v(x, y) = Arg(z) = 2 arctg

y
= 2 arctg
x + |z|
x+

y
x2 + y 2

de clase 1 en IR2 A0 (en A0 no es continua) y se tiene que

x
x2 +y 2
x2 +y 2 )2

y 1+

D1 v(x, y) = 2

(x+

1+

x+

y
2

=2

(x +

x2 +y 2 +x

x2 +y 2

x2 + y 2 )2 + y 2

y(

=2

2
2
x +y +x)
x2 +y 2

2 x2 + y 2 (x +

x2 + y 2 )

x2 +y 2

y
y( x2 + y 2 + x)
=
= D2 u(x, y)
2
x + y2
(x2 + y 2 )(x + x2 + y 2 )

Teor
a de variable compleja.

133

10 Funciones de variable compleja

D2 v(x, y) = 2

y
x2 +y 2
x2 +y 2 )2

x2 +y 2 y

x+

(x+

1+

x+

x2 +y 2 (x+

=2

x2 +y 2

(x +

2
2
2
x +y +x

x2 +y 2 )y 2

x2 + y 2 )2 + y 2

=2

x2 +y 2

2 x2 + y 2 (x +

x2 + y 2 )

x2 +y 2

x( x2 + y 2 + x)
x
=
= D1 u(x, y).
2
x + y2
(x2 + y 2 )(x + x2 + y 2 )

Por consiguiente, en todo punto del abierto C A0 , se verifican las condiciones [C-R] y las
partes real e imaginaria de Log z tienen derivadas parciales continuas, luego Log z es analtica
en C A0 y
(Log z) = D1 u(x, y) + iD1 v(x, y) =

1
x iy
z
z
= 2 =
= .
2
2
x +y
|z|
zz
z

Observaci
on 10.38 Las propiedades del logaritmo real no se verifican, en general, para el
Log(z). Por ejemplo, 3 Log i = 3( 2 i) = Log(i3 ) = Log(i) = 2 i.
Definici
on 10.39 Dados dos n
umeros complejos z y w , con z = 0, se designa por z w
cualquiera de los n
umeros complejos
ew log z = ew(Log z+2ki) = ew(ln |z|+i Arg(z)+2ki)
y al n
umero complejo
ew Log z = ew(ln |z|+i Arg(z))
se le llama valor principal de z w .

10.4

Series de potencias complejas

10.4.1

Sucesiones y series de n
umeros complejos

Definici
on 10.40 Se dice que una sucesion {zn }
umeros complejos tiene por lmite
n=1 de n
z0 , y se escribe lim zn = z0 cuando para cada > 0 existe un n0 IN tal que |zn z0 | < ,
n
para todo n n0 .
El calculo de lmites de sucesiones complejas se reduce al de sucesiones reales gracias al
siguiente resultado:
Proposici
on 10.41 Si zn = xn + iyn y z0 = x0 + iy0 , entonces
lim zn = z0 lim xn = x0

lim yn = y0 .

Es decir, lim zn = lim xn + i lim yn .

n

Demostracion:
Cierto por serlo para funciones, ya que una sucesion es una funcion de IN C.
Definici
on 10.42 Se dice que una serie de n
umeros complejos

n=1

sucesion de sumas parciales {wn }

n=1 , definida por

zn es convergente cuando la

wn = z1 + z2 + + zn =

zk
k=1

134

Teor
a de variable compleja.

10.4 Series de potencias complejas

converge. En este caso, si lim wn = w C, se escribe

n

de la serie

n=1

n=1

zn = w , y se dice que w es la suma

zn .

Proposici
on 10.43 Sea {zn }
n=1 , con zn = xn + iyn . Entonces, la serie

solo si, las dos series reales

n=1

xn y

n=1

n=1

zn converge si, y

yn convergen. En este caso,

zn =
n=1

xn + i
n=1

yn .
n=1

Demostracion:
Basta tener en cuenta que
n

lim wn = lim

zk = lim

k=1

xk + i
k=1

yk = lim

k=1

yk .
k=1

zn es absolutamente con-

|zn | es convergente.

|zn | converge las series

n=1

n=1

n=1

Proposici
on 10.45

k=1

Definici
on 10.44 Se dice que una serie de n
umeros complejos
vergente cuando la serie

xk + i lim

n=1

|xn | y

n=1

|yn | convergen.

Demostracion:
Usando que |xn | |zn | e |yn | |zn | se tiene una implicacion, y usando que |zn | |xn | + |yn |
se tiene la otra.
Proposici
on 10.46 Si

n=1

Demostracion:

|zn | converge =

n=1

serie

n=1

10.4.2

|zn | es convergente, entonces la serie

n=1

|xn | y

n=1

|yn | convergen =

n=1

n=1

zn es convergente.

xn y

n=1

yn convergen = la

zn es convergente.

Series de potencias

Definici
on 10.47 Una serie de la forma

n=0

an (z z0 )n donde z0 y los an son n

umeros com-

plejos, se llama serie de potencias centrada en z0 .

Para simplificar la escritura, consideramos series de potencias centradas en 0, es decir, series
de la forma

n=0

an z n .

Como en el caso real se demuestran las siguientes proposiciones:

Lema de Abel. 10.48 Si una serie de potencias

n=0

an z n converge para un z1 = 0, entonces

la serie converge absolutamente para todo z C con |z| < |z1 |.

Si una serie de potencias

n=0

an z n no converge para un z2 = 0, entonces la serie no converge

y diverge en modulo para todo z C con |z| > |z2 |.

Teor
a de variable compleja.

135

10 Funciones de variable compleja

Demostracion:
Es identica a la demostracion del Lema de Abel para series reales (ver 8.13).
Al verificarse el lema de Abel, el comportamiento de las series de potencias complejas en
modulo es identico al de las series de potencias reales, por lo que podemos asegurar la existencia
del radio de convergencia y de propiedades analogas a las que cumplen las series de potencias
reales:
Definici
on 10.49 Al valor = sup |z| :

n=0

vergencia de la serie.

an z n converge

lo llamaremos radio de con-

an z n converge u
nicamente en {0}, diremos que el radio de convergencia es cero, = 0,
n=0

an z n converge en todo C, diremos que tiene radio de convergencia infinito y escribiremos

n=0

Si
y si

= +.
Si > 0, al entorno E(0, ) lo llamaremos crculo de convergencia de la serie.
Proposici
on 10.50 Si lim

|an+1 |
=
n |an |

|an | = L o lim

de la serie de potencias

n=0

an

Proposici
on 10.51 La serie
en el crculo de convergencia.

+, si L = 0

zn

viene dado por =

n=0

1
L,

si L (0, )
0, si L = .

an z n converge uniformemente en cualquier cerrado contenido

Proposici
on 10.52 Si f (z) =

L, entonces el radio de convergencia

n=0

an z n en E(0, ), entonces f es continua en E(0, ).

Proposici
on 10.53 Si > 0 es el radio de convergencia de la serie de potencias
entonces la serie

n=1

nan z n1 converge absolutamente en E(0, ), la funcion f (z) =

es derivable en E(0, ) y f (z) =

n=1

Corolario 10.54 Si f (z) =

n=0

n=0

an z n ,

n=0

an z n

nan z n1 , para todo z E(0, ).

an (z z0 )n en E(z0 , ), entonces

a) f es analitica en E(z0 , ).
b) f es infinitamente derivable en E(z0 , ).
c) an =

10.5

f n) (z0 )
,
n!

para n = 0, 1, 2, . . ..

Ejercicios

10.1 Sea f una funcion analtica en una region A (conjunto abierto y conexo). Probar que:
a) Si f (z) = 0 en A, entonces f es constante en A.
b) Si la parte real o la parte imaginaria de f es constante en A, entonces f es constante
en A.
136

Teor
a de variable compleja.

10.5 Ejercicios

c) Si |f (z)| es constante en A, entonces f es constante en A.

10.2 Expresa en forma binomica los valores de ei , sen i, sh( 2 i) y ch(i).
10.3 Probar, que para todo x IR se verifican las igualdades siguientes:
cos x +

n
n
n
cos 2x +
cos 3x + +
cos(n + 1)x = 2n cosn
1
2
n

x
2

cos n+2
2 x.

sen x +

n
n
n
sen 2x +
sen 3x + +
sen(n + 1)x = 2n cosn
1
2
n

x
2

sen n+2
2 x.

10.4 Probar, que para todo x (0, 2) se verifica que

1 + cos + cos 2 + cos 3 + + cos n =

sen (n + 1) 2 cos(n 2 )
sen 2

10.5 Determinar las partes real e imaginaria de la funcion f (z) = tg(z).

10.6 Determinar las partes real e imaginaria de las funciones sh(z), ch(z) y th(z).
10.7 Determinar una funcion f = u + iv analtica en C, sabiendo que f (0) = 0 y que su parte
real es la funcion u(x, y) = x + 2 sen x ch y .
10.8 Estudiar la derivabilidad y la analiticidad de las funciones:
a) f (z) = ez .
b) f (z) = cos(|z|2 ).
c) f (z) = sh(z + z1 ).
d) f (z) = Log(ez + 1).
10.9 Resolver la ecuacion 4 cos z + 5 = 0.
1

10.10 Probar que de la formula z n = e n (Log z+2ki) , se obtienen las n raices n-esimas de z , al
tomar k = 0, 1, . . . , n 1.
10.11 Hallar los radios de convergencia de las siguientes series de potencias:
a)

in (z + i)n ;

n=0

Teor
a de variable compleja.

b)

n=0

z
1i

c)

n=1

z
Log(in)

d)

n=1

(z2i)n
.
2n

137