EIE

Escuela de
Ingeniera Elctrica

IE0305 Matemtica Superior

I 2016

Formulario: Variable compleja

Nmeros complejos
x = r cos()

|z| =

y = r sin()
z = x + jy

x2 + y 2
 
1 y
= tan
x
r=

z = rej
j(+2k)

z = re

x2 + y 2

y
+ 2k
x
 
y
Arg(z) = tan1
x
arg(z) = tan1

Re{z} = x

Im{z} = y
z = z = x jy

 

Funciones complejas
Definicin:

w = f (z) = u(x, y) + jv(x, y)

Singularidad aislada en z = z0 :

lm f (z)

Removible

si

Polo de orden k

si

Esencial

sino

zz0

lm f (z)(z z0 )k = A 6= 0

zz0

Derivadas
Definicin:

f 0 (z0 ) = lm

zz0

f (z) f (z0 )
z z0

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

f 0 (z0 ) = lm

Cauchy-Riemann:

u(x, y)
v(x, y)
+j
x
x
v(x,
y)
u(x,
y)
f 0 (x, y) =
j
y
y

u(x, y)
v(x, y)

f 0 (x, y) =

v(x, y)
u(x, y)

=
x

Integrales
De lnea:

Z b

f (z) dz =
C

f (z())z 0 () d

1 de 2

IE0305 Matemtica Superior

I 2016

Formulario: Variable compleja

Cauchy:
I

f (z) dz = 0
C

f (z) analtica en C

g(z)
2j (n)
dz =
g (z0 )
(z z0 )n+1
n!

g(z) analtica en C , z0 dentro de C

f (z) dz =
C

f (z) dz +
C1

f (z) dz + . . .
C2

varias singularidades dentro de C , cada una dentro de un Ci

Series
Laurent (alrededor de z0 ):

Taylor (alrededor de z0 ):

f (z) =
an =

an (z z0 )n

n=0
(n)
f (z

f (z) =

an (z z0 )n

n=
0)

an =

n!

1
2j

I
C

f ()
d
( z0 )n+1

Series de Maclaurin populares:

1
1z

ez

sen z

cos z

(z)n

1 + z + z2 + z3 + . . .

1+z+

z 2n+1
(2n + 1)!

z3 z5
+
...
3!
5!

|z| <

z 2n
(2n)!

z2 z4
+
...
2!
4!

|z| <

n=0

zn
n!
n=0

(1)n

n=0

(1)n

n=0

|z| < 1

z2 z3
+
+ ...
2!
3!

|z| <

Residuos
Definicin:

f (z) dz = 2j
C

Res(f (z), zi )

varias singularidades dentro de C , en zi

Para cada singularidad zi :
Removible

Res(f (z), zi ) = 0

Polo de orden k

Res(f (z), zi ) =

Esencial

i
1
dk1 h
lm
(z zi )k f (z)
k1
(k 1)! zzi dz

Res(f (z), zi ) = a1

para f (z) =

an (z zi )n

n=

2 de 2

FORMULARIO DE VARIABLE COMPLEJA

Un nmero complejo llamado Z, est formado por:
Donde:

Suma

(Binomial)

Resta

(Binomial)

Producto

(Binomial y polar)

Divisin

(Binomial y polar)

Potencia

Races

(Forma polar exp.)

(Polar trig.)

Mdulo
| |

Representacin polar
| |

Prado Ibarra Alfonso.

Formula e identidad de Euler

Frmulas para funciones trigonomtricas

Funciones de variable compleja

Funcin logaritmo natural

| |

Funcin exponencial e

Potencia

Funciones trigonomtricas

Calculo de funciones de variable compleja

Lmite
Si para cada

|
|

Continuidad de f( ) en

Derivada

Prado Ibarra Alfonso.

Funciones analticas

En variable compleja una funcin analtica debe satisfacer las condiciones de

Cauchy-Riemann, si

:
Y

Nota: | |

no son analticas.

Criterio de derivabilidad
O bien

Funciones armnicas

Una funcin f(x,y) se dice que es armnica si satisface la ecuacin de Laplace:

Si

es analtica, las funciones u(x,y) y v(x,y) son funciones

armnicas.

Nota: Como poner una funcin en trminos de z.

Integral compleja

Evaluacin de una integral de contorno

Prado Ibarra Alfonso.

Teorema de Cauchy-Gousart

Suponga que f es analtica en un dominio simplemente conexo D. Entonces para

todo contorno cerrado simple C en D
*Para dominios mltiplemente conexos:

*Principio de la deformacin de contornos:

Formula de la integral de Cauchy

Formula integral de Cauchy para derivadas

Prado Ibarra Alfonso.

FORMULARIO DE VARIABLE COMPLEJA

z = x + iy, Re z = x, Im z = y; x1 + iy1 = x2 + iy2 si y
solo si x1=x2 y y1=y2.
(x1 + iy1) + (x2 + iy2) = (x1 + x2) + i(y1 + y2).
(x1 + iy1)*(x2 + iy2)=(x1x2y1y2) + i(y1x2+x1y2)

, z1
x
y
1
= z1 z 2
z 1 = 2
+i 2
, (z 0 ).
2
z2
x + y 2
x +y
z = x 2 + y 2 , z = x iy , z1 + z 2 = z1 + z2 z1 z 2 = z 1 z 2

; zz = z 2 , z z = z z
1 2
1 2

z1 + z2 z1 + z2

x = r cos

z = r cis z1 z 2 = r1r2 cis(1 + 2 ) ;

y = r sen

z n = r n cis n ;
z1 r1
= cis( 1 2 )
z2 r2
z1 / n = n r cis

+ k (360 )
n

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

w = f (z ) ;

e z = e x (cos y + i sen y ) ; e z + w = e z e w ; e z 0
z
z
z
e z = e x ; e es periodica ; e = e

2i

e iz + e iz ; sen 2 z + cos 2 z = 1
cos z =
2
cos( z ) = cos( z )
sen( z ) = sen( z ) ;
sen( z w) = sen z cos w cos z sen w
cos( z w) = cos z cos w sen z sen w
e z ez ;
e z + e z
cosh z =
2
2
cosh 2 z senh 2 z = 1 ; senh( z ) = senh( z )

a b = eb ln a . Sea f : A C con A abierto y L C

si para toda e>0 existe d > 0 tal que para

z zo

0 < z z 0 < se tiene que f ( z ) L < . Si lim f ( z )

z zo

y lim g ( z ) = M ,
z zo

entonces: lim f ( z ) + g ( z ) = L + M
z zo

lim f ( z ) g ( z ) = LM

z zo

lim

z zo

u
v
+i
x
x

f ' ( z) =

u
u
i
x
y

f (z) L
=
g(z) M

f ( z ) dz = f ( ( t )) ' ( t ) dt
a

f ( z )dz = a [u ( x, y) + iv( x, y )][x' (t ) + iy ' (t )]dt

b

z zo

lim

( x , y ) ( xo, y 0 )

lim

( x , y ) ( xo, y 0)

u ( x, y ) = L1 y

v( x, y) = L2 .

f es continua en z0 si

lim f ( z ) = f ( z0 )

z zo

Si f y g son continuas en z 0 entonces:

f+g es continua en z0. fg es continua en z0
f/g es continua en z0 siempre que g(z0) 0
f(z)=u(x,y) + iv(x,y) es continua en z0=x0+iy0 si y solo si
u(x,y) y v(x,y) son continuas en (x0, y0).

f ( z + z ) f ( z )
z 0
z
f ( z ) f ( z0 )
f ' ( z0 ) = lim
zz0
z z0
f ' ( z ) = lim

a)
f es derivable en z0 si f(z0) existe.
f es derivable en AC si f(z0) existe z0A, en este
caso se dice que f es analtica u holomorfa en A.

en

n =1

donde

bn =

nx
2 L
f ( x) sen(
) dx
L 0
L

Si f continua en [-L, L] y f(L)=f(-L) y f c.p.t entonces:

nx
nx
na n sen L + nbn cos L
L n =1

c.p.t. S { f ' ' ( x )} = n 2 F ( n) + nf (0) n( 1) n f ( )

n
s
con n=1,2,3,...
La transformada finita de Fourier en cosenos Fc de f:
. Sean f y f cont en [0, pi],

Fc ( n) = f ( x ) cos(nx )dx
C n { f ' ' ( x )} = n 2 FC (n) f ' (0) + (1) n f ' ( )
con n=1,2,3,...
Serie de Fourier compleja de f (con periodo T):

donde 0=2/T y
in 0t

cn e

1 T /2
f (t )e in 0t dt
T T / 2

[ f ( z ) + g ( z )]dz = f ( z )dz + g ( z )dz

f ( z )dz = f ( z )dz

La integral de Fourier o representacin integral:

t R en donde:
1
[A( ) cos(t ) + B( ) sen(t )]d

f ( z )dz =

f ( z ) dz = F ( (b)) F ( ( a)) = F ( z ) |

(a)

Teorema de Cauchy Goursat. Si f es analtica dentro

y sobre una curva cerrada simple, entonces:

donde

f ( ) cos( ) d

C ( ) =

( nx)dx = sen 2 (mx) dx =

nx
n x
a0 + an cos
+ bn sen

L
L
n =1

Sea f una funcin integrable en [-L, L]. Si f es par

L
L
Si f es impar

L f ( x)dx = 20

L f ( x)dx = 0

f ( x)dx

Si f es par, la serie de fourier es

en donde

nx
a 0 + a n cos

L
n =1
2 L
nx
an = f ( x) cos(
)dx
L 0
L

a0 =

y
1 L
f ( x)dx
L 0

( du + dv dw) =u + v w + c

u n +1
n
u du = n + 1 + c; n 1

du = e u + c

du
= ln u + c
u

du =

au
+ c; a = cte.
ln a

ln udu = u (ln u 1) + c ue du = e (u 1) + c
sen udu = cos u + c cos udu = sen u + c
tg udu = ln sec u + c cot udu = ln sen u + c
sec udu = ln sec u + tg u + c
2
csc udu = ln csc u cot u + c sec udu = tg u + c
u
udu
=
sec
tg
sec u + c
csc
u
du
=

cot
u
+
c

du
1
1
csc u cot udu = csc u + c u 2 + a 2 = a arctg a + c
u

du

u2 a2
du

it

]d

f ( )e i d

F{ f (t )} = F ( ) =

f (t )e it dt

La transformada inversa de Fourier:

1
F 1{F ( )} = f (t ) =
F ( )e it d
2

d
x =1
dx

Sea f una funcin integrable en [-L, L], los coeficientes

de fourier en [-L, L] son:
1 L
a0 =
f ( x)dx
2L L
1 L
nx
L
an = f ( x) cos(
)dx bn = 1 f ( x) sen( nx )dx
L L
L
L L
L
La serie de Fourier de f es:

Tabla de derivadas:

cos( mx) sen( nx )dx = 0

[A( ) cos(t )]d

0
pasa lo mismo con la

cos

f ( ) sen( ) d

[C ( )e

La transformada de fourier:

cos(mx) cos( nx)dx = sen(mx) sen(nx) dx = 0

integral de Fourier en senos.

La integral de fourier compleja: 1

du =u + c

Si f es analtica en una regin simplemente conexa A y

es suave en A, entonces:
f ( z )dz = 0 .

B( ) =

donde:

A( ) = 2 f ( ) cos( )d

f ( z)dz = 0
Anlisis de Fourier
Si n y m , no negativos distintos,

u = vu
+ u ln u
dx
dx
dx
INTEGRALES:

A( ) =

La integral de Fourier en cosenos:

(b)

d
du
cosh u = senh u
dx
dx

d
du
c tgh u = cosh 2 u
dx
dx
x
n x
d
du
L 1
nx
sec hu = sec hu tgh u
L f (t )dt = a0 ( x + L ) + n an sen L bn cos L cos( n )
dx
dx
n =1
La serie de Fourier en cosenos de f en [0, L] es como la
d
du d
1 du
csc hu = csc hu coth u
ln u =
serie de una funcin par. La serie de Fourier en senos es
dx
dx dx
u dx
como la serie de una funcin impar.
d
1 du d u
du
d u
du
La transformada finita de Fourier en senos Fs de f se def:
e = eu
log a u =
a = a u ln a
dx dx
dx
u ln a dx dx
dx
. Sean f y f cont en [0, pi], f

Fs (n) = f ( x) sen( nx )dx

d v
dv
v 1 du
v

n =

f ( z )dz Si es una reparametrizacin de

du
d
d
du / dx
senh u = cosh u
arc csc u =
dx
dx
u u 2 1 dx

d
du
tgh u = sec h 2u
dx
dx

cn =

Para cualquier entero positivo n:

lim f ( z ) = L = L1 + iL2

nx

Si f(z)=u(x,y)+iv(x,y), entonces:

z zo

bn sen

f c.p.t.

Para cualquier par de enteros m y n

si y solo si

v
u
i
y
y

f '( z) =

Si f y g son iguales en una vecindad de z0 excepto en z0 y

lim f ( z ) = L entonces lim g ( z ) = L
z zo

Si f es impar su serie de Fourier es

f ' ( x) =

.
Si F analtica tal que F=f entonces:

cos iz = cosh z ln z = ln z + i arg z

lim f ( z ) = L

v
v
+i
y
x
f(z)=u+iv es analtica en (x0,y0) si y solo si u y v tienen
primeras derivadas parciales continuas en (x0,y0) y
satisfacen las ecuaciones de Cauchy Riemann en
(x0,y0).
Si f y g son analticas en A, entonces:
f+g es analtica en A y (f+g) = f + g.
fg es analtica en A y (fg) = fg + fg.
f/g es analtica en A y (f/g)=(gf-fg)/g 2 g0.

f '(z) =

senh(z w) = senh z cosh w cosh z senh w

cosh(z w) = cosh z cosh w senh z senh w

z zo

f '(z) =

1+ 2 f ( z )dz = 1 f ( z )dz + 2 f ( z )dz

cosh( z ) = cosh( z )

existe este es nico. Si

(u,v) (dx, dy) + i (v, u ) (dx, dy)

senh z =

lim f ( z ) = L

f es analtica en z0 si f existe en una vecindad de

z0.
Una funcin analtica en C se llama entera.
Si f(z0) entonces f es continua en z0.
Teorema de Cauchy Riemann. Si f(z)=u+iv es
analtica en z 0=x0+iy0 entonces las funciones u y v
satisfacen: u v y u
v en (x0, y0)

Integrales:

iz
iz
e z = 1 z = 2ni, n ; sen z = e e

sen iz = i senh z ;

b.

d n
du
u = nu n 1
dx
dx

d
du
dv
uv = v
+u
dx
dx
dx

d u v ( du / dx ) u ( dv / dx )
=
dx v
v2

d
1 du
u =
dx
2 u dx

si y=f(u), u=g(x): dy
dx

dy du
du dx

d
du
cos u = sen u
dx
dx
d
du
cot u = csc 2 u
dx
dx
d
csc u = csc u cot u
dx

d
du
sen u = cos u
dx
dx
d
du
tg u = sec 2 u
dx
dx

d
du
sec u = sec u tg u
dx
dx
du d
du / dx
arcsen u =
dx dx
1 u2

d
du / dx d arctg u = du / dx
arccosu =
1+ u2
dx
1 u 2 dx
d
du / dx d
du / dx
arc cot u =
arc sec u =
dx
1 + u 2 dx
u u 2 1

a2 u2

=
=

du

a2 u2
du

u2 a2

= senh 1

1
2a

1
2a

ln

ln

ua
+ c = 12 tgh 1
u+a

a +u
+ c = 12 tgh 1
au

u
a

u
a

+c

+c

u
= arcsen + c
a

= ln u + u 2 a 2 + c

u
u
+ c( + ) = cosh 1 + c ( )
a
a

du
u 2 a2

1
u
sec 1 + c
a
a

a 2 u 2 du = 12 u a 2 u 2 + a 2 sen 1 ua

u 2 a 2 du = 12 (u u 2 a 2 a 2 ln u + u 2 a 2 ) + c

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios

Matem
aticas Avanzadas para Ingeniera:
Teorema de Chauchy-Goursat

Teorema de
Green
CauchyGoursat

Departamento de Matematicas

Ejemplos
Deformaci
on
CauchyGrousat
II
Ejemplos
Tma Cauchy

MA3002

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios
Teorema de
Green
CauchyGoursat

Tipos de Dominios
Un dominio D se dice simplemente conexo si cualquier
contorno cerrado que este en D puede encogerse hasta un
punto sin abandonar D: Cualquier contorno cerrado simple que
se encuentra en D encierra puntos que estan tambien en D. En
otro caso el dominio se llama multiplemente conexo. Si tiene
un hoyo se llama doblemente conexo; si tiene dos, triplemente
conexo, etc.

Ejemplos
Deformaci
on
CauchyGrousat
II
Ejemplos
Tma Cauchy

Simplemente conexo

Multiplemente conexo

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios
Teorema de
Green
CauchyGoursat

Teorema de Green (MATE III)

Sea C una curva positivamente orientada, suave a pedazos,
simple y cerrada en un plano y sea D una region acotada por
ella. Si P(x, y ) y Q(x, y ) tienen derivadas parciales continuas
en una region abierta que contiene D, entonces

I
Z Z 
Q
P
P(x, y ) dx + Q(x, y ) dy =

dA
x
y
C
D

Ejemplos
Deformaci
on
CauchyGrousat
II
Ejemplos
Tma Cauchy

Regi
on abierta
D

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas

Teorema de Cauchy-Goursat
Supongase que f (z) es analtica en un dominio simplemente
conexo D. Entonces para cualquier contorno cerrado simple C
en D:
I
f (z) dz = 0
C

Dominios
Teorema de
Green
CauchyGoursat
Ejemplos

I
f (z) dz

(U(x, y ) + i V (x, y ))(dx + i dy )

IC
(U(x, y ) dx V (x, y ) dy )+

=
IC

Deformaci
on

CauchyGrousat
II
Ejemplos
Tma Cauchy

(V (x, y ) dx + U(x, y ) dy )
C

RR 


V
U

dA +

x
y
D
R R  U V 
i
dA
D x y

= 0+i0=0

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios
Teorema de
Green
CauchyGoursat

Ejemplo
H
Calcule C f (z) dz donde f (z) = e z y C es la curva mostrada
en la figura.
Soluci
on
Como f (z) = e z es entera (es decir, analtica en todo el plano
complejo)
y C es un entorno cerrado simple, entonces
H
C f (z) dz = 0.

Ejemplos
Deformaci
on
CauchyGrousat
II
Ejemplos
Tma Cauchy

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios
Teorema de
Green
CauchyGoursat
Ejemplos
Deformaci
on

Ejemplo
Calcule

H
C

f (z) dz donde f (z) = 1/z 2 y C es la elipse

(x 3)2 (y 3)2
+
=1
12
22

Soluci
on
Como f (z) = 1/z 2 es analtica en todo el plano salvo en punto
0H y este punto no esta en el interior de la elipse, entonces
C f (z) dz = 0.

CauchyGrousat
II

C
(3, 3)

1
Ejemplos
2
Tma Cauchy

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios
Teorema de
Green

Ejemplo
Dado el flujo f (z) = sen(z), calcule la circulacion alrededor de
C y el flujo neto atraves de C , si C en el cuadro con vertices
z1 = 0, z2 = 3, z3 = 3 + 3 i y z4 = 3 i.
Soluci
on
Recuerde que debe calcularse
H
H
H
C f (z) dz = C sen(z) dz = C sen(z) dz. HPara nuestra suerte
sen(z) es una funci
on entera y por tanto, C f (z)dz = 0.

CauchyGoursat
4
Ejemplos
Deformaci
on
CauchyGrousat
II
Ejemplos

Tma Cauchy
1

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios
Teorema de
Green
CauchyGoursat
Ejemplos
Deformaci
on

n de Contornos
Principio de Deformacio
Suponga que f (z) es analtica en un dominio multiplemente
conexo y sea CH una curva cerrada simple. Suponga que se
desea calcular C f (z) dz. Si C1 es otra curva cerrada simple
con la misma orientaci
on que C que se puede deformar para
convertirse en C . Entonces, introduciendo la curva S (recta en
rojo en la figura de la derecha) se tiene:
I
Z
I
Z
f (z) dz +
f (z) dz +
f (z) dz + f (z) dz = 0
S

C1

y por tanto
I

CauchyGrousat
II

I
f (z) dz =

f (z) dz
C1

Ejemplos
Tma Cauchy

D
C

C1

D
C

S
C1

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios
Teorema de
Green
CauchyGoursat

Ejemplo
H

dz
, donde C es el contorno azul mostrado en la
Calcule C zi
figura.
Cambiaremos la curva de integraci
on por C1 dada por la
parametrizacion z(t) = i + e i t para 0 t 2 :
H
H
C f (z) dz = RC1 f (z) dz
2 i ei t
dt
= 0 i+e
R 2 i t i
= i 0 dt = 2 i

Ejemplos
Deformaci
on

CauchyGrousat
II

Ejemplos
Tma Cauchy

1
0
3 2 1 0
1
2

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios

Teorema de Cauchy-Grousat II
Supongase que C1 , C2 ,. . . ,Cn son curvas cerradas simples con
orientacion positiva que son interiores a una curva C con
orientacion positiva y donde las regiones interiores de cada Ci
no tienen puntos en com
un con otra Cj . Si f (z) es analtica en
cada punto interior de C que resulte exterior a cualquiera de las
Ck , para k = 1, 2, . . . , n, entonces

Teorema de
Green

CauchyGoursat

f (z) dz =

f (z) dz

k=1 Ck

Ejemplos

n I
X

Deformaci
on
CauchyGrousat
II
Ejemplos
Tma Cauchy

C
C1

C2

Cn

...

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat

Ejemplo

Departamento
de
Matem
aticas
Dominios
Teorema de
Green
CauchyGoursat
Ejemplos
Deformaci
on
CauchyGrousat
II
Ejemplos
Tma Cauchy

Calcule

zi
C z 2 2 zi z+2

dz, en cada una de las curvas

el crculo |z 1 i| = 3.
el crclo |z 1 i| = 1.5.
el crculo |z 1 i| = 0.5

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios
Teorema de
Green
CauchyGoursat
Ejemplos

Ejemplo
Calcule

dz
dz
+ 9)
B
Cuando B consta del crculo |z| = 2 con orientacion positiva,
junto con el crculo |z| = 1, descrito en sentido negativo. El
integrando es analtico, excepto en los puntos z = 0 y
z = 3 i, todos los cuales caen fuera de la region angular con
contorno B.
z 2 (z 2

3i

Deformaci
on

CauchyGrousat
II
Ejemplos

0 1

Tma Cauchy

3 i

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas
Dominios
Teorema de
Green
CauchyGoursat
Ejemplos
Deformaci
on
CauchyGrousat
II
Ejemplos
Tma Cauchy

rmula Integral de Cauchy

Fo
Sea f (z) analtica en el interior y en los puntos de un contorno
cerrado simple C , orientado positivamente. Si zo es un punto
interior a C , entonces
I
C

f (z)
dz = 2 i f (zo )
z zo

Ejemplo
Sea C el crculo positivamente orientado |z| = 2.Como la
funcion f (z) = z/(9 z 2 ) es analtica en el interior y sobre C
(sus polos estan en z = 3 y en z = 3), y ya que el punto
zo = i es interior a C , la f
ormula anterior nos dice que
 
I
I
z dz
z/(9 z 2 )
i

=
dz = 2 i
=
2
10
5
C (9 z )(z + i)
C z (i)

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas

rmula Integral de Cauchy 2

Fo
Sea f (z) analtica en un dominio simplemente conexo D, y C
un curva cerrada simple C , orientado positivamente contenida
en D. Si zo es un punto interior a C , entonces

Dominios
Teorema de
Green
CauchyGoursat
Ejemplos
Deformaci
on
CauchyGrousat
II

I
C

2 i (n)
f (z)
dz =
f (zo )
n+1
(z zo )
n!

Ejemplo
Para C : |z i| = 2 calcule
I

Ejemplos

Tma Cauchy

el resultado: /16.

dz
(z 2 + 4)2

Matem
aticas
Avanzadas
para
Ingeniera:
Teorema de
ChauchyGoursat
Departamento
de
Matem
aticas

Independencia de la trayectoria
Sea f (z) una funci
on continua en un dominio D y F (z) una
funcion derivable en D tal que F 0 (z) = f (z). Entonces, para
cualquier contorno C en D que tenga como punto inicial zo y
como punto final z1 se cumple

Dominios
Teorema de
Green
CauchyGoursat
Ejemplos
Deformaci
on
CauchyGrousat
II
Ejemplos
Tma Cauchy

Z
f (z) dz = F (z1 ) F (zo )
C

Ejemplo
Para zo = 1 y z1 = 1 + i determine la integral sobre un
contorno que vaya de zo a z1
Z
2 z dz
C

el resultado: 1 2 i.

Tema 11

Integrales de lnea complejas

11.1

Integrales de lnea

11.1.1

Funciones complejas de variable real

Una funcion compleja de variable real lleva asociada una funcion vectorial de variable real,
por lo que las definiciones y resultados para funciones vectoriales de variable real se trasladan
inmediatamente a las funciones complejas de variable real gracias a la identificaci
on C = IR2 .
Por otra parte, los resultados para funciones complejas en general, son validos tambien para
estas funciones.
As pues, nos limitaremos a recordar un par de definiciones adaptadas a la notacion compleja:
Definici
on 11.1 Sea A IR abierto. Una funcion f : A C, con f = f1 + if2 , es derivable
en un punto t A cuando f1 y f2 son derivables en t y, en este caso,
f 0 (t) = f10 (t) + if20 (t).
Definici
on 11.2 Sea [a, b] IR. Una funcion f : [a, b] C, con f = f1 + if2 , es integrable
en [a, b] cuando f1 y f2 son integrables en [a, b] y, en este caso,
Z b
a

f=

Z b
a

f (t) dt =

Z b
a

f1 (t) dt + i

Z b
a

f2 (t) dt.

Propiedades 11.3 Si f, g: [a, b] C son integrables en [a, b] y w0 C, son ciertas las

siguientes propiedades:
a) f + g es integrable y
b) w0 f es integrable y

Z b
a

Z b
a

(f + g) =

w0 f = w0

Z b
a

Z b
a

f+

Z b
a

g.

f.

c) Si a < c < b, f es integrable en [a, c] y [c, b] y

Z

b Z b

d) |f | es integrable y f
|f |.
a
a

Z b
a

f=

Z c
a

f+

Z b
c

f.

Demostracion:
a) b) y c) son inmediatas.
d) Si f es integrable en [a, b], sea
tiene que wei = |w|. Luego

Z b
a

f = w C. Como w = |w|ei , con = Arg(w), se

Z b
Z b
Z b
Z b
b

i
i
i
i
f = |w| = we
=e
f=
e f=
Re(e f ) + i
Im(ei f )

a
a
a
a
a

Teor
a de variable compleja.

129

11.1 Integrales de lnea

Z b

como Im(|w|) = 0, se tiene que

Im(ei f ) = 0 y, por tanto,

Z
Z
Z
Z b
b

b Z b
b

i
i
i
f =
Re(e f ) = Re(e f )
| Re(e f )|
|ei f |

a
a

a
a
a
Z b
Z b
Z b

11.1.2

|ei ||f | =

1|f | =

|f |.

Integrales de lnea complejas

Definici
on 11.4 Un camino en C es una funcion continua : [a, b] C.
Si (a) = (b), el camino se llama cerrado.
Un camino : [a, b] C se dice regular cuando tiene derivada continua y distinta de cero
en todo punto de [a, b].
Un camino : [a, b] C se dice regular a trozos cuando el intervalo [a, b] puede descomponerse en un n
umero finito de subintervalos de manera que la restriccion de a cada uno de
ellos sea un camino regular.
La longitud de un camino regular a trozos : [a, b] C es, por definicion,
Z b

L() =

| 0 (t)|dt.

Definici
on 11.5 Sean I = [a, b], : I C un camino regular a trozos y fZ: (I) Z C una
funcion continua. La integral de lnea de f a lo largo de se designa por f o f (z) dz y

esta definida por

f (z) dz =

Z b
a

f ((t)) 0 (t) dt.

Observaci
on 11.6 Si f = u + iv y = 1 + i2 , entonces
Z

f (z) dz =
=
=

Z b
a

Z b
a

Z b
a

u((t)) + iv((t)

10 (t) + i20 (t) dt

u((t))10 (t) v((t))20 (t) dt + i

u((t)), v((t)

10 (t), 20 (t)

Z b
a

dt + i

v((t))10 (t) + u((t))20 (t) dt

Z b
a

haciendo = (1 , 2 ), F1 = (u, v) y F2 = (v, u), nos queda

=

Z b
a

F1 ((t)) 0 (t) dt + i

Z b
a

F2 ((t)) 0 (t) dt =

v((t)), u((t) 10 (t), 20 (t) dt

Z

F1 d + i

F2 d.

Luego la integral de lnea compleja se construye como las integrales de lnea reales de las funciones
F1 y F2 sobre el camino de IR2 .
Ejemplo 11.7
umero real positivo. El camino : [0, 2] C definido mediante
a) Sean a C y r un n
(t) = a + reit , para cada t [0, 2], es regular y su imagen es la circunferencia de centro
a y de radio r (recorrida en sentido contrario al de las agujas del reloj). Su longitud es
L() =
Teor
a de variable compleja.

Z 2
0

it

|ire | dt =

Z 2
0

r dt = 2r
130

11.1 Integrales de lnea

y si f : (I) C es una funcion continua,

Z

f (z) dz =

Z 2
0

it

it

f (a + re )rie dt = ri

Z 2
0

eit f (a + reit ) dt.

b) Sean z0 y w0 dos n
umeros complejos. El camino : [0, 1] C dado por la expresion
(t) = z0 +t(w0 z0 ), es regular y su imagen es el segmento de extremos z0 y w0 (recorrido
desde z0 hasta w0 ). Suele designarse por [[z0 , w0 ]], y su longitud es
L() =

Z 1
0

|w0 z0 | dt = |w0 z0 |

y si f : (I) C es una funcion continua,

Z

f (z) dz =

Z 1
0

f (z0 + t(w0 z0 ))(w0 z0 ) dt = (w0 z0 )

Z 1
0

f (z0 + t(w0 z0 )) dt.

Propiedades 11.8 Sean I = [a, b], : I C un camino regular a trozos, f, g: (I) C

continuas. , C. Entonces,
a) Para todos , C,
Z

f (z) + g(z) dz =

f (z) dz +

g(z) dz.

b) Si a c b y 1 y 2 las restricciones de a los intervalos [a, c] y [c, b] respectivamente,

se tiene que
Z
Z
Z
f (z) dz =
f (z) dz +
f (z) dz.

c) Si |f (z)| M , para todo z (I), se tiene que

Z
Z

f (z)dz
|f (z)||dz| M L(),

donde denotamos |dz| = | 0 (t)| dt, es decir,

|f (z)||dz| =

|f ((t))|| 0 (t)| dt.

Demostracion:
a) y b) se comprueban facilmente.
Z
Z
Z
Z

f (z) dz = f ((t)) 0 (t) dt |f ((t)) 0 (t)|dt = |f ((t))|| 0 (t)|dt

I
ZI
Z I
c)

M | 0 (t)|dt = M

| 0 (t)|dt = M L().

Definici
on 11.9 Dos caminos : [a, b] C y : [c, d] C se dicen equivalentes cuando
existe una aplicacion suprayectiva u: [c, d] [a, b] con derivada continua y distinta de cero y
tal que = u. Si u0 (t) > 0 para todo t, se dice que y son positivamente equivalentes;
y si u0 (t) < 0, se dice que son negativamente equivalentes.

Teor
a de variable compleja.

131

11.1 Integrales de lnea

Proposici
on 11.10 Sea : [a, b] C un camino regular a trozos y sea : [c, d] C un
camino equivalente a . Entonces, para toda funcion continua f se tiene
Z

f (z)dz =

f (z)dz

si y son positivamente equivalentes, mientras que

Z

f (z)dz =

f (z)dz

si y son negativamente equivalentes.

Demostracion:
Cierto, por serlo para las integrales de lnea reales.
Proposici
on 11.11 Sean I = [a, b], A un subconjunto abierto de C y f una funcion analtica
en A. Si : I C es un camino regular a trozos tal que (I) A entonces
Z

f 0 (z) dz = f ((b)) f ((a)).

Z

En particular, si es cerrado, de tiene que

f 0 (z) dz = 0.

Demostracion:
Podemos considerar regular, pues si no lo es basta dividir la integral en una suma finita
de integrales en cada una de las cuales se verifica el resultado.
Sea g = g1 + ig2 : [a, b] C definida por g(t) = f ((t)). Como es regular y f analtica,
g es continua en [a, b] y derivable en (a, b), y g 0 (t) = f 0 ((t)) 0 (t). Luego
Z

f 0 (z) dz =

Z b
a

f 0 ((t)) 0 (t) dt =

Z b
a

g 0 (t) dt =

Z b
a

g10 (t) dt + i

Z b
a

ib

ib

g20 (t) dt = g1 (t)

+ ig2 (t)

= g1 (b) g1 (a) + i g2 (b) g2 (a) = g1 (b) + ig2 (b) g1 (a) + ig2 (a)
= g(b) g(a) = f ((b)) f ((a)).

Ejemplo 11.12 Sea f (z) = z n , para n ZZ.

n+1

Si n = 0, 1, 2, . . ., la funcion f (z) es la derivada de g(z) = zn+1 en C, luego para todo

camino regular a trozos que una z1 con z2 , se verifica que
Z

z n dz =

z2n+1 z1n+1
;
n+1

y, si z1 = z2 , entonces

z n dz = 0.

n+1

Si n = 2, 3, 4, . . ., la funcion f (z) es la derivada de g(z) = zn+1 en C {0}, luego

para todo camino regular a trozos que una z1 con z2 y que no pase por el origen, se
verifica que
Z

z n+1 z1n+1
z dz = 2
;
n+1

y, si z1 = z2 , entonces

Observar que si pasa por el origen, la funcion f (z) =

y no tiene sentido la integral.
Teor
a de variable compleja.

1
z n

z n dz = 0.

no es integrable en la curva

132

11.2 Teoremas de Cauchy-Goursat

Si n = 1, la funcion f (z) = z1 es la derivada de Log(z) en C A0 (el semieje real

negativo), luego para todo camino regular a trozos que una z1 con z2 y que no pase
por el conjunto A0 , se verifica que
Z

z 1 dz = Log(z2 ) Log(z1 );

y, si z1 = z2 , entonces

1
dz = 0.
z

Si pasa por el origen, la funcion f (z) = z1 no es integrable en la curva y no tiene sentido

la integral; sin embargo, si la curva pasa por A0 {0}, la integral tiene sentido, aunque
no puede aplicarse el resultado anterior.
Por ejemplo, si () = rei es la parametrizacion de una circunferencia de radio r que
rodea al origen,
Z
Z 2
Z 2
dz
riei
d =
i d = 2i.
=
rei
z
0
0
De hecho, esto puede generalizarse a cualquier camino cerrado sin mas que tener en
cuenta que, por la observacion 11.6, la integral se puede escribir mediante dos integrales
de lnea reales
Z
Z
Z
dz
=
(u, v) d + i (v, u) d ;
z

y
x
y, como (u, v) = x2 +y
, x
y (v, u) = x2y
son las funciones que apare2 , x2 +y 2
+y 2 x2 +y 2
cen, respectivamente, en el ejercicio propuesto 3.7 y en el ejercicio resuelto 3.48, sobre el
teorema de Green, aplicando los resultados que all se obtienen:

dz
=
(u, v) d + i (v, u) d = n0 + i2n = 2ni,
z

donde n indica el n
umero de vueltas que da la curva alrededor del origen.

11.2

Teoremas de Cauchy-Goursat

Sea (a, b, c) una terna de n

umeros complejos distintos. Designaremos por T (a, b, c) el triangulo
de vertices a, b y c y por T su contorno que esta formado por los tres segmentos [[a, b]], [[b, c]]
y [[c, a]].
Teorema de Cauchy-Goursat para un tri
angulo 11.13 Sean A un subconjunto abierto de C,
p A, f : A C una funcion continua en A y analtica en A {p}. Entonces para todo
tiangulo T contenido en A se verifica
Z
T

f (z)dz = 0.

#Demostracion#
Haremos la demostracion separandolo en tres casos:
Caso 1: Supongamos en primer lugar que p
/ T y descompongamos el triangulo T (a, b, c) en
los cuatro triangulos T 1 (a, c0 , b0 ), T 2 (b, a0 , c0 ), T 3 (c, b0 , a0 ) y T 4 (a0 , b0 , c0 ), donde a0 , b0 y c0 son
los puntos medios de los segmentos [[b, c]], [[c, a]] y [[a, b]] respectivamente.

Teor
a de variable compleja.

133

11.2 Teoremas de Cauchy-Goursat

Es claro que
Z

f (z) dz =

4 Z
X
k
k=1 T

BM

B
tp

T3 B

-B a0
b0 

BM

BM

B T4
B

BBN
B

T1 B
T2 B
a

-B


-B b


f (z) dz

pues, al hacer la integral en T 4 , sus lados se recorren

en sentido contrario a como se recorren cuando forman
parte de los otros triangulos. Entonces, si designamos
por T1 a uno de los triangulos T k para el que la integral correspondiente tiene modulo mayor o igual que
el de las otras tres, se tiene que
Z

f (z) dz 4

T1

f (z) dz ,

c0

donde

L(T )
.
2

L(T1 ) =

Descomponiendo ahora el triangulo T1 en otros cuatro triangulos mediante los puntos medios
de sus lados y repitiendo el razonamiento anterior, se obtiene otro triangulo T2 para el que
Z

T1

f (z) dz 4

f (z) dz ,

T2

donde

L(T2 ) =

L(T1 )
L(T )
=
.
2
22

Continuando el proceso, se obtiene una sucesion de triangulos T T1 T2 Tn

con, llamando L = L(T ), longitudes de los permetros L(Tn ) = 2Ln y verificando que
Z

f (z)dz 4

Tn

f (z)dz .

Entonces, si Tn es el triangulo Tn (an , bn , cn ), se tiene que

L
,
2n
luego lim an = lim bn = lim cn = z0 y, en consecuencia, existe un u
nico punto z0 perteneciente
n
n
n
a todos los triangulos de la sucesion. Como f es derivable en z0 , puede escribirse
L(Tn ) = |an bn | + |bn cn | + |cn an | =

f (z) f (z0 )
f 0 (z0 ) +(zz0 )f 0 (z0 ) = f (z0 )+(zz0 )(z)+(zz0 )f 0 (z0 )
f (z) = f (z0 )+(zz0 )
z z0
donde (z) =
Z

f (z)f (z0 )
zz0

Tn

f 0 (z0 ). Entonces,
Z

f (z) dz = f (z0 )

Tn

dz +

Tn

(z z0 )(z) dz + f 0 (z0 )

Tn

(z z0 ) dz

y, como el primer y tercer sumandos son nulos (ejemplo 11.12),

Z

Tn

Z

f (z) dz =

Tn

(z z0 )(z) dz

Tn

|z z0 ||(z)||dz|.

Pero lim (z) = 0, luego para cada > 0 existe un > 0 tal que |(z)| < cuando |zz0 | < .
zz0

Ademas, existe un n IN tal que |z z0 | < para todo z Tn , luego tambien se verifica que
|z z0 | < 2Ln para todo z Tn . Entonces
Z

f (z)dz

Tn

y, por tanto,

y como es arbitrario,
Teor
a de variable compleja.

Tn

Tn

|z z0 ||(z)||dz|
Z

f (z)dz 4n

Tn

L2

4n

f (z)dz L2

f (z)dz = 0.
134

11.2 Teoremas de Cauchy-Goursat

Caso 2: Supongamos ahora que p es un vertice de T , por ejemplo, p = a. Si a, b y c estan en

lnea recta, es evidente que la integral es nula. En otro caso, elijamos c0 [[a, b]] y b0 [[a, c]] los
puntos medios de los segmentos y los triangulos de vertices T1 (a, c0 , b0 ), T10 (c0 , b, b0 ) y T100 (b, c, b0 ).
Entonces
Z
T

f (z)dz =

T1

f (z)dz +

T10

f (z)dz +

T100

f (z)dz,

BMB

T0 B
1

b0

B
Z

BM Z
B

B Z
B
}
ZZ

B
BBN Z

T1 B T100 ZZ B

~B b
a t

-B
- Z

pero como los dos u

ltimos triangulos no contienen a
p, por el caso anterior, sus integrales son nulas. Procediendo como en el Caso 1, se construye una sucesion
de triangulos Tn , con L(Tn ) = 2Ln , verificandose que
Z

f (z)dz =

Tn

f (z)dz sup |f (z)|

zT

L
2n

c0

luego tambien la primera integral es nula.

Caso 3: Si p esta sobre el permetro o en el interior de T , basta dividir T en triangulos con
un vertice en p y aplicar el Caso 2. Es decir, como en las figuras siguientes:
c

BMB

T2 B

p t

B
}Z

Z
B

ZZ
B
Z
~
Z

B
Z B

T1
Z

a
ZB b
Z
T

f (z) dz =

2 Z
X
k
k=1 T

BB

 B

 B


B


BM

 T3  T2 B

t
B
k
3

 pQ
QQ
Q
s B
Q

 T1
QB
+



a


QB b
Z

f (z) dz = 0;

f (z) dz =

3 Z
X
k
k=1 T

f (z) dz = 0.

Por consiguiente, para cualquier T , se tiene que

f (z) dz = 0.

Teorema de Cauchy-Goursat para un abierto convexo 11.14 Sean A C abierto y convexo, p A y f : A C una funcion continua en A y analtica en A {p}. Entonces, para
todo camino cerrado regular a trozos y contenido en A se verifica que
Z

f (z)dz = 0.

#Demostracion#
Sea a A. Como A es convexo, para cada z A el segmento [[a, z]] esta contenido en A y,
por tanto, podemos construir la funcion F : A C definida por
Z

F (z) =

[[a,z]]

f (w) dw.

Si probamos que F 0 (z) = f (z), para todo z A, entonces, por la proposicion 11.11,
Z

Teor
a de variable compleja.

f (z) dz =

F 0 (z) dz = 0.
135

11.3 Formula integral de Cauchy

En efecto. Sea z0 un punto cualquiera de A. Entonces,

como

F (z) F (z0 )
1
f (z0 ) =
z z0
z z0

Z
[[a,z]]

[[a,z]]

f (w) dw =

[[z,a]]

f (w) dw

[[a,z0 ]]

f (w) dw (z z0 )f (z0 )

f (w) dw y agrupando las dos integrales, nos queda

1
=
z z0

[[z,a]]t[[a,z0 ]]

f (w) dw (z z0 )f (z0 )

y como [[z, a]] t [[a, z0 ]] son dos de los tres lados del triangulo T (z, a, z0 ) (contenido en A por ser
A convexo), por la proposicion anterior,
Z
!
1
=
f (w) dw (z z0 )f (z0 )
z z0
[[z0 ,z]]
Z

usando ahora que

[[z0 ,z]]

dw = (z z0 ), nos queda
Z

1
f (w) dw f (z0 )
dw
=
z z0
[[z0 ,z]]
[[z0 ,z]]
Z

1
=
f (w) f (z0 ) dw.
z z0 [[z0 ,z]]

Ahora bien, como f es continua en z0 , para cada > 0 existe un > 0 tal que si |w z0 | <
entonces |f (w) f (z0 )| < . Pero como, si |z z0 | < , tambien se verifica que |w z0 | <
para cada w [[z0 , z]], entonces

Z
Z

1
1
F (z) F (z0 )

f (z0 )
|f (w) f (z0 )||dw| <
|dw| = ,

z z0
z z0 [[z0 ,z]]
z z0 [[z0 ,z]]

si |z z0 | < y, en consecuencia, F 0 (z0 ) = f (z0 ) para todo z0 A.

11.3

F
ormula integral de Cauchy

Definici
on 11.15 Sean I = [a, b] y : I C un camino cerrado regular a trozos. Se llama
ndice de un punto z0
/ (I) respecto de y se designa por Ind () al n
umero
1
Ind (z0 ) =
2i

dz
.
z z0

Observaci
on 11.16 Como el intervalo I = [a, b] es cerrado y acotado y : I C es una
funcion continua, el conjunto (I) es cerrado y acotado; luego divide al plano complejo en trozos
disjuntos, que son las componentes conexas del conjunto C (I). Como (I) esta acotado,
existe un entorno E de centro el origen contiene a (I), y, en consecuencia, el conjunto conexo
C E esta contenido en C (I), luego C E esta contenido en una componente conexa de
C (I). Por consiguiente, entre las componentes conexas de C (I) hay una no acotada.
Proposici
on 11.17 Sean I = [a, b] y : I C un camino cerrado regular a trozos, entonces:
a) Ind (z0 ) ZZ, para todo z0 C .
b) La funcion Ind : C (I) ZZ es constante en cada una de las componentes conexas de
C (I) y es nula en la componente no acotada.

Teor
a de variable compleja.

136

11.3 Formula integral de Cauchy

Demostracion:
Si z0 esta en la componente
conexa no acotada, no encierra a z0 y, por el tercer caso del
Z
ejemplo 11.12, se tiene

1
zz0

dz = 0.

Para otra componente conexa, todos los puntos estan rodeados por de la misma forma
(mismo n
umero k de vueltas) luego para todos ellos,
Ind (z0 ) =

1
2i

1
1
dz =
2ik = k ZZ.
2i
z z0

Proposici
on 11.18 Sea : [0, 2] C la circunferencia de centro z0 y radio r recorrida en
sentido contrario al de las agujas del reloj. Entonces
(

Ind (z) =

1, si |z z0 | < r
0, si |z z0 | > r.

Demostracion:
Es un caso particular de la proposicion anterior.
F
ormula integral de Cauchy 11.19 Sean A C abierto y convexo, y f : A C una funcion
analtica. Entonces, para todo camino cerrado regular a trozos : [a, b] C contenido en A y
para todo z0 A ([a, b]) se verifica
f (z0 ) Ind (z0 ) =

1
2i

f (z)
dz.
z z0

Demostracion:
Sea z0 C ([a, b]). De la condicion de derivaci
on de un cociente se deduce que la funcion
g: A C definida por
(
f (z)f (z0 )
, si z 6= z0
zz0
g(z) =
f 0 (z0 ), si z = z0
es analtica en A {z0 }. Ademas, g es continua en z0 , puesto que
lim g(z) = lim

zz0

zz0

f (z) f (z0 )
= f 0 (z0 ) = g(z0 ).
z z0
Z

Por el teorema de Cauchy-Goursat para abiertos convexos se tiene que

z0
/ ([a, b]), resulta
Z

0=

f (z) f (z0 )
dz =
z z0

f (z)
dz f (z0 )
z z0

dz
=
z z0

g(z) dz = 0 y, como

f (z)
dz 2if (z0 ) Ind (z0 ).
z z0

Corolario 11.20 En las condiciones de la proposicion anterior, si es una circunferencia de

centro z0 recorrida en sentido positivo, entonces la formula integral de Cauchy se reduce a
f (z0 ) =

Teor
a de variable compleja.

1
2i

f (z)
dz.
z z0

137

11.4 Desarrollo de una funcion analtica en serie de potencias

Proposici
on 11.21 Si f es analtica en E (z0 , r) y 1 y 2 son dos circunferencias de centro
z0 y cuyos radios verifican que 0 < 1 < 2 < r , entonces, para todo z tal que 1 < |z z0 | < 2
se verifica que
Z
Z
1
1
f (w)
f (w)
f (z) =
dw
dw
2i 2 w z
2i 1 w z
donde 1 y 2 se recorren en sentido positivo.
Demostracion:
Sea A = {z C : 1 < |z z0 | < 2 }, el anillo circular encerrado por las circunferencias 1
y 2 . Consideremos los segmentos 1 , 2 , 3 y 4 que dividen a A en cuatro conjuntos A1 ,
A2 , A3 y A4 , de forma que z esta en uno de ellos; y consideremos las curvas que rodean dichos
conjuntos, como en la figura.
Si denotamos esas curvas, respectivamente, por

1 = 21 t 2 t 11
t 1
21

2 = 22 t 3 t 12
t 2

2 A1 @
22
@
3 = 23 t 4 t 13
t 3
2 6?
A
2

4 = 24 t 1 t 14 t 4
z

12

@
R 11
se verifica que
4 Z
X
k=1 k

f (w)
dw =
wz

Z
2

f (w)
dw
wz

Z
1

f (w)
dw.
wz

Z
2

f (w)
dw
wz

Z
1

4
X
f (w)
dw =
wz
k=1

z0

@
I

Ahora bien, como cada uno de los Ak puede

meterse en un abierto convexo contenido en
E (z0 , r), aplicando la formula integral de
Cauchy a cada una de ellas, se tiene que:

A3

@
R
@

13

14

A4

6?4

23

Z
k

24

4
X
f (w)
dw =
2if (z) Ind k (z)
wz
k=1

= 2i f (z) + 0 + 0 + 0 = 2if (z),

/ Ak , obteniendose el resultado propuesto.
pues Ind k (z) = 1 si z Ak y 0 si z

11.4

Desarrollo de una funci

on analtica en serie de potencias

Teorema de Taylor 11.22 Sean A C abierto y f : A C una funcion analtica. Para

cada entorno E(z0 , r) contenido en A existe un desarrollo en serie de potencias
con radio de convergencia mayor o igual que r , tal que f (z) =
z E(z0 , r). Los coeficientes de este desarrollo vienen dados por
1
an =
2i

f (z)
dz,
(z z0 )n+1

P
n=0

n=0

an (z z0 )n ,

an (z z0 )n , para todo

para n = 0, 1, 2, . . . ,

donde es cualquier circunferencia de centro z0 y radio < r , recorrida en sentido positivo.

Demostracion:
Sea z0 A y E(z0 , r) A. Sea z E(z0 , r) y consideremos una circunferencia de centro
z0 y radio < r que encierre a z . Es decir, el conjunto = {w C : |zz0 | < |wz0 | = < r}.

Teor
a de variable compleja.

138

11.4 Desarrollo de una funcion analtica en serie de potencias

Por la formula integral de Cauchy,

1
f (z) =
2i
1
wz

Veamos que para todo w ,

para todo w , se tiene

f (w)
dw.
wz

puede expresarse como una serie de potencias. como w z0 6= 0

f (w)
f (w)
f (w)
=

=
0
w z (w z) wz
w
z0
wz0

wz
wz0

f (w)

w z0

1
wz0 +z0 z
wz0

f (w)
1

zz0
w z0 1 wz
0

zz0
como |z z0 | < |w z0 |, se tiene que wz
< 1 y, por tanto, que
0

z z0 n X
f (w)
z z0 n
f (w) X
=
=
.
w z0 n=0 w z0
w z0 w z0
n=0

Ademas, f es continua en A luego existe M > 0 tal que |f (w)| < M para todo w , luego

f (w) zz0 n
wz0 wz0 M

P
zz0 n
f (w)
zz0
, para todo w , y, en consecuencia, la serie
wz0 wz0
n=0

converge uniformemente en .
Entonces,
1
f (z) =
2i
=
=

1
f (w)
dw =
wz
2i

1 X
2i n=0

X
n=0

1
2i

f (w)
w z0

!
Z X

f (w)
z z0 n

z z0
w z0

n=0
n

w z0

dw =

w z0

1 X
2i n=0

dw

f (w)
(z z0 )n dw
(w z0 )n+1

X
f (w)
n
dw
(z

z
)
=
an (z z0 )n
0
(w z0 )n+1
n=0

1
f (w)
y an =
dw , donde la circunferencia verifica que |z z0 | < . Pero la
2i (w z0 )n+1
integral no depende del z elegido y su valor es el mismo para cualquier circunferencia, luego
an =

1
2i

f (w)
dw
(w z0 )n+1

para cualquier circunferencia contenida en E(z0 , r).

Corolario 11.23 Sean A un subconjunto abierto de C y f : A C una funcion analtica.
Entonces f tiene derivadas de todos los ordenes en cada punto de A.
Demostracion:
La funcion suma de una serie de potencias tiene derivadas de todos los ordenes.
Corolario 11.24 Sean A un subconjunto abierto de C y f : A C una funcion analtica.
Entonces, para cada z0 A se verifica
f (n) (z0 ) =

n!
2i

f (z)
dz,
(z z0 )n+1

para n = 0, 1, 2, . . .

donde es cualquier circunferencia de centro z0 contenida en A, recorrida en sentido positivo.

Teor
a de variable compleja.

139

11.4 Desarrollo de una funcion analtica en serie de potencias

Demostracion:
Por la proposicion anterior, existe un crculo abierto E(z0 , r) A tal que, para todo z
E(z0 , r) se verifica que
f (z) =

an (z z0 )n ,

siendo

an =

n=0

1
2i

f (z)
dz,
(z z0 )n+1

para n = 0, 1, 2, . . . ,

y es cualquier circunferencia de centro z0 y radio < r . Ahora bien, como an =

tiene que
n!
2i

f (n) (z0 ) = n!an =

f (z)
dz,
(z z0 )n+1

f (n) (z0 )
,
n!

se

para n = 0, 1, 2, . . . .

Corolario 11.25 Sean f y g analticas en E(z0 , r), con f (z0 ) = g(z0 ) = 0. Si g 0 (z0 ) 6= 0,
entonces
f (z)
f 0 (z)
lim
= lim 0 .
zz0 g(z)
zz0 g (z)
Demostracion:
Como f y g son analticas en E(z0 , r) y f (z0 ) = g(z0 ) = 0, en ese entorno pueden expresarse
por f (z) =

n=1

an (z z0 )n y g(z) =

n=1

bn (z z0 )n . Luego

an (zz0 )n1

an (zz0 )n1
a1
f 0 (z)
f (z)
n=1
n=1
= lim
=
=
lim
.
lim
=
lim

P
zz0
zz0 g 0 (z)
zz0 g(z)
zz0 P
b
1
n1
n1
bn (zz0 )
(zz0 )
bn (zz0 )
(zz0 )

n=1

n=1

De las formulas integrales para las derivadas sucesivas de una funcion analtica resultan
inmediatamente las llamadas desigualdades de Cauchy:
Lema 11.26 Si f es una funcion analtica en el entorno E(z0 , r) y |f (z)| M , para todo
z E(z0 , r), entonces
n!M
|f (n) (z0 )| n , n = 0, 1, 2, . . .
r
Demostracion:
Sea la circunferencia definida por (t) = z0 + eit , t [0, 2], donde < r . Entonces,
para n = 0, 1, 2, . . ., se tiene
f

(n)

n!
(z0 ) =
2i

f (z)
n!
dz =
n+1
(z z0 )
2n

y, por tanto,
|f

(n)

n!
(z0 )|
2n

Z 2
0

Z 2
f (z0 + eit )
0

|f (z0 + eit )|dt

eint

dt

n!M
n

y como se cumple para todo < r ,

n!M
n!M
= n ,
n
<r
r

|f (n) (z0 )| inf

Teor
a de variable compleja.

para n = 0, 1, 2, . . .

140

11.5 Ejercicios

Teorema de Liouville 11.27 Si f es una funcion entera y acotada, entonces f es constante.

Demostracion:
Como f es analtica en C, para cada z0 C existe un desarrollo en serie

P
n=0

an (z z0 )n

con radio de convergencia infinito cuya suma coincide con f (z) para todo z C y, por las
desigualdades de Cauchy, para n = 1, 2, . . .,

f (n) (z )
M
0

|an | =
n,
n!
r

para todo r > 0, luego an = 0 para n = 1, 2, ... y, por tanto, f (z) = a0 .

Teorema fundamental del Algebra

11.28 Todo polinomio no constante P (z) = a0 + a1 z +
n
+ an z con coeficientes complejos y an 6= 0, tiene al menos una raiz en C.
Demostracion:
Si P (z) 6= 0 para todo z C, entonces la funcion f (z) =
como

1
P (z)

es analtica en C. Ademas,

1
1
1
= lim
lim
lim
|z| |P (z)| = |z|
|a0 + a1 z + + an z n |
|z| P (z)
1

= lim

an1
a
a
1
0
n
|z| |z|
+
+

+
+
a
n
zn
z
z n1

= lim

|z|

1
z P (z)

se tiene que lim

1
lim
|z|n |z| an0 +
z

1
a1

z n1

+ +

an1
z

=0
=0

|an |
+ an

= 0 y para cada para cada > 0 existe un K > 0 tal que

1
|P (z)|

<

1
para |z| > K , es decir, la funcion P (z)
esta acotada fuera del entorno cerrado E(0, K); y por
ser continua tambien esta acotada en E(0, K) luego esta acotada en C. En consecuencia, es
una funcion analtica y acotada en todo el plano y, por el teorema de Liouville, es una funcion
constante, lo que es absurdo.

11.5

Ejercicios
Z

Calcular las integrales

f (z) dz , para los siguientes casos:

11.1 f (z) = e|z| Re(z) y el segmento [[0, 1 + i]].

11.2 f (z) = cos z y el segmento [[ 2 , + i]].
11.3 f (z) =

1
z

11.4 f (z) =

ez cos(z)
z 2 +2z

11.5 f (z) =

sen z sen(z1)
z 2 z

11.6 f (z) =

cos z
z3

11.7 f (z) =

sen( 4 z)
(z1)2 (z3)

y la semicircunferencia |z| = 1 con Im(z) 0. Para

de la funcion para la cual es 1 = 1.

z , se toma la rama

y es la circunferencia |z| = 1 recorrida en sentido positivo.

y la circunferencia |z| = 2 recorrida en sentido positivo.

y la circunferencia |z| = 1 recorrida en sentido positivo.

Teor
a de variable compleja.

y la circunferencia |z 1| = 1 recorrida en sentido positivo.

141