Variable Compleja

Variable Compleja
Hans Cristian Muller Santa Cruz 2000
Indice general
Prefacio I. Variable Compleja I.1. Los Nmeros Complejos . . . . . . . . . . . . . . . . . . . . . . . . u I.1.1. El Plano Complejo C . . . . . . . . . . . . . . . . . . . . . I.1.2. Conjugado de un nmero complejo . . . . . . . . . . . . . . u I.1.3. Mdulo de un nmero complejo . . . . . . . . . . . . . . . . o u I.1.4. Sustraccin y Divisin . . . . . . . . . . . . . . . . . . . . . o o I.1.5. Forma Polar . . . . . . . . . . . . . . . . . . . . . . . . . . I.1.6. Topolog del Plano Complejo C . . . . . . . . . . . . . . . a I.1.7. El plano complejo acabado C . . . . . . . . . . . . . . . . . I.2. Funciones Complejas . . . . . . . . . . . . . . . . . . . . . . . . . . I.2.1. Representaciones Grcas de Funciones Complejas . . . . . a I.2.2. Funciones Complejas Remarcables . . . . . . . . . . . . . . I.2.3. El Logaritmo Complejo . . . . . . . . . . . . . . . . . . . . I.2.4. Funciones Trigonomtricas Complejas . . . . . . . . . . . . e I.3. Funciones Diferenciables . . . . . . . . . . . . . . . . . . . . . . . . I.3.1. Funciones Holomorfas . . . . . . . . . . . . . . . . . . . . . I.4. Funciones Conformes . . . . . . . . . . . . . . . . . . . . . . . . . . I.4.1. Homograf as . . . . . . . . . . . . . . . . . . . . . . . . . . I.4.2. Representacin Conforme . . . . . . . . . . . . . . . . . . . o I.5. Integracin Compleja . . . . . . . . . . . . . . . . . . . . . . . . . . o I.6. Un Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . I.7. Frmulas Integrales de Cauchy . . . . . . . . . . . . . . . . . . . . o I.8. Series Enteras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I.8.1. Clculos con Series Enteras . . . . . . . . . . . . . . . . . . a I.8.2. Teoremas de Unicidad y Prolongamiento Anlitico . . . . . a 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. Clculo de Residuos . . . . . . . . . . . . . . . . . . . . . . a I.10.2. Clculo de Integrales . . . . . . . . . . . . . . . . . . . . . . a I.10.3. Valor Principal de Cauchy . . . . . . . . . . . . . . . . . . . I.11. Funciones Meromorfas . . . . . . . . . . . . . . . . . . . . . . . . . I.11.1. Desarrollo en Fracciones Parciales de Funciones Meromorfas I.11.2. Nmero de Ceros y Polos de Funciones Meromorfas . . . . u
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 . . . . . . . . . . . . . . . . . . . . Proyeccin Estereogrca. . . . . . . . . . . . . . . . . . . . o a Grca de los Grafos . . . . . . . . . . . . . . . . . . . . . . a Grca Transformacin . . . . . . . . . . . . . . . . . . . . a o Grca del Campo de Vectores . . . . . . . . . . . . . . . . a Funcin Lineal no Nula . . . . . . . . . . . . . . . . . . . . o Funcin Exponencial . . . . . . . . . . . . . . . . . . . . . . o Imagen de una Banda . . . . . . . . . . . . . . . . . . . . . Funcin continua, Cauchy-Rieman, pero no C-diferenciable o Ejemplo de Funcin Conforme . . . . . . . . . . . . . . . . . o Transformacin de Cayley . . . . . . . . . . . . . . . . . . . o Representacin conforme de sin . . . . . . . . . . . . . . . . o 5 2 3 Polinomio de Taylor z z3 + z5 + + z255 en R y en C . . Grcas de parte real e imaginaria de (z 1) (z1) a 2 Composicin de Series . . . . . . . . . . . . . . . . . o Principio del Prolongamiento Anlitico . . . . . . . . a Demostracin Teorema de la Aplicacin Abierta . . . o o Mapas de cot z y csc z . . . . . . . . . . . . . . . . . 2 Indice de Cauchy para f (z) = z z4 . . . . . . . . . . e i
2
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
2 7 8 9 9 10 11 12 16 19 24 26 45 46 47 51 54 72 74
+ . . . . . . . . . .
(z1)3 3
. . . . .
. . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
(z1)n n
iii
iv
INDICE DE FIGURAS
Prefacio
vi
PREFACIO
Cap tulo I Variable Compleja

En lo que concierne la teor del anlisis complejo, tres puntos de vista predominan en la actualidad: a a Integracin Compleja (Cauchy 1814-1830). o Aplicaciones holomorfas C R (Tesis de Riemann 1851). Series enteras (Cauchy 1831-1846, Weirstra). Comenzaremos este cap tulo por el clculo diferencial y las funciones holomorfas segn Riemann. Luego, a u seguiremos la evolucin de Cauchy (integrales complejas, frmula de Cauchy). Veremos que cada funcin o o o holomorfa es anal tica (admite un desarrollo en serie de potencias). Estas series simplican la teor (punto a de vistas de Weirstra),
I.1.
Los N meros Complejos u
Si bien los nmeros complejos son familiares para todos los que siguen este curso, se vio, por ejemplo, en el u primer de ao de Anlisis, en esta seccin abordaremos el plano complejo con una ptica geomtrica, para n a o o e comprender y asimilar la riqueza y potencia que tiene esta teor a. Sabemos que el conjunto de los nmeros reales R provisto de la adicin y la multiplicacin es un cuerpo u o o completo con un orden compatible con dichas operaciones. Geomtricamente R asociamos a una recta, que e la llamamos recta real. Como es de conocimiento de todos, la ecuacin o x2 + 1 = 0, no tiene solucin en R. Nuestro objetivo ser construir un cuerpo que contenga R en el cual dicha ecuacin o a o tenga solucin. o Como R est asociado a una recta, vamos a construir un cuerpo que este asociado a un plano (real); ya a que la extensin inmediata de una recta constituye un plano. Consideremos o R2 = {(x, y)| x, y R}. Este conjunto con la adicin denida por o (x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 ) y la multiplicacin por escalar o (x, y) = (x, y) es un espacio vectorial real. En el curso de Geometr se estudi con detalle las propiedades de los diferentes a, o objetos y las transformaciones que les estn asociadas. a 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 multiplicacin, la cual provendr de o a un tipo especial de transformaciones lineales del plano R2 ; ms precisamente de aquellas transformaciones a que conservan los ngulos en tamao y orientacin. a n o Denicin I.1.1 Una similitud directa, en tanto que aplicacin lineal, es una aplicacin lineal s : R2 R2 o o o de la forma s = h r , donde h es la homotecia de razn ( > 0) y r es una rotacin de ngulo . o o a En la gura I.1.1, tenemos una representacin grca de una homotecia, una rotacin y nalmente una o a o similitud. Como se vio en el curso de Algebra Lineal es ms comodo trabajar con las matrices asociadas a (respecto a las bases cannicas). Recordemos que toda aplicacin lineal est enteramente determinada por o o a los elementos de las bases cannicas y que existe un isomorsmo natural entre el espacio vectorial de las o aplicaciones lineales L(R2 , R2 ) y M2,2 (R) el espacio vectorial real de las matrices de 22 a coecientes reales. En lo que sigue solamente consideremos como base la cannica o otra base ortonormal directa. Denotemos o por H la matriz asociada a la homotecia de razn > 0, h ; R la matriz asociada a la rotacin r . Se o o tiene: 0 cos sin H = , R = ; 0 sin cos por lo tanto, la matriz S, asociada a la similitud s, = h r , est dada por a S, = Una simple inspeccin da o 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 composicin o de aplicaciones. Demostracin.- Ejercicio. o 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 composicin de aplicaciones, sino tambin: o e Teorema I.1.2 S+ (R, 2) {0} es un subespacio vectorial real de dimensin 2 del espacio End(R2 ) de las o aplicaciones lineales en R2 . Demostracin.- Puesto que existe un isomorsmo natural (por la eleccin de las bases cannicas) entre o o o 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 ms la matriz nula forman un subespacio vectorial. El resto lo dejamos como ejercicio. a
I.1.1.
El Plano Complejo C
Hemos visto que R2 es un espacio vectorial para la adicin, para que R2 tenga la estructura de un cuerpo o conmutativo, solo falta dotarle de una multiplicacin. o Consideremos la aplicacin dada por o : R2 S+ (R, 2) {0} a b (a, b) . b a
Utilizando el ejercicio y la proposicin precedentes, se demuestra (nuevamente otro ejercicio para el alumno) o que es un isomorsmo de espacios vectoriales reales. Denotamos por : S+ (R, 2) {0} R2 la aplicacin o inversa de . Se ve inmediatamente que a b b a = a b = (a, b). (I.1.2)
Denamos la multiplicacin en R2 de la siguiente manera. Sean z1 = (a1 , b1 ) y z2 = (a2 , b2 ) elementos de o R2 , 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 notacin columna para elementos de R2 , la multiplicacin de z1 = (a1 , b1 ) y o o z2 = (a2 , b2 ) puede expresarse como z1 z2 = a1 b1 b1 a1 a2 b2 .
Teorema I.1.3 R2 con la adicin usual y la multiplicacin denida ms arriba es un cuerpo conmutativo. o o a
Demostracin.- En efecto, R2 con la adicin es un grupo abeliano, ya visto en un cursos anteriores. o o 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 multiplicacin, porque la multiplicacin denida ms arriba es o o a una ley de composicin interna, vericacin simple, y por que S+ (R, 2) es un grupo para la multiplicacin. o o o La distributividad de la multiplicacin respecto a la adicin est asegurada por que y son aplicaciones o o a lineales.
Denicin I.1.2 R2 provistos de la adicin y la multiplicacin denida ms arriba se llama cuerpo de los o o o a nmeros complejos o plano complejo y se lo denota por C. u Remarcas.1. 1C = (1, 0), 0C = (0, 0). Se dene i = (0, 1). Un pequeo clculo da i2 = 1C . n a 2. La inyeccin natural j : R C, j(a) = (a, 0) es compatible con la adicin y la multiplicacin, lo que o o o hace que R sea un subcuerpo de C. En el lenguaje algebraico, esto se llama extensin de cuerpos. o 3. En realidad j(R) C, pero para darle uidez a la teor se acostumbra a suponer que R C, con lo a, 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 notacin o z = a + ib, con a, b R para representar z = (a, b). Este tipo de notacin facilita los clculos aritmticos en C. o a e 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 idntica a la de R, con adems i2 = 1. e a
I.1.2.
Conjugado de un n mero complejo u
Sea z = a + ib C, se dene z = a ib el conjugado de z. Geomtricamente, la accin de conjugar nmeros e o u complejos, corresponde a la simetr respecto al eje real. El conjugado satisface las siguientes propiedades. a Proposicin I.1.1 Se tiene: o z + z = 2 z, z z = 2i z, z z = a2 + b2 , z1 z2 = z1 z2 , z1 + z2 = z1 + z2 , z = z z R, z = z iR, z = (z), z ()1 = (z 1 ), z = 0. z (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)
Demostracin.- Ejercicio. o
I.1. LOS NUMEROS COMPLEJOS
I.1.3.
Mdulo de un n mero complejo o u
Sea z = a + ib C, el mdulo de z es |z| = a2 + b2 . Remarca.- El mdulo de z es lo mismo que la o o 2 norma euclidiana de z visto como un elemento de R . Cuando z R, el mdulo es lo mismo que el valor o absoluto de R. Proposicin I.1.2 El mdulo verica: o o |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.
Sustraccin y Divisin o o
z1 z2 = z1 + (z2 ).
Completando la construccin de los nmeros complejos, la sustraccin se la dene como o u o
La divisin se la dene o
z1 = z1 (z2 )1 , z2 donde z2 = 0. Utilizando la notacin de fracciones, las reglas de clculo para fracciones son vlidas y su o a a demostracin es un simple ejercicio. o
I.1.5.
Forma Polar
Tradicionalmente, la forma polar de un nmero complejo es abordada como un tpico independiente. Sin u o embargo, en nuestra construccin hemos asociado a cada nmero complejo a una similitud de ngulo y o u a razn r. Por consiguiente, si z = 0, se puede escribir como o z = r(cos + i sin ), |z| = r, es unico con una diferencia de 2k k Z La forma polar es util para realizar multiplicaciones y divisiones. Proposicin I.1.3 Si o 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 ultima frmula es conocida como Frmula de Moivre o o Demostracin.- Ejercicio. o
I.1.6.
Topolog del Plano Complejo C a
El mdulo || de C es la norma euclidiana de R2 , los conceptos de convergencia, l o mites, conjuntos abiertos, cerrados, compactos, puntos aislados, puntos de acumulacin, etc, son los mismos, que ya han sido vistos en o el curso de Anlisis de Primer Ao. a n Por otro lado, el mdulo en C tiene el mismo comportamiento del valor absoluto de R en lo que respecta o la multiplicacin. Por lo tanto, se justica recordar, complementar y aclarar algunos conceptos. o Las sucesiones {zk } con zk C pueden ser vistas: como una sucesin propiamente compleja, o bien como o dos sucesiones reales, { zk } y { zk }. Por lo tanto, dependiendo la situacin y el contexto, se debe utilizar o el punto de vista que ms convenga. Como R es un cuerpo ordenado, se tiene el concepto de sucesiones a mnotonas y la divergencia por valores innitos; en C eso no es posible, sin embargo esos conceptos y sus o consecuencias pueden ser aplicados por separado a la parte real y la parte imaginaria de la sucesin. Una o denicin que ser util posteriormente es la siguiente. o a Denicin I.1.3 Una sucesin {zk } en C diverge por valores en el innito, si la sucesin {|zk |} en R diverge o o o por valores en el innito. Dicho de otra manera
n
l zn = m
l |zn | = +. m
Los conceptos de sucesiones, series, vistos en el Primer Ao de Anlisis, como convergencia absoluta, n a serie productos se los ampl al caso complejo sin ningn problema. Solamente hay que remplazar el valor a u absoluto por el mdulo. Por lo tanto, las reglas de clculo, criterios de convergencia son vlidos tambin para o a a e 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
En el curso de Anlisis se denin la recta real acabada R, agregando dos elementos adicionales a R; a o R = R {, +}, deniendo algunas operaciones con los nuevos elementos y los reales, prolongando la relacin de orden. o El caso complejo tendr un desarrollo bastante similar. Como motivacin, consideremos la proyeccin a o o estereogrca, que consiste en proyectar el plano complejo C, sobre la esfera unitaria S2 = {(x, y, z)|x2 + a y 2 + z 2 } con la proyeccin de centro el polo norte (0, 0, 1). ver gura I.1.2. En la gura observamos que la o imagen del punto P C se proyecta sobre la esfera en el punto P S2 . Tambin remarcamos que esta e proyeccin es inyectiva, pero no es sobreyectiva ya que el polo Norte no es imagen de ningn punto del plano o u complejo. Si queremos que la proyeccin esteogrca sea biyectiva, debemos agregar un elemento a C; por o a otro lado, no es dicil observar que N es el l mite de la proyeccin, cuando z . o Denicin I.1.4 El plano complejo acabado es el conjunto o C = C {}.
I.2. FUNCIONES COMPLEJAS
P
Figura I.1.2: Proyeccin Estereogrca. o a Explicitemos la proyeccin estereogrca, utilizando un corte transversal, ver gura , relaciones de o a tringulos semejantes, se obtiene: a
: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=
Aparte de las operaciones heredadas de C, sobre C denimos: a si a = 0, 0 a = 0 si a = , a = si a = 0, a + = . Al igual que la recta acabada R, C ya no es un cuerpo. Lo interesante de la proyeccin esteogrca es que se pueden dotar de operaciones internas a S2 a partir o a de las operaciones de C, de donde, si , S2 se dene + = ( 1 () + 1 ()), = ( 1 () 1 ()).
Ejercicio.- Explicitar anal ticamente la adicin y la multiplicacin en la esfera. o o Remarca.-En el curso de Topolog se dice que la proyeccin estereogrca compactica C agregando un a, o a elemento a C, porque la esfera es compacta en R3 .
I.2.
Funciones Complejas
El mdulo || hace a C un espacio normado con norma idntica a la norma euclidiana de R2 ; por lo que, o e los conceptos de l mite, continuidad, continuidad uniforme, convergencia simple de sucesiones de funciones, convergencia uniforme, etc son los mismos que en el Primer Ao de Anlisis y no es necesario repetirlos. Las n a novedades provendrn del clculo diferencial e integral de funciones complejas. a a
Figura I.2.1: Grca de los Grafos a Sin embargo, podemos remarcar que una funcin compleja f : U C C puede ser vista como una o funcin f : U R2 R2 . Es decir, o 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 Grcas de Funciones Complejas a
Para poder comprender la accin de una funcin compleja, es en muchos casos necesario visualizar grao o camente. Recordando los cursos de Clculo, las grcas de los grafos son recursos valiosos que permiten a a 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 funcin compleja en cuestin: o o Grca del grafo de la funcin g : U R2 R, donde g es por ejemplo: la parte real de f , la parte a o imaginaria de f , el mdulo de f . o Grca de la transformacin o mapeo. Util para entender la accin geomtrica. a o o e Grca del campo de vectores asociado. Util en aplicaciones f a sicas. Ejemplos 1. Consideremos la funcin f (z) = (z + 0,2)2 . En la gura I.2.1, vemos las grcas de los grafos de f (z), o a f (z) y |f (z)|. En la gura I.2.2, la grca de la transformacin. Si un punto z1 comienza a moverse a o a lo largo de una curva , entonces el punto imagen w1 se mover a lo largo de la curva f (); si un a punto z2 est dentro una supercie H, entonces el punto imagen w2 estar dentro una supercie f (H). a a En la gura I.2.3 observamos la grca del campo de vectores asociado a la funcin f (z). a o
I.2.2.
Funciones Complejas Remarcables
Las funciones elementales estudiadas en los cursos de Clculo y el Primer Ao de Anlisis tienen su prolona n a gacin respectiva a una funcin compleja. Esta prolongacin es de tipo anlitico, que ser vista ms adelante. o o o a a a Por el momento, nos contentaremos en conocer estas prolongaciones y adentrarnos al esp ritu mismo de lo que signica prolongacin. o

1 1
z U
z1 y
H
V f
v w1 w
w = f(z)
f() f(H)
z2
w2
Figura I.2.2: Grca Transformacin a o
Figura I.2.3: Grca del Campo de Vectores a
10
w = cz
1
Figura I.2.4: Funcin Lineal no Nula o Funciones Polinomiales y Racionales Al igual que en el caso real, una funcin p : C C es polinomial, si p(z) = an z n + an1 z n1 + + a1 z + a0 , o donde los ai C. Este tipo de funciones es siempre continua, porque solamente intervienen adiciones y multiplicaciones y las reglas de clculo aseguran continuidad. Ejemplo a 1. Consideremos la aplicacin polinomial f (z) = cz con c = 0. Esta funcin es una aplicacin C-lineal, y o o o vista como una aplicacin lineal de R2 en R2 es una similitud. Ver seccin precedente y gura I.2.4. o o En la construccin de los nmeros complejos, hemos visto que la multiplicacin est asociada a la como u o a posicin de similitudes del plano real. Por lo tanto, las aplicaciones lineales complejas, desde el punto de o vista real, son similitudes. La interrogante es cmo reconocer si una una transformacin lineal del plano real o o es una aplicacin C lineal. o Proposicin I.2.1 Sea f : R2 R2 lineal. Entonces f es C lineal, si y solamente si f es una similitud o o la aplicacin nula. o Demostracin.- ya visto. o Si f = 0 est demostrado, sino la matriz de f es a 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: Funcin Exponencial o
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 Funcin Exponencial Compleja o Denicin I.2.1 La funcin expC : C C, est dada por o o a exp C (x + iy) = ex (cos y + i sin y) = e
z
(cos( z) + i sin( z)).
Una vericacin, nos muestra que si z R, se tiene expC (z) = expR (z), por lo que podemos escribir o simplemente exp en lugar de expC o expR , e interpretar exp de acuerdo al contexto. En la gura I.2.5 vemos la accin de la funcin exponencial. Observando la denicin de la exponencial, se ve que es una similitud o o o de razn e z y ngulo z. o a Proposicin I.2.2 La funcin exponencial compleja satisface: o o 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 Demostracin.- Ejercicio. o
La prolongacin a C de la exponencial, conserva casi todas las propiedades de la funcin exponencial real, o o 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 funcin que cumpla el papel de funcin inversa, o o tal como se hizo con las funciones arc cos, arcsin en el Primer Curso de Anlisis. a
I.2.3.
El Logaritmo Complejo
Como se ha visto ms arriba, la funcin exponencial no es inyectiva. Por lo tanto si queremos construir a o una inversa debemos restringir C a un dominio donde exp sea inyectiva, pero al mismo tiempo la imagen exp() sea lo ms grande posible. Por el punto 3 de la proposicin I.2.1, debe ser una banda de ancho a o 2i, sin los bordes, para la funcin inversa sea continua. La imagen del borde de es una curva simple que o 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 mdulos, se obtiene o e
z z
(cos( z) + sin( z)) = w, = |w| ,
de donde z = logR (|w|). La determinacin de z, pasa por la denicin de una nueva funcin. o o o Denicin I.2.2 Una determinacin del argumento es darse una curva simple l que une O con y o o una funcin arg : C l R C continua tal que o z = |z| (cos(arg(z)) + i sin(arg(z)), z C l.
Remarcas 1. Una determinacin del argumento arg : C l C est enteramente determinada por el valor de o a arg(z0 ), donde z0 C.
I.2. FUNCIONES COMPLEJAS 2. La determinacin principal del argumento es aquella donde o l =] , 0] R y arg(1) = 0. 3. A menos que se diga lo contrario, se toma la determinacin principal del argumento. o
13
4. Si arg1 y arg2 y z C en el cual ambas determinaciones estn denidas, entonces una simple vericacin a o da arg1 (z) arg2 (z) = 2ik, con k entero. Regresemos a la construccin de la inversa de exp. Tenemos o z = arg(w), donde arg : C l R es una determinacin del argumento. o Denicin I.2.3 Una determinacin del logaritmo es darse una determinacin del argumento arg : o o o C l C y la funcin logC : C l C dada por o logC (z) = logR (|z|) + i arg(z), z C l.
Remarcas.1. La determinacin principal del logaritmo, est dada por la determinacin principal del argumento. A o a o menos que se diga lo contrario, la opcin por defecto es la determinacin principal del logaritmo. La o o determinacin principal prolonga al logaritmo real. o 2. Para no recargar notacin se puede utilizar log para denotar la determinacin del logaritmo y o el o o logaritmo real. Todo depende del contexto.
Proposicin I.2.3 Una determinacin del logaritmo log : C l C, verica: o o 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 denicin es compatible con otras deniciones sobre potencias. Por ejemplo cuando o es entero. Remarca.- Si bien z est denida sobre un conjunto C l, se puede prolongar a algunos puntos de l por a continuidad. Ejemplo 3.- Veamos el caso = 1/2. Tenemos z 1/2 = exp(1/2 log(z)) =
z0
= 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 z 1/2 = 0, de donde podemos prolongar la funcin z 1/2 al punto z = 0, planteando m o 01/2 = 0.
Funciones Exponenciales Siguiendo la misma linea del Primer Ao de Anlisis, denimos n a az = exp(z log a), donde log es una determinacin del logaritmo, (para la cual el valor de log a existe. o 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 determinacin. Es o 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 Trigonomtricas Complejas e
Denicin I.2.4 o sinC z cosC z tanC z cotC z secC z cscC z =

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

zz0
(I.3.2)
Ambas deniciones son utiles. La primera tiene una ptica calculista, mientras que la segunda tiene una o o ptica geomtrica. e En la denicin (I.3.2), la derivada f (z0 ) aparece como una aplicacin C-lineal. Por otro lado, si vemos o o 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,y)(x0 ,y0 )
x x0 y y0
+ (x x0 , y y0 ) r((x, y), (x0 , y0 ))
(I.3.3)
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 proposicin (I.2.1), se tiene el: o
16
y v
y v
Figura I.3.1: Funcin continua, Cauchy-Rieman, pero no C-diferenciable o 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
v v Corolario I.3.1 Sea f : U C C, f = u + iv. Si u , u , x y y existen en un vecindario de z0 , son x y 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 funcin o 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 funcin exponencial exp es C-diferencible en todo C. En efecto, u(x, y) = ex cos y, v(x, y) = ex sin y o son funciones cuyas derivadas parciales existen y son continuas. Adems a 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 clculo para la diferenciacin de funciones complejas; es decir, suma de funciones, a o producto de funciones, composicin de funciones, etc. o
I.3.1.
Funciones Holomorfas
Denicin I.3.2 Una funcin que es C-diferenciable en un abierto U se llama holomorfa en U . Un funcin o o o es holomorfa en un punto z0 si es holomorfa en un vecindario B(z0 , ).
Proposicin I.3.1 Sean , C abiertos, f : C holomorfa. Supongamos que existe g : con o g f = id y f g = id . Si adems g es R-derivable, entonces g es holomorfa y a g (f (a)) = en particular f (a) = 0, para todo a . Demostracin.- La derivada de la composicin de funciones de R2 en R2 da o o 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 tambin una similitud y por lo tanto e 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 determinacin del logaritmo. Planteando = C l y = log( ), considerando o la funcin exponencial exp, mostrando que log es R-diferenciable (que dejamos como ejercicio), se tiene o que log es holomorfa y 1 1 1 log z = = = . exp (w) exp(w) z 4.- Consideremos z . Se tiene z = exp( log z), composicin de funciones holomorfas, luego holomorfa. Determinemos su derivada. o 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
Proposicin I.3.2 Sea :]a, b[ , diferenciable, donde C abierto y sea f : C holomorfa. o Entonces (f ) (t) = f ((t)) (t) donde (t) = 1 (t) + i2 (t). Demostracin.- Ejercicio. o
I.4.
Funciones Conformes
Suponemos conocidos los conceptos de ngulo orientado, Recordemos el concepto de ngulo orientado entre a a curvas. Sean , ; [0, 1] R2 continuamente derivables. Suponemos (0) = 0, (0) = 0 y (0), (0) = a, entonces por denicin o
(, , a) = ( (0), (0)) (I.4.1)
Denicin I.4.1 f : U R2 R2 , U abierto, es conforme, si f es R-derivable y si para todo , : [0, 1] o U continuamente derivable con (0) = (0) = a U y (0), (0) = 0, se tiene (, , a) = (f , f , f (a)).
Remarca.- La denicin de aplicacin conforme, implica automticamente que fa es inversible para todo o o a a U , sino no se podr medir los ngulos entre las curvas imgenes. a a a 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 ngulos en medida y orientacin. a o Proposicin I.4.1 A : R2 R2 isomorsmo lineal. A respecta los ngulos en tamao y orientacin, si y o a n o solamente si A es una similitud. Demostracin.- ya visto. o . La matriz asociada a la aplicacin lineal es o A= a b c d
Consideremos los vectores ortonormales (1, 0) y (0, 1), sus imgenes por A son (a, c) y (b, d) que son ortogoa nales por hiptesis, de donde o 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 Funcin Conforme o Escribiendo esta ultima condicn como o 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 orientacin, se tiene det A > 0, de donde < 0. Finalmente viendo las imgenes de o a (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 aplicacin lineal A es efectivamente una similitud. o
Teorema I.4.1 f : U R2 es conforme, si y solamente si f es holomorfa y f (a) = 0 para todo a U . Demostracin.- f es conforme, si y solamente si fa respecta los ngulos en sentido y orientacin a U ; o a o 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 accin de la aplicacin f (z) = (z + 0,2)2 , apreciando la conservacin de o o o los ngulos en tama`o y sentido. a n Como un ejemplo de familia de funciones conformes estudiaremso con ms detalle las homograf a as.
20
I.4.1.
Homograf as
Denicin I.4.2 Una transformacin homogrca es una expresin de la forma o o a o w(z) = az + b cz + d con det a c b d = 0.
Remarcamos que las homograf pueden prolongarse al plano complejo acabado C as as 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 puede ser inducida por una matriz de 2 2 inversible a, 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)
Proposicin I.4.2 Se tiene las siguientes propiedades: o 1. La composicin de transformaciones homogrcas es una transformacin homogrca. o a o a A induce wA A induce wA 2. wA es inversible y su inversa wA1 . A A induce wA wA .
I.4. FUNCIONES CONFORMES Demostracin.- El punto (1), sean o 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 ultima proposicin, el conjunto de las homograf es un subgrupo de o as las funciones biyectivas de C en C, que contiene otros subgrupos de transformaciones del plano complejo. Proposicin I.4.3 Una homograf puede escribirse como composicin de: o a o Similitudes z az, a = 0. Traslaciones z z + c.
1 Inversiones complejas z z .
Demostracin.- Consideremos una homograf o a w(z) = sta se puede escribir como: e 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 traslacin, o 1 f3 (z) = inversin compleja, o z f4 (z) = Bz similitud, f5 (z) = z + A traslacin. o
Teorema I.4.2 Una homograf env circunferencias y rectas sobre circunferencias o rectas. a a
22
Demostracin.- Por la proposicin que precede, es suciente mostrar que la inversin compleja env o o o 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 respecto a la recta real R, es suciente mostrar el teorema para la funcin a o z 1/. z Ahora bien, z 1 f (z) = = 2 ; z |z| distinguimos los siguientes casos: i) Recta por el origen
ii) Origen fuera de la circunferencia.
T M O
iii) Circunferencia que pasa por el origen.
A M
iv) Recta que no pasa por el origen. z

1 z
es biyectiva, aplicar el caso iii).

f (recta) = recta.
(OT )2 = OM OM
f(M) f(T)
Of (M ) =
1 OM = 2 OM OT 2 f (M ) se obtiene a partir de M por homotecia de razn 1/OT o
A M
OM A es un tr angulo rectngulo, porque OM es el dimetro de a a 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.
I.4. FUNCIONES CONFORMES v) Origen en el interior de la circunferencia. Fijamos Q, tenemos OP OQ = , tambin OM OM = e f (M ) = M , OM OM = 1, de donde OM =
M
23
M" M Q
1 OM .
De donde f (M ) = M .
Proposicin I.4.4 Sean z1 , z2 , z3 elementos distintos de C y z1 , z2 , z3 otra terna de elementos distintos de o Entonces, existe una sola transformacin homogrca w tal que C. o a w(zi ) = w(zi ), i = 1, 2, 3.
Demostracin.- Primero, vamos a mostrar el caso en que z1 = 1, z2 = 0 y z3 = , se tiene tres situaciones: o i) z1 = , z2 = y z3 = w(z) = ii) z1 = w(z) = iii) z2 = w(z) = iv) z3 = w(z) =
zz2 zz3 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 pedida. a Para la unicidad, mostreremos primero que si w(0) = 0, w(1) = 1 y w() = , entonces w = id. En efecto, la homograf puede escribirse a 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 ultimo, w(1) = a/d = 1, tomando d = 1, se tiene w(z) = z.
24

3
w
2
Figura I.4.2: Transformacin de Cayley o 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 w w : 0, 1, 0, 1, . w w w : 0, 1, 0, 1, . de donde w w w = id y w w w = id, que escrito de otra forma w = w1 w1 = w .
Ejemplo 1. Consideremos la transformacin de Cayley o w(z) = funcin ilustrada en la gura I.4.2 o La accin de esta transformacin en el plano complejo es convertir el eje imaginario en la circunferencia o o unitaria y vice-versa. z+1 z1
I.4.2.
Representacin Conforme o
Existen varios problemas de representacin conforme, entre los cuales tenemos: o 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 restriccin de sin z a esta regin la convierte en una funcin inyectiva y conforme. En efecto o o o sin z1 = sin z2 sin z1 sin z2 = 0 cos( z1 + z2 z 1 z2 ) sin( ) = 0; 2 2
I.4. FUNCIONES CONFORMES dee donde cos( z1 +z2 ) = 0 o sin( z1 z2 ) = 0. Dejamos al estudiante, la vericacin de: o 2 2 sin z = 0 cos z = 0 Por lo tanto, sin z1 = sin z2 z1 z2 = 2k, o z1 + z2 = (2k + 1) z = k, k Z; z =
/2 + k,
25
k Z.
(I.4.3)
La equivalencia (I.4.3) nos asegura que la restriccin de sin a la semibanda superior es inyectiva. Por o otro lado, en el interior de la banda sin z es conforme, por que cos z = 0, para todo z . Ahora bien, la funcin sin z, en particular la restriccin de sin z sobre , es la composicin de cuatro o o o funciones: f1 (z) = iz, f2 (z) = ez , 1 f3 (z) = z z , 1 f4 (z) = 2i z. El comportamiento de sin z, ser analizado a partir del comportamiento de cada una de estas funciones. a Denotamos 1 = f1 (), como f1 es una rotacin de un ngulo recto, deducimos inmediatamente o a 1 = {z C| | z| < y Denotamos 2 = f2 (1 ), un simple ejercicio mostrar que a 2 = {z C| |z| < 1}] 1, 0]. Denotamos 3 = f3 (2 ). Como no tenemos una idea clara de la accin de f3 sobre 2 , determinaremos o 3 conociendo su borde a partir de la accin de f3 sobre el borde de 2 . El borde de 2 o frontera o es la unin de la circunferencia unitaria y el intervalo [1, 0]. Tenemos f3 ([1, 0[) = [0, +[ y parao metrizando 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 accin de la composicin de las cuatro funciones que dan sin z. o o 2. Si f : holomorfa y biyectiva, determinar la funcin inversa. Consideremos el problema modelo, o analizar la determinacin o 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 .
z < 0}
z > 0}.
Explicitemos, cada una de estas funciones. Facilmente

1 f4 (z) = 2iz.
26
Figura I.4.3: Representacin conforme de sin o
I.5. INTEGRACION COMPLEJA
27
Ahora, f3 (w) = w 1/w = z, de donde w2 wz 1 = 0, ecuacin polinomial de segundo grado. o Esta ecuacin tiene dos raices: w1 y w2 que satisfacen w1 + w2 = z y w1 w2 = 1. Puesto que o 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 mdulos nos conduce a que existe a lo ms una ra con esta o a z propiedad. 1 Explicitimos f3 , aplicando la frmula cuadrtica, obtenemos o a w= eligiendo como determinacin de o :Cl C z z2 + 4 , 2
donde l = [0, +) z y |arg z| < . Una vericacin sobre la esta o determinacin dar |w| < 1. Por lo tanto o a
1 f3
z2 + 4 , 2
con
: C l C, l = [0, +) z y |arg z| < .
1 Si bien, f3 ha sido explicitada en funcin de una determinacin de la raiz cuadrada que depende de z, o o el teorema de la funcin inversa, ver parte A de este curso de Anlisis de segundo ao y la proposicin o a n o 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 determinacin de la raiz cuadrada y tener una expresin simplicada o o
1 1 f3 f4 (z) = iz + 1 z 2 donde es una determinacin en la cual 1 z 2 est denida y ademas iz + 1 z 2 est en el disco o a a unitario. 1 f2 (z) = log z con log como determinacin principal. o 1 f1 (z) = z/i Por lo tanto, podemos explicitar esta determinacin de arcsin o
arcsin(z) =
1 log(iz + i
1 z 2 ).
I.5.
Integracin Compleja o
Denicin I.5.1 Un arco simple es una aplicacin de clase C 1 : [a, b] C, con (t) = 0 para todo o o t [a, b] e inyectiva.
28
Denicin I.5.2 f : C, C abierto, : [a, b] arco simple, se dene o

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 relacin (I.5.1), se convierte en o
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)
Denicin I.5.3 Sea : [a, b] C arco simple. Una particin o subdivisin P de = ([a, b]) es una o o o sucesin nita y ordenada o P = {(a) = z0 < z1 < < cn = (b)}; (P ) = mx {|zk zk1 |} a
k=1,...,n
es la norma de la subdivisin P . o
Proposicin I.5.1 Sea : [a, b] C arco simple, p = {a = to < t1 < < tn = b} divisin o particin de o o o [a, b]. Sea P = {(a) < (t1 ) < < (tn )} particin de , entonces o i) (P ) c(p), ii) (P )
0 0,
c y C reales estrictamente positivos (independientes de las particiones) tales que
(p) C(P ).
Demostracin.- Mostremos el punto (i). Consideremos las diferencias (tk+1 ) (tk ), aplicando el teorema o 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 hiptesis, cada una de sus componentes alcanza sus o cotas. Por lo tanto |(tk+1 ) (tk )| c(tk+1 tk ) c(p).
I.5. INTEGRACION COMPLEJA donde c= Por la denicin de mx y sup obtenemos o a (P ) c(p). Mostremos el segundo punto. Por hiptesis (t) = 0 y por continuidad de , se tiene o
t[a,b]
29
(mx |1 (t)|)2 + (mx |2 (t)|)2 a a
m | (t)| = > 0. n
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 restriccin de : [a, b] es biyectiva, por lo tanto, utilizando el mismo procedio miento 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} divisin o particin de o o [a, b]. Sea P = {(a) < (t1 ) < < (tn )} particin de , entonces o (p) 0 (P ) 0.
Teorema I.5.1 Sean : [a, b] arco simple, f : C continua, P denota particin de , entonces o
n b
l m
(P )0 k=1
f (zk1 )(zk zk1 )
=
a
f (z) dz.
(I.5.3)
30 Demostracin.- Se tiene: o
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 pequeo |r(tk , tk1 )| < (tk tk1 ), para un > 0, dado. De donde n
n
r(tk , tk1 )tk < (b a).

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

n
l m
(P )0 k=1
r(tk , tk1 )tk = 0.
Por otro lado,

n
f ((tk1 )) (tk1 )tk

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

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

a
f ((t)) (t) dt.
Corolario I.5.2
f (z) dz depende solamente de y del orden de .
Denicin I.5.4 Un recorrido C es darse arcos simples i : [ai , bi ] C, i = 1, . . . , k con (bi ) = (ai+1 ). o Escribimos C = 1 + 2 + k .
Denicin I.5.5 Sea C = 1 + 2 + k un recorrido, se dene o 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
I.5. INTEGRACION COMPLEJA 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.
Proposicin I.5.2 Sea f : C continua tal que existe una funcin F : C holomorfa con F (z) = o o 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).
Demostracin.- Por un lado tenemos, aplicando la regla de derivacin para la composicin de funciones o o o d F ((t)) = F ((t)) (t) = f ((t)) (t). dt Por otro lado, el Segundo Teorema del Clculo Integral da a
b
F ((b)) F ((a)) =
a
d F ((t)) dt = dt
f ((t)) (t) dt =
a
f (z) dz.
Denicin I.5.6 Sea = 1 + + k un recorrido. Se dice que es un recorrido cerrado o contorno si o 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
Demostracin.- Utilizando la denicin de integral para recorridos y la proposicin precedente, se tiene o o o
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 funcin f : C {0} C dada por f (z) = 1/z no admite primitiva. o Ejemplos 2.- Consideremos la funcin f (z) = z m con m natural. F (z) = z m+1 /(m + 1) es una primitiva, de donde o
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 funcin o admita primitiva. Por ejemplo, considerando 1 = C] , 0], la determinacion principal de log es una primitiva. Tomando 2 : C [0, +[, la determinacin log2 : 2 C con arg2 (1) = . Por lo o 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
Proposicin I.5.3 (cambio de variable) Si f : C continua, g : U holomorfa y : [a, b] U o arco simple, entonces f (z) dz =
g
f (g())g () d.
Demostracin.- Se tiene o 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 funcin holomorfa y o
1 dz = z
1 iz ie dz = i eiz
dz = iz|2 = 2i. 0
2
Proposicin I.5.4 Sea f : C continua, : [a, b] arco simple. Entonces o l (P )0 ( m
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 = mxt[a,b] |f ((t))| a
donde P denota particiones o subdivisiones de ([a, b]) Demostracin.- Demostracin.- El punto I.5.4 ya ha sido visto en el curso de Geometr dejamos como o o a, ejercicio el repaso de la demostracin. o Demostremos el punto I.5.5. Por el teorema I.5.1, se tiene
n
f (z) dz = l m
(P )0 k=1
f (zk )(zk zk1 ) .
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
Proposicin I.5.5 Sea C abierto, = 1 + + k C un recorrido. o i) Si fn : C una sucesin de funciones continuas que convergen simplemente a f : C y uniformeo mente sobre , entonces f (z) dz = l m
n
fn (z) dz.
ii) Si F : U C funcin con U C abierto tal que para todo u U jo la funcin z F (z, u) es o o 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.
Demostracin.- Mostremos el punto (i). La convergencia uniforme, signica que > 0, N tal que n N o 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.
Denicin I.5.7 Un recorrido = 1 + + k se dice de tipo H-V (horizontal-vertical) si o (i ) = C.
(j ) = C o
Proposicin I.5.6 Sea f : C continua, ; [a, b] C arco simple, entonces > 0, recorrido H-V o 1 + + k tal que 1 (a1 ) = (a) y k (bk ) = (b) y adems a f (z) dz
f (z) dz < . H-V
H-V
35
Demostracin.- Se requiere utilizar algunas propiedades toplogicas del plano complejo, que en el momento o o se enunciar sin demostracin, dejando stas para el curso de topolog Utilizando el hecho que ([a, b]) es a o e a. un compacto, se muestra mediante la nocin de recubrimiento, que existe K compacto, tal que K . o (Esta es la parte topolgica). La demostracin asegura que existe > 0 tal que D(z, ) K para todo o o 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 tambin que ( ) < . e Ahora consideremos p = {a = t0 < t1 < < tm = b} una subdivisin de [a, b] tal que (P ) ( ), o donde P = {z0 = (a) < z1 = (t1 ) < < (tm ) = zm }, denimos los zk = zk + (zk+1 zk ), k = 0, . . . , m 1.
z k+1
Por hiptesis sobre (P ), ( ) se tiene que los segmentos zk zk y o zk zk+1 estn dentro K. a Si es necesario, reducir de taman`o (P ), se puede suponer que n
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 proposicin. o
36
I.6.
Un Teorema de Cauchy
Proposicin I.6.1 Sea f : C holomorfa, R = {z C|a z b, c z d} . Entonces o f (z) dz = 0.

R
Demostracin.- Suponemos del contorno (borde del rectngulo) en sentido positivo. o a Dividimos el rectngulo R en cuatro subrectangulos iguales R1 , R2 , R3 a 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 subrectngulos se anulan, porque tienen sentido opuestos, quedando para el a clculo nal los lados no compartidos. a 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 subrectngulo, I1 = R1 f (z) dz. a Por otro lado si p es el perimtro de R, se tiene que el perimtro p1 de e e 1 R es igual a p/2 y si es el dimetro de R, 1 = /2 es el diamtro de a e 1 R . Una vericacin sencilla da: o |I| 4 |I1 | , Podemos construir una sucesin de subrectnguloes Rk , con k = 1, 2, . . ., de manera que Rk+1 sea un o a subrectngulo que divide en partes iguales a Rk . Si denotamos por Ik = Rk f (z) dz, k , pk el diamtro y el a e perimtro de Rk se tiene e p |I| 4k |Ik | , k = k , pk = k . 2 2 Utilizando el principio de los intervalos encajonados del primer Curso de Anlisis en la parte real e imaginaria a de la sucesin mostramos que o l Rk = {z0 }. m
k
Por hiptesis f es holomorfa, en particular f es C diferenciable en z0 , de donde podemos escribir o 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 r(z) = 0. m
zz0
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 mx |r(z)(z z0 )| . a
zRk
Elijamos
> 0, entonces existe > 0 tal que |z z0 | < |r(z)| < ,
ms todavia, existe K N tal que k K se tiene Rk D(z0 , ). a 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
Denicin I.6.1 Sea C = 1 + + k un recorrido. Se dir que C es un recorrido simple si o a i = j i ([ai , bi ]) j ([aj , bj ]) = , excepto quizs 1 (a1 ) = k (bk ). a
Denicin I.6.2 Se dira que C es un contorno simple o recorrido cerrado simple, si C = 1 + + k es o un recorrido simple con 1 (a1 ) = k (bk ).
Interior de un Contorno Simple Sea C un contorno simple. En el curso de topolog se muestra que existe R > 0 tal que C B(0, R) a Sea z0 B(0, R). Se dira que z est en el interior de C, si a 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 orientacin o sentido de C se elige de manera que el o interior de C est a la izquierda de C. e
38
Denicin I.6.3 D C es un dominio simple si D es de la forma o D = C Int C, donde C es un contorno simple. Ejemplos 1. Un rectngulo R es un dominio simple a
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. Demostracin.- Utilizando la proposicin I.5.6, para o o 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 cuadriculacin del interior de H-V en que los arcos de H-V son o lados de algn o algunos rectngulos. Utilizando el mismo u a argumento que la proposicin precedente, se tiene o f (z) dz =
HV Ri Ri
f (z) dz = 0,
por la proposicin precedente. o
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
Notacin.- Como la integral solo depende de las extremidades es vlida la notacin o a o

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). Demostracin.- Fijemos z0 D . Planteamos o
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 pequeo, para que z + n 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 z f (z)0 2
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
Demostracin.- Realizamos un corte del dominio simple D en dos subdominios simples: D y D de manera o 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
porque f es holomorfa sobre los dominios D y D y la integrales se anulan en los bordes comunes (diferentes sentidos de integracin) o
Ejemplo 4.- Consideremos D dominio simple con 0 D , D1 = {z| |z| r} con r lo sucientemente pequeo de n 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 za 1 dz = . C za
I.7.
Frmulas Integrales de Cauchy o
Teorema I.7.1 Sea f : C holomorfa. D dominio simpler, z0 D . Entonces f (z0 ) = 1 2i f () d. z0
Demostracin.- Utilizando el corolario I.6.8 y con r > 0 lo sucientemente pequeo se tiene o n 1 2i f () 1 d = z0 2i f () d z0
|z0 |=r
La parametrizacin z0 + re2it de la circunferencia de centro z0 y radio r da o 1 2i f () d = z0

1
f (z0 + re2it ) dt.

0
|z0 |=r
El valor de la segunda integral es independiente de r, a condicin que la circunferencia est dentro del o e 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 r0 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
Demostracin.- Por induccin; para n = 0 es el teorema precedente. Suponemos cierto para n 1, sea o o 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 hiptesis de induccin o o (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 funcin : D D(z0 , r) C dada por o (, z) =

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

zz0
l m
f (n1) (z) f (n1) (z0 ) z z0
= l zz0 m =
(n1)! 2i
(, z) d
(n1)! l zz0 (, z) d m 2i D = (n1)! D (, z0 ) d 2i f n! = 2i D (z() d. n+1 0)
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 . Demostracin.- Fijemos z0 . Planteamos o F (z) =
f (w) dw,
donde arco simple con (a) = z0 y (b) = z. Por hiptesis F (z) no depende de que une z0 con z. o 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 pequeo, n 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 ao de anlisis se estudi a profundidad la nocin de series numricas, al igual que las series de n a o o e funciones en el mbito real. Las deniciones, propiedades son vlidas si se remplaza R por C, exceptuando a a la nocin de C-derivabilidad que ser vista en esta seccin. Por consiguiente es conveniente que el estudiante o a o no solo repase el curso de primer ao de anlis, sino que lo domine. La primera novedad n a Teorema I.8.1 (Weistra) Sea un dominio simple, {fn : C} una sucesin de funciones holomoro fas. Si fn f uniformemente sobre cuando n , entonces f es holomorfa y fn f uniformente sobre cuando n . Demostracin.- Consideremos contorno simple de , por la proposicin I.5.5 se tiene o o f (z) dz =
l fn (z) dz = l m 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 frmula integral de Cauchy se o 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 sucesin de coeentes en C y z una variable o 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 cuestin de convergencia, estas series forman el algebra C[[z]] o de las series formales. Para la convergencia, tal como se dijo se retoma las deniciones dadas en el curso de Primer Ao de Anlisis, con los respectivos criterios y condiciones de convergencia. Solo agregamos una n a frmula para el radio de convergencia. o Proposicin I.8.1 (Frmula de Hadamard) La serie de potencias con coecientes {an } C tiene como o o radio de convergencia lim sup 1 |a | n n n R= (Frmula de Hadamard) o 0 si lim supn n |an | = n si lim supn |an | = 0. donde lim sup |an | = l sup{|ak | |k n}. m
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
Demostracin.- Para los dos primeros puntos revisar el curso de anlisis de primer ao. Los puntos iii) y o a n iv) son consecuencia del teorema de Weirstraenunciado m arriba. a
Denicin I.8.1 Sea f : C R, z0 , f indenidamente C derivable en z0 , la serie de Taylor de o f en el punto z0 es f (k) (z0 ) ST fz0 (z) = (z z0 )k . n!
k=0
Teorema I.8.3 ((Cauchy-Taylor)) Sea f : C holomorfa, z0 , R > 0 tal que D(z0 , R) . Entonces f (n) (z0 ) f (z) = (z z0 )n n! n=0 uniformemente sobre D(z0 , R). Demostracin.- Sea D un dominio simple que contiene D(z0 , R), esto es posible por es un abierto. o
Por otro lado 1 1 1 = = z z0 + z0 z ( z0 )(1 1 zz0 = z0 ) z0
porque |z z0 | < | z0 | y adems la convergencia es uniforme sobre el disco centrado en z0 . Por consiguiente a se puede integrar trmino a trmino garantizando la convergencia uniforme de la serie e e f (z) = 1 2i n=0

Las frmulas integrales de Cauchy dan: o f (z) f

(n)
= =
1 2i
f () D z
(z0 )
n! 2i
f () D (z0 )n+1
n=0
z z0 z0
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 funcin que puede expresarse como una serie de potencias es holomorfa o y lo mismo una funcin holomorfa puede expresarse como serie de potencias. Las funciones que tienen esta o propiedad se llaman funciones anliticas; es decir que son indenidamente derivables y que la serie de Taylor a de la funcin coincide con la funcin en la regin de convergencia. o o o Remarca.-Si f : C es holomorfa, entonces el radio de convergencia de la serie de Taylor de f en el punto z0 , est dada por a dist(z0 , ), vericacin que dejamos como ejercicio. o Ejemplo 1. La funcin y = arctan x es completamente lisa para < x. y no se comprender porque el o a polinomio de Taylor no funciona fuera de [1, 1], pero visto en C, recordando la seccin I.4 vemos que o en la determinacin de arctan que no est denida para i. o a 2. Consideremos la determinacin principal del logaritmo, o log z =
z z d d ] 1 1+(1) 1 z (1 ( 1) + ( 1)2 1 2 3 4 (z1) + (z1) (z1) + 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 denido. a
I.8.1.
Clculos con Series Enteras a
A continuacin se enunciar algunas propiedades de las series enteras. o a Proposicin I.8.2 Sean f (z) = o
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 1 , 2 ). n(
46
w y x y

n = 12
x w
n = 12
w y x y
n = 24
x
n = 24
Figura I.8.2: Grcas de parte real e imaginaria de (z 1) a
(z1)2 2
(z1)3 3
(z1)n n
Demostracin.- Ver demostraciones en el curso de Primer Ao de Anlisis. o n a
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. Adems podemos escribir los otros a coecientes de la serie g(z) con signo . Tenemos la proposicin: o Proposicin I.8.3 Sea g(z) = 1 + o 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. Demostracin.- Para las relaciones recursivas dadas por (I.8.4) los productos de Cauchy de la serie producto o g(z).(1/g(z) = 1 darn lo deseado. Mostremos ahora, que el radio de convergencia de la serie cociente es a mayor o igual a 1/2. La frmula de Hadamard para el radio de convergencia ,asegura que la sucesin o o |b1 | , |b2 |,
3
|b3 |,
son por q > , es decir |bn | q n . Insertamos sucesivamente esta mayoracin en (II.8.4) y tenemos o |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 n-sima, se tiene que 1/g(z) converge para |z| < 1/(2q). z
I.8. SERIES ENTERAS

F(w)

47
(z)
Figura I.8.3: Composicin de Series o
Aparte de las operaciones aritmticas con series, se tiene la composicin de series enteras. Para ubicar el e o problema, consideramos las series

f (z) =
k=0
an z 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 + = a0 + a1 b1 w + (a1 b2 + a2 b2 )w2 + (a1 b3 + 2a2 b1 b2 + a3 b3 )w3 + 1 1 = a0 + c1 w + c2 w2 + c3 w3 + c3 w4 +
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 mayoracin para la serie doble dada por 1 + qz + qz 2 + = 1/(1 qz) siempre y cuando o |z| < q. Remplazando en la mayoracin de la segunda serie, obtemos una mayoracin en funcin de w dada o o o por 1 1 , pw = (1 pw) 1 q 1pw 1 (q + 1)pw mayoracin vlida si |w| < 1/(p(q + 1)). o a Otro problema es el clculo de la serie entera de la funcin inversa de una serie entera. Sea w = f (z) con a o 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 funcin inversa z = g(w) bajo la forma o z z0 = b1 (w w0 ) + b2 (w w0 )2 + b3 (w w0 )3 + .
g(w) =
k=1
bn w n ,
48
Despues de realizar traslaciones al origen, podemos suponer que z0 y w0 ubicados en el origen, se tiene e por consiguiente w = f (g(w)) y utilizamos el reordenamiento de la serie composicin en potencias de w. Se o obtiene w = a1 b1 w + (a1 b2 + a2 b2 )w2 + (a1 b3 + 2a2 b1 b2 + a3 b3 )w3 + 1 1 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 discusin de la convergencia utilizando el criterio de la serie mayorante es posible, ver H. Cartan I.2.9, o pero muy complicada. La cuestin de la convergencia ser resuelta utilizando una ecuacin diferencial. o a o Sea F (w) = a0 + a1 w + a2 w2 + a3 w3 + una funcin dada, se busca una funcin w = f (z) con o o dw = F (w), dz w(0) = 0,
remarcando que la traslacin del sistema de coordenadas al valor inicial ha sido ya realizada. Se plantea, o como de costumbre, w = b1 z + b2 z 2 + b3 z 3 + e remplazamos en la ecuacin diferencial. Se tiene o 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 anlisis de la convergencia es sencillo, mayoramos los bi pasando a los modulos los ai y a remplazando los aj por una cota, proe ejemplo |aj | q j . Esto quiere decir que hemos resuelto la ecuacin o diferencial dw 1 = (1 + wq + w2 q 2 + ) = , w(0) = 0. dz 1 wq Esta ultima ecuacin es de tipo separable, ver curso de Primer Ao de Anlisis, obteniendo como solucin, o n a o despues de integrar e despejar w, teniendo el cuidado de vericar w(0) = 0, se obtiene 1 1 2qz w= q solucin, cuya serie converge para |z| < 1/(2q). o Regresemos al caso de determinar la serie de la funcin inversa de w = f (z) = a1 z + a2 z 2 + . Se tiene o dw = a1 + 2a2 z + 3a3 z 2 + , dz por lo tanto, para la funcin inversa, se tiene o 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 ecuacin diferencial que la resolvemos mediante el algoritmo planteado ms arriba. o a 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 nmero nito de terminos y utilizar u la notacin o y O. o
I.8.2.
Teoremas de Unicidad y Prolongamiento Anlitico a
Denicin I.8.2 Sea f : C holomorfa, z0 . f tiene un cero de orden k en z0 si o f (z0 ) = f (z0 ) = = f (k1) (z0 ) = 0 y f (n) (z0 ) = 0.
Proposicin I.8.4 f : C holomorfa, f tiene un cero de orden k en z0 si y solamente si existe o 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 .
Demostracin.- Mostraremos la contrarec o 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 ms pequeo tal que ak = 0 obteniendo a n 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 un cero aislado, lo que contradice que z0 no sea un cero aislado. Como a 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, tambin es conexo por arcos. Sea : [0, 1] R un arco tal que (0) = z0 y (1) = z. e
50
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 Emismo, 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 anlitico. Consideremos una funcin f : C holomorfa, donde es un abierto. Sea z0 . Por a o consiguiente, f puede escribirse como una serie entera alrededor de z0 ,
donde > es el radio de convergencia de la serie. Sea z1 = z0 un punto dentro el disco |z z0 | < , entonces la substitucin z z0 = z z1 + (z1 z0 ) en la serie permite o

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 permitido porque para z jo con |z1 z0 | + |z z1| < a la serie doble converge absolutamente; en efecto

f (z) = f (z) =
n=0
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 restriccin de f en la porcin del arco incluida en el disco es o o 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 que z1 = z, en cualquier disco a D(z1 , r) z1 no es un cero aislado, por lo que f es identicamente nula en este disco y en particular en la porcin del arco o incluida en ese disco y por lo tanto no ser el supremo de I. a
an (z z0 )n ,
n=0
|z z0 | < ,
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 .
|an | (|z z1 | + |z1 z0 |)

n=0
I.8. SERIES ENTERAS
51
Figura I.8.4: Principio del Prolongamiento Anlitico a converge absolutamente. La conclusin es que si |z z1 | < |z1 z0 |, la serie o
n
bn (z z1 )n converge y representa la misma
funcin f (z). Pero es posible que el radio de convergencia sea mayor que |z1 z0 | y por lo tanto converga o en una regin fuera del disco inicial. Viendo la Figura I.8.4, la funcin f (z) ha sido prolongada de manera o o unica. Este procedimiento puede ser repetido y permite llenar una regin de ms en ms hasta llegar a o a 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 continuacin presentamos una serie de teoremas que mostrarn o a cun poderosa es la teor de las funciones complejas. a a 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 =
Demostracin.- Sin perder generalidad podemos suponer que z0 = 0. Sea < < R y planteamos I() = o 2 2 f (ei ) 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 am 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 clculos en la doble serie estn justicados porque trabajamos con una serie absolutamente convergente. a a
Denicin I.8.3 Una funcin entera es una funcin f (z) holomorfa sobre todo el plano complejo C. o o o
Teorema I.8.6 (Teorema de Louiville) Toda funcin entera y acotada es constante. o Demostracin.- Sea M la cota es decir |f (z)| M para todo z C. Para todo R > 0 por la desigualdad o 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.
Proposicin I.8.5 Sea f holomorfa en un disco abierto D, continua en D. Si un punto c D es un punto o mximo de |f (z)|, entonces f es constante en un vecindario de c. a
I.8. SERIES ENTERAS
53
Demostracin.- Si f (c) = 0 el resultado es evidente. Sino planteamos M = |f (c)|. La hiptesis sobre c o o implica que exista R > 0 tal que para todo 0 < r < R se tenga |f (z)| < M para z = c + rei , 0 2.
Observemos la imagen de esta circunferencia ubicada en el disco D(0, M ). Mediante una rotacin llevamos o f (c) al eje real y despues de la sustraccin g() = f (z) f (c) = f (c + rei ) f (c) este punto se convierte el o origen, ver gura ms arriba. Por el teorema del valor medio a
2
g() d = 0.
0
La curba g() D(M, M ), por lo que (g()) 0, salvo si g() = 0. La continuidad de g y el valor de la integral implican que (g() = 0 para todo . Ahora bien, el unico punto, donde el disco D(M, M ) en cuestin toca el eje imaginario es O. De esta manera g() = 0 y como f (z) es constante sobre el borde de o D(c, r) la continuidad de f implica que f sea constante en este disco.
Teorema I.8.8 (Principo del Mximo) Sea f : C holomorfa no constante, D dominio simple, a entonces para todo z0 D |f (z0 )| < sup |f (z)| .
zD
Demostracin.- Sea M = sup |f (z)|. Si los puntos mximos se encuentran sobre D, entonces el teorema o a 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 proposicin precedente E es abierto en D, como D o es un dominio simple, por lo tanto conexo, E = D lo que contradice la hiptesis de que f no es constante. o
zD
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. Demostracin.- Supongamos que el teorema no es correcto; es decir que existe un polinomio de grado o mayor o igual a 1 p(z) que no admita raices. Por lo tanto p(z) = 0 para todo z y la funcin f (z) = 1/p(z) o es entera.

54
Figura I.8.5: Demostracin Teorema de la Aplicacin Abierta o o Por otro lado, se tiene que
z
l f (z) = 0, m
lo que signica que existe R > 0 tal que |z| > R |f (z)| < 1. Para el disco D(0, R) aplicamos el principio del maximo, con lo que la funcin f (z) es acotada. El teorema de Liouville implica que f (z) es constante, lo o que contradice que p sea un polinomio de grado mayor o igual a 1.
Teorema I.8.10 (Teorema de la Funcin Abierta) Sea un abierto y f una funcin holomorfa no o o constante, entonces para todo abierto U f (U ) es un abierto. Demostracin.- Se debe mostrar que la imagen de un disco D(z0 , ) contiene un disco D(f (z0 ), ). En el o caso en que f (z0 ) = 0, la funcin es biyectiva en un vecindario de z0 y el resultado es trivial. o 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 convirtindolo en un disco de e radio = |an | n , recorriendolo n veces. Es decir cada punto del disco D(0, ), a excepcin del origen, tiene o exactamente n preimgenes. a El caso en que existen bk no nulos, para |z| lo sucientemente pequeo, utilizando la serie binomial de n Newton, ver Curso Primer Ao de Anlisis, se tiene n a (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 . Sea > 0, como g (0) = 0, exite > 0 tal que D(0, ) g(D(0, )). Por ultimo, al elevar a la potencia n estamos en el caso en que los bk son nulos. Por consiguiente = |an | n .
g(z)

ap()
I.9. SERIES DE LAURENT
55
I.9.
Series de Laurent
En la seccin precedente hemos estudiado el hecho que las funciones que son holomorfas sobre un disco, o admiten desarrollos en serie de potencias. En esta seccin se pretende generalizar este desarrollo en serie de o potencias a regiones ms generales. a Denicin I.9.1 Sean a C, 0 r < R. La corona de centro a, radio inferior r y radio superior R es el o conjunto C(a, r, R) = {z Z|r < |z a| < R}.
Considermos una funcin f (z) holomorfa sobre una corona C(a, r, R), planteamos o
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 .
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 .
Demostracin.- Sean 1 , 2 con R1 < 1 2 < R2 , como la corona C(a, R1 , R2 ) es un conjunto abierto, o

(I.9.2)
56 existen 1 y 2 tales que
|z|=r
Por otro lado, la frmula integral de Cauchy da o f (z) = 1 2i

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

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

k=0
za a
uniformente. Por consiguiente, al existir convergencia uniforme sobre el disco D(a, 2 ), se tiene 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 za a za
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

f () 1 d = z 2i
f () d z
f () d . z

f () d = z
f () d + z
f () d. z
Sea z {z|1 |z a| 2 . Para r > 0 lo sucientemente pequeo D(z, r) C(a, 1 , 2 ). Por lo tanto, de acuerdo a otro n colorario del teorema de Cauchy sobre integrales, se tiene
R1 < 1 < 1 < 2 < 2 < R2 .
57
k=
Proposicin I.9.1 Si f (z) = o

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.
Demostracin.- Dejamos al estudiante la justicacin de los clculos, se tiene o o a al = 1 2i 1 2i

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 =
k=
Ak 2i
Al igual que las series enteras, con las series de Laurent, en lugar de utilizar la frmula integral (I.9.1) para o determinar la serie de Laurent de una funcin es preferible utilizar propiedades de series y series ya conocidas. o Ejemplos 1. Consideremos la funcin f (z) = o 1 . Esta funcin no est denida en z = i y z = i. Determinemos o a 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 funcin f (z). Se tiene o 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 z i 2i 1 + zi 2i
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 funcin f (z) = 1z(z) y hallemos las series de Laurent para las coronas 0 < |z| < 1 o 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 1 = z2 z(z 1) 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
Consideremos una funcin holomorfa sobre una corona de radio inferior 0, {0 < |z a| < R}, sea o
k=1
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 nmero nito de u trminos no nulos). En este caso, la serie de Laurent es e
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 trminos no e nulos). Se dir que a es una singularidad esencial. Por ejemplo, para 0 < |z| a
e1/z =
k=0
1 k!
1 z
Proposicin I.9.2 Sea f : {z|0 < |z a| < r} C holomorfa, entonces f posee un polo de orden n en a o si y solamente si 1/f posee un cero de orden n en a. Demostracin.- Se tiene o 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.
Proposicin I.9.3 Sea f : {z|0 < |z a| < r} C holomorfa. Si f es acotada, entonces la singularidad es o suprimible. Demostracin.- Consideremos la serie de Laurent de f en la corona {z|0 < |z a| < r} o
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 sucesin zn a tal que o f (zn ) 0. Demostracin.- Por el absurdo, supongamos lo contrario; es decir que toda sucesin zn a verica o o f (zn ) 0. Esto es posible, si existe > 0 tal que > 0, se tiene 0 < |z a| < |f (z)| . Sino ser posible construir una sucesin con las caracter a o sticas sealadas. n 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 proposicin o precedente. Lo que conduce a una contradiccin. o
60
Corolario I.9.3 f posee una singularidad esencial en a, entonces para todo c C, existe una sucesin o zn a tal que f (zn ) c.
Demostracin.- Planteamos g(z) = f (z) c y aplicacmos la proposicin precedente. o o
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 . Denicin I.10.1 Sea f : D C holomorfa, donde D es un conjunto discreto. El residuo de f en el o punto z es Resz=z (f ) = a1 (z ) = 1 2i
|z |=
f () d,
con > 0 lo sucientemente pequeo. n
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)
Demostracin.- int C es un conjunto acotado, se tiene D int C es un conjunto a lo ms nito. Por o a
I.10. RESIDUOS Y APLICACIONES consiguiente D int C = {z1 , z2 , . . . , zn }. Por corolario del teorema de Cauchy se tiene
61
f () d
C
=
k=1|z |= k k n
f () d
= 2i

Resz=zk (f ) .
k=1
I.10.1.
Clculo de Residuos a
Si bien, el residuo de una funcin f en punto a est denido mediante una integral, la utilizacin de residuos o a o se justica para el clculo de integrales por medio del teorema del residuo. Por consiguiente, la determinacin a o del residuo en un punto singular pasa por la determinacin de la serie de Laurent alrededor del punto aislado. o Polos Simples En este caso f (z) = a1 (z a)1 +
k=0
Ahora bien, la funcin o (z a)f (z) = a1 + a0 (z a) + es holomorfa en z = a, de donde a1 = l (z a)f (z). m

za
Ejemplos 1. Consideremos la funcin f (z) = 1/ sin z, sta tiene un polo simple en el origen, o e Resz=0 ( 1 z ) = l m = 1. z0 sin z sin z
2. Supngamos que la funcin f (z) es de la forma o o 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
za
ak (z a)k .
P (z)(z a) = l m za Q(z)R(z)
P (z)
Q(z)Q(a) R(z) za
P (a) . Q (a)R(a)
62
CAP ITULO I. VARIABLE COMPLEJA Como ilustracin, consideremos f (z) = cot z, esta funcin tiene polos simples en z = k con k entero, o o z sabiendo que cot z = cos z , los residuos en los polos simples zk = k, estn dados por a sin 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 dada por a f (z) = an (z a)n + + a1 (z a)1 + a0 + a1 (z z0 ) + . La funcin g(z) = f (z)(z a)n es holomorfa alrededor de a, por que a es una singularidad suprimible para o g. El desarrollo en serie de potencias alrededor de a de la funcin g es por consiguiente o g(z) = an + + a1 (z a)n1 + . El residuo buscado de f es el coeciente del trmino de grado n 1, por consiguiente e Resz=a (f (z)) = 1 dn1 (g(z))z=a . (n 1)! dz n1
Ejemplo 3.- Consideremos la funcin f (z) = 1/(1 + z 2 )n , que tiene polos de orden n en z = i. Calculemos el residuo o 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 funcin, generalmente no es una tarea simple por lo o que tambin es util realizar desarrollos de series de Laurent limitados a un nmero nito de trminos. e u e Ejemplo 4.- La funcin csc3 z tiene un polo de orden 3 en el origen. Realizando desarrollos en serie de potencias o limitados a un nmero nito de trminos, se tiene u e 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.
Clculo de Integrales a
Una de las aplicaciones de los residuos est dada por el clculo de integrales denidas y/o impropias reales. A a a continuacin veremos algunas situaciones t o picas, en las cuales la utilizacin de residuos permite facilmente o 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 adems que Q(cos , sin ) = 0 para todo [0, 2]. a 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 transformacin dada ms arriba, se convierte en o a
1 d = 2i a + cos
z2
1 dz + 2az + 1
aplicamos el teorema de los residuos y obtenemos

2 0
2. Integrales del tipo:
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
2 1 1 = . d = (2i)(2i) 21 a + cos 2 a a2 1
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 zP (z)/Q(z) = 0. m
z
Por consiguiente la integral impropia en cuestin existe y ademas o

+ r
Pasando al l mite, se verica R(z) dz r mx |P (z)/Q(z)| 0 cuando r a

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

r
de donde
Ejemplo 6.- La integral impropia

porque i es un polo de orden n, el unico 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 rectngulo, observando la gura de la derecha, se tienen 1 , 2 y 3 a arcos simples que no estn sobre la recta real. Para 1 , se tiene a
1

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,
l m
R(z) dz = 2i
zi polo zi >0
Resz=zi (R(z)),
R(x) dx = 2i
zi polo zi >0
Resz=zi (R(z)).
1 (2n 2)! dx = 2n2 (1 + x2 )n 2 ((n 1)!)2
(I.10.2)
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) = mx |f (z)| 0 cuando R 0. De esta manera la integral sobre 1 tiende a 0 cuando a R . Similarmente la integral sobre 3 tiende a 0. Para el arco 2 , se tiene la mayoracin o
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 rectngulo en el semiplano inferior. a Ejemplo 7.- Determinar

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

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 rectngulo en el semi a plano superior. Esta funcin tiene un polo simple en z = 0, de donde o eiz dz = 2i Resz=0 (eiz /(2iz)) = . 2iz
Para eiz /2iz agregamos a un recorrido, de manera que obtengamos un rectngulo en el semia plano inferior, esta funcin no tiene polos en el interior del rectangulo, por lo tanto o 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 funcin holomorfa que no se anula sobre el semieje positivo real, o 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 condicin sobre z 1+ f (z) cuando z hace que la integral o sobre 1 tienda a 0 cuando R . La condicin 1 < < 1 hace que la integral sobre 4 tienda a 0 o cuando 0+ . Aplicando el teorema de los residuos sobre el contorno , se tiene z f (z) dz = 2i
zi polo zi =0
Gracias a I.10.3, la integral sobre 3 , vale

R
Por lo tanto, haciendo tender R y 0+ , y utilizando I.10.4, se obtiene
Suponiendo que = 0, se deduce facilemente que

0
Ejemplo 8.- Determinar la integral de Euler

0
Observando el contorno, para este tipo de integrales, la condicin a > 0 asegura que la integral o sobre 4 tienda a 0 cuando tiende a 0 y la condicin a < b asegura que la integral sobre la o circunferencia de radio R tienda a 0 cuando R . Sin embargo, es muy posible que en esta integral no se pueda cumplir la condicin I.10.3; por lo o
zi Resz=zi (f (z)),
(I.10.4)
tomando como determinacin del logaritmo, aquella en que o arg(1) = .
(xei2 ) f (xei2 ) dx =
x f (x) dx.
(1 )
0
x f (x) dx = 2i
zi polo zi =0
zi Resz=zi (f (z)).
x f (x) dx =
2i 1
zi Resz=zi (f (z)).
zi polo zi =0
xa1 dx 1 + xb
0 < a < b.
(I.10.5)
I.10. RESIDUOS Y APLICACIONES que, en lugar de elegir el contorno sugerido ms arriba, elegimos otro contorno. a
67
La novedad consiste en tomar como 3 el segmento de recta de direccin dada por ei donde = 2/b. Existe un unico polo simple en el o interior del contorno dado por z = ei/2 . Haciendo tender a 0 y R al innito, se tiene (1 ei(a1) )
0
Por lo tanto
0 0
5. Integrales del tipo log xR(x) dx Donde R(x) = P (x)/Q(x) es una funcin racional que no se anula sobre el semi eje real positiovo y o deg P + 2 deg Q. Para resolver esta integral consideramos la funcin o f (z) = log2 z R(z),
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
Por consiguiente
R R
(log z)2 R(z) dz +

1 3
Aplicamos el teorema de los residuos, hacemos tender 0 y R , para obtener
log x R(x) dx =
0
Ejemplo
xa1 ei(a1)/2 eia/2 dx = 2i i(b1)/2 = 2i 1 + xb b be
porque eib/2 = 1. xa1 eia/2 pi 1 . dx = 1ei(a1) = b b sin a 1+x b b

2i
(I.10.6)
con determinacin del argumento dada por arg(1) = y el contorno o 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.
logx R(x)dx,
3
(log z)2 R(z) dz =

R
(log x + i2)2 R(x) dx.
(log z)2 R(z) dz = 2i
log x R(x) dx + 4 2
R(x) dx.
1 2
log2 (zi ) Resz=zi (R(z)) i

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

0
log x dx. 1 + x2
Utilizamos las frmulas (I.10.7) y (I.10.2) con n = 1. La funcin R(z) = 1/(1 + z 2 ) tiene polos o o 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 Ao de Anlisis se trato el concepto de integral impropia y la caracter n a stica esencial era que el l mite de la integral no depend de los l a mites de las extremidades. Denicin I.10.2 Sea f : R {a1 , . . . , an } R continua. El valor principal de f (x) dx, si existe, o est dado por a
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 denicin de valor principal dada por (I.10.8), presenta dos l o mites, uno alrededor de los puntos singulares y otro l mite en las extremidades. Esta denicin puede adaptarse a otras situaciones, o 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 adems a 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
Demostracin.- Consideramos el contorno dado por la semicircunferencia CR de radio R, los segmentos o [ak + , ak+1 ] y las semicircunferencias Ck = {z = ak + eit |t [, 2]. Para R > 0 lo sucientemente grande y > 0 lo sucientemente pequeo se tiene, por el teorema de los residuos n f (z) dz = 2i

Por otro lado, si zk polo simple con
con gk holomorfa, de donde f (z) dz = i Resz=zk (f (z)).

Ck
Por consiguiente
a1 a2 R
f (x) dx +
R a+
Pasando a los l mites se tiene el resultado deseado.
I.11.
Funciones Meromorfas
Denicin I.11.1 Sea C abierto, Se dir que f : D C holomorfa es meromorfa, si D es un o a conjunto discreto y para todo z D z es un polo o singularidad suprimible. Denotamos por M() el conjunto de funciones meromorfas sobre .
Proposicin I.11.1 Sea C un abierto no vacio, entonces M() es un es cuerpo que prolonga C. o Demostracin.- Ejercicio. o
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 vericacin es un simple ejercicio. o 2. Las funciones trigonomtricas cos z, sin z, tan z, cot z, sec z y csc z son funciones meromorfas. De las e cuales, excepto sin z y cos z tienen una innidad de polos simples.
Resz=zk (f (z))
(I.10.10)
zk = 0, se tiene alrededor de zk f (z) = Resz=zk (f (z)) + gk (z) z zk (I.10.11)
f (x) dx + +
an +
f (x) dx
f (z) dz
CR
f (z) dz
C zk polo simple k zk =0
f (z) dz
= 2i
Resz=zk (f (z)) + i
Resz=zk (f (z))
CR
f (z) dz.
zk polo simple zk =0
70
I.11.1.
Desarrollo en Fracciones Parciales de Funciones Meromorfas
Para las funciones racionales, la descomposicin en fracciones parciales es conocida desde hace 300 aos y es o n muy util, por ejemplo en integracin. Consideremos la fraccin o o 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 estn dadas por: a 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 funcin f (z) p1 (z) p2 (z) tiene ningun polo y por consiguiente es holomorfa sobre todo C, como o u l f (z) = 0 y por el teorema de Liouville, esta diferencia es 0. Por lo tanto, se tiene m
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 funcin en cuestin tenga una innidad de polos. o o 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 nmero nito de terminos y por que la funcin u o 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 anlisis de convergencia; segundo, f (z) 0 cuando z . a En consecuencia, es necesario proceder de otra manera. Sea f : C meromorfa. Consideramos una
sucesin de contornos Cn tal que o

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 funcin gk es holomorfa en el dominio denido por Ck . o Aplicando la frmula integral de Cauchy, se obtiene o 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 funcin meromorfa, denotamos o por pk la parte principal del desarrollo de la serie de Laurent de f alrededor del polo zk . Si existe una sucesin o {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 adems para M C compacto, se tiene para todo z M a 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 funcin csc z = 1/ sin z. Esta funcin tiene polos simples en z = k o o con k C y la serie en fracciones parciales conjeturada est dada por la frmula (I.11.8). Mostremos que a o esta formula es correcta. La segunda grca de la gura I.11.1 nos sugiere inmediatamente que contornos a 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 funcin csc / es una funcin par, por lo que o o 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 peridica, se tiene csc((/2 + 2(n 1)) + iy) = csc(/2 + iy) y por consiguiente, utilizando identidades o trigonomtricas, se obtiene e 1 sin( + iy) 2 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 funcin impar, se tiene sobre el cuadrado Cn , |csc | 1. Por lo tanto o 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 mero de Ceros y Polos de Funciones Meromorfas u
Sea f : C una funcin meromorfa sobre un abieto y un contorno en tal que f no tenga, ni o ceros, ni polos sobre . El campo de vectores : C f z |f (z) (z)| est denido y es continuo sobre , excepto sobre los ceros y polos de f . En particular es continuo sobre el a arco . Denicin I.11.2 (Indice de Cauchy) El o ndice de Cauchy, Ind(f, ), de la funcin f sobre el contorno o , es el nmero de vueltas, (tomando como sentido positivo el movimeinto de las manecillas de un reloj), u que da el campo al recorrer el contorno . Ver gurea I.11.2. Para un contorno : [a, b] y una funcin f : C meromorfa, sin polos, ni ceros sobe el contorno, o consideremos la funcin continuea o : [a, b] R t f ((t)) = ei . |f ((t))| (I.11.21)
Esta funcin est bien denida si se conoce por ejemplo (a) y su clculo puede efectuarse cambiando o a a 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)
Demostracin.- Ejercicio o
Antes de enunciar el resultado principal de esta seccin es bueno recordar el siguiente resultado o 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)
Demostracin.- Ejercicio o
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 nmero de ceros, contando su multiplicidad, de f en el interior de C y P es el nmero de u u polos, contando su orden en el interior de C.
75
Demostracin.- Puesto que f es meromorfa y el interior de C es acotado, el nmero de polos y ceros o u son en cantidad nita. Denotemos por {z1 , z2 , . . . , zn } los ceros y polos, dos a dos diferentes. Con > 0 lo sucientemente pequeo aplicamos el corolario 1.6.3 del teorema de Cauchy lo que da n f (z) dz = f (x)
n |zzk |=
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
|zzk |=
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
|zzk |=
f (z) nk (z zk )nk 1 g(z) + (z zk )nk g (z) 1 g (z) = = nk + nk g(z) f (x) (z zk ) (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) Sean f, g : C holomorfa, C un contorno con Int C . e Si |f (z)| > |g(z)| para todo z C, entonces f y f + g tienen el mismo nmero de ceros en el interior del u contorno C. Demostracin.- Consideramos la funcin denida por h(t, z) = f (z) + tg(z) con t [0, 1]. Esta funcin es o o o 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 bien denido para todo t [0, 1] a 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 funcin respecto a t est es continua y que solo toma valores enteros, o a lo que signica que necesariamente es constante.
76
Indice alfabtico e
ndice Cauchy, 73 a ngulo orientado, 18 arco simple, 27 divisin, 28 o particin, 28 o argumento determinacin, 12 o clculo de integrales a residuos, 63 cambio variable, 33 Cauchy ndice, 73 desigualdad, 51 teorema, 38 valor principal, 68 Cayley transformacin, 24 o cero, 49 orden, 49 complejos adicin, 3 o conjugado, 4 cuerpo de los, 4 divisin, 5 o forma polar, 5 mdulo, 5 o multiplicacin, 3 o parte imaginaria, 4 parte real, 4 sustraccin, 5 o conforme funcin, 18 o contorno, 31 simple, 37 interior, 37 convergencia, 6 radio, 43 corona, 55 77 cuerpo de los complejos, 4 desigualdad Cauchy, 51 determinacin o argumento, 12 principal, 13 logaritmo, 13 divisin o arco simple, 28 dominio simple, 38 ecuaciones Cauchy-Riemann, 16 frmula o Hadamard, 43 Frmula de Moivre, 5 o forma polar, 5 funcin o 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 representacin grca, 8 o a trigonomtrica e compleja, 14 inversa, 15 funciones complejas, 7 funciones exponenciales, 14 Hadamard frmula, 43 o holomorfa, 17 homograf 20 a,
78 homotecia, 2 integral recorrido, 30 sobre arco simple, 28 l mites, 6 logaritmo determinacin, 13 o logaritmo complejo, 12 Louiville teorema, 52 mdulo, 5 o meromorfa funcin, 69 o Morera teorema, 42 parte imaginaria, 4 de una funcin, 8 o parte principal serie de Laurent, 58 parte real, 4 de una funcin, 8 o plano complejo, 3 compacticacin, 7 o polo, 58 potencias, 13 primitiva funcin, 31 o Principio del Mximo a teorema, 53 proyeccin estereogrca, 7 o a radio de convergencia, 43 recorrido, 30 H-V, 34 horizontal-vertical, 34 integral, 30 simple, 37 representacin conforme, 24 o residuo, 60 residuos clculo de integrales, 63 a polo de orden superior, 62 polo simple, 61 teorema, 60 rotacin, 2 o 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 funcin abierta, 54 o fundamental del lgebra, 53 a Louiville, 52 Morera, 42 Principio del Mximo, 53 a residuos, 60 Rouch, 75 e valor medio, 52 Weistra, 43 transformacin o Cayley de, 24 homogrca, 20 a valor medio teorema, 52 valor principal Cauchy, 68 Weistra teorema, 43

Variable Compleja

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Variable Compleja

Cargado por

Copyright:

Formatos disponibles

Variable Compleja

Hans Cristian Muller Santa Cruz 2000

Cap tulo I Variable Compleja

Los N meros Complejos u

CAP ITULO I. VARIABLE COMPLEJA

I.1. LOS NUMEROS COMPLEJOS

CAP ITULO I. VARIABLE COMPLEJA

Conjugado de un n mero complejo u

I.1. LOS NUMEROS COMPLEJOS

Mdulo de un n mero complejo o u

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

Completando la construccin de los nmeros complejos, la sustraccin se la dene como o u o

La ultima frmula es conocida como Frmula de Moivre o o Demostracin.- Ejercicio. o

CAP ITULO I. VARIABLE COMPLEJA

Topolog del Plano Complejo C a

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 Grcas de Funciones Complejas a

Funciones Complejas Remarcables

I.2. FUNCIONES COMPLEJAS

Figura I.2.2: Grca Transformacin a o

Figura I.2.3: Grca del Campo de Vectores a

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: Funcin Exponencial o

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 Demostracin.- Ejercicio. o

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

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

z = exp( log z).

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

Funciones Trigonomtricas Complejas e

Denicin I.2.4 o sinC z cosC z tanC z cotC z secC z cscC z =

I.3. FUNCIONES DIFERENCIABLES

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

+ (x x0 , y y0 ) r((x, y), (x0 , y0 ))

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

CAP ITULO I. VARIABLE COMPLEJA

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.

iii) Circunferencia que pasa por el origen.

iv) Recta que no pasa por el origen. z

es biyectiva, aplicar el caso iii).

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

OM A es un tr angulo rectngulo, porque OM es el dimetro de a a 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.

Para la existencia en el caso general, consideramos las homograf as: w w : z1 , z2 , z3 1, 0, : z1 , z2 , z3 1, 0,

CAP ITULO I. VARIABLE COMPLEJA