You are on page 1of 8

9

Ejemplo 8.
Es nula 0 dz
z
1
a z
=

=
?
La funcin
z
1
) z ( f = es analtica en todo el plano complejo, excepto en el origen. No
puede por tanto deducirse que 0 dz
z
1
a z
=

=

Y en efecto:

=
t t
u
u
t = u = u =
a z
2
0
2
0
i
i
i 2 d i d aie
e
1
a
1
dz
z
1


Ejemplo 9.
Es nula

=
=

1 z
0
2 z
dz
?
Es nula, pues
2 z
1

es analtica en 1 z = 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
0 dz ) z ( f
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 un
arco que sea recorrido dos veces en
sentidos opuestos, pues la suma de las
dos integrales a lo largo del arco en los
dos sentidos se anula.

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 z
1
y z
2
en D
tienen todas el mismo valor.
10
En efecto: Sean C
1
y C
2
contornos en D uniendo
1
z y
2
z . Entonces ) C ( C
2 1
+ es una
curva cerrada regular a trozos. Por la consecuencia anterior y su generalizacin, es
( )

+
=
2 1
C C
0 dz ) z ( f . Luego 0 ) ( ) (
2 1
=

C C
dz z f dz z f . De donde

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








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:
dz ) z ( f
2
1
z
z




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,
j
C ) n ,..., 1 j ( = 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
j
C . Sea D el interior
de R. En este caso D es mltiplemente conexo, con orden de conexin 1 + n .
Sea I la frontera de D, que consiste en los contornos C y
j
C n ,..., 1 j =

C





Se dir que I 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 I, es decir
n 1 n 1
C ... C C C ... C C = + + + = I
+ +


b) Extensin del teorema de Cauchy-Goursat

Para la frontera I anterior, orientada positivamente, si f(z) es analtica en R,
entonces " 0 dz ) z ( f =

I


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

y
x
1
z
2
z
1
C
2
C
1
C
2
C
R
1
C
2
C
' C
C
' ' C
2
L
1
L
3
L
11


Se introduce un corte por una poligonal L
1
que une C con C
1
, otro por otra poligonal L
2

uniendo C
1
con C
2
y otro con L
3
uniendo C
2
con C.
De esta forma, como se indica en la Figura, se forman dos contornos cerrados C y C,
cada uno formado por los L
j
y partes de C y los C
j
.
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: 0 dz ) z ( f dz ) z ( f
' ' C ' C
= +


Como se anula la suma de las integrales en sentidos opuestos a lo largo de los L
j
, queda
nicamente la integral sobre I orientada positivamente. Luego 0 dz ) z ( f =

+
I


c) Consecuencia

En el dominio anterior D mltiplemente conexo, si f(z) es analtica en D y su frontera
I, se verifica:

=
+
=
C
n
1 j
C
j
dz ) z ( f dz ) z ( f , donde cada contorno C y C
j
se ha
orientado positivamente ( dejando su interior a la izquierda ).

d) Ejemplo 10. Calcular

=
C
z
dz
I , siendo C : 1
4
y
9
x
2 2
= +
Sea C
1
: 1 z =
Por la consecuencia anterior

= =
1
C C
z
dz
z
dz
I
Y como C
1
:
u
=
i
e z | ) t e u 2 , 0 i 2 d
e
ie
I
2
0
i
i
t = u =

t
u
u


e) Principio de deformacin de caminos

De la consecuencia anterior se deduce:

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:
C
1
C
1
C
2
C
12
Si C es cerrada, regular a trozos y e
0
z C, entonces


C
0
z z
dz
es un mltiplo entero
de i 2t
Sin demostrar.

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


=
C
0
0
z z
dz
i 2
1
) z , C ( n
t


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

Si se cambia la orientacin de C cambia el signo de ) z , C ( n
0
.
Si C es un contorno resulta:
Si
0
z exterior a C: 0 ) z , C ( n
0
=
Si
0
z interior a C: 1 ) z , C ( n
0
=
+
1 ) z , C ( n
0
=




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 e 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
z
1
y z
2
en D, la integral de f(z) sobre un contorno en D uniendo dichos
puntos, es independiente de dicho contorno, y toma el valor
) z ( F ) z ( F dz ) z ( f
1 2
z
z
2
1
=


ii) 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 :
( )

=
z
z
0
d f ) z ( F c c z
0
, D z e , z
0
fijo, estando extendida la integral a lo
largo de cualquier contorno en D uniendo z
0
y z .

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

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

13
) z ( F ) z ( F
1 2
=
Luego el resultado no depende del contorno en D uniendo
1
z y
2
z .
ii) ( Se omite la demostracin )

c) Consecuencias

Sea D simplemente conexo.

i) Si G(z) y H(z) son primitivas de f(z) en D, difieren en una cte.
Pues 0 ) z ( ' H ) z ( ' G = y se ha visto que si una funcin analtica tiene
derivada nula en D, es constante en D.

ii) El resultado ) z ( F ) z ( F dz ) z ( f
1 2
z
z
2
1
=

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

dz ) z ( f

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. Entonces
D z
0
e es : dz
z z
) z ( f
i 2
1
) z ( f
C
0
0


=
t
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
0
z z
) z ( f

analtica en C e interior, excepto


0
z z =
C
D
0
z
0
C
r
14
Luego, en general, no ser nula dz
z z
) z ( f
C
0



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

=


I
2
) Es
u
+ =
i
0 0
re z z C | | t e u 2 , 0 ) z ( if 2 d
re
ire
) z ( f I
0
2
0
i
i
0 2
t = u =

t
u
u

I
1
) Por ser f(z) continua en
0
z :
0 > c 0 ) ( > c o - / c < o < ) z ( f ) z ( f z z
0 0

Sea un 0 > c . Se toma o < r . Sobre
0
C es r z z
0
=
Luego tc =
c
s

=

2 dz
r
dz
z z
) z ( f ) z ( f
dz
z z
) z ( f ) z ( f
I
0 0 0
C C
0
0
C
0
0
1

Puede hacerse por tanto I
1
tan pequeo como queramos.
Por tanto I
1
= 0. De donde: ) z ( if 2 I I I
0 2 1
t = + = c.q.d.

b) Ejemplo 11.

Calcular
( ) ( )

+
=
C 2
i z z 9
dz z
I siendo C: 2 z =
Solucin
Es
2
z 9
z
) z ( f

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


Luego
( )
5 10
2
i 9
i
i 2 ) i ( if 2 dz
i z
) z ( f
I
2 C
t
=
t
=

t = t =
+
=



c) Consecuencias

- En la frmula integral de Cauchy, podra considerarse ahora al
0
z como variable
en el interior del contorno cerrado C y escribir:
z interior a C es

c
c
c
t
=
C
d
z
) ( f
i 2
1
) z ( f

- 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 C z
0
e , entonces

dz
z z
) z ( f
i 2
1
) z ( f ) z , C ( n
C
0
0 0

t
=

15
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. Entonces:

i) D z e es
( )


=
C 2
d
z
) ( f
i 2
1
) z ( ' f c
c
c
t
(C en sentido positivo)
ii) Adems f(z) es indefinidamente derivable en D y e n N y D z e es:
( )

=
C 1 n
) n (
d
z
) ( f
i 2
! n
) z ( f c
c
c
t
donde C se recorre en sentido positivo.


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

c
c
c
t
=
C
d
z
) ( f
i 2
1
) z ( f
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
y y x x
iu v iv u ) z ( ' f = + = , ... iv u ) z ( ' ' f
xx 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 I de una regin cerrada
mltiplemente conexa.


c) Ejemplo 12.
Calcular
( )


=
C 2
dz
z
senz
I
t
, siendo C : 5 z =

Solucin
Es senz ) z ( f = analtica en C y su interior. Entonces
( )


t
=
C 2
0
0
dz
z z
) z ( f
i 2
1
) z ( ' f
Por tanto: i 2 cos i 2 ) ( ' f i 2 I t = t t = t t =

16
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 0 dz ) z ( f
C
=

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

( Es una especie de recproco del teorema de Cauchy-Goursat, consecuencia inmediata
del Teorema de 6-b. Recproco )

b) Desigualdad de Cauchy

Si f(z) es analtica en el interior y sobre una circunferencia de centro
0
z y radio r,
entonces:
n
0
) n (
r
! n ) r ( M
) z ( f s ,... 2 , 1 , 0 n = siendo = ) r ( M mximo de ) z ( f
sobre C
La mejor cota se obtendr con adecuada eleccin de r que minimice
n
r
) r ( M

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
0
z , es el valor medio de los valores de f(z) en una
circunferencia C de centro
0
z , siempre que f(z) sea analtica en C y su interior.
Es decir

t
u
u +
t
=
2
0
i
0 0
d ) re z ( f
2
1
) z ( f

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 ) z ( f en D se alcanza en la frontera I 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 I y 0 ) z ( f = en D, entonces
el valor mnimo de ) z ( f en D se alcanza nicamente en I.