Ejemplo 8.

Es nula

z a z dz 0 ?

1
es analtica en todo el plano complejo, excepto en el origen. No
z
1
puede por tanto deducirse que z a dz 0
z

La funcin f ( z)

1
1
z a z dz a

Y en efecto:

0 e

aie i d i

d 2i
0

Ejemplo 9.
Es nula

dz

z 1 z 2 0 ?

Es nula, pues

1
es analtica en
z2

z 1

y su interior.

c) Definicin
Un dominio D del plano se dice simplemente conexo si todo contorno cerrado
contenido en l, encierra nicamente puntos de D ( Intuitivamente un dominio sin
agujeros )
Un dominio que no es simplemente conexo se dice mltiplemente conexo.
d) Consecuencia del teorema de Cauchy-Goursat
Si f(z) es analtica en un dominio D simplemente conexo, entonces para todo
contorno cerrado C contenido en D es C f ( z )dz 0
Inmediato.
En esta consecuencia, puede sustituirse el contorno C por una curva cerrada
regular a trozos, con un n finito de autointersecciones pues puede descomponerse en
contornos cerrados para cada uno de los cuales es nula la integral.
Incluso podra contener C
arco que sea recorrido dos veces
sentidos opuestos, pues la suma de
dos integrales a lo largo del arco en
dos sentidos se anula.

un
en
las
los

e) Principio de independencia del camino

Sea una funcin f(z) analtica en un dominio D simplemente conexo. Entonces las
integrales de f(z) a lo largo de contornos contenidos en D, que unen z1 y z2 en D
tienen todas el mismo valor.
En efecto: Sean C1 y C2 contornos en D uniendo z1 y z 2 . Entonces C1 (C 2 ) es
una curva cerrada regular a trozos. Por la consecuencia anterior y su generalizacin, es

Luego C f ( z ) dz C f ( z ) dz 0 .

C1 C2 f (z)dz 0 .

C1

f ( z ) dz

C2

De

donde

f ( z ) dz

C2 z 2
z1

Por tanto, para dominios simplemente

conexos, la integral de una funcin
analtica en D, sobre un contorno en D,
slo depende de los extremos y podra
usarse la notacin:

C1

z2

f (z)dz

z1

5. EXTENSIN DEL TEOREMA DE CAUCHY-GOURSAT PARA DOMINIOS

MLTIPLEMENTE CONEXOS
a) Orientacin de la frontera de dominios mltiplemente conexos
Sea C un contorno cerrado, C j ( j 1,..., n ) contornos cerrados contenidos en el
interior de C y tales que sus regiones interiores no tengan puntos en comn. Sea R la
regin cerrada formada por C y su interior, excepto los interiores de los C j . Sea D el
interior de R. En este caso D es mltiplemente conexo, con orden de conexin n 1 .
Sea la frontera de D, que consiste en los contornos C y C j j 1,..., n
C

R
C1 C 2

Se dir que se ha orientado positivamente, si se describen C y los C j en sentido

tal que los puntos de
D quedan a la izquierda de , es decir

C C1 ... C n C C1 ... C n
b) Extensin del teorema de Cauchy-Goursat
Para la frontera anterior, orientada positivamente, si f(z) es analtica en R,
entonces

f ( z ) dz 0 "

Demostracin.
Se demuestra para n = 2.
La extensin a cualquier valor
de n es obvia.

L1

C'
L2

L3

C1 C 2

C''
10

Se introduce un corte por una poligonal L1 que une C con C1, otro por otra poligonal L2
uniendo C1 con C2 y otro con L3 uniendo C2 con C.
De esta forma, como se indica en la Figura, se forman dos contornos cerrados C y C,
cada uno formado por los Lj y partes de C y los Cj.
Es f(z) analtica sobre C, C y sus respectivos interiores. Luego, por el teorema de
Cauchy-Goursat, para dominios simplemente conexos, se anulan las integrales de f(z)
sobre C y C, describiendo esos contornos cerrados en sentido tal que los puntos
interiores queden a la izquierda de los contornos.
Luego:
C' f (z)dz C' ' f (z)dz 0
Como se anula la suma de las integrales en sentidos opuestos a lo largo de los L j , queda
nicamente la integral sobre orientada positivamente. Luego f (z )dz 0
c) Consecuencia
En el dominio anterior D mltiplemente conexo, si f(z) es analtica en D y su frontera

, se verifica:

f ( z )dz

C j

j 1

f ( z )dz ,

donde cada contorno C y Cj se ha

orientado positivamente ( dejando su interior a la izquierda ).

d) Ejemplo 10.
Sea C1:

Calcular I C

dz
x2 y2
, siendo C :

1
z
9
4

z 1

Por la consecuencia anterior I

Y como C1:

z e i

0,2

dz
dz

C
z
1 z
2

0 e

e) Principio de deformacin de caminos

De la consecuencia anterior se deduce:

ie i
i

C
C1

d 2i

C1
C2

Las integrales de contorno de una

funcin analtica f(z), sobre dos contornos
cerrados, sern idnticas si uno de los contornos
puede transformarse en el otro mediante una deformacin continua y sin pasar por
ninguna singularidad ( punto en que f(z) no sea analtica ).
f) ndice de un punto respecto a una curva cerrada: n de giros
Ahora se consideran curvas cerradas, regulares a trozos, no necesariamente simples ( no
necesariamente contornos )
Se verifica:
Si C es cerrada, regular a trozos y
entero de 2i
Sin demostrar.

dz

z0 C, entonces C z z
0

es un mltiplo

11

Se llama ndice de z0 respecto a C orientada, cerrada y regular a trozos a

1
dz

2i C z z 0

n( C , z 0 )

Este n entero indica el n de veces que la curva orientada C gira alrededor de z0

Si se cambia la orientacin de C cambia el signo de n (C, z 0 ) .
Si C es un contorno resulta:
Si z 0 exterior a C: n (C, z 0 ) 0
n (C , z 0 ) 1
Si z 0 interior a C: n (C , z 0 ) 1
6. FUNCIN PRIMITIVA E INDEPENDENCIA DEL CAMINO.
INTEGRAL INDEFINIDA.
a) Definicin
Dada una funcin f(z) continua en un dominio D, se llama primitiva de f(z) en D, a
cualquier funcin F(z) analtica en D, tal que F(z) = f(z) z D.
b) Teorema
Sea f(z) continua en un dominio D simplemente conexo.
Entonces:
i)
Si existe una primitiva F(z) de f(z) en D, entonces para cada par de puntos
z1 y z2 en D, la integral de f(z) sobre un contorno en D uniendo dichos
puntos, es independiente de dicho contorno, y toma el valor
z2

z1
ii)

f ( z )dz F ( z 2 ) F ( z 1 )

Recprocamente. Si la integral de contorno entre dos puntos cualesquiera

de D, es independiente del contorno en D que los une, entonces existe
primitiva de f(z) en D. Por ejemplo la :
F( z )

z
z0 f d z0 , z D , z0 fijo, estando extendida la integral a lo

largo de cualquier contorno en D uniendo z0 y z .

Demostracin
i)
Supngase que existe una primitiva F(z) de f(z) en D.
Sea C z( t ) , t a , b , z(a ) z1 z(b) z 2 cualquier contorno en D
uniendo z1 y z 2 . Entonces:
b

bd

C f (z) dz a f z( t ) z' ( t ) dt a dt F z( t ) dt F z( t ) a

F z ( b) F z (a )

F( z 2 ) F( z1 )

ii)

Luego el resultado no depende del contorno en D uniendo z1 y z 2 .

( Se omite la demostracin )

c) Consecuencias
Sea D simplemente conexo.

12

i)

Si G(z) y H(z) son primitivas de f(z) en D, difieren en una cte.

Pues G ' ( z) H' ( z) 0 y se ha visto que si una funcin analtica tiene
derivada nula en D, es constante en D.

ii)

El resultado

z2

z1

f (z )dz F(z 2 ) F( z1 ) siendo F una primitiva de f en D,

es la extensin de la Regla de Barrow a las integrales de contorno.

iii)

Si f(z) es analtica en D, se ha visto en 4-e que la integral entre dos puntos

de D, no depende del camino en D, luego existe primitiva de f(z) en D.

iv)

Cuando existan primitivas de f(z) continua en D, el conjunto de las mismas

recibe el nombre de integral indefinida de f(z) en D y se representa

f ( z)dz
v)

Tras su introduccin como en el caso real, las primitivas de funciones

analticas elementales se obtienen formalmente como en el caso real,
pudiendo aplicarse la integracin por partes o por cambio de variable.

7. FRMULA INTEGRAL DE CAUCHY

a) Teorema
Sea f(z) analtica sobre un contorno cerrado C y su interior D.
z 0 D

f(z)
1
dz
es : f ( z 0 )

2i C z z 0

Entonces

donde C se recorre en sentido positivo.

Esta es la llamada frmula integral de Cauchy. Dice que el valor de una funcin
analtica en el dominio D simplemente conexo, est determinada en D por sus valores
sobre C. Adems da una expresin de dichos valores en D. Se pone nuevamente de
manifiesto la gran influencia estructural que sobre una funcin f(z) tiene el hecho de ser
analtica.

Demostracin.
f(z) analtica en C e interior

C0

f (z)
analtica en C e interior, excepto z z 0
z z0
f (z)
dz
Luego, en general, no ser nula C
z z0

rz 0

Por ser z 0 interior a C, existe r>0 tal que la circunferencia C 0 de centro z 0 y radio r
est contenida en D.
Por el principio de deformacin de caminos es:
f ( z) f ( z 0 )
f (z 0 )
f ( z)
f ( z)
dz
dz
dz
dz I1 I 2
Czz
C0 z z
C0
C0 z z
z z0
0
0
0

I2) Es C 0 z z 0 re i 0,2 I 2 f (z 0 )

ire i

0 re

d 2if ( z 0 )

13

I1) Por ser f(z) continua en z 0 :

0 () 0 / z z 0 f (z) f (z 0 )
Sea un 0 . Se toma r . Sobre C 0 es z z 0 r
Luego I1

C0

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

dz
dz dz 2
C0
z z0
z z0
r C0

Puede hacerse por tanto I1 tan pequeo como queramos.

Por tanto I1 = 0. De donde: I I1 I 2 2if (z 0 ) c.q.d.
b) Ejemplo 11.
Calcular I C
Solucin
z

Es f (z)

z dz

9 z 2 z i

siendo C:

z 2

analtica en C y su interior. Adems z i interior a C

9 z2
f (z)
i
2

Luego I C z i dz 2if (i) 2i

2
10 5
9 i

c) Consecuencias

En la frmula integral de Cauchy, podra considerarse ahora al z 0 como

variable en el interior del contorno cerrado C y escribir:
f ( )

z interior a C es f ( z ) 2i C z d

Puede generalizarse el teorema anterior para curvas C cerradas, regulares a

trozos, no necesariamente de Jordan.
Si f(z) es analtica en un dominio simplemente conexo D, es C curva cerrada,
regular a trozos en D y z 0 C , entonces
n (C, z 0 )f (z 0 )

1
f (z)
dz

2i C z z 0

8. DERIVADAS DE UNA FUNCIN ANALTICA

La frmula integral de Cauchy tiene varias consecuencias, entre ellas:
a) Teorema
Sea f(z) analtica en un contorno cerrado C y su interior D.
f' ( z )

f ( )
1
d
2i C z 2

i)

z D es

ii)

Adems f(z) es indefinidamente derivable en D y

Entonces:

(C en sentido positivo)

n N y z D es:
14

f ( n )( z )

n!
f ( )
d donde C se recorre en sentido positivo.

C
2i z n 1

Es decir que las derivadas se obtienen por derivacin bajo el signo integral, en la
frmula integral de Cauchy: f ( z )

1
f ( )
d

2i C z

La demostracin se basa en la frmula integral de Cauchy. Se omite aqu, aunque no es

complicada.
b) Consecuencias
i)

Si f(z) es analtica en un punto, sus derivadas de todos los rdenes son

analticas en dicho punto.

ii)

En los puntos en que f(z) es analtica ( y por tanto lo son f(z), f(z)...),
como f ' (z) u x iv x v y iu y , f ' ' (z) u xx iv xx ... , resulta que u, v
admiten derivadas de todos los rdenes.

iii)

El contorno cerrado C puede sustituirse en la frmula integral de Cauchy y

en las derivadas, por la frontera orientada de una regin cerrada
mltiplemente conexa.

c) Ejemplo 12.
Calcular I C

senz

z 2

dz , siendo C :

z 5

Solucin
1
f (z)
dz
Es f (z) senz analtica en C y su interior. Entonces f ' (z 0 ) 2i C
z z0 2

Por tanto: I 2i f ' () 2i cos 2i

9. OTROS TEOREMAS DE INTERS
Tan slo se enunciarn sin demostrarlos.
a) Teorema de Morera

Sea D un dominio simplemente conexo y f(z) continua en D. Si

todo contorno cerrado C en D, entonces f(z) es analtica en D

C f (z )dz 0 para

( Es una especie de recproco del teorema de Cauchy-Goursat, consecuencia inmediata

del Teorema de 6-b. Recproco )
b) Desigualdad de Cauchy

15

Si f(z) es analtica en el interior y sobre una circunferencia de centro z 0 y radio r,

(n )
(z 0 )
entonces: f

M (r )n!

n 0,1,2,...

rn

siendo M ( r ) mximo de

f (z)

sobre C
La mejor cota se obtendr con adecuada eleccin de r que minimice

M (r )
rn

c) Teorema de Liouville
Si una funcin es entera y acotada en todo C, se reduce a una constante.
d) Teorema fundamental del lgebra
Todo polinomio con coeficientes complejos y no constante, tiene al menos una raz
e) Teorema del valor medio
El valor de una funcin analtica, en z 0 , es el valor medio de los valores de f(z) en
una circunferencia C de centro z 0 , siempre que f(z) sea analtica en C y su interior.
Es decir

f (z 0 )

1
2

f (z 0 re

) d

f) Teorema del mdulo mximo

Si f(z) es analtica en un dominio acotado D y continua en su frontera, entonces el valor
mximo de f ( z ) en D se alcanza en la frontera y no en D, salvo que f(z) sea cte
en D
g) Teorema del mdulo mnimo
Si f(z) es analtica en un dominio acotado D y su frontera y f (z) 0 en D,
entonces el valor mnimo de f ( z ) en D se alcanza nicamente en .

16