TEMA 3: VARIABLE COMPLEJA

Ampliacin de Clculo (Grado en Ingeniera)

Escuela Politcnica de Ingeniera de Gijn

1 / 72
CONCEPTOS GENERALES
En los temas de clculo elemental el lector sin duda estudi ampliamente
el concepto de funcin de una y varias variables reales, as como los fun-
damentos bsicos del manejo de los nmeros complejos.
Consideraremos ahora funciones de una variable compleja para las que de-
sarrollaremos, de forma muy resumida, conceptos, como la derivacin, inte-
gracin, series de potencias, etc. El lector debe entender que este captulo
es una mera introduccin a la teora de las funciones de variable compleja,
un tema muy denso del cual aqu damos unas leves pinceladas.

Denicin (Funcin de variable compleja)

Sea S un conjunto de nmeros complejos. Una funcin f denida en S
es una aplicacin que asigna a cada z en S un nmero complejo w . El
nmero w se llama el valor de f en z y se denota:

w = f (z )

El conjunto S se llama dominio de denicin de f .

2 / 72
CONCEPTOS GENERALES
Supngase que w = u + iv es el valor de una funcin f en z = x + iy ; es
decir:
w = f (z ) = f (x + iy ) = u + iv
Cada uno de los nmeros reales u y v dependen de las variables x e y .
Ejemplo 1
Si f (z ) = z 2 , tendremos:

f (z ) = (x + iy )2 = x 2 y 2 + i2xy

por lo que:
u = x2 y2 y v = 2xy

Este ejemplo ilustra cmo una funcin de la variable compleja z se puede

expresar en trminos de dos funciones reales de las variables x e y

f (z ) = u (x, y ) + iv (x, y )

3 / 72
CONCEPTOS GENERALES

La siguiente denicin ser muy importante para luego denir las funciones
elementales.

Denicin (Regin Fundamental)

Sea A un subconjunto de C y f una funcin de A en C tal que f (A) = C.
Un subconjunto A es una regin fundamental de f si cumple:
a) es un abierto conexo de C en el que f es inyectiva.
b) f () es todo C salvo un nmero nito de semirrectas (llamadas cortes).

4 / 72
FUNCIONES ELEMENTALES
Denicin (Funcin potencial de exponente n)
La funcin potencial de exponente n es la aplicacin f : C ! C denida
por:
f (z ) = z n

Si (r , ) son las coordenadas polares de z entonces:

(r n , )
en donde = n son las coordenadas polares de z n .

A partir de la funcin f (z ) = z n , se obtienen las funciones polinmicas

denidas por:
P ( z ) = a0 + a1 z + a2 z 2 + a3 z 3 + + am z m
y las funciones racionales como el cociente de dos polinomios P (z ) y Q (z )
denidas por:
P (z )
h (z ) =
Q (z )
5 / 72
FUNCIONES ELEMENTALES

La imagen por f (z ) = z n de cualquier sector angular del plano complejo

de medida 2/n es todo C salvo una semirrecta, ya que:

0 < < 0 + 2/n ) n 0 < n < n 0 + 2 ) 0 < < 0 + 2

Por lo que dicho sector es una regin fundamental , ya que es conexo y

f () es todo C salvo un corte.

0+2/n
w=z
n

z=w
1/n

L
0 0 +2/n 0 0 +2

6 / 72
FUNCIONES ELEMENTALES

Funcin raz n-sima

La correspondencia que a cada nmero complejo le asocia sus n races
n-simas no es una aplicacin, pues cada z posee n imgenes diferentes.
Esta clase de correspondencias suelen denominarse funciones multiformes
y a cada una de sus formas rama. Para que
p
n
z

sea una aplicacin es necesario aadir alguna condicin que je una nica
rama.

7 / 72
FUNCIONES ELEMENTALES

Dada la funcin potencial w = f (z ) = z n denida en una de sus regiones

fundamentales f : ! C L, que como vimos anteriormente es una
biyeccin, con:
2
= fz 2 C/ 0 < arg z < 0 + g
n
L = fw 2 C/w = 0 o arg w = n 0 g
denimos la funcin raiz n-sima como la funcin inversa
1
f :C L!

y la representamos por p
n
z = g (w ) = w
Por lo tanto para determinar g (w ) hay que jar L y establecer el valor de
g en un punto de C L, pues de esta manera se determina tambin .

8 / 72
FUNCIONES ELEMENTALES

Denicin (Funcin exponencial)

Se llama funcin exponencial a la aplicacin f : C ! C denida por:

f (z ) = e z = e x +iy = e x (cos y + i sen y )

De donde
jf (z )j = je z j = e x y arg e z = y
Es muy sencillo probar que se cumple:

e z1 e z2 = e z1 +z2 ; f (x ) = e x ; f (iy ) = cos y + i sen y ; x, y 2 R

9 / 72
FUNCIONES ELEMENTALES

Una regin fundamental de f es un abierto del plano limitado por dos

rectas paralelas al eje OX que distan entre si 2 (y = a, y = a + 2 ).
La imagen de por f es todo C salvo el corte = a.

w=e
z
y=a+ 2

y=a z = lnw

La

10 / 72
FUNCIONES ELEMENTALES

Denicin (Funcin logaritmo)

Dado un nmero complejo w 6= 0 se llama logaritmo de w a cualquier
nmero complejo z = x + iy tal que e z = w .

Entonces si w = jw je i

e x +iy = jw je i () e x = jw j, e iy = e i

x = ln jw j, y = + 2k, k 2 N () ln w = ln jw j + i ( + 2k )
Se dene as una funcin multiforme:

ln w = ln jw j + i ( + 2k ), k = 0, 1, 2,

La funcin logaritmo se dene siguiendo un proceso anlogo al utilizado

para la funcin raz n-sima.

11 / 72
LOGARITMOS DE UN NMERO COMPLEJO

Ejemplo 2
Calcular:
ln( 1 i)
Solucin:
p 3
ln( 1 i ) = ln 2+i + 2k ; k 2 Z
4

12 / 72
FUNCIONES ELEMENTALES

Dada la funcin exponencial w = f (z ) = e z denida en una de sus

regiones fundamentales f : ! C La , que como vimos anteriormente
es una biyeccin, con:

= fz = x + iy /a < y < a + 2 g

La = fw 2 C/w = 0 o arg w = ag
denimos la funcin logaritmo como la funcin inversa:
1
f :C La !

y la representamos por g (w ) = ln w .
Por lo tanto para determinar g (w ) hay que jar La y establecer el valor de
g en un punto de C La , pues de esta manera se determina tambin .

13 / 72
FUNCIONES ELEMENTALES

Cada una de las funciones logaritmo se denomina rama de la funcin mul-

tiforme ln w . La rama correspondiente a la regin fundamental:

= fz = x + iy / < y < g

o lo que es equivalente al corte La determinado por a = , se llama

rama principal del logaritmo.

z = lnw

14 / 72
FUNCIONES ELEMENTALES

Funciones trigonomtricas e hiperblicas

A partir de la funcin exponencial se denen las funciones trigonomtricas
complejas y las las funciones hiperblicas complejas:

e iz e iz e iz + e iz
sen z = ; cos z =
2i 2
ez e z ez + e z
shz = ; chz =
2 2
De la misma forma en los puntos que no se anulen el denominador, se
denen las funciones:
sen z cos z shz chz
tgz = ; ctgz = ; thz = ; cthz =
cos z sen z chz shz
El alumno puede comprobar que se verican las mismas formulas trigonomri-
cas e hiperblicas que para el caso real.

15 / 72
OPERACIONES CON NMEROS COMPLEJOS
Ejercicio 1
Resolver las siguientes ecuaciones:

(a) z 2 = i; (b ) z 4 = 1; (c ) z 3 = 1 + i
+2k
Solucin: (a) 1b 2
2 , k = 0, 1. (b) 1b +42k , k = 0, 1, 2, 3. (c) 23 /2
+2k
4
b 3 , k = 0, 1, 2.

Ejercicio 2
Encontrar un polinomio en C tal que sus ceros sean los vrtices de un
hexgono regular centrado en el origen y con un vrtice en (1, 0). Calcular
las coordenadas de los vrtices. Solucin: z 6 1 = 0.

Ejercicio 3
Calcular:
(a) ln(1 + i ); (b ) ln 1; (c ) ln( 1)
p
Solucin: (a) ln 2 + i ( 4 + 2k ), k 2 Z. (b) i (2k ), k 2 Z. (c)
i ( + 2k ), k 2 Z.
16 / 72
FUNCIONES ELEMENTALES

Ejercicio 4
Resolver las siguientes ecuaciones:

(a ) z 6 9z 3 + 8 = 0; (b ) z 2 + (2 i )z 2i = 0

Solucin: (a) 2b 2k3 , 1b 2k3 , k = 0, 1, 2. (b) i, 2.

Ejercicio 5
Resolver las siguientes ecuaciones:

(a) sen z = 0; (b ) cos z = 0; (c ) cos z = 2

Solucin: (a) z = k, k 2 Z. (b) z =

2 + k, k 2 Z. (c) z =
p
i ln(2 3) + 2k, k 2 Z.

17 / 72
FUNCIONES ELEMENTALES

Ejercicio 6
Resolver las siguientes ecuaciones:
2
(a) e z = 1 + i; (b ) e z + 1 = 0
p p
Solucin: (a) z = ln 2 + i ( 4 + 2k ), k 2 Z. (b) z = i ( + 2k ),
k 2 Z.

18 / 72
LMITES
Denicin (Lmite)
Sea f una funcin denida en todos los puntos z de algn entorno de z0 ,
salvo posiblemente en el mismo z0 . Se dice que w0 es el lmite de f (z )
cuando z tiende a z0 y se representa por lim f (z ) = w0 , cuando para
z !z 0
cada nmero positivo existe un nmero positivo tal que:

jf (z ) w0 j < siempre que 0 < jz z0 j <

Esto es, el punto w = f (z ) puede quedar arbitrariamente prximo a w0 si

elegimos z sucientemente prximo a z0 pero distinto de l.

Figura: Denicin de lmite.

19 / 72
LMITES
Teorema (Teoremas sobre lmites)
a) Supngase que:

f (z ) = u (x, y ) + iv (x, y ), z0 = x0 + iy0 y w0 = u0 + iv0

Entonces lim f (z ) = w0 si y slo si:

z !z 0

lim u (x, y ) = u0 y lim v (x, y ) = v0

(x ,y )!(x0 ,y0 ) (x ,y )!(x0 ,y0 )

b) Supngase que:

lim f (z ) = w0 y lim F (z ) = W0
z !z 0 z !z 0

Entonces:

lim [f (z ) + F (z )] = w0 + W0 ; lim [f (z )F (z )] = w0 W0
z !z 0 z !z 0
f (z ) w0
lim = , si W0 6= 0
z !z 0 F (z ) W0
20 / 72
CONTINUIDAD
Denicin (Continuidad)
Una funcin f es continua en un punto z0 si se cumplen las tres condiciones
siguientes:
(a) Existe lim f (z )
z !z 0
(b ) Existe f (z0 )
(c ) lim f (z ) = f (z0 )
z !z 0

Una funcin f (z ) se dice que es continua en una regin R, si es continua

en cada punto de R.

Si dos funciones son continuas en un punto, su suma y su producto son

tambin continuos en tal punto, y su cociente es continuo en todo punto
en que el denominador sea distinto de cero.

Una funcin f de una variable compleja es continua en un punto z0 =

(x0 , y0 ), si y slo si sus funciones componentes u y v son continuas en ese
punto.
21 / 72
CONTINUIDAD

Ejemplo 3
Estudiar la continuidad en z = i de la funcin:
( z 2 +1
z i si z 6= i
f (z ) =
3i si z = i

Solucin:
z2 + 1 (z i )(z + i )
lim f (z ) = lim = lim = 2i
z !i z !i z i z !i z i

Debido a que f (i ) = 3i es distinto de:

lim f (z ) = 2i
z !i

la funcin es discontinua en z = i.

22 / 72
DERIVADAS. DEFINICIN

Denicin (Derivada)
La derivada de f en z0 , f 0 (z0 ), se dene por la ecuacin:

f (z0 + z ) f (z0 )
f 0 (z0 ) = lim
z !0 z
supuesto que el lmite exista.

Ejemplo 4
Calcular, con la denicin, la derivada de f (z ) = z 2 .
Solucin:
(z + z )2 z2
f 0 (z ) = lim = lim (2z + z ) = 2z
z !0 z z !0

23 / 72
DERIVADAS. REGLA DE LHOPITAL
Teorema (Regla de LHpital)
Si g (z0 ) = 0 y h (z0 ) = 0, y si g (z ) y h (z ) son diferenciables en z0 con
h0 (z0 ) 6= 0, entonces:

g (z ) g 0 (z ) g 0 (z )
lim = 0 0 = lim 0
z !z 0 h (z ) h (z0 ) z !z 0 h (z )

Desde el punto de vista formal, esta regla es idntica a la que se emplea

en el clculo elemental para evaluar formas indeterminadas con funciones
de variable real.
Ejemplo 5
Calcular:
z 2i
lim
z !2i z 4 16
Solucin: Aplicando LHpital:

z 2i g (z ) g 0 (z ) 1
lim = lim = lim 0 =
z !2i z 4 16 z !2i h (z ) z !2i h (z ) 32i
24 / 72
DERIVADAS. PROPIEDADES

Teorema (Proposicin)
La existencia de la derivada de una funcin en un punto implica la con-
tinuidad de la funcin en tal punto.

Para verlo, suponemos que existe f 0 (z0 ) y escribimos

f (z ) f (z0 )
lim [f (z ) f (z0 )] = lim lim (z z0 ) = f 0 (z0 ) 0 = 0
z !z 0 z !z 0 z z0 z !z 0

de donde se deduce que:

lim f (z ) = f (z0 )
z !z 0

25 / 72
DERIVADAS. ECUACIONES DE CAUCHY-RIEMANN

Se demuestra fcilmente el siguiente teorema.

Teorema (Ecuaciones de Cauchy-Riemann)

Supngase que f (z ) = u (x, y ) + iv (x, y ) y que f 0 (z0 ) existe en un punto
z0 = x0 + iy0 . Entonces, las derivadas parciales de primer orden de u y v
respecto a x e y han de existir en (x0 , y0 ) y han de satisfacer las ecuaciones
de Cauchy-Riemann en ese punto:

ux (x0 , y0 ) = vy (x0 , y0 ) y uy (x0 , y0 ) = vx ( x0 , y0 )

Adems, f 0 (z0 ) viene dada por una cualquiera de las ecuaciones:

f 0 (z0 ) = ux (x0 , y0 ) + ivx (x0 , y0 )

f 0 (z0 ) = vy (x0 , y0 ) iuy (x0 , y0 )

26 / 72
DERIVADAS. ECUACIONES DE CAUCHY-RIEMANN

El que satisfagan las ecuaciones de Cauchy-Riemann en un punto z0 =

(x0 , y0 ) no basta para asegurar la existencia de la derivada de una funcin
f (z ) en ese punto.

Pero bajo ciertas condiciones de continuidad, tenemos el siguiente teorema

de gran utilidad.

Teorema (Teorema de condiciones sucientes)

Supngase que la funcin f (z ) = u (x, y ) + iv (x, y ) est denida en un
entorno de radio de un punto z0 = x0 + iy0 . Supngase tambin que
existen las derivadas parciales de primer orden de las funciones u y v
respecto a x e y en todos los puntos del entorno y que son continuas en
(x0 , y0 ). Entonces, si esas derivadas parciales satisfacen las ecuaciones de
Cauchy-Riemann, existe la derivada f 0 (z0 ) en (x0 , y0 ).

27 / 72
DERIVADAS. ECUACIONES DE CAUCHY-RIEMANN

Ejemplo 6
Estudiar la derivabilidad de la funcin:

f (z ) = jz j2

Solucin: En este caso se cumple que:

f (z ) = jz j2 = (x 2 + y 2 ) + i0
u (x, y ) = x 2 + y 2 ; v (x, y ) = 0

as que

ux (x, y ) = 2x; vy (x, y ) = 0 uy (x, y ) = 2y ; vx (x, y ) = 0

Puesto que las ecuaciones de Cauchy-Riemann no se satisfacen a menos

que x = y = 0, la derivada f 0 (z ) no existe si z 6= 0.

28 / 72
DERIVADAS. ECUACIONES DE CAUCHY-RIEMANN

Las derivadas parciales de primer orden de las funciones u (x, y ) y v (x, y )

existen para todos los puntos de un entorno del punto z = 0 y son continuas
en el punto z = 0. Adems:

ux (0, 0) = 0, vy (0, 0) = 0, uy (0, 0) = 0 y vx (0, 0) = 0,

Por lo que se cumplen las ecuaciones de Cauchy- Rieman en el punto

z = 0:

ux (0, 0) = vy (0, 0) y uy (0, 0) = vx (0, 0)

Por lo que la funcin f (z ) = jz j2 es derivable en z = 0 y adems su

derivada en ese punto es:

f 0 (0) = ux (0, 0) + ivx (0, 0) = 0

29 / 72
FUNCIONES ANALTICAS

Denicin (Funcin analtica)

Una funcin f (z ) es analtica en un punto z0 , si su derivada existe, no slo
en z0 , sino tambin en cada punto z de un entorno de z0 .

Se dice que una funcin f es analtica en una regin R, si es analtica en

cada punto de R. En la literatura se usa tambin el trmino holomorfa
para denotar analiticidad.
Una condicin necesaria, pero en modo alguno suciente, para que una
funcin f sea analtica en un dominio D, es claramente la continuidad de
f en todo D. El que se satisfagan las ecuaciones de Cauchy-Riemann es
tambin necesario, pero no suciente.
Denicin (Funcin entera)
Una funcin entera es una funcin analtica en cada punto de todo el plano
nito.

30 / 72
FUNCIONES ANALTICAS

Ejemplo 7
(a) La funcin
f (z ) = z 2
es analtica en todo punto.
(b) Sin embargo, la funcin

f (z ) = jz j2

no es analtica en ningn punto, dado que su derivada existe slo en z = 0

y no en todo un entorno.

31 / 72
FUNCIONES ANALTICAS

Denicin (Punto singular)

Si una funcin no es analtica en un punto z0 , pero lo es en algn punto
de todo entorno de z0 , z0 se llama entonces punto singular o singularidad
de f .

Denicin (Punto singular aislado)

El punto zp es un punto singular aislado de f (z ) si f (z ) no es analtica
en zp pero s en un entorno abierto de zp .

Considrese, por ejemplo, la funcin

f (z ) = 1/z, (z 6= 0)

cuya derivada es f 0 (z ) = 1/z 2 . Tal funcin es analtica en todos los

puntos, salvo en z = 0, donde ni siquiera est denida. El punto z = 0 es,
por tanto, un punto singular aislado.
32 / 72
FUNCIONES ANALTICAS

Ejemplo 8
Para qu valores de z la funcin:

z3 + 2
f (z ) =
z2 + 1
no es analtica?.
Solucin: Para z tal que z 2 + 1 = 0, es decir, z = i. As, f (z ) tiene
singularidades aisladas en +i y i.

33 / 72
FUNCIONES ANALTICAS

Ejercicio 7
Utilizando las ecuaciones de Cauchy-Riemann, hallar las derivadas de las
siguientes funciones:
1
(a ) f (z ) = e z ; (b ) f (z ) = z 3 ; (c ) f (z ) = , z 6= 0
z

Solucin: (a) f 0 (z ) = e z ; (b) f 0 (z ) = 3z 2 ; (c) f 0 (z ) = 1.

z2

Ejercicio 8
Dada la funcin:
f (z ) = x 2 + y 2 2xyi
aplicando las condiciones de Cauchy-Riemann, estudiar si es derivable, en
los puntos: (a) z = i; (b) z = 1 + i.
Solucin: (a) Derivable. (b) No derivable.

34 / 72
FUNCIONES ANALTICAS
Ejercicio 9
Dada la funcin:
(z + z )2 (z z )2
f (z ) = i
4 4
(a) Estudiar en qu puntos es derivable. (b) Hallar f 0 (1 + i ).(c) Estudiar
si es analtica en ese punto.
Solucin: (a) En todos los puntos de la recta y = x. (b) 2. (c) No es
analtica en ese punto.

Ejercicio 10
Dada la funcin:

f (z ) = 3(z + z )2 + (z z )3

(a) Estudiar en qu puntos es derivable y representarlos grcamente. (b)

Hallar, si es posible, f 0 (1 i ). (c) Estudiar si es analtica en ese punto.
Solucin: (a) En todos los puntos de la parbola y 2 = x. (b) 24. (c) No
es analtica en ese punto.
35 / 72
INTEGRALES. DEFINICIN
Denicin (Integral de lnea de una funcin de variable compleja)
Sea C la curva z = z (t ), a t b. Denimos la integral de lnea, o bien
integral de contorno, de f sobre C como:
Z Z b
f (z )dz = f [z (t )] z 0 (t )dt
C a

El integrando de esta integral es el producto de las dos funciones complejas:

f [z (t )] = u [x (t ), y (t )] + iv [x (t ), y (t )] y z 0 (t ) = x 0 (t ) + iy 0 (t )
De este modo:
Z Z b Z b
f (z )dz = ux 0 vy 0 dt + i (vx 0 + uy 0 )dt
C a a
O bien: Z Z Z
f (z )dz = udx vdy + i vdx + udy
C C C
Por lo que podramos calcular la integral hallando las dos integrales de
lnea correspondientes.
36 / 72
INTEGRALES. DEFINICIN

Ejemplo 9
Calcular la integral: Z
I = zdz
C
donde el camino de integracin C es la mitad superior del crculo jz j = 1
de z = 1 a z = 1.
Solucin: Una representacin paramtrica para C es:

z = cos + i sen = e i ; (0 )

y dado que d e i /d = ie i tendremos:

Z Z
i
I = zdz = e ie i d = i
C 0

37 / 72
INTEGRALES. TEOREMA DE CAUCHY-GOURSAT
Teorema (Teorema de Cauchy-Goursat)
Si una funcin f es analtica en todos los puntos de un contorno simple
cerrado C y en su interior, entonces
I
f (z )dz = 0
C

Teorema (Principio de independencia de la trayectoria)

Si una funcin f es analtica en todos los puntos
R z de un contorno simple
cerrado C y en su interior, entonces el valor de z12 f (z )dz no depender
del contorno utilizado para ir de z1 a z2 .

Figura: Independencia del camino.

38 / 72
INTEGRALES. PROPIEDADES

En el clculo real, el mtodo bsico de integracin consiste en buscar una

primitiva F (x ) para el integrando f (x ). Luego se evala F (x ) en los lmites
de integracin
Z x2 Z x2
f (x )dx = dF = F (x2 ) F ( x1 )
x1 x1
Podr aplicarse un procedimiento similar a las integrales de lnea comple-
jas?. Veamos que, con ciertas restricciones, la respuesta es s.
Teorema (Integracin de derivadas de funciones analticas)
Sea f (z ) una funcin continua y sea F (z ) una funcin analtica en un
dominio D, tal que dF /dz = f (z ) en D. Entonces, si z1 y z2 son puntos
de D Z z2
f (z )dz = F (z2 ) F (z1 )
z1
donde la integracin se puede efectuar a lo largo de cualquier contorno en
D que vaya de z1 a z2 .
De este modo, si se satisfacen las condiciones del teorema, podemos usar
las reglas de integracin convencionales y las tablas de integrales usuales.
39 / 72
INTEGRALES. PROPIEDADES

Ejemplo 10
Calcular: Z 2 +2i
z 2 dz
1 +i
Solucin:
La proposicin anterior justica la siguiente operacin:
Z 2 +2i Z 2 +2i
1h i
2 +2i
d z3 z3
z 2 dz = dz = = (2 + 2i )3 (1 + i )3
1 +i 1 +i dz 3 3 1 +i 3

40 / 72
INTEGRALES

Ejercicio 11
R
Calcular la integral de lnea C (z + z )dz siendo C la curva x + y = 1,
desde el punto (1, 0) hasta el punto (0, 1).
Solucin: 12 + 12 i.

Ejercicio 12
R 1
Calcular la integral de lnea C z 2 dz siendo C : jz 2j = 2, en sentido
positivo.
Solucin: 2i.

Ejercicio 13
R ln z dz
Calcular la integral de lnea C z siendo C : jz j = 1 en sentido posi-
tivo.
Solucin: 2 2 .

41 / 72
INTEGRALES
Ejercicio 14
Sea n un nmero entero positivo o nulo, y C un crculo de radio r centrado
en el origen. Calcular directamente, y comprobar que segn el teorema de
Cauchy-Goursat: I
z n dz = 0
C

Ejercicio 15
Demostrar que:
Z i
2
ze z dz = (1 ) i
0 2

Ejercicio 16
Demostrar que:
Z i
i
z sen zdz =
0 e
42 / 72
SERIES DE TAYLOR

Este tema se dedica a la representacin mediante series de las

funciones analticas. Enunciaremos teoremas que garantizan la exis-
tencia de tales representaciones, adquiriendo al tiempo cierta destreza
en el manejo de las series.

Centraremos nuestro inters en las Series de Taylor y de Laurent,

por lo que no trataremos las propiedades de las series de nmeros
complejos y de las series generales de funciones de variable compleja.

En todo caso, la analoga existente con la teora de las series de fun-

ciones reales (ya conocida por el alumno) nos ser muy til. As, tr-
minos como convergencia puntual, absoluta o uniforme supondremos
que son asimilados de forma correcta.

43 / 72
SERIES DE TAYLOR
Denicin (Serie de Taylor)
Sea f (z ) una funcin analtica en z0 . Sea C el mayor crculo centrado en
z0 dentro del cual f (z ) es analtica, y sea a > 0 el radio de C . Entonces

existe una serie de potencias cn (z z0 )n que converge a f (z ) en C :
n =0

f (n ) (z0 )
f (z ) = cn ( z z0 )n , jz z0 j < a, donde cn =
n!
n =0

Esta serie de potencias se conoce como desarrollo en serie de Taylor de

f (z ) alrededor de z0 .
En el caso particular en que z0 = 0, la serie de Taylor se conoce como
serie de Maclaurin.

Figura: Convergencia de la Serie de Taylor. 44 / 72

SERIES DE TAYLOR

Este teorema no asegura la convergencia de la serie a f (z ) cuando z es un

punto del permetro de C .

Lo que si asegura es la convergencia es en todos los puntos interiores del

crculo representado en la gura, siendo z1 la singularidad de f (z ) ms
cercana a z0 .

Figura: Convergencia de la Serie de Taylor.

45 / 72
SERIES DE TAYLOR
Es sencillo hallar las series de Taylor siguientes:

1 z2 z3
ez = n! z n = 1 + z + 2!
+
3!
+ , (jz j < )
n =0

z 2n +1 z3 z5
sen z = ( 1)n
(2n + 1)!
=z
3!
+
5!
, (jz j < )
n =0

z 2n z2 z4
cos z = ( 1)n
(2n)!
=1
2!
+
4!
, (jz j < )
n =0

z 2n +1 z3 z5
senh z = (2n + 1)! =z+
3!
+
5!
+ , (jz j < )
n =0

z 2n z2 z4
cosh z = (2n)! = 1+
2!
+
4!
+ , (jz j < )
n =0

1 1
1 z
= zn, (jz j < 1) ;
1+z
= ( 1)n z n , (jz j < 1)
n =0 n =0

46 / 72
SERIES DE TAYLOR

Ejemplo 11
Desarrollar:
1
f (z ) =
3(z + 1)
en serie de Taylor alrededor del punto z0 = 1.
Solucin: Para desarrollar f (z ) en primer lugar la expresamos en potencias
de (z 1) . As:

1/3 1/3 1/6

= = (z 1 )
(z + 1) (z 1) + 2 1+ 2
(z 1) (z 1)2
= 1/6 1 +
2 4
jz 1 j
que converge para 2 < 1 ) jz 1j < 2.

47 / 72
SERIES DE TAYLOR
Ejercicio 17
Desarrollar las siguientes funciones en los puntos que se indican, indicando
el campo de validez:
1 1
(a ) f (z ) = , z0 = 1 ; (b ) f (z ) = , z0 = 0
z +2 2z 1

( 1 )n (z 1 )n
Solucin: (a) 3n , jz 1j < 3. (b) 2n z n , jz j < 1/2.
n =0 n =0

Ejercicio 18
Desarrollar las siguientes funciones en los puntos que se indican, indicando
el campo de validez:
1 1
(a ) f (z ) = , z0 = i ; (b ) f (z ) = , z0 = i
z 1 z 1
p
1 ( 1 )n (z i )n 1 (z +i )n
Solucin: (a) i 1 (i 1 )n
, jz ij < 2. (b) i +1 (i +1 )n
, jz +
p n =0 n =0
i j < 2.
48 / 72
SERIES DE LAURENT

Denicin (Serie de Laurent)

Sea f (z ) una funcin analtica en un dominio anular D denido por r1 <
jz z0 j < r2 . Si z pertenece a D, f (z ) puede representarse mediante un
desarrollo en serie de Laurent:

f (z ) = cn ( z z0 )n = +c 2 (z z0 ) 2
+c 1 (z z0 ) 1
n=
+ c0 + c1 ( z z0 )1 + c2 (z z0 )2 +

Los coecientes estn dados por:

I
1 f (z )
cn = dz
2i C+ (z z0 )n +1

donde C es cualquier contorno cerrado simple contenido en D y tal que la

frontera interna jz z0 j < r1 quede connada por C . La serie converge
uniformemente en toda la regin anular de D centrada en z0 .

49 / 72
SERIES DE LAURENT

Figura: Serie de Laurent.

As pues, un desarrollo en serie de Laurent, a diferencia del desarrollo en

serie de Taylor, puede contener uno o ms trminos con (z z0 ) elevados
a una potencia negativa. Tambin puede contener potencias positivas de
(z z0 ).

Con frecuencia, los ejemplos de series de Laurent se obtienen a partir de

series de Taylor.
50 / 72
SERIES DE LAURENT
Ejemplo 12
Desarrollar f (z ) = (z 1)2 e 1 /(z 1 ) en serie de Laurent en potencias de
z 1.
Solucin: Para desarrollar f (z ) en primer lugar sabemos que:

u2
eu = 1 + u + +
2!
Haciendo u = (z 1) 1 en la ecuacin anterior, tenemos:

(z 1) 2 (z 1) 3
e 1 / (z 1)
= 1 + (z 1) 1
+ + + , z 6= 1
2! 3!
(z 1) 3 (z 1) 2 (z 1) 1
= + + + + 1, z 6= 1
3! 2! 1!

Multiplicando ambos lados por (z 1)2 obtenemos:

(z 1) 1 1
f (z ) = + + + (z 1) + (z 1)2 , (0 < jz 1j < )
3! 2!
51 / 72
SERIES DE LAURENT

Ejemplo 13
(a) El desarrollo:

ez 1 1 1 z z2
= + + + + + , (0 < jz j < )
z2 z2 z 2! 3! 4!
se deduce de la representacin en serie de Maclaurin:

zn z z2 z3 z3
ez = = 1+ + + + + , (jz j < )
n =0 n! 1! 2! 3! 4!

(b) De la misma forma :

1
e 1 /z = 1 + n!z n , (0 < jz j < )
n =1

52 / 72
SERIES DE LAURENT

Las siguientes deniciones nos sern de utilidad.

Denicin (Punto singular aislado)
El punto zp es un punto singular aislado de f (z ) si f (z ) no es analtica
en zp pero s en un entorno abierto de zp .

Denicin (Cero aislado)

Si f (z0 ) = 0 se dice que z0 es un cero aislado de f (z ) si existe un entorno
abierto de z0 en todo punto del cual f (z ) 6= 0.

Denicin (Orden de un cero)

Sea m un entero 1. Si f (z ) es analtica e igual a cero en z0 y si en todo
punto de un entorno de z0 , f (z ) tiene la forma (z z0 )m (z ), donde
(z0 ) 6= 0, decimos que la funcin tiene un cero de orden m en z0 .

53 / 72
SERIES DE LAURENT

Ejemplo 14
(a) Por ejemplo, los puntos z = 1 y z = 2 son puntos singulares aislados
de:
1
(z 1)(z 2)3

(b) La funcin:
f (z ) = (z 1)(z 3)
tiene un cero aislado en z = 1 pues todo entorno abierto con centro en
z = 1 y radio inferior a 2 constituye un dominio en el que f (z ) 6= 0. Otro
cero aislado de esta funcin es el punto z = 3.

54 / 72
SERIES DE LAURENT

Ejercicio 19
Desarrollar f (z ) = 1 1 z en serie de Laurent de potencias de z, indicando
el campo de validez.

1 , (jz
Solucin: z n +1
j > 1).
n =0

Ejercicio 20
Desarrollar f (z ) = z 2 (11 z ) en series de Laurent de potencias de z, indi-
cando los campos de validez.

1 1 1 < jz j < ).
Solucin: (L1 ): z2 z n , (0 < jz j < 1); (L2 ): z3 z n , (1
n =0 n =0

55 / 72
SERIES DE LAURENT

Ejercicio 21
1
Desarrollar f (z ) = z 2 3z en series de Laurent de potencias de z 1,
+2
indicando los campos de validez.

1 1)n , (0 < jz
Solucin: (L1 ): (z 1 ) (z 1j < 1);
n =0

1 1 1j < ).
(L2 ): (z 1 )2 (z 1 )n
, (1 < jz
n =0

Ejercicio 22
Desarrollar f (z ) = z 21+1 en series de Laurent de potencias de z i,
indicando los campos de validez.

(z 1 )n 1
Solucin: (L1 ): ( 1)n (2i )n +1
, (0 < jz i j < 2);
n =0

1 (2i )n
(L2 ): (z i )2 ( 1 ) n (z i )n
, (2 < jz i j < ).
n =0

56 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

El teorema de Cauchy-Goursat nos dice que si una funcin es

analtica sobre todos los puntos de un contorno C y en su interi-
or, el valor de la integral a lo largo del contorno es cero.

Sin embargo, si la funcin deja de ser analtica en un nmero nito

de puntos del interior de C , entonces es posible asociar a cada uno
de esos puntos un nmero, llamado residuo, con el que contribuye al
valor de la integral.

Analizaremos aqu la teora de residuos y las aplicaremos al clculo de

ciertos tipos de integrales, y veremos que una serie de Laurent (y en
particular uno de sus trminos) sirve para evaluar dichas integrales.

57 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

Denicin (Residuo)
Sea f (z ) una funcin analtica sobre un contorno simple cerrado C y en
todo punto del interior de C , salvo z1 . Entonces el residuo de f (z ) en z1
que se denota por Res [f (z ), z1 ], est denido por:
I
1
Res [f (z ), z1 ] = f (z )dz
2i C+

Veamos en la siguiente proposicin la relacin que existe entre Res [f (z ), z1 ]

y una serie de Laurent para f (z ) :

f (z ) = cn ( z z1 )n = +c 1 (z z1 ) 1
+ c0 + c1 ( z z1 )1 +
n=

58 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN
Es inmediato demostrar los siguientes teoremas:
Teorema
El residuo de la funcin f (z ) en el punto singular aislado z1 es igual al
coeciente c 1 de (z z0 ) 1 en la serie de Laurent que representa a f (z )
en una regin anular dada por 0 < jz z1 j < R1

Res [f (z ), z1 ] = c 1

Teorema
Sea C un arco cerrado simple orientado positivamente y f una funcin
analtica sobre C y su interior salvo en una singularidad z1 en el interior
de C .
Si Res [f (z ), z1 ] es el residuo de f en tal singularidad, entonces:
I
f (z )dz = 2i Res [f (z ), z1 ]
C+

59 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN
Veamos ahora la generalizacin al caso de una funcin f (z ) que tiene un
nmero nito de puntos singulares aislados dentro de un contorno C .
Teorema (Teorema de los residuos)
Sea C un arco cerrado simple orientado positivamente y f una funcin
analtica sobre C y su interior salvo en un nmero nito de singularidades
z1 , z2 , . . . , zn en el interior de C .
Si Res [f (z ), z1 ] , Res [f (z ), z2 ] , . . . , Res [f (z ), zn ] son los residuos de f
en tales singularidades, entonces:
I
f (z )dz = 2i (Res [f (z ), z1 ] + Res [f (z ), z2 ] + . . . Res [f (z ), zn ])
C+

Figura:
60 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

Ejemplo 15
Calcular la integral:
I z
e
dz
C+ (z 1)2
siendo C el crculo jz j = 2, orientado positivamente.
Solucin: El integrando

e z
f (z ) =
(z 1)2

es analtico sobre C y su interior salvo en la singularidad z = 1. Luego el

valor de la integral es 2i por el residuo de f en z = 1.
Para calcular este residuo, recordemos el desarrollo en serie de Maclaurin:

zn
ez = , (jz j < )
n =0 n!

61 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

de donde se deduce que:

z 1 e (z 1 )
e e ( 1)n
(z 1)2
=
(z 1)2
= (z 1)n 2
, 0 < jz 1j <
n =0 n!e

En esta serie de Laurent el coeciente de 1/(z 1) es 1/e. Es decir, el

residuo de f en z = 1 es 1/e. Por tanto:
I z
e 2i
dz =
C+ (z 1)2 e

62 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

Cuando f (z ) posee un punto singular aislado en z1 , resulta til conocer

el coeciente c 1 en el desarrollo de Laurent de la funcin alrededor de
dicho punto.

En esta seccin estudiaremos algunos conceptos que nos permitirn

determinar este coeciente sin necesidad de obtener el desarrollo
de Laurent.

Hemos visto que si una funcin f tiene una singularidad aislada en z1

entonces f admite un desarrollo de Laurent:

b1 b2 bn
f (z ) = an ( z z1 )n +
z z1
+
(z z1 )2
+ +
(z z1 )n
+
n =0

en un dominio 0 < jz z1 j < R, con centro en tal punto.

63 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

Denicin (Parte principal)

La parte de la serie formada por las potencias negativas de z z1 se
denominan parte principal de f en z1 .

Usaremos ahora este concepto para clasicar los tres tipos de singularidades
aisladas posibles.

Tipos de singularidades aisladas:

1) Polo
2) Singularidad esencial
3) Singularidad evitable

64 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN
Denicin (1. Polo)
Si la parte principal de f en z1 tiene al menos un trmino no nulo pero el
nmero de tales trminos es nito, el desarrollo de Laurent toma la forma:

b1 b2 bm
f (z ) = an ( z z1 )n +
z z1
+
(z z1 )2
+ +
(z z1 )m
,
n =0
(0 < jz z1 j < R )

y existir un entero positivo m tal que bm 6= 0 y bm +1 = bm +2 = = 0.

En este caso la singularidad aislada z1 se denomina polo de orden m.

Denicin (2. Singularidad esencial)

Cuando la parte principal de f en z1 tiene un nmero innito de trminos
no nulos, el punto se denomina singularidad esencial.

Denicin (3. Singularidad evitable)

Si todos los coecientes bn de la parte principal de f en una singularidad
aislada z1 son cero, el punto z1 se denomina singularidad evitable de f .
65 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

Ejemplo 16
Clasicar las singularidades aisladas de las siguientes funciones:

z2 2z + 3 senh z ez 1
(a ) ; (b ) 4
; (c ) e 1 /z ; (d )
z 2 z z
Solucin: (a) La funcin:

z2 2z + 3 3 3
=z+ = 2 + (z 2) + , (0 < jz 2j < )
z 2 z 2 z 2
tiene un polo simple en z = 2. Su residuo correspondiente es 3.
(b) La funcin:

senh z 1 z3 z5 1 1 1 1 1
= 4 z+ + + = + + z + z3 +
z4 z 3! 5! z3 3! z 5! 7!

tiene un polo de orden 3 en z = 0, con residuo 1/6.

66 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

(c) La funcin:

1 1 z 2
e 1 /z = 1 + n! z n = 1+z 1
+
2!
+
n =1

tiene una singularidad esencial en z = 0. Su residuo all es la unidad.

(d) La funcin:

ez 1 1 z z2 z3 z z2
f (z ) = = 1+ + + + 1 = 1+ + +
z z 1! 2! 3! 2! 3!

tiene en z = 0 es una singularidad evitable; y si denimos f (0) = 1, la

funcin es entonces entera.

67 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

Ejercicio 23
Clasicar los puntos singulares de las siguientes funciones:

senz ez 1
(a ) f (z ) = ; (b ) f (z ) = ; (c ) f (z ) = e z
z z
Solucin: (a) z = 0 sing. evitable; (b) z = 0 polo simple; (c) z = 0 sing.
esencial.

Ejercicio 24
sen z
Sea g (z ) = z .Comprobar si la funcin :

g 0 (z )
f (z ) =
g (z )

tiene en z = un polo y calcular el residuo en dicho punto.

Solucin: Tiene un polo de orden 1 y el residuo es Res [f (z ), ] = 1.

68 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

Determinacin del residuo

Hay otra forma de hallar el residuo en una singularidad aislada z1 , cuando

sta es un polo, sin tener que desarrollar previamente en serie de Laurent
la funcin correspondiente.
Simplemente consiste en recordar la frmula de taylor para desarrollar una
funcin (z ) en el entorno del punto z1 :

(m ) (z1 )
(z ) = m!
(z z1 )m
m =0

69 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN
(z )
Supongamos que tenemos una funcin f (z ) = (z z )m , siendo (z ) an-
1
litica en z1 y (z1 ) 6= 0, aplicando la frmula de Taylor tenemos que
(m ) (z )
1 z1 )m desarrollando el sumatorio:
f (z ) = (z z 1 )m 1
m ! (z
n =0
(m 1 ) (z 1 ) (m ) (z 1 )
+ (z z 1 )m 1 + m! (z z 1 )m + (m 1 ) (z 1 )
(m 1 ) !
= + (z z1 ) 1 +
(z z 1 )m (m 1 ) !
(m ) (z 1)
m! + , por lo que ya se ve que el residuo es el coeciente de
(m 1 )
(z z1 ) es decir (m 1()z!1 )
1

De lo anterior podemos enunciar el siguiente teorema

Teorema
(z )
Sea f (z ) = (z z )m , siendo (z ) anlitica en z1 y (z1 ) 6= 0. El residuo
1
de la funcin f (z ), en z1 viene dado por:

(m 1 ) (z )
1
Res [f (z ), z1 ] =
(m 1) !

70 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

Ejemplo 17
H
Usar el teorema de los residuos para calcular la integral C + zz+21 dz siendo
C el crculo jz j = 2, orientado en sentido contrario al del reloj.
Solucin: Tenemos una singularidad aislada en z1 = 0, siendo en este
caso f (z ) = zz+21 = z12 (z ), con lo que (z ) = z + 1 y m = 2.

m 1 (0) 0 (0)
Res [f (z ), z1 ] = = =1
(m 1) ! 1!

y la integral: I
z +1
dz = 2i
C+ z2

71 / 72
RESIDUOS Y SU USO EN LA INTEGRACIN

Ejercicio 25
I
Calcular ez C : jz j = 3, (sentido positivo).
z 2 +1 dz, siendo
C
Solucin: (e i e i ).

Ejercicio 26
I
Calcular ez siendo C : z (t ) = i + 12 e it , 0
2 2 dz, t 2.
C (z +1 )z

Solucin: ei
.

Ejercicio 27
I
Calcular z 2 +1 C : z (t ) = i + e it , 0
e z +1 dz, siendo t 2.
C
Solucin: 2i ( 2 1).

72 / 72