w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 1
Funciones analticas
1.1. Denicion y propiedades algebraicas de los
n umeros complejos
Denicion 1.1. C =
_
R
2
, +,
_
, con la suma y el producto denidos por
(x
1
, y
1
) + (x
2
, y
2
) = (x
1
+ x
2
, y
1
+ y
2
)
(x
1
, y
1
) (x
2
, y
2
) = (x
1
x
2
y
1
y
2
, x
1
y
2
+ x
2
y
1
).
Justicacion:
La suma y la multiplicacion de los pares de la forma (x, 0) C coinciden con la
de los n umeros reales x R
=(x, 0) x R
=R

= {(x, 0) : x R} C
i = (0, 1) =i
2
= i i = (0, 1) (0, 1) = (1, 0) = 1.
(x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + i y
=(x
1
+ i y
1
)(x
2
+ i y
2
) = (x
1
x
2
y
1
y
2
) + i (x
1
y
2
+ x
2
y
1
)
es la formula tradicional para multiplicar los n umeros complejos x
1
+ i y
1
y
x
2
+ i y
2
.
z = x + i y =x = Re z, y = Imz.
Al ser C = R
2
(como conjuntos), la igualdad en C se dene mediante
z = x + i y = w = u + i v x = u, y = v
En particular,
z = x + i y = 0 x = y = 0.
Proposicion 1.2. C es un cuerpo: para todo z, w, s C se cumple
z + w = w + z z w = wz
z + (w + s) = (z + w) + s z (ws) = (z w) s
z + 0 = z 1 z = z
z C t.q. z + (z) = 0 z = 0 =z
1
C t.q. z z
1
= 1
z(w + s) = z w + z s.
1
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 2
Demostracion. Obviamente, z = x + i y = z = x i y. La existencia de inverso
resp. del producto para todo z = x + i y = 0 se deduce del siguiente calculo:
z
1
= u + i v =z z
1
= (xu y v) + i(xv + y u) = 1

_
xu y v = 1
y u + xv = 0
u =
x
x
2
+ y
2
, v =
y
x
2
+ y
2
(z = 0 x
2
+ y
2
= 0)
z
1
=
x
x
2
+ y
2
i
y
x
2
+ y
2
.
Q.E.D.
Notacion:
z
w
= z w
1
, z
n
= z z z
. .
n veces
(n N).
C no es un cuerpo ordenado: si lo fuera,
i
2
= i i = 1 0.
Races cuadradas (metodo algebraico):
Si z = x + i y, queremos hallar todos los w = u + i v C tales que w
2
= z:
w
2
= z u
2
v
2
+ 2 i uv = x + i y

_
u
2
v
2
= x
2 uv = y
=x
2
+ y
2
= (u
2
+ v
2
)
2
=u
2
+ v
2
=
_
x
2
+ y
2
=u
2
=
1
2
(x +
_
x
2
+ y
2
), v
2
=
1
2
(x +
_
x
2
+ y
2
)
=w =
_

__
x+

x
2
+y
2
2
+ i sig y
_
x+

x
2
+y
2
2
_
, y = 0

x, y = 0, x 0
i

x, y = 0, x < 0.
Las races cuadradas de un n umero complejo z = 0 son dos n umeros complejos distintos
(de signos opuestos). Las races cuadradas de z son reales si y solo si z R
+
{0}, e
imaginarias puras si y solo si z R

.
Ejemplo 1.3. Las races cuadradas de 3 4 i son

_
_
8
2
i
_
2
2
_
= (2 i).
Los siguientes resultados, bien conocidos en el campo real, son consecuencia inmediata
de la estructura de cuerpo que posee C:
Las ecuaciones cuadraticas con coecientes complejos se pueden resolver utilizando
la formula usual:
a z
2
+ b z + c = 0 z =
1
2a
_
b
_
b
2
4ac
_
a, b, c C.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 3
El teorema del binomio de Newton es valido en el campo complejo:
(a + b)
n
=
n

i=0
_
n
i
_
a
i
b
ni
, a, b C, n N.
1.2. Modulo y argumento. Formula de de Moivre.
Races. Conjugacion.
Geometricamente, los n umeros complejos se pueden identicar con los puntos del
plano haciendo corresponder al complejo z = x + i y el punto (x, y). De ah que el
conjunto C reciba el nombre de plano complejo. Es tambien corriente cuando se
utiliza esta representacion geometrica de C denominar eje real al eje horizontal y
eje imaginario al vertical (g. 1.1).
x
y
z
z
Figura 1.1: Plano complejo.
Si z = x + i y C, se denen el modulo y el complejo conjugado de z respectiva-
mente como sigue:
|z| =
_
x
2
+ y
2
(distancia al origen)
z = x i y (reexion respecto del eje real)
=Re z =
1
2
(z + z), Imz =
1
2i
(z z)
Propiedades:
i) z = z
ii) z + w = z + w
iii) z w = z w =1/z = 1/z
iv) |z| = |z|
v) zz = |z|
2
=
_

_
z = 0 z
1
=
z
|z|
2
|z| = 1 z = z
1
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 4
vi) |z w| = |z| |w| (elevar al cuadrado) =

z
1

= |z|
1
vii) w = 0 =z/w = z/w, |z/w| = |z| / |w|
(consecuencia de iii) y vi))
viii) |Re z| |z| , |Imz| |z| (|z| Re z, Imz |z|)
Desigualdad triangular: |z + w| |z| +|w|
|z + w|
2
= (z + w)(z + w) = |z|
2
+|w|
2
+ (zw + zw) = |z|
2
+|w|
2
+ 2 Re(zw)
|z|
2
+|w|
2
+ 2 |zw| = |z|
2
+|w|
2
+ 2 |z| |w| = (|z| +|w|)
2
.
Consecuencias:
i) ||z| |w|| |z w|
|z| = |(z w) + w| |z w| +|w| =|z| |w| |z w| ;
cambiando z por w se obtiene |w| |z| |z w|.
ii) |z| > |w| =
1
|z w|

1
|z| |w|
1.2.1. Argumento
z

Figura 1.2: Denicion de argumento.

Dado 0 = z C, existe R t.q.
z = |z| (cos + i sen ) (g. 1.2).
El n umero esta denido modulo un m ultiplo entero de 2. Por ejemplo,
z = 1 = {0, 2, 4, . . . } = {2 k : k Z} .
Denicion 1.4. arg z (argumento de z): cualquier t.q. z = |z| (cos +i sen ).
=arg no es una funcion.
arg z = cualquiera de los angulos orientados formados por el vector z con el eje
real positivo.
Ejemplos:
arg i {/2 + 2 k : k Z}
arg(1 i) {5/4 + 2 k : k Z} = {3/4 + 2 k : k Z} .
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 5
Para que sea unico, basta imponerle la condicion adicional de que pertenezca
a un cierto intervalo semiabierto I de longitud 2 (como [0, 2), (, ], etc.)
Escoger este intervalo I se conoce como tomar una determinacion del argumento
=arg
I
: C{0} I
arg
I
(z) = unico valor de arg z que pertenece a I
Ejemplo: arg
[0,2)
(1 i) = 5/4, arg
(,]
(1 i) = 3/4.
Determinacion principal del argumento:
Arg = arg
(,]
Ejemplo:
1 i 1 1 i i 1 i
Arg 0 /2 3/4 /2 /4
Claramente, Arg : C{0} (, ] es discontinua en R

{0}. Analogamente,
arg
[0,2)
es discontinua en R
+
{0}. En general, arg
[
0
,
0
+2)
(o arg
(
0
,
0
+2]
) es
discontinua en la semirrecta cerrada que forma un angulo
0
con el semieje real
positivo.
Forma trigonometrica o polar de los n umeros complejos:
z = 0 =z = r(cos + i sen ), r = |z| , = arg z.
z, w = 0; z = w
_
|z| = |w| , arg z = arg w mod 2
_
.
Interpretacion geometrica del producto en C:
z
1
z
2
= r
1
(cos
1
+ i sen
1
) r
2
(cos
2
+ i sen
2
)
= r
1
r
2
[(cos
1
cos
2
sen
1
sen
2
) + i(cos
1
sen
2
+ sen
1
cos
2
)]
= r
1
r
2
[cos(
1
+
2
) + i sen(
1
+
2
)]
De este calculo se sigue que |z
1
z
2
| = |z
1
| |z
2
| y
arg(z
1
z
2
) = arg z
1
+ arg z
2
mod 2. (1.1)
Arg(z
1
z
2
) = Arg z
1
+ Arg z
2
. Por ej.,
Arg(i) = /2 = Arg(1) + Arg i = 3/2.
Consecuencias:
(zz
1
= 1 ) arg(z
1
) = arg z mod 2
(zz = |z|
2
0 ) arg(z) = arg z mod 2
(w = 0 z/w w = z ) arg(z/w) = arg z arg w mod 2.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 6
1.2.2. Formula de de Moivre
A partir de (1.1) se demuestra por induccion la formula de de Moivre:
z = r(cos + i sen ) =z
n
= r
n
_
cos(n) + i sen(n)

, n N.
z
1
= r
1
_
cos() + i sen()

= la formula vale para todo n Z.

Ejemplo:
(cos + i sen )
3
= cos(3) + i sen(3)
= (cos
3
3 cos sen
2
) + i(3 cos
2
sen sen
3
)
=
_
_
_
cos(3) = cos
3
3 cos sen
2

sen(3) = 3 cos
2
sen sen
3
.
1.2.3. Races n-esimas
Si z = r(cos + i sen ) = 0, hallemos todas las soluciones w C de la ecuacion
w
n
= z (n N):
w = 0 =w = (cos + i sen )
w
n
=
n
_
cos(n) + i sen(n)

= r(cos + i sen )

_
_
_

n
= r =
n

r r
1/n
n = + 2k, k Z
w =
n

r
_
cos
_

n
+
2k
n
_
+ i sen
_

n
+
2k
n
__
, k = 0, 1, . . . , n 1.
= un n umero complejo no nulo tiene n races n-esimas distintas.
Ejemplo:
w
3
= i w = cos
_

6
+
2k
3
_
+ i sen
_

6
+
2k
3
_
, k = 0, 1, 2
w =
1
2
(

3 + i),
1
2
(

3 + i), i.
En particular, las n races n-esimas de la unidad (z = 1) son los n umeros

k
= cos
_
2k
n
_
+ i sen
_
2k
n
_
, k = 0, 1, . . . , n 1
(vertices de un polgono regular de n lados inscrito en la circunferencia unidad).
Notese que
k
=
k
, siendo =
1
= cos
_
2
n
_
+ i sen
_
2
n
_
.
Ejemplo: las races sextas de la unidad son
_
cos
_

3
_
+ i sen
_

3
__
k
=
1
2
k
(1 + i

3)
k
, k = 0, 1, . . . , 5
= 1,
1
2
(1 + i

3),
1
2
(1 + i

3), 1,
1
2
(1 + i

3),
1
2
(1 i

3).
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 7
Ejercicio. Probar que las n races n-esimas de z = 0 estan dadas por
n

z
k
, k = 0, 1, . . . , n 1,
donde
n

z denota cualquier raz n-esima de z.

1.3. La funcion exponencial, funciones trigonometricas e
hiperbolicas, logaritmos y potencias
1.3.1. Funcion exponencial
Si t R,
e
t
=

k=0
t
k
k!
cos t =

k=0
(1)
k
t
2k
(2k)!
sen t =

k=0
(1)
k
t
2k+1
(2k + 1)!
.
Sea z = x + i y C; la propiedad e
t
1
+t
2
= e
t
1
e
t
2
sugiere denir e
z
= e
x
e
iy
. A su vez,
procediendo formalmente se obtiene
e
iy
=

n=0
i
n
y
n
n!
=

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

k=0
i
2k
y
2k+1
(2k + 1)!
= cos y + i sen y (ya que i
2k
= (i
2
)
k
= (1)
k
).
Denicion 1.5. Para todo z = x + i y C (x, y R), denimos
e
z
= e
x
(cos y + i sen y).
Nota: Si z R, la exponencial compleja se reduce a la exponencial real.
Valores particulares:
e
0
= 1, e
i/2
= i, e
i
= 1, e
3i/2
= i, e
2i
= 1.
Propiedades: Para todo z, w C se tiene
i) e
z+w
= e
z
e
w
.
ii) e
z
= 0, para todo z C.
iii) |e
z
| = e
Re z
, arg(e
z
) = Imz mod 2.
iv) e
z
= 1 z = 2ki, con k Z.
v) e
z
es una funcion periodica, cuyos perodos son los n umeros 2ki con k Z.
Demostracion:
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 8
i) z = x + i y, w = u + i v =
e
z
e
w
= e
x
(cos y + i sen y)e
u
(cos v + i sen v)
= e
x+u
[cos y cos v sen y sen v + i(sen y cos v + cos y sen v)]
= e
x+u
[cos(y + v) + i sen(y + v)] = e
z+w
.
ii) e
0
= 1 =e
z
e
z
= 1 =(e
z
)
1
= e
z
.
iii) Obvio.
iv) e
z
= e
x
(cos y + i sen y) = 1 e
x
= 1, y = 0 mod 2
x = 0, y = 2k (k Z).
v) e
z
= e
z+w
e
w
= 1 w = 2ki (k Z).
z = |z| e
i arg z
; e
z
= e
z
.
1.3.2. Funciones trigonometricas e hiperbolicas
Si y es real entonces
e
iy
= cos y + i sen y, e
iy
= cos y i sen y
=cos y =
1
2
_
e
iy
+ e
iy
_
, sen y =
1
2i
_
e
iy
e
iy
_
.
Denicion 1.6. Para todo z C se dene
cos z =
1
2
_
e
iz
+ e
iz
_
, sen z =
1
2i
_
e
iz
e
iz
_
.
(De nuevo, si z es real cos z y sen z se reducen a las correspondientes funciones reales.)
Propiedades: para todo z, w C se tiene
i) cos(z) = cos(z), sen(z) = senz.
ii) cos(z + w) = cos z cos w sen z sen w,
sen(z + w) = sen z cos w + cos z sen w.
iii) cos z = sen
_

2
z
_
= sen
_

2
+ z
_
.
iv) cos
2
z + sen
2
z = 1.
v) cos z = cos(z), sen z = sen(z).
vi) sen z = 0 z = k (k Z).
vii) cos z y sen z son funciones periodicas de perodo 2k, con k Z.
Demostracion:
i) Trivial.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 9
ii) Por ejemplo
cos z cos w sen z sen w =
1
4
_
e
iz
+ e
iz
_ _
e
iw
+ e
iw
_
+
1
4
_
e
iz
e
iz
_ _
e
iw
e
iw
_
=
1
2
(e
iz
e
iw
+ e
iz
e
iw
) = cos(z + w).
iii) Caso particular de las formulas anteriores
iv) Hacer w = z en la formula para cos(z + w).
v) Consecuencia de e
w
= e
w
.
vi) sen z = 0 e
iz
e
iz
= 0 e
2iz
= 1 2iz = 2ki
(k Z) z = k (k Z).
vii) Por el apartado iii), basta probar la armacion para la funcion sen. La igualdad
sen(z + w) = sen z es equivalente a (e
i(2z+w)
1)(e
iw
1) = 0. Para que esta
igualdad se cumpla para todo z C para un w jo es necesario y suciente que
e
iw
1 = 0, es decir que iw sea un m ultiplo entero de 2i.
tan z = sen z/ cos z, sec z = 1/ cos z (z = /2 + k, k Z);
cot z = cos z/ sen z = 1/ tan z, csc z = 1/ sen z (z = k, k Z).
Funciones hiperbolicas: para todo z C se dene
cosh z =
1
2
_
e
z
+ e
z
_
, senhz =
1
2
_
e
z
e
z
_
.
cosh z = cos(iz), senh z = i sen(iz)
De aqu se deducen las propiedades de las funciones hiperb olicas. Por ejemplo:
cosh
2
z senh
2
z = 1.
sen z = sen(x + iy) = sen xcos(iy) + cos xsen(iy)
= sen xcosh y + i cos xsenh y.
tanh z = senhz/ cosh z = i tan(iz) (z = i/2 + ki, k Z).
1.3.3. Logaritmos
En R, exp : R R
+
(exp(t) = e
t
) es una aplicacion biyectiva. Su inversa es la
funcion log : R
+
R. Por denicion,
log x = y x = e
y
(=x > 0).
En C, exp no es invertible al no ser inyectiva (por ser periodica). De hecho, se
tiene:
e
w
= z =z = 0;
w = u + i v =e
u
(cos v + i sen v) = z = 0

_
e
u
= |z| u = log |z|
v = arg z mod 2
w = log |z| + i arg z mod 2i .
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 10
Si z = 0, la ecuacion e
w
= z tiene innitas soluciones, que dieren entre s en
m ultiplos enteros de 2i. Si I es un intervalo semiabierto de longitud 2, podemos
escribir
z = 0, e
w
= z w = log |z| + i arg
I
z + 2ki, k Z.
A cada uno de estos (innitos) w se les denomina logaritmos de z = 0.
Ejemplo:
e
w
= 2i w = log 2
i
2
+ 2ki (k Z).
Denicion 1.7. Se dene la determinacion I del logaritmo mediante
log
I
z = log |z| + i arg
I
z, z = 0.
Notese que log
I
: C{0} {s C : Ims I} es una funcion.
La determinacion principal del logaritmo se dene por
Log = log
(,]
.
Ejemplo: Log(2i) = log 2
i
2
, Log(1) = i, Log(1 i) =
1
2
log 2
i
4
.
Propiedades:
i) Para todo z = 0, e
log
I
z
= z.
ii) log
I
(e
w
) = w mod 2i. En particular, log
I
(e
w
) = w Imw I.
iii) log
I
: C{0} {s C : Ims I} es biyectiva.
iv) z, w = 0 =log
I
(z w) = log
I
z + log
I
w mod 2i.
Demostracion:
i) z = 0 =e
log
I
z
= e
log|z|+i arg
I
z
= e
log|z|
e
i arg
I
z
= |z| e
i arg
I
z
= z.
ii) w = u + i v = log
I
(e
w
) = log(e
u
) + i arg
I
(e
w
) = u + i v mod 2i, ya que
arg
I
(e
w
) = Imw mod 2i. log
I
(e
w
) = w = Imw I porque Im(log
I
z) I
para todo z = 0. Recprocamente, si Imw I entonces log
I
(e
w
) = w porque
ambos miembros son iguales modulo 2i y sus partes imaginarias pertenecen a I.
iii) Hay que probar que para todo w con Imw I existe un unico z C {0} tal
que log
I
z = w. Esto es cierto por los apartados anteriores, siendo z = e
w
.
iv) Las exponenciales de ambos miembros coinciden; por tanto, esta propiedad se sigue
de la prop. ii). Otra forma de deducir esta propiedad es observando que
log
I
(zw) = log |zw| + i arg
I
(zw)
= log(|z| |w|) + i(arg
I
z + arg
I
w) mod 2i
= log |z| + log |w| + i(arg
I
z + arg
I
w) mod 2i
= (log |z| + i arg
I
z) + (log |w| + i arg
I
w) mod 2i
= log
I
z + log
I
w mod 2i.
Nota: En general, Log(zw) = Log z + Log w. Por ejemplo,
Log(i) =
i
2
= Log(1) + Log i = i +
i
2
=
3i
2
.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 11
1.3.4. Potencias complejas
Si a, b C y a = 0, e, denimos
a
b
= e
b log a
donde log a = log
I
a + 2ki, k Z.
Por tanto, en general a
b
denota un conjunto de n umeros complejos:
a
b
= e
2kbi
e
b log
I
a
, k Z.
Mas concretamente, se tiene:
i) b Z =a
b
tiene un valor unico ( = a a a
. .
b veces
).
ii) Si b = p/q Q, con p Z y 1 < q N primos entre s, entonces a
b
= a
p/q
toma
exactamente q valores (las q races q-esimas de a
p
).
iii) En los demas casos (b C Q), a
b
tiene innitos valores que dieren entre s en
un factor de la forma e
2kbi
, con k Z.
Ejemplo:
(1 + i)
i
= e
i[Log(1+i)+2ki]
= e
2k
e
i
(
1
2
log 2+
3i
4
)
(k Z)
= e
5
4
+2n
e
i
2
log 2
(n Z).
Si a = 0, cada determinacion de log dene una funcion a
z
( = e
z log
I
a
).
Ejercicio: dados a, b C con a = 0, estudiar si se cumple la igualdad
a
b+c
= a
b
a
c
.
1.4. Lmites y continuidad
Algunos conceptos topologicos:
i) Disco abierto de centro a C y radio r > 0 (entorno):
D(a; r) = {z C : |z a| < r} .
ii) Entorno perforado de a C D(a; r) {a} = {z C : 0 < |z a| < r}.
iii) A C es abierto si contiene un entorno de cada uno de sus puntos:
a A, r > 0 t.q. D(a; r) A.
iv) A C cerrado CA es abierto.
v) A C es compacto A es cerrado y acotado (R > 0 t.q. A D(0; R)).
vi) A C abierto es conexo si para todo par de puntos z, w A hay una curva
continua : [0, 1] A t.q. (0) = z, (1) = w.
vii) Una region o dominio es un subconjunto abierto conexo y no vaco de C.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 12
1.4.1. Lmites
Notacion:
En lo que sigue, A y B denotan conjuntos abiertos,
f : A C
z = x + i y f(z) = u(x, y) + i v(x, y).
u : A R
2
R y v : A R
2
R (la parte real e imaginaria de f, resp.) son
funciones escalares reales.
Si f : A C esta denida en A{a} y l C, lm
za
f(z) = l
> 0 > 0 t.q. z A y 0 < |z a| < =|f(z) l| < .
Propiedades de los lmites:
i) Si existe (es un n umero complejo) lm
za
f(z), dicho lmite es unico.
ii) lm
za
f(z) = l lm
(x,y)a
u(x, y) = Re l y lm
(x,y)a
v(x, y) = Iml.
iii) lm
za
[f(z) + g(z)] = lm
za
f(z) + lm
za
g(z).
iv) lm
za
[f(z)g(z)] = lm
za
f(z) lm
za
g(z).
v) lm
za
g(z) = 0 = lm
za
1
g(z)
=
1
lm
za
g(z)
.
Nota: En iii) y iv), la existencia del MD implica la del MI, pero no nec. viceversa.
Demostracion:
i)iii) son propiedades conocidas de los lmites de funciones R
2
R
2
iv)v) se demuestran como en el caso real (reemplazando el valor absoluto por el modulo).
1.4.2. Continuidad
f : A C denida en A es continua en a A si lm
za
f(z) = f(a).
En particular, f continua en a =f denida en un entorno de a.
f : A C continua en A si y solo si f es continua en todos los puntos de A.
Propiedades:
i) f y g continuas en a =f + g y fg continuas en a.
ii) Si, ademas, g(a) = 0, entonces f/g es continua en a.
iii) f : A C continua en a y h : B C continua en f(a) B =h

f continua en
a.
Ejemplo: los polinomios y las funciones racionales son continuos en todos los puntos de
su dominio.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 13
1.5. Derivabilidad
f : A C denida en A es derivable (en sentido complejo) en a A si existe
lm
za
f(z) f(a)
z a
f

(a).
f : A C es analtica (o holomorfa) en A si es derivable en todos los puntos
de A.
f es analtica en C (conjunto arbitrario) si es analtica en un abierto A C f
es analtica en un entorno de cada punto de C.
En particular, f es analtica en a si es derivable en un entorno de a.
(Notese que f analtica en a es mas fuerte que f derivable en a.)
f : A C derivable en a A =f continua en a:
lm
za
[f(z) f(a)] = lm
za
_
f(z) f(a)
z a
(z a)
_
= lm
za
f(z) f(a)
z a
lm
za
(z a)
= f

(a) 0 = 0.
Propiedades algebraicas:
Si f : A C y g : A C son derivables en z A, y a, b C, se tiene:
i) a f + b g es derivable en z, siendo (a f + b g)

(z) = a f

(z) + b g

(z).
ii) fg es derivable en z, siendo (fg)

(z) = f

(z)g(z) + f(z)g

(z).
iii) Si g(z) = 0, f/g es derivable en z y
(f/g)

(z) =
g(z)f

(z) f(z)g

(z)
g(z)
2
.
Ejemplo: polinomios y funciones racionales.
1.5.1. Ecuaciones de CauchyRiemann
Sea a = a
1
+ i a
2
C, y sea M
a
: C R
2
C R
2
la aplicacion lineal denida
por M
a
z = a z, z C. Entonces la matriz de M
a
(en la base canonica {1, i} de
R
2
) es
_
a
1
a
2
a
2
a
1
_
.
f : A C denida en el abierto A es diferenciable (en sentido real) en z
0
A si
existe una aplicacion lineal Df(z
0
) : R
2
C R
2
C tal que
lm
zz
0
|f(z) f(z
0
) Df(z
0
) (z z
0
)|
|z z
0
|
= 0.
(Notese que el modulo de z = x+i y es la norma del vector (x, y).) A la aplicacion
Df(z
0
) se le denomina derivada (en sentido real) de f en z
0
.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 14
Teorema 1.8. Sea f = u+i v : A C denida en el abierto A, y sea z
0
= x
0
+i y
0
A.
Entonces f es derivable en sentido complejo en z
0
si y solo si se cumple:
i) f es diferenciable en sentido real en (x
0
, y
0
).
ii) Se satisfacen las ecuaciones de CauchyRiemann
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
),
u
y
(x
0
, y
0
) =
v
x
(x
0
, y
0
).
Demostracion.
=) f es diferenciable (en sentido real) en z
0
= (x
0
, y
0
) con derivada Df(z
0
) = M
f

(z
0
)
,
ya que
lm
zz
0
|f(z) f(z
0
) f

(z
0
)(z z
0
)|
|z z
0
|
= lm
zz
0

f(z) f(z
0
) f

(z
0
)(z z
0
)
z z
0

= lm
zz
0

f(z) f(z
0
)
z z
0
f

(z
0
)

= 0.
Sea u
x
=
u
x
(x
0
, y
0
), y analogamente u
y
, v
x
, v
y
. Igualando la matriz de Df(z
0
) en la
base canonica de R
2
(matriz jacobiana) con la de M
f

(z
0
)
se obtiene
_
u
x
u
y
v
x
v
y
_
=
_
Re f

(z
0
) Imf

(z
0
)
Imf

(z
0
) Re f

(z
0
)
_
,
de donde se obtienen las ecs. de CauchyRiemann, junto con las relaciones
f

(z
0
) = u
x
+ i v
x
= v
y
i u
y
.
=) Por las ecs. de CauchyRiemann, la matriz jacobiana de f en z
0
es
_
u
x
v
x
v
x
u
x
_
= M
c
,
siendo c = u
x
+ i v
x
. De esto se sigue que Df(z
0
) (z z
0
) = c(z z
0
), y por tanto
0 = lm
zz
0
|f(z) f(z
0
) c(z z
0
)|
|z z
0
|
= lm
zz
0

f(z) f(z
0
)
z z
0
c

(z
0
) = c u
x
+ i v
x
= v
y
i u
y
.
Q.E.D.
De la demostracion del teorema se sigue que si f = u + i v es derivable en sentido
complejo en z
0
= x
0
+ i y
0
entonces
f

(z
0
) = u
x
(x
0
, y
0
) + i v
x
(x
0
, y
0
)
f
x
(z
0
)
= v
y
(x
0
, y
0
) i u
y
(x
0
, y
0
)
1
i
f
y
(z
0
).
El teorema anterior puede formularse tambien de la siguiente forma alternativa:
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 15
Teorema 1.9. Sea f : A C denida en un abierto A, y sea z
0
= x
0
+ i y
0
A.
Entonces f es derivable en sentido complejo en z
0
si y solo si se cumplen las siguientes
condiciones:
i) f es diferenciable en sentido real en (x
0
, y
0
)
ii) Existe c C tal que Df(x
0
, y
0
) = M
c
.
Ademas, si f es derivable en z
0
entonces c = f

(z
0
).
f : A C analtica en una region A y f

= 0 en A =f constante en A.
En efecto, f derivable en sentido complejo en a implica que f es derivable en sentido
real en dicho punto, siendo Df(a) = M
f

(a)
= 0. El resultado anterior se sigue entonces
del resultado analogo para funciones R
n
R
m
.
1.5.2. Regla de la cadena
Si f : A C es derivable en z y g : B C es derivable en f(z) B, entonces g

f
es derivable en z, y se tiene
(g

f)

(z) = g

_
f(z)
_
f

(z). (1.2)
En efecto, f y g son derivables en sentido real en z y f(z), resp., siendo Df(z) =
M
f

(z)
y Dg
_
f(z)
_
= M
g

(f(z))
. Por la regla de la cadena para funciones de R
n
en R
m
,
g

f es derivable en sentido real en z, y se tiene:

D(g

f)(z) = Dg
_
f(z)
_
Df(z) = M
g

(f(z))
M
f

(z)
= M
g

(f(z))f

(z)
,
que implica (1.2) por el Teorema 1.9.
Derivabilidad de las funciones exponenciales y trigonometricas:
f(z) = e
z
= u(x, y) = e
x
cos y, v(x, y) = e
x
sen y = u y v derivables (de clase C

)
en R
2
. Ademas,
u
x
= e
x
cos y = v
y
, u
y
= e
x
sen y = v
x
.
Por tanto, e
z
es derivable (en sentido complejo) en C, siendo
(e
z
)

= u
x
+ i v
x
= e
x
cos y + i e
x
sen y = e
z
, z C.
De las propiedades de la derivada compleja (linealidad y regla de la cadena) se sigue que
sen y cos son derivables en C, siendo
(sen z)

=
i e
iz
+ i e
iz
2i
= cos z, (cos z)

=
1
2
(i e
iz
i e
iz
) = sen z.
De estas formulas se deduce la derivabilidad de las restantes funciones trigonometricas
en todos los puntos de sus dominios. Por ejemplo,
(tan z)

=
cos
2
z + sen
2
z
cos
2
z
= sec
2
z, z =

2
+ k (k Z).
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 16
1.5.3. Teorema de la funcion inversa
Teorema 1.10. Sea f : A C analtica en el abierto A (con f

continua en A). Si
a A y f

(a) = 0, existen sendos abiertos U a y V f(a) tales que f

no se anula
en U y f : U A V es biyectiva. Ademas, f
1
: V U es analtica en V , siendo
(f
1
)

(w) =
1
f

_
f
1
(w)
_
, w V.
Demostracion. f es derivable en sentido real en todo z A, y su matriz jacobiana
_
u
x
(z) v
x
(z)
v
x
(z) u
x
(z)
_
tiene determinante u
2
x
(z) + v
2
x
(z) = |f

(z)|
2
= 0. Por el teorema de la funcion inversa
para funciones R
2
R
2
(notese que la continuidad de f

implica la continuidad de
las derivadas parciales de u y v), hay sendos abiertos U a y V f(a) tales que
f : U A V es biyectiva, Df es invertible en U y f
1
: V U es diferenciable en
sentido real en V , con
D(f
1
)(w) =
_
Df
_
f
1
(w)
_
1
, w V.
Llamando z = f
1
(w) se tiene, por el Teorema 1.9:
D(f
1
)(w) = [Df(z)]
1
= M
1
f

(z)
= M
1/f

(z)
.
(Notese que f

no se anula en U A, al ser |f

(z)|
2
= det Df(z).) De nuevo por el
Teorema 1.9, de esto se deduce que f
1
es derivable en sentido complejo en w, con
derivada 1/f

(z). Q.E.D.
Derivabilidad de log:
Log : C {0} {z C : < Imz } es discontinua en R

{0} (por la
discontinuidad de Arg).
Sin embargo, Log es derivable en el abierto B = C (R

{0}). En efecto, Log

es la inversa global de
exp : A = {z C : < Imz < } B,
y exp satisface las condiciones del teorema de la funcion inversa en todo punto de
A (exp

= exp no se anula y es continua en A).

Si z A y w = e
z
B, hay dos abiertos U z y V w tales que exp : U A V
es invertible en U, y
(exp
1
)

(w) =
1
exp

(z)
=
1
e
z
=
1
w
.
Al ser U A se tiene exp
1
= Log, y por tanto
(Log w)

=
1
w
, w C(R

{0}).
Del mismo modo se prueba la derivabilidad de log
I
(I = [y
0
, y
0
+2) o (y
0
, y
0
+2])
en el abierto C({w : arg w = y
0
mod 2} {0}), siendo log

I
(w) = 1/w.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 17
1.5.4. Transformaciones conformes
Una curva en el plano complejo es una aplicacion : [a, b] C. Se dira que
es una curva diferenciable si Re , Im : [a, b] R son derivables en [a, b]. Si =

1
+i
2
es derivable en [a, b], se dene su derivada

(t) mediante

(t) =

1
(t) +i

2
(t).
Geometricamente,

(t) representa el vector tangente a en el punto (t).

Si f : A C es analtica en el abierto A C y : [a, b] A es una curva
diferenciable, entonces f

es una curva diferenciable, y se tiene
(f

)

(t) = f

_
(t)
_

(t) , t [a, b] .
En efecto, (f

)

(t) = Df
_

(t)
_

(t) = M
f

((t))

(t) = f

_
(t)
_

(t).
Denicion 1.11. Sea z
0
A, con A abierto y f : A C denida en A. Se dira que f es
conforme en z
0
si existen [0, 2) y r > 0 tales que, para toda curva : [1, 1] C
diferenciable en t = 0 con (0) = z
0
y

(0) = 0, la curva = f

es diferenciable en 0,
y se cumple

(0)

= r

(0)

, arg

(0) = arg

(0) + mod 2.
Si f es conforme en todos los puntos de A, diremos que f es conforme en A.
Las transformaciones conformes preservan los angulos entre pares de curvas (de-
nidos como los angulos formados por los vectores tangentes a las curvas en el
punto de interseccion).
Proposicion 1.12. Si f : A C denida en el abierto A es derivable en z
0
A, y
f

(z
0
) = 0, entonces f es conforme en z
0
.
Demostracion. Utilizando la misma notacion que en la Denicion 1.11 se tiene (dado
que f

(z
0
) = 0):

(0) = f

_
(0)
_

(0) = f

(z
0
)

(0)
=

(0)

(z
0
)

(0)

, arg

(0) = arg

(0) + arg f

(z
0
) mod 2.
Se cumple la condicion de la Denicion 1.11, siendo
r =

(z
0
)

> 0, = arg
[0,2)
f

(z
0
).
Q.E.D.
1.5.5. Funciones armonicas
Denicion 1.13. Una funcion u : A R
2
R es armonica en el abierto A si
u C
2
(A), y se cumple

2
u

2
u
x
2
+

2
u
y
2
= 0 en A.
Si f : A C es analtica en el abierto A entonces u = Re f y v = Imf son
armonicas en A. (Se dice que u y v son funciones armonicas conjugadas).
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 18
En efecto, veremos mas adelante que f analtica en A = u, v C

(A). De las
ecuaciones de CauchyRiemann se sigue que
u
xx
=
v
y
x
= v
yx
= v
xy
=
u
y
y
= u
yy
,
y analogamente para v. (Notese que v
xy
= v
yx
por ser v de clase C
2
(A).)
Si f = u + i v : A C es analtica en el abierto A y f

no se anula en A, las dos

familias de curvas planas u(x, y) = c
1
y v(x, y) = c
2
son ortogonales.
En efecto, las dos familias de curvas son regulares, ya que de las ecs. de Cauchy
Riemann se sigue que
u = 0 u
x
= u
y
= 0 =v
x
= v
y
= 0 =f

= 0,
y analogamente para v. Los vectores normales a las curvas u(x, y) = c
1
y v(x, y) =
c
2
en un punto de interseccion (x
0
, y
0
) son ortogonales, ya que
u(x
0
, y
0
) v(x
0
, y
0
) = u
x
(x
0
, y
0
)v
x
(x
0
, y
0
) + u
y
(x
0
, y
0
)v
y
(x
0
, y
0
)
= u
x
(x
0
, y
0
)u
y
(x
0
, y
0
) + u
y
(x
0
, y
0
)u
x
(x
0
, y
0
) = 0,
por las ecuaciones de CauchyRiemann.
Nota: Otra forma de probar el resultado anterior es observar que si z
0
= x
0
+
i y
0
A y f(z
0
) = c
1
+ ic
2
, la imagen bajo f de la curva {z : u(x, y) = c
1
} A
esta contenida en la recta vertical {w : Re w = c
1
}. Analogamente, la imagen de la
curva {v(x, y) = c
2
} A es un subconjunto de la recta horizontal {w : Imw = c
2
}.
Como las rectas Re w = c
1
y Imw = c
2
se cortan ortogonalmente en c
1
+ i c
2
, y f
es conforme en A (ya que es analtica y su derivada no se anula en dicho conjunto),
lo mismo ocurrira con las curvas u(x, y) = c
1
y v(x, y) = c
2
.
Si u : A R
2
C R es armonica en A, z
0
A y U A es un entorno de z
0
,
hay una funcion f : U C analtica en U tal que Re f = u.
En efecto, si z = x + i y U entonces v = Imf debera cumplir:
v
y
= u
x
=v(x, y) =
_
y
y
0
u
x
(x, t) dt + h(x);
v
x
=
_
y
y
0
u
xx
(x, t) dt + h

(x) =
_
y
y
0
u
yy
(x, t) dt + h

(x)
= u
y
(x, y) + u
y
(x, y
0
) + h

(x) = u
y
h

(x) = u
y
(x, y
0
)
=h(x) =
_
x
x
0
u
y
(t, y
0
) dt + c
=v =
_
y
y
0
u
x
(x, t) dt
_
x
x
0
u
y
(t, y
0
) dt + c.
Si v esta dada por la formula anterior f = u+i v es diferenciable (al ser u de clase
C
2
) y cumple las ecuaciones de CauchyRiemann en U =f es analtica en U, y
Re f = u.
Alternativamente, la forma diferencial = u
y
dx +u
x
dy es cerrada en U (al ser
u armonica) = v : U R (de clase C
2
(U)) tal que dv = . Esto implica que
v
x
= u
y
, v
y
= u
x
, por lo que f = u + i v es analtica en U.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. FUNCIONES ANAL

ITICAS 19
En una region, v esta determinada salvo por una constante aditiva. En efecto, si
v
1
y v
2
son armonicas conjugadas de la misma funcion armonica u en la region
A, las funciones f
1
= u + i v
1
y f
2
= u + i v
2
son analticas en A, por lo que
f = f
1
f
2
= i(v
1
v
2
) tambien es analtica en A. Al ser Re f = 0 en A, las
ecuaciones de CauchyRiemann implican que las derivadas parciales de Imf se
anulan en A. Por ser A una region, Imf = v
1
v
2
ha de ser constante en A.
La existencia de armonica conjugada de una funcion armonica dada no esta ase-
gurada globalmente. Por ejemplo, u : A = R
2
{0} R denida por u(x, y) =
1
2
log(x
2
+y
2
) no admite una armonica conjugada en A. Localmente, v = arg
I
z+c,
escogiendo I de forma que arg
I
sea continuo (y por tanto C

) en el entorno consi-
derado, ya que u = log |z| =u+i v = log
I
z +c. Si existiera f analtica en A con
Re f = u entonces f y Log (p. ej.) diferiran en una constante (imaginaria pura)
en la region C(R

{0}). Pero esto es imposible, ya que si x < 0 se tendra (al

ser f continua en A y f = Log +c en C
_
R{0}
_
)
2i = lm
y0+
_
Log(x + i y) Log(x i y)

= lm
y0+
_
f(x + i y) f(x i y)

= f(x) f(x) = 0 .
www.cienciamatematica.com