Funciones Complejas

CLASE 10.
Sea D

Funciones Complejas

C un conjunto no vaco. Consideremos una funcin w = f (z), f

:D

CC

que asigna a cada elemento z D (D es el dominio de definicin de f ) un nico elemento

C. El rango de f es el conjunto de todas las imgenes, a travs de f , de los elementos de

D.
Se dir que dos funciones f : D

C C y g : D C C son iguales si f (z) = g(z)

para todo z D (adems de cumplirse que Dom(f ) = Dom(g)).

Para cada z D el valor f (z) de f en z es un nmero complejo y podemos escribir (usando
la forma binmica de los nmeros complejos) que f (z) = u(z)+ iv(z), donde u : D
yv:D

C R

C R son funciones reales. Como, a su vez, z C, entonces podemos escribir

z = x + iy = (x, y), de donde, al sustituir en f obtenemos f (z) = u(x, y) + iv(x, y). A la funcin
(escalar, de dos variables reales) u(x, y) la llamamos la parte real de f , mientras que a (la funcin
escalar, de dos variables reales) v(x, y) la llamamos la parte imaginaria de f . Recprocamente,
z + z
z z
dada w = u(x, y) + iv(x, y), entonces la sustitucin x =
yy =
(propiedades (e)
2
2i
y (f), respectivamente) en u(x, y) y v(x, y) nos permite obtener la f original, expresada como
una funcin de z, w = f (z).
Ejemplo 10.1. Para la funcin f (z) = z2 + 1, halle u(x, y) y v(x, y).

Solucin. Hacemos z = x + iy. Sustituyendo, nos queda

f (z) = (x + iy)2 + 1

= x2 + 2xyi y2 + 1
= (x2 y2 + 1) + i(2xy).
As, u(x, y) = (x2 y2 + 1) y v(x, y) = 2xy.
Recprocamente, si w = (x2 y2 + 1)+ i(2xy), hacemos x =

)2

)2

z + z
z z
w=

+ 1 + i2
2
2i
z2 z2
2z2 + 2z2
+1+
=
4
2
2z2
=
+ 1 = z2 + 1.
2
Notas de Matemticas VI

z z
z + z
yy =
y sustituimos
2
2

z + z
2

)(

z z
2i

Luis J. Navarro y Ramn Navarro

Funciones Complejas

10.1

Sucesiones Complejas

Definicin 10.2 (Sucesin Compleja). Si, como es usual,

N denota el conjunto de los nmeros

naturales 1, 2, 3, . . ., entonces una sucesin de nmeros complejos se define por medio de una
funcin f :

N C. Escribiendo f (1) = z

, f (2) = z2 , f (3) = z3 , . . . , f (n) = zn , . . .

diremos que zn es el trmino n-simo de la sucesin y, por brevedad, usaremos la notacin (zn )
para denotar dicha sucesin. La sucesin (zn ) se dice que converge al nmero complejo l si
para cada > 0 existe un nmero natural N = N() tal que |zn l| < para todo n N. En
tal caso escribiremos zn l o que lim zn = l.
n

Las propiedades son similares al caso real:

Teorema 10.3. i) Si el lmite existe, es nico.

ii) La suma o diferencia de dos sucesiones convergentes es convergente. El producto de dos sucesiones convergente es convergente y el cociente de dos sucesiones convergentes es convergente (siempre y cuando
la sucesin que est en el denominador no converja a 0). Esto lo expresamos de la siguiente manera:
Si lim zn = l1 y lim wn = l2 , entonces
n

a) lim [zn wn ] = l1 l2 .
n

b) lim zn wn = l1 l2 .
n

zn
l1
=
n wn
l2

c) lim

(l2 = 0).

iii) Si (zn ) es una sucesin convergente, entonces es acotada (Se dice que una sucesin (zn ) es acotada

N).
+ iy , n N. La sucesin (z ) converge al lmite

si existe una constante K > 0 tal que |zn | < K para todo n
iv) Consideremos una sucesin (zn ) donde zn = xn

l = x0 + iy0 si y slo si xn x0 y yn y0 . Es decir, la convergencia de la sucesin (zn ) es

equivalente a la convergencia de las dos sucesiones reales (xn ) = (Re(zn )) y (yn ) = (Im(zn )).
Diremos que la sucesin de nmeros complejos (zn ) diverge al lmite , lo cual escribiremos
lim zn = (o tambin zn ), si para cualquier nmero real k > 0, existe un nmero

natural N tal que |zn | > k para todo n > N.

Notas de Matemticas VI

Luis J. Navarro y Ramn Navarro

Funciones Complejas

Geomtricamente, sta definicin corresponde a la siguiente afirmacin: dado cualquier

crculo con centro en z0 = 0, todos los puntos zn de la sucesin, a partir de un nmero natural

n suficientemente grande, estn en el exterior de este crculo.

10.2

Series Numricas de Nmeros Complejos

Definicin 10.4 (Series Numricas de Nmeros Complejos). Dada (zn ) una sucesin de nmeros complejos, formamos la sucesin de sumas parciales S1 , S2 , S3 , . . . , Sn , . . ., definidas por

S1 = z1
S2 = z1 + z2 = S1 + z2
S3 = z1 + z2 + z3 = S2 + z3
..
.
Sn = z1 + z2 + z3 + + zn = Sn1 + zn
..
.
La sucesin (Sn ) de sumas parciales determina una serie de nmeros complejos y al lmite
de (Sn ) lo representaremos por el smbolo

zn .

n=1

Si la sucesin (Sn ) es convergente se dir que la serie

zn es convergente. En tal caso, si

n=1

lim Sn = S, llamaremos a S la suma de la serie y escribiremos

zn = S.

n=1

La serie se dice divergente si lim Sn = o si dicho lmite no existe.

n

Algunas propiedades:
a) La serie
y

(
zn converge a la suma S

n=1

es decir,

n=1

)
zn = S

si y slo si

Re(zn ) = Re(S)

n=1

Im(zn ) = Im(S).

n= 1

Notas de Matemticas VI

Luis J. Navarro y Ramn Navarro

Funciones Complejas

b) Como sucede en el caso real, si

entonces

zn = S y

n=1

[zn wn ] = S T y

n=1

wn = T son dos series convergentes,

n=1

c zn = c S, para cualquier c constante.

n=1

c) Criterio de Cauchy: La serie

zn converge si para cada > 0 existe un nmero natural

n=1

N = N() tal que |Sn Sm | = |zm+1 + zm+2 + + zn | < , para todos m, n naturales tales
que n > m > N.
d) Si la serie

zn converge entonces lim zn = 0.

n

n= 1

Se dice que la serie

zn es absolutamente convergente si la serie

n=1

|zn | es convergente.

n=1

e) Si una serie de nmeros complejos converge absolutamente, entonces tambin converge.

f) Sean

n= 1

zn y

wn dos series complejas. Si |zn | |wn |, para todo n > N0 (siendo N0 cierto

n=1

nmero positivo) y si

wn converge absolutamente, entonces

n=1

mente.

zn converge absoluta-

n=1



 zn+1 
 = L (o que
g) Supongamos que (zn ) es una sucesin de nmeros complejos y que lim 
n
zn 

n
zn es absolutamente convergente. Si L > 1
lim |zn | = L). Si L < 1 entonces la serie
n

entonces la serie

n=1

zn es divergente.

n=1

10.3

Lmite de Funciones Complejas

Consideremos una funcin compleja f , definida en un conjunto (no necesariamiento abierto) D de

C, f : D C C, y sea z

un punto de D o de la frontera de D (z0 D D).

Definicin 10.5 (Lmite de Funciones). Se dice que el lmite de la funcin f en el punto z0 es l

(lo cual escribiremos lim f (z) = l ) si para cada > 0 existe un nmero 0 < = () tal que
zz0

z D y 0 < |z z0 | < implican que | f (z) l | < .

Si no existe l con esta propiedad diremos que el lmite no existe.

Notas de Matemticas VI

Luis J. Navarro y Ramn Navarro

Funciones Complejas

Las propiedades de lmites de funciones complejas coinciden con las del caso real:
a) Si el lmite de f existe, es nico.
b) Supongamos que lim f (z) = l1 y lim g(z) = l2 . Entonces:
zz0

zz0

i) lim [ f (z) g(z)] = l1 l2 .

zz0

ii) lim [ f (z)g(z)] = l1 l2 .

zz0

iii) lim k f (z) = k l1 , para cualquier constante (compleja) k.

zz0

iv) lim

zz0

l1
f (z)
= , siempre que l2 = 0.
g(z)
l2

c) lim f (z) = l si y slo si lim Re (f ) = Re (l ) y lim Im (f ) = Im (l ) (note que cada uno de

zz0

zz0

zz0

stos dos ltimos lmites puede verse como un lmite de funciones escalares de dos variables
reales).
Una funcin p definida por p(z) = a0 + a1 z + a2 z2 + + an zn , siendo a0 , a1 , a2 , . . . , an
nmeros complejos y an = 0, ser llamada un polinomio de grado n.
p(z)
Si p(z) y q(z) son polinomios, la funcin f (z) =
se dice una funcin algebraica racional.
q(z)

10.4

Continuidad de Funciones Complejas

Definicin 10.6 (Continuidad de una funcin compleja). Sea f : D

C C y sea z

D.

Se dice que f es continua en z0 si lim f (z) = f (z0 ).

zz0

Observemos que en esta definicin, como en el caso real, se tienen tres condiciones: est
definido f (z0 ), existe lim f (z) y son iguales el lmite y el valor de la funcin en el punto.
zz0

La funcin f se dice continua en un conjunto E D si y slo si f es continua en cada punto

de E . Igual que en el caso real, se cumplen las siguientes propiedades referidas a continuidad
(siendo stas consecuencias de los teoremas sobre las propiedades de los lmites):
a) Sean f y g funciones complejas definidas en D , continuas en un punto z0 D . Entonces:
i) f g es continua en z0 .
ii) k f es continua en z0 , siendo k cualquier constante (compleja).
iii) f g es continua en z0 .

Notas de Matemticas VI

Luis J. Navarro y Ramn Navarro

Funciones Complejas

iv)

f
es continua en z0 , siempre que g(z0 ) = 0.
g

b) Sean f y g funciones complejas, f : D

C C, g : U C C, tales que f (D) U .

Si f es continua en z0 D y si g es continua en f (z0 ), entonces la funcin compuesta g f

es continua en z0 .

z
no existe.
z0
z

Ejemplo 10.7. Demuestre que lim

z
x + iy
= lim
. Tomando lmites iterados
z 0
z (x,y)(0,0) x iy

Solucin. Escribimos z = x + iy. As lim

encontramos que

x + iy
x
= lim = 1
x0 y0 x iy
x 0 x
iy
x + iy
= lim
= 1.
lim lim
y0 iy
y0 x0 x iy
lim lim

Luego, no existe el lmite (gracias a la Propiedad (a)).

Ejemplo 10.8. Estudie la convergencia absoluta de la serie

in
n=1

Solucin. Aplicando el criterio del cociente,



 zn+1 
= lim n = 1,
lim 
n zn 
n n + 1
as que el Criterio del Cociente no decide.
in
Escribimos zn = xn +iyn donde zn = . Separando parte real y parte imaginaria, se obtienen
n
las dos series reales

n= 1

xn =

(1)n
n=1

2n

n=1

yn =

(1)n1
n=1

2n 1

las cuales son series alternantes convergentes (Leibniz, Matemticas 4), y as la serie de parti n

i 
1
1
in


y la serie real
diverge, entonces la serie
no
da es convergente. Como   =
n
n
n
n
n=1
n=1
converge absolutamente.

Notas de Matemticas VI

Luis J. Navarro y Ramn Navarro