3

Integracin en el Campo
Complejo

3.1 Integral compleja de lnea

y
zn

yn

z1

zk xk iyk

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

zn

z2

z2

f ( z )dz : lim f ( zk )zk

n

k 1

donde z 0 cuando n .

z1

x1

Observa que la integral NO es el rea bajo la curva.

El valor depende del sentido: es una suma de vectores.
Los z actan como vectores, no como longitudes.
Si f(z) = 1, qu significa la integral?
2

Conexin entre integrales de lnea reales

y complejas
Con C indicamos el camino de la integral de lnea.

f ( z )dz [u ( x, y) iv ( x, y)][dx idy ]

C

u ( x, y )dx v( x, y )dy
C
C

i u ( x, y )dy v( x, y )dx
C
C

Integracin de funciones complejas

parametrizadas

Arco suave C de A a B: z(t ) x(t ) iy (t )

Parametrizacin continua con t(A) t t(B) y con derivadas
x(t) e y(t) continuas.

dz (t ) dx(t ) dy(t )

i
dt
dt
dt

f ( z)dz

t ( B)

t ( A)

t ( B)

t ( A)

dz
f z (t ) dt
dt

f (t )[ x' (t ) iy ' (t )]dt

Ejemplo 1

Evala :

zdz
C

donde C est dado por x 3t , y t 2 ,1 t 4.

Solucin

z (t ) 3t it 2 ,

z ' (t ) 3 2it

f ( z (t )) 3t it 2 3t it 2
De modo que,

2
z
dz

(
3
t

it
)(3 2it )dt

1
4

(2t 9t )dt i 3t 2 dt 195 65i

1

Ejemplo 2
Evaluar

( x 2 iy 2 )dz , donde C es el contorno de la figura

Solucin

( x 2 iy 2 )dz ( x 2 iy 2 )dz ( x 2 iy 2 )dz

C1

C2

C1 est definida por y = x = t, entonces z(t) = t + it, con 0 t 1,

z(t) = 1 + i, f(z(t)) = t2 + it2 :

C1

( x iy )dz (t it )(1 i)dt (1 i)

2

t 2 dt

2
i
3

La curva C2 est definida por x = 1, y = t con 1 y 2. Entonces:

z(t) = 1 + it, z(t) = i, f(z(t)) = 1 + it2:
2
2
2
7
2
2
2
2
(
x

iy
)
dz

(
1

it
)
idt

t
dt

i
dt

i
C2
1
1
1
3
2
7
7 5
2
2
(
x

iy
)
dz

i
)

i
C
3
3
3 3

Ejemplo 3

Calcular la integral

zz dz

Donde C es el arco de

circunferencia z 1, (0 arg( z ) ) , orientado positivamente.

Solucin

z 1 z e i

zz dz ie
0

i 2

1 d i ei 3 ei d
0

8
1 i 3
i
e e
3
3
0
7

Camino o contorno simple cerrado

Camino o contorno
no simple cerrado

Es un contorno que
genera dos
dominios:
uno acotado
(interior)
y otro no acotado
(exterior). Ambos
dominios tienen al
contorno como
frontera.

Se dice que la integracin se lleva a cabo en sentido

positivo alrededor del contorno C cuando el interior
queda a la izquierda del sentido de circulacin.

f ( z )dz f ( z )dz
C

Para no recargar con smbolos

La integracin se lleva a cabo en
sentido negativo si ocurre lo contrario.

Se cumple que:

f ( z )dz f ( z )dz
C

f ( z )dz f ( z )dz
C

Propiedades de las integrales de contorno

k f ( z) d z k
C

f ( z ) d z , k constante

C [ f ( z ) g ( z )] d z C f ( z) d z C g ( z) d z

C f ( z ) d z C

f ( z ) d z f ( z ) d z,
C2

C f ( z ) dz C f ( z ) dz,
10

Ejemplo 4
Integrar la funcin f ( z ) 1 / z
a lo largo de la circunferencia: |z| = r

y
r

Solucin

Introducimos un parmetro t
variando entre 0 t 2

C : z (t ) rei t

f ( z )dz

f z (t )

0
2

dz
dt
dt

1
it
ri
e
dt
0 rei t
2

i dt 2 i

dz
C z 2i
Nota: podramos haber usado

C : z(t ) r cos t i sin t

Ejercicio: repetir con esta forma.

11

Ejemplo 5
Integrar la funcin f ( z) 1 / z
a lo largo del cuadrado
Solucin
Introducir un parmetro t
variando entre 1 t 1

f ( z )dz f z (t )
1

1 i

C2

y
1 i

C1

C3
1 i

1 i

C4

dz
dt
dt
1

C1 : z (t ) 1 ti ,

dz
i ,
dt

1
1 ti
f z (t )

,
1 ti 1 t 2

C2 : z (t ) t i,

dz
1,
dt

1
t i
t i
f z (t )

,
I

2
11 t 2 dt
t i 1 t2

C3 : z (t ) 1 ti ,

dz
i,
dt

1
1 ti
t i
f z (t )

,
I

3
11 t 2 dt
1 ti 1 t 2

C4 : z (t ) t i,

dz
1,
dt

1
t i
f z (t )

,
t i 1 t2

I1

t i
11 t 2 dt

t i
dt
2
1

t
1

I4

12

0 (integrando impar en
intervalo de integracin par)

t i
dt
2
1 t
1
1

f ( z )dz 4

t
1
4
dt i
dt
2
2
1 t
1
1 1 t

1 i

C2

y
1 i

4i arctan t

1
1

C1

C3
1 i

1 i

C4

4i / 4 / 4
2 i

dz
C z 2 i
13

Ejemplo 6: Repitamos trasladando el circuito de integracin.

Integrar la funcin f ( z ) 1 / z
a lo largo del cuadrado
Solucin
Introducir un parmetro t
variando entre 1 t 1

f ( z )dz

f z (t )

3 i

C2

y
1 i

C1

C3
3i

C4

1 i

dz
dt
dt
1

C1 : z (t ) 1 t i,

dz
1
1 ti
i, f z (t )

,
dt
1 ti 1 t 2

C2 : z (t ) 2 t i,

dz
1,
dt

1
2t i
(2 t ) i
f z (t )

,
I

2
11 (2 t ) 2 dt
2 t i 1 (2 t ) 2

C3 : z (t ) 3 t i,

dz
i,
dt

1
3 ti
f z (t )

,
2
3 ti 9 t

dz
C4 : z (t ) 2 t i,
1,
dt

I1

t i
11 t 2 dt

I3

t 3i
1 9 t 2 dt

1
2t i
( 2 t ) i
f z (t )

, I4
dt
2
2
2 t i 1 ( 2 t )
1

t
)
1
14

dt
1
t b

arctan

a 2 (b t ) 2 a
a

Usando las relaciones

(b t )dt
2
2

ln
a

(
b

t
)
a 2 (b t ) 2
3 i

C2

1 i

C1

obtenemos

C3

dz
C z 0

3i

C4

1 i

Donde C ahora es el cuadrado

unitario anterior desplazado
a la izquierda 2 unidades.

15

Observa que:
C
C

dz
C z 2 i

dz
C z 0

dz
C z 0

dz
C z 0

dz
C z 0

dz
C z 0

16

dz
C z 2i

dz
C z 0
C

dz
C z 0

dz
C z 0

dz
C z 0

dz
C z 0

17

3.2 Teorema integral de Cauchy

Si f (z) es analtica con derivada
continua en todos los puntos dentro y
sobre un contorno cerrado C, entonces:

f ( z )dz 0

Ejemplos:

C
C

z
e
dz 0
C

f (z) es analtica en todo punto

dz
C z 0

f (z) es analtica en todo punto

excepto en z = 0
18

Para demostrar el teorema de Cauchy nos ser necesario el

Teorema de Green1 (1828)

Sean P( x, y), Q( x, y),

P P Q Q
,
,
y
x y x
y

continuas en en todos los puntos dentro y sobre un contorno C, entonces:

Q P
P
(
x
,
y
)
dx

Q
(
x
,
y
)
dy

C
C
D x y dxdy
Supongamos que la regin R es un rectngulo como muestra la
figura.

C3

y1

P( x, y1 ) P( x, y0 )dx
x1

C2

C4
y0

C1
x0

1George

x1 y1 P

P
dxdy
dy dx
x0
y
y0 y

x1

x0

x1

x0

x0

P( x, y0 )dx P( x, y1 )dx

C1

P( x, y )dx P( x, y )dx.

x1

C3

Green (1793-1841) Resultado de sus trabajos en electromagnetismo.

19

Puesto que sobre los caminos C2 y C4 no hay variacin en x:

C2

P( x, y)dx 0;

C2

C4

P( x, y)dx 0

P
dxdy P( x, y )dx P( x, y )dx
C1
C3
y

P( x, y )dx P( x, y )dx P( x, y )dx

C4

Repitiendo anlogamente para Q(x,y), y teniendo en cuenta que C3 y C1

no tienen variacin en y, obtendremos:

Q
R y dxdy cQ( x, y)dy
Y eso completa la demostracin para un contorno rectangular
recorrido en sentido positivo.

20

Podemos usar infinitos rectngulos

para recubrir exctamente el rea de R.

C2

C1

Recorrindolos como indica la

figura superior, se compensan
las integrales en los caminos
horizontales...

(Pdx Qdy)
C

C1

( Pdx Qdy) ( Pdx Qdy) ...

C2

21

Demostracin del teorema integral de Cauchy:

)dx v( x, y )dy i v( x, y )dx i u ( x, y )dy

u( x, y

f ( z )dz

Como suponemos u(x,y), v(x,y) y sus derivadas parciales

continuas en todos los puntos dentro y sobre C:

P( x, y ) : u ( x, y )
Q( x, y ) : v( x, y )

P( x, y ) : v( x, y )
Q( x, y ) : u ( x, y )

v u
u v
dxdy i dxdy 0
D x
y
x y

0
(Como f(z) es analtica cumple las ECR)
22

3.3 Primitivas (integrales indefinidas)

Sea f(z) una funcin continua en un dominio D. Una primitiva de
f(z) es una funcin F(z) tal que F(z) = f(z) en todo z de D.
Ntese que la primitiva es necesariamente una funcin analtica.
Adems la primitiva de una funcin f dada es nica salvo por una
constante aditiva compleja.
Teorema. Sea f(z) una funcin cotinua en un dominio D. Las
siguientes propiedades son equivalentes entre s:
i. f(z) tiene una primitiva F(z) en D.
ii. Las integrales de f(z) sobre caminos contenidos en D, con punto
inicial z1 y punto final z2 tienen todas el mismo valor.
iii. Las integrales de f(z) sobre caminos cerrados contenidos en D
tienen todas valor cero.

23

Ejemplo 1.
1i

Calcular

2
z
dz
0

Solucin
La funcin f ( z) z 2 es continua en todo el plano complejo y admite
la primitiva F ( z) z 3 / 3 en todo el plano. Por lo tanto:
1 i

2
z
dz
0

1 i

z
3

2
(1 i )
3

24

Ejemplo 2.
Calcular

i
dz
z

2
e
,
,
con
c:
c z 2 0

Solucin
La funcin f ( z) 1 / z es continua en todo el plano complejo excepto
en el origen, tiene primitiva a F ( z) 1 / z en el dominio |x| > 0 (todo el
plano salvo el origen). En consecuencia
2

dz
c z 2 0

25

3.4 Teorema integral de Cauchy-Goursat

Si f (z) es analtica en todos los puntos dentro y sobre un
camino cerrado simple C, entonces:

f ( z )dz 0

Es menos restrictivo que el teorema integral de Cauchy.

Goursat demostr el teorema integral de Cauchy sin imponer la
restriccin alguna sobre la derivada de f(z).

26

Ejemplos
C1

C2

1
C cos z dz 0
1

C1

1
C cos z dz ?
2

C2

f (z) es no analtica en z = /2, 3/2, ...

3e z sin z
C 3 z dz 0
1

1
C sin(z )dz 0

No es analtica en los
puntos
z = 0, 1, 2,...

2i

-2 -1

3e z sin z
C 3 z dz ?
2

f (z) es no analtica
en z = 3

27

Para demostrar el teorema de Cauchy-Goursat emplearemos la

desigualdad ML:

Cotas para integrales

de lnea.

f ( z )dz ML

longitud
de C

cualquier nmero tal que

f ( z ) M sobre C

Demostracin:

f ( z ) dz lim f ( zk ) zk
n

k 1

donde z 0 cuando n
28

Observemos que si |f(z)|=1, entonces:

n

dz lim z
C

k 1

L; donde L es la longitud de C.

Por la desigualdad triangular, tenemos:

n

f ( z)dz lim f ( z )z
C

k 1

lim f ( zk ) zk f ( z ) dz
n

f ( z)dz
C

k 1

f ( z ) dz

29

Supongamos que: f ( z ) M si z es un punto de C.

Entonces:
n

f ( z)dz lim f ( z
n

k 1

)zk

lim f ( zk ) zk M lim zk ML
n

k 1

k 1

f ( z )dz ML

Desigualdad ML

30

Ejemplo:
Encuentra una cota superior para el valor absoluto de:
donde C es el crculo |z| = 4.

Puesto que |z +1| |z| 1 = 3, entonces:

Adems, |ez| = ex, con |z| = 4, y tenemos

que el mximo valor de x es 4. As:

ez
C z 1 d z

ez
| ez | | ez |

z 1 | z | 1
3

ez
e4

z 1 3

f ( z) M
L 2R

ez
8e 4
C z 1 d z 3
31

Im
(z)

Demostrar la siguiente desigualdad:

Log zdz

Re
(z)

Respuesta.

Log z ln z i arg z

Log zdz ML

Log z i ,

L: longitud del arco: L

M: max |Log z|

Log zdz

2
4
32

E = (A+B)/2; F = (B+C)/2; D=(C+A)/2

Demostracin del teorema de

Cauchy-Goursat para camino
triangular cualquiera:

Sea el camino triangular ABCA.

Trazamos un tringulo auxiliar
EFD a partir de los puntos medios
de los lados del tringulo ABC.
Entonces:

1
E

2
B

3
C

f ( z)dz f ( z)dz f ( z)dz f ( z)dz f ( z)dz

ABCA

33

Aplicando la desigualdad triangular:

f ( z)dz f ( z)dz f ( z)dz f ( z)dz f ( z)dz

1

ABCA

Sea
1 : max{ 1 , 2 , 3 , 4 }
Entonces:

f ( z)dz 4 f ( z)dz
1

ABCA

Repitiendo el proceso con el tringulo 1

f ( z )dz 42

ABCA

f ( z)dz

34

Despus de n pasos, tendremos:

f ( z )dz 4n

ABCA

f ( z)dz

Hemos construido una sucesin de tringulos encajados:

ABC , 1 , 2 , 3 ,..., n

gracias al principio de Cantor de compactos encajados: n {z0 }

n 1
existe un punto z0 que pertenece a todos ellos.
Y puesto que z0 est dentro o sobre ABC , y como por el enunciado
f(z) es analtica en z0. Entonces:

f ( z) f ( z0 ) f ( z0 )( z z0 ) ( z)( z z0 )
recordemos que (z) depende de z y que (z)0 cuando z z0; es
decir, que para todo podemos encontrar un tal que (z)
siempre quez - z0.
35

 f ( z)dz f ( z ) dz f ( z ) ( z z )dz ( z)( z z )dz

0

g ( z ) z z0

g ( z) 1

Integrandos g(z) analticos con primeras derivadas

continuas. Podemos aplicar teorema integral de Cauchy.

f ( z)dz ( z)( z z )dz

0

36

Si P es el permetro de ABC , entonces el permetro n ser:

P
Pn n
2
P
| z z0 | Pn n
2

n
z0

Usando la desigualdad ML:

P P
f ( z )dz ( z z0 )dz n n
2
2

n
M

f ( z)dz

P 2
4n
37

Tenamos:

f ( z )dz 4n

ABCA

f ( z)dz

f ( z )dz 4

ABCA

P
n

4n

P 2

Y como se puede tomar arbitrariamente pequeo, entonces:

f ( z)dz 0
ABCA
38

Puesto que todo polgono cerrado se

puede triangular, aplicando el
teorema de Couchy-Goursat a cada
tringulo podemos demostrar el
teorema para un polgono cerrado
arbitrario.

z0 z n
z1

z2

A
B
E

Intentaremos aproximar una curva

arbitraria a travs de un polgono
cerrado P de vrtices z0, z1, z2, ...
zn-1, zn= z0, tal y como hicimos
para definir la integral de lnea
compleja.

zn 1
39

Recordemos que:

f ( z )dz lim f ( zk )zk

n
k 1

Sn

Para
n
finito,
estamos
aproximando la curva cerrada
con un polgono P cerrado de n
lados y de permetro Sn.

Obviamente:

f ( z )dz f ( z )dz Sn Sn
C

Usando la desigualdad triangular:

f ( z )dz

f ( z )dz S S

1
Acotaremos

1 y

2
40

Comencemos con

lim S n : f ( z )dz
n

f ( z )dz S n

Entonces, dado cualquier > 0 existe un nmero N() tal que

para n > N():

f ( z )dz S n

2
41

Sigamos con 2 acotemos:

Sn

f ( z )dz 0

z1

z2

zn

z0

z1

z n1

f ( z )dz f ( z )dz ...

z1

z2

zn

z0

f ( z )dz

{ f ( z ) f ( z1 ) f ( z1 )}dz

z1

{ f ( z ) f ( z 2 ) f ( z 2 )}dz ...

z n1

{ f ( z ) f ( z n ) f ( z n )}dz 0

42

z1

z1
z1
0 { f ( z ) f ( z1 )}dz f ( z1 ) dz
z0

z0

z 2

z2
z2
{ f ( z ) f ( z2 )}dz f ( z2 ) dz ...
z1

z1

zn

zn

{ f ( z ) f ( zn )}dz f ( zn ) dz
z n1
z n1

z n

z1

zn

z0

z2

{ f ( z ) f ( z1 )}dz { f ( z ) f ( z2 )}dz ...

z n1

z1

{ f ( z ) f ( zn )}dz S n 0
43

Multiplicando por 1 y cambiando el signo de los integrandos:

z1

z2

z0

z1

S n { f ( z1 ) f ( z )}dz { f ( z2 ) f ( z )}dz ...

zn

z n1

{ f ( zn ) f ( z )}dz

Utilizando la desigualdad triangular:

Sn

zn

z n1

z1

z0

{ f ( z1 ) f ( z )}dz

z2

z1

{ f ( z2 ) f ( z )}dz ...

{ f ( zn ) f ( z )}dz
44

Para cada una de las k integrales

(k=1,2, ..., n) usaremos la
desigualdad ML.

zk

z k 1

{ f ( zk ) f ( z )}dz

Observemos que la longitud de cada integral es:

zk

dz zk zk 1

z k 1

Puesto que la curva cerrada que integramos es suave, podemos

tomar el N() de 1 lo suficientemente grande como para que con
n > N() la distancia entre f(zk) y f(z) est por debajo de /2P, para
todo k, donde P es el permetro de la curva cerrada. As podemos
acotar todos los integrandos:

f ( zk ) f ( z )

2P
45

Tenamos:

Sn

zn

z n1

z1

z0

{ f ( z1 ) f ( z )}dz

z2

z1

{ f ( z2 ) f ( z )}dz ...

{ f ( zn ) f ( z )}dz

De modo que:
P

z1 z0 z2 z1 ... zn zn1
Sn
2P
2

46

Recopilando:

f ( z )dz

f ( z )dz S n S n

Puesto que es arbitrario, entonces:

f ( z )dz 0

47

Ejercicio

48

3.5 Dominios simplemente y multiplemente conexos

Un dominio D se dice que es simplemente conexo si todo camino
cerrado simple contenido en l encierra slo puntos de D. Cuando
un dominio no es simplemente conexo, se dice que es
multiplemente conexo.
El disco: |z-1| < 2, es simplemene conexo, mientras el anillo:
1<|z-2|<4, es multiplemente conexo.

Recordatorio: Un dominio es un conjunto abierto

conexo (no incluye los puntos frontera).
Nota: Simplemente conexo significa 1 contorno (y 0 agujeros)
Doblemente conexo significa 2 contornos (y 1 agujeros)
Triplemente conexo significa 3 contornos (y 2 agujeros) ...
49

Si f es una funcin anlitica en un dominio D simplemente conexo,

entonces para todo camino C contenido en D, se cumple

f ( z )dz 0

Principio de deformacin de contornos

(Teorema integral de Cauchy para un dominio doblemente conexo).
Supongamos que f (z) es analtica en un dominio doblemente
conexo D as como en las curvas que lo limitan.

Entonces:

Sentido negativo

f ( z)dz f ( z)dz
C1

C1

C2

C2

D
50

 f ( z)dz 0

Sentido positivo

C1 AB C2 BA

C1

f ( z)dz f ( z)dz
C1

AB

f ( z )dz f ( z )dz
C2

BA

Como:

f ( z)dz f ( z)dz 0
C1

C2

C2

Nota: Observa que los sentidos en que se

recorren los circuitos en este dibujo y el
anterior, no son los mismos...

f ( z)dz f ( z)dz
AB

BA

f ( z)dz 0

C C1 C2

51

Ejemplo 1:

z
z
e
dz

dz
C1

(obvio!)

C2

C1

C2

Ejemplo 2:

1
1
C z dz C z dz
1
2

(no tan obvio)

52

Otra demostracin
Introduzcamos dos cortes, L1 y L2 ,que unen
los dos contornos.

L1

Inicio

Sean C* y C** los dos nuevos contornos

cerrados indicados por las flechas (1-2-3-4)
y (5-6-7-8), respectivamente.

5 C

4
1

**

8
7

C*

L2
Ahora f (z) es analtica sobre y dentro
de C* y C** . Por el teorema Integral de Cauchy:

f ( z)dz 0,
c*

f ( z)dz 0
c**

53

L1

Integramos alrededor del dominio D,

a lo largo de 1-2-3-4-5-6-7-8. As:

Inicio

f ( z )dz f ( z )dz f ( z )dz

1 2 3 4
5 6 7 8

1, 3

**
5 C
8
4
6

**

f ( z )dz f ( z )dz

C*

L2

6,8

f ( z )dz f ( z )dz Las integrales a lo largo de

C1

L1 y L2 se anulan

C2

Pero como las integrales a lo largo de C* y C** son cero,

entonces:

f ( z)dz f ( z)dz 0

C1

C2

con lo que se demuestra el enunciado.

54

Por qu se denomina principio de deformacin de contornos?

Si uno de los contornos puede
transformarse en el otro mediante
una deformacin continua y sin
cruzar ninguna singularidad de
f(z), entonces:

1 i

C2

f ( z)dz f ( z)dz
C1

C2

Recordemos:

y
1 i

C1

C3
1 i

1 i

dz
C z 2i

C4

55

Ejemplo
As que como la integral de f(z) = 1/z a lo
largo de un crculo de radio r es 2i:

1
C z dz 2 i
1

C2

C1

1 es analtica
z aqu

A partir del teorema integral de Cauchy para dominios

doblemente conexos vemos que la integral de f(z) = 1/z
a lo largo de cualquier camino que contenga este crculo
es tambin 2i.

56

Ejemplo
Evaluar la integral

3i

dz
C z 2 ( z 2 9) dz

donde C es un crculo de radio 2, centrado en

0, descrito en sentido positivo y un crculo de
radio 1, centrado en 0, descrito en sentido
negativo.

0 1

-3i

f (z) presenta singularidades en z = 0 y z = 3i. Esos puntos estn fuera

de la regin sombreada como muestra la figura. As:

dz
C z 2 ( z 2 9) dz 0
57

Teorema de Cauchy-Goursat para dominios

mltiplemente conexos
Supongamos que C, C1, , Cn son curvas
cerradas simples con orientacin positiva,
tales que C1, C2, , Cn son interiores a C
pero las regiones interiores a cada Ck, k = 1,
2, , n, no tienen puntos en comn. Si f es
analtica dentro y sobre el contorno C, sin el
interior de todos los Ck, k = 1, 2, , n,
entonces:
n

C f ( z )dz

C
k 1

f ( z) d z

58

No es necesario que los caminos cerrados no se corten, es decir

que formen anillos. Por ejemplo:
Imaginemos que f(z) es analtica
en todos los puntos del dominio
D de la figura. Tanto C2 como
C3 forman anillos con C1.
Por deformacin de
contornos:

C3

C1

C2

f ( z)dz f ( z)dz
C1

C1

C2

f ( z )dz f ( z )dz

f ( z)dz f ( z)dz
C2

C3

C3

59

Ejercicio: Se sabe que una cierta funcin es f(z) es analtica en todo

el plano complejo salvo en los puntos z = 1, z = 2 y z = 3, y que

Ck

f ( z )dz ak , k 1, 2, 3

siendo Ck : |z k| = , orientado en sentido positivo.

Calcular,
f ( z )dz siendo i cada uno de los siguientes contornos
i
orientados positivamente:
(1) 1 : |z| = 4,

(2) 2 : |z| = 5/2 y (3) 3 : |z 5/2| = 1

Respuesta:
Por el teorema de CauchyGoursat
en
dominios
mltiplemente conexos:

1
2
3

f ( z )dz a1 a2 a3
f ( z )dz a1 a2
f ( z )dz a2 a3
60

Independencia del camino de integracin

Integremos la funcin f ( z ) z a lo largo de
la recta C, que une los puntos 0 y 1+ i.

y
1 i

(1) Representar C en la forma z(t):

z (t ) t i t
(2) Integramos:

0 t 1

dz
1 i
dt

0
1

f ( z)dz
C

dz
f z (t ) dt (t i t )(1 i )dt
dt
0

2 1
(
t

i
t

it

t
)
dt

2
tdt

t
0 1

61

Ejemplo 1
Integrar la funcin f ( z ) z a largo del camino C = C1 + C2
que une los puntos 0 y 1+ i, como muestra la figura:
A lo largo de C1: z(t ) t

f ( z )dz f z (t )
0
1

0 t 1

y
1 i

dz
dt
dt

(t )(1)dt

t
1 2 1
0
2

A lo largo de C2: z(t ) 1 i t

C2

1
2

0 t 1

C1
0

dz

f ( z )dz f z(t ) dt dt

(1 i t )(i )dt (t i )dt

0

1
2

t it
2

1
0

1
2

62

 zdz 1
C

y
1 i

El valor de la integral entre

dos puntos depende siempre
del camino?

x
1 1
C zdz 2 2 i 1 i
63

Repitamos pero con f ( z ) z

a lo largo de
la recta C, que una los puntos 0 y 1+ i.

y
1 i

(1) Representar C en la forma z(t):

z(t ) t i t 0 t 1
(2) Integramos:
1

f ( z)dz
C

dz
f z (t ) dt (t i t )(1 i )dt
dt
0
1

2i tdt it 2 10 i
0

64

Ejemplo 2
Repitamos de nuevo con la funcin f ( z ) z , pero ahora a largo
del camino C = C1 + C2 que une los puntos 0 y 1+ i:
A lo largo de C1:

f ( z )dz f z (t )
0

0 t 1

z (t ) t

1 i

dz
dt
dt

(t )(1)dt

t
1 2 1
0
2

A lo largo de C2:

z (t ) 1 i t

f ( z )dz f z (t )
0
1

C2

1
2

C1

0 t 1

dz
dt
dt
1

(1 i t )(i )dt (t i )dt 12 t 2 i t

0

1
0

12 i

65

 zdz i
y

1 i
Ahora el valor de la integral no
depende del camino.
Qu diferencias hay
entre f(z) = z y f(z)= z ?

x
1 1
C zdz 2 2 i i
66

Ejemplo 3
Integrar la funcin f ( z ) z 2
a lo largo del camino C
uniendo 2 y 1+2i tal como muestra la figura

z(t ) 2 t 2ti

0 t 1

f ( z )dz f z (t )
0

dz
dt
dt

1 2i

( 2 t 2ti ) 2 ( 1 2i )dt
0
1

( 1 2i ) ( 3t 2 4t 4) i ( 4t 2 8t ) dt
0

( 1 2i )1 i (8 / 3)
1
(19 2i )
3
67

Ejemplo 4
Integrar la funcin f ( z ) z 2 a lo largo del camino C = C1+ C2
uniendo 2 y 1+2i tal como muestra la figura

0 t 2

A lo largo de C1: z (t ) 2 t

1 2i

f ( z )dz (2 t ) 2 (1)dt

C2

0
2

(t 2 4t 4)dt
0

8
3

A lo largo de C2: z(t ) t 2ti

C1

x
2

0 t 1

f ( z )dz (t 2ti ) 2 (1 2i )dt

0
1

( 11 2i ) t 2 dt
0

11 2
i
3 3

68

2
z
dz (19 2i ) / 3
C

y
1 2i

El valor de la integral
a lo largo de los dos
caminos es el mismo.

Coincidencia?

2
2
z
dz (19 2i ) / 3
C

69

Independencia del camino

Supongamos que f (z) es analtica en
un dominio simplemente conexo D

z1

C2

f ( z)dz f ( z)dz 0
C1

C2

(por el teorema integral de Cauchy)

z2

f ( z )dz

z1

a lo largo de C1

f ( z )dza lo largo de C2 0

z1

z1

a lo largo de C1

f ( z )dza lo largo de C2

z1

z2

z2

f ( z )dz

z1

z2

z2

z2

f ( z )dz

C1

a lo largo de C1

z2

f ( z )dz

z1

a lo largo de C2
70

Recuerda el potencial gravitatorio:

masa m

altura h

La energa potencial gravitatoria = m g h

es independiente del camino...

71

Ejemplo f(z)=|z|2
y
1+i

L0

L2

L1 1

L0 : x t

yt

0 t 1

L1 : x t

y0

0 t 1

L2 : x 1

yt

0 t 1

f ( z ) | z |2
1

L0 : I 0

2
|
t

it
|
(
1

i
)
dt

|
1

i
|
(
1

i
)
t

dt
2

0
1

L1 : I1

2
|
t
|
dt

2
t
dt

L2 : I 2

1
3

2(1 i )
3

Observa que L0 L1+L2

2
|
1

it
|
idt

2
(
1

t
)idt i

i
4i

3
3
72

Ejemplo: f(z)=z2
y
i

1+i
L0

L2

L1 1
f ( z) z

L0 : x t

yt

0 t 1

L1 : x t

y0

0 t 1

L2 : x 1

yt

0 t 1

L0 : I 0

(t it ) (1 i )dt (1 i)
2

0
1

L1 : I1

2
t
dt
0

2
t
dt
0

1
3

L2 : I 2

2i 2
3

Observa que L0=L1+L2

1

(1 it ) idt

2
(
1

t
i 2t )idt

2i 3
3
73

Ejemplo: calcular

1
dz
z

A lo largo del camino C1: x 4 y 4 1

C2

C1

Como f(z) = 1/z es analtica en

todo el plano complejo excepto
en z = 0. Podemos utilizar un
camino ms sencillo C2 (|z| = 1).

/2

f ( z)dz f ( z)dz
C1

C2

/2

dz
f z ( ) d
d

1
i
i
i e d
i
e
2

74

Si los caminos se cruzan, podemos hacer lo mismo

para cada bucle, utilizando como puntos intermedios
los puntos de interseccin.

z1
C2

C1

z2
75

Si f es analtica en D entonces:

C f ( z ) d z C

f ( z) d z 0

f ( z) d z f ( z) d z
C1

76

Independencia del camino

z0

z1

Consideremos la integral

f ( z )dz

z0

z1

Si F (z) es analtica en un dominio simplemente conexo D, con

derivada dF/dz = f(z) y, z0 y z1 estn en D, entonces la integral
de f(z) entre z0 y z1 es independiente del camino en D.

De modo que podemos hablar de primitivas o antiderivadas como en

variable real:
z1

f ( z ) dz F ( z1 ) F ( z0 )

donde

dF
f (z )
dz

z0
1 2 i

z3
2 z dz 3
2

p.ej.

z 1 2 i

z3

z 2

1
(19 2i )
3
77

Ejemplos
i

todo el plano
complejo

cos zdz sin z i

(1)

2 sin(i ) 2i sinh
23.097i

1 i

zdz ?

(2)

0
i

(3)

( f (z) es no analtica en todo punto depende del camino)

i

1
1
i z 2 dz z i 2i

f (z) analtica en
este dominio

(ambas 1/z2 y 1/z son no analticas en z = 0

- el camino de integracin C debe eludir el punto)
78

Si f ' ( z ) 0 en un dominio D,
(y f ( z ) es analtica) entonces f ( z ) ser constante sobre D.
Prueba :
f ' ( z ) 0 u x iv x 0 u x 0 y v x 0
u x v y y u y v x
u x vx u y v y 0
u ( x, y ) a y v( x, y ) b ( x iy ) D
f ( x, y ) a ib ( x iy ) D

La primitiva o antiderivada de f ( z) es nica salvo una constante.

Prueba :
Sean F ( z ) y G ( z ) dos primitivas diferentes de f ( z ).
d
F(z) - G(z) 0. Puesto que F ( z ) y G( z ) son analticas
dz
por definicin , tambin lo es su diferencia F ( z ) - G ( z ).
De modo que F ( z ) G ( z ) Cte. F ( z ) G ( z ) Cte.
79

80

1
1
i
dz

i
e
d
C z
ei
1

C1

i d i

Por qu en este caso la integral depende del camino?

0

C2

1
1
i
dz

i
e
d
C z
ei
2
0

i d i

81

y
i

Intentemos definir F(z) = Ln z

como primitiva. En este caso
una posible primitiva es:

C1

Punto de
ramificacin

Corte

log z log | z | i arg z

con - / 2 arg z 3 / 2

1
1
1
C z dz 1 z dz log z 1
1
log | 1 | i arg(1) log | 1 | i arg( 1)
i (0 ) i
82

Intentemos definir una

primitiva para este caso.
Observe que NO puede ser
la misma que en el caso anterior:

Punto de
ramificacin

Corte
0

C2

log z log | z | i arg z

con / 2 arg z 5 / 2

1
1
1
dz

dz

log
z

C z
1 z
1
2
log | 1 | i arg(1) log | 1 | i arg( 1)
i (2 ) i

Y tomemos los
cortes como los
tomemos, siempre
obtendremos este
resultado.

83

84

85

Ms sobre integracin en contornos cerrados...

Podemos usar el teorema Integral de Cauchy para integrar
funciones en contornos cerrados siempre que stas sean:
(a) analticas, o
(b) analticas en ciertas regiones
Por ejemplo,

dz
C z 0

f (z) es analtica en todo punto

excepto en z = 0

Pero, qu sucede si el contorno encierra un punto singular?

dz
C z ?

La respuesta en el
siguiente resultado
86

3.6 Frmula Integral de Cauchy

Sea f (z) analtica en un dominio simplemente conexo D. Para
cualquier punto z0 en D y cualquier contorno cerrado C en D que
incluya z0:

z0

f ( z)
C z z0 dz 2 i f ( z0 )
D

87

Ejemplo
Ilustremos la frmula integral de Cauchy para el caso de
f (z) = 1 y z0 = 0
La frmula integral de Cauchy

f ( z)
C z z0 dz 2 i f ( z0 )

D
z0 0

se convierte en

1
C z dz 2i 1 2i

f (z) es una funcin constante,

es entera, as que C puede ser cualquier
contorno cerrado en el plano complejo
conteniendo z = 0.
88

Ejemplo 1
z2
dz
Evaluar la integral
2

z
C

donde C es z 1 2

z = 2 es un punto singular en el interior a C.

La frmula integral de Cauchy

z0 2

f ( z)
C z z0 dz 2 i f ( z0 )
se convierte en:

f (z) es analtica en todo punto de

modo que C puede ser cualquier
contorno en el plano complejo
conteniendo el punto z = 2.

z2

dz 2 i 4 i8
z2
C
89

Demostracin no rigurosa de
la frmula integral de Cauchy:
z

r0 ei

z0

C0

Por el principio de deformacin

de contornos:

f ( z)
f ( z)
C z z0 dz C z z0 dz
0

i
2 f ( z r e )
2
f ( z)
i
i
0
0
dz

ir
e
d

i
f
(
z

r
e
)d
0
0
0
i
C z z0
0

0
r0e
0

Cambio de
variable:

z z0 r0e ;

dz
ir0ei
d
90

Hemos tomado un r0 arbitrario. Hagmoslo infinitamente

pequeo:
2
2
i

lim i f ( z0 r0e )d i f ( z0 )d

0
r0 0
0
2

if ( z0 ) d 2if ( z0 )
0

f ( z)
C z z0 dz 2 i f ( z0 )
Qu no es riguroso aqu?
91

r0 ei

z0

C0

Demostracin de la frmula
integral de Cauchy. Por el
principio de deformacin de
contornos:

f ( z)
f ( z)
C z z0 dz C z z0 dz
0

f ( z0 ) f ( z ) f ( z0 )
f ( z)
dz
C z z0 dz C0
z z0
f ( z ) f ( z0 )
1
f ( z0 )
dz
dz
C0 z z
C0
z z0
0

I1

I2
92

2
2
1
1
i
I1
dz
ir0e d i d 2i
i

0 re
0
z z0
0
C0

Vamos a encontrar una cota ML para

Tenemos:

L 2 r0

Y necesitamos M tal que:

Para todo z en C0 :

C0

f ( z ) f ( z0 )
f ( z ) f ( z0 )

M
z z0
z z0

z z0 r0

Como f(z) es continua en z0:

Si tomamos

I2

f ( z ) f ( z0 )
dz
z z0

f ( z) f ( z0 ) si z z0

r0 f ( z ) f ( z0 )

para todo z sobre C0.

93

f ( z ) f ( z0 )
f ( z ) f ( z0 )

M L 2 r0
z z0
r0
r0
Ya podemos aplicar la desigualdad ML: para

I2

C0

f ( z ) f ( z0 )

dz ML 2 r0 2
z z0
r0

Epsilon puede ser tan pequeo como queramos (de hecho

reducirlo es reducir el radio r0. As que: I 2 0 I 2 0

f ( z ) f ( z0 )
f ( z)
1
C z z0 dz f ( z0 )C0 z z0 dz C0 z z0 dz 2if ( z0 )

I1 2i

I 2 0

94

Ejemplo 2
Evaluar la integral:

dz
C z i

donde C es el crculo |z |=2

D

f ( z)
C z z0 dz 2i f ( z0 )
f ( z) 1
z0 i
f (z) es analtica en D y C incluye z0

f ( z0 ) 1
dz
C z i 2i
95

Ejemplo 3
Evaluar

dz
C z 2 1

donde C es el crculo |z+i |=1

En primer lugar, notemos que 1/(z2+1) presenta

puntos singulares en z = i.

El contorno C incluye uno de esos puntos, z = -i.

Ese es nuestro punto z0 en la frmula

f ( z)
C z z0 dz 2i f ( z0 )

C
D

Necesitamos un trmino en la forma 1/(z- z0) as que rescribimos la

integral como:
1

dz
dz
z i dz

C z 2 1 C ( z i)( z i) C z i
96

dz
dz
C z 2 1 C ( z i)( z i) C

1
z i dz
z i

f ( z)
C z z0 dz 2i f ( z0 )
1
f ( z)
z i
z0 i

f ( z0 ) i / 2

C
D

dz
2

z 1
C
97

Ejemplo 4
Evaluar

z
C z 2 9 d z

donde C es el crculo |z 2i | = 4.
Solucin
Solo z = 3i est dentro de C, y

z
z
z 3i

z 2 9 z 3i

z
Sea f ( z )
, entonces :
z 3i
z
z
3i
z

3
i
C z 2 9 d z C z 3i d z 2 i f (3i) 2 i 6i i
98

Ejemplo 5
Evaluar

ez
C z i dz

donde C es cualquier contorno cerrado

conteniendo z = -i

Frmula integral de Cauchy:

C

f ( z)
C z z0 dz 2 i f ( z0 )

D
z0 i

se convierte en

ez
i
dz

ie
C z i
f (z) es analtica en todo punto
99

Ejemplo 6
Evaluar

dz
C z 4 1 donde C es el crculo |z+i |=1

Tenemos que

dz
dz
C z 4 1 C ( z 1)( z 1)( z i)( z i)

El contorno C incluye uno de esos puntos, z = +i.

Ese es nuestro punto z0 en la frmula

dz
f ( z)
C z 4 1 C z i dz

donde

f ( z)

C
1

1
( z 1)( z 1)( z i )

1
i
Ahora f ( z0 ) f (i )

(i 1)(i 1)(2i ) 4

dz
f ( z)

dz

i
f
(
z
)

0
4

1
z

z
2
0
C
C

100

Ejemplo 7
tan z dz
Evaluar
C z 2 1 donde C es el crculo |z |=3/2
tan z es no analtica en /2, 3/2, , pero esos
puntos estn fuera de nuestro contorno de
3 / 2
integracin
C incluye dos puntos singulares, z = 1.
Para poder usar la frmula integral de Cauchy,
debemos tener slo un punto singular z0 dentro de C.

1 / 2

Usaremos fracciones parciales:

1
A
B
A( z 1) B( z 1)

2
z 1 z 1 z 1
( z 1)( z 1)

( A B) z 0
A B 1

A 1 / 2, B 1 / 2
101

tan z
1 tan z
1 tan z
C z 2 1 dz 2 C z 1 dz 2 C z 1 dz

z0 1
f ( z ) tan z
f ( z0 ) tan1

z0 1
f ( z ) tan z

1 / 2

f ( z0 ) tan(1)

tan z
1
C z 2 1 dz 2i 2 tan(1) tan(1) 9.785i

102

3.7 Derivadas de funciones analticas

Se pueden tratar funciones ms complicadas con potencias de z-z0,
con la frmula:

f ( z)
2i d n f
C z z0 n 1 dz n! dz n

f analtica en y dentro
de C, z0 dentro de C
z0

Esto es una generalizacin de la frmula integral de Cauchy

Por ejemplo,

z 2 3z
d z 2 3z
C z 12 dz 2i dz

cos z
d 2 cos z
,
dz i
3
2
dz

2
C
z0 1
z0 2

Esta frmula tambin es conocida como la formula para las

derivadas de una funcin analtica.
Nota: cuando n=0 tenemos la
Frmula Integral de Cauchy:

f ( z)
C z z0 dz 2i f ( z) z0

103

Demostracin

1
f ( z)
dz
Partiendo de la frmula integral de Cauchy: f ( z0 )

2i C z z0
Tomando f(z0) como una funcin de variable z0. Derivando
con respecto a z0 y aplicando la regla de Leibnitz:

d
d 1
f ( z)
f ( z0 )
dz

dz0
dz0 2i C z z0
1
d 1

dz
f ( z)

2i C
dz0 z z0
1
f ( z)
dz
2

2i C z z0

por induccin:

f ( z)
2i d n f
C z z0 n 1 dz n! dz n

z0

104

La generalizacin de la frmula integral de Cauchy nos muestra algo

excepcional:
Si una funcin f(z) es analtica en cierto dominio, entonces posee
derivadas de todos los rdenes en dicho dominio. Y estas
derivadas son a su vez tambin analticas en el dominio.
Sea f(z) una funcin definida en todo punto de un entorno de z0. Si
f(z)
no es analtica en z0 es imposible encontrar una funcin F(z) tal que
dF/dz = f(z) en todo punto del entorno. De existir F(z) sera analtica
y
por la frmula generalizada de Cauchy, su segunda derivada df/dz
existira en todo punto del entorno considerado. Y entonces f(z) sera
analtica en z0: una contradiccin.

105

Ejemplo 1

ez
Evaluar la integral
C z 2 dz

donde C es el crculo |z |=2

f ( z)
C ( z z0 ) 2 dz 2i f ( z0 )
z

f ( z ) e

z0 0

f ( z ) ez

f (z) es analtica en D, y C incluye z0

f ( z0 ) e 0

ez dz
2

i
C z 2
106

Ejemplo 2
z2
Evaluar la integral
C z i 3 dz donde C es el crculo |z |=2

f ( z)
2 i
C ( z z0 )3 dz 2 f ( z0 )
z0 i

f ( z) z 2

f (z) es analtica in D, y C incluye z0

f ( z ) 2
f ( z0 ) 2

z 2 dz
C ( z i)3 2 i
107

Ejemplo 3
ez
dz donde C es la circunferencia z 3
Calcular
3
C z 2i
ez
I
dz
3
C z 2i

(n)

n!
f ( z)
z0
dz ,
n 1
2i C z z0

siendo :
z0 2i;
e

2i

f ( z ) e z f ( z0 ) e 2i

2!
ez
I
2i

dz

ie
2i C z 2i 3
i
108

109

110

111

3.8 Series en el Campo Complejo

Dada una sucesin {zn}, una serie infinita o serie se puede formar a
partir de una suma infinita:

z
n 1

z1 z2 z3 ...

Los z1, z2, ..... son denominados trminos de la serie.

La sucesin de sumas:
s1 = z1
s2 = z1 + z2
s3 = z1 + z2 + z3
........
sn = z1 + z2 +....zn
es la sucesin de sumas parciales de la serie infinita.

112

Series convergentes

Una serie convergente es aquella tal que la sucesin de sumas parciales

lim sn s converge, donde s es la suma o valor de la serie y se
n
expresa:

s zn z1 z2 ...
n 1

Una serie divergente es aquella que no converge.

Llamaremos resto Rnde la serie a:

Rn zn1 zn2 zn3

Si la serie converge y suma s, entonces

s sn Rn

Rn s sn

y lim Rn 0
n

113

Serie geomtrica
Para la serie geomtrica:

k 1
2
n 1
az

az

az

az

k 1

el trmino ensimo de la sucesin de sumas parciales es:

n
a
(
1

z
)
S n a az az 2 ... az n1
1 z

Observa que zn 0 cuando n para |z| < 1, en cuyo

casi Sn converge a a/(1 z). La serie diverge para |z| 1.

114

Ejemplo:

(1 2i ) k (1 2i ) (1 2i ) 2 (1 2i )3
5k 5 52 53 ...
k 1
es una serie geomtrica con a = (1 + 2i)/5 y
z = (1 + 2i)/5. Puesto que |z| < 1, tenemos que:

1 2i

(1 2i ) k
i
5

5k
1 2i 2
k 1
1
5

115

Teorema de Cauchy para series

Una serie z1+ z2 +.... es convergente sii dado cualquier >0
podemos hallar un N tal que |zn+1+zn+2+...+zn+p| < para todo
n > N y p =1, 2...
Convergencia absoluta.
Una serie z1+ z2 +... es absolutamente convergente si la serie de
los valores absolutos de sus trminos

|z | = |z1| + |z2| + ......

m=1 m

es convergente. Si z1+ z2 +... converge pero |z1|+ |z2| +.... diverge,

la serie z1+z2.... es condicionalmente convergente.
Si una serie es absolutamente convergente es convergente
Ejemplo: La serie 1- 1/2+ 1/3- +... converge condicionalmente.
116

Ejemplo

ik
Es la serie 2 convergente?
k 1 k
Es absolutamente convergente, puesto que

k
2
2
1
|i /k | = 1/k y la serie real

k2
k 1

es convergente.
De modo que la serie original es convergente.

117

Comparacin de series:
Si dada una serie dada z1+ z2+ ... , podemos hallar una serie

convergente b1+ b2+ ... con trminos reales no negativos tal que
|zn| bn para todo n = 1, 2, ...entonces la serie dada converge,
incluso absolutamente.

Criterio del cociente:

Si una serie z1+ z2+ .... con zn0 (n = 1, 2, ...) cumple que
|zn+1/zn| q < 1 ( n > N, con un q dado para cualquier N)
la serie converge absolutamente. En cambio si
|zn+1/zn| 1 ( n > N) la serie diverge.

118

Si tenemos una serie z1+ z2 +.... con z n 0 (n = 1, 2, ..) tal que

zn 1
lim
L
n z
n
a)
b)
c)

Entonces se cumple que:

Si L < 1 la serie converge absolutamente.

Si L > 1 diverge.
Si L = 1 no sabe, no contesta.

n
2
(
100

75
i
)
(
100

75
i
)
Dado S
1 (100 75i)

n!
2!
0
Es S convergente o divergente?

z
lim n 1 lim
n z
n
n

100 75i

n 1

100 75i

n 1!
n

n!

lim

100 75i
n 1

125
0
n n 1

lim

Converge.
119

Criterio de la raz:
Si una serie z1+ z2 + ... cumple que para todo n > N
n

| zn | q 1

(n < N)
donde q<1 est fijado, la serie converge absolutamente. Si para infinitos n
se cumple que:
n | z | q 1 , la serie diverge.
n

Entonces, si una serie z1+z2+... cumple que para todo n > N

lim

| zn | L

entonces:
a)
Si L < 1 la serie converge absolutamente
b)
Si L > 1 diverge
c)
Si L = 1 no podemos extraer conclusiones
120

Ejemplo

(1) n
1 1
1
4 i n (4 i) (4 i) 2
S 2 n
3
4 7
19
0 2

Dado

Es S convergente?

(4 i ) n
lim n 2 n
n 2
3

17
17
lim (4 i) lim

n n 4 n 3 n n 4 n 3
4

Como el lmite es mayor que 1, la serie diverge.

Ejercicio: demostrar que

La serie geomtrica

m
2
q

m 0

converge con suma 1/(1-q) si |q| < 1 y diverge para otros valores.

121

Serie de potencias

Una serie de potencias en ( z zo ) es:

a (z z )
n 0

centro de
desarrollo

ao a1 ( z zo ) a2 ( z zo )
2

coeficientes

complejos

P.ej.

1
1
n
2
(
z

i
)

(
z

i
)

(
z

i
)

2
n 0 n!
122

Convergencia de series de potencias

Las series de potencias en general convergen para algunos

valores de z, y para otros.

Por ejemplo la serie

n
2
3
z

n 0

(Serie
geomtrica)

converge para |z |<1, pero diverge para |z |1.

Radio de
convergencia
R =1

Fuera del crculo de

convergencia la serie
de potencias diverge.
Crculo de convergencia:
mayor crculo centrado en z0 en el
que la serie de potencias
converge.
123

Ejemplos:

Radio de convergencia
infinito; R =

1 n
z2 z3
z 1 z

2! 3!
n 0 n!
La serie converge para todo z

Radio de convergencia cero;

R=0

n
2
3
n
!
z

2
!
z

3
!
z

n 0

La serie diverge para todo z (excepto z = 0)

124

a (z z )
n 0

ao a1 ( z zo ) a2 ( z zo )
2

(1) La serie de potencias siempre converge para z = zo

(2) Hay un radio de convergencia R para el cual:

zo

z zo R : diverge

z zo R

: converge

Los valores z tq. z zo R pueden converger o no

125

En resumen:
El radio de convergencia R puede ser:

(i) cero (converge solo en z = z0).

(ii) un nmero finito R (converge en todos los puntos del crculo
|z z0| < R).
(iii) (converge para todo z).
La serie de potencias puede converger en algunos, todos o ninguno
de los puntos de la circunferencia de convergencia. Hay que
determinarlo por separado.

126

Hay una forma rpida para hallar el radio de convergencia?

an 1 1

La frmula de Cauchy-Hadamard : lim

n a
R
n

(i)
lim

(ii)

a n1
an

lim

L 0,

a n1

(iii)

R = 1/L.

lim

an

a n1
an

R es .

R = 0.
127

Ejemplo:

(2n)!
n
2
(
z

3
i
)

2
(
z

3
i
)

6
(
z

3
i
)

2
n 0 ( n! )
an1

2(n 1)! (n!) 2

(2n 2)(2n 1)
1
lim
lim

lim

2
n a
n ( n 1)!2 ( 2n)!
n
(
n

1
)
R
n

1
R
4

128

(2n)!
n
2
(
z

3
i
)

2
(
z

3
i
)

6
(
z

3
i
)

2
n 0 ( n! )

z 3i 1 / 4

: converge

zo 3i

z 3i 1 / 4 : diverge

129

Ejemplo:

n
2
(
z

4
i
)

(
z

4
i
)

(
z

4
i
)

n 0

an 1
1
1
lim
lim 1
n a
n 1
R
n

R 1

zo 4i

z 4i 1:

diverge

z 4i 1 :

converge

130

Ejemplo:

n
n
2
2
ne
(
z

1
)

e
(
z

1
)

2
e
(
z

1
)

n 0

an1
(n 1)e n1
n 1
1
lim
lim
lim e
e
n
n a
n
n

ne
n
R
n

R 1/ e
zo 1

z 1 1/ e :

z 1 1/ e

diverge

: converge

131

Otro ejemplo:

(1) k ( z 1 i ) k

k!
k 1

(1) n 2
(1) n 1
1
(n 1)!
an
, lim
lim
0
n

1
n ( 1)
n n 1
n!
n!
El radio de convergencia es .

132

Recuerda adems que todo lo dicho para series, evidentemente funciona

para series de potencias.
Por ejemplo:
(1) Si lim n z 1
n

la serie diverge.

(2) Si lim zn 0
n

z
n 0

la serie diverge.

(3) Comparar:

z
n 0

(4) Si lim

converge si zn bn y

zn 1
1
zn

b
n 0

converge

la serie diverge.

133

Resumen y varios comentarios interesantes:

a
(Observa que para nosotros era: R lim n 1

En el punto iv se resuelve el enigma) n an

134

135

136

137

3.8 Series de Taylor

Series de potencias y funciones analticas
Cualquier funcin analtica f (z) puede ser representada por una serie
de potencias con radio de convergencia R 0. La funcin
representada por la serie es analtica en todo punto dentro del radio de
convergencia.

Ejemplo:

1
f ( z)
zn 1 z z2 z3
1 z
n 0

la serie converge para |z|1

Radio de convergencia R = 1

138

Cmo encontrar la serie de potencias de una funcin

analtica determinada?

A las series de potencias que representan funciones

analticas f (z) se les llama series de Taylor.

Vienen dadas por la frmula:

f ( z ) an ( z z o ) ,
n

n 0

1 (n)
an f ( zo )
n!
(Cauchy, 1831)

139

Desarrollar f(z)=sin z alrededor de z0=0 (serie de Mclaurin):

f ( 0) ( z ) sin z

f ( 4) ( z ) sin z

f (1) ( z ) cos z

f (5) ( z ) cos z

f ( 2) ( z ) sin z
f

( 3)

( z ) cos z

f ( 0) (0) 0

f ( 4) (0) 0

f (1) (0) 1

f (5) (0) 1

f ( 2) (0) 0

f (3) (0) 1

f ( 2 k ) (0) 0
f ( 2 k 1) (0) (1) k

sin z
k 0

f ( n ) (0) n f ( 2 k ) (0) 2 k f ( 2 k 1) (0) 2 k 1

z
z
z
n!
k 0 ( 2k )!
k 0 ( 2k 1)!

(1) k 2 k 1
sin z
z
k 0 ( 2k 1)!

140

Demostracin del teorema de Taylor:

y
r1

Por la frmula integral de Cauchy:

1
f ( )
f (z )
d

2 i C1 z

r0

z0

C0

C1

Vamos a desarrollar el integrando:

1
1
1
1

z ( z0 ) ( z z0 ) z0 1 z z0
z0
N

z z0

N 1
z0
z z0
1 z z0

1
...

z z0
z0
z0
z0

z
0

141

f ( )( z z0 ) N
f ( )
f ( )
f ( )
f ( )
N 1

( z z0 ) ...
( z z0 )
2
N
z z0 ( z0 )
( z0 )
( z )( z0 ) N
f (z )

1
f ( )
d
2 i C1 z

f ( )( z z0 ) N
1 f ( )
f ( )
f ( )
N 1

( z z0 ) ...
( z z0 )

d
2 i C1 z0 ( z0 ) 2
( z0 ) N
( z )( z0 ) N

f ( N 1) ( z0 )
f ( z ) f ( z0 ) f ' ( z0 )( z z0 ) ...
( z z0 ) N 1 RN ( z )
( N 1)!
Utilizando la frmula generalizada de Cauchy:

(n)

n!
f ( )
( z0 )
d
n 1

2i C z0
142

Donde hemos definido el residuo Rn:

f ( )( z z0 ) N
1
RN ( z )
d
N

2 i C1 ( z )( z0 )
Observemos que:

| z z0 | r; | z0 | r1 r; | z | | z0 | | z z0 | r1 r
Si M es el valor mximo que puede alcanzar
f ( )
sobre C1:

r
M 2r1
Mr1 r

RN ( z )

N
2 (r1 r )r1
(r1 r ) r1
N

Y puesto que r/r1 < 1, el lmite cuando N tiende a infinito

del residuo es cero. De modo que para cada z interior a C0,
la serie de Taylor converge a f(z).
143

Ejemplo1
1
Encontrar la serie de Taylor para f ( z )

1 z

f ( z)

1
1
2
3!

, f ( z )
,
f
(
z
)

,
f
(
z
)

1 z
1 z 2
1 z 3
1 z 4

(1) Tomemos centro z = 0 :

1
an z n
1 z n 0

(n)

n 0

zo 0

z 1

(0) n
z
n!

f (0) 2
f (0) 3!
punto singular

f ( 0) 1
f (0) 1

centro

n 0

1 z z2 z3

R 1
144

f ( z)

1
1
2
3!

, f ( z )
,
f
(
z
)

,
f
(
z
)

1 z
1 z 2
1 z 3
1 z 4

(2) Tomemos centro z =1/2 :

1
n
an z 12
1 z n 0

n 0

n 0

f ( 12 ) 2.23
f ( 12 ) 3!2 4

f ( n ) ( 12 )
z 12 n
n!

2 n 1 z

f ( 12 ) 2
f ( 12 ) 2 2

zo 12
z 1

centro

punto singular

1 n
2

2 4z 12 8z 12 16z 12
2

1
2

145

Una funcin analtica f (z) puede ser representada mediante series de

potencias con distintos centros zo
(aunque hay nicamente una serie para cada centro).
1
1
1
1 2
1 3
2
3

4
z

8
z

16
z

1 z z z 1 z
2
2
2
1 z
zo 0

z 1

zo 12
z 1

Hay por lo menos un punto singular en la circunferencia de

convergencia

146

f ( z) e

Ejemplo 2

con centro z = 0

f ( z) e z , f ( z) e z , f ( z) e z , f ( z) e z

e an z n
z

n 0

n 0

zo 0

f ( n ) (0) n
z
n!

f (0) 1
f (0) 1

zn

n 0 n!
1 z

f ( 0) 1
f (0) 1

z
z

2 3!

centro

no hay puntos singulares!

147

Unicidad del desarrollo de Taylor

Supongamos que f(z) es analtica y desarrollable alrededor

1
de z0 , tq: f ( z ) an ( z zo ) n ,
an f ( n ) ( zo )
n!

n 0

Existir otra serie

de potencias:

f ( z ) bn ( z zo ) n , con bn an?
n 0

f ' ( z ) b1 2b2 ( z zo ) 3b3 ( z zo ) 2 ...Tomando z = z0 en las

expresiones anteriores:

f ' ' ( z ) 2b2 3 2 b3 ( z zo ) ...

f ( z0 ) b0

f ' ( z0 ) b1
f ' ' ( z0 ) 2b2 ;

f ' ' ( z0 )
b2
2

(n)

( z0 ) n!b2 ;

f ( n ) ( z0 )
bn
n!

n 0,1, 2, ...
Son los mismos coeficientes del
desarrollo de Taylor
148

Derivar la serie de Taylor directamente a partir

de la frmula

f ( z ) an ( z zo ) n , an
n 0

n!

f ( n ) ( zo )

puede ser complicado.

Normalmente se usan otros mtodos:
(1) La serie geomtrica

1
z n 1 z z 2 z3
1 z n 0

(2) La serie binomial

1
m(m 1) 2 m(m 1)(m 2) 3
n m 1 n n

1
z

mz

z
z
n
(1 z ) m n0
2
!
3
!

(3) Otras series conocidas como la exponencial, el coseno, etc.

z 2 n1
z3 z5
sin z (1)
z
(2n 1)!
3! 5!
n 0

149

Ejemplo 3
Expandir

1
f ( z)
1 z2

para z = 0
(usar la serie geomtrica)

Primero dibujamos el centro y los puntos singulares de f(z) para

hacernos una idea:

puntos singulares:

z i, i

centro

Parece que el radio de convergencia es R=1.

150

Sabemos que

Por tanto

1
1 z z 2 z3
1 z

1
1
2
4
6

2
2
1 z
1 ( z )

La serie geomtrica converge para |z|<1

por tanto nuestra serie converge para |z|2 <1

O lo que es lo mismo: para |z|<1. Y efectivamente el radio

de convergencia es R = 1 como habamos predicho.

151

Ejemplo 4
Expandir

1
f ( z)
3 2z

para z = 1
(usar la serie geomtrica)

De nuevo dibujamos el centro y los puntos singulares de f(z):

centro z = 1

puntos singulares:

z 3/ 2

Parece que el radio de convergencia es R = 1/2

152

Sabemos que

por tanto

1
1 z z 2 z3
1 z

1
1

1 2( z 1) 4( z 1) 2
3 2 z 1 2( z 1)

La serie geomtrica converge para |z |<1,

por tanto nuestra serie converge para |2(z-1)|<1
es decir, para |z -1| < 1/2.

153

Ejemplo 5
Encuentra la serie de Maclaurin de la funcin:

z
z
1
f ( z) 4

z 9 9 1 ( z 4 / 9)

z
1
f ( n ) (0) n
f ( z)

z
4
9 1 ( z / 9) n0 n!

1
2
3
1 w w w ... (1) n wn
1 w
n 0
2

1
z z z
n z

...

1
)

1 ( z / 9)
9 9 9
n 0
9
4

z/9
n z z

1
)

4
1 ( z / 9) n0
9 9

(1) n 4 n1
n1 z
n 0 9

154

Ejemplo 6

1
Expandir f ( z )
(1 z ) 2
Centro y puntos singulares

Centro z = 0

para z = 0
(Usar la serie binomial)

R = 1:

Punto singular:

z 1

155

La serie binomial es:

1
n m 1 n n
z
1
m
n
(1 z )
n 0

m(m 1) 2 m(m 1)(m 2) 3

1 mz
z
z
2!
3!
Por tanto:

1
1
2
3

2
z

3
z

4
z

2
2
(1 z )
[1 ( z )]

(1 z ) m

es singular en z = -1

La serie binomial converge para |z |< 1

Por tanto nuestra serie converge para |-z |<1
Es decir |z |< 1.

156

Ejemplo 7
2 z 2 15 z 34
Expandir f ( z )
( z 4) 2 ( z 2)

en z = 0

Puntos singulares:

z 4, 2

Centro z = 0

el radio de convergencia
debera ser R = 2.

157

3.9 Serie de Laurent

Como hemos visto podemos expandir una funcin analtica
en serie de Taylor alrededor de un centro. Por ejemplo,

1
1 z z 2 z3
1 z

zo 0

Podemos expandir la misma funcin

respecto a distintos centros. Por ejemplo:

1
1
1 2
2 4z 2 8z 2
1 z
Notemos que

zo

1
2

(a) siempre tenemos potencias positivas de (z-z0).

(b) la serie converge dentro de un disco.
158

Pero hay otro tipo de series que:

(a) Incluyen potencias negativas de (z-z0)
(b) Convergen dentro de un anillo
Tales series se llaman series de Laurent.

Ejemplo
2z 3
1 1 1 z z2
2
z 2 3z 2
z
z 2 4 8

Puntos singulares en z = 1, 2

Centro

Si z = z0 es una singularidad de una funcin

compleja f. El punto z0 se llama singularidad
aislada si existe un disco abierto 0 < |z z0| < R
en el que la funcin es analtica.

Converge para 1<|z|<2

159

La serie de Laurent siempre converge dentro de un anillo.

Si tomamos una funcin y dibujamos sus puntos singulares,
podremos separar el plano complejo en distintas regiones de
convergencia.

Ejemplo

f ( z)

1
1 z

centro

centro

Dentro del disco |z|<1 tenemos la

serie de Taylor:

1
1 z z 2 z3
1 z

En el anillo 1< |z| <

tenemos la serie de Laurent:

1
1 1 1
2 3
1 z
z z
z
160

Por supuesto, podemos tener

distintos centros ...

f ( z)

1
1 z
1

centro

centro

Dentro de un disco |z+1| < 2

tenemos la serie de Taylor.

1
1 z 1 ( z 1) 2

1 z 2
4
8

En el anillo 2< |z+1|<

tenemos la serie de Laurent.
1
1
2
4

2
3
1 z
z 1 ( z 1) ( z 1)

161

El centro podra ser, incluso, el punto singular ...

f ( z)

centro z0=1

1
1 z
En este caso, la serie es vlida
para 0< |z-1|< , un disco con
el punto singular z0=1 situado en
el centro.

En este caso, la serie est formada por un nico trmino

1
1 z

162

La funcin f(z) = (sin z)/z3 es no analtica en z = 0 y no podemos

expandirla como serie de Maclaurin. Sabemos que:
z3 z5 z7
sin z z ...
3! 5! 7!

converge para todo z. As que:

sin z 1 1 z 2 z 4
f ( z) 3 2
3! 5! 7!
z
z

converger para todo z excepto z = 0, 0 < |z|.

163

Ejemplo
Cuntas series con centro z0 = 1/4 puede tener la funcin

sin z
z2 z 2

La funcin presenta dos singularidades

(polos simples), en z = -1, 2.

7/4 < | z-1/4 | <

| z-1/4 | < 5/4

5/4 < | z-1/4 | < 7/4

El anillo siempre est entre los puntos singulares.

164

Ejemplo

Cuntas series con centro z0 = 0 tiene la funcin

e z
( z 2)

La funcin presenta una singularidad

(polo de segundo orden) en z = 2.

|z| < 2

2 < |z| <

165

Teorema de Laurent:

Si f(z) es analtica en el anillo de centro z0, r0< |z - z0| < r1 y C es

cualquier camino cerrado que rodea a z0 y est contenido por
completo en ese dominio anular (ver figura). Entonces, en todo
punto de ese dominio, f(z) admite la representacin:
f ( z ) a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 )3

b3
b1
b2
b4

2
3
4
z z0 ( z z0 ) ( z z0 ) ( z z0 )

donde
an
bn

f ( z)
dz, n 0,1, 2, ...
n 1

2 i C ( z z0 )
1

2 i C

r0

r1C

f ( z )( z z0 ) n 1 dz, n 0,1, 2, ...

Cunto valen los bns cuando

f(z) es analtica en |z-z0| < r1?

Pierre Alphonse Laurent (1843)

166

Demostracin del teorema de Laurent:

Por la frmula integral de Cauchy para un

dominio doblemente conexo:

r1
r0

z0

C0

C1

f (z )

1
f ( )
1
f ( )
d

2 i C1 z
2 i C0 z

f ( )( z z0 ) N
f ( )
f ( )
f ( )
f ( )
N 1

( z z0 ) ...
( z z0 )
2
N
z z0 ( z0 )
( z0 )
( z )( z0 ) N
1
1
1
1

z ( z z0 ) ( z0 ) z z0 1 z0
z z0
N

z0

N 1
z

z
z0
1 z0
0

...

z
z z0 z z0
z

z
0
0

z
0

( z0 ) N 1
1
1
1
1
1

...

1
2
1 N
N
z z0 ( z0 ) ( z z0 )
( z0 ) ( z z0 )
( z z0 ) N z

167

( z0 ) N f ( )
f ( ) f ( )
f ( )
1
f ( )
1

...

1
2
1 N
N
z
z z0 ( z0 ) ( z z0 )
( z0 ) ( z z0 )
( z z0 ) N z
f (z )

1
f ( )
1
f ( )
d

d
2 i C1 z
2 i C0 z

f ( )( z z0 ) N
1 f ( )
f ( )
f ( )
N 1

( z z0 ) ...
( z z0 )
d

2
N
N

2 i C1 z0 ( z0 )
( z0 )
( z )( z0 )
( z0 ) N f ( )
1 f ( )
f ( )
1
f ( )
1

...

d
2 i C0 z z0 ( z0 ) 1 ( z z0 ) 2
( z0 )1 N ( z z0 ) N ( z z0 ) N z
N 1

bn
f ( z ) an ( z z 0 ) R N ( z )
Q N ( z )
n
n 0
n 1 ( z z0 )
n

168

1
1
QN ( z )
2 i ( z z0 ) N

C0

f ( )( z0 ) N
d
(z )

Observemos que:

| z z0 | r; | z0 | r1 r; | z | | z0 | | z z0 | r1 r
Si M es el valor mximo que puede alcanzar f ( )
sobre C1:

Mr0 r0
1 r0 M 2r0
QN ( z )

N
2r
r r0
(r r0 ) r
N

Y puesto que r/r1 < 1, el lmite cuando N tiende a infinito

del residuo es cero. De modo que para cada z interior a C0,
la serie de Taylor converge a f(z).

169

Hallando la serie de Laurent

Igual que para el caso de la serie de Taylor, hay distintas formas de
hallar la serie de Laurent de una funcin. En la prctica, no usaremos
la frmula anterior. Un mtodo ms simple consiste en usar la serie
geomtrica, tal como hicimos con la serie de Taylor.

Ejemplo (1)
Expandir la funcin 1/(1-z) en potencias negativas de z
1
1
1 1 1 1
1 1 1 1

1 z
z (1 1z )
z z z 2 z3
z z 2 z3 z 4

1
1 z z 2 converge para |z |<1, la serie
1 z
converge para |1/z| < 1, o |z|>1
Dado que

170

Ejemplo 2
Expandir la funcin 1/(i-z) en potencias de z-2
(Serie de Taylor)

1
1
1

i z i 2 ( z 2) (i 2)1 zi 22

1 z 2 ( z 2) 2

1
2
i 2 i 2 (i 2)

1
z2
( z 2) 2

2
3
i 2 (i 2)
(i 2)

1
1 z z2
1 z

Dado que

converge para

z 2 /i 2 1

converge para |z|<1, la serie

z 2

5
171

Otra posibilidad consiste en expandir la funcin 1/(i-z) en potencias

negativas de z-2 (serie de Laurent):

1
1
1
1 i 2 (i 2) 2

1
i z i 2 ( z 2)
( z 2)1 zi22
z 2 z 2 ( z 2) 2

1
i2
(i 2) 2

2
3
z 2 ( z 2) ( z 2)

Dado que

1
1 z z 2 converge
1 z

para |z|<1, la serie converge para

i 2 / z 2 1
z 2 / i 2 1

z 2

5
172

Ejemplo 3
e2 z
Expandir la funcin
con centro z = 1
(1 z ) 3
2

e2 z
e 2e 2( z 1)
e2
2( z 1)

1 2( z 1)

3
3
3
(1 z )
( z 1)
( z 1)
2!

2
22
23 2 4
e

(
z

1
)

3
2
(
z

1
)
(
z

1
)
2
!
(
z

1
)
3
!
4
!

converge para 0 < |z -1|<

El centro es el punto singular !

173

Cada serie de Laurent tiene dos partes:

f ( z) a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 )3

DENTRO

Potencias positivas (serie de Taylor) parte analtica

...

b3
b1
b2
b4

2
3
4
z z0 ( z z0 ) ( z z0 ) ( z z0 )
FUERA

Potencias negativas (Parte Principal)

174

Ejemplo 1
Expandir la funcin

1
con centro z = 0
( z 1)( z 3)

De cuntas formas podemos hacerlo?

centro

(a) |z| < 1

(b) 1 < |z| < 3

(c) 3 < |z| <

1
1 1 1 1

( z 1)( z 3) 2 z 1 2 z 3

175

1
1 1 1

( z 1)( z 3) 2 z 1 z 3
(a) |z| < 1

1 1 1
1

2 1 ( z ) 3 1 ( z / 3)

1
1 z z2
2
1 z z 1 2
2
3 3 3

1 4
13 2
z
z
3 9
27

Dentro del disco, trminos positivos:

serie de Taylor.

176

(b) 1 < |z| < 3

1
1 1 1

( z 1)( z 3) 2 z 1 z 3
1

1 1
1
1

2 z 1 (1 / z ) 3 1 ( z / 3)
2

1 1 1 1
1 z z
1 2 1 2
2 z z z
3 3 3

1
1
1 1 z z2
3 2

2z 2z
2 z 6 18 54

potencias negativas
1 < |z| <

potencias positivas
|z| < 3

Serie de Laurent
177

En la pgina anterior, cmo sabamos qu trmino expandir en potencias

negativas y cul, si lo haba, expandir en potencias positivas?

El trmino

1
z 1

est fuera

- trminos negativos

El trmino

1
est dentro
z 3

- trminos positivos

El anillo final resulta de

la superposicin
178

(c) 3 < |z| <

1
1 1 1

( z 1)( z 3) 2 z 1 z 3

1 1
1
1

2 z 1 (1 / z ) z 1 (3 / z )

1 1 1 1
1 3 3
1 2 1 2
2 z z z
z z z

1 4 13
3 4
2
z
z
z

potencias negativas
3 < |z| <

potencias positivas
|z |<
179

f ( z)

1
( z 1) 2 ( z 3)

(a) 0 < |z 1| < 2

f ( z)

1
1
1
1
1

( z 1) 2 ( z 3) ( z 1) 2 2 ( z 1) 2( z 1) 2 1 ( z 1)
2

( z 1) ( z 1) 2 ( z 1)3

...
1
2
3
2
2
2

1
1
1 ( z 1)

...
2
2( z 1) 4( z 1) 8
16

1
f ( z)
2( z 1) 2

180

f ( z)

1
( z 1) 2 ( z 3)
(b) 0 < |z 3| < 2.

1
1
2
f ( z)

[
2

(
z

3
)]
( z 1) 2 ( z 3) ( z 3)
1 z 3

4( z 3)
2

(binomial vlida para

|(z 3)/2| < 1 o |z 3| < 2)

1 (2) z 3 (2)(3) z 3
f ( z)
1

...

4( z 3)
1! 2
2! 2

1
1 3
1
f ( z)
( z 3) ( z 3) 2 ...
4( z 3) 4 16
8
181

8z 1
f ( z)
z (1 z )

0 < |z| < 1.

8z 1 8z 1 1
1
f ( z)

(8 ) 1 z z 2 ...
z (1 z )
z 1 z
z
1
9 9 z 9 z 2 ...
z

182

1
f ( z)
z ( z 1)

1 < |z 2| < 2.

En el centro z = 2 f es analtica.
Queremos encontrar dos series de
potencias enteras de z 2; una
convergiendo para 1 < |z 2| y la otra
para |z 2| < 2.
1
1
f ( z)
f1 ( z ) f 2 ( z )
z z 1
1
1
1
1
f1 ( z )

z
2 z2
21 z 2
2

1 z 2 z 2 z 2
1

...
2
2
2 2

|(z 2)/2| < 1 o |z 2| < 2.

1 z 2 ( z 2) 2 ( z 2)3
2

...
3
4
2 2
2
2
183

1
1
1
1
f2 ( z)

z 1 1 z 2 z 21 1
z2
2
3

1
1
1
1

...
1
z 2 z 2 z 2 z 2

1
1
1

...
2
3
z 2 ( z 2) ( z 2)
|1/(z 2)| < 1 o 1 < |z 2|.

184

f(z) = e3/z , 0 < |z|.

2

z
z
e 1 z ...
2! 3!
2
3
3 3
3
3z
e 1
3 ...
2
z 2! z
3! z
z

185

f ( z)

1
z ( z 1)

(a) 0 < |z| < 1,

(b) 1 < |z|,
(c) 0 < |z 1| < 1
(d) 1 < |z 1|.

186

Ejercicios resueltos

187

188

189

190

191

192

193

194

195

196

3.10 Residuos
Puntos singulares
Un punto singular z0 de una funcin f (z) es un punto donde
f (z) no es analtica.
Singularidad no aislada
Singularidad aislada

f ( z)

1
z ( z 2) 2

z0 0, 2

aisladas

no aislada

f ( z) 1 / sin( / z)
z0 1, 12 , 13 , 14
z0 0
197

Parte principal (Recordatorio)

Supongamos que z = z0 es una singularidad aislada de f(z) y que su

serie de Laurent vlida para 0 < |z z0| < R es:

bk
f ( z ) ak ( z z 0 )
k
(
z

z
)
k 0
k 1
0
k

Parte principal
Nota: Observa que el desarrollo tiene como centro
al punto singular (por eso es vlido en 0 < |z z0| < R).
198

Singularidades aisladas
Hay dos tipos de singularidades aisladas: polos de orden m y
esenciales. En ambos casos podemos desarrollar la funcin f(z) en serie
de Laurent con centro en la singularidad z0 y la serie converger para
0 < |z-z0| < R.
Si z0 es un polo de orden m:
La serie de Laurent se para en la m-sima potencia negativa

bm
b1
b2
f ( z)

2
z z0 ( z z0 )
( z z0 ) m
Si z0 es un singularidad esencial:
La serie de Laurent es infinita en potencias negativas

El centro z0 es un
punto singular.

b1
b2
f ( z)

2
z z0 ( z z0 )
199

Clasificacin de las singularidades aisladas

(i)

Si la parte principal es cero, z = z0 se denomina singularidad evitable.

(ii) Si la parte principal contiene un nmero finito de trminos, entonces

z = z0 se denomina polo. Si el ltimo coeficiente es bm, m 1,
entonces decimos que es un polo de orden m. Un polo de orden 1 se
llama polo simple.
(iii) Si la parte principal contiene infinitos trminos, z = z0 se denomina
singularidad esencial.

200

Ejemplos
Clasificar la singularidad de la funcin

f ( z)

1
z

La serie de Laurent con centro z0= 0 es

simplemente el trmino 1/z , vlida para
0 < |z|< . z0= 0 es un polo simple.

Clasificar la singularidad de la funcin

f ( z)

1
1

( z 1)3 z 1

La serie de Laurent con centro z0=1 est formada

simplemente por los dos trminos

1
1 ,

z 1 ( z 1)3

vlidos para 0 < |z-1| < . z0=1 Es un polo de orden 3.

201

Ejemplos
Clasificar la singularidad de la funcin

f ( z)

sinh z
z4

sinh z 1
1
z z3
z3 z5 z7

sinh z z f ( z ) 4 3
z
z
3
!
z
5! 7!
3! 5! 7!

0<|z|<

Clasificar la singularidad de la funcin

z0 = 0 es un polo de orden 3.

f ( z ) e1/( z i )

1
1 1
1 1
z 2 z3
f
(
z
)

e 1 z
2
3
z

i
2
!
(
z

i
)
3
!
(
z

i
)
2! 3!
z

0<|z+i|<

z0 = -i es una singularidad esencial.

202

Residuos
El residuo de una funcin f(z) en z = z0 es el coeficiente del trmino
1/(z-z0) en la expansin en serie de Laurent de f(z): el coeficiente b1.

f ( z ) a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 )3
b3
b1
b2
b4

2
3
4
z z0 ( z z0 ) ( z z0 ) ( z z0 )
El residuo de f(z) en z = z0
se denota como:

2z 3
Ejemplo: z 2 3 z 2
1
1 1 z z2
2

z
z 2 4
8

Res f ( z ) Res ( f ( z ), z0 ) b1
z z0

b1 1

203

Porqu es importante el residuo?

Para f (z) analtica dentro de un anillo, tenemos:

f ( z ) a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 )3
b3
b1
b2
b4

2
3
4
z z0 ( z z0 ) ( z z0 ) ( z z0 )

1
f ( z)
an
dz,
n 1

2 i C ( z z0 )

1
n 1
bn
f
(
z
)(
z

z
)
dz
0

2 i C

n=1

As:

f ( z )dz 2 ib1

z0

Nos permite calcular integrales ...

204

Ejemplo 1
1
Integrar la funcin
en sentido positivo para |z |=2.
1 z

1 z z 2 z 3
1

1 1 1
1 z 2 3
z
z z

z 1

z 2

z 1

1
C 1 z dz 2ib1 2i

punto
centro singular
z=1

Observemos que por la frmula integral de Cauchy:

g ( z)
1
dz

i
g
(
z
)

0
C z z0
C z 1 dz 2ig (1) 2i
205

Tomemos como centro z0=1

1
1
f ( z)

,
1 z
z 1
0 z 1

z 2

centro z0=1
punto
singular

La serie de Laurent posee un slo trmino.

1
C 1 z dz 2ib1 2i

como antes.

Why did the mathematician name his dog "Cauchy?"

Because he left a residue at every pole.

206

Ejemplo 2: Integrar la funcin

para |z|=3/2.

2z 3
en sentido positivo
2
z 3z 2

3 5
9 2

z
z 1

2 4
8

2z 3
1 1 1 z z2

2 1 z 2
z 2 3z 2
z
z 2 4 8
2 3 5 9
2 z

z z 2 z3 z4

2z 3
C z 2 3z 2 dz 2ib1 2i

z 3/ 2

Por la Frmula Integral de Cauchy:

g ( z)
1 0
1
dz

i
g
(
z
)

dz

0
C z z0
C z 2 C z 1 dz 2ig (1) 2i
207

De dnde viene el nombre de residuo?

Res f ( z )
z z0

f ( z )dz

2 i
C

bn
n
dz
an ( z zo )
n

2 i C n 0
n 1 ( z z o )

1
1
1
n
an ( z zo ) dz
bn
dz

n
2 i n 0 C
2 i n 1 C ( z zo )

Res f ( z )
z z0

z0

1
2 i

b1 2 i b1

para todo n, excepto

para n = 1, que vale:

2i

De aqu el nombre de residuo.

208

Es preciso hallar la serie de Laurent de f(z) para calcular la integral?

No, si los puntos singulares z0 son polos.
En esos casos hay formas rpidas y simples de hallar el residuo.

Veremos:
1. Cmo hallar el residuo para un polo simple, z0=1, como
en el caso
2. Cmo hallar el residuo para un polo de orden 2, z0=1,
como en el caso
3. Cmo hallar el residuo para un polo de cualquier orden ...

4 sin z
z 1

3z 3
( z 1) 2
2e z
(3z i ) 7

209

Frmula para hallar el residuo para un polo simple

Si f (z) tiene un polo simple en z0, la serie de Laurent es:

b1
0 z z0 R
z z0
( z z0 ) f ( z) a0 ( z z0 ) a1 ( z z0 ) 2 b1
f ( z ) a0 a1 ( z z0 )

lim ( z z0 ) f ( z ) b1

z z0

Res f ( z ) lim ( z z0 ) f ( z )
z z0

z z0

Situamos el centro en
el punto singular

210

Ejemplo
Hallar el residuo de f ( z )

2z i
en z=i
( z i)( z 2 1)

Res f ( z ) lim ( z z0 ) f ( z )
z z0

z z0

lim
z i

( z i )(2 z i )
(2 z i )
i

lim

( z i )( z 2 1) z i ( z i ) 2
4

Comprobmoslo mediante la serie de Laurent:

f ( z)

2z i
2( z i ) i 1 2( z i ) i
1

( z i )( z 2 1)
z i ( z i)2
z i 2i ( z i ) 2

2( z i ) i

2( z i ) i
1
( z i)
( z i) 2
( z i)3

( z i )(2i ) 2 1 ( z i ) /( 2i ) 2 ( z i )(2i ) 2
2i
(2i ) 2
(2i )3

i 1
1 5
1

( z i) ( z i) 2
0 z i 2
4 z i 4 16
2

211

Frmula para hallar el residuo para un polo de orden 2

Si f (z) tiene un polo de orden 2 en z0, la serie de Laurent es:

b1
b2
f ( z ) a0 a1 ( z z0 )

z z0 ( z z0 ) 2
( z z0 ) 2 f ( z) a0 ( z z0 ) 2 a1 ( z z0 )3 b1 ( z z0 ) b2
derivando obtenemos:

d
( z z0 ) 2 f ( z ) 2a0 ( z z0 ) 3a1 ( z z0 ) 2 b1
dz
d
lim
( z z0 ) 2 f ( z ) b1
z z0 dz

d
Res f ( z ) lim
( z z0 ) 2 f ( z )
z z0 dz
z z0

212

Ejemplo
Hallar el residuo de f ( z )

z
en z=1
2
( z 2)( z 1)

d
( z z0 ) 2 f ( z )
z z0 dz
2
2 2
d z
lim
lim

z 1 dz z 2
z 1 ( z 2) 2

Res f ( z ) lim
z z0

Comprobarlo a travs de la serie de Laurent:

f ( z)

( z 1) 1

z
( z 1) 1
1
1

( z 2)( z 1) 2
( z 1) 2 3 ( z 1) 3( z 1) 2 1 (( z 1) / 3)

( z 1) 1 1
( z 1) 1 z 1 ( z 1) 2
1
1 ( z 1)

2
2
3( z 1) 2
3
32
3
(
z

1
)
3
(
z

1
)
3
3

1
2
2 2( z 1)

3( z 1) 2 9( z 1) 27
81

0 z 1 3
213

Ejemplo: f(z) = 1/(z 1)2(z 3) tiene un polo simple en z = 3

y un polo de orden 2 en z = 1. Encontrar los residuos:

1
1
Re s( f ( z ), 3) lim ( z 3) f ( z ) lim

2
z 3
z 3 ( z 1)
4
d
d 1
2
Re s( f ( z ), 1) lim ( z 1) f ( z ) lim
z 1 dz
z 1 dz z 3
1
1
lim

2
z 1 ( z 3)
4

214

Frmula para el residuo para un polo de cualquier orden

Si f (z) tiene un polo de orden m en z0, la serie de Laurent es:

bm
b1
b2
f ( z ) a0 a1 ( z z0 )

2
z z0 ( z z0 )
( z z0 ) m

( z z0 ) m f ( z ) a0 ( z z0 ) m a1 ( z z0 ) m1 b1 ( z z0 ) m1
b2 ( z z0 ) m2 bm
Derivamos m-1 veces.
Cuando zz0 obtenemos:

d ( m1)
lim ( m1) ( z z0 ) m f ( z ) (m 1)!b1
z z0 dz

1
d ( m1)
Res f ( z )
lim ( m1) ( z z0 ) m f ( z )
z z0
(m 1)! z z0 dz

215

De otra manera...
Un punto singular aislado z0 de una funcin f es
un polo de orden m si y solo si f(z) puede ser escrito
en la forma:

f ( z)

( z)
( z z0 ) m

donde (z) es analtica y no cero en z0. Entonces:

Res f ( z) ( z0 ) si m 1
z z0

( m1) ( z0 )
Res f ( z )
si m 2
zz
(m 1)!
0

216

Demostracin:

()
( z ) ( z0 )

f ( z)

' ( z0 )

( z z0 ) m

( z z0 )

' ' ( z0 )

( z z0 ) 2

2!
(n)

( m1) ( z0 )

( z0 )
...
( z z0 ) m1
( z z0 ) n
(m 1)!
n!
nm
f ( z)

...

1!

( z)

( z0 )
( z z0 )

' ( z0 ) / 1!
( z z0 )

( m1) ( z0 ) /( m 1)!
z z0

m 1

' ' ( z0 ) / 2!
( z z0 )

( n ) ( z0 )

nm

n!

f(z) tiene un polo de orden m en z=z0

m2

( z z0 ) n m

( m1) ( z0 )
Res f ( z ) b1
zz
(m 1)!
0

217

()
Si f(z) tiene un polo de orden m en z=z0 entonces tiene una
representacin en serie de Laurent en la regin| z-z0|<R:

b3
bm
b1
b2
f ( z ) an ( z z0 )

2
3
m
z

z
(
z

z
)
(
z

z
)
(
z

z
)
n 0
0
0
0
0
n

( z z0 ) m f ( z )
( z)
bm

cuando z z0
cuando z z0

( z ) bm bm1 ( z z0 ) m b1 ( z z0 ) m1 an ( z z0 ) m n
n 0

218

Demostracin del teorema del residuo

Rodeemos todos los puntos singulares

con los crculos C1, C2, Ck.

C1

f (z) es analtica en C y aqu dentro

excepto en los k puntos singulares.

Ck
C2

Por el teorema integral de Cauchy para regiones mltiplemente

conexas:

f ( z)dz f ( z)dz f ( z)dz f ( z)dz

C

C1

C2

Ck

Las integrales a lo largo de cada uno de esos pequeos crculos son el

residuo en cada punto singular dentro del crculo, por tanto:
k

f ( z)dz 2i Res f ( z)
C

i 1

z zi

219

Ejemplo

2 z
Integrar la funcin 2
sobre z 2
z z

2 z
2 z
2 z

Res 2
2
C z 2 z dz 2 iRes
z 0 z z
z 1 z z

2 z
2 z
Res 2
lim
2
z 0 z 1
z 0 z z
2 z
2 z
Res 2
lim
3
z 1
z 1 z z
z

C
0

2 z
2 dz 2 i(2 3) 2 i
z z
C
220

Ejercicio

ez
dz
Calcular 2
2
z 1 z

,donde es el contorno

indicado en la figura.
Solucin

-1

Puntos singulares aislados :

z 1 polos simples
z 0 polo doble
Nmero de contornos cerrados simples :
z 1 1
z 02
z 1 1
ez
dz 2iRes f ,1 2Res f ,0 Res f ,1
2
2
z 1 z

ez
1

Res f ,1 2

z 1 z z 1 2e
221