Cap tulo 4

Integracin en el campo o complejo

Objetivos
Realizar integrales de funciones complejas a lo largo de curvas. Comprender los conceptos de independencia del camino y homolog a. Calcular integrales por medio de las frmulas de Cauchy. o

4.1.

Integracin en el campo complejo o

Una funcin compleja de variable real consta de dos componentes reales, por o lo cual la denicin de su integral es inmediata, como suma de las integrales de o sus componentes,
b b b

f (t) dt :=
a a

u(t) dt + i
a

v(t) dt ,

f : [a, b] C . (4.1) t u(t) + iv(t)

La denicin anterior es correcta si la funcin f es continua. o o Ejemplo 4.1.1 Integral de la exponencial imaginaria.
0

eit dt =
0

cos t dt + i
0 0

sin t dt = [sin t] i[cos t] = 2i 0 0

o bien directamente,

eit dt = [ieit ] = 2i . 0

En la recta real la unica manera de unir dos puntos es un segmento. Por ello el concepto de integral de una funcin de variable real entre dos puntos es o un voco, pues siempre integramos a lo largo de un segmento. Para integrar funciones complejas de variable compleja, tenemos mucha ms a libertad, ya que entre dos puntos del plano tenemos innitos caminos que los 1

unen y el concepto de integral ya no es un voco. No basta, en general, con indicar los puntos entre los cuales integramos, sino que tenemos adems que indicar a a lo largo de qu curva estamos realizando la integral. Los resultados sern, en e a principio, dependientes de la curva que escojamos.

Figura 4.1: Dos puntos se pueden unir a lo largo de curvas distintas

Supongamos que queremos integrar una funcin continua de variable como pleja, f : U C, denida en un subconjunto abierto U C, a lo largo de una curva en el plano contenida en U . Para ello, tendremos que parametrizar la curva . Una parametrizacin es una aplicacin de clase C 1 , : [a, b] C tal que o o [a, b] = y (t) no se anula en ning n punto. La imagen de la funcin es u o la curva . La velocidad de la parametrizacin es la derivada (t), que dene o un vector tangente a la curva en cada punto z = (t). Abusando de la notacin, o podemos denotar z(t) = (t), entendiendo que z(t) es la manera en la que se recorre la curva seg n la parametrizacin . u o La parametrizacin dene una orientacin para la curva . La curva no es o o ya slo un subconjunto de puntos, sino que est orientado, al ser recorrido de o a (a) a (b) y no al revs. e Diremos que la curva es regular si admite una parametrizacin de clase o C 1 . Diremos que es simple si no presenta autointersecciones. La curva se llama abierta si (a) = (b), y cerrada, si (a) = (b). Con esta notacin, denimos la integral de la funcin f a lo largo de o o ,
b

f (z) dz :=
a

f (t) (t) dt .

Con esta expresin se entiende nuestro inters porque la parametrizacin sea o e o de clase C 1 y porque f sea continua: para que el integrando sea continuo y la integral est, pues, bien denida. e La interpretacin de esta denicin es inmediata si recurrimos a la analog o o a real, descomponiendo las funciones en sus partes real e imaginaria, f (t) = u (t) + iv (t) , (t) = x(t) + iy(t),
b b

f (z) dz

=
a

(u + iv)(x + iy

dt =
a

{(ux vy ) + i(uy + vx )} dt

(4.2)

=
a

v,

(t)

dt + i
a

v, n

(t)

dt = Cv, + iv, ,

identicando el campo tangente a la curva = x ux + y uy , el campo normal, n = y ux x uy , y un campo vectorial v = u ux v uy , que es esencialmente f. As podemos interpretar la parte real de la integral de f a lo largo de como la circulacin del campo v a lo largo de y la parte imaginaria, como el ujo o del campo v a travs de . e Esta denicin tiene unas cuantas buenas propiedades: o Linealidad de la integral: Es obvio que, para C, f, g funciones continuas, cuyo dominio comprende a la curva , f (z) dz =

f (z) dz ,

f +g (z) dz =

f (z) dz+

g(z) dz .

Invariancia bajo cambios de parametrizacin: Supongamos que : o [c, d] C es otra parametrizacin de la curva , denida por un cambio o de parmetro biyectivo de clase C 1 , t = h( ), h : [c, d] [a, b], tal que a h ( ) > 0 (preserva la orientacin), de modo que (t) = (h( )) = ( ). o Sabemos que en integrales reales, el cambio de variable t = h( ) se rige por la expresin o
b d

g(t) dt =
a c

g h( )

dh( ) d , d

que aplicada a nuestro caso proporciona

b

f (t)
a

d(t) dt = dt

f ( )
c

d(t) dh( ) d = dt d

f ( )
c

d ( ) d , d

por la regla de la cadena, ( ) = (t)h ( ). 2 Por tanto, la integral depende de la curva, no de la parametrizacin emo pleada, siempre que respete la orientacin. La parametrizacin simplemeno o te es una herramienta para realizar la integral. Advirtase que este hecho est impl e a cito en nuestra notacin de la integral, o que hace referencia a la curva y no a la parametrizacin. o Cambio de signo por inversin de la orientacin: Denotemos por o o la curva recorrida en sentido inverso. Entonces

f (z) dz =

f (z) dz .

(4.3)

La demostracin es bien sencilla, con la parametrizacin : [b, a] C o o para dada por ( ) = (t), para la cual t = , ( ) = (t),
a b

f (z) dz =
b

f ( ) ( ) dt =

f (t) (t) dt =

f (z) dz .

2 1 3
Figura 4.2: Curva de clase C 1 a trozos

Particin de la curva: Si la curva consta de dos arcos, = 1 2 , o f (z) dz =

1

f (z) dz +
2

f (z) dz ,

(4.4)

sin ms que parametrizar mediante una parametrizacin : [a, b] a o C, de modo que [a, c] = 1 , [c, b] = 2 . Ya que, denotando por 1 la parametrizacin restringida a [a, c], y por 2 la parametrizacin o o restringida a [c, b],
b c b

f (z) dz =
a

f ((t)) (t) dt =
a

f (1 (t))1 (t) dt +

f (2 (t))2 (t) dt

=
1

f (z) dz +
2

f (z) dz . 2

Esta ultima propiedad permite extender la denicin de curva parametrizada o regular al caso en el que la parametrizacin es de clase C 1 a trozos, es decir, o la parametrizacin es de clase C 1 en intervalos [a, c1 ],. . . , [cn , b]. As pues, la o parametrizacin restringida a dichos intervalos, i : [a, ci ] C, es de clase C 1 o y tiene sentido la denicin o
n

f (z) dz =
i=1 i

f (z) dz ,

(4.5)

denotando por i la curva regular parametrizada por i . Podemos incluso extender la denicin de modo que las curvas i sean diso juntas, es decir, que no sea continua en las valores de unin, c1 ,. . . , cn . Si las o curvas i son cerradas, la cadena se llama ciclo. Por ejemplo, esta propiedad puede servir para escindir una curva en dos. Ejemplo 4.1.2 Integrar la funcin f (z) = (z z0 )n para z0 C, n Z, a lo o largo de la circunferencia de radio R centrada en z0 . Como eit , con t [0, 2], describe la circunferencia de radio unidad centrada en el origen, (t) = z0 + Reit es una parametrizacin de la circunferencia de o radio R centrada en z0 . La velocidad de la parametrizacin es (t) = iReit . o Como a lo largo de la curva la funcin va tomando los valores f (t) = Rn eint , o f (z) dz = iRn+1
0 2

ei(n+1)t dt = Rn+1 4

ei(n+1)t n+1

=0,
0

1 2

Figura 4.3: Ciclo formado por las curvas 1 y 2

si n = 1. El caso en el que n = 1 tiene que estudiarse aparte,

2

f (z) dz = i
0

dt = i2 .

Volveremos sobre este resultado posteriormente. De momento, jmonos en e que la integral no depende del radio de la circunferencia y que slo en el caso o n = 1 es diferente de cero. Ejemplo 4.1.3 Integral a lo largo de un segmento. Integrar la funcin f (z) = z a lo largo del segmento que une 1 i con 1 + i. o La parametrizacin de un segmento es sencilla, t [0, 1], (t) = (1t)z0 +tz1 , o de modo que (0) = z0 , (1) = z1 . En nuestro caso, (t) = 1 + i(2t 1), (t) = 2i,
1

z dz = 2i
0

1 + i(2t 1) dt = 2i (1 i)t + it2

1 0

= 2i .

Ejemplo 4.1.4 Parametrizaciones basadas en grcas. a Una curva denida por una grca y = g(x), x [a, b], se puede parametrizar a como (t) = t + ig(t), t [a, b]. Por ejemplo, integremos la funcin f (z) = z 2 a lo largo de la curva de o ecuacin x = y 3 , y [0, 1]. o En este caso la parametrizacin es (t) = t3 + it, t [0, 1], (t) = 3t2 + i, o z 2 dz =
0 1

(t3 + it)2 (3t2 + i) = 3

t9 t3 t5 + it7 i 3 3

=
0

2 (1 + i) . 3

Recordemos que la longitud de una curva se puede calcular en cualquier parametrizacin : [a, b] C como o
b b

L() =
a

| (t)| dt =

x (t)2 + y (t)2 dt .
a

(4.6)

Como ejercicio, demostrar que la longitud es independiente de la parametrizacin usada. o 5

Ejemplo 4.1.5 Calcular la longitud de una circunferencia de radio R. Una parametrizacin de la circunferencia centrada en z0 es o : [0, 2] C , t z0 + Reit
2

(t) = iReit ,
2

L() =
0

|iReit | dt = R

dt = 2R .
0

Esta denicin permite una acotacin muy sencilla de las integrales a lo largo o o de curvas: Proposicin 4.1.1 Sea f : U C una funcin continua de variable compleja. o o Sea una curva regular contenida en U . Entonces, f (z) dz L() sup |f (z)| .
z

(4.7)

Para demostrarlo, descomponemos la integral en mdulo y argumento, que o denominaremos , f (z) dz = rei .

A nosotros nos interesa r. Usando una parametrizacin : [a, b] C, o

b

r =

f (z) dz = (r) =
b a

ei

f (z) dz
b

=
a

ei f (t) (t) dt

|f ((t))| | (t)| dt sup |f (z)|

z

| (t)| dt = L() sup |f (z)| ,

z

teniendo en cuenta que (z) |z|, que la exponencial imaginaria tiene mdulo o unidad, y que |f (z)| sup |f (z)|. 2

4.2.

Independencia del camino

Hemos comentado que, en general, la integral de una funcin depende de la o curva que se emplea, aunque en algunos casos concretos puede que no sea as . Si la funcin que queremos integrar tiene primitiva, podemos utilizar la regla o de Barrow del clculo integral: a Teorema 4.2.1 Sea F : U C una funcin holomorfa y f = F . Sea U o una curva continua de clase C 1 a trozos. Entonces, f (z) dz = F (z1 ) F (z0 ) , (4.8)

siendo z1 y z0 los puntos nal e inicial de la curva . 6

Realmente debiramos exigir que f fuera continua, pero veremos ms adee a lante que es redundante. La demostracin, como ya adelantamos, est basada en la regla de Barrow. o a Supongamos que es de clase C 1 . Usando una parametrizacin : [a, b] C o de la curva ,
b dF (t) dF (t) (t) dt = dt dz dt a a = F (b) F (a) = F (z1 ) F (z0 ) , b

f (z) dz

aplicando la regla de la cadena. En el caso en el que la curva es de clase C 1 a trozos, no tenemos ms que a descomponerla,
n

f (z) dz

=
i=1 i

f (z) dz = F (z1 ) F (z0 ) + + F (zn ) F (zn1 )

= F (zn ) F (z0 ) , siendo F (zi1 ), F (zi ) los extremos de cada curva i en este caso. 2 Un resultado importante de este teorema, es que, si f tiene una primitiva F , la integral no depende del camino seguido, sino slo de los extremos de la o curva. Decimos que la integral de una funcin continua de variable compleja f : o U C es independiente del camino en un abierto conexo U si para todo par de curvas 1 , 2 continuas regulares a trozos con los mismos extremos, f (z) dz =
1 2

f (z) dz .

(4.9)

O, lo que es lo mismo, si es un ciclo continuo regular a trozos, f (z) dz = 0 .

(4.10)

La equivalencia entre ambas deniciones es trivial, ya que si unimos 1 con 2 obtenemos una curva cerrada y las integrales tienen signo opuesto. Este concepto tiene su anlogo en la f a sica y en la teor de campos. Las a funciones cuya integral no depende del camino son los campos conservativos. La primitiva, en el lenguaje de los campos, es el potencial escalar. Ejemplo 4.2.1 Calcular la integral de f (z) = ez entre z = 1 y z = i a lo largo de un arco de circunferencia y de un segmento. Integramos f a lo largo del cuadrante de circunferencia de radio unidad, , parametrizado por (t) = eit , t [0, /2],
/2

f (z) dz = i
0

ee eit dt = ee

it

it

/2 0

= ei e .

Integramos f a lo largo del segmento que une 1 con i, , parametrizado por (t) = (1 t) + it, t [0, 1],
1

f (z) dz = (i 1)

e(1t)+it dt = e(1t)+it 7

1 0

= ei e .

Obviamente da lo mismo, ya que f (z) tiene una primitiva conocida, F (z) = ez . Por tanto, a lo largo de cualquier curva que una 1 con i, f (z) dz = F (i) F (1) = ei e .

Hemos visto que la integral de funciones con primitiva es independiente del camino, pero este resultado tiene su rec proco: Teorema 4.2.2 Sea f : U C una funcin continua de variable compleja en o un abierto conexo U . Las integrales de f son independientes del camino en U si y slo si existe una primitiva holomorfa F , de modo que f = F . o La demostracin en un sentido ya se ha visto. Queda por demostrar que si o las integrales son independientes del camino, f tiene primitiva.

Figura 4.4: Construccin de la primitiva o Veremos que una primitiva se puede construir fcilmente. Elegimos un punto a cualquiera z0 U . Lo unimos con cada punto z U por medio de una curva z arbitraria. La funcin o F (z) = f (z) dz ,
z

est bien denida, ya que la integral es independiente del camino seguido. a Esta funcin est denida salvo una constante, ya que, si tomamos otro o a origen z0 , la diferencia entre las funciones es una constante, F (z) =
z 0

f (z) dz +

f (z) dz ,

siendo z una curva que una z0 con z. El primer trmino es constante, ya que e es la integral de f entre dos puntos jos, z0 , z0 . Comprobamos que F (z) = f (z). Para ello, tomamos el origen en z y estudiamos F (w) en puntos w U prximos, que podamos unir por medio de segmentos o con z, parametrizados por (t) = (1 t)z + tw, con derivada (t) = w z. Como la expresin de F (w) es o
1

F (w) = (w z) su derivada queda como F (w) F (z) dF (z) = lm = lm wz wz dz wz

f (1 t)z + tw dt ,

1 0

f (1 t)z + tw dt = f (z) 8

dt = f (z) ,
0

luego queda demostrado que F es una primitiva para f . 2 Aparte de para calcular primitivas, este teorema nos sirve para discernir cuando una funcin no admite primitiva. o Ejemplo 4.2.2 Mostrar que f (z) = 1/z no admite primitivas en el dominio complejo excepto el origen. Basta encontrar una curva cerrada de modo que la integral de f no d cero. e Por ejemplo, una circunferencia, , centrada en el origen, parametrizada por (t) = Reit , t [0, 2],

dz = iR z

2 0

dt it e =i Reit

dt = i2 = 0 .
0

Como esta integral no es nula, sea cual sea el radio de la circunferencia, f no puede tener primitiva en C\{0}. Este resultado parece contradecir nuestra intuicin de que la primitiva de f o es un logaritmo. Ciertamente, F (z) = (ln z) es un candidato a primitiva, pero presenta el problema de no ser holomorfa en C . Como la circunferencia corta a C en un punto, no nos vale como primitiva.

Figura 4.5: Curvas 1 y 2 A n as podemos recuperar el resultado anterior usando dos primitivas con u , cortes distintos (ln z) , (ln z)2 . Podemos emplear la primera para integrar en 1 , la semicircunferencia de radio unidad con parte real positiva, dz = F (i) F (i) = (ln i) (ln i) = i + i = i , z 2 2

y la segunda para integrar en 2 , , la semicircunferencia con parte real positiva, 3 dz = F (i) F (i) = (ln i)2 (ln i)2 = i i = i , z 2 2

de modo que en ambos casos eludimos que la curva intersecte al corte de la funcin logaritmo. Obviamente, el resultado nal, o dz = z dz + z dz = i2 , z

es el correcto. 9

4.3.

Teorema de Cauchy

Con los resultados anteriores, estamos en condiciones de relacionar holomorf con independencia del camino a travs del conocido teorema de Cauchy. a e Teorema 4.3.1 Teorema de Cauchy: Sea f una funcin holomorfa de clase o C 1 en un abierto conexo U . Entonces la integral de f es nula a lo largo de cualquier ciclo contenido en U que sea borde orientado de alg n subconjunto u abierto V U . La idea de usar recintos con borde orientado indica que vamos a recurrir al teorema de Green en el plano. Descomponiendo en parte real e imaginaria, f = u + iv,

f (z) dz

(u + iv)(dx + idy) =

(u dx v dy) + i (ux vy ) dxdy ,

(v dx + u dy)

(vx + uy ) dxdy + i
V V

aplicando el teorema de Green en el plano al recinto V de borde , (P dx + Q dy) =

V

Q P x y

dxdy ,

para funciones P , Q de clase C 1 . Si la funcin es holomorfa y de clase C 1 , las integrales se anulan, por las o condiciones de Cauchy-Riemann, ux = vy , uy = vx . 2

Figura 4.6: El ciclo formado por las curvas orientadas 1 y 2 es el borde de la corona V Como ya hemos anunciado en repetidas ocasiones, la condicin de ser de o clase C 1 se puede relajar: Teorema 4.3.2 Teorema de Cauchy-Goursat: Sea f una funcin holomoro fa en un abierto conexo U . Entonces la integral de f es nula a lo largo de cualquier ciclo contenido en U que sea borde orientado de alg n subconjunto u abierto V U . Ejemplo 4.3.1 Integral de la funcin f (z) = 1/z. o 10

Como la funcin es holomorfa salvo en el origen, su integral ser nula a lo o a largo de cualquier curva cerrada que no rodee el origen. Al contrario, hemos visto que a lo largo de curvas que rodean el origen la integral no es nula. El teorema nos nos proporciona el valor de la integral, pero nos indica que es el mismo para curvas simples que rodeen el origen en el mismo sentido. Habr que avanzar un poco ms para calcular el valor de la integral a a sin efectuarla directamente. Tambin ser preciso generalizar el resultado para e a aplicarlo a ciclos ms complejos. a El teorema de Cauchy es muy util para cuanticar el n mero de vueltas que u da una curva cerrada alrededor de un punto a C, dado que es una sorprendente relacin entre clculo y topolog Sea una curva cerrada compleja que no pasa o a a. por a. El ndice de respecto de a es n(, a) = 1 i2 dz , za (4.11)

y coincide con el n mero de vueltas que efect a alrededor de a, contabilizando u u el signo de estas: negativo, si la orientacin es negativa y positivo, si es positiva. o Por ejemplo, si no rodea a a, 1/(z a) = d(ln(z a)) /dz, usando una determinacin de modo que C no corte a . De este modo, en este caso la o integral es nula. Como corresponde al hecho de que no rodea a a.

z1 2 a z2 1

Figura 4.7: El ndice respecto de a de es uno y cero el de Si a est dentro de y esta es una curva simple orientada positiva, la roma pemos en dos trozos, cortndola con la recta vertical que pasa por a. Para la a integral en el fragmento de la derecha, 1 , podemos emplear la determinacin o y la para el de la izquierda, 2 , la determinacin 2, o dz za dz za dz za = = ln(z a) ln(z a)
z1 z2

= log |z1 a| + i

z2 2 z1

log |z2 a| + i , 2 2 3 = log |z2 a| + i log |z1 a| i , 2 2

= i2 ,

con lo cual n(, a) = 1. Obviamente, si la curva se recorre en sentido horario, el ndice cambia de signo, n(, a) = 1. 11

Finalmente, si es un ciclo que se puede descomponer en varias curvas cerradas, = n1 1 + + nN N , n(, a) =

dz = za

ni
i=1 i

dz = za

ni n(i , a) .
i=1

1 3 2 V
Figura 4.8: El interior del ciclo formado por las curvas 1 , 2 , 3 es el abierto V Esta denicin permite visualizar cul es la regin de la cual es borde una o a o curva cerrada simple , que denominaremos interior de . Un punto a estar en a el interior de si da vueltas alrededor de l. e int = {a C\ : n(, a) = 0} . (4.12)

Esta denicin se aplica a ciclos ms complicados tambin, cuya relacin con o a e o un borde orientado es ms difusa, pero que se pueden entender como unin de a o curvas cerradas simples. Finalmente, una denicin adicional, que permite caracterizar los ciclos a los o que se reere el teorema de Cauchy. En un abierto conexo U C decimos que un ciclo es homlogo a cero mdulo U si para todo a U , n(, a) = 0. Es o o decir, si no da vueltas alrededor de los puntos que no estn en U . O, lo que a es lo mismo, si el interior de est contenido en U . a

U 1 3 2

Figura 4.9: 1 es homloga a 2 mdulo U , pero no a 3 . 3 es homloga a o o o cero, lo mismo que 1 2 , pero no lo son 1 ni 2 Del mismo modo, decimos que dos ciclos 1 , 2 son homlogos mdulo o o U , 1 2 (md U ), si 1 2 es homlogo a cero mdulo U . O lo que es o o o 12

lo mismo, si ambos dan el mismo n mero de vueltas alrededor de los puntos u a U , n(1 , a) = n(2 , a). Con estas deniciones, el teorema de Cauchy-Goursat se puede reescribir y generalizar de una manera elegante y concisa: Teorema 4.3.3 Teorema de Cauchy-Goursat: Sea f una funcin holomoro fa en un abierto conexo U . Entonces la integral de f es nula a lo largo de cualquier ciclo homlogo a cero mdulo U . o o Un caso particularmente interesante son los subconjuntos simplemente conexos, que son aquellos subconjuntos de C en los cuales todo ciclo es homlogo o a cero. Obviamente, se trata de subconjuntos que no tienen agujeros compactos. El siguiente corolario es trivial, entonces: Corolario 4.3.1 Sea f una funcin holomorfa en un abierto simplemente coo nexo U . Entonces la integral de f es nula a lo largo de cualquier ciclo contenido en U . En el caso de los subconjuntos simplemente conexos vemos que se da la independencia del camino para las integrales de funciones holomorfas. Ejemplo 4.3.2 La integral de f (z) = sin ez a lo largo de cualquier ciclo es nula. Puesto que f es entera, por ser composicin de funciones enteras y, por tanto, o su dominio de holomorf U = C, es simplemente conexo. a, Pero hay muchos subconjuntos sencillos que no son simplemente conexos: Ejemplo 4.3.3 El subconjunto C\{P } no es simplemente conexo. El dominio complejo salvo un punto P no es simplemente conexo, ya que las curvas simples que rodean a P no son homlogas a cero, ya que dan una vuelta o alrededor de l y, por tanto, no tienen e ndice nulo. Por eso este subconjunto es doblemente conexo, ya que hay dos tipos de ciclos, los que dan vueltas alrededor de P y los que no las dan.
2

2 P

Figura 4.10: 1 es homloga a homloga a cero, pero no lo es 2 o o Este ejemplo se aplica al dominio de holomorf de la funcin f (z) = 1/z. a o Como hemos visto, las integrales de ciclos que no rodean al origen son nulas, al contrario que las que s lo rodean. Del teorema de Cauchy-Goursat se siguen otras consecuencias interesantes: Si 1 2 (md U ), entonces o
1

f (z) dz =
2

f (z) dz.

Puesto que 1 2 es homlogo a cero mdulo U . o o 13

Si 1 , 2 son dos curvas regulares a trozos en U y 1 2 0 (md U ), o entonces

1

f (z) dz =
2

f (z) dz. z1

Ejemplo 4.3.4 La funcin o mento del eje real [1, 1].

z+1

es holomorfa salvo en el seg-

Por tanto, la integral a lo largo de cualquier curva cerrada simple que rodee el segmento toma el mismo valor, siempre que la orientacin sea la misma en o todos los casos. Pero seguimos sin saber evaluar la integral de una funcin holomorfa a lo o largo de un ciclo no homlogo a cero, a pesar de que sabemos que para ciclos o homlogos proporciona el mismo valor. Esta precisin nal nos la facilita la o o frmula integral de Cauchy. o

4.4.

Frmula integral de Cauchy o

Comenzaremos renando el teorema de Cauchy en el caso de que la funcin o presente singularidades dbiles o evitables: e Corolario 4.4.1 Sea U C un abierto simplemente conexo y f una funcin o holomorfa en U salvo en una coleccin nita de puntos {a1 . . . , aN }, pero de o modo que lm (z ai )f (z) = 0. Entonces f (z) dz = 0 a lo largo de cualquier
zai

ciclo contenido en U \{a1 . . . , aN }.

Sea un ciclo contenido en U \{a1 . . . , aN }. Si denotamos por ni = n(, ai ), entonces ni i (md U ), donde i es una circunferencia centrada en ai o de radio sucientemente peque o, Ri , para que est contenida en U \{a1 . . . , aN }. n e Por tanto,
N

f (z) dz =
i=1

ni
i

f (z) dz .

a2

2
a3

1
a1

Figura 4.11: es homloga a homloga a 1 + 2 + 3 o o Acotando el valor de cada integral por medio de la cota de la proposicin o 4.1.1,
i

f (z) dz 2Ri mx |f (z)| = 2|zi ai |f (zi )| 0 , a

zi

14

cuando Ri tiende a cero, teniendo en cuenta que el supremo de una funcin se o alcanza en alg n punto zi , en el caso de subconjuntos compactos, como es el u caso de una circunferencia. Por tanto, el valor absoluto de la integral est acotado por cero, con lo cual a slo puede ser nulo y las integrales son todas nulas. 2 o Una consecuencia directa de este sencillo resultado es la frmula integral de o Cauchy, que permite evaluar integrales. Teorema 4.4.1 Frmula integral de Cauchy: Sea f una funcin holomorfa o o en un abierto conexo U . Sea un ciclo homlogo a cero mdulo U . Entonces, o o para a U \, f (z) dz = i2n(, a)f (a) . (4.13) za Denimos una funcin holomorfa en U \{a}, o g(z) = f (z) f (a) . za

Si el ndice de respecto de a es n = n(, a), este ciclo ser homlogo a a o n circunferencias (r) centradas en a de radio r < R sucientemente peque o n para que la bola de radio R, B(a; R), est contenida en U . Entonces, e g(z) dz =
n(r)

g(z) dz = n
(r)

g(z) dz .

Podemos aplicar el corolario anterior a la bola B(a; R), donde la funcin g es o holomorfa, excepto en a. Como la bola es simplemente conexa y lm (za)g(z) =
za za

lm f (z) f (a) = 0, 0=
(r)

g(z) dz =
(r)

f (z) dz f (a) za

(r)

dz , za

(r)

f (z) dz = i2n(, a)f (a) . 2 za

Con este teorema hemos ganado una avance sustancial. Nos permite extender el teorema de Cauchy de funciones holomorfas a funciones holomorfas con un polo aislado. Ejemplo 4.4.1 Integral de g(z) = 1/z a lo largo de la circunferencia, , de radio unidad centrada en z = 0, orientada positivamente. La funcin constante f (z) = 1 es entera y el ciclo da una vuelta alrededor o de z = 0. Por tanto, g(z) =

f (z) = i2f (0) = i2 . z

Si la circunferencia hubiera estado centrada en z = 5, el ciclo no dar a ninguna vuelta alrededor de z = 0 y la integral hubiera resultado nula. Este resultado ya era conocido, pero ahora lo hemos recuperado sin necesidad de efectuar las integrales directamente, ni calcular primitivas. 15

Figura 4.12: Ejemplo 4.4.2

Ejemplo 4.4.2 Integral de g(z) = 1/(z 2 1) a lo largo de la circunferencia, , de radio unidad centrada en z = 1, orientada positivamente. La funcin f (z) = 1/(z + 1) es holomorfa salvo en z = 1 y la circunferencia o no rodea este punto, luego es un ciclo homlogo a cero en U = C\{1}. Por o tanto, por la frmula de Cauchy, como da una vuelta alrededor de z = 1, o g(z) =

f (z) = i2f (1) = i . z1

Este ejemplo nos da idea de las generalizaciones que tenemos que acometer. Por una parte, si la circunferencia hubiera tenido un radio mayor, de modo que englobara tambin a z = 1, no podr e amos aplicar la frmula de Cauchy, ya o que el ciclo no ser homlogo a cero. a o

Figura 4.13: Ejemplo 4.4.2 Pero esa circunferencia es homloga a dos circunferencias con centros en o z = 1, con lo cual podemos descomponer la integral,

g(z) dz =
1

g(z) dz +
2

g(z) dz = i2{f (1) + f (1)} = 0 ,

denotando por f(z) = 1/(z 1). Por otra parte, si en vez de tratarse de polos simples hubieran sido m ltiples, u tampoco hubiramos podido emplear la frmula. De esta segunda generalizacin e o o nos ocupamos a continuacin. o 16

Como sorprendente resultado intermedio, demostraremos que una funcin o holomorfa es derivable tantas veces como se quiera en su dominio de holomorf a. Este resultado es exclusivo de la variable compleja y no es compartido con las funciones de variable real. Por tanto, decir que una funcin es de clase C r no tiene sentido en variable o compleja, ya que todas las funciones holomorfas son de clase C . Teorema 4.4.2 Frmula integral de Cauchy generalizada: Sea f una o funcin holomorfa en un abierto conexo U . Entonces f tiene derivadas de cualo quier orden en U . Sea un ciclo homlogo a cero mdulo U . Entonces, para o o a U \, f (z) f n) (a) dz = i2n(, a) . (4.14) n+1 n! (z a) Sea z0 U . Como U es abierto, podemos encontrar una bola cerrada de radio o sucientemente peque o, B(z0 ; R), contenida en U . Por la frmula de Cauchy, n para z B(z0 ; R), 1 f (w) f (z) = dw , i2 (R) w z siendo (R) la circunferencia de radio R centrada en z0 . Estudiemos la funcin g(z, w) = f (w)/(w z). Para z B(z0 ; R), w (R) o es continua, ya que el denominador no se anula y f es continua. Por tanto, la integral est, como sab a amos, bien denida. Ms a n, las derivadas de esta funcin respecto a z son todas continuas, a u o g(z, w) f (w) = , z (w z)2 n g(z, w) f (w) = n! , n z (w z)n+1

ya que no se anula nunca el denominador. Por tanto, podemos efectuar la derivacin bajo la integral y concluir o f (z) = f n) (z) = 1 i2 1 i2 z n z n f (w) wz dw = 1 i2 f (w) dw , (w z)2

(R)

(R)

(R)

f (w) wz

n! dw = i2

(R)

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

es decir, existen las derivadas de f de todos los rdenes y son continuas. 2 o Finalmente, si es un ciclo homlogo a cero mdulo U para a U \{}, o o como slo da vueltas alrededor de a, es homlogo a n(, a) circunferencias o o e (R) de radio sucientemente peque o para que B(a; R) est contenida en U . n Por tanto, f (z) dz = n(, a) (z a)n+1 f (z) f n) (a) dz = i2n(, a) , (z a)n+1 n!

(R)

por el resultado deducido anteriormente. 2 Ejemplo 4.4.3 Integrar f (z) = 1/z n, n > 1, a lo largo de cualquier ciclo. Si el ciclo no da vueltas alrededor de z = 0, sabemos que la integral es nula. Pero si da vueltas alrededor de z = 0, la integral ser proporcional a la a derivada (n 1)-sima de la funcin constante g(z) = 1. Por tanto, la integral e o es nula tambin en este caso. e 17

Ejemplo 4.4.4 Integrar f (z) = cos z/z 3 , n > 1, a lo largo de una circunferencia orientada positivamente con centro en el origen. En este caso g(z) = cos z es entera, por lo que la circunferencia es homloga o a cero. Por tanto, f (z) dz =

g(z) g (0) dz = i2 = i . z3 2!

4.5.

Consecuencias de la frmula de Cauchy o

La primera consecuencia, aparte de la sorprendente de que las funciones holomorfas tienen derivadas de todos los rdenes, es que el teorema de Cauchyo Goursat tiene su rec proco. No slo la holomorf implica la independencia del o a camino, sino que la independencia del camino caracteriza la holomorf a: Teorema 4.5.1 Teorema de Morera: Sea f una funcin continua en un o abierto conexo U . Si la integral de f sobre todo ciclo homlogo a cero mdulo o o U es nula, entonces la funcin es holomorfa. o La demostracin es sencilla. Tomamos z U . Podemos encontrar una bola o B(z; R) de radio sucientemente peque o para que est contenida en U . Entonn e ces, todo ciclo contenido en la bola ser homlogo a cero mdulo U y, por la a o o hiptesis del teorema, la integral de f a lo largo de ser nula. o a Por tanto, las integrales de f son independientes del camino en la bola B(z; R) y por el teorema 4.2.2, f tiene una primitiva holomorfa F en la bola B(z; R). Como F es holomorfa, sus derivadas tambin lo son. En particular, f = F e es holomorfa en B(z; R). Como este razonamiento se puede realizar en cualquier punto z U , resulta que f es holomorfa en U . 2

Figura 4.14: Teorema de Morera

Corolario 4.5.1 Desigualdades de Cauchy: Sea f una funcin holomorfa o en un abierto conexo U . Para toda bola B(a; R) contenida en U se verica |f n) (a)| n! Rn sup
z(a;R)

|f (z)| ,

(4.15)

siendo (a; R) la circunferencia centrada en a de radio R. 18

Como la bola est contenida en U , la circunferencia (a; R) es homloga a a o cero mdulo U y podemos aplicar la frmula de Cauchy generalizada, o o f n) (a) f (z) dz = i2 , n+1 (z a) n!

(a;R)

de donde podemos obtener una acotacin, o |f n) (a)| = = n! 2 n! Rn f (z) n! dz n+1 (z a) 2 |f (z)| . 2 sup
z(a;R)

(a;R)

f (z) 2R (z a)n+1

sup
z(a;R)

Una consecuencia sorprendente de estas desigualdades es que no puede haber funciones enteras acotadas no triviales: Teorema 4.5.2 Teorema de Liouville: Sea f una funcin entera acotada o superiormente. Es decir, existe una constante M > 0 tal que |f (z)| M para todo z C. Entonces f es una funcin constante. o Por las desigualdades anteriores, para la derivada primera, para una circunferencia de radio R, |f (a)| 1 R sup
z(a;R)

|f (z)|

M . R

Como esta desigualdad es cierta para cualquier radio R, ya que la funcin o es holomorfa, tenemos que |f (a)| es menor que cualquier n mero positivo, simu plemente tomando radios grandes. Por tanto, f (a) = 0 para todo a C y la funcin es constante. 2 o Otro resultado prcticamente inmediato es el teorema fundamental del lgea a bra, que arma que todo polinomio de grado mayor que cero tiene al menos una ra compleja: z Teorema 4.5.3 Teorema de DAlembert: Sea p(z) = a0 + + an z n un polinomio de grado n > 0 con coecientes complejos. Entonces existe al menos un valor z0 C, tal que p(z0 ) = 0. Supongamos que no existiese ning n valor z0 tal que p(z0 ) = 0. Entonces la u funcin racional f (z) = 1/p(z) ser entera. o a Por una parte, como lm f (z) = 0, para todo valor > 0 existir un valor a
z

R tal que, para |z| > R, |f (z)| < . Por otra parte, como f es continua, su mdulo est acotado en un compacto. o a Por ejemplo, para |z| R, |f (z)| M , siendo M > 0. Combinando ambos resultados, concluimos que f es una funcin acotada o superiormente, bien por M , bien por . Por tanto, por el teorema de Liouville, si f es entera, tiene que ser constante. Es decir, si p(z) no tiene ra ces, es un polinomio de grado cero, en contra de la hiptesis de partida. 2 o

19