CAP ITULO 7

Teor a global de Cauchy

7.1 INTRODUCCION

Los e xitos logrados con la teor a local de Cauchy invitan a renar las herramientas b asicas teorema de Cauchy, f ormula de Cauchy para ampliar su alcance. Como, por ahora, estas herramientas funcionan en discos o, a lo sumo, en abiertos estrellados, s olo hemos averiguado propiedades de las funciones holomorfas que dependen en u ltima instancia del comportamiento de la funci on en un entorno de cada punto de su dominio (propiedades de car acter local). Si queremos estudiar propiedades de car acter global, hemos de profundizar en la validez del teorema y de la f ormula de Cauchy en abiertos cualesquiera. Con este prop osito extenderemos la integraci on a colecciones de caminos cerrados (ciclos), e introduciremos el concepto de ciclos hom ologos respecto de un abierto. As podremos obtener una versi on muy general de la f ormula y del teorema de Cauchy en el teorema homol ogico de Cauchy, viendo adem as que son justamente los ciclos hom ologos a 0 respecto de un abierto los que hacen nula la integral de toda funci on holomorfa en el abierto: en otras palabras, los ciclos m as generales para los que va a ser v alido el teorema de Cauchy si no imponemos restricciones al abierto. En el plano pr actico, esto nos libera de la b usqueda (engorrosa a veces) de abiertos estrellados en los que plantear las integrales que debemos manejar, mirando tan s olo de conseguir abiertos respecto de los cuales el ciclo sobre el que se integra sea hom ologo a 0. Cerrando este cap tulo aparece el concepto de conexi on simple y diferentes caracterizaciones del mismo, que aclaran algunos de los comportamientos an omalos con los que nos hemos ido tropezando y ponen de maniesto el inter es de saber en qu e abiertos se anulan las integrales de todas las funciones holomorfas sobre todos los caminos cerrados. Son, pues, estos abiertos (los simplemente conexos) los m as generales en los que el teorema de Cauchy es cierto si no queremos tener que restringir los ciclos sobre los que se integra. Referencias b asicas: Rudin, W.: An alisis real y complejo. (3a. ed.) McGraw-Hill/Interamericana, Madrid (1987). Conway, J. B.: Functions of One Complex Variable. (2nd ed.) Springer, New York (1978). 104

Teor a global de Cauchy 7.2 CICLOS. HOMOLOGIA.

105

Damos una denici on ingenua de ciclo. Para una denici on m as rigurosa, aunque menos intuitiva, ver Rudin, loc. cit., Def. 10.34, pp. 246247. Denici on 7.1. Un ciclo es una sucesi on nita de caminos cerrados, distintos o repetidos, que denotaremos por = [1 , 2 , . . . , n ], en la que no tenemos en cuenta el orden, de modo que dos ciclos y son iguales cuando = consten de los mismos caminos, aunque aparezcan reordenados (es decir, [ (1) , (2) , . . . , (n ) ] para alguna permutaci on ). Denominaremos a 1 , 2 , . . . , n los caminos que componen , y usaremos la notaci on para indicar que es uno de los caminos que componen . El soporte de un ciclo = [1 , 2 , . . . , n ] es la uni on de los soportes de 1 , 2 , . . . , n : sop = sop 1 sop 2 sop n . El soporte de un ciclo es evidentemente un conjunto compacto; por contra, no es en general conexo (ejemplo: = [1 , 2 ] donde 1 , 2 son dos circunferencias conc entricas distintas). Por comodidad de lenguaje, diremos que un ciclo est a contenido en un conjunto para indicar que el soporte del ciclo est a contenido en el conjunto. Denici on 7.2. Dado un ciclo = [1 , 2 , . . . , n ], el ciclo opuesto es el ciclo obtenido tomando los opuestos de los caminos que componen : = [1 , 2 , . . . , n ]. La uni on o suma de dos ciclos = [1 , 2 , . . . , m ], = [1 , 2 , . . . , n ], es el ciclo = [1 , 2 , . . . , m , 1 , 2 , . . . , n ]. Denici on 7.3. Integraci on sobre ciclos. Dada una funci on f continua sobre el soporte de un ciclo = [1 , 2 , . . . , n ], se dene
n

f =
k =1

f =

f. respecto de es

Consecuentemente, el ndice de un punto a / sop Ind (a ) = 1 2 i

dz = Ind (a ). za

106

Teor a global de Cauchy .

Denici on 7.4. Sea un abierto no vac o de C y un ciclo contenido en Diremos que es hom ologo a 0 respecto de , y pondremos 0 si para todo a C \ es Ind (a ) = 0. ( )

Cuando consta de un solo camino , suele ponerse directamente 0 ( ). ologos respecto de , Dos ciclos 1 y 2 contenidos en se dicen hom
1

( ),

si para todo a C \ o, equivalentemente, si

es Ind 1 (a ) = Ind 2 (a )
1

2)

( ).

Ejemplos. Consideremos 0 r < r1 < r2 < R y sea = {z C : r < |z | < R } el anillo de centro el origen con radio interior r y radio exterior R . Sea ahora 1 : t [0, 2 ] 1 (t ) = r1 eit C la circunferencia de centro el origen y radio r1 orientada negativamente, 2 : t [0, 2 ] 2 (t ) = r2 eit C la circunferencia de centro el origen y radio r2 orientada positivamente. Entonces ologo a 0 respecto de , mientras que no lo son los = [1 , 2 ] es un ciclo hom ologo del ciclo 2 ciclos 1 = [1 ] ni 2 = [2 ]. Obviamente, el ciclo 1 es hom respecto de (y 1 de 2 ). 7.3 TEOREMA HOMOLOGICO DE CAUCHY

Lema 7.5. Si f H( ) y g est a denida en por f (z ) f (w) si w = z, g (z , w) = zw si w = z f (z ) entonces g es continua en . Demostraci on. Rudin, loc. cit., Lema 10.29, p. 243. Teorema 7.6. Sea un abierto no vac o del plano complejo y f H( ). Sea un ciclo hom ologo a 0 respecto de . Entonces: para cada z \ sop f (w) 1 dw Ind (z ) f (z ) = 2 i wz (f ormula de Cauchy) y f (w) d w = 0. (teorema homol ogico de Cauchy).

Teor a global de Cauchy Demostraci on. Rudin, loc. cit., Teor. 10.35, pp. 248249.

107

NOTA. Las demostraciones cl asicas de este resultado eran bastante menos directas.

En su momento fue una sorpresa que J. D. Dixon publicara en 1971 la demostraci on m as simple y elemental que ahora se ha hecho est andar (Dixon, J. D.: A brief proof of Cauchys integral theorem, Proc. Amer. Math. Soc. 29 (1971), 625626). Corolario 7.7. (Derivadas sucesivas). Sea un abierto no vac o del plano complejo y f H( ). Sea un ciclo hom ologo a 0 respecto de . Entonces: para cada z \ sop y n N es Ind (z ) f (n ) (z ) = n! 2 i f (w) d w. (w z )n +1

Corolario 7.8. (Homolog a e integraci on). Sea un abierto no vac o del plano complejo y , 1 , 2 sendos ciclos contenidos en . Entonces: (i ) es hom ologo a 0 respecto de si y s olo si f (w) d w = 0 para toda funci on f H( ). (ii ) 1 y 2 son hom ologos respecto de

si y s olo si f (w) d w
2

f (w) d w =
1

para toda funci on f H( ). Demostraci on. Las implicaciones directas son obvias a la vista del teorema homol ogico de Cauchy. Para obtener los rec pocos, basta considerar para cada a / la funci on f H( ) denida por f (z ) = 1 . za

Vemos as que lo que realmente importa a la hora de integrar una funci on holomorfa sobre un ciclo no es tanto el ciclo en cuesti on como la clase de homolog a asociada a e l (esta idea es la que se toma como gu a en la denici on de ciclo que se da, por ejemplo, en Rudin, loc. cit.). En la pr actica, este hecho permite muchas veces simplicar c alculos, sustituyendo un ciclo complicado o poco adaptado a la funci on por otro hom ologo m as conveniente (o un camino cualquiera 1 por otro ologo a 0). 2 con los mismos extremos siempre que 1 (2 ) sea hom

108 7.4 SIMPLE CONEXION

Teor a global de Cauchy

Denici on 7.9. Diremos que un subconjunto no vac o de C es simplemente conexo si es una regi on tal que para todo ciclo y para toda f H( ) se verica f (z ) dz = 0. Evidentemente, esta u ltima condici on equivale a que la integral de toda f H( ) se anule sobre cualquier camino cerrado contenido en . Teorema 7.10. (Caracterizaciones de la conexi on simple). Sea una regi on de C. Las siguientes propiedades son equivalentes entre s : (1) es simplemente conexo. (2) Todo camino cerrado contenido en es hom ologo a 0 respecto de . (3) todo ciclo contenido en es hom ologo a 0 respecto de . (4) (Existencia de primitivas) Toda funci on f H( ) admite una primitiva en , es decir, f = F para alguna F H( ). (5) (Existencia de arm onica conjugada) Para toda funci on u arm onica en existe f H( ) tal que u = e f en . (6) (Existencia de logaritmos holomorfos) Para toda funci on f H( ) tal que f (z ) = 0 en todo z existe g H( ) tal que exp(g (z )) = f (z ) para todo z . (7) (Existencia de ra ces cuadradas holomorfas) Para toda funci on f H( ) 2 tal que f (z ) = 0 en todo z existe g H( ) tal que g (z ) = f (z ) para todo z . Demostraci on. Las implicaciones (2) (3) (1) (4) son obvias o consecuencia inmediata de resultados anteriores. (4) (5). Dada una funci on u arm onica en construimos la funci on h = u x i u y , que, por ser u arm onica, cumple las condiciones de Cauchy-Riemann y de diferenciabilidad y por tanto es holomorfa en . Si H es una primitiva de h y U = e H , puesto que h = H = Ux i U y y es conexo debe existir una constante C R tal que u = U + C . La funci on f = H + C es entonces una funci on holomorfa en tal que e f = u . (5) (6). Dada f H( ) tal que f (z ) = 0 en todo z , pongamos u = e f , 1 on v = m f . Es f acil comprobar que = ln | f | = ln u 2 + v 2 es una funci 2 arm onica en , luego existir a h H( ) tal que e h = = ln | f |. Pero entonces h eh e =e = | f |, con lo cual eh =1 f

Teor a global de Cauchy

109

y por tanto la funci on eh / f , holomorfa y no nula en la regi on , debe mantenerse constante. Si c es el valor de esa constante, g = h Log c es una funci on holomorfa en para la que eh = f. e g = eh Log c = c (6) (7). Dada f H( ) tal que f (z ) = 0 en todo z , si para alguna g H( ) es e g = f , para la funci on holomorfa h = e2g es h 2 = e g = f . (7) (2). Sea a / y un camino cerrado contenido en . La funci on f H( ) denida por f (z ) = z a no se anula en , luego existe f 1 H( ) tal que f 12 = f . Reiterando, se encuentra para cada n N una f n H( ) tal que f n2 = f n 1 y as ( f n )2 = f , Derivando 2n ( f n )2 con lo cual 2n
n n 1

n N. n N, n N, z . dw w

f n = 1,

1 1 f n (z ) = = , f n (z ) f (z ) za Se sigue que para todo n N ha de ser 1 1 1 Ind ( a ) = 2n 2n 2 i

1 dz = za 2 i

1 f n (z ) dz = f n (z ) 2 i

f n

= Ind fn (0) Z, lo que s olo es posible si Ind (a ) = 0. Observaciones. (1) N otese que para que no sea simplemente conexo es, pues, necesario y suciente que haya al menos una funci on holomorfa en que no tenga primitiva. (2) Se pueden a nadir equivalencias a la lista anterior (cf. Rudin, loc. cit., Teor. 13.11, pp. 311 y ss.). De momento, daremos una descripci on geom etricotopol ogica de los conjuntos simplemente conexos de C. Esta nueva caracterizaci on necesita un lema previo, f acil de visualizar pero de demostraci on un tanto enrevesada. Se trata de construir un ciclo que rodee a un compacto K contenido en un abierto . La idea b asica consiste en tomar una colecci on nita de segmentos que constituye la frontera de una imagen digitalizada de K ligeramente ampliada. El punto delicado de la demostraci on est a en comprobar que estos segmentos se pueden organizar para formar un ciclo respecto del cual los puntos de K resulten tener ndice 1 y los puntos fuera de tengan ndice 0.

110

Teor a global de Cauchy

Lema 7.11. Sea un abierto no vac o de C y sea K un conjunto compacto contenido en . Existe entonces un ciclo en \ K tal que (1) para a / se tiene Ind (a ) = 0, es decir, 0 (2) para cada z K Ind (z ) = 1. Demostraci on. Ver Rudin, loc. cit., Secci on 13.4 y Teor. 13.5., pp. 304306. Dado que Ind (z ) = 1 para z K , est a justicada la expresi on rodea a K en ; en cierto modo, podr amos decir que K queda en el interior de y el complementario de en el exterior de . El ciclo sirve como contorno de K en diferentes contextos, no s olo en la teor a de funciones holomorfas. Teorema 7.12. Sea una regi on de C. Entonces es simplemente conexo si y s olo si C \ es conexo en la esfera de Riemann C . Demostraci on. Si C \ es conexo, es simplemente conexo. En efecto: tomemos un ciclo cualquiera contenido en . El conjunto C \ sop tendr a una colecci on nita o numerable de componentes conexas, todas ellas acotadas excepto una que denotaremos por B . Entonces, las componentes conexas de C \ sop ser an las componentes acotadas de C \ sop m as B {}. Dado que C \ es conexo y est a contenido en C \ sop , necesariamente C \ B {}, o lo que es lo mismo C \ B . Puesto que el ndice respecto de es 0 en B , componente no acotada de C \ sop , en particular para cualquier a C \ B se tiene Ind (a ) = 0. Para demostrar el rec proco, probaremos que si C \ no es conexo, no puede ser simplemente conexo. an conjuntos Supongamos, pues, que C \ no sea conexo, con lo que existir A y B no vac os disjuntos cerrados en C tales que C \ = A B . Sea B : entonces A C es acotado (en caso contrario, A = A), luego compacto, contenido en C \ B que es un abierto de C. Seg un el lema anterior en estas condiciones existe un ciclo contenido en (C \ B ) \ A = tal que Ind (a ) = 1 para todo a A. Pero A C \ , con lo que no es hom ologo a 0 respecto de y no es simplemente conexo. Este resultado se traduce en lenguaje coloquial en que los conjuntos simplemente conexos de C son los que no tienen agujeros, mirando como agujeros de las componentes acotadas de C \ . ( ),

Teor a global de Cauchy

111

Ejemplos. (1) Son conjuntos simplemente conexos todos los abiertos estrellados (en particular, C, C \ (, 0], los discos, todos los abiertos convexos, . . . ) (2) Puede dar el lector un ejemplo de abierto simplemente conexo no estrellado? (Hay muchos ejemplos sencillos) (3) Aunque son abiertos conexos, no son simplemente conexos los anillos D (a ; r, R ) = {z C : r < |z a | < R }, a C, 0 r < R +. En particular, C \ {0} no es simplemente conexo. (4) En relaci on con lo anterior, qu e puede decirse del abierto D (0; r, R ) \ [r, R ] si 0 < r < R < +? Comentario nal: homotop a. No podemos tratar la conexi on simple sin nombrar al menos su caracterizaci on m as importante quiz a desde el punto de vista estrictamente topol ogico, que se expresa en t erminos de homotop a. El concepto de homotop a se dene mediante conceptos puramente topol ogicos, lo que permite hablar de conjuntos simplemente conexos en espacios topol ogicos arbitrarios. Dado un espacio topol ogico X , una curva en X es, como sabemos, una aplicaci on continua de un intervalo compacto de R en X . Supongamos que tenemos dos curvas 0 y 1 , parameterizadas en el intervalo I = [0, 1], cerradas (0 (0) = 0 (1), 1 (0) = 1 (1)). Se dice que 0 y 1 son hom otopas si existe una aplicaci on continua H : I I X tal que para s , t I cualesquiera se verica H (s , 0) = 0 (s ), H (s , 1) = 1 (s ), H (0, t ) = H (1, t ). Intuitivamente, que 0 y 1 sean hom otopas corresponde a que podamos deformar 0 con continuidad dentro de X para transformarla en 1 , siendo t = H (, t ) las curvas intermedias en la deformaci on. Si toda curva cerrada es hom otopa en X a una curva constante, se dice que X es simplemente conexo. En esta denici on, entonces, los conjuntos simplemente conexos son aquellos en los que toda curva cerrada se puede deformar con continuidad dentro del conjunto hasta reducirla a un punto. No es evidente que para subconjuntos del plano esto sea exactamente lo mismo que todo camino cerrado no d e ninguna vuelta alrededor de los puntos que no pertenecen al conjunto (caracterizaci on homol ogica), o que el conjunto no tenga agujeros. Un estudio de la relaci on entre homotop a y homolog a en C, entre homotop a e integraci on, y la prueba de la equivalencia entre la denici on homot opica de la conexi on simple y las anteriores puede verse en Rudin, loc. cit., Secci on 10.38, pp. 251253, y en Conway, loc. cit., Cap. IV, Sec. 6, pp. 8795.