Funciones de Variable Compleja

Sea (x, y) = (0, 0) y

z = x + iy.
La forma trigonomtrica de z est dada por:
z = r(cos + i sin)
donde r =| z |= 0, y = arg(z) es el argumento de z. Cuando (, ], se llama argumento
principal de z y se denota por Arg(z).
No definiremos ningun argumento para el nmero complejo 0 = 0 + 0i.
Theorem de Moivre Sea
z = r(cos + i sin)
cualquier nmero complejo dado en forma trigonomtrica y sea n cualquier
entero positivo, entonces
z
n
= r
n
(cos n + i sinn).
Del teorema de Moivre se deducen las siguientes propiedades:
Si z
1
= r
1
(cos
1
+ i sin
2
), z
2
= r
2
(cos
2
+ i sin
2
) son cualesquiera dos nmeros complejos distintos
de cero, entonces
z
1
z
2
= r
1
r
2
(cos(
1
+
2
) + i sin(
1
+
2
))
z
1
z
2
=
r
1
r
2
(cos(
1

2
) + i sin(
1

2
))
En particular:
1
z
1
=
1
r
1
(cos
1
i sin
1
).
Conjuntos de nmeros complejos
Definition Sea a un nmero complejo cualquiera y r un nmero real positivo, las
desigualdades:
| z a |< r, | z a |_ r, | z a |= r,
denotarn, respectivamente el disco abierto de radio r con centro en z = a, el
disco cerrado de radio r con centro en z = a y la circunferencia de radio r y
centro en z = a.
Claim Si z = z
1
+ iz
2
y a = a
1
+ ia
2
,
|z a| < r
|(z
1
a
1
) + i((z
2
a
2
))| < r
(z
1
a
1
)
2
+ (z
2
a
2
)
2
< r
2
el cual, es el conjunto de puntos (z
1
, z
2
) del plano cuya distancia a (a
1
, a
2
) es
menor que r.
Definition Sea S un conjunto de nmeros complejos. Se dice que S es abierto si cada
punto de S puede ser centro de un disco abierto de radio positivo; en trminos
ms formales, S es abierto si
z
0
S, J r(z
0
) > 0 : z, que cumpla |z z
0
| < r(z
0
), pertenece a S.
Definition Un conjunto S de nmeros complejos es conexo si cada par de puntos de S
se pueden unir por una trayectoria poligonal completamente contenida en S. Y
se dice que S es una regin o dominio si S es abierto y conexo.
Definition Una regin o dominio S es simplemente conexo cuando toda curva cerrada
en S contiene en su interior solamente puntos de S.
Example Describir el conjunto: |z 1| < |z|.
Solucin:
|z 1| < |z|
|z 1|
2
< |z|
2
(z 1)(z 1) < z z
(z 1)( z 1) < z z
z z z z + 1 < z z
1 < z + z
1 < 2Re(z)
< Re(z).
As, el conjunto es un dominio.
Funciones y transformaciones
Definition Sea D un dominio. Si asignamos a cada punto z D un nmero complejo
nico w = f(z) decimos que la ecuacin w = f(z) define una funcin de valores
complejos en D. Llamamos a D el dominio de la funcin. Para cada z en D,
denotamos por w = f(z) la imagen de z. El conjunto de todas las imgenes
w : w = f(z), z D
se llama conjunto imagen de la funcin.
No se cae en ninguna ambiguedad al usar f(z), la ecuacin w = f(z) o an f para denotar la funcin
definida en D.
Si el conjunto imagen lo denotamos por E llamaremos tambin a f(z) una transformacin del dominio D
en el conjunto E.
Example Definimos las transformaciones ms simples donde D = E = :
f(z) = z + b, b C fijo
que traslada el plano complejo a una distancia de |b| unidades en la direccin
del argumento de b y la funcin
f(z) = az, a C fijo, a = 0.
que rota el nmero complejo z por un ngulo igual a arga y lo expande o
contrae por un factor |a| (recordemos la interpretacin geomtrica de la
multiplicacin).
Notation si w = f(z) es una transformacin de D en E donde z = x + iy, w = u + iv
siendo reales x, y, u, v podemos escribir
f(x + iy) = u(x, y) + iv(x, y)
y pensar en la transformacin en trminos de un par de funciones de valores
reales u(y, y) y v(x, y) definidas de D . R
2
a R
u(x, y) = Ref(z) , v(x, y) = Imf(z).
Definition una funcin f(z) definida en el dominio D tiene lmite en z
0
, en D si existe
un nmero complejo L con la propiedad siguiente:
c > 0, J(c, z
0
) > 0, tal que |f(z) L|< , siempre que z D, y 0 < |z z
0
|< (c, z
0
),
llamamos a L el lmite de f(z) en z
0
, y escribimos:
zz
0
lim f(z) = L.
Claim f(z) puede puede no estar definida en z
0
.
Theorem Si D es un dominio, z
0
= x
0
+ iy
0
, f(z) es una funcin definida en D,
L = A + iB es un nmero complejo dado, entonces
zz
0
lim f(z) = L
(x,y)(x
0
,y
0
)
lim u(x, y) = A y
(x,y)(x
0
,y
0
)
lim v(x, y) = B
Definition Sea f(z) una funcion definida en un dominio D, f(z) es continua en z
0
si se
satisfacen las condiciones siguientes:
1. f(z) est definida en z
0
2.
zz
0
lim f(z) existe, y
3.
zz
0
lim f(z) = f(z
0
).
Definition Se dice que f(z)es continua en D si la funcin es contina en cada punto de
D.
Theorem Si f(z) es una funcin definida en un dominio D y z
0
= x
0
+ iy
0
D,
entonces f(z) es continua en z
0
tanto u(x, y) como v(x, y) son continuas en
(x
0,
y
0
).
Example Sea f(z) =
z Rez
|z|
. Puede ser definido f(0) de manera que f(z) sea continua
ah?
Solucion:
f(z) =
z Rez
|z|
=
(x + iy)x
x
2
+ y
2
=
x
2
x
2
+ y
2
+ i
xy
x
2
+ y
2
as
u(x, y) =
x
2
x
2
+ y
2
, v(x, y) =
xy
x
2
+ y
2
Intuimos que
(x,y)(0,0)
lim u(x, y) = 0,
(x,y)(0,0)
lim v(x, y) = 0
En efecto, sea > 0. Por demostrar J > 0 tal que
0 <] (x, y) (0, 0) ] <
x
2
x
2
+ y
2
<
donde ] (x, y) ]= x
2
+ y
2
pero x
2
_ x
2
+ y
2
as
x
2
x
2
+ y
2
_
x
2
+ y
2
x
2
+ y
2
= x
2
+ y
2
.
Sea = entonces
0 < x
2
+ y
2
<
x
2
x
2
+ y
2
_ x
2
+ y
2
< =
Asimismo, sea > 0. P.D. J
'
> 0 tal que
0 <] (x, y) (0, 0) ]<
'

xy
x
2
+ y
2
<
pero
xy
x
2
+ y
2
=
|x||y|
x
2
+ y
2
_
x
2
+ y
2
x
2
+ y
2
x
2
+ y
2
= x
2
+ y
2
Sea = , entonces
0 < x
2
+ y
2
< |
xy
x
2
+ y
2
|_ x
2
+ y
2
< =
as
z0
lim f(z) = 0 + i0 = 0
Como f(z) tiene lmite en z = 0, podemos definir
f : C C : f(z) =
z Rez
|z|
, si z = 0
0, si z = 0
y entonces f es continua en z = 0.
Example Sea f(z) =
|z|
2
z
. Decdase en que puntos de C, f(z) no es continua, no tiene
lmite o tiene lmite pero no es continua.
Solucin: Evidentemente f(z) no est definida en z = 0, por lo tanto no es continua en z = 0. Veamos si
tiene lmite en z = 0:
f(z) =
|z|
2
z
=
z z
z
= z .
As
f(z) = z , si z = 0
pero
z0
lim f(z) =
z0
lim z = 0.
Entonces f(z) tiene lmite en z = 0.
Example Sea f(z) =
|z|
z
. Esta funcin no es continua en z = 0. Tiene lmite en
z = 0?
Solucin: Veamos
f(z) =
|z|
z
=
|z| z
z z
=
|z| z
|z|
2
=
z
|z|
=
x iy
x
2
+ y
2
As
u(x, y) =
x
x
2
+ y
2
, v(x, y) =
y
x
2
+ y
2
Analicemos el lmite de u(x, y) cuando nos aproximamos al origen por los ejes coordenados positivos.
(x,0)(0,0)
lim u(x, y) =
(x,0)(0,0)
lim
x
x
2
+ y
2
=
x0
+
lim
x
2
x
2
= 1
(0,y)(0,0)
lim u(x, y) =
(0,y)(0,0)
lim
x
x
2
+ y
2
=
y0
+
lim 0 = 0
Como los lmites son diferentes, no existe el lmite.
Derivadas y analiticidad
Definition Sea f(z) una funcin definida en un dominio D, siendo z
0
, un punto en D.
Definimos la derivada de f(z) en z
0
, como el lmite:
h0
lim
f(z
0
+ h) f(z
0
)
h
(Aqui h es un nmero complejo). Si existe el lmite decimos que f(z) es
diferenciable en z
0
y escribimos dicho lmite como f'(z
0
) o
df
dz
z=z
0
.
Decimos que f(z) es diferenciable en D si es diferenciable en cada punto de D.
Al lmite le llamamos derivada de f(z) en z
0
.
Example Sea f(z) = z
2
. Sea z
0
, un nmero complejo cualquiera y h un nmero
complejo h = 0
f'(z
0
) =
h0
lim
f(z
0
+ h) f(z
0
)
h
=
h0
lim
(z
0
+ h)
2
z
0
2
h
=
=
h0
lim
z
0
2
+ 2z
0
h + h
2
z
0
2
h
=
h0
lim 2z
0
+ h = 2z
0
Example Sea
f(z) =
|z|
2
z
4
, z = 0
0, si, z = 0
entonces f es continua en z = 0. Afirmamos que :
z0
lim f(z) = f(0) = 0.
En efecto, sea c > 0, P.D. J > 0 tal que
|z 0|< |f(z) f(z
0
)|< c
o sea
|z|<
|z|
5
z
5
< c
pero
|z|
5
z
5
= |z|< c
haciendo = c, se tiene:
|z|<
|z|
5
z
5
= |z|< = c
Sin embargo, f(z) no es diferenciable en z = 0. En efecto,
h0
lim
f(0 + h) f(0)
h
=
h0
lim
|h|
5
h
4
0
h
=
h0
lim
|h|
5
h
5
Si h es real positivo
h0
lim
|h|
5
h
5
= 1
Si h es real negativo
h0
lim
|h|
5
h
5
= 1
por lo tanto f(z) no es diferenciable en z
0
= 0.
Example Obtener la derivada de la funcin
f(z) =
z
1 + z
.
Solucin:
f'(z) =
h0
lim
f(z + h) f(z)
h
=
h0
lim
z+h
1+z+h

z
1+z
h
=
h0
lim
(z+h)(1+z)z(1+z+h)
(1+z+h)(1+z)
h
=
=
h0
lim
z + z
2
+ h + hz z z
2
zh
h(1 + z + h)(1 + z)
=
h0
lim
1
h(1 + z + h)(1 + z)
=
h0
lim
1
(1 + z)
2
Theorem Si f(z) y g(z) estn definidas en un dominio D y son diferenciables en
z
0
D entonces:
1. Tanto f(z)como g(z) son continuas en z
0
.
2. Si para cualquiera complejos y F(z) = f(z) + g(z) entonces F(z) es diferenciable en z
0
y
F'(z
0
) = f'(z) + g'(z)
3. Si G(z) = f(z)g(z) entonces G(z) es diferenciable en z
0
y
G'(z
0
) = f'(z
0
)g(z
0
) + f(z
0
)g'(z
0
)
4. Si H(z) =
f(z)
g(z)
y g(z
0
) = 0, entonces H(z) es diferenciable en z
0
y
H'(z
0
) =
f'(z
0
)g(z
0
) f(z
0
)g'(z
0
)
(g(z
0
))
2
5. Si f(z) = c para algn complejo c, entonces f(z) es diferenciable en z
0
y f'(z
0
) = 0.
Theorem Si g(z) es una funcin analtica en un dominio D con imagen E y f(w) es
analtica en un dominio que contiene a E entonces la funcin composicin
F(z) = f((g(z))
es analitica en D y para cada z
0
D
F'(z
0
) = f'(g(z
0
))g'(z
0
).
Theorem Regla de L Hpital
Si g(z
0
) = 0 y h(z
0
) = 0, y si g(z) y h(z) son diferenciables en z
0
con
h'(z
0
) = 0, entonces
zz
0
lim
g(z)
h(z)
=
0
0
=
zz
0
lim
g'(z)
h'(z)
.
Desde el punto de vista de formal, esta regla es idntica a la que se emplea en el clculo elemental para
evaluar formas indeterminadas con funciones de variable real.
Example Determine
z2i
lim
z 2i
z
4
16
Solucin: Aplicando la regla de LHpital
z2i
lim
z 2i
z
4
16
=
0
0
=
z2i
lim
1
4z
3
=
1
4(2i)
3
=
1
32i
.
Claim Si g(z
0
) = 0 = h(z
0
) y h'(z
0
) = 0, mientras que g'(z
0
) = 0, no puede
aplicarse la regla de LHpital. De hecho, es posible mostrar que
zz
0
lim
g(z)
h(z)
no
existe y que le mdulo de este cociente crece sin lmite cuando z z
0.
Example De una funcin que es continua en todo el plano complejo pero slo es
diferenciable en el origen. Sea
f(z) = |z|
2
es decir f(x + iy) = x
2
+ y
2
.
Solucin: Evidentemente es continua en todo punto de C.
Si z = 0 :
f'(0) =
h0
lim
f(0 + h) f(0)
h
=
h0
lim
|h|
h
2
=
h0
lim
hh
h
=
h0
lim h = 0
Si z = 0
f(z + h) f(z)
h
=
|z + h|
2
|z|
2
h
=
(z + h)(z + h) z z
h
=
=
(z + h)(z + h) z z
h
=
z h + h z + hh
h
=
z h
h
+ z + h
Si h es real
h0
lim
f(z + h) f(z)
h
= z + z
Si h = ir con r > 0
h0
lim
f(z + h) f(z)
h
= z z
pero si z = 0 entonces z + z = z z. Por lo tanto f(z) no es diferenciable en z = 0.
Definition Se dice que una funcin f(z) definida en un dominio D que contiene el
punto z
0
es analtica en z
0
si para algun nmero r > 0 tal que el disco abierto
: z : |z z
0
|< r) est contenido en D , la funcin f(z) es diferenciable en
cada punto de dicho disco.
En el ejemplo anterior f(z) es diferenciable en z = 0, pero no analtica en z = 0.
Example La funcin f(z) = f(x + iy) = 3x + 4iy no es diferenciable en ningn z C.
Solucin: En efecto,
h0
lim
f(z + h) f(z)
h
=
h0
lim
3h
1
+ 4ih
2
h
1
+ ih
2
=
Si h
2
= 0
h0
lim
f(z + h) f(z)
h
= 3
Si h
1
= 0
h0
lim
f(z + h) f(z)
h
= 4
Por lo tanto no existe el lmite. De hecho no es diferenciable en ningn punto.
Busquemos condiciones que garanticen la existencia de una derivada de f(z) en cada punto.
Theorem si f(z) es una funcin definida y continua en un dominio D que contiene al
punto z
0
= x
0
+ iy
0
y f(z) es diferenciable en z
0
, entonces:
1. Ref(z) = u(x, y) e Imf(z) = v(x, y) poseen derivadas parciales de primer orden (x
0
, y
0
).
2. Las derivadas parciales de u y v en (x
0
, y
0
) satisfacen las condiciones:
u
x
(x, y) = v
y
(x, y), u
y
(x, y) = v
x
(x, y) #
Proof
f'(z
0
) =
h0
lim
f(z
0
+ h) f(z
0
)
h
. i
Suponiendo que h es real y
f(z) = f(x + iy) = u(x, y) + iv(x, y)
ref: i queda
h0
lim
u(x
0
+ h, y
0
) u(x
0
, y
0
)
h
+ i
v(x
0
+ h, y
0
) v(x
0
, y
0
)
h
=
h0
lim
u(x
0
+ h, y
0
) u(x
0
, y
0
)
h
+
h0
lim i
v(x
0
+ h, y
0
) v(x
0
, y
0
)
h
= u
x
(x
0
, y
0
) + v
x
(x
0
, y
0
)
entonces cada lmite debe existir y f'(z
0
) = u
x
(x
0
, y
0
) + iv
x
(x
0
, y
0
).
Si tomamos a h = ir con r real, una argumentacin similar nos llevar a
f'(z
0
) = v
x
(x
0
, y
0
) + iu
y
(x
0
, y
0
).
Al igualar la parte real y la parte imaginaria en las expresiones obtenidas
para f'(z
0
) obtenemos las ecuaciones ref: CauchyRiemann.
Las ecuaciones ref: CauchyRiemann se conocen como ecuaciones de Cauchy- Riemann e indican las
condiciones necesarias para que f(z) tenga derivada en z
0
.
Example Sea
f(z) = z
2
.
Claramente, la funcin es diferenciable en todo el plano complejo.
Descomponiendo la funcin en su parte real e imaginaria tenemos
f(x + iy) = (x + iy)
2
= x
2
y
2
+ 2xyi
donde
u(x, y) = x
2
y
2
y v(x, y) = 2xy
las derivadas parciales son
u
x
(x, y) = 2x, u
y
(x, y) = 2y
v
x
(x, y) = 2y , v
y
(x, y) = 2x
claramente se satisfacen las ecuaciones de Cauchy-Riemann
ref: CauchyRiemann.
Example Ahora consideremos la funcin
f(z) = 3x + 4yi
Aunque intuimos que es una funcin diferenciable, no lo sabemos con
certeza, as que veamos si se cumplen las Ecuaciones de Cachy-Riemann
u
x
(x, y) = 3, u
y
(x, y) = 0
v
x
(x, y) = 0, v
y
(x, y) = 4
claramente u
x
(x, y) = v
y
(x, y) para ningn punto (x, y) C, por lo tanto f(z)
no es diferenciable en ningn punto de C.
Las condiciones de Cauchy-Riemann no son suficientes para determinar la existencia de la derivada en
z
0
, es decir, podemos encontrar una funcin f(z), definida en un dominio que contenga al punto z
0
, donde
Ref(z) e Imf(z) satisfagan las ecuaciones de cauchy-Riemann pero sin derivada en z
0
.
Example verifquese que f(z) = f(x + iy) = |xy|
1
2
,satisface las ecuaciones de
Cauchy-Riemann en z = 0 pero no posee derivada en z = 0.
Solucin:
Puede observarse que
u(x, y) = |xy|
1
2
, v(x, y) = 0
Por la definicin de derivada parcial
u
x
(0, 0) =
k0
lim
u(k + 0, 0) u(0, 0)
k
=
k0
lim
0 0
k
= 0
k R. Anlogamente, se puede ver que
u
y
(0, 0) = 0, v
x
(0, 0), v
y
(0, 0) = 0
y se satisfacen las ecuaciones de Cauchy-Riemann.
Sin embargo, si h = h
1
+ ih
2
f(0 + h) f(0)
h
=
|h
1
h
2
|
1
2
h
1
+ ih
2
,
si h
2
= 0
h0
lim
f(0 + h) f(0)
h
= 0
si h
1
= 0
h0
lim
f(0 + h) f(0)
h
= 0
si h
1
= h
2
h0
lim
f(0 + h) f(0)
h
=
h
1
0
lim
|h
1
h
2
|
1
2
h
1
+ ih
2
=
h
1
0
lim
|h
1
2
|
1
2
h
1
+ ih
1
=
h
1
0
lim
|h
1
|
h
1
+ ih
1
=
=
h
1
0
lim
|h
1
|
h
1
(1 + 1i)
=
1
1 + 1i
h
1
0
lim
|h
1
|
h
1
,
pero
lim
|h
1
|
h
1
=
1, si, h
1
> 0
1, si, h
1
< 0
por lo tanto, f(z) no es diferenciable en z = 0.
El siguiente teorema ofrece condiciones suficientes para que f(z) tenga derivada en cualquier punto
z
0
C.
Theorem Sea f(z) una funcin definida en el dominio D que contiene el punto
z
0
= x
0
+ iy
0
. Si u(x, y) = Ref(z) y v(x, y) = Imf(z) tienen primeras
derivadas parciales continuas en una vecindad |z z
0
|< r de z
0
en D y
satisfacen las condiciones de Cauchy-Riemann en (x
0,
y
0
), entonces f(z) es
diferenciable en z
0
y
f'(z
0
) = u
x
(x
0,
y
0
) + iv
x
(x
0,
y
0
).
Example Sea f(z) = |z|
2
= x
2
+ y
2
u
x
= 2x, u
y
= 2y
v
x
= 0, v
y
= 0,
entonces
u
x
(0, 0) = v
y
(0, 0),
u
y
(0, 0) = v
x
(0, 0)
y las parciales son continuas en una vecindad del punto (0, 0), por lo tanto f(z)
tiene derivada en z
0
, pero slo ah.
Example Sea f(z) = e
x
cos y + ie
x
siny, z C. Se cumplen las hiptesis del teorema
anterior
f'(z
0
) = u
x
(x
0
, y
o
) + iv
x
(x
0
, y
0
) = f(z
0
)
y cuando z = x + 0i, f(z) = f(x) = e
x
. Esto y el hecho de que f'(z
0
) = f(z
0
)
influir en la definicin de la funcin e
z
.
Theorem Si f(z) es analitica en un dominio D, entonces u(x, y) = Ref(z) y
v(x, y) = Imf(z) tienen primeras derivadas parciales continuas que satisfacen
las ecuaciones de Cauchy-Riemann en cada punto de D.
Theorem Si f(z) est definida en un dominio D, u(x, y) = Ref(z) y v(x, y) = Imf(z)
tienen primeras derivadas parciales continuas en todo punto de D y se
satisfacen las ecuaciones de Cauchy-Riemann
u
x
(x, y) = v
y
(x, y) / u
y
(x, y) = v
x
(x, y),
en cada punto de D, entonces f(z)es analitica en D.
Example Sea f(z) = z , es decir f(x + iy) = x iy. Veamos si se cumplen las
ecuaciones de Cauchy-Riemann:
u
x
= 1, u
y
= 0,
v
x
= 0, v
y
= 1
entonces
u
x
= v
y
por lo tanto f(z) no es diferenciable en ningn punto.
Exercise Encuentre la forma de las ecuaciones de Cauchy-Riemann cuando la
variable independiente z est expresada en forma trigonomtrica
z = r(cos + i sin).
Solucin: Sea f(z) = w donde w = u(r, ) + iv(r, ). Sabemos del clculo en varias variables que
cu
cx
=
cu
cr
cr
cx
+
cu
c
c
cx
,
cu
cy
=
cu
cr
cr
cy
+
cu
c
c
cy
,
cv
cx
=
cv
cr
cr
cx
+
cv
c
c
cx
,
cv
cy
=
cv
cr
cr
cy
+
cv
c
c
cy
como r = x
2
+ y
2
, y = tan
1
(
y
x
)
cr
cx
=
1
2
(x
2
+ y
2
)

2x =
x
x
2
+ y
2
=
x
r
= cos ,
cr
cy
=
y
r
= sin,
c
cx
=
1
1 + (
y
x
)
2
.
y
x
2
=
y
x
2
=
y
x
2
+ y
2
=
y
r
2
=
1
r
y
r
=
1
r
sin,
c
cy
=
1
1 + (
y
x
)
2
.
1
x
=
x
x
2
+ y
2
=
x
r
2
=
1
r
x
r
=
1
r
cos
Utilizando las ecuaciones de cauchy-Riemann
0 =
cu
cx

cv
cy
= (u
r

1
r
v

) cos (
1
r
u

+ v
r
) sin,
0 =
cu
cy
+
cv
cx
= (
1
r
u

+ v
r
) cos + (u
r

1
r
v

) sin
estas ecuaciones se deben cumplir para todo (en particular ). Si
l = u
r

1
r
v

,
m =
1
r
u

+ v
r
tenemos el sistema de dos ecuaciones homogeneo:
l cos msin = 0
l sin + mcos = 0
cuyo determinante principal es distinto de cero, por lo tanto el sistema tiene slo la solucin trivial, es decir,
l = m = 0, o bien
u
r
=
1
r
v

y v
r
=
1
r
u

las cuales son llamadas forma polar de las ecuaciones de Cauchy-Riemann.

Exercise Encuentre la forma polar de f'(z).
Solucin: Sabemos que
f'(z) = u
x
(x
0
, y
0
) + iv
x
(x
0
, y
0
)
sustituyendo
f'(z) = (u
r
cos
1
r
u

sin) + i(v
r
cos
1
r
v

sin).
Example Demuestre que f(z) = z
n
es diferenciable en en todo z C
Solucin:
f(r, ) = r
n
(cos n + i sinn)
entonces
u(r, ) = r
n
cos n, v(r, ) = r
n
sinn
Calculando las parciales
u
r
= nr
n1
cos n, u

= nr
n
sinn
v
r
= nr
n1
sinn , v

= nr
n
cos n.
Evidentemente, se cumplen las ecuaciones de Cauchy-Riemann en forma polar, por lo tanto f es
diferenciable en todo punto de C y
f'(z) = nr
n1
cos ncos
1
r
(nr
n
sin n) sin
+ inr
n
sin ncos
1
r
nr
n
cos nsin)
= nr
n1
(cos n(n 1) + i sin(n 1)) = nz
n1
Funciones Elementales
Se llaman operaciones elementales sobre las funciones f(z) y g(z) aquellas que dan uno de los resultados
siguientes:
f(z) g(z) , f(z)g(z) ,
f(z)
g(z)
, f(z)
a
, a
f(z)
donde aes una constante compleja.
Una funcin elemental es una funcin la inversa de una funcin generada a partir de constantes y la
variable independiente por medio de sucesin finita de de operaciones elementales.
En la siguiente tabla figuran algunas de las funciones ms importantes:
Polinomios
_
k=0
n
a
k
z
k
Funciones racionales:
_
k=0
n
a
k
z
k
_
k=0
m
b
k
z
k
La funcion exponencial:
e
z
Funciones trigonometricas:
sinz, cos z, tanz, cscz, secz, cot z
Funciones hiperblicas
sinhz, coshz, tanhz, sechz, cschz, cot hz
Funciones logartmicas
logz
Funciones trigonomtricas inversas:
sin
1
z, cos
1
z, tan
1
z, csc
1
z, sec
1
z, cot n
1
z
Funciones hiperblicas inversas:
sinh
1
z, cos h
1
z, tanh
1
z, csch
1
z, sech
1
z, cot h
1
z
La funcin potencial:
z
s
, s C
La funcin exponencial
Queremos definir una funcin f(z) tal que:
i) Si z R, f(z) = e
z
,
ii) f'(z) = f(z),
iii) f(z
1
+ z
2
) = f(z
1
)f(z
2
).
Si u R, sabemos del clculo real que
e
u
=
_
k=0

u
k
k!
por lo tanto
e
iy
=
_
k=0

(iy)
k
k!
=
_
k=0

(iy)
2k
(2k)!
+
_
k=0

(iy)
2k+1
(2k + 1)!
=
_
k=0

i
2k
y
2k
2k!
+
_
k=0

(i
2k
iy
2k+1
)
(2k + 1)!
como:
i
0
= 1, i
2
= 1, i
4
= 1, i
6
= 1, ., i
2k
= (1)
k
entonces
=
_
k=0

(1)
k
y
2k
2k!
+ i
_
k=0

(1)
k
y
2k+1
)
(2k + 1)!
= cos y + i siny
As deberiamos tener por la igualdad (iii) que
e
z
= e
x+iy
= e
x
e
iy
= e
x
(cos y + i siny)
Que es la funcin del ejemplo que tambin cumple (i) y (ii). As:
Definition La Funcin exponencial e
z
se define para todo z = x + iy como
e
z
= e
x
(cos y + i siny).
Propiedades:
Para p y q enteros , q = 0, (k = 0, 1, 2. . . , q 1),
a) e
iy
= cos y + i siny
b) e
z
= e
x
e
iy
c) e
z
=
1
e
z
d) e
z
= e
z
e) |e
z
| = e
Rez
f) (e
z
)
p
= e
pz
g) (e
z
)
1
q
= e
1
q
(z+i2k)
h) (e
z
)
p
q
= e
p
q
(z+i2k)
i) e
z
1
+z
2
= e
z
1
e
z
2
j)
de
z
dz
= e
z
k) e
z
es peridica, cualquier periodo de e
z
tiene la forma 2ni, n Z.
Pruebas:
a) iy = 0 + iy,
e
iy
= e
0+iy
= e
0
(cos y + i siny) = (cos y + i siny).
b) Como z = x + iy,
e
z
= e
x
(cos y + i siny) = e
x
e
iy
c) Como z = x iy,
e
z
= e
x
(cos(y) + i sin(y)) = e
x
(cos y i siny)
=
1
e
x
(cos y i siny)(cos y + i siny)
(cos y + i siny)
=
1
e
z
d) Como z = x iy,
e
z
= e
x
(cos(y) + i sin(y)) = e
x
(cos y i siny)
= e
x
cos y ie
x
siny = e
x
cos y + ie
x
siny
= e
x
(cos y + i siny) = e
z
e) Si z = x + iy, e
z
= e
x
(cos y + i siny) por lo tanto
|e
z
|
2
= e
z
e
z
= e
z
e
z
= e
x
(cos y + i siny)e
x
(cos y i siny).
= e
2x
(cos
2
y + sin
2
y) = e
2x
= (e
x
)
2
por lo tanto: |e
z
| = e
x
. Debe escogerse el signo positivo pues un valor absoluto nunca es negativo.
Entonces se tiene lo deseado |e
z
| = e
x
= e
Rez
f) como p es un entero, por el teorema de Moivre.
(e
z
)
p
= (e
x
(cos y + i siny))
p
= e
px
(cos py + i sinpy) = e
px+iyp
= e
pz
g)
(e
z
)
1
q
= (e
x
(cos y + i siny))
1
q
=
= e
x
q
(cos
y + 2k
q
+ i sin
y + 2k
q
), k = 0, 1. . . , q 1.
= e
x
q
+i
y+2k
q
= e
x+iy
q
+i
2k
q
= e
z+i2k
q
.
h) Ya que (e
z
)
p
q
= (e
pz
)
1
q
, tenemos:
(e
z
)
p
q
= (e
pz
)
1
q
= (e
p
q
)
z+2ki
, k = 0, 1. . . , q 1.
i) Si z
1
= x
1
+ iy
1
y z
2
= x
2
+ iy
2
entonces:
e
z
1
e
z
2
= e
x
1
(cos y
1
+ i siny
1
)e
x
2
(cos y
2
+ i siny
2
)
= e
x
1
e
x
2
(cos y
1
+ i siny
1
)(cos y
2
+ i siny
2
)
= e
x
1
+x
2
(cos(y
1
+ y
2
) + i siny
1
+ y
2
) = e
z
1
+z
2
j) Ya se vio en el ejemplo.
k) Una funcin es peridica si existe w C tal que f(z + w) = f(z), para todo z C.
Supongamos que
e
z+w
= e
z
, para todo z C,
en particular si z = 0 :
e
w
= 1
si w = s + ti,
|e
w
|= e
s
= 1
por lo tanto s = 0 y w = ti. As e
ti
= 1 o sea cos t + i sint = 1, igualando la parte real e imaginaria:
cos t = 1, sint = 0
as t = 2n para algn n Z. En conclusin w = 2ni.
Observacin:
si z = x + iy se expresa en forma polar como z = r(cos + i sin) , para r = 0, podemos escribir :
z = re
i
y en consecuencia:
z = re
i
Si z
1
= r
1
e
i
1
, z
2
= r
2
e
i
2
y r
2
= 0
z
2
z
1
= r
1
r
2
e
i(
1
+
2
)
y
z
1
z
2
=
r
1
e
i(
1

2
)
r
2
Grfica de la funcin exponencial
e
z
= e
x
e
iy
= e
i
e
x
= y = y
Funciones trigonomtricas e hiperblicas
para y R, resolvamos el par de ecuaciones siguientes :
e
iy
= cos y + i siny
e
iy
= cos y i siny.
para el coseno y seno de y :
cos y =
1
2
(e
iy
+ e
iy
), siny =
1
2i
(e
iy
e
iy
)
Por esto definimos
Definition Para cada nmero complejo z
sinz =
1
2i
(e
iz
e
iz
); cos z =
1
2
(e
iz
+ e
iz
).
Siempre que los denominadores sean distintos de cero, definimos tambin:
tanz =
sinz
cos z
cot z =
1
tanz
secz =
1
cos z
cscz =
1
sinz
siempre que los denominadores en cuestin sean diferentes de cero.
Lo importante de estas definiciones es que producen las funciones trigonomtricas de valores reales
cuando z es real y muestran cuan importante es saber exactamente en que puntos sinz = 0 y cos z = 0.
Por ejemplo, sinz = 0 cuando z = n n Z. Pero tal vez haya otros nmeros en C donde z = 0
(Veremos mas adelante que esto no sucede).
Adems, cuando las seis funciones estan definidas son analiticas y :
(sinz)' = cos z, (cos z)
'
= sinz (tanz)
'
= sec
2
z
(cot z)
'
= csc
2
z (secz)
'
= secz tanz (cscz)
'
= cscz cot z
Para el siguiente anlisis, recordemos que para z = x + iy,
e
iz
= e
i(x+iy)
= e
y+ix
,
e
iz
= e
i(x+iy)
= e
y
e
ix
Adems, recordar que en el clculo de una variable se definen las funciones hiperblicas seno y coseno como:
sinhy =
e
y
e
y
2
y coshy =
e
y
+ e
y
2
, para todo y R.
Veamos ahora como desarrollar la funcin sinz en trminos de x e y:
sin(x + iy) =
e
i(x+iy)
e
i(x+iy)
2i
=
e
y+ix
e
yix
2i
=
e
y
e
ix
e
y
e
ix
2i
=
=
e
y
(cos x + i sinx) e
y
(cos x i sinx)
2i
=
i(e
y
+ e
y
) sinx (e
y
e
y
) cos x
2i
=
(e
y
+ e
y
) sinx i(e
y
e
y
) cos x
2
=
(e
y
+ e
y
)
2
sinx +
i(e
y
e
y
)
2
cos x
= coshysinx + i sinhycos x
obteniendo la identidad
sin(x + iy) = sinxcoshy + i cos xsinhy.
Anlogamente se puede comprobar que:
cos(x + iy) = cos xcoshy i sinxsinhy
sin(iy) = i siny, cos(iy) = coshy, para y R
sin z = sinz, cos z = cos z.
Veamos ahora para que valores de z, sinz = 0 (recordar que sinz es una extensin de sinx)
Existen otros valores de z para los cuales sinz = 0?
sinz = 0 sin(x + iy) = 0 sinxcoshy + i cos xsinhy = 0

sinxcoshy = 0
cos xsinhy = 0
,
En la primera ecuacin, como coshy = 0, coshy =
e
y
+e
y
2
para todo y R, vemos que x = k para
algn k Z, pero de la segunda ecuacin,como cosk = 1, entonces para que la segunda ecuacin sea
vlida se debera hacer que
sinhy = 0 o sea
e
y
e
y
2
= 0
lo cual se cumplen s y slo si
e
y
= e
y
y = y y = 0
Sustituyendo: z = x + iy = k + i0 = k es decir sinz = 0 z = k para k Z.
La funcin sinz tiene slo ceros reales.
Anlogamente se puede demostrar que :
cos z = 0 z = k

2
, k Z, impar.
Claim Puesto que :
tanz =
sinz
cos z
cot z =
1
tanz
secz =
1
cos z
cscz =
1
sinz
son analticas excepto en donde el denominador se anula entonces tanz y secz son analticas excepto para
z = k

2
, k Z, impar y cotz y cscz son analticas excepto en z = k, k Z.
PROPIEDAD QUE NO SE CUMPLE EN C
|sinz| _ 1 y |cos z| _ 1
En efecto
|sinz|
2
= |sen(x + iy)|
2
= |sinxcoshy + i cos xsinhy|
2
= sin
2
xcosh
2
y + cos
2
xsinh
2
y
= sin
2
x(sinh
2
y + 1) + cos
2
xsinh
2
y = sin
2
x + (cos
2
x + sin
2x
) sinh
2
y = sin
2
x + sinh
2
y
pero
sinhy =
e
y
e
y
2
no esta acotada ni superior ni inferiormente pues:
y+
lim sinhy = +;
y
lim sinhy =
por lo tanto |sinz|, no esta acotada, anlogamente se puede ver que :
|cos z|
2
= cos
2
x + sinh
2
y
y por lo tanto |cos z| tampopco est acotada.
Funciones hiperblicas
Las funciones hiperblicas estn definidas en los puntos donde al denominador no es nulo y son las
siguientes:
sinhz =
e
z
e
z
2
coshz =
e
z
+e
z
2
tanhz =
sinhz
coshz
cothz =
1
tanhz
sechz =
1
coshz
cschz =
1
sinhz
como e
z
y e
z
son funciones analiticas en todo C sinhz y coshz son tambin funciones analticas en todo el
plano complejo.
Analicemos los ceros de sinhz y coshz. Esperamos que sinhz = 0, cuando z = 0, y que coshz = 0
carezca de solucines (pero estas ecuaciones pueden tener soluciones adicionales situadas fuera del eje real).
Para z = x + iy,
sinhz = sinh(x + iy) =
e
x+iy
e
xiy
2
=
e
x
(cos y + i siny) e
x
(cos y i siny)
2
=
(e
x
e
x
) cos y i(e
x
+ e
x
) siny
2
= cos ysinhx + i sinycoshx
i.e.
sinh(x + iy) = cos ysinhx + i sinycoshx
De la misma manera, se puede demostrar que
cosh(x + iy) = cos ycoshx i sinysinhx
Busquemos los ceros de la funcin sinhz :
sinhz = 0
sinhxcos y = 0
coshxsiny = 0
pero
sinhx =
e
x
e
x
2
, coshx =
e
x
+ e
x
2
como coshx = 0 siny = 0 y = k, k Z. Pero para y = k, cos y = 0, por lo tanto sinhx = 0 lo cual es
posible slo si x = 0. Sustituyendo z = x + iy = ki , k Z
Anlogamente
coshz = 0 e
z
= e
z
e
x
(cos y i siny) = e
x
(cos y i siny)

(e
x
+ e
x
) cos y = 0
(e
x
e
x
) siny = 0
de la primera ecuacin se deduce que y = k

2
, k Z impar, x = 0. Por lo tanto z = k

2
i, k Z impar.
De aqui se deducen las singularidades de tanhz, cothz, sechz, cschz.
Identidades de las funciones hiperblicas
sinh(iy) = i siny
cosh(iy) = cos y
|sinhz|
2
= sinh
2
z + sin
2
y
|coshz|
2
= sinh
2
z + cos
2
y
sinh(z
1
z
2
) = sinhz
1
coshz
2
sinhz
2
coshz
1
cosh(z
1
z
2
) = coshz
1
coshz
2
sinhz
2
sinhz
1
cosh
2
z sinh
2
z = 1
coth
2
z csch
2
z = 1
sinh(iz) = i sinz
cosh(iz) = cos z
sin(iz) = i sinhz
cos(iz) = coshz
Derivadas de las funciones hiperblicas
(sinhz)
'
= coshz
(coshz)
'
= sinhz
(tanhz)' = sech
2
z
(sechz)
'
= sechz tanhz
(cschz)
'
= cschz cothz
Funciones logartmicas
como e
z
nunca toma el valor de cero , la ecuacin w = e
z
no tendr solucin en z correspondiente a
w = 0.
si w es distinto con cero, escribimos :
w = |w|(cos(argw) + i sin(argw)) = |w|e
i argw
Aqu, argw puede tomar una infinidad de valores. Sea uno de los valores de argw, por lo tanto:
w = |w|e
i
si tomamos
z = ln|w|+i
Donde ln|w| denota al logaritmo natural del nmero positivo |w| entonces :
e
z
= e
ln|w|+i
= e
ln|w|
(cos + i sin) = |w|e
i
= w
As esta z es una solucin de la ecuacin w = e
z
. Para cada valor de argw obtenemos una solucin.
Definition Para cada nmero complejo z, z = 0, Llamaremos un logaritmo de z a
cualquier nmero w = ln|z|+i argz, donde ln|z| es el logaritmo natural de |z| y
argz es cualquiera de los valores del argumento de z.
Ntese que no hemos definido an una funcin logaritmica .
En el caso particular en que z es un nmero real positivo argz = 2k, k Z y
w = ln|z|+i2k.
De todos estos valores, el nico que coincide con el logaritmo natural real corresponde a la opcin
argz = 0.
Y para cualquier z C, z = 0 existe un valor del argz con la propiedad de que
< argz < .
Designamos a este valor como el argumento principal de z.
Definition Para cada nmero complejo z, z = 0 definimos el valor principal del
logaritmo de z como:
Log z = ln|z|+iArg z
donde
Arg z (, ].
Definition La funcin w = Log z, definida para todo z C, z = 0, se llama funcin
logaritmica principal.
Remark Para cada k Z, podramos definir otra funcin logaritmica
correspondiente a la eleccin (2k 1) < argz < (2k + 1). Por lo comn, se
llama a la coleccin de tales funciones, semejantes a la logaritmica (y hay
una infinidad de ellas ) "Funcin Logartmica" refirindose a cada funcin de
la coleccin como una Rama de la funcin logartmica.
Definition La funcin logartmica est dada por la siguiente coleccin infinita de
ramas:
log |z|= ln |z|+i argz , z = 0
donde
(2k 1) < argz < (2k + 1), k = 0, 1, 2, .
Remark La proposicin z _ 0 significar que z es real y no positivo; z < 0 que z es
real y negativo; de la misma manera ,definimos z _ 0 y z > 0. (Recuerde que
en el campo de los nmeros complejos, no existe un orden).
Theorem Cada rama, logz , de la funcin logartmica posee las siguientes
propiedades:
1. logz es discontinua en z _ 0,
2. logz es analitica en todo z, con excepcin de z _ 0 y
(log z)' =
1
z
.
3. Para todo z, z = 0 una rama cualquiera de la funcin logartmica difiere de cualquier otra en un
multiplo entero de 2i.
Proof Sea k z, fijo y tomemos la rama de la funcin logartmica
correspondiente a
(2k 1) < argz < (2k + 1).
1) Sea z
0
< 0. Cuando z z
0
desde el semiplano inferior argz argz
0
2.
Cuando z z
0
desde el semiplano superior arg z arg z
0
. Por lo tanto logz
es discontinua en z
0
.
zz
0
lim logz =
zz
0
lim ln |z|+i
zz
0
lim argz = ln |z
0
|+i
argz
0
2
argz
0
.
2) Como logz no es continua en z _ 0 no es diferenciable.
Sea z un punto situado fuera del eje real negativo y distinto de cero.
z = re
i
, r > 0, 0 (2k 1) < argz < (2k + 1),
entonces logz = lnr + i. Utilizando las ecuaciones de Cauchy-Riemann en
forma polar con
u(r, ) = lnr, v(r, ) =
vemos que
u
r
=
1
r
, u

= 0,
v
r
= 0, v

= 1.
las cules son continuas con y adems
u
r
=
1
r
v

, v
r
=
1
r
u

,
por lo tanto
(logz)' = (u
r
cos
1
r
u

sin) + i(v
r
cos
1
r
v

sin)
=
1
r
cos i(
1
r
v

sin) =
1
r
(cos i sin)
=
1
r(cos i sin)
=
1
z
.
Definition Sean A y B dos nmeros complejos. Escribimos
A = B(mdulo 2i)
cuando A B es un mltiplo entero de 2i.
Propiedades de las funciones logartmicas
I) log (z
1
z
2
) = logz
1
+ logz
2
(mdulo 2i)
II) log(
z
1
z
2
) = logz
1
logz
2
(mdulo 2i)
Example Si
z
1
= e
i

2
y z
2
= e
i
3
4
entonces
Log z
1
= i

2
y Log z
2
= i
3
4
pero
z
1
z
2
= e
i(

2
+
3
4
)
= e
i
5
4
= e
i225
= e
i
3
4
y
Log (z
1
z
2
) = log e
i
3
4
=
3
4
i
As
log(z
1
z
2
) = logz
1
+ logz
2
2i.
Funcin potencial generalizada
Definition La funcin z
n
, donde n es un nmero entero se llama funcin de potencia
entera. La funcin z
a
donde z y a son nmeros complejos se llama la funcin
potencial generalizada. sta se define como:
z
a
= a
alogz
Cada rama de la funcin logartmica determina una rama de z
a
.
Theorem Sean a, b C y denotemos por log z cualquier rama particular de la
funcin logartmica, entonces:
C1. La rama corespondiente z
a
es analtica en donde logz es analtica.
C2. z = 0 : z
a
z
b
= z
a+b
.
C3. z = 0 : z
a
=
1
z
a
.
C4. (z
a
)
'
= az
a1
, z = 0
C5. (z
1
z
2
)
a
= z
1
a
z
2
a
e
2aki
para algn entero k.
Proof
C1. Como log z es analtica en C z _ 0), y e
z
en todo C, por la regla de
cadena z
a
es analtica en C z _ 0).
C2. z
a
z
b
= e
alogz
e
blogz
= e
(a+b) logz
= z
a+b
.
C3. z
a
= e
alogz
=
1
e
alogz
=
1
z
a
.
C4. (z
a
)
'
= (e
alogz
)
'
= e
alogz a
z
=
a
z
z
a
= az
1
z
a
= az
a1
.
C5. Como log(z
1
z
2
) = logz
1
+ logz
2
+ (mod2i), entonces
log(z
1
z
2
) (logz
1
+ logz
2
) = (k2i)
para algn k en Z
(z
1
z
2
)
a
= e
alog(z
1
z
2
)
= e
a(logz
1
+logz
2
+(2ki))
=
= e
alogz
1
e
alogz
2
e
a2ki
= z
1
a
z
2
a
e
a2ki
.
Claim z
a
tiene un valor que corresponde a cada uno de los valores posibles de
logz pero la periodicidad de la funcin exponencial nos indica que valores
distintos de logz no determinan necesariamente valores distintos de z
a
.
Examinaremos tres casos cuando a es real.
Caso1: a es un entero.
z
a
= e
alogz
= e
a(log|z|+i argz)
= e
alog|z|
e
(i argz)a
=
e
alog|z|
e
i(+2k)a
= e
alog|z|
e
ia
e
i2ka
= e
alog|z|
e
ia
donde = Arg z, argz = + 2k.
z
a
tiene un solo valor pues las distintas ramas de logz difieren en un mltiplo entero de 2i, lo mismo
sucede con alogz y entonces z
a
tiene solamente un valor, dado por :
e
alogz
= i
3
= e
3log|i|
e
3i

2
= cos
3
2
+ i sin
3
2
= i
Caso II. a es un racional
Sea a =
p
q
, donde p es un entero, q es un entero positivo y
p
q
es irreducible.
z
a
= e
p
q
logz
= e
p
q
(log|z|+i argz)
= e
p
q
log|z|
e
(i argz)
p
q
Si = Arg z es el argumento principal, i.e. (, ], entonces
, k Z,
p
q
argz =
p
q
+
p
q
2k
as
e
(i argz)
p
q
= e
i
p
q

e
i(
p
q
)2k
=
e
i(
p
q
)2k
= e
i(
2k
q
)p
el cual toma valores distintos cuando k =, 1, 2. . . , q 1, y cualquier otro valor de k produce uno de los valores
de q que ya se han obtenido.
Por lo tanto z
a
tiene q valores distintos que se obtienen haciendo
logz = Log z + 2ki, k = 0, q 1
y
z
a
= z
p
q
= e
p
q
Log z
e
i
p
q
2k
, k = 0, q 1
da los q valores distintos de z
a
, donde Log z es la funcin logartmica principal.
Example Sea f(z) = z
1
2
z
1
2
= e
1
2
Log z
e
i
2
2k
k = 0, 1.
i.e.
z
1
2
=
e
1
2
logz
e
1
2
logz
e
i
=
|z|
1
2
e
i
2
Argz
|z|
1
2
e
i
2
Argz
por ejemplo
i
1
2
=
e
i
2

4
= e
i

8
e
i
2-4
= e
i

8
=
=
e
i

8
e
i

8
CasoIII. a es un irracional
z
a
= exp(alogz) = exp(aLog z) exp(2aki), para k Z
cuando k Z y a es un irracional e
2aki
tiene valores distintos para diferentes valores de k.
En efecto supongamos que J k
1
, k
2
Z tal que
e
2ak
2
i
= e
2ak
2
i
entonces
cos 2ak
1
+ i sin2ak
1
= cos 2ak
2
i + i sin2ak
2
i
po tanto
cos 2ak
1
= cos 2ak
2
i
sin2ak
1
= sin2ak
2
i

2ak
1
= 2ak
2
i + 2z
1
z
1
Z
2ak
1
= 2ak
2
i + 2z
2
z
2
Z
k
1
k
2
=
z
1
a
-
V
entonces z
a
toma valores distintos para diferentes valores de logz.
Example
i
1

= e
1

Logi
. e
1

2ki
, k Z
= e
1

log1+
i
2
. e
2ki
= e
i(
1
2
+2k)
, k Z
= cos(
4k + 1
2
) + i sin(
4k + 1
2
), k Z
Caso IV. a es un complejo
Sea a = + i
z
a
= z

z
i
pero z

es uno de los casos ya mencionados y

z
i
= e
ilogz
= e
i(log|z|+i argz)
= e
argz
e
ilog|z|
si z = |z|e
i argz
, |z| es un nmero fijo y argz vara segn la rama en que estemos, por lo tanto e
ilog|z|
es un
nmero determinado y e
argz
vara. As z
a
siempre tiene una infinidad de valores.
Example
i
i
= e
i logi
= e
i(log|i|+i(

2
+2k))
, k Z
= e

2
2k
, k Z
Es fcil ahora probar las dos conocidas frmulas que relacionan la exponencial con el logaritmo:
log(e
z
) = z
e
logz
= z
loga
b
= bloga
En efecto
log(e
z
) = log(e
x+iy
) = log(e
x
(cos y + i siny)) = loge
x
+ iy = x + iy.
e
logz
= e
log(re
i
)
= e
logr+i
= e
logr
e
i
= re
i
= z.
loga
b
= log(e
bloga
) = bloga.
FUNCIONES TRIGONOMTRICAS E HIPERBLICAS INVERSAS
Definition
sin
1
z =
1
i
log(
2
1 z
2
+ iz );
cos
1
z =
1
i
log(z + i
2
1 z
2
);
tan
1
z =
i
2
log(
i + z
i z
);
Veamos que se obtiene la primera.
Consideremos la ecuacin
sinw = z
despejemos w :
z =
e
iw
e
iw
2i
multiplicando ambos miembros de la ecuacin por 2ie
iw
y ordenando trminos
2ie
iw
z = e
2iw
1
(e
iw
)
2
2iz(e
iw
) 1 = 0
e
iw
=
2iz (2iz)
2
4(1)(1)
2
=
2iz + (4z
2
+ 4)
1
2
2
= iz + (1 z
2
)
1
2
iw = log(iz + (1 z
2
)
1
2
)
w =
1
i
log((1 z
2
)
1
2
+ iz)
se omite el signo pues sabemos que el trmino (1 z
2
)
1
2
tiene 2 valores, uno positivo y el otro negativo.
As, para cada valor de (1 z
2
)
1
2
existe un valor de w que satisface la ecuacin sinw = z.
De manera analoga se pueden ver los otros casos.
Calculemos ahora la derivada de la funcin sin
1
z :
d(sin
1
z)
dz
=
d
dz
(
1
i
log((1 z
2
)
1
2
+ iz))
=
i
(1 z
2
)
1
2
+ iz
(i +
1
2
(1 z
2
)

1
2
(2z))
=
1 +
iz
(1z
2
)
1
2
iz + (1 z
2
)
1
2
=
(1z
2
)
1
2 +iz
(1z
2
)
1
2
iz+(1z
2
)
1
2
1
=
(1 z
2
)
1
2
+ iz
((1 z
2
)
1
2
)(iz + 1 z
2
)
1
2
)
=
1
(1 z
2
)
1
2
Analogamente se puede probar que:
d(cos
1
z)
dz
=
1
(1 z
2
)
1
2
d(tan
1
z)
dz
=
1
1 + z
2
Las tres funciones trigonomtricas inversas restantes pueden definirse en trminos de las tres que ya
tenemos.
Las funciones hiperblicas inversas se pueden definir de manera similar. As
sinh
1
z = log|z + (z
2
+ 1)
1
2
]
cosh
1
z = log z + (z
2
1)
1
2
tanh
1
z =
1
2
log
1 + z
1 z
y se puede ver que
d(sinh
1
z)
dz
=
1
(1 + z
2
)
1
2
d(cosh
1
z)
dz
=
1
(1 z
2
)
1
2
d(tanh
1
z)
dz
=
1
(1 z
2
)
.
Integracin
Curvas en el plano complejo
Definition Una curva C en el plano complejo es el conjunto de los puntos
z(t) = x(t) + iy(t) para t |a, b] donde x(t) y y(t) son funciones continuas de t
en |a, b].
z(a) se llama punto inicial de C y z(b) punto final. z(a) y z(b) se suelen llamar puntos extremos de C.
Si z(a) = z(b) se dice que C es una curva cerrada.
Si existen dos valores distintos t
1
y t
2
con a < t
1
< t
2
< b tales que z(t
1
) = z(t
2
) entonces se dice que C
se intersecta a si misma.
Una curva que no se intersecta a si misma se llama curva de Jordan o curva simple.
Definition Se dice que una curva es suave si z'(t) existe, es continua y diferente de
cero para todos los valores de t en |a, b] donde
z'(t) = x'(t) + iy'(t), t |a, b]
y es suave por tramos si es suave para todos los valores de t con la posible
excepcin de un nmero finito de ellos.
Example Represente graficamente y clasifique los siguientes conjuntos de puntos:
a) z(t) =
t + it
2
t |0, 1]
2t it t |1, 5]
es discontinua, por lo tanto no es curva.
b) z(t) = 3cos t + 2i sint, t |0, ]
es una curva suave.
Claim Una curva C no tiene una parametrizacin z(t) nica, as por ejemplo en el
ejemplo a) podemos escribir, realizando una traslacin
z(t) =
(t + 1) + i(t + 1)
2
t |1, 0]
2(t + 1) i(t + 1) t |0, 4]
veremos que la integral no depende de la parametrizacin utilizada.
Definition Integral compleja Sean z
0
y z
1
puntos cualesquiera del plano complejo.
Sea C una curva suave por tramos desde z
0
a z
1
descrita por z(t), t |a, b]. Si
f(z) = u(x, y) + iv(x, y) es una funcin continua en todo punto de C entonces se
define la integral de f(z) de z
0
a z
1
a los largo de C como:
]
z
0
C
z
1
f(z)dz = ]
C
f(z)dz = ]
a
b
f(z(t))z'(t)dt
= ]
a
b
|u(x(t), y(t)) + iv(x(t), y(t))]|x
'
(t) + iy
'
(t)]dt
= ]
a
b
|u(x(t), y(t))x
'
(t) v(x(t), y(t))y
'
(t)]dt
+ i ]
a
b
|v(x(t), y(t))x
'
(t) u(x(t), y(t))y
'
(t)]dt
donde z(t) = x(t) + iy(t), a _ t _ b.
Example Calcular la integral ]
C
zdz, donde C es el contorno
z(t) = ae
it
, 0 _ t _ , a
+
.
Solucin: El contorno es una media circunferencia como se muestra en la figura
aqu f(z) = z, entonces
f(z(t)) = f(ae
it
) = ae
it
y z'(t) = aie
it
, entonces
]
C
zdz = ]
0

f(z(t))z'(t)dt = ]
0

ae
it
aie
it
dt
= a
2
i ]
0

e
2it
dt = a
2
i
e
2it
2i
0

=
a
2
2
(e
2i
e
0
)
=
a
2
2
(1 1) = 0.
Example Calcular la integral ]
C
z
2
dz, donde C es el contorno del ejemplo anterior.
Solucin: Ahora f(z) = z
2
entonces
f(z(t)) = f(ae
it
) = (ae
it
)
2
= a
2
e
2it
y z'(t) = aie
it
, entonces
]
C
z
2
dz = ]
0

f(z(t))z'(t)dt = ]
0

a
2
e
2it
aie
it
dt
= a
3
i ]
0

e
3it
dt = a
3
i
e
3it
3i
0

=
a
3
3
(e
3i
e
0
)
=
a
3
3
(1 1) =
2
3
a
3
.
Example Sea C
1
la trayectoria de i a i a lo largo de la semicircunferencia derecha
y C
2
la trayectoria a lo largo de la simicircunferencia izquierda. Calcular:
]
i C
i
dz
z
, j = 1, 2
Solucin: Ahora f(z) =
1
z
.
Para la trayectoria C
1
: z(t) = e
it
, t

2
,

2
entonces z
'
(t) = ie
it
y
f(z(t)) = f(e
it
) =
1
e
it
= e
it
por lo tanto
]
C
1
dz
z
= ]

2
e
it
ie
it
dt = i ]

2
dt = i

2
+

2
= i.
Del mismo modo, para C
2
se puede considerar la parametrizacin z(t) = e
it
, t
3
2
,

2
.
Realizando las operaciones pertinentes se puede ver que
]
C
L
dz
z
= i.
Propiedades
Las propiedades fundamentales de la integral que hemos definido son consecuencia inmediata de las
propiedades de la integral de lnea.
Suponga que para contornos arbitrarios C
1
y C
2
, C
1
+ C
2
tambien es un contorno.
a) ]
C
kf(z)dz = k ]
C
f(z)dz
b) ]
C
(f
1
(z) + f
2
(z))dz = ]
C
f
1
(z)dz + ]
C
f
2
(z)dz
c) ]
C
f(z)dz = ]
C
f(z)dz
d) ]
C
1
f(z)dz + ]
C
2
f(z)dz = ]
c
1
+c
2
f(z)dz
Claim Si C es la curva: z(t) = x(t) + iy(t), t |a, b]; C es la curva
z (t) = x(t) + iy(t), t |b, a] pues z (b) = x(b) + iy(b) = z(b) y
anlogamente z (a) = z(a).
Claim Si C
1
est dada por z
1
(t), t |a, b] y C
2
por z
2
(t), t |b, c] entonces
C
1
+ C
2
:est dada por
z(t) =
z
1
(t) t |a, b]
z
2
(t) t |b, c]
siempre y cuando z
1
(b) = z
2
(b).
Si C
1
est dada por z
1
(t), t |0, 1] y C
2
por z
2
(t), t |0, 1] entonces C
1
+ C
2
puede ser dada por
z(t) =
z
1
(2t), t |0, ]
z
2
(2t 1), t |, 1]
siempre y cuando z
1
(1) = z
2
(0).
En general, si C
1
est dada por z
1
(t), t |a, b] y C
2
por z
2
(t), t |c, d] se
hacen reparametrizaciones con :
: |0, 1] |a, b] J (t) = a + t(b a) y
: |a, b] |0, 1] J (t) =
t a
b a
para transformar los intervalos.
Como puede observarse una misma curva tiene una infinidad de
parametrizaciones y la integral no depende de ellas.
Example Sea C la trayectoria que va de 0 a 1 + i compuesta por el segmento de
recta C
1
de 0 a 1 y el segmento de recta C
2
de 1 a 1 + i. Calcular ]
C
sinzdz
Solucin: Parametrizando las curvas
C
1
: z
1
(t) = t, t |0, 1]
C
2
: z
2
(t) = 1 + it, t |0, 1].
Como z
1
(1) = z
2
(0) existe la curva C = C
1
+ C
2
y por la propiedad (d) anterior:
]
C
sinzdz = ]
C
1
sinzdz + ]
C
2
sinzdz = ]
0
1
sintdt + ]
0
1
sin(1 + it)idt
= cos t|
0
1
+ i
cos(1 + it)
i
0
1
= cos 1 + cos 0 + (cos(1 + i) + cos 1)
= 1 cos 1 cos(1 + i) + cos 1 = 1 cos(1 + i).
Definition Sea C una trayectoria cerrada descrita por z(t), t |a, b]. Si al variar t
de a a b se traza C de manera que los puntos del interior de C queden
siempre a la izquierda (y respectivamente a la derecha decimos que C est
orientada positivamente (y respectivamente, orientada negativamente).
Cuando no se indique lo contrario se supondr que las trayectorias estan orientadas positivamente.
Funciones definidas por integrales indefinidas
Definition Sea f(z) una funcin definida en una regin D y sea C una trayectoria en D
de a a b. Si ]
a C
b
f(z)dz es un nmero que slo depende de a y b, no de la
trayectoria C, decimos que que la integral es independiente de la trayectoria y
escribimos ]
a
b
f(z)dz.
Si fijamos a y definimos b = w como cualquier punto de D y suponemos que ]
a
w
f(z)dz tiene sentido para
cada w en D entonces la integral define una funcin:
F(w) = ]
a
w
f(z)dz
Theorem Sea D una regin simplemente conexa y f(z) una funcin continua definida
en D.
Para cada par de puntos a y b en D y cualquier curva C en D de a a b, la
integral ]
a
b
f(z)dz es independiente de la trayectoria si y slo si existe una
funcin F(z), analtica en D tal que
f(z) = F'(z), z D.
En este caso
]
a
b
f(z)dz = F(b) F(a).
Adems, si F(w) = ]
a
w
f(z)dz est definida y es independiente de la trayectoria
en todo punto z D, entonces F(w) es analtica en D y F'(w) = f(w) para
todo w en D.
Example Sea f(z) =
1
z
. f es continua en todo punto de 0).
Sean a, b 0). Sabemos que cualquier rama de la funcin logz tiene
derivada
1
z
en cualquier punto de z : z _ 0). As no podemos tener
trayectorias que corten el eje real negativo como lo muestra las figuras
siguientes
pues en ninguno de estos casos podemos construir un conjunto D simplemente
conexo (sin agujeros) que contenga a las curvas, donde la primitiva
F(z) = logz sea analtica. Pero si la trayectoria no corta al eje real negativo
z _ 0, como el ejemplo de la figura
si podemos construir un conjunto simplemente conexo D donde la primitiva
F(z) = logz si es analtica. Tomando cualquier rama
]
a
b
dz
z
= logb loga
= ln|b| + i( + 2k) |ln|a| + i(' + 2k)]
= ln|b| + i ln|a| + i' = Logb Loga.
Exercise Calcular la integral ]
0
i
(z
2
2z + 1)dz.
Solucin:
]
0
i
(z
2
2z + 1)dz =
z
3
3
z
2
+ z)
0
i
=
i
3
3
i
2
+ i =
i
3
+ i + 1 = 1 +
2
3
i.
Exercise Calcular ]
i
i+

2
sinzdz
Solucin:
]
i
i+

2
sinzdz = cos z|
i
i+

2
= cos

2
+ i cos i.
Theorem Integral de Cauchy Sea D un dominio simplemente conexo y f(z) analitica
en D. Si C es cualquier curva cerrada en D, entonces :
]
C
f(z)dz = 0.
(curva indica, continua liza por tramos ; se puede intersectar a si misma)
Si D es un dominio simplemente conexo y f(z) es analitica en D, entonces para cualesquiera puntos a y b
en D y cualquieras trayectorias C
1
y C
2
en D de a a b :
]
a
C
1
b
f(z)dz = ]
a
C
2
b
f(z)dz
y existe una funcin F(z) analtica en D, tal que
z D : F'(z) = f(z).
Proof Sea C = C
1
+ (C
2
). C es cerrada y por el teorema de la integral de Cauchy
0 = ]
C
f(z)dz = ]
C
1
f(z)dz + ]
C
2
f(z)dz
= ]
C
1
f(z)dz ]
C
2
f(z)dz
y por el teorema anterior al de la integral de Cauchy se cumple la otra
parte.
Example Importante Evaluse la integral
]
C
dz
(z a)
n
, C = z : |z a|= r).
Solucin:
z(t) = a + re
it
, t |0, 2]
z'(t) = ire
it
,
f(z(t)) =
1
r
n
e
int
entonces
]
C
dz
(z a)
n
= ]
0
2
ire
it
dt
r
n
e
int
=
i
r
n1
]
0
2
e
it(n1)
dt
=
2i n = 1
0 n = 1
.
Theorem Sea a un punto fijo, 0 _ R < s < T. Sea D el dominio z : R < |z a|< T)
y C
1
= z : |z a|= s). Si f(z) es analtica en D y C es cualquier trayectoria
cerrada en D cuyo interior contiene a C
1
, entonces:
]
C
f(z)dz = ]
C
1
f(z)dz.
Proof Si R = 0, D es simplemente conexo y las dos integrales son iguales a 0 por
el Teorema Integral de Cauchy. Supongamos que R > 0. Sea L la trayectoria
de C
1
a C y consideremos la curva cerrada
K = C + (L) + (C
1
) + L
como f(z) es analtica sobre y dentro de K entonces por el teorema de la
integral de Cauchy :
0 = ]
K
f(z)dz = ]
C
+]
L
+]
C
1
+]
L
= ]
C
]
L
]
C
1
+]
L
= ]
C
]
C
1
por lo tanto
]
C
f(z)dz = ]
C
1
f(z)dz.
Corollary Con las mismas hiptesis del teorema anterior, si K es cualquier trayectoria
cuyo interior contiene a C
1
entonces:
]
C
f(z)dz = ]
K
f(z)dz.
Example Sea
f(z) =
1
z
2
4z + 3
,
evalese la integral ]
C
f(z)dz donde:
a. C es la circunferencia |z|= 4,
b. C es la circunferencia |z|= 2,
c. C es la circunferencia |z 4|= 2.
Use fracciones parciales.
Solucin:
1
z
2
4z + 3
=
1
(z 3)(z 1)
=
1
2(z 3)
+
1
2(z 1)
a)
]
C
dz
z
2
4z + 3
=
1
2
]
C
dz
(z 3)
+
1
2
]
C
dz
(z 1)
=
1
2
]
|z3|=
1
2
dz
(z 3)
+
1
2
]
|z1|=
1
2
dz
(z 1)
=
1
2
(2i) +
1
2
(2i) = 0
b)
]
C
dz
z
2
4z + 3
=
1
2
]
C
dz
(z 3)
+
1
2
] C
dz
(z 1)
= 0 +
1
2
]
|z1|=
1
2
dz
(z 1)
=
1
2
(2i) = i.
c)
]
C
dz
z
2
4z + 3
=
1
2
] C
dz
(z 3)
+
1
2
] C
dz
(z 1)
=
1
2
]
|z3|=
1
2
dz
(z 1)
+ 0 =
1
2
(2i) = i.
Problem Si C es cualquier trayectoria cerrada que no pasa por z = a y n ,
encuntrense todos los valores posibles de ]
C
dz
(za)
n
.
Solucin: Por el Teorema Integral de Cauchy
]
C
dz
(z a)
n
=
0 si a est fuera de C
2i si a est dentro de C
Theorem Frmula Integral de Cauchy Sea f(z) analtica en un dominio simplemente
conexo D y C cualquier trayectoria cerrada en D. Si z
0
es cualquier punto
del interior de C entonces :
1. f(z
0
) =
1
2i
]
C
f(z)
(zz
0
)
dz
2. f
n
(z
0
) =
n!
2i
]
C
f(z)
(zz
0
)
n+1
dz, para n = 1, 2, 3, .
3. f
n
(z) es analtica en D.
Example Sea C cualquier trayectoria cerrada que contiene a los punto de z = i y
z = i. Evalese la integral
1
2i
]
C
e
z
(z
2
+ 1)
dz.
Solucin: Descomponiendo en fracciones simples
1
z
2
+ 1
=
1
(z + i)(z i)
=
1
2i
1
(z i)

1
(z + i)
.
As
1
2i
]
C
e
z
(z
2
+ 1)
dz =
1
2i
]
C
e
z
2i
1
(z i)

1
(z + i)
dz
=
1
4
]
C
e
z
(z i)
+
1
4
]
C
e
z
(z + i)
dz
=
1
4
2ie
i
+
1
4
2ie
i
=
i
2
|e
i
+ e
i
] =
1
2i
|e
i
+ e
i
] = sin1.
Si C es una trayectoria que contiene en su interior slo a z = i :
1
2i
]
C
e
z
z
2
+ 1
dz =
1
2i
]
e
z
z+i
z i
dz =
e
i
2i
.
Anlogamente, si C es una trayectoria que contiene en su interior slo a z = i :
1
2i
]
C
e
z
z
2
+ 1
dz =
1
2i
]
e
z
zi
z + i
dz =
e
i
2i
.
Series infinitas
Si a
n
)
n=0

= a
0
, a
1,.
) es una sucesin de nmeros complejos, se dice que la serie infinita _
n=0

a
n
converge a S si:
c > 0, J N : n > N |S S
n | < c
donde S
n
es la n-sima suma parcial
S
n
= a
1
+ + a
n
.
Diremos que la serie infinita _
n=0

a
n
converge absolutamente, si la serie de nmeros reales no negativos
_
n=0

|a
n
| es convergente.
Observe que para la serie real _
n=0

|a
n
| puedenn emplearse los criterios conocidos de convergencia, en
particular los criterios de la razn, de la raz y comparacin.
Definition Si a
n
)
n=0

es una sucesin de nmeros complejos, se llama

_
n=0

a
n
(z a)
n
serie compleja de potencias alrededor de a.
Decimos que la serie de potencias converge en z
0
si la serie de nmeros
complejos _
n=0

a
n
(z
0
a)
n
converge.
Se puede ver facilmente que si la serie de potencias _
n=0

a
n
(z a)
n
es absolutamente convergente en un
punto z
0
, entonces es absolutamente convergente en todo punto z tal que:
|z a|< |z
0
a|
En efecto, si _
n=0

|a
n
(z
0
a)
n
| converge,
|z a| < |z
0
a| 0 _ ||a
n
||z a|]
n
< ||a
n
||z
0
a|]
n

_
n=0

|a
n
(z a)
n
| < +
_
n=0

a
n
(z a)
n
< +.
Definition Sea _
n=0

a
n
(z a)
n
una serie de potencias y sea
S = r _ 0 :
_
n=0

|a
n
|r
n
< +).
Si S est acotado superiormente, definimos el radio de convergencia de la
serie como el supremo de S. Si S no est acotado superiormente, decimos que
la serie tiene radio de convergencia infinito escribiendo = + . En el primer
caso, z : |z a|< ), se llama disco de convergencia para la serie y en el
segundo caso decimos que la serie es convergente en todo punto.
Theorem Sea p(z) = _
n=0

a
n
(z a)
n
una serie de potencias con radio de
convergencia , entonces
i) en |z a|< , la serie _
n=0

a
n
(z a)
n
es absolutamente convergente.
ii) en |z a|> , la serie _
n=0

a
n
(z a)
n
es divergente.
iii) p(z) es continua en |z a|< .
Proof i) Se verifica por la definicin de radio de convergencia.
ii) Si _
n=0

a
n
(z
0
a)
n
fuera converge para cualquier z
0
con |z
0
a|> ,
entonces la serie _
n=0

a
n
(z a)
n
sera absolutamente convergente para todos
los z tales que |z a|< |z
0
a|. En particular _
n=0

a
n
(z
1
a)
n
ser
absolutamente convergente para z
1
=
+|z
0
|
2
>
o

Example Calcular la funcin que representa a la serie de potencias _

n=0

z
n
Theorem Solucin: Calculando la n-sima suma parcial tenemos
S
n
= 1 + z + z
2
+ + z
n1
=
1 z
n
1 z
calculando el lmite cuando n tiende a :
n
lim S
n
=
n
lim
1 z
n
1 z
=
1
1 z
n
lim (1 z
n
) =
1
1 z
siempre que |z| < 1, as
n=0

_
z
n
=
1
1 z
para |z| < 1
para hallar el radio de convergencia utilizamos el criterio de la razn:
n
lim
z
n+1
z
n
=
n
lim |z| = |z|
n
lim 1 = |z|
por lo tanto, la serie converge si |z| < 1. Hemos probado entonces que
n=0

_
z
n
=
1
1 z
si |z| < 1.
Si _
n=0

a
n
(z a)
n
es una serie de potencias con radio de convergencia
y C es cualquier trayectoria dentro del disco de convergencia |z a|< ,
entonces
]
C
_
n=0

a
n
(z a)
n
dz =
_
n=0

]
C
a
n
(z a)
n
dz .
Este teorema se utilizar ms adelante cuando conozcamos que funcin representa la serie y nos ayudar
a hayar la representacin en serie de otras funciones.
Theorem Sea _
n=0

a
n
(z a)
n
una serie de potencias con radio de convergencia y
sea
p(z) =
_
n=0

a
n
(z a)
n
definida en el disco de convergencia |z a|< entonces:
i) p(z) es analtica en |z a|< y
p'(z) =
_
n=0

na
n
(z a)
n1
.
Observe que aplicando el teorema anterior podemos hallar la representacin en series de potencias de
las derivadas de p(z).
Example Como hemos visto en el ejemplo anterior
1
1 z
=
n=0

_
z
n
si |z| < 1,
entonces derivando ambos miembros
1
(1 z)
2
=
n=1

_
n z
n1
para |z| < 1.
Series de Taylor
En esta seccin, veremos que en la vecindad de un punto dado, una funcin analtica tiene slo un
desarrollo en serie de potencias, el cual consiste en la serie de Taylor.
Theorem Si f(z) es analtica en z : |z a|< r) entonces:
f(z) = f(a) +
_
n=0

f
n
(a)
n!
(z a)
n
, para todo z con |z a|< r
Esta representacin de f(z) en el disco |z a|< r se llama serie de Taylor de
f(z) alrededor de a. Cuando a = 0 se llama serie de Maclaurin de f(z).
Los resultados para series de potencias se aplican a series de Taylor. Es decir, f(z) es absolutamente
convergente en cada punto de su disco de convergencia, puede diferenciarse trmino a trmino para obtener
desarrollos en serie de Taylor de las derivadas de f(z) alrededor de z = a.
Example La serie de Maclaurin de f(z) = e
z
es
_
n=0

z
n
n!
pues f
n
(0) = 1 n = 0, 1, . y como e
z
es entera, el desarrollo es
verdadero para todo z .
Example Sea f(z) =
1
1+z
, Calcular su serie de Taylor alrededor de z = 0.
Solucin: Utilizando el teorema de Taylor, podemos derivar sucesivamente la funcin f(z) =
1
1+z
y
calcular los coeficientes de la serie para obtener
1
1 + z
=
_
n=0

(1)
n
z
n
y es vlida para los nmeros complejos z para los cuales |z|< 1 pues se puede ver que el crculo ms grande
centrado en el origen donde f es analtica es el de radio 1, as se tiene que
1
1 + z
=
_
n=0

(1)
n
z
n
para |z|< 1.
Otra forma de obtener este resultado es a travs de una sustitucin aplicada a una serie ya conocida. En
efecto, sabemos que
1
1 w
=
n=0

_
w
n
, para |w|< 1,
al tomar w = z obtenemos
1
1 + z
=
_
n=0

(1)
n
z
n
, para |z|< 1.
Es vlido utilizar este procedimiento para obtener series de potencias? la respuesta es s, como se puede
demostrar en el siguiente
Theorem Si la serie de potencias f(z) = _
n=0

a
n
(z a)
n
es vlida para z : |z a| <
entonces
a
n
=
f
(n)
(a)
n!
n = 0, 1, 2. . .
es decir, en su disco de convergencia, la serie de potencias es una serie de
Taylor alrededor de z = a para la funcin analtica que representa.
Claim Si una funcin f(z) es analtica en un nmero complejo z
0
y la singularidad
de f ms cercana a z
0
est a una distancia r de z
0
, entonces el desarrollo en
serie de Taylor de f alrededor de z
0
converge absolutamente para todo z en
el disco |z z
0
|< r y diverge fuera.
Example Desarrolle en serie de Maclaurin la funcin
f(z) = Log(1 + z).
Solucin: Sabemos que
1
1 + w
=
_
n=0

(1)
n
w
n
para |w| < 1
integrando de 0 a z para todo z en el disco |z| < 1 tenemos
]
0
z
1
1 + w
dw = ]
0
z
_
n=0

(1)
n
w
n
dw
es decir
Log(1 + w)|
0
z
= ]
0
z
_
n=0

(1)
n
w
n
dw =
_
n=0

(1)
n
]
0
z
w
n
dw =
_
n=0

(1)
n w
n+1
n + 1
0
z
,
por lo tanto
Log(1 + z) =
_
n=0

(1)
n z
n+1
n + 1
para todo z con |z| < 1.
Example Desarrolle en serie de Taylor f(z) =
1
1+z
2
alrededor del origen.
Solucin: sabemos que
1
1 + w
=

n=1
_ (1)
n
w
n
para |w| < 1.
Substituyendo w = z
2
obtenemos
1
1 + z
2
=
_
n=0

(1)
n
(z
2
)
n
=
_
n=0

(1)
n
z
2n
vlido para |z
2
|< 1 o |z|< 1.
Example Calcular la serie de Taylor de la funcin f(z) = tan
1
z alrededor del origen.
Solucin: Sabemos que
tan
1
z = ]
0
z
1
1 + w
2
dw = ]
0
z
_
n=0

(1)
n
w
2n
dw
=
_
n=0

(1)
n w
2n+1
2n + 1
0
z
=
_
n=0

(1)
n z
2n+1
2n + 1
vlida en el disco |z|< 1.
Example Calcular la serie de Maclaurin de
f(z) =
z + 1
z 1
Solucin:
z + 1
z 1
=
z
z 1
+
1
z 1
= z
1
1 z

1
1 z
= z
_
n=0

z
n

_
n=0

z
n
=
_
n=0

z
n+1

_
n=0

z
n
=
_
n=0

z
n+1
1
_
n=1

z
n
= 1
_
n=0

z
n+1

_
n=0

z
n+1
= 1 2
_
n=0

z
n+1
vlido para |z|< 1.
Series de Laurent
Si f(z) es analtica en una regin de la forma:
z : 0 _ r _ |z a|< s)
es decir, del tipo de un anillo circular, entonces f(z) no se puede representar en serie de Taylor, pero podemos
esperar representar f(z) mediante una serie de potencias positivas y negativas de (z a).
Theorem de Laurent Si f(z) es analtica en la regin
D = z : 0 _ r _ |z a|< s)
entonces
para todo z D : f(z) =
_
n=
+
A
n
(z a)
n
#
o bien,
f(z) =
_
n=0

A
n
(z a)
n
+
_
n=1

A
n
(z a)
n
#
donde
A
n
=
1
2i
]
C
f(z)
(z a)
n
dz, n
siendo C cualquier trayectoria cerrada en D cuyo interior contiene al punto
z = a.
La serie dada por ref: 1 converge absolutamente en D, donde decimos que la serie ref: 1 converge si y
slo si las dos series en ref: 2 son convergentes.
Remark No es prctico calcular los coeficientes A
n
en forma directa por
integracin sino por otros medios, usando los coeficientes ms bien para
evaluar integrales de la forma
1
2i
]
C
f(z)
(z a)
n+1
dz.
Si f(z) es analtica en el disco |z a|< s, la serie de Laurent se reduce a la
serie de Taylor, pues en este caso:
A
n
=
1
2i
]
C
f(z)
(z a)
n+1
dz =
1
2i
]
C
f(z)(z a)
n1
dz = 0 n = 1, 2, .
y
A
n
=
1
2i
]
C
f(z)
(z a)
n+1
dz =
f
(n)
(a)
n!
= a
n
por la Frmula Integral de Cauchy.
Desarrollaremos funciones en series de Laurent, principalmente en
regiones del tipo
z : 0 < |z a|< s).
el nmero de potencias negativas de (z a) en la serie servir como medida
de cun no analtica es f(z) en z = a.
Example La funcin f(z) = logz no tiene serie de Laurent alrededor de z = 0 pues
no es analtica en ninguna regin anular alrededor de 0.
Example Desarrollar la funcin
f(z) =
1
z
2
3z + 2
=
1
(z 2)(z 1)
en serie de Laurent alrededor de z = 0 en las regiones:
a) |z| < 1,
b) 1 < |z| < 2
c) 2 < |z| < r, r > 2.
Solucin:
f(z) =
1
(z 2)(z 1)
=
1
(z 2)

1
(z 1)
a) Como f es analtica en |z|< 1, la serie de Laurent de f coincide con la serie de Taylor:
1
(z 2)
=
1
(2 z)
=
1
2(1
z
2
)
=
1
2
_
n=0

z
2
n
=
1
2
_
n=0

z
n
2
n
la cual es vlida para |
z
2
|< 1, es decir en |z| < 2 (regin ms grande que la que tenemos). Anlogamente
1
(z 1)
=
1
(1 z)
=
_
n=0

z
n
vlida en |z| < 1. As, en la regin |z| < 1 se tiene:
f(z) =
1
(z 2)(z 1)
=
1
2
_
n=0

z
n
2
n
+
_
n=0

z
n
=
_
n=0

z
n
2
n+1
+ z
n
=
_
n=0

1
1
2
n+1
z
n
b) En la regin 1 < |z|< 2 :
1
(z 2)
=
1
2
_
n=0

z
n
2
n
para |z|< 2
1
(z 1)
=
1
z(1
1
z
)
=
1
z
_
n=0

1
z
n
vlido en
1
z
< 1 o 1 < |z|.
Entonces, en la regin 1 < |z|< 2 se tiene que
f(z) =
1
(z 2)(z 1)
=
1
2
_
n=0

z
n
2
n

1
z
_
n=0

1
z
n
=
_
n=0

z
n
2
n+1

1
z
n+1
.
c) En la regin 2 < |z| < r, r > 2
1
(z 2)
=
1
z(1
2
z
)
=
1
z
_
n=0

2
n
z
n
vlido para
2
z
< 1 o 2 < |z|
1
(z 1)
=
1
z
_
n=0

1
z
n
vlido para 1 < |z|
Por lo tanto,
f(z) =
_
n=0

z
n
2
n+1

_
n=0

1
z
n+1
=
_
n=0

2
n
1
z
n+1
.
Example Desarrollar en potencias de z la funcin f(z) =
e
z
z
3
.
Solucin:
e
z
z
3
=
1
z
3
_
n=0

z
n
n!
=
_
n=0

z
n3
n!
vlida en 0 < |z|.
Clasificacin de Singularidades aisladas
Si una funcin f(z) es analtica en una regin anular 0 < |z a|< r y tiene desarrollo en serie de Laurent
f(z) =
_
n=
+
A
n
(z a)
n
, vlido en 0 < |z a|< r,
se llama a _
n=
1
A
n
(z a)
n
parte principal de f(z) en z = a y escribimos
p(f, a) =
_
n=
1
A
n
(z a)
n
.
Definition Si una funcin f(z) no es analtica en z
0
pero es analtica en alguna regin
z : 0 < |z a|< r)
para algn r > 0 , decimos que z
0
es una singularidad o punto singular de f(z)
Las singularidades pueden ser de tres tipos:
Caso 1 p(f, a) = 0.
En este caso el desarrollo de Laurent de f(z) en 0 < |z a|< r es de hecho un
desarrollo de Taylor:
f(z) =
_
n=0

A
n
(z a)
n
si definimos f(a) = A
0
, entonces f(z) ser analtica en |z a|< r incluido el
punto z = a; por esta razn, cuando p(f, a) = 0 decimos que z = a es una
singularidad removible de f(z).
Example
f(z) =
sinz
z
es analtica en |z| > 0 y
f(z) =
1
z
_
n=0

(1)
n
z
2n+1
(2n + 1)!
=
_
n=0

(1)
n
(z)
2n
(2n + 1)!
= 1
z
2
3!
+
z
4
5!
para |z| > 0
y p(f, 0) = 0, por lo tanto z = 0 es una singularidad removible y definimos
f(0) = 1.
Caso 2 p(f, a) tiene un nmero finito de trminos:
f(z) =
_
n=m

A
n
(z a)
n
as
p(f, a) =
_
n=m
1
A
n
(z a)
n
donde A
m
= 0 y A
n
= 0 si n < m. En este caso llamamos a z = a un polo
de orden m para f(z). Frecuentemente un polo de orden 1 se llama polo
simple.
Example
e
z
z
3
=
1
z
3
+
1
z
2
+
1
2z
+
_
n=0

z
n
(2n + 3)!
para |z| > 0
por lo tanto
p(f, a) =
1
z
3
+
1
z
2
+
1
2z
y la funcin tiene un polo de orden 3 en z = 0.
Caso 3 p(f, a) tiene una infinidadde trminos. Decimos que z = a es una
singularidad esencial de f(z).
Example
e
1
z
=
_
n=

(
1
z
)
n
n!
para |z| > 0.
Theorem Si f(z) es analtica en 0 < |z a|< r, entonces f(z) tiene un polo de orden m
en z = a si y slo si
f(z) = (z)(z a)
m
donde (z) es analtica en z = a y (a) = 0.
Example sea f(z) =
cos z
z
2
(z
2
+1)
tiene singularidades en z = 0, i, i. Tiene un polo de
orden 2 en z = 0 pues
f(z) =
cos z
(z+i)(zi)
z
2
y
cos z
(z+i)(zi)
es analtica y distinta de cero en z = 0 . Tiene un polo simple en
z = i por que
f(z) =
cos z
z
2
(z+i)
(z i)
y
cos z
z
2
(z+i)
es analtica y distinta de cero en z = i. De la misma forma z = i tiene
un polo simple en z = i.
Corollary si f(z) tiene un polo de orden m en z = a,
za
lim |f(z)| = +.
Definition Suponga que f(z) es analtica en z = a y que
f(z) =
_
n=0

a
n
(z a)
n
para |z a|< r
f(z) tiene un cero de orden m en z = a si
a
0
= a
1
= = a
m1
= 0 y a
m1
= 0
Un cero de orden uno se llama cero simple.
Si f(z) tiene un cero de orden m en z = a
f(z) = (z a)
m
_
n=m

a
n
(z a)
nm
= (z a)
m
_
k=0

a
m+k
(z a)
k
= (z a)
m
(z)
donde (z) es analtica en z = a y (a) = a
m
= 0.
Recprocamente, si f(z) = (z)(z a)
m
donde (z) es analtica y distinta de cero en z = a entonces
f(z) posee un cero de orden m en z = a.
Example
sinz
2
=
1
z
_
n=0

(1)
n
(z)
n+1
(2n + 1)!
f tiene un cero de orden 2 en z = 0.
Theorem Si f(z) tiene un polo de orden m en z = a entonces
1
f(z)
es analtica en z = a y tiene un cero de orden m en z = a.
Theorem Si f(z) tiene una singularidad esencial en z = a y c es cualquier nmero
complejo, existe una sucesin z
n
) con
n
lim z
n
= a tal que
n
lim f(z
n
) = c .
Residuos
Supongamos que f(z) es analtica en la regin 0 < |z a|< r y que tiene desarrollo de Laurent
_
n=

a
n
(z a)
n
en tal regin. Para cualquier trayectoria cerrada en dicha regin cuyo interiror contenga
al punto z = a,
]
C
f(z)dz =
_
n=0

a
n ](z a)
n
dz = 2ia
1
i.e. cuando integramos f(z) alrededor de una trayectoria cerrada que contenga en su interior la singularidad
aislada z = a y ninguna otra singularidad de f(z), no queda sino un mltiplo de un coeficiente del desarrollo
de Laurent de f(z) : el coeficiente de (z a)
1
, esto significa que para evaluar
1
2i
]
C
f(z)dz
obtenemos la serie de Laurent de f(z) alrededorde z = a y utilizamos slo un coeficiente.
Este extravagante mtodo podra mejorarse si se obtuviera el coeficiente deseado sin determinar toda la
serie de Laurent.
Definition Sea f(z) analtica en 0 < |z a|< r. El residuo de f(z) en z = a es el
coeficiente a
1
de (z a)
1
en la serie de Laurent de f(z) alrededor de z = a y
escribimos:
res(f, a) = a
1
.
Si f(z) es analtica en z = a si z = a es una singularidad removible de f(z) vemos que Res(f, a) = 0.
Example calcule
]
C
e
z
(z 2)
2
dz.
donde C es un crculo centrado en z = 2 de radio 1
Solucin:
e
z
(z 2)
2
= ? e
z
=
_
n=0

z
n
n!
y e
z
= e
z2
e
2
entonces
e
z
= e
2
_
n=0

(z 2)
n
n!
y
e
z
(z 2)
2
= (z 2)
2
e
2
_
n=0

(z 2)
n
n!
=
e
2
(z 2)
2
+
e
2
z 2
+ e
2
_
n=2

(z 2)
n2
n!
Res
e
z
(z 2)
2
, 2) = e
2
por lo tanto
]
C
e
z
(z 2)
2
dz = e
2
2i.
Remark Esta integral tambin se puede con la Frmula Integral de Cauchy con
n = 1.
En general, si f(z) es analtica sobre y dentro de una trayectoria cerrada C excepto en el polo z = a de
orden m dentro de C, podemoos representar
f(z) = (z a)
m
(z)
donde (z) es analtica en z = a y (a) = 0. Se puede evaluar
1
2i
]
C
f(z)dz
Res(f, a)
o

m1
(a)
(m1)!
siendo la segunda evaluacin una consecuencia de la Frmula Integral de Cauchy.
Theorem del Residuo de Cauchy Sea C una trayectoria cerrada y f(z) analtica
sobre y dentro de de C con excepcin de los puntos a
1
, ., an dentro de C,
entonces
1
2i
]
C
f(z)dz =
_
k=1

Res(f, a
k
).
Example Sea
f(z) =
e
z
(z 1)
3
sinz
C : |z|= 2
calcule ]
C
f(z)dz.
Solucin: f(z) es analtica en excepto en z = 1, z = 0.
Como calcular rpidamente los residuos
Res(f, 0) y Res(f, 1)?.
Supongamos que f(z) posee un polo de orden m en z = a, entonces :
f(z) = (z a)
m
(z) para 0 < |z a|< r
donde (z) es analtica en z = a y (a) = 0.
(z) =
_
n=0

n
(a)
n!
(z a)
n
por lo tanto
f(z) =
_
n=0

n
(a)
n!
(z a)
nm
y
Res(f, a) =

m1
(a)
(m 1)!
donde (z) = (z a)
m
f(z).
En particular, si a es un polo simple
Res(f, a) = (a)
donde (z) = (z a)f(z).
Theorem Sea f(z) =
g(z)
h(z)
donde g y h son analticas en z = a ,g(a) = 0 y h(z) tiene un
cero simple en z = a, entonces f(z) tiene un polo simple en z = a y
Res(f, a) =
g(a)
h
'
(a)
.
Theorem Si f(z) =
g(z)
h(z)
donde g y h son analticas en z = a, g(a) = 0 y h(z) tiene un
cero de orden 2 en z = a entonces
Res(f, a) =
6g
'
(a)h
''
(a) 2g(a)h
'''
(a)
3|h
'
(a)]
2
.
Regresando al ejercicio anterior, calculemos el Res(f, 1).
z = 1 es un polo de orden 3 pues:
f(z) =
e
z
sinz
(z 1)
3
, (1) =
e
sin1
= 0
Sabemos que
Res(f, a) =

31
(a)
(3 1)!
=

2
(a)
2!
pero

'
(z) =
e
z
(sinz cos z)
sin
2
z
y

''
(z) =
2e
z
(2 sin2z)
sin
3
z
as

''
(1) =
2e(2 sin2)
sin
3
1
y
Res(f, 1) =
e(2 sin2)
sin
3
1
.
Para el Res(f, 0)
f(z) =
e
z
(z1)
3
sinz
=
g(z)
h(z)
f tiene polo simple en z = 0 y
Res(f, 0) =
g(0)
h(0)
=
e
0
1
cos 0
= 1.
Por lo tanto:
]
e
z
(z 1)
3
sinz
dz = 2i
e(2 sin2)
sin
3
1
1
Claim En el caso en que f(z) tenga una singularidad escencial en z = a, no
tenemos regla alguna para calcular el Res(f, a). En este caso, debe
determinarse apartir de la serie de Laurent para f en z = a.
Example Sea f(z) =
e
z
z(z
2
+1)
. f(z) tiene polos simples en z = 0, i, i.
g(z) = e
z
, h(z) = z
3
+ z, h'(z) = 3z
2
+ 1
as
Res(f, 0) =
g(0)
h'(0)
=
1
1
= 1, Res(f, i) =
g(i)
h'(i)
=
e
i
2
, Res(f, i) =
g(i)
h'(i)
=
e
i
2
.