Variable Compleja-Hans Muller

Variable Compleja
Hans Cristian Muller Santa Cruz 2000
www.elsolucionario.net
http://www.elsolucionario.net
LIBROS UNIVERISTARIOS Y SOLUCIONARIOS DE MUCHOS DE ESTOS LIBROS LOS SOLUCIONARIOS CONTIENEN TODOS LOS EJERCICIOS DEL LIBRO RESUELTOS Y EXPLICADOS DE FORMA CLARA VISITANOS PARA DESARGALOS GRATIS.
Indice general
Prefacio I. Variable Compleja I.1. Los N umeros Complejos . . . . . . . . . . . . . . . . . . . . . . . . I.1.1. El Plano Complejo C . . . . . . . . . . . . . . . . . . . . . I.1.2. Conjugado de un n umero complejo . . . . . . . . . . . . . . I.1.3. M odulo de un n umero complejo . . . . . . . . . . . . . . . . I.1.4. Sustracci on y Divisi on . . . . . . . . . . . . . . . . . . . . . I.1.5. Forma Polar . . . . . . . . . . . . . . . . . . . . . . . . . . I.1.6. Topolog a del Plano Complejo C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I.1.7. El plano complejo acabado C I.2. Funciones Complejas . . . . . . . . . . . . . . . . . . . . . . . . . . I.2.1. Representaciones Gr acas de Funciones Complejas . . . . . I.2.2. Funciones Complejas Remarcables . . . . . . . . . . . . . . I.2.3. El Logaritmo Complejo . . . . . . . . . . . . . . . . . . . . I.2.4. Funciones Trigonom etricas Complejas . . . . . . . . . . . . I.3. Funciones Diferenciables . . . . . . . . . . . . . . . . . . . . . . . . I.3.1. Funciones Holomorfas . . . . . . . . . . . . . . . . . . . . . I.4. Funciones Conformes . . . . . . . . . . . . . . . . . . . . . . . . . . I.4.1. Homograf as . . . . . . . . . . . . . . . . . . . . . . . . . . I.4.2. Representaci on Conforme . . . . . . . . . . . . . . . . . . . I.5. Integraci on Compleja . . . . . . . . . . . . . . . . . . . . . . . . . . I.6. Un Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . I.7. F ormulas Integrales de Cauchy . . . . . . . . . . . . . . . . . . . . I.8. Series Enteras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I.8.1. C alculos con Series Enteras . . . . . . . . . . . . . . . . . . I.8.2. Teoremas de Unicidad y Prolongamiento An alitico . . . . . I.8.3. Otros Resultados de las Funciones Holomorfas . . . . . . . I.9. Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . I.9.1. Puntos Singulares Aislados de Funciones Holomorfas . . . . I.10. Residuos y Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . I.10.1. C alculo de Residuos . . . . . . . . . . . . . . . . . . . . . . I.10.2. C alculo de Integrales . . . . . . . . . . . . . . . . . . . . . . I.10.3. Valor Principal de Cauchy . . . . . . . . . . . . . . . . . . . I.11. Funciones Meromorfas . . . . . . . . . . . . . . . . . . . . . . . . . I.11.1. Desarrollo en Fracciones Parciales de Funciones Meromorfas I.11.2. N umero de Ceros y Polos de Funciones Meromorfas . . . .
V
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 1 3 4 5 5 5 6 6 7 8 8 12 14 15 17 18 20 24 27 36 41 43 45 49 51 55 58 60 61 63 68 69 70 73
ii
INDICE GENERAL
Indice de guras
I.1.1. I.1.2. I.2.1. I.2.2. I.2.3. I.2.4. I.2.5. I.2.6. I.3.1. I.4.1. I.4.2. I.4.3. I.8.1. I.8.2. I.8.3. I.8.4. I.8.5. I.11.1. I.11.2. Transformaciones de R2 . . . . . . . . . . . . . . . . . . . . Proyecci on Estereogr aca. . . . . . . . . . . . . . . . . . . . Gr aca de los Grafos . . . . . . . . . . . . . . . . . . . . . . Gr aca Transformaci on . . . . . . . . . . . . . . . . . . . . Gr aca del Campo de Vectores . . . . . . . . . . . . . . . . Funci on Lineal no Nula . . . . . . . . . . . . . . . . . . . . Funci on Exponencial . . . . . . . . . . . . . . . . . . . . . . Imagen de una Banda . . . . . . . . . . . . . . . . . . . . . Funci on continua, Cauchy-Rieman, pero no C-diferenciable Ejemplo de Funci on Conforme . . . . . . . . . . . . . . . . . Transformaci on de Cayley . . . . . . . . . . . . . . . . . . . Representaci on conforme de sin . . . . . . . . . . . . . . . . 5 2 3 Polinomio de Taylor z z3 + z5 + + z255 en R y en C . .
1) Gr acas de parte real e imaginaria de (z 1) (z 2 Composici on de Series . . . . . . . . . . . . . . . . . Principio del Prolongamiento An alitico . . . . . . . . Demostraci on Teorema de la Aplicaci on Abierta . . . Mapas de cot z y csc z . . . . . . . . . . . . . . . . . 2 4 Indice de Cauchy para f (z ) = z ez i . . . . . . . . . .
2
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
2 7 8 9 9 10 11 12 16 19 24 26 45 46 47 51 54 72 74
+ . . . . . . . . . .
(z 1)3 3
. . . . .
. . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
(z 1)n n
iii
iv
INDICE DE FIGURAS
Prefacio
vi
PREFACIO
Cap tulo I Variable Compleja

En lo que concierne la teor a del an alisis complejo, tres puntos de vista predominan en la actualidad: Integraci on Compleja (Cauchy 1814-1830). Aplicaciones holomorfas C R (Tesis de Riemann 1851). Series enteras (Cauchy 1831-1846, Weirstra). Comenzaremos este cap tulo por el c alculo diferencial y las funciones holomorfas seg un Riemann. Luego, seguiremos la evoluci on de Cauchy (integrales complejas, f ormula de Cauchy). Veremos que cada funci on holomorfa es anal tica (admite un desarrollo en serie de potencias). Estas series simplican la teor a (punto de vistas de Weirstra),
I.1.
Los N umeros Complejos
Si bien los n umeros complejos son familiares para todos los que siguen este curso, se vio, por ejemplo, en el primer de a no de An alisis, en esta secci on abordaremos el plano complejo con una optica geom etrica, para comprender y asimilar la riqueza y potencia que tiene esta teor a. Sabemos que el conjunto de los n umeros reales R provisto de la adici on y la multiplicaci on es un cuerpo completo con un orden compatible con dichas operaciones. Geom etricamente R asociamos a una recta, que la llamamos recta real. Como es de conocimiento de todos, la ecuaci on x2 + 1 = 0, no tiene soluci on en R. Nuestro objetivo ser a construir un cuerpo que contenga R en el cual dicha ecuaci on tenga soluci on. Como R est a asociado a una recta, vamos a construir un cuerpo que este asociado a un plano (real); ya que la extensi on inmediata de una recta constituye un plano. Consideremos R2 = {(x, y )| x, y R}. Este conjunto con la adici on denida por (x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 ) y la multiplicaci on por escalar (x, y ) = (x, y ) es un espacio vectorial real. En el curso de Geometr a, se estudi o con detalle las propiedades de los diferentes objetos y las transformaciones que les est an asociadas. 1
CAP ITULO I. VARIABLE COMPLEJA
Homotecia
Rotacion
Figura I.1.1: Transformaciones de R2
Similitud
Para tener un cuerpo conmutativo, solamente nos falta denir una multiplicaci on, la cual provendr a de un tipo especial de transformaciones lineales del plano R2 ; m as precisamente de aquellas transformaciones que conservan los angulos en tama no y orientaci on. Denici on I.1.1 Una similitud directa, en tanto que aplicaci on lineal, es una aplicaci on lineal s : R2 R2 de la forma s = h r , donde h es la homotecia de raz on ( > 0) y r es una rotaci on de angulo . En la gura I.1.1, tenemos una representaci on gr aca de una homotecia, una rotaci on y nalmente una similitud. Como se vio en el curso de Algebra Lineal es m as comodo trabajar con las matrices asociadas (respecto a las bases can onicas). Recordemos que toda aplicaci on lineal est a enteramente determinada por los elementos de las bases can onicas y que existe un isomorsmo natural entre el espacio vectorial de las aplicaciones lineales L(R2 , R2 ) y M2,2 (R) el espacio vectorial real de las matrices de 2 2 a coecientes reales. En lo que sigue solamente consideremos como base la can onica o otra base ortonormal directa. Denotemos por H la matriz asociada a la homotecia de raz on > 0, h ; R la matriz asociada a la rotaci on r . Se tiene: 0 cos sin H = , R = ; 0 sin cos por lo tanto, la matriz S, asociada a la similitud s, = h r , est a dada por S, = Una simple inspecci on da det S, = > 0. Ejercicio.- Vericar que una matriz de la forma a b b a con (a, b) = (0, 0), es la matriz asociada a una similitud directa. Teorema I.1.1 El conjunto de las similitudes (directas) de R2 forman un grupo abeliano para la composici on de aplicaciones. Demostraci on.- Ejercicio. 0 0 cos sin sin cos cos sin sin cos . (I.1.1)
I.1. LOS NUMEROS COMPLEJOS
Denotamos por S+ (R, 2) al grupo de las similitudes directas, que por cierto no solamente es un grupo abeliano para la composici on de aplicaciones, sino tambi en: Teorema I.1.2 S+ (R, 2) {0} es un subespacio vectorial real de dimensi on 2 del espacio End(R2 ) de las aplicaciones lineales en R2 . Demostraci on.- Puesto que existe un isomorsmo natural (por la elecci on de las bases can onicas) entre End(R2 ) y M2,2 (R) el espacio de las matrices reales de 2 2 es suciente ver que las matrices asociadas a las similitudes m as la matriz nula forman un subespacio vectorial. El resto lo dejamos como ejercicio.
I.1.1.
El Plano Complejo C
Hemos visto que R2 es un espacio vectorial para la adici on, para que R2 tenga la estructura de un cuerpo conmutativo, solo falta dotarle de una multiplicaci on. Consideremos la aplicaci on dada por : R2 S+ (R, 2) {0} a b (a, b) . b a
Utilizando el ejercicio y la proposici on precedentes, se demuestra (nuevamente otro ejercicio para el alumno) que es un isomorsmo de espacios vectoriales reales. Denotamos por : S+ (R, 2) {0} R2 la aplicaci on inversa de . Se ve inmediatamente que a b b a = a b = (a, b). (I.1.2)
Denamos la multiplicaci on en R2 de la siguiente manera. Sean z1 = (a1 , b1 ) y z2 = (a2 , b2 ) elementos de 2 R , planteamos z1 z2 = ((z1 ) (z2 )). (I.1.3) Desarrollando (I.1.3), se obtiene expl citamente: (a1 , b1 ) (a2 , b2 ) = = a1 b1 b1 a1 a2 b2 b2 a2
a1 a2 b1 b2 a1 b2 + a2 b1
a1 b2 a2 b1 a1 a2 b1 b2 a1 a2 b1 b2 a1 b2 + a2 b1 (I.1.4)
= (a1 a2 b1 b2 , a1 b2 + a2 b1 ) =
Remarca.- Utilizando la notaci on columna para elementos de R2 , la multiplicaci on de z1 = (a1 , b1 ) y z2 = (a2 , b2 ) puede expresarse como z1 z2 = a1 b1 b1 a1 a2 b2 .
Teorema I.1.3 R2 con la adici on usual y la multiplicaci on denida m as arriba es un cuerpo conmutativo.
Demostraci on.- En efecto, R2 con la adici on es un grupo abeliano, ya visto en un cursos anteriores. Remarquemos que el elemento cero es 0R2 = (0, 0) y el opuesto de (a1 , a2 ), (a1 , a2 ) = (a1 , a2 ). R2 {0R2 } es un grupo abeliano para la multiplicaci on, porque la multiplicaci on denida m as arriba es una ley de composici on interna, vericaci on simple, y por que S+ (R, 2) es un grupo para la multiplicaci on. La distributividad de la multiplicaci on respecto a la adici on est a asegurada por que y son aplicaciones lineales.
Denici on I.1.2 R2 provistos de la adici on y la multiplicaci on denida m as arriba se llama cuerpo de los n umeros complejos o plano complejo y se lo denota por C. Remarcas.1. 1C = (1, 0), 0C = (0, 0). Se dene i = (0, 1). Un peque no c alculo da i2 = 1C . 2. La inyecci on natural j : R C, j (a) = (a, 0) es compatible con la adici on y la multiplicaci on, lo que hace que R sea un subcuerpo de C. En el lenguaje algebraico, esto se llama extensi on de cuerpos. 3. En realidad j (R) C, pero para darle uidez a la teor a, se acostumbra a suponer que R C, con lo que utilizamos los s mbolos 1 y 0 para referirnos al uno y cero de R o C dependiendo el contexto. Es frecuente utilizar la notaci on z = a + ib, con a, b R para representar z = (a, b). Este tipo de notaci on facilita los c alculos aritm eticos en C. 4. Si z = (a, b) = a + ib, z = a es la parte real de z , z = b, la parte imaginaria de z . R se lo conoce como el eje real del plano complejo y iR = {ia|a R} el eje imaginario. 5. El algebra en C es id entica a la de R, con adem as i2 = 1.
I.1.2.
Conjugado de un n umero complejo
Sea z = a + ib C, se dene z = a ib el conjugado de z . Geom etricamente, la acci on de conjugar n umeros complejos, corresponde a la simetr a respecto al eje real. El conjugado satisface las siguientes propiedades. Proposici on I.1.1 Se tiene: z+z = 2 z, zz = 2i z, zz = a2 + b2 , z1 z2 = z 1 z 2 , z1 + z2 = z 1 + z 2 , z=z z R, z = z z iR, z = (z ), ( z )1 = (z 1 ), z = 0. (I.1.5) (I.1.6) (I.1.7) (I.1.8) (I.1.9) (I.1.10) (I.1.11) (I.1.12) (I.1.13)
Demostraci on.- Ejercicio.
I.1. LOS NUMEROS COMPLEJOS
I.1.3.
M odulo de un n umero complejo
Sea z = a + ib C, el m odulo de z es |z | = a2 + b2 . Remarca.- El m odulo de z es lo mismo que la 2 norma euclidiana de z visto como un elemento de R . Cuando z R, el m odulo es lo mismo que el valor absoluto de R. Proposici on I.1.2 El m odulo verica: |z | = z z , | z | |z | , | z | |z | , |z1 z2 | = |z1 | |z1 + z2 | |z1 | + |z2 | .
2
(I.1.14) (I.1.15) (I.1.16) (I.1.17) (I.1.18)
I.1.4.
Sustracci on y Divisi on
z1 z2 = z1 + (z2 ).
Completando la construcci on de los n umeros complejos, la sustracci on se la dene como
La divisi on se la dene
z1 = z1 (z2 )1 , z2 donde z2 = 0. Utilizando la notaci on de fracciones, las reglas de c alculo para fracciones son v alidas y su demostraci on es un simple ejercicio.
I.1.5.
Forma Polar
Tradicionalmente, la forma polar de un n umero complejo es abordada como un t opico independiente. Sin embargo, en nuestra construcci on hemos asociado a cada n umero complejo a una similitud de angulo y raz on r. Por consiguiente, si z = 0, se puede escribir como z = r(cos + i sin ), |z | = r, es u nico con una diferencia de 2k k Z La forma polar es u til para realizar multiplicaciones y divisiones. Proposici on I.1.3 Si z = |z | (cos + i sin ), w = |w| (cos + i sin ), se tiene zw z/w zn = |z | |w| (cos( + ) + i cos( + )), = |z | |w| (cos( ) + i cos( )), n = |z | (cos(n) + i sin(n)), n N.
La u ltima f ormula es conocida como F ormula de Moivre Demostraci on.- Ejercicio.
I.1.6.
Topolog a del Plano Complejo C
El m odulo || de C es la norma euclidiana de R2 , los conceptos de convergencia, l mites, conjuntos abiertos, cerrados, compactos, puntos aislados, puntos de acumulaci on, etc, son los mismos, que ya han sido vistos en el curso de An alisis de Primer A no. Por otro lado, el m odulo en C tiene el mismo comportamiento del valor absoluto de R en lo que respecta la multiplicaci on. Por lo tanto, se justica recordar, complementar y aclarar algunos conceptos. Las sucesiones {zk } con zk C pueden ser vistas: como una sucesi on propiamente compleja, o bien como dos sucesiones reales, { zk } y { zk }. Por lo tanto, dependiendo la situaci on y el contexto, se debe utilizar el punto de vista que m as convenga. Como R es un cuerpo ordenado, se tiene el concepto de sucesiones m onotonas y la divergencia por valores innitos; en C eso no es posible, sin embargo esos conceptos y sus consecuencias pueden ser aplicados por separado a la parte real y la parte imaginaria de la sucesi on. Una denici on que ser a util posteriormente es la siguiente. Denici on I.1.3 Una sucesi on {zk } en C diverge por valores en el innito, si la sucesi on {|zk |} en R diverge por valores en el innito. Dicho de otra manera
n
l m zn =
l m |zn | = +.
Los conceptos de sucesiones, series, vistos en el Primer A no de An alisis, como convergencia absoluta, serie productos se los ampl a al caso complejo sin ning un problema. Solamente hay que remplazar el valor absoluto por el m odulo. Por lo tanto, las reglas de c alculo, criterios de convergencia son v alidos tambi en para series complejas. En lugar de hablar de bolas abiertas, en C, se preere hablar de discos abiertos. D(a, r) = {z C| |z a| < a}.
I.1.7.
El plano complejo acabado C
, agregando dos elementos adicionales a R; En el curso de An alisis se deni on la recta real acabada R = R {, +}, R deniendo algunas operaciones con los nuevos elementos y los reales, prolongando la relaci on de orden. El caso complejo tendr a un desarrollo bastante similar. Como motivaci on, consideremos la proyecci on estereogr aca, que consiste en proyectar el plano complejo C, sobre la esfera unitaria S2 = {(x, y, z )|x2 + y 2 + z 2 } con la proyecci on de centro el polo norte (0, 0, 1). ver gura I.1.2. En la gura observamos que la imagen del punto P C se proyecta sobre la esfera en el punto P S2 . Tambi en remarcamos que esta proyecci on es inyectiva, pero no es sobreyectiva ya que el polo Norte no es imagen de ning un punto del plano complejo. Si queremos que la proyecci on esteogr aca sea biyectiva, debemos agregar un elemento a C; por otro lado, no es dicil observar que N es el l mite de la proyecci on, cuando z . Denici on I.1.4 El plano complejo acabado es el conjunto = C {}. C
I.2. FUNCIONES COMPLEJAS
P
Figura I.1.2: Proyecci on Estereogr aca. Explicitemos la proyecci on estereogr aca, utilizando un corte transversal, ver gura , relaciones de tri angulos semejantes, se obtiene:
:C z
S2
2 2 z , 2 z , |z| 1 |z |2 +1 |z |2 +1 |z |2 +1
(0, 0, 1)
si si
z C, z=
denimos: Aparte de las operaciones heredadas de C, sobre C a si a = 0, 0 a = 0 si a = , a = si a = 0, a + = . , C ya no es un cuerpo. Al igual que la recta acabada R Lo interesante de la proyecci on esteogr aca es que se pueden dotar de operaciones internas a S2 a partir de las operaciones de C, de donde, si , S2 se dene + = ( 1 ( ) + 1 ( )), = ( 1 ( ) 1 ( )).
Ejercicio.- Explicitar anal ticamente la adici on y la multiplicaci on en la esfera. Remarca.-En el curso de Topolog a, se dice que la proyecci on estereogr aca compactica C agregando un elemento a C, porque la esfera es compacta en R3 .
I.2.
Funciones Complejas
El m odulo || hace a C un espacio normado con norma id entica a la norma euclidiana de R2 ; por lo que, los conceptos de l mite, continuidad, continuidad uniforme, convergencia simple de sucesiones de funciones, convergencia uniforme, etc son los mismos que en el Primer A no de An alisis y no es necesario repetirlos. Las novedades provendr an del c alculo diferencial e integral de funciones complejas.
Figura I.2.1: Gr aca de los Grafos Sin embargo, podemos remarcar que una funci on compleja f : U C C puede ser vista como una funci on f : U R2 R2 . Es decir, f :U C z C f (z ) f : U R2 R 2 (x, y ) (u(x, y ), v (x, y ))
trivialmente, se tiene (f (z )) = u(x, y ) y diferentes puntos de vista equivalentes.
(f (z )) = v (x, y ). De acuerdo a la necesidad, se puede jugar con
I.2.1.
Representaciones Gr acas de Funciones Complejas
Para poder comprender la acci on de una funci on compleja, es en muchos casos necesario visualizar gracamente. Recordando los cursos de C alculo, las gr acas de los grafos son recursos valiosos que permiten estudiar las funciones reales, pero en el caso de los grafos de funciones complejas no se los puede representar gracamente, porque hacen parte de un espacio de cuatro dimensiones. Sin embargo tenemos los siguientes recursos para representar la funci on compleja en cuesti on: Gr aca del grafo de la funci on g : U R2 R, donde g es por ejemplo: la parte real de f , la parte imaginaria de f , el m odulo de f . Gr aca de la transformaci on o mapeo. Util para entender la acci on geom etrica. Gr aca del campo de vectores asociado. Util en aplicaciones f sicas. Ejemplos 1. Consideremos la funci on f (z ) = (z + 0,2)2 . En la gura I.2.1, vemos las gr acas de los grafos de f (z ), f (z ) y |f (z )|. En la gura I.2.2, la gr aca de la transformaci on. Si un punto z1 comienza a moverse a lo largo de una curva , entonces el punto imagen w1 se mover a a lo largo de la curva f ( ); si un punto z2 est a dentro una supercie H , entonces el punto imagen w2 estar a dentro una supercie f (H ). En la gura I.2.3 observamos la gr aca del campo de vectores asociado a la funci on f (z ).
I.2.2.
Funciones Complejas Remarcables
Las funciones elementales estudiadas en los cursos de C alculo y el Primer A no de An alisis tienen su prolongaci on respectiva a una funci on compleja. Esta prolongaci on es de tipo an alitico, que ser a vista m as adelante. Por el momento, nos contentaremos en conocer estas prolongaciones y adentrarnos al esp ritu mismo de lo que signica prolongaci on.

1 1
z U
z1 y
H
V f
v w1 w
f(H)
w = f(z)
f()
z2
w2
Figura I.2.2: Gr aca Transformaci on
Figura I.2.3: Gr aca del Campo de Vectores
10
w = cz
1
Figura I.2.4: Funci on Lineal no Nula Funciones Polinomiales y Racionales Al igual que en el caso real, una funci on p : C C es polinomial, si p(z ) = an z n + an1 z n1 + + a1 z + a0 , donde los ai C. Este tipo de funciones es siempre continua, porque solamente intervienen adiciones y multiplicaciones y las reglas de c alculo aseguran continuidad. Ejemplo 1. Consideremos la aplicaci on polinomial f (z ) = cz con c = 0. Esta funci on es una aplicaci on C-lineal, y vista como una aplicaci on lineal de R2 en R2 es una similitud. Ver secci on precedente y gura I.2.4. En la construcci on de los n umeros complejos, hemos visto que la multiplicaci on est a asociada a la composici on de similitudes del plano real. Por lo tanto, las aplicaciones lineales complejas, desde el punto de vista real, son similitudes. La interrogante es c omo reconocer si una una transformaci on lineal del plano real es una aplicaci on C lineal. Proposici on I.2.1 Sea f : R2 R2 lineal. Entonces f es C lineal, si y solamente si f es una similitud o la aplicaci on nula. Demostraci on.- ya visto. Si f = 0 est a demostrado, sino la matriz de f es a b c d ,
con a, b, c, d no todos nulos. La imagen de 1 = (1, 0) es (a, c) y la imagen de i = (0, 1) es (b, d). Como f es C lineal, se tiene f (1) = f (i2 ) = if (i), por lo que a c = 0 1 1 0 b d = d b ,
de donde a = d y b = c. Es decir f es una similitud.
11
w = ez
3 3
1/e
Figura I.2.5: Funci on Exponencial
Las funciones racionales son de la forma f (z ) = p(z ) , q (z )
donde p(z ) y q (z ) son funciones polinomiales. Son continuas sobre C, excepto en los puntos donde q (z ) se anula. La Funci on Exponencial Compleja Denici on I.2.1 La funci on expC : C C, est a dada por exp C (x + iy ) = ex (cos y + i sin y ) = e
z
(cos( z ) + i sin( z )).
Una vericaci on, nos muestra que si z R, se tiene expC (z ) = expR (z ), por lo que podemos escribir simplemente exp en lugar de expC o expR , e interpretar exp de acuerdo al contexto. En la gura I.2.5 vemos la acci on de la funci on exponencial. Observando la denici on de la exponencial, se ve que es una similitud de raz on e z y angulo z . Proposici on I.2.2 La funci on exponencial compleja satisface: 1. 2. 3. exp(z1 + z2 ) = exp(z1 ) exp(z2 ), exp(z ) =, z C. exp(z1 ) = exp(z2 ) si y solamente si z1 z2 = 2ik , k Z.
12
Figura I.2.6: Imagen de una Banda Demostraci on.- Ejercicio.
La prolongaci on a C de la exponencial, conserva casi todas las propiedades de la funci on exponencial real, excepto la inyectividad. En el caso real la inyectividad asegura la existencia de una inversa continua. En el caso complejo nos debemos arreglarnos para construir una funci on que cumpla el papel de funci on inversa, tal como se hizo con las funciones arc cos, arcsin en el Primer Curso de An alisis.
I.2.3.
El Logaritmo Complejo
Como se ha visto m as arriba, la funci on exponencial no es inyectiva. Por lo tanto si queremos construir una inversa debemos restringir C a un dominio donde exp sea inyectiva, pero al mismo tiempo la imagen exp() sea lo m as grande posible. Por el punto 3 de la proposici on I.2.1, debe ser una banda de ancho 2i , sin los bordes, para la funci on inversa sea continua. La imagen del borde de es una curva simple que une el origen con el innito. Ver gura I.2.6. En consecuencia, sea C una banda de ancho 2i sin sus bordes. De donde exp : C l es biyectiva, donde l es una curva simple que une O con . Tenemos exp(z ) = e Pasando a los m odulos, se obtiene e
z z
(cos( z ) + sin( z )) = w, = |w| ,
de donde z = logR (|w|). La determinaci on de z , pasa por la denici on de una nueva funci on. Denici on I.2.2 Una determinaci on del argumento es darse una curva simple l que une O con y una funci on arg : C l R C continua tal que z = |z | (cos(arg(z )) + i sin(arg(z )), z C l.
Remarcas 1. Una determinaci on del argumento arg : C l C est a enteramente determinada por el valor de arg(z0 ), donde z0 C.
I.2. FUNCIONES COMPLEJAS 2. La determinaci on principal del argumento es aquella donde l =] , 0] R y arg(1) = 0. 3. A menos que se diga lo contrario, se toma la determinaci on principal del argumento.
13
4. Si arg1 y arg2 y z C en el cual ambas determinaciones est an denidas, entonces una simple vericaci on da arg1 (z ) arg2 (z ) = 2ik , con k entero. Regresemos a la construcci on de la inversa de exp. Tenemos z = arg(w), donde arg : C l R es una determinaci on del argumento. Denici on I.2.3 Una determinaci on del logaritmo es darse una determinaci on del argumento arg : C l C y la funci on logC : C l C dada por logC (z ) = logR (|z |) + i arg(z ), z C l.
Remarcas.1. La determinaci on principal del logaritmo, est a dada por la determinaci on principal del argumento. A menos que se diga lo contrario, la opci on por defecto es la determinaci on principal del logaritmo. La determinaci on principal prolonga al logaritmo real. 2. Para no recargar notaci on se puede utilizar log para denotar la determinaci on del logaritmo y o el logaritmo real. Todo depende del contexto.
Proposici on I.2.3 Una determinaci on del logaritmo log : C l C, verica: 1. 2. exp(log z ) = z , z C l. log(exp(z )) = z + i2k , k entero.
Potencias Recordamos: zn z n = n n n, n N; n veces 1 1 1 = , n N. z z z n veces
14 Para C, se dene
z = exp( log z ).
Se puede mostrar que esta denici on es compatible con otras deniciones sobre potencias. Por ejemplo cuando es entero. Remarca.- Si bien z est a denida sobre un conjunto C l, se puede prolongar a algunos puntos de l por continuidad. Ejemplo 3.- Veamos el caso = 1/2. Tenemos z 1/2 = exp(1/2 log(z )) =
z 0
= exp(1/2 log |z | + (1/2)i arg(z )) |z |(cos((1/2) arg(z )) + i sin((1/2) arg(z ))).
Ahora bien l m z 1/2 = 0, de donde podemos prolongar la funci on z 1/2 al punto z = 0, planteando 01/2 = 0.
Funciones Exponenciales Siguiendo la misma linea del Primer A no de An alisis, denimos az = exp(z log a), donde log es una determinaci on del logaritmo, (para la cual el valor de log a existe. Remarcas.1. A menudo se encuentran expresiones de la forma ez . Nosotros interpretaremos como ez = exp(z ). 2. Las deniciones del argumento, logaritmo, potencia pasan por las deniciones de determinaci on. Es decir, para obtener funciones continuas, es necesario quitar del plano complejo C una curva simple que une el origen con el innito. Sin embargo, mediante las supercies de Riemann es posible construir estas funciones, sin necesidad de hacer cortes en el plano Complejo.
I.2.4.
Funciones Trigonom etricas Complejas
Denici on I.2.4 sinC z cosC z tanC z cotC z secC z cscC z =

eiz eiz , 2i eiz +eiz = , 2 sinC z = cosC z , Cz = cos sinC z , 1 = cos , Cz 1 = sinC z .
I.3. FUNCIONES DIFERENCIABLES
15
Proposici on I.2.4 Las funciones sinC y cosC verican: i) sinC (z ) = sinR (z ), cosC (z ) = sinR (z ) para todo z R.
2 ii) sin2 C (z ) + cosC (z ) = 1.
Como las funciones trigonom etricas complejas son prolongaciones de las funciones trigonom etricas reales, utilizaremos los s mbolos usuales para identicarlas. M as todav a las funciones trigonom etricas conservan propieades de aditividad, etc. Funciones Trigonom etricas Inversas En lugar de hablar de funciones trigonom etricas inversas, es preferible hablar de determinaciones de funciones trigonom etricas inversas. Veremos m as adelante.
I.3.
Funciones Diferenciables
Como para las funciones reales, se tiene para las funciones complejas varias maneras de denir la diferenciabilidad de una funci on f : U C C. Nosotros utilizaremos: Denici on I.3.1 Una funci on f : U C, U C abierto, es diferenciable en el punto z0 U , si l m f (z ) f (z0 ) = f (z0 ) z z0 (I.3.1)
z z0
donde f (z0 ) C. O bien f (z ) = f (z0 ) + f (z0 ) (z z0 ) + (z, z0 ) (z z0 ) con l m (z, z0 ) = 0.

z z0
(I.3.2)
Ambas deniciones son u tiles. La primera tiene una optica calculista, mientras que la segunda tiene una optica geom etrica. En la denici on (I.3.2), la derivada f (z0 ) aparece como una aplicaci on C-lineal. Por otro lado, si vemos f : U R2 R2 , para que f sea R-derivable en (x0 , y0 ), se debe tener f (x, y ) = f (x0 , y0 ) + f (x0 , y0 ) con l m x x0 y y0 + (x x0 , y y0 ) r((x, y ), (x0 , y0 )) (I.3.3)
(x,y )(x0 ,y0 )
r((x, y ), (x0 , y0 )) = (0, 0). Escribiendo f (x, y ) = (u(x, y ), v (x, y )), se tiene
u x v x u y v y
f (x0 , y0 ) = Utilizando la proposici on (I.2.1), se tiene el:
16
y v
y v
Figura I.3.1: Funci on continua, Cauchy-Rieman, pero no C-diferenciable Teorema I.3.1 (ecuaciones Cauchy-Riemann) Sea f : U C, f = u + iv , U abierto de C. Entonces f es C derivable en z0 U , si y solamente si f es R-derivable en z0 y f (z0 ) es C-lineal, si y solamente f es R-derivable en z0 y u v x = y Ecuaciones de Cauchy-Riemann (I.3.4) u v y = x
u v v Corolario I.3.1 Sea f : U C C, f = u + iv . Si u x , y , x y y existen en un vecindario de z0 , son continuas en z0 y satisfacen las ecuaciones de Cauchy-Rieman, entonces f es C-derivable en C.
Las ecuaciones de Cauchy-Riemann por si solas no aseguran la C diferenciabilidad. Ejemplo 1. La funci on f (z ) = si z = 0, 0 si z = 0.

z5 |z |4
es continua, tiene las derivadas parciales respecto a x e y y satisface en z = 0 las condiciones de Cauchy-Riemann. Sin embargo, no es C-diferenciable. Ver gura I.3.1. 2. La funci on exponencial exp es C-diferencible en todo C. En efecto, u(x, y ) = ex cos y , v (x, y ) = ex sin y son funciones cuyas derivadas parciales existen y son continuas. Adem as exp (x, y ) = ex cos y ex sin y ex sin y ex cos y
I.3. FUNCIONES DIFERENCIABLES satisface Cauchy-Riemann. Por lo tanto exp (z ) = exp(z ).
17
Se tiene las mismas reglas de c alculo para la diferenciaci on de funciones complejas; es decir, suma de funciones, producto de funciones, composici on de funciones, etc.
I.3.1.
Funciones Holomorfas
Denici on I.3.2 Una funci on que es C-diferenciable en un abierto U se llama holomorfa en U . Un funci on es holomorfa en un punto z0 si es holomorfa en un vecindario B (z0 , ).
Proposici on I.3.1 Sean , C abiertos, f : C holomorfa. Supongamos que existe g : con g f = id y f g = id . Si adem as g es R-derivable, entonces g es holomorfa y g (f (a)) = en particular f (a) = 0, para todo a . Demostraci on.- La derivada de la composici on de funciones de R2 en R2 da gf (a) fa = IR2 . Por lo tanto fa y gf (a) son inversibles en tanto que aplicaciones lineales del plano real. Como fa es C-lineal, es un similitud. Las similitudes forman un grupo, por lo que, gf (a) es tambi en una similitud y por lo tanto C-lineal. En el lenguaje complejo esto se traduce a g (f (a)) f (a) = 1. 1 , f (a)
Ejemplo 3.- Sea log : C l C una determinaci on del logaritmo. Planteando = C l y = log( ), considerando la funci on exponencial exp, mostrando que log es R-diferenciable (que dejamos como ejercicio), se tiene que log es holomorfa y 1 1 1 log z = = = . exp (w) exp(w) z 4.- Consideremos z . Se tiene z = exp( log z ), composici on de funciones holomorfas, luego holomorfa. Determinemos su derivada. z = exp ( log z )( log z ) = exp( log z ) 1 = z 1 . z
La tabla de derivadas de las funciones complejas es muy similar a la tabla de derivadas de las funciones reales.
18
Proposici on I.3.2 Sea :]a, b[ , diferenciable, donde C abierto y sea f : C holomorfa. Entonces (f ) (t) = f ( (t)) (t) donde (t) = 1 (t) + i2 (t). Demostraci on.- Ejercicio.
I.4.
Funciones Conformes
Suponemos conocidos los conceptos de angulo orientado, Recordemos el concepto de angulo orientado entre curvas. Sean , ; [0, 1] R2 continuamente derivables. Suponemos (0) = 0, (0) = 0 y (0), (0) = a, entonces por denici on
(, , a) = ( (0), (0)) (I.4.1)
Denici on I.4.1 f : U R2 R2 , U abierto, es conforme, si f es R-derivable y si para todo , : [0, 1] U continuamente derivable con (0) = (0) = a U y (0), (0) = 0, se tiene (, , a) = (f , f , f (a)).
Remarca.- La denici on de aplicaci on conforme, implica autom aticamente que fa es inversible para todo a U , sino no se podr a medir los angulos entre las curvas im agenes. Como ejemplo de aplicaciones lineales que son conformes, tenemos las similitudes. La pregunta natural que surge, es saber si hay otras aplicaciones lineales que conservan los angulos en medida y orientaci on. Proposici on I.4.1 A : R2 R2 isomorsmo lineal. A respecta los angulos en tama no y orientaci on, si y solamente si A es una similitud. Demostraci on.- ya visto. . La matriz asociada a la aplicaci on lineal es A= a b c d
Consideremos los vectores ortonormales (1, 0) y (0, 1), sus im agenes por A son (a, c) y (b, d) que son ortogonales por hip otesis, de donde ab + cd = 0.
I.4. FUNCIONES CONFORMES
19
z
6 7 6 7
w = f(z)
5
f(H)
5
w5
3
8 2 1
H
3
z5
8 1
z1
z4
w4
w1
Figura I.4.1: Ejemplo de Funci on Conforme Escribiendo esta u ltima condic on como det a d c b = 0,
deducimos que (a, c) y (d, b) son linealmente independientes, por lo tanto d b La matriz es de la forma A= a c c a . = a = c
Como A conserva la orientaci on, se tiene det A > 0, de donde < 0. Finalmente viendo las im agenes de (1, 1) y (1, 1), se tiene que (a + c, c a) y (a + c, c a) son ortogonales, lo que se traduce a2 + 2 c2 c2 + 2 a2 = (2 1)(a2 + c2 ) = 0, de donde = 1. La aplicaci on lineal A es efectivamente una similitud.
Teorema I.4.1 f : U R2 es conforme, si y solamente si f es holomorfa y f (a) = 0 para todo a U . Demostraci on.- f es conforme, si y solamente si fa respecta los angulos en sentido y orientaci on a U ; si y solamente si fa es un isomorsmo C-lineal; si y solamente si f es holomorfa y f (a) = 0 a C.
En la gura I.4.1, se observa la acci on de la aplicaci on f (z ) = (z + 0,2)2 , apreciando la conservaci on de los angulos en tama` no y sentido. Como un ejemplo de familia de funciones conformes estudiaremso con m as detalle las homograf as.
20
I.4.1.
Homograf as
Denici on I.4.2 Una transformaci on homogr aca es una expresi on de la forma w(z ) = az + b cz + d con det a c b d = 0.
as Remarcamos que las homograf as pueden prolongarse al plano complejo acabado C w:C z C
az +b cz +d a c
si z = d/c si z = si z = d/c.
Por otro lado, una homograf a, puede ser inducida por una matriz de 2 2 inversible A= a b c d wA (z ) = az + b . cz + d
En efecto, consideremos el siguiente diagrama
C2 {(0, 0)} (u1 , u2 ) A det A=0 C2 {(0, 0)} (v1 , v2 )

u1 u2
C =z wA (z )

v1 v2
C =z
Es facil vericar que wA = wA A = A , con = 0. (I.4.2)
Proposici on I.4.2 Se tiene las siguientes propiedades: 1. La composici on de transformaciones homogr acas es una transformaci on homogr aca. A induce wA A induce wA 2. wA es inversible y su inversa wA1 . A A induce wA wA .
I.4. FUNCIONES CONFORMES Demostraci on.- El punto (1), sean A= Se tiene wA = Por lo tanto wA wA (z ) = wA = =
a c az +b cz +d
az +b cz +d +b az +b cz +d +d
21
a b c d
A =
a c
b d
az + b , cz + d
wA =
a +b . c +d
(a a+b c)z +(a b+b d) (c a+d c)z +(c b+d d)
= wA A (z ).
El punto (2), es consecuencia de wAA1 = wI = wA wA1 .
Como consecuencia directa de la u ltima proposici on, el conjunto de las homograf as es un subgrupo de las funciones biyectivas de C en C, que contiene otros subgrupos de transformaciones del plano complejo. Proposici on I.4.3 Una homograf a puede escribirse como composici on de: Similitudes z az , a = 0. Traslaciones z z + c.
1 Inversiones complejas z z .
Demostraci on.- Consideremos una homograf a w(z ) = esta se puede escribir como: w(z ) = A + B , cz + d az + b , cz + d
con A, B C. Por consiguiente, w = f5 f4 f3 f2 f1 , donde f1 (z ) = cz similitud, f2 (z ) = z + b traslaci on, 1 f3 (z ) = inversi on compleja, z f4 (z ) = Bz similitud, f5 (z ) = z + A traslaci on.
Teorema I.4.2 Una homograf a env a circunferencias y rectas sobre circunferencias o rectas.
22
Demostraci on.- Por la proposici on que precede, es suciente mostrar que la inversi on compleja env a circunferencias y rectas sobre circunferencias o rectas; ya que las similitudes y traslaciones conservan las rectas y circunferencias. Como z z es una simetr a respecto a la recta real R, es suciente mostrar el teorema para la funci on z 1/z . Ahora bien, z 1 f (z ) = = 2 ; z |z | distinguimos los siguientes casos: i) Recta por el origen
f (recta) = recta.
ii) Origen fuera de la circunferencia.
(OT )2 = OM OM
f(M) f(T)
Of (M ) =
M T M O
1 OM = 2 OM OT 2 f (M ) se obtiene a partir de M por homotecia de raz on 1/OT
iii) Circunferencia que pasa por el origen.
A M A M
OM A es un tr angulo rect angulo, porque OM es el di ametro de la circunferencia. OA OA = 1 y OM OM = 1, de donde OM A OA M.
OM A es recto, luego la imagen de la circunferencia es una recta. iv) Recta que no pasa por el origen. z
1 z
es biyectiva, aplicar el caso iii).
I.4. FUNCIONES CONFORMES v) Origen en el interior de la circunferencia. Fijamos Q, tenemos OP OQ = , tambi en OM OM = f (M ) = M , OM OM = 1, de donde OM =
M
23
M" M Q
1 OM .
De donde f (M ) = M .
y z , z , z otra terna de elementos distintos de Proposici on I.4.4 Sean z1 , z2 , z3 elementos distintos de C 1 2 3 C. Entonces, existe una sola transformaci on homogr aca w tal que w(zi ) = w(zi ), i = 1, 2, 3.
Demostraci on.- Primero, vamos a mostrar el caso en que z1 = 1, z2 = 0 y z3 = , se tiene tres situaciones: i) z1 = , z2 = y z3 = w(z ) = ii) z1 = w(z ) = iii) z2 = w(z ) = iv) z3 = w(z ) =
z z2 z z3 z1 z2 z1 z3
z z2 . z z3 z 1 z3 z z3 z z2 . z1 z2
Para la existencia en el caso general, consideramos las homograf as: w w : z1 , z2 , z3 1, 0, : z1 , z2 , z3 1, 0,
de donde (w )1 w es la homograf a pedida. Para la unicidad, mostreremos primero que si w(0) = 0, w(1) = 1 y w() = , entonces w = id. En efecto, la homograf a puede escribirse az + b w(z ) = , cz + d para z = 0, se tiene b/d = 0, por lo tanto b = 0, Para z = , se tiene a/c = , de donde c = 0. Por u ltimo, w(1) = a/d = 1, tomando d = 1, se tiene w(z ) = z.
24

3
w
2
Figura I.4.2: Transformaci on de Cayley Ahora veamos el caso general. Sean w, w : z1 , z2 , z3 z1 , z2 , z3 dos homograas. Consideremos las homograas: w : 0, 1, : z1 , z2 , z3 y w : 0, 1, z1 , z2 , z3 . Por consiguiente las homograf as w ww : 0, 1, 0, 1, . w w w : 0, 1, 0, 1, . de donde w ww = id y w w w = id, que escrito de otra forma w=w 1 w 1 = w .
Ejemplo 1. Consideremos la transformaci on de Cayley w(z ) = funci on ilustrada en la gura I.4.2 La acci on de esta transformaci on en el plano complejo es convertir el eje imaginario en la circunferencia unitaria y vice-versa. z+1 z1
I.4.2.
Representaci on Conforme
Existen varios problemas de representaci on conforme, entre los cuales tenemos: 1. Dada f : C holomorfa, inyectiva y abierto, determinar f (). Para ilustrar este problema, estudiaremos un problema modelo. Consideremos = {z | | z | < , z > 0} y f (z ) = sin z . La restricci on de sin z a esta regi on la convierte en una funci on inyectiva y conforme. En efecto sin z1 = sin z2 sin z1 sin z2 = 0 cos( z1 + z2 z 1 z2 ) sin( ) = 0; 2 2
I.4. FUNCIONES CONFORMES

z2 z1 z2 dee donde cos( z1 + on de: 2 ) = 0 o sin( 2 ) = 0. Dejamos al estudiante, la vericaci
25
sin z = 0 cos z = 0 Por lo tanto, sin z1 = sin z2
z = k, k Z; z =
/2 + k,
k Z.
La equivalencia (I.4.3) nos asegura que la restricci on de sin a la semibanda superior es inyectiva. Por otro lado, en el interior de la banda sin z es conforme, por que cos z = 0, para todo z . Ahora bien, la funci on sin z , en particular la restricci on de sin z sobre , es la composici on de cuatro funciones: f1 (z ) = iz, f2 (z ) = ez , 1 f3 (z ) = z z , 1 f4 (z ) = 2i z. El comportamiento de sin z , ser a analizado a partir del comportamiento de cada una de estas funciones. Denotamos 1 = f1 (), como f1 es una rotaci on de un angulo recto, deducimos inmediatamente 1 = {z C | | z | < y Denotamos 2 = f2 (1 ), un simple ejercicio mostrar a que 2 = {z C| |z | < 1}] 1, 0]. Denotamos 3 = f3 (2 ). Como no tenemos una idea clara de la acci on de f3 sobre 2 , determinaremos 3 conociendo su borde a partir de la acci on de f3 sobre el borde de 2 . El borde de 2 o frontera es la uni on de la circunferencia unitaria y el intervalo [1, 0]. Tenemos f3 ([1, 0[) = [0, +[ y parametrizando la circunferencia con eit , obtenemos f3 (eit ) = eit eit , por lo que f3 (eit ) = 2i sin t. En consecuencia 3 = C ([0, +[2i[1, 1]). Denotando 4 = f4 (3 ), obtenemos nalmente que sin() = 4 = C ([1, 1] i] , 0]). En la gura I.4.3 observamos la acci on de la composici on de las cuatro funciones que dan sin z . 2. Si f : holomorfa y biyectiva, determinar la funci on inversa. Consideremos el problema modelo, analizar la determinaci on arcsin : C ([1, 1] i] , 0]) = {z C| | z | < e Por lo hecho en (1), tenemos
1 1 1 1 arcsin = f1 f2 f3 f4 .
z1 z2 = 2k, o z1 + z2 = (2k + 1)
(I.4.3)
z < 0}
z > 0}.
Explicitemos, cada una de estas funciones. Facilmente

1 f4 (z ) = 2iz.
26
Figura I.4.3: Representaci on conforme de sin
COMPLEJA I.5. INTEGRACION
27
Ahora, f3 (w) = w 1/w = z , de donde w2 wz 1 = 0, ecuaci on polinomial de segundo grado. Esta ecuaci on tiene dos raices: w1 y w2 que satisfacen w1 + w2 = z y w1 w2 = 1. Puesto que f3 : {z C| |z | < 1}] 1, 0] C ([0, +[2i[1, 1]) se debe elegir aquella raiz wi que satisface |wi | < 1. Un simple ejercicio con los m odulos nos conduce a que existe a lo m as una ra z con esta propiedad. 1 Explicitimos f3 , aplicando la f ormula cuadr atica, obtenemos w= eligiendo como determinaci on de :Cl C z z2 + 4 , 2
donde l = [0, +) z y |arg z | < . Una vericaci on sobre la esta determinaci on dar a |w| < 1. Por lo tanto
1 f3
z2 + 4 , 2
con
: C l C, l = [0, +) z y |arg z | < .
1 Si bien, f3 ha sido explicitada en funci on de una determinaci on de la raiz cuadrada que depende de z , el teorema de la funci on inversa, ver parte A de este curso de An alisis de segundo a no y la proposici on 1 1 1 I.3.5, aseguran que f3 sea holomorfa. Trabajemos con f3 f4 , tenemos
1 f3
1 f4 (z )
2iz
4z 2 + 4 2
Para no recargar y confundir determinaciones de la raiz cuadrada, podemos elegir una nueva determinaci on de la raiz cuadrada y tener una expresi on simplicada
1 1 f3 f4 (z ) = iz + 1 z 2 donde es una determinaci on en la cual 1 z 2 est a denida y ademas iz + 1 z 2 est a en el disco unitario. 1 f2 (z ) = log z con log como determinaci on principal. 1 f1 (z ) = z/i Por lo tanto, podemos explicitar esta determinaci on de arcsin
arcsin(z ) =
1 log(iz + i
1 z 2 ).
I.5.
Integraci on Compleja
Denici on I.5.1 Un arco simple es una aplicaci on de clase C 1 : [a, b] C, con (t) = 0 para todo t [a, b] e inyectiva.
28
Denici on I.5.2 f : C, C abierto, : [a, b] arco simple, se dene

b
f (z ) dz =
a
f ( (t)) (t) dt.
(I.5.1)
Si escribimos f (z ) = u(z ) + iv (z ) y (t) = 1 (t) + i2 (t), la relaci on (I.5.1), se convierte en

b b
f (z ) dz =
a
(u( (t))1 (t) v ( (t))2 (t)) dt + i

a
(u( (t))2 (t) + v ( (t))1 (t)) dt
(I.5.2)
Remarca.- Sea : [a, b] C un arco simple. Sobre = ([a, b]), se puede denir un orden:
b z2
z1 , z2 , z1 = (t1 ) z2 = (t2 ), z1 z2 t1 t2
t2 (a) t1 a z1
(b)
Denici on I.5.3 Sea : [a, b] C arco simple. Una partici on o subdivisi on P de = ([a, b]) es una sucesi on nita y ordenada P = { (a) = z0 < z1 < < cn = (b)}; (P ) = m ax {|zk zk1 |}
k=1,...,n
es la norma de la subdivisi on P .
Proposici on I.5.1 Sea : [a, b] C arco simple, p = {a = to < t1 < < tn = b} divisi on o partici on de [a, b]. Sea P = { (a) < (t1 ) < < (tn )} partici on de , entonces i) (P ) c (p), ii) (P )
0 0,
c y C reales estrictamente positivos (independientes de las particiones) tales que
(p) C (P ).
Demostraci on.- Mostremos el punto (i). Consideremos las diferencias (tk+1 ) (tk ), aplicando el teorema de los incrementos nitos a cada una de las componentes, se tiene (tk+1 ) (tk ) = (1 (k ) + i2 (k ))(tk+1 tk ) con k , k (tk , tk+1 ). Puesto que es continua por hip otesis, cada una de sus componentes alcanza sus cotas. Por lo tanto | (tk+1 ) (tk )| c(tk+1 tk ) c (p).
COMPLEJA I.5. INTEGRACION donde c= Por la denici on de m ax y sup obtenemos (P ) c (p). Mostremos el segundo punto. Por hip otesis (t) = 0 y por continuidad de , se tiene
t[a,b]
29
(m ax |1 (t)|)2 + (m ax |2 (t)|)2
m n | (t)| = > 0.
Armamos que existe 0 > 0 tal que |t t | < 0 , se tiene |1 (t) + 2 (t )| En efecto |1 (t) + 2 (t )| = |1 (t) + 1 (t ) 1 (t ) + 2 (t )| |1 (t ) + 2 (t )| |1 (t) 1 (t )| |1 (t) 1 (t )| . 2
Por la continuidad de , en particular de 1 , existe 0 > 0 tal que |t t | < 0 , implica|1 (t) 1 (t )| < /2, de donde, para |t t | < 0 , se tiene |1 (t) + 2 (t )| . 2 Al igual que en (i), se muestra que si (p) 0 , se tiene (P ) (p). 2
Como es inyectiva, la restricci on de : [a, b] es biyectiva, por lo tanto, utilizando el mismo procedimiento que (i), se muestra que 1 : [a, b] es continua, es decir que > 0, > 0 tal que |z z | < y z, z implica |t t | < . En particular para 0 , existe 0 .
Corolario I.5.1 Sea : [a, b] C arco simple, p = {a = to < t1 < < tn = b} divisi on o partici on de [a, b]. Sea P = { (a) < (t1 ) < < (tn )} partici on de , entonces (p) 0 (P ) 0.
Teorema I.5.1 Sean : [a, b] arco simple, f : C continua, P denota partici on de , entonces
n (P )0 b
l m
f (zk1 )(zk zk1 )

k=1
=
a
f (z ) dz.
(I.5.3)
30 Demostraci on.- Se tiene:

n k=1
f (zk1 )(zk zk1 )
= =
n k=1 n k=1
f ( (tk1 ))( (tk ) (tk1 )) n f ( (tk1 )) (tk1 )tk + k=1 r(tk , tk1 )tk .
Por la diferenciabilidad de , se tiene r(tk , tk1 )/ |tk tk1 | 0, cuando (p) 0. Por lo tanto, para (p) sucientemente peque no |r(tk , tk1 )| < (tk tk1 ), para un > 0, dado. De donde
n
r(tk , tk1 )tk < (b a).

k=1
Lo que signica, de acuerdo al corolario precedente que

n (P )0
l m
r(tk , tk1 )tk = 0.

k=1
Por otro lado,

n
f ( (tk1 )) (tk1 )tk

k=1
es una suma de Riemann y por las hip otesis de continuidad de f y , se tiene

n (P )0 b
l m
f ( (tk1 )) (tk1 )tk =

k=1 a
f ( (t)) (t) dt.
Corolario I.5.2
f (z ) dz depende solamente de y del orden de .
Denici on I.5.4 Un recorrido C es darse arcos simples i : [ai , bi ] C, i = 1, . . . , k con (bi ) = (ai+1 ). Escribimos C = 1 + 2 + k .
Denici on I.5.5 Sea C = 1 + 2 + k un recorrido, se dene f (z ) dz =

C 1
f (z ) dz +
2
f (z ) dz + +
k
f (z ) dz.
Ejemplo 1. Consideremos f (z ) = 1/z y (t) = eit con 0 t 2 dene un recorrido, no un arco simple. El
COMPLEJA I.5. INTEGRACION recorrido es la circunferencia unitaria, que es la suma de los arcos simples:
31
1 (t) = eit , t [0, ]; 2 (t) = eit , t [, 2 ]. de donde f (z ) dz

|z |=1
= =
0
f (z ) dz +
2 2
f (z ) dz f (eit )ieit dt
f (eit )ieit dt + =
2 1 ieit 0 eit
dt = 2i.
Proposici on I.5.2 Sea f : C continua tal que existe una funci on F : C holomorfa con F (z ) = f (z ) para todo z . (F se llama primitiva de f ). Sea : [a, b] un arco simple. Entonces f (z ) dz = F (B ) F (A),
donde A = (a) y B = (b).
Demostraci on.- Por un lado tenemos, aplicando la regla de derivaci on para la composici on de funciones d F ( (t)) = F ( (t)) (t) = f ( (t)) (t). dt Por otro lado, el Segundo Teorema del C alculo Integral da
b
F ( (b)) F ( (a)) =
a
d F ( (t)) dt = dt
f ( (t)) (t) dt =
a
f (z ) dz.
Denici on I.5.6 Sea = 1 + + k un recorrido. Se dice que es un recorrido cerrado o contorno si 1 (a1 ) = (bk )
Corolario I.5.3 Si es un contorno dentro de C abierto y f : C continua que admite primitiva, entonces f (z ) dz = 0.
32
Demostraci on.- Utilizando la denici on de integral para recorridos y la proposici on precedente, se tiene
f (z ) dz
f (z ) dz +
f (z ) dz + +
f (z ) dz
= (F (B1 ) F (A1 )) + (F (B2 ) F (A2 )) + + (F (Bk ) F (Ak )) = F (Bk ) F (Ak ) = 0.
Corolario I.5.4 La funci on f : C {0} C dada por f (z ) = 1/z no admite primitiva. Ejemplos 2.- Consideremos la funci on f (z ) = z m con m natural. F (z ) = z m+1 /(m + 1) es una primitiva, de donde
z0
m+1 z0 m+1
z m dz =
2.- Si bien, 1/z no admite primitiva sobre = C {0}, podemos restringir de manera que esta funci on admita primitiva. Por ejemplo, considerando 1 = C] , 0], la determinacion principal de log es una primitiva. Tomando 2 : C [0, +[, la determinaci on log2 : 2 C con arg2 (1) = . Por lo 1 tanto, podemos evaluar z=1 z dz tomando la circunferencia como el recorrido 1 + 2 donde
1 (t) = eit , por lo tanto 1 dz = z
t [/2, /2]
2 (t) = eit ,
t [/2, 3/2]
z =1
1 dz + z
1 dz = log(i) log(i) + log2 (i) log2 (i) = 2i. z
33
Proposici on I.5.3 (cambio de variable) Si f : C continua, g : U holomorfa y : [a, b] U arco simple, entonces f (z ) dz =
g
f (g ( ))g ( ) d.
Demostraci on.- Se tiene f (z ) dz

g
= = =
b (f a b a
b a
f (g (t)) (g ) (t) dt
f (g ( (t))) (g ( (t))) (t) dt
g )( (t)) g ( (t)) (t) dt =
(f g )(z ) g (z ) dz.
Ejemplo 4.- Consideremos nuevamente la integral |z|=1 : [0, 2 ] C con (t) = t, obtenemos
|z |=1 1 z
dz . Planteamos g (z ) = eiz que es una funci on holomorfa y
1 dz = z
1 iz ie dz = i eiz
dz = iz |2 0 = 2i.
2
Proposici on I.5.4 Sea f : C continua, : [a, b] arco simple. Entonces l m(P )0 (
n k=1
|zk zk1 |) =
b a
| (t)| dt = L : longitud del arco.
(I.5.4) (I.5.5)
f (z ) dz M L
M = m axt[a,b] |f ( (t))|
donde P denota particiones o subdivisiones de ([a, b]) Demostraci on.- Demostraci on.- El punto I.5.4 ya ha sido visto en el curso de Geometr a, dejamos como ejercicio el repaso de la demostraci on. Demostremos el punto I.5.5. Por el teorema I.5.1, se tiene
n
f (z ) dz = l m
(P )0
f (zk )(zk zk1 ) .

k=1
Por otro lado

n n n
f (zk )(zk zk1 )

k=1 k=1
f (z) |zk zk1 | M

k=1
|zk zk1 | M L.
Pasando al l mite obtenemos la desigualdad I.5.5.
34
Proposici on I.5.5 Sea C abierto, = 1 + + k C un recorrido. i) Si fn : C una sucesi on de funciones continuas que convergen simplemente a f : C y uniformemente sobre , entonces f (z ) dz = l m
n
fn (z ) dz.
ii) Si F : U C funci on con U C abierto tal que para todo u U jo la funci on z F (z, u) es continua y si F (z, u) F (z, u0 ) uniformemente sobre cuando u u0 U entonces
uu0
l m
F (z, u) dz =

F (z, u0 ) dz.
Demostraci on.- Mostremos el punto (i). La convergencia uniforme, signica que > 0, N tal que n N z |fn (z ) f (z )| < . De donde fn (z ) dz

f (z ) dz =
(fn (z ) f (z )) dz L.
El punto (ii), la convergencia uniforme, signica que > 0, > 0 tal que |u u0 | < implica que z se tiene |F (z, u) F (z, u0 )| < , de donde F (z, u) dz

F (z, u0 ) dz L.
Denici on I.5.7 Un recorrido = 1 + + k se dice de tipo H-V (horizontal-vertical) si (i ) = C .
(j ) = C o
Proposici on I.5.6 Sea f : C continua, ; [a, b] C arco simple, entonces > 0, recorrido H-V 1 + + k tal que 1 (a1 ) = (a) y k (bk ) = (b) y adem as f (z ) dz
f (z ) dz < . H-V
H-V
35
Demostraci on.- Se requiere utilizar algunas propiedades top ologicas del plano complejo, que en el momento se enunciar a sin demostraci on, dejando estas para el curso de topolog a. Utilizando el hecho que ([a, b]) es un compacto, se muestra mediante la noci on de recubrimiento, que existe K compacto, tal que K . (Esta es la parte topol ogica). La demostraci on asegura que existe > 0 tal que D(z, ) K para todo z . Como K es compacto, f es uniformemente continua sobre K , por lo tanto para > dado, existe ( ) > 0 tal que z, z K y |z z | < ( ) |f (z ) f (z )| < . Podemos suponer tambi en que ( ) < . Ahora consideremos p = {a = t0 < t1 < < tm = b} una subdivisi on de [a, b] tal que (P ) ( ), donde P = {z0 = (a) < z1 = (t1 ) < < (tm ) = zm }, denimos los zk = zk + (zk+1 zk ), k = 0, . . . , m 1.
z k+1
Por hip otesis sobre (P ), ( ) se tiene que los segmentos zk zk y zk zk+1 est an dentro K . Si es necesario, reducir de taman` no (P ), se puede suponer que
m1
zk
z k
f (z ) dz
k=0
f (zk )(zk+1 zk ) <
(I.5.6)
El recorrido H-V es de la forma H1 + V1 + Hm1 + Vm1 , deducimos que: f (z ) dz f (zk )(zk zk )

Hk
|zk zk | |zk+1 zk | .
(I.5.7) (I.5.8)
f (z ) dz f (zk )(zk+1 zk )
Vk
Por lo tanto, f (z ) dz
HV
f (z ) dz
m1 k=0
f (z ) dz
m1 k=0
Hk
f (z ) dz +
Vk
f (z ) dz
(f (zk )(zk+1 zk ) f (zk )(zk zk ) f (zk )(zk+1 zk )) + +

m1 k=0 (|zk
zk | + |zk+1 zk |)
m1 k=0
((f (zk ) f (zk ))(zk+1 zk )) + (1 + 2L)

m1 k=0
|zk+1 zk | + (1 + 2L) (1 + 3L).
L es la longitud de . Tomando
= /(1 + 3L) se tiene la proposici on.
36
I.6.
Un Teorema de Cauchy
Proposici on I.6.1 Sea f : C holomorfa, R = {z C|a z b, c z d} . Entonces f (z ) dz = 0.

R
Demostraci on.- Suponemos del contorno (borde del rect angulo) en sentido positivo. Dividimos el rect angulo R en cuatro subrectangulos iguales R1 , R2 , R3 y R4 . Se tiene
4 1 3 2
I=
R
f (z ) dz =
R1
f (z ) dz +
R4
f (z ) dz +
R3
f (z ) dz +
R4
f (z ) dz.
Se debe observar que las integrales de los lados comunes de los subrect angulos se anulan, porque tienen sentido opuestos, quedando para el c alculo nal los lados no compartidos. Sea j1 {1, 2, 3, 4} tal que f (z ) dz
Rj 1 Ri
f (z ) dz , i = 1, 2, 3, 4.
Denotando por R1 este subrect angulo, I1 = R1 f (z ) dz . Por otro lado si p es el perim etro de R, se tiene que el perim etro p1 de 1 R es igual a p/2 y si es el di ametro de R, 1 = /2 es el diam etro de 1 R . Una vericaci on sencilla da: |I | 4 |I1 | , Podemos construir una sucesi on de subrect anguloes Rk , con k = 1, 2, . . ., de manera que Rk+1 sea un subrect angulo que divide en partes iguales a Rk . Si denotamos por Ik = Rk f (z ) dz , k , pk el diam etro y el perim etro de Rk se tiene p |I | 4k |Ik | , k = k , pk = k . 2 2 Utilizando el principio de los intervalos encajonados del primer Curso de An alisis en la parte real e imaginaria de la sucesi on mostramos que l m Rk = {z0 }.
k
Por hip otesis f es holomorfa, en particular f es C diferenciable en z0 , de donde podemos escribir f (z ) = f (z0 ) + f (z0 )(z z0 ) + (z z0 )r(z ), Ahora bien para Rk , se tiene f (z ) dz =
Rk Rk
con l m r(z ) = 0.
z z0
f (z0 ) dz +
Rk
f (z0 )(z z0 ) dz +
Rk
r(z )(z z0 ) dz =
Rk
r(z )(z z0 ) dz
I.6. UN TEOREMA DE CAUCHY
37
por que f (z0 ) y f (z0 )(z z0 ) tienen como primitivas f (z0 )z y f (z0 )(z z0 )2 /2 respectivamente y sus integrales sobre contornos son nulas. Por otro lado |Ik | =
Rk
r(z )(z z0 ) dz pk m ax |r(z )(z z0 )| .

z Rk
Elijamos
> 0, entonces existe > 0 tal que |z z0 | < |r(z )| < ,
m as todavia, existe K N tal que k K se tiene Rk D(z0 , ). Por consiguiente, para k K , se tiene |z z0 | k y |r(z )| , de donde |Ik | pk k = por lo que |I | 4k Esto signica que |I | = 0 y en consecuencia I = 0. p = p. 4k p , 4k
Denici on I.6.1 Sea C = 1 + + k un recorrido. Se dir a que C es un recorrido simple si i = j i ([ai , bi ]) j ([aj , bj ]) = , excepto quiz as 1 (a1 ) = k (bk ).
Denici on I.6.2 Se dira que C es un contorno simple o recorrido cerrado simple, si C = 1 + + k es un recorrido simple con 1 (a1 ) = k (bk ).
Interior de un Contorno Simple Sea C un contorno simple. En el curso de topolog a se muestra que existe R > 0 tal que C B (0, R) Sea z0 B (0, R). Se dira que z est a en el interior de C , si para todo camino : [0, 1] C ( continua) con (0) = z y (1) = z0 , se tiene
z0 C
([0, 1]) C = y z0 C . El interior de C es el conjunto Int C = {z C|z es un punto interior de C}. La orientaci on o sentido de C se elige de manera que el interior de C est e a la izquierda de C .
38
Denici on I.6.3 D C es un dominio simple si D es de la forma D = C Int C , donde C es un contorno simple. Ejemplos 1. Un rect angulo R es un dominio simple
2. Un disco cerrado {z | |z z0 | r} es un dominio simple.
3. Un corona {z |r |z z0 | R} no es un dominico simple.
Teorema I.6.1 (Cauchy) Sea f : C holomorfa, D dominio simple, entonces f (z ) dz = 0,

D
D orientada dejando el interior a la izquierda. Demostraci on.- Utilizando la proposici on I.5.6, para f (z ) dz =
D HV
> 0, existe un recorrido cerrado H-V tal que f (z ) dz < .
Si es necesario anar H-V, se puede suponer que es un recorrido simple, lo que nos permite construir una cuadriculaci on del interior de H-V en que los arcos de H-V son lados de alg un o algunos rect angulos. Utilizando el mismo argumento que la proposici on precedente, se tiene f (z ) dz =
HV Ri Ri
f (z ) dz = 0,
por la proposici on precedente.
I.6. UN TEOREMA DE CAUCHY Por consiguiente f (z ) dz <

D
39
cualquiera que sea
> 0, por lo tanto el teorema es cierto.
Corolario I.6.1 Si f : C holomorfa, D dominio simple, z1 , z2 D, i [ai , bi ] D arcos simples, con (ai ) = z1 y (bi ) = z2 con i = 1, 2. Entonces f (z ) dz = 2 f (z ) dz.
1
Notaci on.- Como la integral solo depende de las extremidades es v alida la notaci on
z2
f (z ) dz =
z1 1
f (z ) dz.
Corolario I.6.2 Sea f : C, D , entonces existe F : D C holomorfa tal que F (z ) = f (z ). Demostraci on.- Fijemos z0 D . Planteamos
F (z ) =
z0
f ( ) d.
z
z+ z
Mostremos que F es holomorfa y que F (z ) = f (z ). En efecto, consideremos el cociente de Newton q (z ) = F (z + z ) F (z ) z =

1 z z +z f ( ) d z0
z0
z z0
f ( ) d
1 z
z +z f ( ) d z
Supongamos que z es lo sucientemente peque no, para que z + tz D para t [0, 1]. Por otro lado f ( ) = f (z ) + f (z )( z ) + r( ) con l m r( ) = 0, ( z )
z+ z z
z0
de donde para, > 0 dado, existe > 0 tal que si |z | < se tiene |r( )| < |z |.
40 El cociente de Newton se convierte q (z ) = 1 z

z +z
f (z ) d +
z =f (z )
1 z
z +z
f (z )( z ) d +
z =1 2 z f (z )0
1 z
z +z
r( ) d ,
z || |z |0
si z 0 y tomando como arco, el segmento que une z con z + z .
Corolario I.6.3 Sean D dominio simple y D1 , . . . , Dk D dominios simples con Di Dj = si i = j .

k
(D
i=1
Di ) abierto y f : C holomorfa. Entonces
D D k D 2
D
f (z ) dz =
D1
f (z ) dz +
Dk
f (z ) dz.
D 1
yD de manera Demostraci on.- Realizamos un corte del dominio simple D en dos subdominios simples: D que los bordes de ambos caminos cubran en su totalidad los bordes del dominio D y los dominios Di , i = 1, . . . , k . Por lo tanto
D
k
0=
D
f (z ) dz +
D
f (z ) dz =
D
f (z ) dz +
i=1
Di
f (z ) dz
D 1 D 2
D k
yD y la integrales se porque f es holomorfa sobre los dominios D anulan en los bordes comunes (diferentes sentidos de integraci on)
Ejemplo 4.- Consideremos D dominio simple con 0 D , D1 = {z | |z | r} con r lo sucientemente peque no de manera que D1 D y por corolario que antecede deducimos que
1 dz = z
|z |=r
1 dz = 2i. z
I.7. FORMULAS INTEGRALES DE CAUCHY
41
Corolario I.6.4 Sea C un contorno simple y a C , entonces: a Int C a Int C

1 dz = 2i, C z a 1 dz = . C z a
I.7.
F ormulas Integrales de Cauchy
Teorema I.7.1 Sea f : C holomorfa. D dominio simpler, z0 D . Entonces f (z0 ) = 1 2i f ( ) d. z0
Demostraci on.- Utilizando el corolario I.6.8 y con r > 0 lo sucientemente peque no se tiene 1 2i f ( ) 1 d = z0 2i f ( ) d z0
| z0 |=r
La parametrizaci on z0 + re2it de la circunferencia de centro z0 y radio r da 1 2i f ( ) d = z0

1
f (z0 + re2it ) dt.

0
| z0 |=r
El valor de la segunda integral es independiente de r, a condici on que la circunferencia est e dentro del dominio. Puesto que f es continua, se puede pasar al l mite r 0 y la independencia de la integral respecto a r nos conduce a que 1 2i f ( ) d = l m r 0 z0
1 1
f (z0 + re2it ) dt =
0 0
f (z0 ) dt = f (z0 ).
Teorema I.7.2 Sea f : C holomorfa, D dominio simple y z D . Entonces f es indenidamente C-derivable y n! f ( ) f (n) (z ) = d. 2i D ( z )n+1
42
Demostraci on.- Por inducci on; para n = 0 es el teorema precedente. Suponemos cierto para n 1, sea z0 D que lo dejamos jo. Como z0 D , existe r > 0 tal que D(z0 , r) = {z | |z z0 | < r} D. Consideremos el cociente de Newton y apliquemos la hip otesis de inducci on (n 1)! f (n1) (z ) f (n1) (z0 ) = z z0 2i f ( )
D
1 1 ( z )n ( z0 )n
1 d. z D(z0 , r) {z0 }. z z0
Denamos la funci on : D D(z0 , r) C dada por (, z ) =

1 1 1 f ( ) ( z )n ( z0 )n z z0 si z = z0 , f ( ) ( zn n+1 hboxsiz = z0 . 0)
La funci on es continua, lo que conduce a que

z z0
l m
f (n1) (z ) f (n1) (z0 ) z z0
= l mzz0 =
(n1)! 2i
(, z ) d
(n1)! l mzz0 (, z ) d 2i D 1)! = (n (, z0 ) d 2i D f ( ) n! = 2i D ( z0 )n+1 d.
Teorema I.7.3 (Morera) Sea f : C continua tal que para todo recorrido simple C f (z ) dz = 0,
C
entonces f es holomorfa sobre . Demostraci on.- Fijemos z0 . Planteamos F (z ) =
f (w) dw,
donde arco simple con (a) = z0 y (b) = z . Por hip otesis F (z ) no depende de que une z0 con z . Si mostramos que F (z ) = f (z ), por el teorema I.7.2 F es indenidamente derivable y por consiguiente F (z ) = f (z ) y de donde f es holomorfa. Ahora veriquemos que F (z ) = f (z ). Consideremos el cociente de Newton, para z lo sucientemente peque no, F (z + z ) F (z ) 1 = z z
z +z
f ( ) d,
z
integrado sobre el segmento z + tz , con 0 t 1. Como f es continua, para > 0 jo, existe > 0 tal que |z | < implica que |f (z ) f (z + tz )| ; de donde f (z ) 1 z
z +z
f ( ) d =
z
1 z
z +z
(f (z ) f ( )) d .
z
I.8. SERIES ENTERAS
43
I.8.
Series Enteras
En el primer a no de an alisis se estudi o a profundidad la noci on de series num ericas, al igual que las series de funciones en el ambito real. Las deniciones, propiedades son v alidas si se remplaza R por C, exceptuando la noci on de C-derivabilidad que ser a vista en esta secci on. Por consiguiente es conveniente que el estudiante no solo repase el curso de primer a no de an alis, sino que lo domine. La primera novedad Teorema I.8.1 (Weistra) Sea un dominio simple, {fn : C} una sucesi on de funciones holomorfas. Si fn f uniformemente sobre cuando n , entonces f es holomorfa y fn f uniformente sobre cuando n . Demostraci on.- Consideremos contorno simple de , por la proposici on I.5.5 se tiene f (z ) dz =
l m fn (z ) dz = l m
fn (z ) dz = 0.
El teorema de Morera implica que f es holomorfa sobre . Mostremos que fn f uniformemente. Sea z , de donde podemos encontrar r > 0 tal que D(z, r) . Aplicando la f ormula integral de Cauchy se obtiene f (z ) fn (z ) |f (z ) fn (z )| =
1 2
1 2i
f ( ) | z |=r ( z )2 1 r
d,
f ( ) | z |=r ( z )2
sup| z|=r f( ) fn (zeta) .
Por consiguiente la derivada converge uniformemente.
Recordemos lo que es una serie entera. Sea a0 , a1 , a2 , . . . una sucesi on de coeentes en C y z una variable independiente, entonces
an z n = a0 + a1 z + a2 z 2 +
n=0
(I.8.1)
se llama una serie entera. Sin ocuparnos de la cuesti on de convergencia, estas series forman el algebra C[[z ]] de las series formales. Para la convergencia, tal como se dijo se retoma las deniciones dadas en el curso de Primer A no de An alisis, con los respectivos criterios y condiciones de convergencia. Solo agregamos una f ormula para el radio de convergencia. Proposici on I.8.1 (F ormula de Hadamard) La serie de potencias con coecientes {an } C tiene como radio de convergencia 1 lim supn n |an | R= (F ormula de Hadamard) 0 si lim supn n |an | = n si lim supn |an | = 0. donde lim sup |an | = l m sup{|ak | |k n}.
n n
44
CAP ITULO I. VARIABLE COMPLEJA an z n una serie entera de radio de convergencia R > 0. Entonces:
Teorema I.8.2 Sea

n=0
i)
n=0
an z n converge uniformemente sobre |z | r, r < R. an z n diverge sobre |z | > R.
ii)
n=0
iii) f (z ) =
n=0
an z n es holomorfa sobre |z | < R. nan z n , converge uniformemente sobre |z | r, r < R.
iv) f (z ) =
n=1
Demostraci on.- Para los dos primeros puntos revisar el curso de an alisis de primer a no. Los puntos iii) y iv) son consecuencia del teorema de Weirstraenunciado m a arriba.
Denici on I.8.1 Sea f : C R, z0 , f indenidamente C derivable en z0 , la serie de Taylor de f en el punto z0 es f (k) (z0 ) ST fz0 (z ) = (z z0 )k . n!
k=0
(z0 , R) . Teorema I.8.3 ((Cauchy-Taylor)) Sea f : C holomorfa, z0 , R > 0 tal que D Entonces f (n) (z0 ) f (z ) = (z z0 )n n ! n=0 (z0 , R). uniformemente sobre D (z0 , R), esto es posible por es un abierto. Demostraci on.- Sea D un dominio simple que contiene D
Por otro lado

Las f ormulas integrales de Cauchy dan: f (z ) f

( n)
= =
1 2i
f ( ) D z
(z0 )
n! 2i
f ( ) D ( z0 )n+1
1 1 1 = = z z0 + z0 z ( z0 )(1
1 z z0 = z0 ) z0
n=0
z z0 z0
porque |z z0 | < | z0 | y adem as la convergencia es uniforme sobre el disco centrado en z0 . Por consiguiente se puede integrar t ermino a t ermino garantizando la convergencia uniforme de la serie f (z ) = 1 2i n=0
f ( ) dz (z z0 )n . ( z0 )n+1
I.8. SERIES ENTERAS
45
Figura I.8.1: Polinomio de Taylor z
z3 3
z5 5
+ +
z2 5 25
en R y en C
Remarca.-Acabamos de ver que una funci on que puede expresarse como una serie de potencias es holomorfa y lo mismo una funci on holomorfa puede expresarse como serie de potencias. Las funciones que tienen esta propiedad se llaman funciones an aliticas; es decir que son indenidamente derivables y que la serie de Taylor de la funci on coincide con la funci on en la regi on de convergencia. Remarca.-Si f : C es holomorfa, entonces el radio de convergencia de la serie de Taylor de f en el punto z0 , est a dada por dist(z0 , ), vericaci on que dejamos como ejercicio. Ejemplo 1. La funci on y = arctan x es completamente lisa para < x. y no se comprender a porque el polinomio de Taylor no funciona fuera de [1, 1], pero visto en C, recordando la secci on I.4 vemos que en la determinaci on de arctan que no est a denida para i. 2. Consideremos la determinaci on principal del logaritmo, log z =
z z d d ] 1 1+( 1) 1 z (1 ( 1) + ( 1)2 1 2 (z 1) 1)3 1)4 + (z (z + 2 3 4
) d
= (z 1)
En la gura I.8.2 se ve que la serie converge para |z 1| < 1, lo que no es sorprendente, porque en z = 0 log no est a denido.
I.8.1.
C alculos con Series Enteras
A continuaci on se enunciar a algunas propiedades de las series enteras. Proposici on I.8.2 Sean f (z ) =
n=0
an z n y g (z ) =
bn zn dos series con radios de convergencia 1 y 2

n=0
respectivamente. Entonces
f (z ) + g (z ) =
n=0 n
(an + bn )z n , ai bni zn,
(I.8.2)
f (z )g (z ) =
n=0 i=0
(I.8.3)
las dos series, la suma y la producto, tienen un radio de convergencia m n(1 , 2 ).
46
w y x y

n = 12
x w
n = 12
w y x y
n = 24
x
n = 24
Figura I.8.2: Gr acas de parte real e imaginaria de (z 1)
(z 1)2 2
(z 1)3 3
(z 1)n n
Demostraci on.- Ver demostraciones en el curso de Primer A no de An alisis.
Para determinar los coecientes de la serie cociente f (z )/g (z ), es suciente conocer la serie 1/g (z ) y se puede dividir g (z ) por el b0 = g (0) = 0 y comenzar la serie g (z ) por 1. Adem as podemos escribir los otros coecientes de la serie g (z ) con signo . Tenemos la proposici on: Proposici on I.8.3 Sea g (z ) = 1 + coecientes ci de la serie
n=1
bn z n una serie de radio de convergencia > 0. Entonces los 1 = cn z n , g (z ) n=0
satisfacen c0 = 1 y
n1
cn =
k=1
ck bnk + bn
(I.8.4)
y el radio de convergencia es no nulo. Demostraci on.- Para las relaciones recursivas dadas por (I.8.4) los productos de Cauchy de la serie producto g (z ).(1/g (z ) = 1 dar an lo deseado. Mostremos ahora, que el radio de convergencia de la serie cociente es mayor o igual a 1/2. La f ormula de Hadamard para el radio de convergencia ,asegura que la sucesi on |b1 | , |b2 |,
3
|b3 |,
son por q > , es decir |bn | q n . Insertamos sucesivamente esta mayoraci on en (II.8.4) y tenemos |c1 | |c2 | |c3 | |c4 | . . . q, q 2 + q 2 = 2q 2 , 2q 3 + q 3 + q 3 = 4q 3 , 4q 4 + 2q 4 + q 4 + q 4 = 8q 4
De donde aplicando el criterio de la ra z n-sima, se tiene que 1/g (z ) converge para |z | < 1/(2q ).
I.8. SERIES ENTERAS

F(w)
47
(z)
Figura I.8.3: Composici on de Series
Aparte de las operaciones aritm eticas con series, se tiene la composici on de series enteras. Para ubicar el problema, consideramos las series

f (z ) =
k=0
an z n ,
g (w) =
k=1
bn w n ,
observamos que b0 = 0, para asegurar que g (0) = 0 y buscamos determinar los coecientes cn de la serie F (w) = f (g (w)). Insertamos la segunda serie en la primera serie y se reordena la serie en potencias de w: F (w) = a0 + a1 (b1 w + b2 w2 + b3 w3 + ) + a2 (b1 w + b2 w2 + b3 w3 + )2 + 2 3 3 = a0 + a1 b1 w + (a1 b2 + a2 b2 1 )w + (a1 b3 + 2a2 b1 b2 + a3 b1 )w + 2 3 4 = a0 + c1 w + c2 w + c3 w + c3 w +
Observamos nuevamente que los coecientes de la nueva serie son determinados recursivamente por expresiones nitas, gracias a que b0 = 0, de coecientes conocidos. Para justicar que los reordenamientos son correctos y la prueba que la serie tiene un radio de convergencia no nulo, mediante el criterio de la serie mayorante. Nuevamente la formula de Hadamard conduce a que |an | q n y |bn | pn .
Substituimos z = pw + p2 w2 + p3 w3 + = pw/(1 pw) para |w| < 1/p. Remplazamos z en la serie doble obteniendo la mayoraci on para la serie doble dada por 1 + qz + qz 2 + = 1/(1 qz ) siempre y cuando |z | < q . Remplazando en la mayoraci on de la segunda serie, obtemos una mayoraci on en funci on de w dada por 1 1 , pw = (1 pw ) 1 q 1 1 ( q + 1)pw pw mayoraci on v alida si |w| < 1/(p(q + 1)). Otro problema es el c alculo de la serie entera de la funci on inversa de una serie entera. Sea w = f (z ) con w0 = f (z0 ) dada por un desarrollo w w0 = a1 (z z0 ) + a2 (z z0 )2 + a3 (z z0 )3 + . Se busca el desarrollo de la funci on inversa z = g (w) bajo la forma z z0 = b1 (w w0 ) + b2 (w w0 )2 + b3 (w w0 )3 + .
48
Despue es de realizar traslaciones al origen, podemos suponer que z0 y w0 ubicados en el origen, se tiene por consiguiente w = f (g (w)) y utilizamos el reordenamiento de la serie composici on en potencias de w. Se obtiene 2 3 3 w = a1 b1 w + (a1 b2 + a2 b2 1 )w + (a1 b3 + 2a2 b1 b2 + a3 b1 )w + comparando coecientes, se tiene 1 = a1 b1 0 = a1 b2 + a2 b2 1 0 = a1 b3 + 2a2 b1 b2 + a3 b3 1 . . . 0 = a1 bn + valores conocidos b1 b2 b3
bn .
La discusi on de la convergencia utilizando el criterio de la serie mayorante es posible, ver H. Cartan I.2.9, pero muy complicada. La cuesti on de la convergencia ser a resuelta utilizando una ecuaci on diferencial. Sea F (w) = a0 + a1 w + a2 w2 + a3 w3 + una funci on dada, se busca una funci on w = f (z ) con dw = F (w), dz w(0) = 0,
remarcando que la traslaci on del sistema de coordenadas al valor inicial ha sido ya realizada. Se plantea, como de costumbre, w = b1 z + b2 z 2 + b3 z 3 + e remplazamos en la ecuaci on diferencial. Se tiene b1 + 2b2 z + 3b3 z 2 + = a0 + a1 (b1 z + b2 z 2 + ) + a2 (b1 z + b2 z 2 + )2 + . Comparamos los coecientes de la serie del lado izquierdo, con la del lado derecho, de donde b1 b2 b3 . . . = a0 , 1 a1 b1 , = 2 1 = (a1 b2 + a2 b2 1 ), 3
En este caso el an alisis de la convergencia es sencillo, mayoramos los bi pasando a los modulos los ai y remplazando los aj por una cota, proe ejemplo |aj | q j . Esto quiere decir que hemos resuelto la ecuaci on diferencial dw 1 = (1 + wq + w2 q 2 + ) = , w(0) = 0. dz 1 wq Esta u ltima ecuaci on es de tipo separable, ver curso de Primer A no de An alisis, obteniendo como soluci on, despues de integrar e despejar w, teniendo el cuidado de vericar w(0) = 0, se obtiene 1 1 2qz w= q soluci on, cuya serie converge para |z | < 1/(2q ). Regresemos al caso de determinar la serie de la funci on inversa de w = f (z ) = a1 z + a2 z 2 + . Se tiene dw = a1 + 2a2 z + 3a3 z 2 + , dz por lo tanto, para la funci on inversa, se tiene dz 1 = = b 0 + b1 z + b 2 z 2 + , dw a1 + 2a2 z + 3a3 z 2 + (I.8.5)
I.8. SERIES ENTERAS
49
donde los coecientes bi se calculan mediante la serie cociente y esta serie como se ha visto converge. (I.8.5) es una ecuaci on diferencial que la resolvemos mediante el algoritmo planteado m as arriba. Remarca.- En muchos casos solo se requiere determinar los primeros coecientes de una serie, por lo que es conveniente en estos casos utilizar desarrollos en serie limitados a un n umero nito de terminos y utilizar la notaci on o y O.
I.8.2.
Teoremas de Unicidad y Prolongamiento An alitico
Denici on I.8.2 Sea f : C holomorfa, z0 . f tiene un cero de orden k en z0 si f (z0 ) = f (z0 ) = = f (k1) (z0 ) = 0 y f (n) (z0 ) = 0.
Proposici on I.8.4 f : C holomorfa, f tiene un cero de orden k en z0 si y solamente si existe g : C holomorfa con g (z0 ) = 0 tal que f (z ) = (z z0 )k g (z ).
Teorema I.8.4 Sea C abierto conexo y f : C holomorfa. Si f 0, entonces todos los ceros de f son puntos a slados; es decir, si f (z0 ) = 0 r > 0 tal que |z z0 | < r f (z ) = 0 z = z0 .
Demostraci on.- Mostraremos la contrarec proca existe un cero no aislado de f , entonces f es identicamente nula Si z0 el cero no aislado de f , entonces para todo disco D(z0 , r) f |D(z0 ,r) 0. En efecto, como D(z0 , r) , f puede escribirse como serie f (z ) = a0 + a1 (z z0 ) + a2 (z z0 )2 + , para |z z0 | < r. Se tiene queak = 0 para todo k , sino sea k el entero m as peque no tal que ak = 0 obteniendo f (z ) = (z z0 )k (ak + ak+1 (z z0 ) + ) = (z z0 )k g (z ). g (z ) es holomorfa sobre el disco D(z0 , r) y g (z0 ) = ak . Por continuidad de g g (z ) es diferente de 0 en un vecindario de z0 , por lo tanto z0 ser a un cero aislado, lo que contradice que z0 no sea un cero aislado. Como ak = 0 para todo k , se tiene f (z ) = 0 sobre el disco D(z0 , r). Ahora mostremos que f (z ) = 0 para todo z . Sea z0 un cero no aislado. Puesto que es un abierto conexo, tambi en es conexo por arcos. Sea : [0, 1] R un arco tal que (0) = z0 y (1) = z .
50
Consideremos el subconjunto I = {t [0, 1]|f |[0,t] 0} [0, 1]. I = porque 0 I . Por consiguiente al ser I no vacio y acotado admite un supremo . > 0, en efecto en un disco D(z0 , r) la restricci on de f en la porci on del arco incluida en el disco es identicamente nula. z1 = ( ) es un cero de f por la continuidad de y f , en efecto es sucente hacer tender t a por la izquierda. = 1, porque si < 1, se tendr a que z1 = z , en cualquier disco D(z1 , r) z1 no es un cero aislado, por lo que f es identicamente nula en este disco y en particular en la porci on del arco incluida en ese disco y por lo tanto no ser a el supremo de I .
Corolario I.8.1 Sea C un abierto conexo, f, g : C holomorfas. Si E = {z |f (z ) = g (z )} = y contiene un punto no aislado en E mismo, entonces f g . Corolario I.8.2 Sea C un abierto conexo, f : C holomorfa. Si existe z0 tal que f (k) (z0 ) = 0 para todo k 0, entoces f 0. En base al teorema precedente y el primer corolario se tiene las bases para el principio de prolongamiento an alitico. Consideremos una funci on f : C holomorfa, donde es un abierto. Sea z0 . Por consiguiente, f puede escribirse como una serie entera alrededor de z0 ,
f (z ) =
n=0
an (z z0 )n ,
|z z0 | < ,
donde > es el radio de convergencia de la serie. Sea z1 = z0 un punto dentro el disco |z z0 | < , entonces la substituci on z z0 = z z1 + (z1 z0 ) en la serie permite

f (z )
=
n=0
an (z z0 )n =
n=0
an ((z1 z0 ) + (z z1 ))n n+k n an+k (z1 z0 )k
=
m=0
(z z1 )n
k=0
=
n=0
bn (z z1 )n .
Remarcamos que las series de la primera la y la tercera la son reordenamientos de la serie de la segunda la que es una serie doble. El reordenamiento est a permitido porque para z jo con |z1 z0 | + |z z 1| < la serie doble converge absolutamente; en efecto
|an | (|z z1 | + |z1 z0 |)

n=0
I.8. SERIES ENTERAS

51
Figura I.8.4: Principio del Prolongamiento An alitico converge absolutamente. La conclusi on es que si |z z1 | < |z1 z0 |, la serie
n
bn (z z1 )n converge y representa la misma
funci on f (z ). Pero es posible que el radio de convergencia sea mayor que |z1 z0 | y por lo tanto converga en una regi on fuera del disco inicial. Viendo la Figura I.8.4, la funci on f (z ) ha sido prolongada de manera u nica. Este procedimiento puede ser repetido y permite llenar una regi on de m as en m as hasta llegar a un borde natural. La unicidad del prolongamiento se garantiza en tanto que los discos llenan un dominio simplemente conexo (sin huecos).
I.8.3.
Otros Resultados de las Funciones Holomorfas
Por lo que se ha visto hasta ahora, las funciones holomorfas tienen un comportamiento ejemplar y previsible, nada que ver con la palabra compleja. A continuaci on presentamos una serie de teoremas que mostrar an cu an poderosa es la teor a de las funciones complejas. Teorema I.8.5 (Desigualdad de Cauchy) Sea f : C holomorfa, donde es un abierto, z0 , R > 0 con D(z0 , R) y M > 0 tal que f (z ) M para todo z D(z0 , R).
f (z ) =
n=0
an (z z0 )n ,
|z z0 | < R,
Entonces: i) |an | M . Rn M , entonces an = 0 para todo n = n0 , es decir f (z ) = an0 (z z0 )n0 . R n0
ii) Si existe n0 con an0 =
Demostraci on.- Sin perder generalidad podemos suponer que z0 = 0. Sea < < R y planteamos I () = 2 i 2 f ( e ) d. Tenemos 0
f (ei )
=
n=0
an n eni ,
52
2
CAP ITULO I. VARIABLE COMPLEJA an n eni

0 n=0 2 m=0
I ()
= =
m,n=0
am m emi ei(nm) d
0
an a m m+n
2 0
si sino
m=n
= Haciendo R, se tiene
2
n=0
|an | 2n 2M 2 ,
< R.
|an | R2 M 2 |an |
n=0
M . Rn
Los c alculos en la doble serie est an justicados porque trabajamos con una serie absolutamente convergente.
Denici on I.8.3 Una funci on entera es una funci on f (z ) holomorfa sobre todo el plano complejo C.
Teorema I.8.6 (Teorema de Louiville) Toda funci on entera y acotada es constante. Demostraci on.- Sea M la cota es decir |f (z )| M para todo z C. Para todo R > 0 por la desigualdad de Cauchy se tiene, para n 1 M |an | n an = 0, R de donde f (z ) = a0 .
Teorema I.8.7 (Teorema del Valor Medio) Si f es holomorfa en un disco de radio r y centro z , entonces
f (z ) =
12
0
f (z + rei ) d.
. Si un punto c D es un punto Proposici on I.8.5 Sea f holomorfa en un disco abierto D, continua en D m aximo de |f (z )|, entonces f es constante en un vecindario de c.
I.8. SERIES ENTERAS
53
Demostraci on.- Si f (c) = 0 el resultado es evidente. Sino planteamos M = |f (c)|. La hip otesis sobre c implica que exista R > 0 tal que para todo 0 < r < R se tenga |f (z )| < M para z = c + rei , 0 2 .
(0, M ). Mediante una rotaci Observemos la imagen de esta circunferencia ubicada en el disco D on llevamos f (c) al eje real y despues de la sustracci on g () = f (z ) f (c) = f (c + rei ) f (c) este punto se convierte el origen, ver gura m as arriba. Por el teorema del valor medio
2
g () d = 0.
0
(M, M ), por lo que (g ()) 0, salvo si g () = 0. La continuidad de g y el valor de La curba g () D (M, M ) en la integral implican que (g () = 0 para todo . Ahora bien, el u nico punto, donde el disco D cuesti on toca el eje imaginario es O. De esta manera g () = 0 y como f (z ) es constante sobre el borde de D(c, r) la continuidad de f implica que f sea constante en este disco.
Teorema I.8.8 (Principo del M aximo) Sea f : C holomorfa no constante, D dominio simple, entonces para todo z0 D |f (z0 )| < sup |f (z )| .
z D
Demostraci on.- Sea M = sup |f (z )|. Si los puntos m aximos se encuentran sobre D, entonces el teorema es correcto, sino existe c D con |f (c)| = M . Consideremos el conjunto E = {z D|f (z ) = f (c)}, ahora bien por la continuidad de f E es cerrado en D y por la proposici on precedente E es abierto en D, como D es un dominio simple, por lo tanto conexo, E = D lo que contradice la hip otesis de que f no es constante.
z D
Teorema I.8.9 (Fundamental del Algebra) Todo polinomio de grado mayor o igual a 1 y coecientes complejos P (z ) = an z n + an1 z n1 + + a0 existe un z C tal que p(z ) = 0. Demostraci on.- Supongamos que el teorema no es correcto; es decir que existe un polinomio de grado mayor o igual a 1 p(z ) que no admita raices. Por lo tanto p(z ) = 0 para todo z y la funci on f (z ) = 1/p(z ) es entera.
54
g(z)
ap()

Figura I.8.5: Demostraci on Teorema de la Aplicaci on Abierta Por otro lado, se tiene que
z
l m f (z ) = 0,
(0, R) aplicamos el principio lo que signica que existe R > 0 tal que |z | > R |f (z )| < 1. Para el disco D del maximo, con lo que la funci on f (z ) es acotada. El teorema de Liouville implica que f (z ) es constante, lo que contradice que p sea un polinomio de grado mayor o igual a 1.
Teorema I.8.10 (Teorema de la Funci on Abierta) Sea un abierto y f una funci on holomorfa no constante, entonces para todo abierto U f (U ) es un abierto. Demostraci on.- Se debe mostrar que la imagen de un disco D(z0 , ) contiene un disco D(f (z0 ), ). En el caso en que f (z0 ) = 0, la funci on es biyectiva en un vecindario de z0 y el resultado es trivial. El caso f (z0 ) = 0, si es necesario realizar traslaciones, suponemos que z0 = 0 y f (z0 ) = 0 Sea an (n 2) el primer termino no nula de la serie de Taylor de f alrededor de 0. Podemos escribir f (z ) = an z n (1 + b1 z + b2 z 2 + ). Veamos el caso en que todos los bk = 0. f (z ) actua sobre un disco de radio convirti endolo en un disco de radio = |an | n , recorriendolo n veces. Es decir cada punto del disco D(0, ), a excepci on del origen, tiene exactamente n preim agenes. El caso en que existen bk no nulos, para |z | lo sucientemente peque no, utilizando la serie binomial de Newton, ver Curso Primer A no de An alisis, se tiene (1 + b1 z + b2 z 2 + )1/n = 1 + c1 z + c2 z 2 + , de donde f (z ) = an (z (1 + c1 z + c2 z 2 + ))n = an (g (z ))n . > 0 tal que D(0, ) g (D(0, )). Por u Sea > 0, como g (0) = 0, exite ltimo, al elevar a la potencia n n . estamos en el caso en que los bk son nulos. Por consiguiente = |an |
I.9. SERIES DE LAURENT
55
I.9.
Series de Laurent
En la secci on precedente hemos estudiado el hecho que las funciones que son holomorfas sobre un disco, admiten desarrollos en serie de potencias. En esta secci on se pretende generalizar este desarrollo en serie de potencias a regiones m as generales. Denici on I.9.1 Sean a C, 0 r < R. La corona de centro a, radio inferior r y radio superior R es el conjunto C(a, r, R) = {z Z|r < |z a| < R}.
Considermos una funci on f (z ) holomorfa sobre una corona C(a, r, R), planteamos
ak =
1 2i
f ( ) d, ( a)k+1
(I.9.1)
donde C es un recorrido cerrado dentro la corona, a Int C .
ak no depende de C , consecuencia de uno de los corolarios del teorema de Cauchy. La serie de Laurent de f respecto a la corona C(a, r, R) es
k=+
ak (z a)k =
k= k=1
ak (z a)k +
k=0
ak (z a)k .
(I.9.2)
Teorema I.9.1 Sean 0 R1 < R2 +, a C y f holomorfa sobre la corona C(a, R1 , R2 ). Entonces para todo 1 , 2 con R1 < 1 2 < R2 , se tiene
k=+
f (z ) =
k=
ak (z a)k
uniformemente sobre 1 |z a| 2 .
Demostraci on.- Sean 1 , 2 con R1 < 1 2 < R2 , como la corona C(a, R1 , R2 ) es un conjunto abierto,
56 existen 1 y 2 tales que
R1 < 1 < 1 < 2 < 2 < R2 . Sea z {z |1 |z a| 2 . Para r > 0 lo sucientemente peque no D(z, r) C(a, 1 , 2 ). Por lo tanto, de acuerdo a otro colorario del teorema de Cauchy sobre integrales, se tiene f ( ) d = z f ( ) d + z f ( ) d. z

| z |=r
Por otro lado, la f ormula integral de Cauchy da f (z ) = 1 2i

| z |=r
f ( ) 1 d = z 2i
f ( ) d z
f ( ) d . z
Sobre 2 , es decir la circunferencia de centro a y radio 2 , se tiene 1 1 1 = = z ( a) (z a) ( a) 1 Como

z a a z a a
2 2
< 1, se tiene que 1 1 = z a

k=0
za a
(a, 2 ), se tiene uniformente. Por consiguiente, al existir convergencia uniforme sobre el disco D 1 2i f ( ) d = z
k=0
1 2i
f ( ) d (z a)k . ( a)k+1
ak , k0
Sobre 1 , es decir la circunferencia de centro a y radio 1 , se tiene 1 1 1 = = z ( a) (z a) (z a) 1 Como

a z a a z a
1 1
< 1, se tiene que 1 1 = z za

k=0
a za
uniformente. Por consiguiente, al existir convergencia uniforme sobre {z | |z a| 1 }, se tiene 1 2i f ( ) d = z

k=1
1 2i
f ( ) d (z a)k . ( a)k+1
ak , k1
57
k=
Proposici on I.9.1 Si f (z ) =
k=
Ak (z a)k en una corona C(a, r, R), entonces 1 2i f ( ) d, ( a)k+1
Ak =
donde C es un contorno simple en la corona C(a, r, R), en cuyo interior se encuentra a.
Demostraci on.- Dejamos al estudiante la justicaci on de los c alculos, se tiene al = 1 2i 1 2i

k= k=
f ( ) d ( a)l+1
k=
Ak ( a)k d = ( a)k d = Al . ( a)l+1 0 2i k=l k=l
k= C
( a)l+1
C =
Ak 2i
Al igual que las series enteras, con las series de Laurent, en lugar de utilizar la f ormula integral (I.9.1) para determinar la serie de Laurent de una funci on es preferible utilizar propiedades de series y series ya conocidas. Ejemplos 1. Consideremos la funci on f (z ) = 1 . Esta funci on no est a denida en z = i y z = i. Determinemos 1 + z2 la serie de Laurent en la corona C(i, 0, 2) = {z |0 < |z i| < 2}, remarcando que existen otras tres coronas donde se puede desarrollar en serie de Laurent la funci on f (z ). Se tiene 1 1 + z2 = = Como |z i| / |2i| < 1, se tiene 1 1 = (z + i)(z i) zi 1 2i
k=0
1 1 = (z + i)(z i) zi 1 1 1 i z i 2i 1 + z2 i
1 z i + 2i .
(1)k (z i)k (2i)k
=
k=1
(1)k+1 (z i)k . (2i)k+2
2. Consideremos la funci on f (z ) = 1z (z ) y hallemos las series de Laurent para las coronas 0 < |z | < 1 y la corona 1 < |z |.
58 3. Como |z | < 1, se tiene 1 1 = z (z 1) z en la corona 0 < |z | < 1. Para la corona |z | > 1, se tiene 1 1 1 = 2 = 2 1 z (z 1) z z (1 z ) 1+
k=0
1 zk = 1 z z2 . z
1 1 + 2 + z z
1 1 1 + 3 + 4 + . 2 z z z
I.9.1.
Puntos Singulares Aislados de Funciones Holomorfas

k=1
Consideremos una funci on holomorfa sobre una corona de radio inferior 0, {0 < |z a| < R}, sea f (z ) =
k=
ak (z a)k +
k=0
ak (z a)k
parte principal la serie de Laurent respecto a la corona C (a, 0, R). De acuerdo al comportamiento de la parte principal de la serie de Laurent, podemos clasicar el punto a: i.- ak = 0 para k < 0 (la parte principal de la serie de Laurent es nula), en este caso f es holomorfa sobre el disco D(a, R) y se dira que a es una singularidad suprimible. Por ejemplo sin z z tiene 0 como singularidad suprimible. ii.- Existe k0 < 0 tal que ak0 = 0 y ak = 0 para k < k0 , (la parte principal contiene un n umero nito de t erminos no nulos). En este caso, la serie de Laurent es
f (z ) = ak0 (z a)k0 + ak0 +1 (z a)k0 +1 + a1 (z a)1 +

k=0
ak (z a)k .
Se dira que a es un polo de orden k0 . iii. Existe una innidad de k < 0 con ak = 0, (la parte principal contiene una innidad de t erminos no nulos). Se dir a que a es una singularidad esencial. Por ejemplo, para 0 < |z |
e1/z =
k=0
1 k!
1 z
Proposici on I.9.2 Sea f : {z |0 < |z a| < r} C holomorfa, entonces f posee un polo de orden n en a si y solamente si 1/f posee un cero de orden n en a. Demostraci on.- Se tiene f (z ) = an (z a)n + an+1 (z a)n+1 + = h(z )(z a)n .
59
h(z ) es holomorfa sobre todo el disco D(a, r) y h(a) = an = 0. Por consiguiente, f tiene un polo de orden n, si y solamente si h(z ) es holomorfa y h(a) = 0, si y solamente si 1 1 = (z a)n , f (z ) h(a) si y solamente si 1/f tiene un cero de orden n.
Corolario I.9.1 f posee una singularidad esencial en a, si y solamente si 1/f posee una singularidad esencial en a.
Proposici on I.9.3 Sea f : {z |0 < |z a| < r} C holomorfa. Si f es acotada, entonces la singularidad es suprimible. Demostraci on.- Consideremos la serie de Laurent de f en la corona {z |0 < |z a| < r}
k=
f (z ) ak
=
k=
ak (z a)k , 1 2i
| a|=
f ( ) d, ( a)k+1
con O < < r. Si f es acotada, existe M > 0, tal que |f (z )| M , por consiguiente 1 2
| a|=
|ak | =
f ( ) 1 M M d 2 = k . ( a)k+1 2 k+1
Para k < 0, hacemos tender 0, lo que conduce |ak | = 0.
Corolario I.9.2 Si f posee una singularidad esencial en a, entonces existe una sucesi on zn a tal que f (zn ) 0. Demostraci on.- Por el absurdo, supongamos lo contrario; es decir que toda sucesi on zn a verica f (zn ) 0. Esto es posible, si existe > 0 tal que > 0, se tiene 0 < |z a| < |f (z )| . Sino ser a posible construir una sucesi on con las caracter sticas se naladas. Por lo tanto, tomemos > 0 con f holomorfa sobre 0 < |z a| < , se tiene que |1/f (z )| sobre 0 < |z a| < , de donde 1/f es acotada y a es una singularidad suprimible de acuerdo a la proposici on precedente. Lo que conduce a una contradicci on.
60
Corolario I.9.3 f posee una singularidad esencial en a, entonces para todo c C, existe una sucesi on zn a tal que f (zn ) c.
Demostraci on.- Planteamos g (z ) = f (z ) c y aplicacmos la proposici on precedente.
I.10.
Residuos y Aplicaciones
El concepto de residuo y sus aplicaciones provienen de manera natural de las Series de Laurent. Consideremos un abierto C, un conjunto D discreto y sea f : D C holomorfa. Por lo tanto, si z es un punto singular de f , entonces existe r > 0 tal que f es holomorfa sobre la corona C(z , 0, r) y la serie de Laurent respecto a esta corona es
k=
f (z ) =
k=
ak (z z )k ,
si z D, entonces la serie de Laurent se confunde con la serie de Taylor alrededor de x . Denici on I.10.1 Sea f : D C holomorfa, donde D es un conjunto discreto. El residuo de f en el punto z es Resz=z (f ) = a1 (z ) = 1 2i
| z |=
f ( ) d,
con > 0 lo sucientemente peque no.
Teorema I.10.1 (Teorema de los Residudos) Sea f : D C holomorfa, donde D es un conjunto discreto C contorno simple con C D = , entonces
z D z int C
f ( ) d = 2i
Resz=z (f )
(I.10.1)
Demostraci on.- int C es un conjunto acotado, se tiene D int C es un conjunto a lo m as nito. Por
I.10. RESIDUOS Y APLICACIONES consiguiente D int C = {z1 , z2 , . . . , zn }. Por corolario del teorema de Cauchy se tiene
61
f ( ) d
=
k=1| z |= k k n
f ( ) d
= 2i
k=1
Resz=zk (f ) .
I.10.1.
C alculo de Residuos
Si bien, el residuo de una funci on f en punto a est a denido mediante una integral, la utilizaci on de residuos se justica para el c alculo de integrales por medio del teorema del residuo. Por consiguiente, la determinaci on del residuo en un punto singular pasa por la determinaci on de la serie de Laurent alrededor del punto aislado. Polos Simples En este caso f (z ) = a1 (z a)1 +
k=0
ak (z a)k .
Ahora bien, la funci on (z a)f (z ) = a1 + a0 (z a) + es holomorfa en z = a, de donde a1 = l m (z a)f (z ).

z a
Ejemplos 1. Consideremos la funci on f (z ) = 1/ sin z , esta tiene un polo simple en el origen, Resz=0 ( 1 z ) = l m = 1. z 0 sin z sin z
2. Sup ongamos que la funci on f (z ) es de la forma f (z ) = P (z ) , Q(z )R(z )
con P (a) = 0, R(a) = 0, Q(a) = 0 y Q (a) = 0, en este caso, se tiene Resz=a (f (z )) = l m

z a
P (z )(z a) = l m z a Q(z )R(z )
P (z )
Q(z )Q(a) R(z ) z a
P (a) . Q (a)R(a)
62
CAP ITULO I. VARIABLE COMPLEJA Como ilustraci on, consideremos f (z ) = cot z , esta funci on tiene polos simples en z = k con k entero, z sabiendo que cot z = cos , los residuos en los polos simples zk = k , est an dados por sin z Resz=zk (cot z ) = cos(k ) = 1. cos(k )
Polos de orden superior Supongamos que f tiene un polo de orden n en el punto a, el desarrollo de la serie de Laurent alrededor de este polo est a dada por f (z ) = an (z a)n + + a1 (z a)1 + a0 + a1 (z z0 ) + . La funci on g (z ) = f (z )(z a)n es holomorfa alrededor de a, por que a es una singularidad suprimible para g . El desarrollo en serie de potencias alrededor de a de la funci on g es por consiguiente g (z ) = an + + a1 (z a)n1 + . El residuo buscado de f es el coeciente del t ermino de grado n 1, por consiguiente Resz=a (f (z )) = 1 dn1 (g (z ))z=a . (n 1)! dz n1
Ejemplo 3.- Consideremos la funci on f (z ) = 1/(1 + z 2 )n , que tiene polos de orden n en z = i. Calculemos el residuo en z = i. Se tiene g (z ) a1 = f (z )(z i)n = = 1 = (z + i)n , (z + i)n 1 (z + i)n z=i = (n) (n 1) (2n + 2)(i + i)2n+1 , (n 1)!
1 dn1 (n 1)! dz n1 (2n 2)! = i 2n1 . 2 ((n 1)!)2
Ahora bien, calcular la n 1-sima derivada de una funci on, generalmente no es una tarea simple por lo que tambi en es u til realizar desarrollos de series de Laurent limitados a un n umero nito de t erminos. Ejemplo 4.- La funci on csc3 z tiene un polo de orden 3 en el origen. Realizando desarrollos en serie de potencias limitados a un n umero nito de t erminos, se tiene csc3 z = (z z 3 /3! + O(z 5 ))3 = z 3 (1 z 2 (1/3! + O(z 2 )))3 3 = z 3 (1 ( )z 2 (1/3! + O(z 2 )) + ) 1 1 = z 3 (1 + z 2 /2 + ) = z 3 + z 1 + . 2 Resz=0 (csc3 z ) = 1 . 2
de donde
I.10. RESIDUOS Y APLICACIONES
63
I.10.2.
C alculo de Integrales
Una de las aplicaciones de los residuos est a dada por el c alculo de integrales denidas y/o impropias reales. A continuaci on veremos algunas situaciones t picas, en las cuales la utilizaci on de residuos permite facilmente evaluar integrales. 1. Integrales del tipo: 0 R(cos , sin ) d Donde R(x, y ) = P (x, y )/Q(x, y ), P (x, y ) y Q(x, y ) polinomios. Suponemos adem as que Q(cos , sin ) = 0 para todo [0, 2 ]. Planteando z = ei y la circunferencia unitaria, la integral se convierte
2 2
R(cos , sin ) d =
0
z + z 1 z z 1 , 2 2i
dz . iz
Ejemplo
5.- Consideremos la integral, con |a| > 1,

2 0
1 d, a + cos
que mediante la transformaci on dada m as arriba, se convierte en
1 d = 2i a + cos
z2
1 dz + 2az + 1
Ahora bien f (z ) = 1/(z 2 + 2az + 1) tiene un polo simple al interior de la circunferencia dado por z1 = a + a2 1, que dicho sea de paso es real. El residuo de f (z ) en z1 es Resz=z1 (f (z )) = 1 1 , = 2z1 + 2a 2 a2 1
aplicamos el teorema de los residuos y obtenemos

2 0
2 1 1 = . d = (2i)(2i ) 2 a + cos 2 a 1 a2 1
2. Integrales del tipo:
R(x) dx
64
CAP ITULO I. VARIABLE COMPLEJA Donde R(x) = P (x)/Q(x), P (x) y Q(x) polinomios con Q(x) = 0 para todo x R. Si por ejemplo deg P (x) + 2 deg Q(x), se tiene l m zP (z )/Q(z ) = 0.
z
Por consiguiente la integral impropia en cuesti on existe y ademas

+ r
R(x) dx = l m

r +
R(x) dx.
r
Observando la gura, si es el contorno cerrado, Cr la mitad de la circunferencia, se tiene

r
R(x) dx =
r
R(z ) dz
Cr
R(z ) dz,
Pasando al l mite, se verica R(z ) dz r m ax |P (z )/Q(z )| 0 cuando r

Cr z Cr
Para el contorno , el teorema de los residuos da

r
l m
R(z ) dz = 2i
zi polo zi >0
Resz=zi (R(z )),
de donde
R(x) dx = 2i
zi polo zi >0
Resz=zi (R(z )).
Ejemplo 6.- La integral impropia

1 (2n 2)! dx = 2n2 (1 + x2 )n 2 ((n 1)!)2
(I.10.2)
porque i es un polo de orden n, el u nico que se encuentra en el semiplano complejo superior y utilizando el resultado del ejemplo 3 se llega al resultado enunciado. 3. Integrales del tipo f (x)eiax dx Donde f (z ) 0 cuando z . Para resolver este tipo de integrales, al igual que se ha hecho en el caso precedente, la idea es construir un contorno en el semiplano superior o inferior, de manera que el recorrido que no se encuentra sobre la recta real tienda a O y aplicar el teorema de los residuos. Consideremos el caso en que a > 0, usualmente se toma semicircunferencias para construir un contorno; esta vez, trabajaremos sobre un rect angulo, observando la gura de la derecha, se tienen 1 , 2 y 3 arcos simples que no est an sobre la recta real. Para 1 , se tiene
1

f (z )eiaz dz M (R)
1 0
eaRt R dt = M (R)
1 eaR a
I.10. RESIDUOS Y APLICACIONES
65
donde M (R) = m ax |f (z )| 0 cuando R 0. De esta manera la integral sobre 1 tiende a 0 cuando R . Similarmente la integral sobre 3 tiende a 0. Para el arco 2 , se tiene la mayoraci on
R
f (z )eiaz dz M (R)
2 R
eR dt = 2M (R)eR R 0
cuando R 0. Para a < 0 se procede de la misma manera, pero tomando el rect angulo en el semiplano inferior. Ejemplo 7.- Determinar

sin x x
dx.
La funci on f (z ) = sin z/z tiene una singularidad (suprimible en z=0), por consiguiente

sin x x
dx = l m
R 0+
sin x x
dx +
sin x x
dx .
Ahora bien, en lugar de considerar el intervalo [R, R] como habitualmente hemos hecho, consideramos el recorrido dado por = [R, ] + C + [, R], ver gura. Se tiene

sin x x
dx +
sin x x
dx =
sin z x
dz
C
sin z z
dz.
Por otro lado sin z = (eiz eiz )/2i, por lo que sin z x dz =
eiz eiz dz int dz. 2iz 2iz
Para eiz /2iz agregamos a un recorrido, de manera que obtengamos un rect angulo en el semi plano superior. Esta funci on tiene un polo simple en z = 0, de donde eiz dz = 2i Resz=0 (eiz /(2iz )) = . 2iz
Para eiz /2iz agregamos a un recorrido, de manera que obtengamos un rect angulo en el semiplano inferior, esta funci on no tiene polos en el interior del rectangulo, por lo tanto eiz dz = 0 2iz
Hacemos tender R y 0+ , obteniendo

sin x x
dx = .
4. Integrales del tipo 0 x f (x) dx Donde 1 < < 1 y f (z ) es una funci on holomorfa que no se anula sobre el semieje positivo real, z 1+ f (z ) 0 cuando z y que satisface (xei2 ) f (xei2 ) = xf (x). (I.10.3)
66
CAP ITULO I. VARIABLE COMPLEJA Para encontrar el valor de la integral, consideramos el recorrido
= 1 + 2 + 3 + 4 ,
donde 1 es el segmento de origen > 0 y llegada R > 0, 2 es la circunferencia de radio R, 3 es el segmento de origen R y llegada y nalmente 4 es la circunferencia de radio . La condici on sobre z 1+ f (z ) cuando z hace que la integral sobre 1 tienda a 0 cuando R . La condici on 1 < < 1 hace que la integral sobre 4 tienda a 0 cuando 0+ . Aplicando el teorema de los residuos sobre el contorno , se tiene z f (z ) dz = 2i
zi polo zi =0
zi Resz=zi (f (z )),
(I.10.4)
tomando como determinaci on del logaritmo, aquella en que arg(1) = . Gracias a I.10.3, la integral sobre 3 , vale
R
(xei2 ) f (xei2 ) dx =
R
x f (x) dx.
Por lo tanto, haciendo tender R y 0+ , y utilizando I.10.4, se obtiene
(1 )
0
x f (x) dx = 2i
zi polo zi =0
zi Resz=zi (f (z )).
Suponiendo que = 0, se deduce facilemente que

0
x f (x) dx =
2i 1
zi Resz=zi (f (z )).
zi polo zi =0
Ejemplo 8.- Determinar la integral de Euler

0
xa1 dx 1 + xb
0 < a < b.
(I.10.5)
Observando el contorno, para este tipo de integrales, la condici on a > 0 asegura que la integral sobre 4 tienda a 0 cuando tiende a 0 y la condici on a < b asegura que la integral sobre la circunferencia de radio R tienda a 0 cuando R . Sin embargo, es muy posible que en esta integral no se pueda cumplir la condici on I.10.3; por lo
I.10. RESIDUOS Y APLICACIONES que, en lugar de elegir el contorno sugerido m as arriba, elegimos otro contorno.
67
La novedad consiste en tomar como 3 el segmento de recta de direcci on dada por ei donde = 2/b. Existe un u nico polo simple en el interior del contorno dado por z = ei/2 . Haciendo tender a 0 y R al innito, se tiene (1 ei(a1) )
0
xa1 ei(a1)/2 eia/2 dx = 2 i = 2 i 1 + xb b bei(b1)/2
porque eib/2 = 1. Por lo tanto

0 0
xa1 eia/2 pi 1 . dx = 1ei(a1) = b b sin a 1+x b b

2i
5. Integrales del tipo log xR(x) dx Donde R(x) = P (x)/Q(x) es una funci on racional que no se anula sobre el semi eje real positiovo y deg P + 2 deg Q. Para resolver esta integral consideramos la funci on f (z ) = log2 z R(z ),
(I.10.6)
con determinaci on del argumento dada por arg(1) = y el contorno de la gura de la izquierda. Mayoremos las integrales sobre los diferentes arcos, sobre 2 el arco de circunferencia de radio R, se tiene

(log z )2 R(z ) dz
2
(2R)(log2 R + 4 2 ) + O(R2 ) = log2 R O(R1 ) O
cuando R 0. De la misma manera (log z )2 R(z ) dz (2 )(log2 + 4 2 )O(1) = log2 O( ) 0

4
cuando 0. Luego
R
(log z )2 R(z ) dz =
1
logx R(x)dx,
3
(log z )2 R(z ) dz =
R
(log x + i2 )2 R(x) dx.
Por consiguiente
R R
(log z )2 R(z ) dz +
1 3
(log z )2 R(z ) dz = 2i
log x R(x) dx + 4 2
R(x) dx.
Aplicamos el teorema de los residuos, hacemos tender 0 y R , para obtener
log x R(x) dx =
0
1 2
log2 (zi ) Resz=zi (R(z )) i

zi polo zi =0
R(x) dx.
0
(I.10.7)
Ejemplo
68 9.- Calcular la integral impropia

0
log x dx. 1 + x2
Utilizamos las f ormulas (I.10.7) y (I.10.2) con n = 1. La funci on R(z ) = 1/(1 + z 2 ) tiene polos simples en z = i y z = i, de donde
0
log x 1 dx = 1 + x2 2
2 9 + 8i 8i
pi2 i = 0. 2
6. Integrales de otro tipo Referirse a textos de consulta, como Variable Compleja de la Serie Schaum.
I.10.3.
Valor Principal de Cauchy
En el curso de Primer A no de An alisis se trato el concepto de integral impropia y la caracter stica esencial era que el l mite de la integral no depend a de los l mites de las extremidades. Denici on I.10.2 Sea f : R {a1 , . . . , an } R continua. El valor principal de f (x) dx, si existe, est a dado por
a1 a2 R
v.p
f (x) dx = l m
0+ R
f (x) dx +
R a+
f (x) dx + +
an +
f (x) dx .
(I.10.8)
Ejemplo 1. Se tiene v.p

1 dx = 0. x
Remarca.- La denici on de valor principal dada por (I.10.8), presenta dos l mites, uno alrededor de los puntos singulares y otro l mite en las extremidades. Esta denici on puede adaptarse a otras situaciones, donde el valor principal puede tener cierto rol. Remarca.- Si una integral impropia existe, obviamente existe su valor principal y este es igual a la integral impropia. Teorema I.10.2 Sean f : C, H = {z | z 0} abierto. Si f es holomorfa sobre , salvo en z1 , z2 , . . . , zn , si zk = 0 zk es un polo simple y si adem as f (z ) 0 cuando R ,
CR
CR = {Reit |t [0, ]},
entonces v.p
f (x) dx = 2i
Resz=zk (f (z )) + i
Resz=zk (f (z ))
(I.10.9)
zk punto singular zk >0
zk polo simple zk =0
I.11. FUNCIONES MEROMORFAS
69
Demostraci on.- Consideramos el contorno dado por la semicircunferencia CR de radio R, los segmentos [ak + , ak+1 ] y las semicircunferencias Ck = {z = ak + eit |t [, 2 ].
Para R > 0 lo sucientemente grande y > 0 lo sucientemente peque no se tiene, por el teorema de los residuos

f (z ) dz = 2i
Resz=zk (f (z ))
(I.10.10)
Por otro lado, si zk polo simple con
zk = 0, se tiene alrededor de zk f (z ) = Resz=zk (f (z )) + gk (z ) z zk (I.10.11)
con gk holomorfa, de donde f (z ) dz = i Resz=zk (f (z )).

Ck
Por consiguiente
a1 a2 R
f (x) dx +
R a+
f (x) dx + +
an +
f (x) dx
f (z ) dz
CR
f (z ) dz
Ck zk polo simple zk =0
f (z ) dz
= 2i
Resz=zk (f (z )) + i
Resz=zk (f (z ))
CR
f (z ) dz.
zk polo simple zk =0
Pasando a los l mites se tiene el resultado deseado.
I.11.
Funciones Meromorfas
Denici on I.11.1 Sea C abierto, Se dir a que f : D C holomorfa es meromorfa, si D es un conjunto discreto y para todo z D z es un polo o singularidad suprimible. Denotamos por M() el conjunto de funciones meromorfas sobre .
Proposici on I.11.1 Sea C un abierto no vacio, entonces M() es un es cuerpo que prolonga C. Demostraci on.- Ejercicio.
Ejemplos 1. C(z ) = {R(z ) = P (z )/Q(z )|P, Qpolinomio, Q = 0} el conjunto de las funciones racionales sobre C es un subcuerpo de M(C). La vericaci on es un simple ejercicio. 2. Las funciones trigonom etricas cos z , sin z , tan z , cot z , sec z y csc z son funciones meromorfas. De las cuales, excepto sin z y cos z tienen una innidad de polos simples.
70
I.11.1.
Desarrollo en Fracciones Parciales de Funciones Meromorfas
Para las funciones racionales, la descomposici on en fracciones parciales es conocida desde hace 300 a nos y es muy u til, por ejemplo en integraci on. Consideremos la fracci on f (z ) = 6z 4 20z 2 + 4z + 19 (z 1)3 (z + 2)2 (I.11.1)
Tenemos un polo de orden 3 en z = 1 y uno de orden 2 en z = 2. Lass series de Laurent, alrededor de coronas de centros z = 1 y z = 2 est an dadas por: f (z ) f (z ) = 1 2 3 8 7 2 + (z 1) + (x 1)2 + , 3 2 (z 1) (z 1) z 1 9 27 27 1 3 34 14 17 = + (z + 2) (z + 2)2 + (z + 2)2 z + 2 27 27 81 (I.11.2) (I.11.3)
Denotando las partes principales de estos desarrollos por p1 (z ) = 1 2 3 + 3 2 (z 1) (z 1) z1 y p2 (z ) = 1 3 + , 2 (z + 2) z+2 (I.11.4)
la funci on f (z ) p1 (z ) p2 (z ) tiene ningu un polo y por consiguiente es holomorfa sobre todo C, como l m f (z ) = 0 y por el teorema de Liouville, esta diferencia es 0. Por lo tanto, se tiene
z
f (z ) =
1 2 3 1 3 + + (z 1)3 (z 1)2 z 1 (z + 2)2 z+2
(I.11.5)
que es un desarrollo en fracciones parciales de p(z ). Caso de una innidad de polos El resultado (I.11.5) nos hace pensar que es posible expresar funciones meromorfas en desarrollos de fracciones parciales, inclusive en el caso en que la funci on en cuesti on tenga una innidad de polos. Este es el caso de cot z y csc z que presentan polos simples en z = k con k Z. Se tiene Resz=k (cot z ) = 1, y Resz=k (csc z ) = (1)k , (I.11.6)
de donde tomando las partes principales se obtendr a:
cot z
= +
1 1 1 1 1 + + + + + z + 2 z + z z z 2
(I.11.7)
csc z
= +
1 1 1 1 1 + + + z + 2 z + z z z 2
(I.11.8)
71
Ahora bien, (I.11.5) es correcto, porque trabajamos con un n umero nito de terminos y por que la funci on f tiende a 0 cuando z tiende a innito. En el caso de una innidad de polos exite dos inconvenientes: el primero, tanto (I.11.7), como (I.11.8) no son sumas nitas, sino al contrario son series, por lo que es necesario hacer un an alisis de convergencia; segundo, f (z ) 0 cuando z . En consecuencia, es necesario proceder de otra manera. Sea f : C meromorfa. Consideramos una
sucesi on de contornos Cn tal que

n=1
Int Cn = C y para todo n no hay polos de f sobre Cn . gk (z ) = f (z )

zj Ck zj polo
Para k N dado, planteamos pj (z ) Int (I.11.9)
donde pk es la parte principal del desarrollo de Laurent alrededor del polo zj . Puesto que Ck es acotado y f es meromorfa, la suma (I.11.9) es nita y la funci on gk es holomorfa en el dominio denido por Ck . Aplicando la f ormula integral de Cauchy, se obtiene gk (z ) =
Ck
gk ( ) d, z
z Int Ck ,
es decir f (z ) =
zj Ck zj polo
pj (z ) + Int
Ck
gk ( ) d, z
z Int Ck ,
(I.11.10)
Ahora bien,
Ck
gk ( ) d = z
Ck
f ( ) d z
zj Ck zj polo
Int
Ck
pj ( ) d, z
y las integrales, para R > 0 arbitrariamente grande, se tiene pj ( ) dz = z pj ( ) d 0, | |=R z
Ck
cuando R , de donde (I.11.10), puede escribirse como f (z ) =

zj Ck zj polo
pj (z ) + Int
Ck
f ( ) d, z
z Int Ck ,
(I.11.11)
Teorema I.11.1 (Series de fracciones parciales) Sea f : C C una funci on meromorfa, denotamos por pk la parte principal del desarrollo de la serie de Laurent de f alrededor del polo zk . Si existe una sucesi on {Cn } de contornos, con
Cn = C, tal que para cualquier z C se tenga l m f ( ) d = 0 z pk (z ).

zk
polo
n=1
(I.11.12)
Cn
entonces, para cualquier z C, se tiene f (z ) = (I.11.13)
Si adem as para M C compacto, se tiene para todo z M f ( ) d n 0 z (I.11.14)
Cn
cuando n , entonces la serie (I.11.13) converge uniformemente sobre M.
72
Figura I.11.1: Mapas de cot z y csc z Ilustremos el teorema (I.11.1) con la funci on csc z = 1/ sin z . Esta funci on tiene polos simples en z = k con k C y la serie en fracciones parciales conjeturada est a dada por la f ormula (I.11.8). Mostremos que esta formula es correcta. La segunda gr aca de la gura I.11.1 nos sugiere inmediatamente que contornos elegir. Elegimos como contornos los cuadrados Cn de centro el origen, de lados verticales que pasan por (/2 + 2(n 1) ) y lados verticales que pasan por i(/2 + 2(n 1) ). Utilizando el hecho que 1 1 z = + , z ( z ) se tiene
Cn
(I.11.15)
csc d = z
CN
csc d +
CN
z csc d. ( z )
(I.11.16)
La funci on csc / es una funci on par, por lo que csc d = 0, z csc d = 0 ( z ) (I.11.17)
CN
de donde es suciente mostrar que

n
l m
(I.11.18)
CN
Ahora mayoremos csc sobre Cn . Comenzemos por el lado vertical que pasa por (/2 + 2(n 1) ), como csc es 2 peri odica, se tiene csc((/2 + 2(n 1) ) + iy ) = csc(/2 + iy ) y por consiguiente, utilizando identidades trigonom etricas, se obtiene 1 sin( 2 + iy ) csc( + iy ) 2 = = 1 , cos(iy ) 1 1. cosh y
(I.11.19)
Para el lado horizontal que para por i(/2 + 2(n 1) ) = n , se tiene sin(x + in ) = sin x cos(in ) + cos x sin(in ) = sin x cosh n i cos x sinh n ,
I.11. FUNCIONES MEROMORFAS |sin(x + in )| = |csc(x + in )| cos2 x sinh2 n + sin2 x cosh2 n sinh n sinh( ), 2 1 1. sinh 2
73
(I.11.20)
Como csc z es una funci on impar, se tiene sobre el cuadrado Cn , |csc | 1. Por lo tanto z csc 1 dz 0 ( z ) rn (rn |z |)
Cn
cuando n donde rn es el radio de la circunferencia inscrita en Cn . Es facil, deducir que para un compacto M, se tiene (I.11.14). Por lo tanto (I.11.8) converge uniformemente.
I.11.2.
N umero de Ceros y Polos de Funciones Meromorfas
Sea f : C una funci on meromorfa sobre un abieto y un contorno en tal que f no tenga, ni ceros, ni polos sobre . El campo de vectores : C (z ) z |f f (z ) | est a denido y es continuo sobre , excepto sobre los ceros y polos de f . En particular es continuo sobre el arco . Denici on I.11.2 (Indice de Cauchy) El ndice de Cauchy, Ind(f, ), de la funci on f sobre el contorno , es el n umero de vueltas, (tomando como sentido positivo el movimeinto de las manecillas de un reloj), que da el campo al recorrer el contorno . Ver gurea I.11.2. Para un contorno : [a, b] y una funci on f : C meromorfa, sin polos, ni ceros sobe el contorno, consideremos la funci on continuea : [a, b] R t f ( (t)) = ei . |f ( (t))| (I.11.21)
Esta funci on est a bien denida si se conoce por ejemplo (a) y su c alculo puede efectuarse cambiando determinaciones del argumento. Se tiene 1 Ind(f, ) = ((b) (a)). (I.11.22) 2 (I.11.22) muestra que cumple el rol de una primitiva y por consiguiente nos permite pensar que es posible determinar Ind(f, ) utilizando una integral. Ahora bien, tal como se ha denido , se utiliza de alguna manera determinaciones de arg, que no es holomorfa. Sin embargo las determinaciones de log si lo son y podemos utilizarlas y tendriamos Ind(f, ) = 1 (log2 (f ( (b))) log1 (f ( (a))))., 2i (I.11.23)
donde log1 y log2 son determinaciones de log de manera que sea continuea. Por otro lado, se tiene
b a
f ( (t)) (t) dt = (f ( (b))) log1 (f ( (a))). f ( (t))
(I.11.24)
Por lo tanto, tenemos el teorema siguiente
74
Figura I.11.2: Indice de Cauchy para f (z ) =
z 2 4 ez i .
Teorema I.11.2 Sean f : C merormorfa y C un contorno en en el cual no hay, ni polos, ni ceros de f , entonces 1 f (z ) Ind(f, C ) = dz. (I.11.25) 2i C f (z )
Demostraci on.- Ejercicio
Antes de enunciar el resultado principal de esta secci on es bueno recordar el siguiente resultado Lema I.11.1 Sea f : C meromorfa, entonces a) z0 es un cero de multiplicidad m, si y solamente si existe g : C meromorfa y holomorfa en z0 tal que f (z ) = (z z0 )m g (z ), g (z0 ) = 0. (I.11.26) b) z0 es un polo de orden m, si y solamente si existe g : C meromorfa y holomorfa en z0 tal que f (z ) = (z z0 )m g (z ), g (z0 ) = 0. (I.11.27)
Demostraci on.- Ejercicio
Teorema I.11.3 (Principio del Argumento) Sea f : C meromorfa y C un contorno sin ceros, ni polos de f , entonces Z P = Ind(f, C ) (I.11.28) donde Z es el n umero de ceros, contando su multiplicidad, de f en el interior de C y P es el n umero de polos, contando su orden en el interior de C .
75
Demostraci on.- Puesto que f es meromorfa y el interior de C es acotado, el n umero de polos y ceros son en cantidad nita. Denotemos por {z1 , z2 , . . . , zn } los ceros y polos, dos a dos diferentes. Con > 0 lo sucientemente peque no aplicamos el corolario 1.6.3 del teorema de Cauchy lo que da f (z ) dz = f (x)
n |z zk |=
k=1
f (z ) dz. f (z )
(I.11.29)
Sea zk un polo o un cero, veamos cada uno de los casos i)zk es un polo, supongamos de orden nk , por el lema precedente se tiene f (z ) = (z zk )nk g (z ) de donde
|z zk |=
f (z ) nk (z zk )nk 1 g (z ) + (z zk )nk g (z ) 1 g (z ) = = nk + f (x) (z zk )nk g (z ) (z zk ) g (z ) f (z ) dz = nk 2i. f (z ) (I.11.30)
ii)zk es un cero, supongamos de multiplicidad nk , por el lema precedente se tiene f (z ) = (z zk )nk g (z ) de donde
|z zk |=
f (z ) nk (z zk )nk 1 g (z ) + (z zk )nk g (z ) 1 g (z ) = = nk + n k f (x) (z zk ) g (z ) (z zk ) g (z ) f (z ) dz = nk 2i. f (z ) (I.11.31)
Por lo tanto
C
f (z ) dz = 2i (Z P), f (z ) Z P = Ind(f, C ).
es decir
Teorema I.11.4 (Teorema de Rouch e) Sean f, g : C holomorfa, C un contorno con Int C . Si |f (z )| > |g (z )| para todo z C , entonces f y f + g tienen el mismo n umero de ceros en el interior del contorno C . Demostraci on.- Consideramos la funci on denida por h(t, z ) = f (z ) + tg (z ) con t [0, 1]. Esta funci on es continua respecto a t y holomorfa respecto a z . Por otro lado, se tiene |h(t, z )| = |f (z ) + tg (z )| |f (z )| t |g (z )| |f (z )| |g (z )| > 0. Por lo tanto, est a bien denido para todo t [0, 1] Ind(h(t, z ), C ) = 1 2i h (t, z ) dz h(t, z ) (I.11.32)
Considerando Ind(h(t, z ), C ) como una funci on respecto a t est a es continua y que solo toma valores enteros, lo que signica que necesariamente es constante.
76
Indice alfab etico

ndice Cauchy, 73 angulo orientado, 18 arco simple, 27 divisi on, 28 partici on, 28 argumento determinaci on, 12 c alculo de integrales residuos, 63 cambio variable, 33 Cauchy ndice, 73 desigualdad, 51 teorema, 38 valor principal, 68 Cayley transformaci on, 24 cero, 49 orden, 49 complejos adici on, 3 conjugado, 4 cuerpo de los, 4 divisi on, 5 forma polar, 5 m odulo, 5 multiplicaci on, 3 parte imaginaria, 4 parte real, 4 sustracci on, 5 conforme funci on, 18 contorno, 31 simple, 37 interior, 37 convergencia, 6 radio, 43 corona, 55 77 cuerpo de los complejos, 4 desigualdad Cauchy, 51 determinaci on argumento, 12 principal, 13 logaritmo, 13 divisi on arco simple, 28 dominio simple, 38 ecuaciones Cauchy-Riemann, 16 f ormula Hadamard, 43 F ormula de Moivre, 5 forma polar, 5 funci on C-diferenciable, 15 conforme, 18 diferenciable, 15 entera, 52 exponencial, 11 holomorfa, 17 logaritmo complejo, 12 meromorfa, 69 parte compleja, 8 parte real, 8 polinomial, 10 representaci on gr aca, 8 trigonom etrica compleja, 14 inversa, 15 funciones complejas, 7 funciones exponenciales, 14 Hadamard f ormula, 43 holomorfa, 17 homograf a, 20
78 homotecia, 2 integral recorrido, 30 sobre arco simple, 28 l mites, 6 logaritmo determinaci on, 13 logaritmo complejo, 12 Louiville teorema, 52 m odulo, 5 meromorfa funci on, 69 Morera teorema, 42 parte imaginaria, 4 de una funci on, 8 parte principal serie de Laurent, 58 parte real, 4 de una funci on, 8 plano complejo, 3 compacticaci on, 7 polo, 58 potencias, 13 primitiva funci on, 31 Principio del M aximo teorema, 53 proyecci on estereogr aca, 7 radio de convergencia, 43 recorrido, 30 H-V, 34 horizontal-vertical, 34 integral, 30 simple, 37 representaci on conforme, 24 residuo, 60 residuos c alculo de integrales, 63 polo de orden superior, 62 polo simple, 61 teorema, 60 rotaci on, 2 Rouch e teorema, 75 serie entera, 43 Laurent, 55 Taylor, 44 serie de Laurent parte principal, 58 similitud, 2 singularidad esencial, 58 suprimble, 58
INDICE ALFABETICO
Taylor serie, 44 teorema Cauchy, 38 Cauchy-Taylor, 44 funci on abierta, 54 fundamental del algebra, 53 Louiville, 52 Morera, 42 Principio del M aximo, 53 residuos, 60 Rouch e, 75 valor medio, 52 Weistra, 43 transformaci on Cayley de, 24 homogr aca, 20 valor medio teorema, 52 valor principal Cauchy, 68 Weistra teorema, 43

Variable Compleja-Hans Muller

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Variable Compleja-Hans Muller

Caricato da

Copyright:

Formati disponibili

Variable Compleja

Hans Cristian Muller Santa Cruz 2000

Cap tulo I Variable Compleja

Los N umeros Complejos

CAP ITULO I. VARIABLE COMPLEJA

I.1. LOS NUMEROS COMPLEJOS

CAP ITULO I. VARIABLE COMPLEJA

Conjugado de un n umero complejo

Demostraci on.- Ejercicio.

I.1. LOS NUMEROS COMPLEJOS

M odulo de un n umero complejo

(I.1.14) (I.1.15) (I.1.16) (I.1.17) (I.1.18)

Demostraci on.- Ejercicio.

Completando la construcci on de los n umeros complejos, la sustracci on se la dene como

La u ltima f ormula es conocida como F ormula de Moivre Demostraci on.- Ejercicio.

CAP ITULO I. VARIABLE COMPLEJA

Topolog a del Plano Complejo C

El plano complejo acabado C

I.2. FUNCIONES COMPLEJAS

CAP ITULO I. VARIABLE COMPLEJA

trivialmente, se tiene (f (z )) = u(x, y ) y diferentes puntos de vista equivalentes.

(f (z )) = v (x, y ). De acuerdo a la necesidad, se puede jugar con

Representaciones Gr acas de Funciones Complejas

Funciones Complejas Remarcables

I.2. FUNCIONES COMPLEJAS

Figura I.2.2: Gr aca Transformaci on

Figura I.2.3: Gr aca del Campo de Vectores

CAP ITULO I. VARIABLE COMPLEJA

de donde a = d y b = c. Es decir f es una similitud.

I.2. FUNCIONES COMPLEJAS

Figura I.2.5: Funci on Exponencial

Las funciones racionales son de la forma f (z ) = p(z ) , q (z )

(cos( z ) + i sin( z )).

CAP ITULO I. VARIABLE COMPLEJA

Figura I.2.6: Imagen de una Banda Demostraci on.- Ejercicio.

(cos( z ) + sin( z )) = w, = |w| ,

Demostraci on.- Ejercicio.

Potencias Recordamos: zn z n = n n n, n N; n veces 1 1 1 = , n N. z z z n veces

CAP ITULO I. VARIABLE COMPLEJA

= exp(1/2 log |z | + (1/2)i arg(z )) |z |(cos((1/2) arg(z )) + i sin((1/2) arg(z ))).

Funciones Trigonom etricas Complejas

Denici on I.2.4 sinC z cosC z tanC z cotC z secC z cscC z =

I.3. FUNCIONES DIFERENCIABLES

Demostraci on.- Ejercicio.

donde f (z0 ) C. O bien f (z ) = f (z0 ) + f (z0 ) (z z0 ) + (z, z0 ) (z z0 ) con l m (z, z0 ) = 0.

(x,y )(x0 ,y0 )

f (x0 , y0 ) = Utilizando la proposici on (I.2.1), se tiene el:

CAP ITULO I. VARIABLE COMPLEJA

Demostraci on.- Ejercicio.

Las ecuaciones de Cauchy-Riemann por si solas no aseguran la C diferenciabilidad. Ejemplo 1. La funci on f (z ) = si z = 0, 0 si z = 0.

I.3. FUNCIONES DIFERENCIABLES satisface Cauchy-Riemann. Por lo tanto exp (z ) = exp(z ).

CAP ITULO I. VARIABLE COMPLEJA

(, , a) = ( (0), (0)) (I.4.1)

I.4. FUNCIONES CONFORMES

CAP ITULO I. VARIABLE COMPLEJA

En efecto, consideremos el siguiente diagrama

C2 {(0, 0)} (u1 , u2 ) A det A=0 C2 {(0, 0)} (v1 , v2 )

Es facil vericar que wA = wA A = A , con = 0. (I.4.2)

(a a+b c)z +(a b+b d) (c a+d c)z +(c b+d d)

El punto (2), es consecuencia de wAA1 = wI = wA wA1 .

CAP ITULO I. VARIABLE COMPLEJA

ii) Origen fuera de la circunferencia.

1 OM = 2 OM OT 2 f (M ) se obtiene a partir de M por homotecia de raz on 1/OT

iii) Circunferencia que pasa por el origen.