Variable Compleja

Hans Cristian Muller Santa Cruz 2000

2

´ Indice general
Prefacio I. Variable Compleja I.1. Los N´meros Complejos . . . . . . . . . . . . . . . . . . . . . . . . u I.1.1. El Plano Complejo C . . . . . . . . . . . . . . . . . . . . . I.1.2. Conjugado de un n´mero complejo . . . . . . . . . . . . . . u I.1.3. M´dulo de un n´mero complejo . . . . . . . . . . . . . . . . o u I.1.4. Sustracci´n y Divisi´n . . . . . . . . . . . . . . . . . . . . . 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 Gr´ficas de Funciones Complejas . . . . . a I.2.2. Funciones Complejas Remarcables . . . . . . . . . . . . . . I.2.3. El Logaritmo Complejo . . . . . . . . . . . . . . . . . . . . I.2.4. Funciones Trigonom´tricas Complejas . . . . . . . . . . . . e I.3. Funciones Diferenciables . . . . . . . . . . . . . . . . . . . . . . . . I.3.1. Funciones Holomorfas . . . . . . . . . . . . . . . . . . . . . I.4. Funciones Conformes . . . . . . . . . . . . . . . . . . . . . . . . . . I.4.1. Homograf´ ıas . . . . . . . . . . . . . . . . . . . . . . . . . . I.4.2. Representaci´n Conforme . . . . . . . . . . . . . . . . . . . o I.5. Integraci´n Compleja . . . . . . . . . . . . . . . . . . . . . . . . . . o I.6. Un Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . I.7. F´rmulas Integrales de Cauchy . . . . . . . . . . . . . . . . . . . . o I.8. Series Enteras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I.8.1. C´lculos con Series Enteras . . . . . . . . . . . . . . . . . . a I.8.2. Teoremas de Unicidad y Prolongamiento An´litico . . . . . 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. C´lculo de Residuos . . . . . . . . . . . . . . . . . . . . . . a I.10.2. C´lculo 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. N´mero 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

i

ii

´ INDICE GENERAL

. . . .1. . . . I. o Principio del Prolongamiento An´litico . . . . . . . . . . . . . . . . . . . . . . . . . . .2. . . . . . . . . . . . . .1. . . . . . . . . . . . . . . . I. e −i 2 . . o Funci´n Exponencial . I. . . I. I. . . . . . . . . a Funci´n Lineal no Nula . . . . . . . . . . . . . . . . . . . . . . . . . . o Transformaci´n de Cayley . o o Mapas de cot z y csc z .1. . . . . . . . . . . . . . . .11. . . . . . I. . .2. o a Gr´fica de los Grafos . . .1. . . . . . . . . . . . . . . . . . . . pero no C-diferenciable o Ejemplo de Funci´n Conforme . . . . . .8. . . . . .8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 5 2 3 Polinomio de Taylor z − z3 + z5 + · · · + z255 en R y en C . . . . . . . . . . . . . . . I. . . . . . . . . . .2. . .3. . . . . . . . . . . . . . . . . . . . I. . . . . . .2. . . . .3. . . . . .8. . a o Gr´fica del Campo de Vectores . . . . . . . . . . . . . . . . . . . . . . . I. a Gr´fica Transformaci´n . . . . . (z−1)n n iii . . .4. . . . . . . . . . . . . . . . . . . . . . . . . . . . .1. . . . . a Demostraci´n Teorema de la Aplicaci´n Abierta . . .2. . . 2 7 8 9 9 10 11 12 16 19 24 26 45 46 47 51 54 72 74 + . . . . . . . . . . . . . . . . . .1. . . . . . . . . . . .8. . .4. . . . . . . . . . . . . . I. . . . . . .1. . . . . . . . . . . . . . . . . . . . . . . . . . .2. . . . . . . . . . . . . . . . . . I. . . . . . . . .3. . . . . . . . . 2 Indice de Cauchy para f (z) = z z−4 . . . . . . . . . . Transformaciones de R2 . Proyecci´n Estereogr´fica. . . . . . . . . . .2. . . (z−1)3 3 . I. . . . . . Gr´ficas de parte real e imaginaria de (z − 1) − (z−1) a 2 Composici´n de Series . I. . . . . . . . . . . . . . . . . . . . . I. . . . . . . . . . . . . . Cauchy-Rieman. . . . . . . . . . . . . . .2. . . .4. . .5. . o Representaci´n conforme de sin .´ Indice de figuras I. . .2. . I. . . I. . . . . .2. . . . . . . . . . . . . . . . . . . . .4. .2. . . .6. − ··· ± . . . . . .8. . o Imagen de una Banda . . . . . . . . . . . Funci´n continua. I. . . . . . . . . . . . . I. . . . . . . . . . . .1. . . . . . . . . . . .4. . .3. . . .5. .11. . . . . . . . . . . . . . . . . . . . . .

iv ´ INDICE DE FIGURAS .

Prefacio v .

vi PREFACIO .

.

vamos a construir un cuerpo que este asociado a un plano (real).Cap´ ıtulo I Variable Compleja En lo que concierne la teor´ del an´lisis complejo. Los N´ meros Complejos u Si bien los n´meros complejos son familiares para todos los que siguen este curso. Luego. para n a o o e comprender y asimilar la riqueza y potencia que tiene esta teor´ ıa. se vio. y2 ) = (x1 + x2 . Comenzaremos este cap´ ıtulo por el c´lculo diferencial y las funciones holomorfas seg´n Riemann. I. a u seguiremos la evoluci´n de Cauchy (integrales complejas. y ∈ R}. f´rmula de Cauchy). λy) es un espacio vectorial real. Estas series simplifican la teor´ (punto ıa de vistas de Weirstraß). por ejemplo. o • Aplicaciones holomorfas C → R (Tesis de Riemann 1851). Sabemos que el conjunto de los n´meros reales R provisto de la adici´n y la multiplicaci´n es un cuerpo u o o completo con un orden compatible con dichas operaciones.1. la ecuaci´n o x2 + 1 = 0. Weirstraß). no tiene soluci´n en R. • Series enteras (Cauchy 1831-1846. o objetos y las transformaciones que les est´n asociadas. Como es de conocimiento de todos. Geom´tricamente R asociamos a una recta. que e la llamamos recta real. en esta secci´n abordaremos el plano complejo con una ´ptica geom´trica. a 1 . Consideremos o R2 = {(x. ya a que la extensi´n inmediata de una recta constituye un plano. tres puntos de vista predominan en la actualidad: ıa a • Integraci´n Compleja (Cauchy 1814-1830). Veremos que cada funci´n o o o holomorfa es anal´ ıtica (admite un desarrollo en serie de potencias). en el u primer de a˜o de An´lisis. Nuestro objetivo ser´ construir un cuerpo que contenga R en el cual dicha ecuaci´n o a o tenga soluci´n. y1 ) + (x2 . y)| x. y) = (λx. En el curso de Geometr´ se estudi´ con detalle las propiedades de los diferentes ıa. Este conjunto con la adici´n definida por o (x1 . y1 + y2 ) y la multiplicaci´n por escalar o λ(x. o Como R est´ asociado a una recta.

Rθ la matriz asociada a la rotaci´n rθ .1 Una similitud directa.Verificar que una matriz de la forma a −b b a con (a.θ = hλ ◦ rθ . donde hλ es la homotecia de raz´n λ (λ > 0) y rθ es una rotaci´n de ´ngulo θ.1.1. (I.1. solamente nos falta definir una multiplicaci´n.Ejercicio. una rotaci´n y finalmente una o a o similitud. Denotemos o por Hλ la matriz asociada a la homotecia de raz´n λ > 0. m´s precisamente de aquellas transformaciones a que conservan los ´ngulos en tama˜o y orientaci´n. la cual provendr´ de o a un tipo especial de transformaciones lineales del plano R2 .1. 0). o λ 0 0 λ cos θ sin θ − sin θ cos θ λ cos θ λ sin θ −λ sin θ λ cos θ . b) = (0. tenemos una representaci´n gr´fica de una homotecia. Se o o tiene: λ 0 cos θ − sin θ Hλ = . est´ dada por a Sλ. Recordemos que toda aplicaci´n lineal est´ enteramente determinada por o o a los elementos de las bases can´nicas y que existe un isomorfismo natural entre el espacio vectorial de las o aplicaciones lineales L(R2 . en tanto que aplicaci´n lineal. Rθ = .θ = Una simple inspecci´n da o det Sλ.θ = λ > 0. VARIABLE COMPLEJA θ θ Homotecia Rotacion Figura I. hλ .θ asociada a la similitud sλ.1. o o a En la figura I. la matriz Sλ.1.2 (R) el espacio vectorial real de las matrices de 2×2 a coeficientes reales. a n o Definici´n I. Demostraci´n. Ejercicio. es una aplicaci´n lineal s : R2 R2 o o o de la forma s = hλ ◦ rθ .1) . Teorema I..2 CAP´ ITULO I.1: Transformaciones de R2 Similitud Para tener un cuerpo conmutativo. 0 λ sin θ cos θ por lo tanto. es la matriz asociada a una similitud directa. R2 ) y M2..1 El conjunto de las similitudes (directas) de R2 forman un grupo abeliano para la composici´n o de aplicaciones. En lo que sigue solamente consideremos como base la can´nica o otra base ortonormal directa. Como se vio en el curso de Algebra Lineal es m´s comodo trabajar con las matrices asociadas a (respecto a las bases can´nicas).

b1 ) · (a2 . sino tambi´n: o e Teorema I.2) Definamos la multiplicaci´n en R2 de la siguiente manera. Sean z1 = (a1 .1. El Plano Complejo C Hemos visto que R2 es un espacio vectorial para la adici´n. Teorema I. la multiplicaci´n de z1 = (a1 .1.1. o o a . 2) ∪ {0} es un subespacio vectorial real de dimensi´n 2 del espacio End(R2 ) de las o aplicaciones lineales en R2 . LOS NUMEROS COMPLEJOS 3 Denotamos por S+ (R. b) → .. a1 b2 + a2 b1 ) = Remarca. 2) al grupo de las similitudes directas.1.3). solo falta dotarle de una multiplicaci´n. Demostraci´n. b a Utilizando el ejercicio y la proposici´n precedentes. que por cierto no solamente es un grupo abeliano para la composici´n de aplicaciones.1. b1 ) y z2 = (a2 .3 R2 con la adici´n usual y la multiplicaci´n definida m´s arriba es un cuerpo conmutativo.´ I. o Consideremos la aplicaci´n ϕ dada por o ϕ : R2 −→ S+ (R. a I. para que R2 tenga la estructura de un cuerpo o conmutativo. (I. planteamos z1 · z2 = π(ϕ(z1 ) · ϕ(z2 )). Se ve inmediatamente que π a −b b a = a b = (a.Utilizando la notaci´n columna para elementos de R2 . se demuestra (nuevamente otro ejercicio para el alumno) o que ϕ es un isomorfismo de espacios vectoriales reales.1. se obtiene expl´ ıcitamente: (a1 .1.1.Puesto que existe un isomorfismo natural (por la elecci´n de las bases can´nicas) entre o o o End(R2 ) y M2. b). (I.4) = (a1 a2 − b1 b2 . 2) ∪ {0} → R2 la aplicaci´n o inversa de ϕ. b2 ) puede expresarse como z1 · z2 = a1 b1 −b1 a1 a2 b2 .3) Desarrollando (I..1. b1 ) y o o z2 = (a2 . El resto lo dejamos como ejercicio. 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. Denotamos por π : S+ (R. b2 ) elementos de o R2 .2 S+ (R.2 (R) el espacio de las matrices reales de 2 × 2 es suficiente ver que las matrices asociadas a las similitudes m´s la matriz nula forman un subespacio vectorial. 2) ∪ {0} a −b (a.

1. z = 0. ¯ z · z = a2 + b2 .7) (I. R2 con la adici´n es un grupo abeliano. 2) es un grupo para la multiplicaci´n. con a. o o Remarquemos que el elemento cero es 0R2 = (0.1. e a I. El conjugado satisface las siguientes propiedades. la parte imaginaria de z. R2 − {0R2 } es un grupo abeliano para la multiplicaci´n..1. se define z = a − ib el conjugado de z.12) (I. con adem´s i2 = −1. la acci´n de conjugar n´meros ¯ e o u complejos. En realidad j(R) ⊂ C.1. VARIABLE COMPLEJA Demostraci´n.11) (I.10) (I.1. 0). con lo ıa. b ∈ R para representar z = (a.. a2 ). y por que S+ (R.En efecto. Definici´n I. que utilizamos los s´ ımbolos 1 y 0 para referirnos al uno y cero de R o C dependiendo el contexto. −(a1 . z = a es la parte real de z. Se define i = (0.1.9) (I. El algebra en C es id´ntica a la de R. ¯ z1 · z2 = z1 · z2 . Es frecuente utilizar la notaci´n o z = a + ib. En el lenguaje algebraico. ¯ ¯ z1 + z2 = z1 + z2 .1 Se tiene: o z + z = 2 z. ¯ z = −¯ ⇐⇒ z ∈ iR. z (¯)−1 = (z −1 ). Un peque˜o c´lculo da i2 = −1C . pero para darle fluidez a la teor´ se acostumbra a suponer que R ⊂ C.1. 0) es compatible con la adici´n y la multiplicaci´n. Si z = (a. o 3. 1C = (1. ıa Proposici´n I.1. Geom´tricamente. b) = a + ib.2 R2 provistos de la adici´n y la multiplicaci´n definida m´s arriba se llama cuerpo de los o o o a n´meros complejos o plano complejo y se lo denota por C. 5. b). ¯ ¯ z = z ⇐⇒ z ∈ R. ¯ z − z = 2i z.1. a2 ) = (−a1 .1. 1). z −¯ = (−z). verificaci´n simple. La inyecci´n natural j : R → C. corresponde a la simetr´ respecto al eje real.5) (I.8) (I.4 CAP´ ITULO I. porque la multiplicaci´n definida m´s arriba es o o a una ley de composici´n interna. z = b. o o o La distributividad de la multiplicaci´n respecto a la adici´n est´ asegurada por que ϕ y φ son aplicaciones o o a lineales. ya visto en un cursos anteriores.13) Demostraci´n. n a 2. j(a) = (a.6) (I. lo que o o o hace que R sea un subcuerpo de C. R se lo conoce como el eje real del plano complejo y iR = {ia|a ∈ R} el eje imaginario. −a2 ).1. 0) y el opuesto de (a1 . u Remarcas. 0).Ejercicio. o a e 4. esto se llama extensi´n de cuerpos. 0C = (0.1. o .1. z (I. Conjugado de un n´ mero complejo u Sea z = a + ib ∈ C.2. Este tipo de notaci´n facilita los c´lculos aritm´ticos en C.

´ I. z2 donde z2 = 0. = |z| · |w| (cos(θ − ϑ) + i cos(θ − ϑ)).1. | z| ≤ |z| .1. ¯ | z| ≤ |z| . si z = 0.15) (I. Remarca.1. o . 2 (I.3 Si o z = |z| (cos θ + i sin θ). Completando la construcci´n de los n´meros complejos.14) (I..16) (I. se puede escribir como o z = r(cos θ + i sin θ). M´dulo de un n´ mero complejo o u √ Sea z = a + ib ∈ C.17) (I.1.5.3. la forma polar de un n´mero complejo es abordada como un t´pico independiente.. ´ Proposici´n I.4. La ultima f´rmula es conocida como F´rmula de Moivre ´ o o Demostraci´n. el m´dulo es lo mismo que el valor o absoluto de R.1.1.1..Ejercicio. n = |z| (cos(nθ) + i sin(nθ)). Por consiguiente. el m´dulo de z es |z| = a2 + b2 .2 El m´dulo verifica: o o |z| = z z .Ejercicio. Sustracci´n y Divisi´n o o z1 − z2 = z1 + (−z2 ).1. Sin u o embargo. Proposici´n I. w = |w| (cos ϑ + i sin ϑ). o I.1. LOS NUMEROS COMPLEJOS 5 I. se tiene z·w z/w zn = |z| · |w| (cos(θ + ϑ) + i cos(θ + ϑ)). Forma Polar Tradicionalmente. θ es unico con una diferencia de 2πk k ∈ Z ´ La forma polar es util para realizar multiplicaciones y divisiones. |z1 z2 | = |z1 | |z1 + z2 | ≤ |z1 | + |z2 | . en nuestra construcci´n hemos asociado a cada n´mero complejo a una similitud de ´ngulo θ y o u a raz´n r. o I. Utilizando la notaci´n de fracciones.18) Demostraci´n.1. la sustracci´n se la define como o u o La divisi´n se la define o z1 = z1 (z2 )−1 . n ∈ N.1. |z| = r. las reglas de c´lculo para fracciones son v´lidas y su o a a demostraci´n es un simple ejercicio. Cuando z ∈ R.El m´dulo de z es lo mismo que la o o 2 norma euclidiana de z visto como un elemento de R .

las reglas de c´lculo. . ım Los conceptos de sucesiones. se prefiere hablar de discos abiertos. cuando z → ∞. cerrados. se debe utilizar o el punto de vista que m´s convenga. prolongando la relaci´n de orden. I. puntos de acumulaci´n. series. Tambi´n remarcamos que esta e proyecci´n es inyectiva. complementar y aclarar algunos conceptos. dependiendo la situaci´n y el contexto. z)|x2 + a y 2 + z 2 } con la proyecci´n de centro el polo norte (0. compactos. criterios de convergencia son v´lidos tambi´n para o a a e series complejas.1. que consiste en proyectar el plano complejo C. ver figura I. o bien como o dos sucesiones reales. no es dificil observar que N es el l´ ımite de la proyecci´n.1.4 El plano complejo acabado es el conjunto o ¯ C = C ∪ {∞}. en C. etc. o Definici´n I. a o ¯ R = R ∪ {−∞. que ya han sido vistos en o el curso de An´lisis de Primer A˜o. Como R es un cuerpo ordenado. se justifica recordar. 0. sin embargo esos conceptos y sus o consecuencias pueden ser aplicados por separado a la parte real y la parte imaginaria de la sucesi´n. r) = {z ∈ C| |z − a| < a}. Dicho de otra manera n→∞ l´ zn = ∞ ⇐⇒ ım n→∞ l´ |zn | = +∞. debemos agregar un elemento a C. Por lo tanto. Si queremos que la proyecci´n esteogr´fica sea biyectiva. por o a otro lado. agregando dos elementos adicionales a R. +∞}. el m´dulo en C tiene el mismo comportamiento del valor absoluto de R en lo que respecta o la multiplicaci´n.1. Solamente hay que remplazar el valor ıa u absoluto por el m´dulo. como convergencia absoluta. pero no es sobreyectiva ya que el polo Norte no es imagen de ning´n punto del plano o u complejo. D(a. en C eso no es posible. Por lo tanto. En la figura observamos que la o imagen del punto P ∈ C se proyecta sobre la esfera en el punto P ∈ S2 . 1). consideremos la proyecci´n a o o estereogr´fica. conjuntos abiertos.3 Una sucesi´n {zk } en C diverge por valores en el infinito. vistos en el Primer A˜o de An´lisis. a n Por otro lado. definiendo algunas operaciones con los nuevos elementos y los reales. los conceptos de convergencia. Por lo tanto.7. Una o definici´n que ser´ util posteriormente es la siguiente. VARIABLE COMPLEJA I. n a serie productos se los ampl´ al caso complejo sin ning´n problema. Topolog´ del Plano Complejo C ıa El m´dulo |·| de C es la norma euclidiana de R2 . ¯ El plano complejo acabado C ¯ En el curso de An´lisis se defini´n la recta real acabada R. puntos aislados.2. o El caso complejo tendr´ un desarrollo bastante similar.6.1. En lugar de hablar de bolas abiertas. o a Definici´n I. son los mismos. si la sucesi´n {|zk |} en R diverge o o o por valores en el infinito. sobre la esfera unitaria S2 = {(x. { zk } y { zk }.1.6 CAP´ ITULO I. se tiene el concepto de sucesiones a m´notonas y la divergencia por valores infinitos. l´ o ımites. y. o Las sucesiones {zk } con zk ∈ C pueden ser vistas: como una sucesi´n propiamente compleja. Como motivaci´n.

o e los conceptos de l´ ımite. porque la esfera es compacta en R3 . 0 a = 0 si a = ∞.-En el curso de Topolog´ se dice que la proyecci´n estereogr´fica compactifica C agregando un ıa. o a elemento a C. continuidad uniforme. de donde. convergencia uniforme. por lo que. ver figura . 1) si si z ∈ C.Explicitar anal´ ıticamente la adici´n y la multiplicaci´n en la esfera.I. 0.2. ∞ a · ∞ = ∞ si a = 0. 2 z . sobre C definimos: a si a = 0. = π(π −1 (ξ) · π −1 (ζ)). Ejercicio. a + ∞ = ∞. I.. continuidad. Lo interesante de la proyecci´n esteogr´fica es que se pueden dotar de operaciones internas a S2 a partir o a ¯ de las operaciones de C. etc son los mismos que en el Primer A˜o de An´lisis y no es necesario repetirlos. FUNCIONES COMPLEJAS 7 N ¡ P  ¡   P’ Figura I. a a .2. C ya no es un cuerpo. convergencia simple de sucesiones de funciones. o o Remarca. relaciones de o a tri´ngulos semejantes. z=∞ ¯ Aparte de las operaciones heredadas de C. ζ ∈ S2 se define ξ+ζ ξ·ζ = π(π −1 (ξ) + π −1 (ζ)). ¯ ¯ Al igual que la recta acabada R. utilizando un corte transversal.2: Proyecci´n Estereogr´fica. o a Explicitemos la proyecci´n estereogr´fica. si ξ. Las n a novedades provendr´n del c´lculo diferencial e integral de funciones complejas.1. se obtiene: a ¯ π:C z −→ S2 → 2 2 z . |z| −1 |z|2 +1 |z|2 +1 |z|2 +1 (0. Funciones Complejas El m´dulo |·| hace a C un espacio normado con norma id´ntica a la norma euclidiana de R2 .

la gr´fica de la transformaci´n. Es decir. En la figura I.2. se tiene (f (z)) = u(x. y) → (u(x. y). donde g es por ejemplo: la parte real de f . y) y diferentes puntos de vista equivalentes. Ejemplos 1. si un a punto z2 est´ dentro una superficie H. es en muchos casos necesario visualizar grafio o camente. o .2. Representaciones Gr´ficas de Funciones Complejas a Para poder comprender la acci´n de una funci´n compleja. entonces el punto imagen w2 estar´ dentro una superficie f (H). a o I. En la figura I. nos contentaremos en conocer estas prolongaciones y adentrarnos al esp´ ıritu mismo de lo que significa prolongaci´n. a a En la figura I. la parte a o imaginaria de f . las gr´ficas de los grafos son recursos valiosos que permiten a a estudiar las funciones reales. VARIABLE COMPLEJA Figura I.2. o a f (z) y |f (z)|.2.8 CAP´ ITULO I.2.1: Gr´fica de los Grafos a Sin embargo.1. Sin embargo tenemos los siguientes recursos para representar la funci´n compleja en cuesti´n: o o • Gr´fica del grafo de la funci´n g : U ⊂ R2 → R. De acuerdo a la necesidad. vemos las gr´ficas de los grafos de f (z). el m´dulo de f . o • Gr´fica de la transformaci´n o mapeo. Funciones Complejas Remarcables Las funciones elementales estudiadas en los cursos de C´lculo y el Primer A˜o de An´lisis tienen su prolona n a gaci´n respectiva a una funci´n compleja.2)2 . Util en aplicaciones f´ a ısicas. Si un punto z1 comienza a moverse a o a lo largo de una curva γ.3 observamos la gr´fica del campo de vectores asociado a la funci´n f (z). y)) trivialmente. podemos remarcar que una funci´n compleja f : U ⊂ C → C puede ser vista como una o funci´n f : U ⊂ R2 → R2 . Recordando los cursos de C´lculo.2. entonces el punto imagen w1 se mover´ a lo largo de la curva f (γ). v(x. a o o e • Gr´fica del campo de vectores asociado. pero en el caso de los grafos de funciones complejas no se los puede representar graficamente. Consideremos la funci´n f (z) = (z + 0.2. se puede jugar con I.1. porque hacen parte de un espacio de cuatro dimensiones. Util para entender la acci´n geom´trica. o f :U ⊂C z → C → f (z) f : U ⊂ R2 → R 2 (x. Esta prolongaci´n es de tipo an´litico.2. que ser´ vista m´s adelante. o o o a a a Por el momento. (f (z)) = v(x. y).

2.2.I.2: Gr´fica Transformaci´n a o Figura I.2. FUNCIONES COMPLEJAS 1 1 9 z U z1 y H V f v w1 w w = f(z) z γ f(γ) f(H) z2 x 1 w2 u 1 Figura I.3: Gr´fica del Campo de Vectores a .

c. Ver secci´n precedente y figura I.2. Por lo tanto. o o En la construcci´n de los n´meros complejos.10 CAP´ ITULO I. hemos visto que la multiplicaci´n est´ asociada a la como u o a posici´n de similitudes del plano real. Entonces f es C lineal. si y solamente si f es una similitud o o la aplicaci´n nula. con a. Consideremos la aplicaci´n polinomial f (z) = cz con c = 0. Como f es C lineal. Ejemplo a 1. La interrogante es c´mo reconocer si una una transformaci´n lineal del plano real o o es una aplicaci´n C − lineal. se tiene f (−1) = f (i2 ) = if (i).2. Esta funci´n es una aplicaci´n C-lineal. Es decir f es una similitud.1 Sea f : R2 → R2 lineal. y o o o vista como una aplicaci´n lineal de R2 en R2 es una similitud. de donde a = d y b = −c.4. son similitudes. si p(z) = an z n + an−1 z n−1 + · · · + a1 z + a0 . una funci´n p : C → C es polinomial. 0) es (a. b. VARIABLE COMPLEJA w = cz 1 c z 1 c −1 1 −1 1 −1 −1 Figura I. por lo que −a −c = 0 −1 1 0 b d =  −d b  . o Proposici´n I. 1) es (b. . o ⇒ Si f = 0 est´ demostrado. d no todos nulos. porque solamente intervienen adiciones y multiplicaciones y las reglas de c´lculo aseguran continuidad. sino la matriz de f es a a b c d .. La imagen de 1 = (1. Este tipo de funciones es siempre continua. desde el punto de o vista real. o Demostraci´n. d). o donde los ai ∈ C.2.⇐ ya visto. c) y la imagen de i = (0.4: Funci´n Lineal no Nula o Funciones Polinomiales y Racionales Al igual que en el caso real. las aplicaciones lineales complejas.

La Funci´n Exponencial Compleja o Definici´n I. se tiene expC (z) = expR (z). FUNCIONES COMPLEJAS 11 w = ez 3 3 −1 0 1 −1 1/e 1 e −3 −3 Figura I. por lo que podemos escribir o simplemente exp en lugar de expC o expR . excepto en los puntos donde q(z) se anula. nos muestra que si z ∈ R.5 vemos la acci´n de la funci´n exponencial. exp(z) =. Una verificaci´n. Son continuas sobre C. se ve que es una similitud o o o de raz´n e z y ´ngulo z. exp(z1 + z2 ) = exp(z1 ) · exp(z2 ). 3. k ∈ Z. est´ dada por o o a exp C (x + iy) = ex (cos y + i sin y) = e z (cos( z) + i sin( z)). q(z) donde p(z) y q(z) son funciones polinomiales. ∀z ∈ C.5: Funci´n Exponencial o Las funciones racionales son de la forma f (z) = p(z) .2 La funci´n exponencial compleja satisface: o o 1. En la figura I.I.2.2. e interpretar exp de acuerdo al contexto.2.2. o a Proposici´n I. Observando la definici´n de la exponencial.1 La funci´n expC : C → C. exp(z1 ) = exp(z2 ) si y solamente si z1 − z2 = 2iπk. . 2.2.

3. La imagen del borde de Ω es una curva simple que o une el origen con el infinito. VARIABLE COMPLEJA Figura I. conserva casi todas las propiedades de la funci´n exponencial real. El Logaritmo Complejo Como se ha visto m´s arriba. de donde z = logR (|w|). para la funci´n inversa sea continua.2. En consecuencia. En el caso complejo nos debemos arreglarnos para construir una funci´n que cumpla el papel de funci´n inversa. En el caso real la inyectividad asegura la existencia de una inversa continua. la funci´n exponencial no es inyectiva. o o o Definici´n I. donde z0 ∈ C. Tenemos exp(z) = e Pasando a los m´dulos. Remarcas 1. o o tal como se hizo con las funciones arc cos.2. Ω debe ser una banda de ancho a o 2iπ. Por lo tanto si queremos construir a o una inversa debemos restringir C a un dominio Ω donde exp sea inyectiva.2.Ejercicio. .2. donde l es una curva simple que une O con ∞. se obtiene o e z z (cos( z) + sin( z)) = w.12 CAP´ ITULO I. Ver figura I.1.2 Una determinaci´n del argumento es darse una curva simple l que une O con ∞ y o o una funci´n arg : C − l → R ⊂ C continua tal que o z = |z| (cos(arg(z)) + i sin(arg(z)).. sin los bordes. pero al mismo tiempo la imagen exp(Ω) sea lo m´s grande posible. o o excepto la inyectividad. arcsin en el Primer Curso de An´lisis. = |w| . ∀z ∈ C − l. De donde exp : Ω → C − l es biyectiva. Una determinaci´n del argumento arg : C − l → C est´ enteramente determinada por el valor de o a arg(z0 ). Por el punto 3 de la proposici´n I. a I.2.6. pasa por la definici´n de una nueva funci´n. La determinaci´n de z. o La prolongaci´n a C de la exponencial.6: Imagen de una Banda Demostraci´n. sea Ω ⊂ C una banda de ancho 2iπ sin sus bordes.

3. ∀z ∈ C − l.I. La determinaci´n principal del logaritmo. o Potencias Recordamos: zn z −n = n · n · · · n. k entero. n ∈ N. Proposici´n I. entonces una simple verificaci´n a o da arg1 (z) − arg2 (z) = 2iπk. o 2. FUNCIONES COMPLEJAS 2. con k entero. n ∈ N. log(exp(z)) = z + i2πk. A menos que se diga lo contrario. z ∈ C − l. Tenemos o z = arg(w). est´ dada por la determinaci´n principal del argumento.3 Una determinaci´n del logaritmo es darse una determinaci´n del argumento arg : o o o C − l → C y la funci´n logC : C − l → C dada por o logC (z) = logR (|z|) + i arg(z). Demostraci´n. exp(log z) = z. Regresemos a la construcci´n de la inversa de exp. n veces 1 1 1 = · · · · . A o a o menos que se diga lo contrario.2.. la opci´n por defecto es la determinaci´n principal del logaritmo. o 13 4. Para no recargar notaci´n se puede utilizar log para denotar la determinaci´n del logaritmo y o el o o logaritmo real. La o o determinaci´n principal prolonga al logaritmo real. Remarcas. o Definici´n I. 2. donde arg : C − l → R es una determinaci´n del argumento.Ejercicio. verifica: o o 1.2.2. z z z n veces . 0] ⊂ R y arg(1) = 0. La determinaci´n principal del argumento es aquella donde o l =] − ∞. Todo depende del contexto.3 Una determinaci´n del logaritmo log : C − l → C. se toma la determinaci´n principal del argumento. Si arg1 y arg2 y z ∈ C en el cual ambas determinaciones est´n definidas.1.

Funciones Exponenciales Siguiendo la misma linea del Primer A˜o de An´lisis. de donde podemos prolongar la funci´n z 1/2 al punto z = 0.Si bien z α est´ definida sobre un conjunto C − l. Cz = cosC z . Se puede mostrar que esta definici´n es compatible con otras definiciones sobre potencias. 2. VARIABLE COMPLEJA z α = exp(α log z). logaritmo. mediante las superficies de Riemann es posible construir estas funciones. 2i eiz +e−iz = . donde log es una determinaci´n del logaritmo. I.Veamos el caso α = 1/2. o Remarcas.2. se define CAP´ ITULO I. Remarca.4. 1 = sinC z . Por ejemplo cuando o α es entero. Sin embargo.4 o sinC z cosC z tanC z cotC z secC z cscC z = eiz −e−iz . Ahora bien l´ z 1/2 = 0. A menudo se encuentran expresiones de la forma ez . Las definiciones del argumento.2. 2 sinC z = cosC z . Funciones Trigonom´tricas Complejas e Definici´n I. Es o decir. sin necesidad de hacer cortes en el plano Complejo. definimos n a az = exp(z log a).14 Para α ∈ C. es necesario quitar del plano complejo C una curva simple que une el origen con el infinito. Tenemos z 1/2 = exp(1/2 log(z)) = z→0 = exp(1/2 log |z| + (1/2)i arg(z)) |z|(cos((1/2) arg(z)) + i sin((1/2) arg(z))). sin 1 = cosC z . potencia pasan por las definiciones de determinaci´n.1.. (para la cual el valor de log a existe. Ejemplo 3.. se puede prolongar a algunos puntos de l por a continuidad. planteando ım o 01/2 = 0. Nosotros interpretaremos como ez = exp(z). para obtener funciones continuas. .

. ım z→z0 (I. . cosC (z) = sinR (z) para todo z ∈ R.I. Funciones Trigonom´tricas Inversas e En lugar de hablar de funciones trigonom´tricas inversas. Funciones Diferenciables Como para las funciones reales. y0 ) = Utilizando la proposici´n (I. y). mientras que la segunda tiene una ´ o o ´ptica geom´trica. si o o l´ ım f (z) − f (z0 ) = f (z0 ) z − z0 (I. si vemos o o f : U ⊂ R2 → R2 . es preferible hablar de determinaciones de funciones e trigonom´tricas inversas.3.3. Nosotros utilizaremos: o Definici´n I.y0 ) x − x0 y − y0 + (x − x0 .3. (x0 .3.2. etc.1). para que f sea R-derivable en (x0 . (x0 . es diferenciable en el punto z0 ∈ U .3. U ⊂ C abierto.y)→(x0 . La primera tiene una ´ptica calculista. y0 )) = (0. y − y0 ) r((x. 0). y0 )) (I. z0 ) = 0. y)). e e utilizaremos los s´ ımbolos usuales para identificarlas. se tiene ∂u ∂x ∂v ∂x ∂u y ∂v y f (x0 . Veremos m´s adelante. o Como las funciones trigonom´tricas complejas son prolongaciones de las funciones trigonom´tricas reales. se tiene el: o . y). se tiene para las funciones complejas varias maneras de definir la diferenciabilidad de una funci´n f : U ⊂ C → C.2. v(x. M´s todav´ las funciones trigonom´tricas conservan a ıa e propieades de aditividad. C C Demostraci´n. e a I. Escribiendo f (x. O bien f (z) = f (z0 ) + f (z0 ) · (z − z0 ) + ρ(z. y0 ) + f (x0 . se debe tener f (x.3. ii) sin2 (z) + cos2 (z) = 1. y).Ejercicio.4 Las funciones sinC y cosC verifican: o i) sinC (z) = sinR (z). la derivada f (z0 ) aparece como una aplicaci´n C-lineal.1 Una funci´n f : U → C. y) = (u(x. y0 ) con l´ ım (x. y0 ). y) = f (x0 .3. z0 ) · (z − z0 ) con l´ ρ(z. FUNCIONES DIFERENCIABLES 15 Proposici´n I.2) Ambas definiciones son utiles.1) z→z0 donde f (z0 ) ∈ C.3) r((x.2). Por otro lado. e En la definici´n (I.

∂u . Cauchy-Rieman. y) = ex sin y o son funciones cuyas derivadas parciales existen y son continuas. 2.3. Demostraci´n. Sin embargo. 0 si z = 0. u(x. f = u + iv.Ejercicio. pero no C-diferenciable o Teorema I. son ∂x ∂y continuas en z0 y satisfacen las ecuaciones de Cauchy-Rieman. no es C-diferenciable. y) = ex cos y. Si ∂u . entonces f es C-derivable en C.16 CAP´ ITULO I. VARIABLE COMPLEJA u u x y v x y v x y x y Figura I. La funci´n exponencial exp es C-diferencible en todo C.1: Funci´n continua. si y solamente si f es R-derivable en z0 y f (z0 ) es C-lineal. U abierto de C. ∂x y ∂y existen en un vecindario de z0 . v(x. f = u + iv. Ejemplo 1.3. Ver figura I.1.1 (ecuaciones Cauchy-Riemann) Sea f : U → C.3.. En efecto.4) ∂u ∂v ∂y = − ∂x ∂v ∂v Corolario I. z5 |z|4 es continua.3. o Las ecuaciones de Cauchy-Riemann por si solas no aseguran la C diferenciabilidad. y) = ex cos y ex sin y −ex sin y ex cos y . La funci´n o f (z) = si z = 0. Adem´s a exp (x. tiene las derivadas parciales respecto a x e y y satisface en z = 0 las condiciones de Cauchy-Riemann. si y solamente f es R-derivable en z0 y ∂u ∂v ∂x = ∂y Ecuaciones de Cauchy-Riemann (I.3. Entonces f es C derivable en z0 ∈ U .1 Sea f : U ⊂ C → C.

o I. etc. suma de funciones.2 Una funci´n que es C-diferenciable en un abierto U se llama holomorfa en U .. es decir. . gf (a) es tambi´n una similitud y por lo tanto e C-lineal. f (a) Ejemplo 3. para todo a ∈ Ω. FUNCIONES DIFERENCIABLES satisface Cauchy-Riemann.3. En el lenguaje complejo esto se traduce a g (f (a)) · f (a) = 1. Determinemos su derivada. composici´n de funciones. f : Ω → C holomorfa. Por lo tanto fa y gf (a) son inversibles en tanto que aplicaciones lineales del plano real. Un funci´n o o o es holomorfa en un punto z0 si es holomorfa en un vecindario B(z0 . mostrando que log es R-diferenciable (que dejamos como ejercicio). entonces g es holomorfa y a g (f (a)) = en particular f (a) = 0. Si adem´s g es R-derivable. por lo que. a o producto de funciones. 17 Se tiene las mismas reglas de c´lculo para la diferenciaci´n de funciones complejas.3. z La tabla de derivadas de las funciones complejas es muy similar a la tabla de derivadas de las funciones reales. 1 . considerando o la funci´n exponencial exp. Funciones Holomorfas Definici´n I. ).I.La derivada de la composici´n de funciones de R2 en R2 da o o gf (a) fa = IR2 .3. Supongamos que existe g : Ω → Ω con o g ◦ f = idΩ y f ◦ g = idΩ . se tiene o que log es holomorfa y 1 1 1 log z = = = .1 Sean Ω. Planteando Ω = C − l y Ω = log(Ω ). Como fa es C-lineal. o z α = exp (α log z)(α log z) = α exp(α log z) 1 = αz α−1 . Por lo tanto exp (z) = exp(z). Ω ⊂ C abiertos. composici´n de funciones holomorfas. Las similitudes forman un grupo. Proposici´n I. es un similitud.1..Consideremos z α . Demostraci´n.3.. luego holomorfa.Sea log : C − l → C una determinaci´n del logaritmo. Se tiene z α = exp(α log z). exp (w) exp(w) z 4.

Sean α. La matriz asociada a la aplicaci´n lineal es o A= a b c d Consideremos los vectores ortonormales (1. β(0) = a.. VARIABLE COMPLEJA Proposici´n I. Remarca.1 f : U ⊂ R2 → R2 .. 1] → o U continuamente derivable con α(0) = β(0) = a ∈ U y α (0). o Entonces (f ◦ γ) (t) = f (γ(t)) · γ (t) donde γ (t) = γ1 (t) + iγ2 (t). implica autom´ticamente que fa es inversible para todo o o a a ∈ U . ıa a a Como ejemplo de aplicaciones lineales que son conformes. A respecta los ´ngulos en tama˜o y orientaci´n. Demostraci´n. Demostraci´n.1) β Definici´n I. 0) y (0.18 CAP´ ITULO I. f (a)). sino no se podr´ medir los ´ngulos entre las curvas im´genes. es conforme.2 Sea γ :]a.Ejercicio. b[→ Ω. a o Proposici´n I.4. β (0)) (I. sus im´genes por A son (a. si f es R-derivable y si para todo α. se tiene ∠(α. β (0) = 0 y α(0). β (0) = 0. diferenciable. es saber si hay otras aplicaciones lineales que conservan los ´ngulos en medida y orientaci´n. Funciones Conformes Suponemos conocidos los conceptos de ´ngulo orientado.4.4. .La definici´n de aplicaci´n conforme.1 A : R2 → R2 isomorfismo lineal.. β. o ⇒. β. Recordemos el concepto de ´ngulo orientado entre a a curvas. 1] → R2 continuamente derivables. tenemos las similitudes.⇐ ya visto. 1). Suponemos α (0) = 0. c) y (b.4. si y o a n o solamente si A es una similitud. a) = ∠(f ◦ α. entonces por definici´n o α ∠(α. U abierto.3. o I. β. [0. d) que son ortogoa nales por hip´tesis. a) = ∠(α (0). La pregunta natural que surge. f ◦ β. donde Ω ⊂ C abierto y sea f : Ω → C holomorfa. β : [0. de donde o ab + cd = 0.

4. a n Como un ejemplo de familia de funciones conformes estudiaremso con m´s detalle las homograf´ a ıas.f es conforme. .1: Ejemplo de Funci´n Conforme o Escribiendo esta ultima condic´n como ´ o det a −d c b = 0. lo que se traduce −a2 + λ2 c2 − c2 + λ2 a2 = (λ2 − 1)(a2 + c2 ) = 0. c) y (−d.4. o a o si y solamente si fa es un isomorfismo C-lineal. si y solamente si f es holomorfa y f (a) = 0 ∀a ∈ C. o Teorema I. 1). c − λa) y (−a + λc. de donde λ = −1. si y solamente si f es holomorfa y f (a) = 0 para todo a ∈ U . 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 α2 α4 α4 z1 z4 w4 w1 Figura I.2)2 . deducimos que (a. se observa la acci´n de la aplicaci´n f (z) = (z + 0.4.I. de donde λ < 0. si y solamente si fa respecta los ´ngulos en sentido y orientaci´n ∀a ∈ U . = λa = λc Como A conserva la orientaci´n. por lo tanto −d b La matriz es de la forma A= a λc c −λa . La aplicaci´n lineal A es efectivamente una similitud. Demostraci´n. −c − λa) son ortogonales.. se tiene que (a + λc.4. 1) y (−1. Finalmente viendo las im´genes de o a (1. apreciando la conservaci´n de o o o los ´ngulos en tama`o y sentido.1 f : U → R2 es conforme. b) son linealmente independientes. En la figura I.1. se tiene det A > 0.

(I. wA es inversible y su inversa wA−1 .2 Se tiene las siguientes propiedades: o 1. 0)} (u1 . A= a b c d wA (z) = az + b . 0)} (v1 .20 CAP´ ITULO I. v2 ) −− − − − − −→ −−−−−−− → u1 u2 ¯ C =z      wA (z)   −− − − − − −→ −−−−−−− → v1 v2 ¯ C =z Es facil verificar que wA = wA ⇐⇒ A = λA . ⇒ A A induce wA ◦ wA .4.4. una homograf´ puede ser inducida por una matriz de 2 × 2 inversible ıa. con λ = 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. consideremos el siguiente diagrama C2 − {(0. o a o a A induce wA A induce wA 2.4. La composici´n de transformaciones homogr´ficas es una transformaci´n homogr´fica. .2 Una transformaci´n homogr´fica es una expresi´n de la forma o o a o w(z) = az + b cz + d con det a c b d = 0. Por otro lado. u2 )     A  det A=0   C2 − {(0. Homograf´ ıas Definici´n I.2) Proposici´n I. cz + d En efecto.1. VARIABLE COMPLEJA I.4.

1 • Inversiones complejas z → z .I. o z f4 (z) = Bz similitud. FUNCIONES CONFORMES Demostraci´n. B ∈ C.4. f5 (z) = z + A traslaci´n. Proposici´n I. es consecuencia de wA◦A−1 = wI = wA ◦ wA−1 .Consideremos una homograf´ o ıa w(z) = ´sta se puede escribir como: e w(z) = A + B . El punto (2). a = 0.. az + b .2 Una homograf´ env´ circunferencias y rectas sobre circunferencias o rectas.. donde f1 (z) = cz similitud. Por consiguiente. ıa ıa . o Teorema I. cz + d wA = a +b .El punto (1). A = a c b d . el conjunto de las homograf´ es un subgrupo de ´ o ıas las funciones biyectivas de C en C. • Traslaciones z → z + c. Como consecuencia directa de la ultima proposici´n. f2 (z) = z + b traslaci´n. cz + d con A.4.4. o 1 f3 (z) = inversi´n compleja. w = f5 ◦ f4 ◦ f3 ◦ f2 ◦ f1 . 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 . que contiene otros subgrupos de transformaciones del plano complejo. cz + d az + b . c +d (a a+b c)z+(a b+b d) (c a+d c)z+(c b+d d) = wA ◦A (z). Demostraci´n.3 Una homograf´ puede escribirse como composici´n de: o ıa o • Similitudes z → az.

porque OM es el di´metro de a a la circunferencia. ∠OM A es recto. A M O iv) Recta que no pasa por el origen. de donde OM A ∼ OA M. OA · OA = 1 y OM · OM = 1. luego la imagen de la circunferencia es una recta. VARIABLE COMPLEJA Demostraci´n. aplicar el caso iii). £¡ ¡££¤¤ ¤ £¤¡ (OT )2 = OM · OM f(M) f(T) Of (M ) = M’ 1 OM = 2 OM OT 2 ⇒ f (M ) se obtiene a partir de M por homotecia de raz´n 1/OT o A’ M’ OM A es un tr´ ıangulo rect´ngulo. z Ahora bien. .22 CAP´ ITULO I.Por la proposici´n que precede.. es suficiente mostrar que la inversi´n compleja env´ o o o ıa circunferencias y rectas sobre circunferencias o rectas. es suficiente mostrar el teorema para la funci´n ¯ ıa o z → 1/¯. z 1 f (z) = = 2 . T M O iii) Circunferencia que pasa por el origen. ya que las similitudes y traslaciones conservan las rectas y circunferencias. ¢  ¡  ¢¡ ¡ ¢ ¢ f (recta) = recta. z ¯ |z| distinguimos los siguientes casos: i) Recta por el origen z ii) Origen fuera de la circunferencia. Como z → z es una simetr´ respecto a la recta real R. z→ 1 z ¯ es biyectiva.

z3 −→ 1.. z2 .4. ¯ Proposici´n I. se tiene w(z) = z. la homograf´ puede escribirse ıa az + b w(z) = . . w(1) = 1 y w(∞) = ∞. En efecto. z3 otra terna de elementos distintos de o ¯ Entonces. OM · OM = 1. 0. Fijamos Q.4. z2 = ∞ y z3 = ∞ w(z) = ii) z1 = ∞ w(z) = iii) z2 = ∞ w(z) = iv) z3 = ∞ w(z) = z−z2 z−z3 z1 −z2 z1 −z3 . z3 −→ 1. se tiene b/d = 0.Primero. Para z = ∞. Demostraci´n. de donde OM = M’ 23 M" M Q P 1 OM . z1 − z2 Para la existencia en el caso general. vamos a mostrar el caso en que z1 = 1. z − z3 z 1 − z3 z − z3 z − z2 . i = 1. 3. tenemos OP · OQ = λ. z3 elementos distintos de C y z1 . ∞ : z1 . z2 . z2 . existe una sola transformaci´n homogr´fica w tal que C. FUNCIONES CONFORMES v) Origen en el interior de la circunferencia. ıa Para la unicidad. cz + d para z = 0. o a w(zi ) = w(zi ). se tiene a/c = ∞. 2.4 Sean z1 . de donde c = 0. ´ w(1) = a/d = 1. λ De donde f (M ) = −λM . ∞ de donde (w )−1 ◦ w es la homograf´ pedida. por lo tanto b = 0. se tiene tres situaciones: o i) z1 = ∞. tomando d = 1. z2 = 0 y z3 = ∞. mostreremos primero que si w(0) = 0. z − z2 .I. 0. Por ultimo. z2 . consideramos las homograf´ ıas: w w : z1 . tambi´n OM · OM = λ e f (M ) = M . entonces w = id.

Por consiguiente las homograf´ ˜ ˆ ıas w ◦ w ◦ w : 0. En efecto o o o sin z1 = sin z2 ⇐⇒ sin z1 − sin z2 = 0 ⇐⇒ cos( z1 + z2 z 1 − z2 ) sin( ) = 0. ∞ → z1 . estudiaremos un problema modelo. 1. z2 . Representaci´n Conforme o Existen varios problemas de representaci´n conforme. determinar f (Ω). ∞ →: z1 . ∞. Consideremos Ω = {z| | z| < π. La restricci´n de sin z a esta regi´n la convierte en una funci´n inyectiva y conforme. Sean w. que escrito de otra forma ˆ ˜ ˆ ˜ w = w−1 ◦ w−1 = w . z2 .2: Transformaci´n de Cayley o Ahora veamos el caso general. VARIABLE COMPLEJA 3 w 2 z 2 1 1 −2 −1 1 2 −2 −1 1 2 3 −1 −1 −2 −2 −3 Figura I. ˆ ˜ Ejemplo 1. entre los cuales tenemos: o 1.2. ∞.24 CAP´ ITULO I.4. ∞ → 0. 1. z3 → z1 . Para ilustrar este problema. z2 . w : z1 . ∞ → 0. Dada f : Ω → C holomorfa. 1.4. 1.4. Consideremos la transformaci´n de Cayley o w(z) = funci´n ilustrada en la figura I.2 o La acci´n de esta transformaci´n en el plano complejo es convertir el eje imaginario en la circunferencia o o unitaria y vice-versa. ˆ ˜ w ◦ w ◦ w : 0. 1. z3 dos homografias. Consideremos las homografias: w : 0. ˆ ˜ de donde w ◦ w ◦ w = id y w ◦ w ◦ w = id. 2 2 . z+1 z−1 I. z3 y w : 0. z2 . z3 . inyectiva y Ω abierto. 1. z > 0} y f (z) = sin z.

Dejamos al estudiante. Ahora bien. como f1 es una rotaci´n de un ´ngulo recto.4. 1]). 1 f4 (z) = 2i z. determinaremos o Ω3 conociendo su borde a partir de la acci´n de f3 sobre el borde de Ω2 . 0]). o analizar la determinaci´n o arcsin : C − ([−1. o o 2. o ⇐⇒  z1 + z2 = π(2k + 1) ⇐⇒ z = kπ. ⇐⇒ z = π/2 + kπ. obtenemos finalmente que sin(Ω) = Ω4 = C − ([−1. El borde de Ω2 o frontera o es la uni´n de la circunferencia unitaria y el intervalo [−1.3) La equivalencia (I. deducimos inmediatamente o a Ω1 = {z ∈ C| | z| < π y Denotamos Ω2 = f2 (Ω1 ). para todo z ∈ Ω. Por o otro lado. un simple ejercicio mostrar´ que a Ω2 = {z ∈ C| |z| < 1}−] − 1.4. k ∈ Z. 1] ∪ i] − ∞. obtenemos f3 (eit ) = eit − e−it . z < 0} z > 0}.4. . por que cos z = 0. Denotamos Ω3 = f3 (Ω2 ). +∞[∪2i[−1. 0]) → Ω = {z ∈ C| | z| < π e Por lo hecho en (1). FUNCIONES CONFORMES dee donde cos( z1 +z2 ) = 0 o sin( z1 −z2 ) = 0. El comportamiento de sin z. Consideremos el problema modelo. Denotando Ω4 = f4 (Ω3 ). En la figura I. f2 (z) = ez . Como no tenemos una idea clara de la acci´n de f3 sobre Ω2 . +∞[ y parao metrizando la circunferencia con eit . 0[) = [0.4. determinar la funci´n inversa. Si f : Ω → Ω holomorfa y biyectiva. la verificaci´n de: o 2 2 sin z = 0 cos z = 0 Por lo tanto.3 observamos la acci´n de la composici´n de las cuatro funciones que dan sin z. a Denotamos Ω1 = f1 (Ω). 0]. sin z1 = sin z2   z1 − z2 = 2πk.I. (I. en el interior de la banda sin z es conforme. Tenemos f3 ([−1. Facilmente −1 f4 (z) = 2iz.3) nos asegura que la restricci´n de sin a la semibanda superior Ω es inyectiva. cada una de estas funciones. 25 k ∈ Z. 1 f3 (z) = z − z . 1] ∪ i] − ∞. la funci´n sin z. 0]. por lo que f3 (eit ) = 2i sin t. tenemos −1 −1 −1 −1 arcsin = f1 ◦ f2 ◦ f3 ◦ f4 . en particular la restricci´n de sin z sobre Ω. es la composici´n de cuatro o o o funciones: f1 (z) = iz. En consecuencia Ω3 = C − ([0. ser´ analizado a partir del comportamiento de cada una de estas funciones. Explicitemos.

26 CAP´ ITULO I.3: Representaci´n conforme de sin o . VARIABLE COMPLEJA Figura I.4.

5. Puesto que o f3 : {z ∈ C| |z| < 1}−] − 1. b] → C. Integraci´n Compleja o Definici´n I. −1 f2 (z) = log z con log como determinaci´n principal. o Esta ecuaci´n tiene dos raices: w1 y w2 que satisfacen w1 + w2 = z y w1 w2 = −1. b] e inyectiva. Una verificaci´n sobre la esta o determinaci´n dar´ |w| < 1. Por lo tanto o a −1 f3 z = z− √ z2 + 4 . +∞[∪2i[−1. 1]) se debe elegir aquella raiz wi que satisface |wi | < 1. obtenemos o a w= eligiendo como determinaci´n de o √ :C−l →C z− √ z2 + 4 . 2 con √ l : C − l → C.3. de donde w2 − wz − 1 = 0.5. Trabajemos con f3 ◦ f4 . l = [0. +∞) · z y |arg z| < π. +∞) · z y |arg z| < π.5. ecuaci´n polinomial de segundo grado. aseguran que f3 sea holomorfa. INTEGRACION COMPLEJA 27 Ahora. o o el teorema de la funci´n inversa. Un simple ejercicio con los m´dulos nos conduce a que existe a lo m´s una ra´ con esta o a ız propiedad. f3 (w) = w − 1/w = z.1 Un arco simple es una aplicaci´n de clase C 1 γ : [a. 0] → C − ([0. .´ I. o −1 f1 (z) = z/i Por lo tanto. con γ (t) = 0 para todo o o t ∈ [a. I. podemos explicitar esta determinaci´n de arcsin o arcsin(z) = 1 log(iz + i 1 − z 2 ). ver parte A de este curso de An´lisis de segundo a˜o y la proposici´n o a n o −1 −1 −1 I. 2 donde l = [0. f3 ha sido explicitada en funci´n de una determinaci´n de la raiz cuadrada que depende de z.5. −1 Explicitimos f3 . podemos elegir una nueva determinaci´n de la raiz cuadrada y tener una expresi´n simplificada o o −1 −1 f3 ◦ f4 (z) = iz + 1 − z 2 √ √ √ donde es una determinaci´n en la cual 1 − z 2 est´ definida y ademas iz + 1 − z 2 est´ en el disco o a a unitario. tenemos −1 f3 ◦ −1 f4 (z) = 2iz − √ −4z 2 + 4 2 Para no recargar y confundir determinaciones de la raiz cuadrada. aplicando la f´rmula cuadr´tica. −1 Si bien.

b] → C un arco simple.. o Proposici´n I..5. VARIABLE COMPLEJA Definici´n I. Una partici´n o subdivisi´n P de Γ = γ([a. γ : [a. .Sea γ : [a.. b] → C arco simple.Mostremos el punto (i). aplicando el teorema o de los incrementos finitos a cada una de las componentes.5. se puede definir un orden: b z2 z1 . b] → Ω arco simple. b] → C arco simple. δ(P ) = m´x {|zk − zk−1 |} a k=1. Puesto que γ es continua por hip´tesis. p = {a = to < t1 < · · · < tn = b} divisi´n o partici´n de o o o [a. cada una de sus componentes alcanza sus o cotas.5. Demostraci´n. b].2 f : Ω → C. Sea P = {γ(a) < γ(t1 ) < · · · < γ(tn )} partici´n de Γ. tk+1 ).1 Sea γ : [a.5. entonces o i) δ(P ) ≤ cδ(p).5. z1 ≤ z2 ⇐⇒ t1 ≤ t2 t2 γ (a) t1 a z1 γ (b) Definici´n I.n es la norma de la subdivisi´n P .. ζk ∈ (tk .2) Remarca.1) Si escribimos f (z) = u(z) + iv(z) y γ(t) = γ1 (t) + iγ2 (t). se tiene γ(tk+1 ) − γ(tk ) = (γ1 (ξk ) + iγ2 (ζk ))(tk+1 − tk ) con ξk . la relaci´n (I.. ii) δ(P ) ≤ 0 0. se define o b f (z) dz = γ a f (γ(t)) · γ (t) dt.28 CAP´ ITULO I. Consideremos las diferencias γ(tk+1 ) − γ(tk ).1). Sobre Γ = γ([a.. z1 = γ(t1 ) z2 = γ(t2 ). Por lo tanto |γ(tk+1 ) − γ(tk )| ≤ c(tk+1 − tk ) ≤ cδ(p). Ω ⊂ C abierto. (I. 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. z2 ∈ Γ. c y C reales estrictamente positivos (independientes de las particiones) tales que ⇒ δ(p) ≤ Cδ(P ). b]). b]) es una o o o sucesi´n finita y ordenada o P = {γ(a) = z0 < z1 < · · · < cn = γ(b)}.5.3 Sea γ : [a.

entonces o δ(p) → 0 ⇐⇒ δ(P ) → 0. b] → C arco simple. 2 Al igual que en (i).5. b] → Ω arco simple.1 Sean γ : [a. se muestra que γ −1 : Γ → [a. para |t − t | < δ0 . b] es continua. Teorema I.5. Sea P = {γ(a) < γ(t1 ) < · · · < γ(tn )} partici´n de Γ. f : Ω → C continua. de donde. b] → Γ es biyectiva. b]. En particular para δ0 .´ I. por lo tanto. 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 )| α . ∃ > 0 tal que |z − z | < y z. z ∈ Γ implica |t − t | < . Por hip´tesis γ (t) = 0 y por continuidad de γ . en particular de γ1 . p = {a = to < t1 < · · · < tn = b} divisi´n o partici´n de o o [a. se muestra que si δ(p) ≤ δ0 . INTEGRACION COMPLEJA donde c= Por la definici´n de m´x y sup obtenemos o a δ(P ) ≤ cδ(p). 2 Como γ es inyectiva. ın Afirmamos que existe δ0 > 0 tal que |t − t | < δ0 . P denota partici´n de Γ.3) .5. existe δ0 > 0 tal que |t − t | < δ0 .5. Corolario I. utilizando el mismo procedio miento que (i). se tiene δ(P ) ≥ α δ(p). Mostremos el segundo punto. implica|γ1 (t) − γ1 (t )| < α/2. la restricci´n de γ : [a. 2 Por la continuidad de γ . entonces o n b l´ ım δ(P )→0 k=1 f (zk−1 )(zk − zk−1 ) = a f (z) dz. es decir que ∀δ > 0.b] 29 (m´x |γ1 (t)|)2 + (m´x |γ2 (t)|)2 a a m´ |γ (t)| = α > 0. se tiene α |γ1 (t) + γ2 (t )| ≥ . se tiene o t∈[a.1 Sea γ : [a. (I. existe 0 .

no un arco simple. VARIABLE COMPLEJA f (zk−1 )(zk − zk−1 ) = = n k=1 n k=1 f (γ(tk−1 ))(γ(tk ) − γ(tk−1 )) n f (γ(tk−1 ))γ (tk−1 )δtk + k=1 r(tk .2 γ f (z) dz depende solamente de Γ y del orden de Γ. Corolario I. se define o f (z) dz = C γ1 f (z) dz + γ2 f (z) dz + · · · + γk f (z) dz. cuando δ(p) → 0.5 Sea C = γ1 + γ2 + · · · γk un recorrido. Por lo tanto.Se tiene: o n k=1 CAP´ ITULO I.4 Un recorrido C es darse arcos simples γi : [ai . . dado. Consideremos f (z) = 1/z y γ(t) = eit con 0 ≤ t ≤ 2π define un recorrido. tk−1 )δtk < (b − a). n f (γ(tk−1 ))γ (tk−1 )δtk k=1 es una suma de Riemann y por las hip´tesis de continuidad de f y γ . ..5. tk−1 )δtk . i = 1. k=1 Lo que significa. Por la diferenciabilidad de γ. se tiene r(tk . El . tk−1 )| < (tk − tk−1 ). . Por otro lado. para un > 0. De donde n n r(tk . k con γ(bi ) = γ(ai+1 ). tk−1 )/ |tk − tk−1 | → 0.5. de acuerdo al corolario precedente que n l´ ım δ(P )→0 k=1 r(tk .5. bi ] → C. o Escribimos C = γ1 + γ2 + · · · γk . Definici´n I.30 Demostraci´n. para δ(p) suficientemente peque˜o |r(tk . se tiene o n b l´ ım δ(P )→0 k=1 f (γ(tk−1 ))γ (tk−1 )δtk = a f (γ(t))γ (t) dt. . Ejemplo 1. Definici´n I. tk−1 )δtk = 0.

2 Sea f : Ω → C continua tal que existe una funci´n F : Ω → C holomorfa con F (z) = o o f (z) para todo z ∈ Ω. Γ . Demostraci´n. Se dice que Γ es un recorrido cerrado o contorno si o γ1 (a1 ) = γ(bk ) Corolario I. aplicando la regla de derivaci´n para la composici´n de funciones o o o d F (γ(t)) = F (γ(t)) · γ (t) = f (γ(t)) · γ (t). γ donde A = γ(a) y B = γ(b). t ∈ [π. b] → Ω un arco simple. Definici´n I. π]. que es la suma de los arcos simples: 31 γ1 (t) = eit .3 Si Γ es un contorno dentro de Ω ⊂ C abierto y f : Ω → C continua que admite primitiva. 2π]. γ2 (t) = eit . t ∈ [0.´ I. INTEGRACION COMPLEJA recorrido es la circunferencia unitaria.5.5.. Proposici´n I. (F se llama primitiva de f ).Por un lado tenemos.6 Sea Γ = γ1 + · · · + γk un recorrido. dt Por otro lado. el Segundo Teorema del C´lculo Integral da a b F (γ(b)) − F (γ(a)) = a d F (γ(t)) dt = dt b f (γ(t)) · γ (t) dt = a γ f (z) dz. entonces f (z) dz = 0.5.5. de donde f (z) dz |z|=1 = = π 0 γ1 f (z) dz + γ2 2π π f (z) dz f (eit )ieit dt f (eit )ieit dt + = 2π 1 ieit 0 eit dt = 2iπ. Entonces f (z) dz = F (B) − F (A). Sea γ : [a.

la determinaci´n log2 : Ω2 → C con arg2 (−1) = π. de donde o z0 m+1 z0 m+1 z m dz = Γ Γ 2. VARIABLE COMPLEJA Demostraci´n. t ∈ [π/2. podemos evaluar z=1 z dz tomando la circunferencia como el recorrido γ1 + γ2 donde γ1 (t) = eit .32 CAP´ ITULO I..5. 3π/2] z=1 γ1 1 dz + z γ2 1 dz = log(i) − log(−i) + log2 (−i) − log2 (i) = 2iπ.4 La funci´n f : C − {0} → C dada por f (z) = 1/z no admite primitiva. considerando Ω1 = C−] − ∞. la determinacion principal de log es una primitiva. 1/z no admite primitiva sobre Ω = C − {0}..Utilizando la definici´n de integral para recorridos y la proposici´n precedente. Por lo o 1 tanto.Si bien. F (z) = z m+1 /(m + 1) es una primitiva. γ4 Corolario I.. o Ejemplos 2. z . por lo tanto 1 dz = z t ∈ [−π/2. Por ejemplo.Consideremos la funci´n f (z) = z m con m natural. podemos restringir Ω de manera que esta funci´n o admita primitiva. 0]. +∞[. π/2] γ2 (t) = eit . Tomando Ω2 : C − [0. se tiene o o o γ3 f (z) dz Γ = γ1 f (z) dz + γ2 f (z) dz + · · · + γk f (z) dz γ 1 γ2 = (F (B1 ) − F (A1 )) + (F (B2 ) − F (A2 )) + · · · + (F (Bk ) − F (Ak )) = F (Bk ) − F (Ak ) = 0.

Planteamos g(z) = eiz que es una funci´n holomorfa y o 1 dz = z γ 1 iz ie dz = i eiz dz = iz|2π = 2iπ. b] → U o arco simple. Por otro lado n n n f (zk )(zk − zk−1 ) ≤ k=1 k=1 f (z) · |zk − zk−1 | ≤ M k=1 |zk − zk−1 | ≤ M · L. Ejemplo 4. b]) Demostraci´n.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. γ : [a. o Demostremos el punto I..5.´ I.5.5. entonces f (z) dz = g◦γ γ f (g(ζ))g (ζ) dζ. Por el teorema I..b] |f (γ(t))| a donde P denota particiones o subdivisiones de γ([a..4 Sea f : Ω → C continua.5. INTEGRACION COMPLEJA 33 Proposici´n I. .1.5. 2π] → C con γ(t) = t.5) f (z) dz ≤ M · L M = m´xt∈[a. 0 γ g 2π Proposici´n I.3 (cambio de variable) Si f : Ω → C continua.5.5.5. g : U → Ω holomorfa y γ : [a.Consideremos nuevamente la integral |z|=1 γ : [0.5. b] → Ω arco simple. (I.5. obtenemos |z|=1 1 z dz. ejercicio el repaso de la demostraci´n.5. Entonces o l´ δ(P )→0 ( ım n k=1 γ |zk − zk−1 |) = b a |γ (t)| dt = L : longitud del arco.4) (I.4 ya ha sido visto en el curso de Geometr´ dejamos como o o ıa.Demostraci´n. Demostraci´n.El punto I.. se tiene n f (z) dz = l´ ım γ δ(P )→0 k=1 f (zk )(zk − zk−1 ) . Pasando al l´ ımite obtenemos la desigualdad I.

o i) Si fn : Ω → C una sucesi´n de funciones continuas que convergen simplemente a f : Ω → C y uniformeo mente sobre Γ. La convergencia uniforme.7 Un recorrido Γ = γ1 + · · · + γk se dice de tipo H-V (horizontal-vertical) si o (γi ) = C. u) → F (z. u) dz − Γ Γ F (z. De donde fn (z) dz − Γ Γ f (z) dz = Γ (fn (z) − f (z)) dz ≤ L. Γ ii) Si F : Ω × U → C funci´n con U ⊂ C abierto tal que para todo u ∈ U fijo la funci´n z → F (z.. Demostraci´n. b] → C arco simple.5 Sea Ω ⊂ C abierto. VARIABLE COMPLEJA Proposici´n I. γ.6 Sea f : Ω → C continua. ∃N tal que n ≥ N o ⇒ ∀z ∈ Γ |fn (z) − f (z)| < . entonces ∀ > 0.5. significa que ∀ > 0. de donde F (z. Γ = γ1 + · · · + γk ⊂ C un recorrido. u) es o o continua y si F (z. H-V H-V γ Ω K . u0 ) uniformemente sobre Γ cuando u → u0 ∈ U entonces u→u0 l´ ım F (z. ∃ recorrido H-V o γ1 + · · · + γk tal que γ1 (a1 ) = γ(a) y γk (bk ) = γ(b) y adem´s a f (z) dz − γ f (z) dz < .34 CAP´ ITULO I. entonces f (z) dz = l´ ım Γ n→∞ fn (z) dz. u) − F (z. u0 ) dz. (γj ) = C o Proposici´n I. Definici´n I.Mostremos el punto (i). El punto (ii). significa que ∀ > 0. [a. la convergencia uniforme. u0 )| < . u) dz = Γ Γ F (z.5.5. ∃δ > 0 tal que |u − u0 | < δ implica que ∀z ∈ Γ se tiene |F (z. u0 ) dz ≤ L.

5. La demostraci´n asegura que existe η > 0 tal que D(z. e Ahora consideremos p = {a = t0 < t1 < · · · < tm = b} una subdivisi´n de [a. que en el momento o o se enunciar´ sin demostraci´n. Como K es compacto. definimos los zk = zk + (zk+1 − zk ).Se requiere utilizar algunas propiedades top´logicas del plano complejo. dejando ´stas para el curso de topolog´ Utilizando el hecho que γ([a. b] tal que δ(P ) ≤ δ( ). . δ( ) se tiene que los segmentos zk zk y o zk zk+1 est´n dentro K. deducimos que: f (z) dz − f (zk )(zk − zk ) Hk ≤ ≤ |zk − zk | |zk+1 − zk | . Tomando = /(1 + 3L) se tiene la proposici´n. z k+1 Por hip´tesis sobre δ(P ). f es uniformemente continua sobre K.´ I. se puede suponer que n m−1 zk z’ k f (z) dz − γ k=0 f (zk )(zk+1 − zk ) < (I. INTEGRACION COMPLEJA 35 Demostraci´n. Podemos suponer tambi´n que δ( ) < η. existe δ( ) > 0 tal que z. o donde P = {z0 = γ(a) < z1 = γ(t1 ) < · · · < γ(tm ) = zm }. η) ⊂ K ◦ para todo o o z ∈ Γ. b]) es a o e ıa. .7) (I.5. o (Esta es la parte topol´gica). tal que Γ ⊂ K ◦ .. z ∈ K y |z − z | < δ( ) ⇒ |f (z) − f (z )| < . . o . que existe K ⊂ Ω compacto.5. .5. un compacto. k = 0. m − 1. reducir de taman`o δ(P ). por lo tanto para > dado. se muestra mediante la noci´n de recubrimiento.8) f (z) dz − f (zk )(zk+1 − zk ) Vk Por lo tanto. (I.6) El recorrido H-V es de la forma H1 + V1 + · · · Hm−1 + Vm−1 . f (z) dz − γ H−V f (z) dz ≤ ≤ m−1 k=0 γ f (z) dz − m−1 k=0 Hk f (z) dz + Vk f (z) dz (f (zk )(zk+1 − zk ) − f (zk )(zk − zk ) − f (zk )(zk+1 − zk )) + + m−1 k=0 (|zk − zk | + |zk+1 − zk |) ≤ m−1 k=0 ((f (zk ) − f (zk ))(zk+1 − zk )) + (1 + 2L) m−1 k=0 ≤ |zk+1 − zk | + (1 + 2L) ≤ (1 + 3L). a Si es necesario. L es la longitud de γ.

Se debe observar que las integrales de los lados comunes de los subrect´ngulos se anulan. δ1 = δ/2 es el diam´tro de a e 1 R . . pk = k . 4} tal que f (z) dz ≥ Rj 1 Ri f (z) dz . de donde podemos escribir o f (z) = f (z0 ) + f (z0 )(z − z0 ) + (z − z0 )r(z). con k = 1. . 2. R2 . 4. 3. Un Teorema de Cauchy Proposici´n I. VARIABLE COMPLEJA I. I1 = R1 f (z) dz. R3 a y R4 . 2. Una verificaci´n sencilla da: o |I| ≤ 4 |I1 | . o a Dividimos el rect´ngulo R en cuatro subrectangulos iguales R1 . i = 1. quedando para el a c´lculo final los lados no compartidos. δk . R = {z ∈ C|a ≤ z ≤ b. Entonces o f (z) dz = 0. 2 2 Utilizando el principio de los intervalos encajonados del primer Curso de An´lisis en la parte real e imaginaria a de la sucesi´n mostramos que o l´ Rk = {z0 }. δk = k . ım k→∞ Por hip´tesis f es holomorfa. c ≤ z ≤ d} ⊂ Ω.. 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. Denotando por R1 este subrect´ngulo. 3. ∂R Demostraci´n. se tiene f (z) dz = Rk Rk con l´ r(z) = 0. Podemos construir una sucesi´n de subrect´nguloes Rk . en particular f es C diferenciable en z0 . .1 Sea f : Ω → C holomorfa. a Sea j1 ∈ {1. pk el diam´tro y el a e perim´tro de Rk se tiene e p δ |I| ≤ 4k |Ik | . Si denotamos por Ik = Rk f (z) dz.6. de manera que Rk+1 sea un o a subrect´ngulo que divide en partes iguales a Rk .36 CAP´ ITULO I.6. a Por otro lado si p es el perim´tro de R.. Ahora bien para Rk . porque tienen sentido opuestos. ım z→z0 f (z0 ) dz + Rk f (z0 )(z − z0 ) dz + Rk r(z)(z − z0 ) dz = Rk r(z)(z − z0 ) dz . 2. se tiene que el perim´tro p1 de e e 1 R es igual a p/2 y si δ es el di´metro de R.Suponemos del contorno (borde del rect´ngulo) en sentido positivo.

I. En el curso de topolog´ se muestra que existe R > 0 tal que C ⊂ B(0. 1]) ∩ C = ∅ y z0 ∈ C. se tiene |z − z0 | ≤ δk y |r(z)| ≤ . bi ]) ∩ γj ([aj . 4k pδ . 1] → C (γ continua) con γ(0) = z y γ(1) = z0 . m´s todavia. 4k Definici´n I.6.2 Se dira que C es un contorno simple o recorrido cerrado simple. a Por consiguiente. Se dira que z est´ en el interior de C.6. si C = γ1 + · · · + γk es o un recorrido simple con γ1 (a1 ) = γk (bk ). e z . Se dir´ que C es un recorrido simple si o a i = j ⇒ γi ([ai . de donde |Ik | ≤ pk δk = por lo que |I| ≤ 4k · Esto significa que |I| = 0 y en consecuencia I = 0. si a para todo camino γ : [0. 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. La orientaci´n o sentido de C se elige de manera que el o interior de C est´ a la izquierda de C. R). Por otro lado |Ik | = Rk r(z)(z − z0 ) dz ≤ pk · m´x |r(z)(z − z0 )| . excepto quiz´s γ1 (a1 ) = γk (bk ).6.1 Sea C = γ1 + · · · + γk un recorrido. para k ≥ K. R) ıa Sea z0 ∈ B(0. a z∈Rk Elijamos > 0. existe K ∈ N tal que k ≥ K se tiene Rk ⊂ D(z0 . entonces existe η > 0 tal que |z − z0 | < η ⇒ |r(z)| < . Interior de un Contorno Simple Sea C un contorno simple. bj ]) = ∅. η). a Definici´n I. El interior de C es el conjunto Int C = {z ∈ C|z es un punto interior de C}. pδ = pδ. se tiene z0 γ C γ([0.

6.. Teorema I. ∂D ∂D orientada dejando el interior a la izquierda. Utilizando el mismo u a argumento que la proposici´n precedente. entonces f (z) dz = 0. Si es necesario afinar H-V.3 D ⊂ C es un dominio simple si D es de la forma o D = C ∪ Int C. Un corona {z|r ≤ |z − z0 | ≤ R} no es un dominico simple. Un disco cerrado {z| |z − z0 | ≤ r} es un dominio simple.1 (Cauchy) Sea f : Ω → C holomorfa. se puede suponer que es un recorrido simple. Demostraci´n. por la proposici´n precedente.6.Utilizando la proposici´n I. existe un recorrido cerrado H-V tal que f (z) dz < .6. 3.38 CAP´ ITULO I. o . donde C es un contorno simple. Ejemplos 1. para o o f (z) dz = ∂D H−V > 0. Un rect´ngulo R es un dominio simple a 2. se tiene o f (z) dz = H−V Ri Ri f (z) dz = 0. lo que nos permite construir una cuadriculaci´n del interior de H-V en que los arcos de H-V son o lados de alg´n o algunos rect´ngulos. VARIABLE COMPLEJA Definici´n I. D ⊂ Ω dominio simple.5.

. D ⊂ Ω dominio simple. D ⊂ Ω..1 Si f : Ω → C holomorfa.6.Fijemos z0 ∈ D◦ . γ1 Demostraci´n.Ejercicio. entonces existe F : D → C holomorfa tal que F (z) = f (z).I. UN TEOREMA DE CAUCHY Por consiguiente f (z) dz < ∂D 39 cualquiera que sea > 0.. por lo tanto el teorema es cierto. Planteamos o z F (z) = z0 f (ζ) dζ. γi [ai . para que z + n t∆z ∈ D para t ∈ [0. existe δ > 0 tal que si |∆z| < δ se tiene |r(ζ)| < |z − ζ|. 1]. con γ(ai ) = z1 y γ(bi ) = z2 con i = 1. En efecto. Corolario I. (ζ − z) z+∆ z z z0 ζ→z de donde para.6. bi ] → D arcos simples. Corolario I.2 Sea f : Ω → C. 2.. o Notaci´n.Como la integral solo depende de las extremidades es v´lida la notaci´n o a o z2 f (z) dz = z1 γ1 f (z) dz. 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 suficientemente peque˜o.6. z2 ∈ D. > 0 dado. z1 . z z+∆ z Mostremos que F es holomorfa y que F (z) = f (z). Entonces f (z) dz = γγ2 f (z) dz. Por otro lado f (ζ) = f (z) + f (z)(ζ − z) + r(ζ) con l´ ım r(ζ) = 0. Demostraci´n.

40 El cociente de Newton se convierte q(z) = 1 ∆z z+∆z CAP´ ITULO I. Dk ⊂ D◦ dominios simples con Di ∩ Dj = ∅ si i = j. i = 1. el segmento que une z con z + ∆z. . Corolario I.. . .6. . z |·|≤ |∆z|→0 si ∆z → 0 y tomando como arco. . z .3 Sean D dominio simple y D1 . . D1 = {z| |z| ≤ r} con r lo suficientemente peque˜o de n manera que D1 ⊂ D◦ y por corolario que antecede deducimos que ∂D 1 dz = z |z|=r 1 dz = 2iπ..Consideremos D dominio simple con 0 ∈ D◦ . . k Ω ⊃ (D − i=1 Di ) abierto y f : Ω → C holomorfa. k.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 . Entonces D D k D 2 ∂D f (z) dz = ∂D1 f (z) dz + · · · ∂Dk f (z) dz. VARIABLE COMPLEJA 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ζ . 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 integraci´n) o Ejemplo 4. D 1 ˆ ˇ Demostraci´n. .

FORMULAS INTEGRALES DE CAUCHY 41 Corolario I. se puede pasar al l´ ımite r → 0 y la independencia de la integral respecto a r nos conduce a que 1 2iπ f (ζ) dζ = l´ ım r→0 ζ − z0 1 1 f (z0 + re2iπt ) dt = 0 0 f (z0 ) dt = f (z0 ). a condici´n que la circunferencia est´ dentro del o e dominio. 2iπ ∂D (ζ − z)n+1 .´ I. C z−a 1 dz = −.7.7.7.Utilizando el corolario I. Entonces f (z0 ) = 1 2iπ f (ζ) dζ.1 Sea f : Ω → C holomorfa.8 y con r > 0 lo suficientemente peque˜o se tiene o n 1 2iπ f (ζ) 1 dζ = ζ − z0 2iπ f (ζ) dζ ζ − z0 ∂D |ζ−z0 |=r La parametrizaci´n z0 + re2iπt de la circunferencia de centro z0 y radio r da o 1 2iπ f (ζ) dζ = ζ − z0 1 f (z0 + re2iπt ) dt. F´rmulas Integrales de Cauchy o Teorema I.6.2 Sea f : Ω → C holomorfa. D ⊂ Ω dominio simpler.Ejercicio. ζ − z0 ∂D Demostraci´n.4 Sea C un contorno simple y a ∈ C. o I. entonces: a ∈ Int C a ∈ Int C ⇐⇒ ⇐⇒ 1 dz = 2iπ.. ∂D Teorema I. 0 |ζ−z0 |=r El valor de la segunda integral es independiente de r.7. z0 ∈ D◦ . Entonces f es indefinidamente C-derivable y n! f (ζ) f (n) (z) = dζ. Puesto que f es continua. D ⊂ Ω dominio simple y z ∈ D◦ ..6. C z−a Demostraci´n.

z) dζ (n−1)! l´ z→z0 ϕ(ζ.7. Consideremos el cociente de Newton y apliquemos la hip´tesis de inducci´n o o (n − 1)! f (n−1) (z) − f (n−1) (z0 ) = z − z0 2iπ f (ζ) ∂D 1 1 − (ζ − z)n (ζ − z0 )n 1 dζ. r) = {z| |z − z0 | < r} ⊂ D. n F (z + ∆z) − F (z) 1 = ∆z ∆z z+∆z f (ζ) dζ. para ∆z lo suficientemente peque˜o.. z0 ) dζ 2iπ f n! = 2iπ ∂D (ζ−z(ζ) dζ. VARIABLE COMPLEJA Demostraci´n. 0 La funci´n ϕ es continua. para n = 0 es el teorema precedente. C entonces f es holomorfa sobre Ω. Demostraci´n. z) dζ ım 2iπ ∂D = (n−1)! ∂D ϕ(ζ.2 F es indefinidamente derivable y por consiguiente F (z) = f (z) y de donde f es holomorfa. r) − {z0 }. z) = 1 1 1 f (ζ) (ζ−z)n − (ζ−z0 )n z−z0 si z = z0 . existe r > 0 tal que D(z0 . Como f es continua. f (ζ) (ζ−zn)n+1 hboxsiz = z0 .Fijemos z0 ∈ Ω. Planteamos o F (z) = γ f (w) dw.3 (Morera) Sea f : Ω → C continua tal que para todo recorrido simple C ⊂ Ω f (z) dz = 0. Consideremos el cociente de Newton. Como z0 ∈ D◦ . Ahora verifiquemos que F (z) = f (z). Por hip´tesis F (z) no depende de γ que une z0 con z. o Si mostramos que F (z) = f (z). z ∈ D(z0 .. z integrado sobre el segmento z + t∆z. z . r) → C dada por o ϕ(ζ. sea o o z0 ∈ D◦ que lo dejamos fijo. n+1 0) Teorema I. de donde f (z) − 1 ∆z z+∆z f (ζ) dζ = z 1 ∆z z+∆z (f (z) − f (ζ)) dζ ≤ . para > 0 fijo.7. con 0 ≤ t ≤ 1.Por inducci´n. donde γ arco simple con γ(a) = z0 y γ(b) = z. por el teorema I. z − z0 Definamos la funci´n ϕ : ∂D × D(z0 . Suponemos cierto para n − 1.42 CAP´ ITULO I. lo que conduce a que o z→z0 l´ ım f (n−1) (z) − f (n−1) (z0 ) z − z0 = l´ z→z0 ım = (n−1)! 2iπ ∂D ϕ(ζ. existe δ > 0 tal que |δz| < δ implica que |f (z) − f (z + t∆z)| ≤ .

Γ El teorema de Morera implica que f es holomorfa sobre Ω. Si fn → f uniformemente sobre Ω cuando n → ∞. Demostraci´n.1 (F´rmula de Hadamard) La serie de potencias con coeficientes {an } ⊂ C tiene como o o radio de convergencia   lim sup 1 √|a | n  n n→∞ R= (F´rmula de Hadamard) o 0 si lim supn→∞ n |an | = ∞   n ∞ si lim supn→∞ |an | = 0. {fn : Ω → C} una sucesi´n de funciones holomoro fas. con los respectivos criterios y condiciones de convergencia. exceptuando a a la noci´n de C-derivabilidad que ser´ vista en esta secci´n.5. f (ζ) |ζ−z|=r (ζ−z)2 dζ ≤ sup|ζ−z|=r f( ζ) − fn (zeta) . SERIES ENTERAS 43 I. Sin ocuparnos de la cuesti´n de convergencia. estas series forman el algebra C[[z]] o de las series formales. propiedades son v´lidas si se remplaza R por C. Para la convergencia.8. por la proposici´n I.. tal como se dijo se retoma las definiciones dadas en el curso de Primer A˜o de An´lisis.8. o . . a2 . o Proposici´n I.5 se tiene o o f (z) dz = Γ Γ n→∞ l´ fn (z) dz = l´ ım ım n→∞ fn (z) dz = 0. entonces f es holomorfa y fn → f uniformente sobre Ω cuando n → ∞. Sea a0 . una sucesi´n de coefientes en C y z una variable o independiente. Por consiguiente es conveniente que el estudiante o a o no solo repase el curso de primer a˜o de an´lis. sino que lo domine.I. Sea z ∈ Ω◦ .1) se llama una serie entera. Por consiguiente la derivada converge uniformemente. al igual que las series de n a o o e funciones en el ´mbito real.1 (Weistraß) Sea Ω un dominio simple. Aplicando la f´rmula 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ζ. Las definiciones. . de donde podemos encontrar r > 0 tal que D(z. ım n→∞ n→∞ Demostraci´n. Series Enteras En el primer a˜o de an´lisis se estudi´ a profundidad la noci´n de series num´ricas.8.8. entonces ∞ an z n = a0 + a1 z + a2 z 2 + · · · n=0 (I. r) ⊂ Ω. .Consideremos Γ contorno simple de Ω.8.Ejercicio. La primera novedad n a Teorema I. Mostremos que fn → f uniformemente. Solo agregamos una n a f´rmula para el radio de convergencia. donde lim sup |an | = l´ sup{|ak | |k ≥ n}. a1 . Recordemos lo que es una serie entera..

.Para los dos primeros puntos revisar el curso de an´lisis de primer a˜o. iv) f (z) = n=1 Demostraci´n. R). Entonces: Teorema I.. converge uniformemente sobre |z| ≤ r.2 Sea n=0 ∞ i) n=0 ∞ an z n converge uniformemente sobre |z| ≤ r. ¯ Demostraci´n. Los puntos iii) y o a n iv) son consecuencia del teorema de Weirstraßenunciado m´ arriba. a Definici´n I.44 ∞ CAP´ ITULO I. VARIABLE COMPLEJA an z n una serie entera de radio de convergencia R > 0. an z n diverge sobre |z| > R.8. R > 0 tal que D(z0 .8. ∀r < R. Por consiguiente a se puede integrar t´rmino a t´rmino garantizando la convergencia uniforme de la serie e e f (z) = 1 2iπ n=0 ∞  ¦ ©¨§¥ £ ¢  ¡ ¢¡¢  ¡ ¡ ¢  ¨ ¤ Las f´rmulas integrales de Cauchy dan: o f (z) f (n) = = 1 2iπ f (ζ) ∂D ζ−z ζ. R) ⊂ Ω.Sea D un dominio simple que contiene D(z0 . z0 ∈ Ω. Entonces ∞ f (n) (z0 ) f (z) = (z − z0 )n n! n=0 ¯ uniformemente sobre D(z0 . n! k=0 ¯ Teorema I. ∀r < R. la serie de Taylor de o f en el punto z0 es ∞ f (k) (z0 ) ST fz0 (z) = (z − z0 )k . (z0 ) n! 2iπ f (ζ) ∂D (ζ−z0 )n+1 ∞ n=0 z − z0 ζ − z0 n ∂D f (ζ) dz (z − z0 )n .8. nan z n .3 ((Cauchy-Taylor)) Sea f : Ω → C holomorfa. z0 ∈ Ω.1 Sea f : Ω ⊂ C → R. (ζ − z0 )n+1 . f indefinidamente C derivable en z0 . ∞ ii) n=0 iii) f (z) = n=0 ∞ an z n es holomorfa sobre |z| < R. esto es posible por Ω es un abierto. R). o Por otro lado 1 1 1 = = ζ −z ζ − z0 + z0 − z (ζ − z0 )(1 − 1 z−z0 = ζ − z0 ) ζ−z0 porque |z − z0 | < |ζ − z0 | y adem´s la convergencia es uniforme sobre el disco centrado en z0 .

C´lculos con Series Enteras a ∞ A continuaci´n se enunciar´ algunas propiedades de las series enteras.8. ın(ρ .I.1: Polinomio de Taylor z − z3 3 + z5 5 + ··· + z2 5 25 en R y en C Remarca. es decir que son indefinidamente derivables y que la serie de Taylor a de la funci´n coincide con la funci´n en la regi´n de convergencia. o Ejemplo 1. verificaci´n que dejamos como ejercicio.8. o a Proposici´n I.2 se ve que la serie converge para |z − 1| < 1. tienen un radio de convergencia ρ ≥ m´ 1 .3) las dos series. y no se comprender´ porque el o ıa polinomio de Taylor no funciona fuera de [−1.2) f (z)g(z) = n=0 i=0 (I.-Acabamos de ver que una funci´n que puede expresarse como una serie de potencias es holomorfa o y lo mismo una funci´n holomorfa puede expresarse como serie de potencias. ∂Ω).8. SERIES ENTERAS 45 −1 0 1 Figura I. o log z = z z dζ dζ ] 1 1+(ζ−1) 1 ζ z (1 − (ζ − 1) + (ζ − 1)2 − 1 2 3 4 (z−1) + (z−1) − (z−1) + · · · 2 3 4 = · · ·) dζ = (z − 1) − En la figura I. lo que no es sorprendente. 1].8. ai bn−i zn. pero visto en C. la suma y la producto. Consideremos la determinaci´n principal del logaritmo. ρ2 ). a I.8. Entonces ∞ f (z) + g(z) = ∞ n=0 n (an + bn )z n . (I.1. recordando la secci´n I. Las funciones que tienen esta o propiedad se llaman funciones an´liticas. o a 2.8. o o o Remarca. porque en z = 0 log no est´ definido.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.-Si f : Ω → C es holomorfa.4 vemos que o en la determinaci´n de arctan que no est´ definida para ±i. entonces el radio de convergencia de la serie de Taylor de f en el punto z0 ∈ Ω.8. La funci´n y = arctan x es completamente lisa para −∞ < x∞. est´ dada por a dist(z0 .

Mostremos ahora. Entonces los 1 = cn z n .4) y tenemos o |c1 | |c2 | |c3 | |c4 | . es suficiente 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.Ver demostraciones en el curso de Primer A˜o de An´lisis.asegura que la sucesi´n o o |b1 | .8.. ≤ 2q 3 + q 3 + q 3 = 4q 3 . .8. ≤ 4q 4 + 2q 4 + q 4 + q 4 = 8q 4 De donde aplicando el criterio de la ra´ n-sima.8. Insertamos sucesivamente esta mayoraci´n en (II. ız . .(1/g(z) = 1 dar´n lo deseado. 3 |b3 |.46 ℜw y x y CAP´ ITULO I. se tiene que 1/g(z) converge para |z| < 1/(2q). ≤ q.8. ≤ q 2 + q 2 = 2q 2 . es decir |bn | ≤ q n . VARIABLE COMPLEJA n = 12 x ℑw n = 12 x x ℜw y x y n = 24 x ℑw n = 24 x x Figura I. que el radio de convergencia de la serie cociente es a mayor o igual a 1/2ρ.4) los productos de Cauchy de la serie producto o g(z).. Adem´s podemos escribir los otros a coeficientes de la serie g(z) con signo −. Demostraci´n.4) y el radio de convergencia es no nulo. La f´rmula de Hadamard para el radio de convergencia ρ. g(z) n=0 ∞ satisfacen c0 = 1 y n−1 cn = k=1 ck bn−k + bn (I.3 Sea g(z) = 1 + o coeficientes ci de la serie ∞ n=1 −bn z n una serie de radio de convergencia ρ > 0. · · · son por q > ρ. Tenemos la proposici´n: o Proposici´n I.2: Gr´ficas de parte real e imaginaria de (z − 1) − a (z−1)2 2 + (z−1)3 3 − ··· ± (z−1)n n Demostraci´n. o n a Para determinar los coeficientes de la serie cociente f (z)/g(z). |b2 |.Para las relaciones recursivas dadas por (I.8.

Para justificar que los reordenamientos son correctos y la prueba que la serie tiene un radio de convergencia no nulo. observamos que b0 = 0.3: Composici´n de Series o Aparte de las operaciones aritm´ticas con series. Substituimos z = pw + p2 w2 + p3 w3 + · · · = pw/(1 − pw) para |w| < 1/p. pw = (1 − pw) 1 − q 1−pw 1 − (q + 1)pw mayoraci´n v´lida si |w| < 1/(p(q + 1)). Nuevamente la formula de Hadamard conduce a que |an | ≤ q n y |bn | ≤ pn . se tiene la composici´n de series enteras. Para ubicar el e o problema.8. Remplazamos z en la serie doble obteniendo la mayoraci´n para la serie doble dada por 1 + qz + qz 2 + · · · = 1/(1 − qz) siempre y cuando o |z| < q. de coeficientes conocidos.8. 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 coeficientes de la nueva serie son determinados recursivamente por expresiones finitas.   O   O g(w) = k=1 bn w n . para asegurar que g(0) = 0 y buscamos determinar los coeficientes cn de la serie F (w) = f (g(w)). SERIES ENTERAS F(w) £ ¢ 47 w ¡ z ƒ £ ƒ(z) g ¤ Figura I. consideramos las series ∞ ∞ f (z) = k=0 an z n . 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 + · · · . gracias a que b0 = 0. Remplazando en la mayoraci´n de la segunda serie. obtemos una mayoraci´n en funci´n de w dada o o o por 1 1 .I. o a Otro problema es el c´lculo de la serie entera de la funci´n inversa de una serie entera. mediante el criterio de la serie mayorante. . Se busca el desarrollo de la funci´n inversa z = g(w) bajo la forma o z − z0 = b1 (w − w0 ) + b2 (w − w0 )2 + b3 (w − w0 )3 + · · · .

Comparamos los coeficientes de la serie del lado izquierdo. w(0) = 0. 1 a1 b1 . w = b1 z + b2 z 2 + b3 z 3 + · · · e remplazamos en la ecuaci´n diferencial. Se tiene o dw = a1 + 2a2 z + 3a3 z 2 + · · · .9. = 2 1 = (a1 b2 + a2 b2 ). . dw a1 + 2a2 z + 3a3 z 2 + · · · (I. o pero muy complicada. Se o obtiene w = a1 b1 w + (a1 b2 + a2 b2 )w2 + (a1 b3 + 2a2 b1 b2 + a3 b3 )w3 + · · · 1 1 comparando coeficientes. para la funci´n inversa. o a o Sea F (w) = a0 + a1 w + a2 w2 + a3 w3 + · · · una funci´n dada. con la del lado derecho. teniendo el cuidado de verificar w(0) = 0. = a0 . se obtiene √ 1 − 1 − 2qz w= q soluci´n.2. ´ o n a o despues de integrar e despejar w. de donde b1 b2 b3 . La discusi´n de la convergencia utilizando el criterio de la serie mayorante es posible. se tiene o dz 1 = = b 0 + b1 z + b 2 z 2 + · · · . 1 3 En este caso el an´lisis de la convergencia es sencillo.8. . podemos suponer que z0 y w0 ubicados en el origen. VARIABLE COMPLEJA Despue´s de realizar traslaciones al origen. Se plantea. obteniendo como soluci´n. Se tiene o b1 + 2b2 z + 3b3 z 2 + · · · = a0 + a1 (b1 z + b2 z 2 + · · ·) + a2 (b1 z + b2 z 2 + · · ·)2 + · · · . ver curso de Primer A˜o de An´lisis. . 0 = a1 bn + valores conocidos ⇒ ⇒ ⇒ b1 b2 b3 ⇒ bn . ver H. se busca una funci´n w = f (z) con o o dw = F (w). proe ejemplo |aj | ≤ q j . Esto quiere decir que hemos resuelto la ecuaci´n o diferencial dw 1 = (1 + wq + w2 q 2 + · · ·) = . se tiene 1 = a1 b1 0 = a1 b2 + a2 b2 1 0 = a1 b3 + 2a2 b1 b2 + a3 b3 1 .5) . Cartan I. o como de costumbre.48 CAP´ ITULO I. remarcando que la traslaci´n del sistema de coordenadas al valor inicial ha sido ya realizada. dz w(0) = 0. o Regresemos al caso de determinar la serie de la funci´n inversa de w = f (z) = a1 z + a2 z 2 + · · ·. mayoramos los bi pasando a los modulos los ai y a remplazando los aj por una cota. La cuesti´n de la convergencia ser´ resuelta utilizando una ecuaci´n diferencial. dz por lo tanto. se tiene e por consiguiente w = f (g(w)) y utilizamos el reordenamiento de la serie composici´n en potencias de w. dz 1 − wq Esta ultima ecuaci´n es de tipo separable. . cuya serie converge para |z| < 1/(2q).

para |z − z0 | < r. En efecto.2. Teoremas de Unicidad y Prolongamiento An´litico a Definici´n I. entonces para todo disco D(z0 . por lo que es conveniente en estos casos utilizar desarrollos en serie limitados a un n´mero finito de terminos y utilizar u la notaci´n o y O. como D(z0 . r). Proposici´n I. o I.8.I. es decir. lo que contradice que z0 no sea un cero aislado.4 f : Ω → C holomorfa. Como ıa ak = 0 para todo k. Ahora mostremos que f (z) = 0 para todo z ∈ Ω. Sea γ : [0. Demostraci´n. si f (z0 ) = 0 ∃r > 0 tal que |z − z0 | < r f (z) = 0 ⇒ z = z0 . Sea z0 ∈ Ω un cero no aislado... entonces todos los ceros de f son puntos a´ ıslados. Si f ≡ 0.5) es una ecuaci´n diferencial que la resolvemos mediante el algoritmo planteado m´s arriba. sino sea k el entero m´s peque˜o tal que ak = 0 obteniendo a n f (z) = (z − z0 )k (ak + ak+1 (z − z0 ) + · · ·) = (z − z0 )k g(z).8.8.4 Sea Ω ⊂ C abierto conexo y f : Ω → C holomorfa. Por continuidad de g g(z) es diferente de 0 en un vecindario de z0 . o a Remarca. Demostraci´n. 1] → R un arco tal que γ(0) = z0 y γ(1) = z. entonces f es identicamente nula” Si z0 el cero no aislado de f . tambi´n es conexo por arcos.Ejercicio.8.. r) ⊂ Ω f |D(z0 . e .r) ≡ 0. r) y g(z0 ) = ak . Puesto que Ω es un abierto conexo. Se tiene queak = 0 para todo k.8. 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).Mostraremos la contrarec´ o ıproca “existe un cero no aislado de f .8.2 Sea f : Ω → C holomorfa. f tiene un cero de orden k en z0 si o f (z0 ) = f (z0 ) = · · · = f (k−1) (z0 ) = 0 y f (n) (z0 ) = 0. g(z) es holomorfa sobre el disco D(z0 . se tiene f (z) = 0 sobre el disco D(z0 . z0 ∈ Ω. por lo tanto z0 ser´ un cero aislado. f puede escribirse como serie f (z) = a0 + a1 (z − z0 ) + a2 (z − z0 )2 + · · ·. r) ⊂ Ω.En muchos casos solo se requiere determinar los primeros coeficientes de una serie. o Teorema I. (I. SERIES ENTERAS 49 donde los coeficientes bi se calculan mediante la serie cociente y esta serie como se ha visto converge.

Sea z0 ∈ Ω. |an | (|z − z1 | + |z1 − z0 |)∞ n=0 .1 Sea Ω ⊂ C un abierto conexo. En base al teorema precedente y el primer corolario se tiene las bases para el principio de prolongamiento an´litico. Por a o consiguiente.8. g : Ω → C holomorfas. I = ∅ porque 0 ∈ I. entoces f ≡ 0. ıa  an (z − z0 )n . z1 = γ(τ ) es un cero de f por la continuidad de γ y f . El reordenamiento est´ permitido porque para z fijo con |z1 − z0 | + |z − z1| < ρ a la serie doble converge absolutamente. Por consiguiente al ser I no vacio y acotado admite un supremo τ . 1]. τ > 0. en efecto en un disco D(z0 . se tendr´ que z1 = z. ∞ donde ρ > es el radio de convergencia de la serie. f.8. f : Ω → C holomorfa. entonces la substituci´n z − z0 = z − z1 + (z1 − z0 ) en la serie permite o ∞ ∞ Remarcamos que las series de la primera fila y la tercera fila son reordenamientos de la serie de la segunda fila que es una serie doble. Corolario I. por lo que f es identicamente nula en este disco y en particular en la porci´n del arco o incluida en ese disco y por lo tanto τ no ser´ el supremo de I. en efecto es suficente hacer tender t a τ por la izquierda. r) ⊂ Ω z1 no es un cero aislado.2 Sea Ω ⊂ C un abierto conexo. donde Ω es un abierto. r) la restricci´n de f en la porci´n del arco incluida en el disco es o o identicamente nula. Si existe z0 ∈ Ω tal que f (k) (z0 ) = 0 para todo k ≥ 0. 1]|f ◦ γ|[0. en efecto ∞ ¡¢¡¢¡ ¡¢¡¢¡  ¥   ¡ ¡ ¡ ¡¢¡¢¡ ¢ ¢¢ ¡¦ ¡¡¢ ¢ ¢ ¡ ¡ ¡ ¡¢¡¢¡ ¡  ¡  ¡ ¢  ¢ ¡§¡¡¢  ¢  ¡¢¡¢¡ ¡¢¡¢¡ ¡ ¡ ¡ ¡ ¢¡ ¢¡ ¡¢¡¢¡   ¢ ¢ ¢¡¡¡ ¢ ¢ ¢ ¡ ¡ ¡  ¡¡£¡£¡ ¤ ¤ ££¤¡¡£¡£¡ ¡¤¡¤¡¤¡¤ ¤¤¡¡¤¡¤¡ £¡¡£¡£¡ ¡¤£¡¤¡¤¡¤£ ¡¡£¡£¡ £¤¡£¡¤¡¤¡£ ¡¤¡£¡£¡¤ £¤¡£¡¤¡¤¡£ ¡£¤¡£¡£¡£¤ £¤¡¡¤¡¤¡ ¥ ¡¤£¤¡£¡£¡¤£¤ ¤£¤¡¡¤¡¤¡ £¡©£¨ ¡£¡£¡£ ¤¡¤¡¤¡¤¡¤ £¡¤£¡£¡£¡¤£ £¤¡¡£¤¡£¤¡ ¡£¤£¤£¡¡¡£¤£¤£ ¥   f (z) = f (z) = n=0 ∞ Consideremos el subconjunto I = {t ∈ [0.t] ≡ 0} ⊂ [0. Sea z1 = z0 un punto dentro el disco |z − z0 | < ρ. n=0 |z − z0 | < ρ. entonces f ≡ g. en cualquier disco ıa D(z1 . Consideremos una funci´n f : Ω → C holomorfa. f puede escribirse como una serie entera alrededor de z0 . τ = 1. porque si τ < 1.50 CAP´ ITULO I. Si E = {z|f (z) = g(z)} = ∅ y contiene un punto no aislado en Emismo. VARIABLE COMPLEJA Corolario I. 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 .

Rn M . z0 ∈ Ω. R > 0 con D(z0 . Tenemos 0 ∞ f (ρeiθ ) = n=0 an ρn eniθ . Pero es posible que el radio de convergencia sea mayor que ρ − |z1 − z0 | y por lo tanto converga o en una regi´n fuera del disco inicial. las funciones holomorfas tienen un comportamiento ejemplar y previsible.8. SERIES ENTERAS 51 Figura I.3. R) ⊂ Ω y M > 0 tal que f (z) ≤ M para todo z ∈ D(z0 . nada que ver con la palabra compleja. Otros Resultados de las Funciones Holomorfas Por lo que se ha visto hasta ahora.4: Principio del Prolongamiento An´litico a converge absolutamente. la serie o ∞ n bn (z − z1 )n converge y representa la misma funci´n f (z).4. Este procedimiento puede ser repetido y permite llenar una regi´n de m´s en m´s hasta llegar a ´ o a a un borde natural. R).8.I.8.Sin perder generalidad podemos suponer que z0 = 0. la funci´n f (z) ha sido prolongada de manera o o unica. donde Ω es un abierto.. es decir f (z) = an0 (z − z0 )n0 .5 (Desigualdad de Cauchy) Sea f : Ω → C holomorfa. Sea < ρ < R y planteamos I(ρ) = o 2 2π f (ρeiθ ) dθ. ¡¢ ¢ ¢ ¢  ¢¡ ¡ ¡ ¡ ¡¢ ¢ ¢ ¢ ¡¢¡¢¡¢¡¢¡ ¡¡  ¢¡ ¡ ¡ ¡ ¡¢¡¡ £  ¡¡ ¡¢¡¢¡¢¡¢¡¢¡¡¢ ¢   ¢¡ ¡ ¡ ¡ ¡ ¡¡ ¡ ¡ ¡ ¡ ¡ ¡¡¢  ¢¢¡¢¡¢¡¢¡¢¡¢¡¡  ¡¢¡¢¡¢¡¢¡¢¡¡ ¡ ¡ ¡ ¡ ¡ ¡¡¢   ¢¢   ¡¢¡¢¡¢¡¢¡¢¡¡  ¢¡ ¡ ¡ ¡ ¡ ¡¡  ¡¢¡¢¡¢¡¢¡¢¡¡ ¢  ¢¡ ¡ ¡ ¡ ¡ ¡¡ ¡¢¡¢¡¢¡¢¡¢¡¡ ¢ ¢ ¢ ¢  ¢¡ ¡ ¡ ¡ ¡ ¡¡ ¡ ¡ ¡ ¡ ¡ ¡¡¢ ¢ ¢¡¢¡¢¡¢¡¢¡¡ ¢ ¢¡¢¡¢¡¢¡¢¡¢¡¡  ¡ ¡ ¡ ¡ ¡ ¡¡¢   ¢ ¢  ¢¡¢¡¢¡¢¡¢¡¢¡¡  ¡ ¡ ¡ ¡ ¡ ¡¡  ¢¡¢¡¢¡¢¡¢¡¢¡¡ ¢  ¡ ¡ ¡ ¡ ¡ ¡¡ ¡¡¡¡¡¡¡ ¢ ¢  ¢ ¢ ¤£ © §  © § ¨¦ !£ ¥£ ¤ ¦ .8. entonces an = 0 para todo n = n0 . ∞ f (z) = n=0 an (z − z0 )n . A continuaci´n presentamos una serie de teoremas que mostrar´n o a cu´n poderosa es la teor´ de las funciones complejas. Entonces: i) |an | ≤ M . |z − z0 | < R. a ıa Teorema I. La conclusi´n es que si |z − z1 | < ρ − |z1 − z0 |. R n0 ii) Si existe n0 con an0 = Demostraci´n. Viendo la Figura I.8. I. La unicidad del prolongamiento se garantiza en tanto que los discos llenan un dominio simplemente conexo (sin huecos).

7 (Teorema del Valor Medio) Si f es holomorfa en un disco de radio r y centro z. se tiene 2π n=0 |an | ρ2n ≤ 2πM 2 .6 (Teorema de Louiville) Toda funci´n entera y acotada es constante.8. a a Definici´n I. entonces π f (z) = 12π 0 f (z + reiθ ) dθ. ∞ |an | R2 ≤ M 2 ⇒ |an | ≤ n=0 2 M .Sea M la cota es decir |f (z)| ≤ M para todo z ∈ C. a . continua en D. o Demostraci´n. Teorema I. Rn Los c´lculos en la doble serie est´n justificados porque trabajamos con una serie absolutamente convergente.5 Sea f holomorfa en un disco abierto D.8. VARIABLE COMPLEJA an ρn eniθ 0 ∞ n=0 2π m=0 I(ρ) = = m.3 Una funci´n entera es una funci´n f (z) holomorfa sobre todo el plano complejo C. o o o Teorema I..Ejercicio.52 2π ∞ ∞ CAP´ ITULO I.8. entonces f es constante en un vecindario de c..n=0 am ρm e−miθ ei(n−m)θ dθ 0 dθ an am ρm+n ¯ 2π 0 si sino m=n ∞ = Haciendo ρ → R. o ¯ Proposici´n I. Demostraci´n. Si un punto c ∈ D es un punto o m´ximo de |f (z)|. 2 ∀ρ < R. Para todo R > 0 por la desigualdad o de Cauchy se tiene. para n ≥ 1 M |an | ≤ n ⇒ an = 0.8. R de donde f (z) = a0 .

. Por el teorema del valor medio a 2π g(θ) dθ = 0. o z∈D Teorema I. 0 ≤ θ ≤ 2π.. La continuidad de g y el valor de ¯ la integral implican que (g(θ) = 0 para todo θ. sino existe c ∈ D◦ con |f (c)| = M .8. M ). z∈∂D Demostraci´n.8. Si los puntos m´ximos se encuentran sobre ∂D. Por lo tanto p(z) = 0 para todo z y la funci´n f (z) = 1/p(z) o es entera. ver figura m´s arriba.9 (Fundamental del Algebra) Todo polinomio de grado mayor o igual a 1 y coeficientes complejos P (z) = an z n + an−1 z n−1 + · · · + a0 existe un z ∈ C tal que p(z) = 0. ¦ ¤  ¦ ¤ ¡ ¥£ ©¨ ¥£ ¢ §¡ ¥£ ¦ ¤ ¦ ¤ ©¨ ¥£ ¢ ¨   ¡ . 0 ¯ La curba g(θ) ∈ D(−M. SERIES ENTERAS 53 Demostraci´n. D ⊂ Ω dominio simple. entonces el teorema o a es correcto. es decir que existe un polinomio de grado o mayor o igual a 1 p(z) que no admita raices. E = D lo que contradice la hip´tesis de que f no es constante. ¯ Observemos la imagen de esta circunferencia ubicada en el disco D(0.Sea M = sup |f (z)|.Supongamos que el teorema no es correcto.8. Teorema I. La hip´tesis 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θ . r) la continuidad de f implica que f sea constante en este disco.I. como D o es un dominio simple. Consideremos el conjunto E = {z ∈ D|f (z) = f (c)}. Ahora bien.Si f (c) = 0 el resultado es evidente. el unico punto. a entonces para todo z0 ∈ D◦ |f (z0 )| < sup |f (z)| . por lo tanto conexo.. M ) en ´ cuesti´n toca el eje imaginario es O. Sino planteamos M = |f (c)|. ahora bien por la continuidad de f E es cerrado en D y por la proposici´n precedente E es abierto en D. Mediante una rotaci´n llevamos o f (c) al eje real y despues de la sustracci´n g(θ) = f (z) − f (c) = f (c + reiθ ) − f (c) este punto se convierte el o origen. De esta manera g(θ) = 0 y como f (z) es constante sobre el borde de o D(c.8 (Principo del M´ximo) Sea f : Ω → C holomorfa no constante. Demostraci´n. salvo si g(θ) = 0. por lo que (g(θ)) ≤ 0. M ). donde el disco D(−M.

R) aplicamos el principio del maximo. Veamos el caso en que todos los bk = 0. al elevar a la potencia n ´ ˜ estamos en el caso en que los bk son nulos. Por consiguiente = |an | δ n .8. entonces para todo abierto U ⊂ Ω f (U ) es un abierto. tiene o exactamente n preim´genes.8. Por ultimo. se tiene n a (1 + b1 z + b2 z 2 + · · ·)1/n = 1 + c1 z + c2 z 2 + · · · .Se debe mostrar que la imagen de un disco D(z0 . para |z| lo suficientemente peque˜o. ¦ ¢ δ ¢ ∼ δ ¥ z   g(z) ¤ ¥ £ ¡ ap(∗) p ε . exite δ > 0 tal que D(0.. con lo que la funci´n f (z) es acotada. recorriendolo n veces. si es necesario realizar traslaciones. El teorema de Liouville implica que f (z) es constante. ver Curso Primer A˜o de An´lisis. de donde f (z) = an (z(1 + c1 z + c2 z 2 + · · ·))n = an (g(z))n . Podemos escribir f (z) = an z n (1 + b1 z + b2 z 2 + · · ·). como g (0) = 0. En el o caso en que f (z0 ) = 0. Para el disco D(0. δ)). se tiene que z→∞ l´ f (z) = 0.5: Demostraci´n Teorema de la Aplicaci´n Abierta o o Por otro lado. lo o que contradice que p sea un polinomio de grado mayor o igual a 1. o El caso f (z0 ) = 0. ). ). ˜ ˜ Sea δ > 0. a excepci´n del origen. Es decir cada punto del disco D(0.54 CAP´ ITULO I. a El caso en que existen bk no nulos. Demostraci´n. utilizando la serie binomial de n Newton. 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.10 (Teorema de la Funci´n Abierta) Sea Ω un abierto y f una funci´n holomorfa no o o constante. Teorema I. δ) ⊂ g(D(0. VARIABLE COMPLEJA g ¡ Figura I. δ) contiene un disco D(f (z0 ). f (z) actua sobre un disco de radio δ convirti´ndolo en un disco de e radio = |an | δ n . la funci´n es biyectiva en un vecindario de z0 y el resultado es trivial. ım ¯ lo que significa que existe R > 0 tal que |z| > R ⇒ |f (z)| < 1.

radio inferior r y radio superior R es el o conjunto C(a. ρ2 con R1 < ρ1 ≤ ρ2 < R2 . SERIES DE LAURENT 55 I. Teorema I.9.9. Considermos una funci´n f (z) holomorfa sobre una corona C(a.9.1 Sean a ∈ C. En esta secci´n se pretende generalizar este desarrollo en serie de o potencias a regiones m´s generales.. ak no depende de C. r. o ¢¡¡¡¡¡¡¡¡¡¡¡¡¡ ¡ ¢¡ ¢¡¡ ¢¡ ¢¡¡ ¢¡¡ ¢¡ ¢¡¡ ¢¡                 ¡¡¡¢¡¡¡¢¡¡¢¡¡¡¢¡¡¢  ¢ ¡¡¡¢  ¡¡¡¢  ¡¡¢  ¡¡¡¢  ¡¡ ¢  ¡¢¢¡¢¢¡¡¢¢¡¢¢¡¡¢¢¡¡¢¢¡¢¢¡¡¢¢¡ ¡ ¡ ¡¡ ¡ ¡¡ ¡¡ ¡ ¡¡ ¡                 ¢ ¢¡¡¡ ¢¡¡¡ ¢¡¡ ¢¡¡¡ ¢¡¡ ¢ ¡ ¢¡ ¢¡¡ ¢¡ ¢¡¡ ¢¡¡ ¢¡ ¢¡¡ ¢¡ ¡¡¡¢¡¡¡¢¡¡¢¡¡¡¢¡¡¢  ¢ ¡¡¡¢  ¡¡¡¢  ¡¡¢  ¡¡¡¢  ¡¡ ¢  ¡¢¢¡¢¢¡¡¢¢¡¢¢¡¡¢¢¡¡¢¢¡¢¢¡¡¢¢¡ ¡¢¡¢¡¡¢¡¢¡¡¢¡¡¢¡¢¡¡¢¡         £         ¢ ¢¡¢¡¢¡¢ ¢¡¢¡¢¡¢ ¢¡¢¡¢ ¢¡¢¡¢¡¢ ¢¡¢¡¢ ¢ ¡ ¡ ¡¡ ¡ ¡¡ ¡¡ ¡ ¡¡ ¡  ¢ ¡¢¡¢¡¢  ¡¢¡¢¡¢  ¡¢¡¢  ¡¢¡¢¡¢  ¡¢¡ ¢                  ¡¢ ¡¢ ¡¡¢ ¡¢ ¡¡¢ ¡¡¢ ¡¢ ¡¡¢ ¡                 ¢ ¢¡¢¡¢¡ ¢¡¢¡¢¡ ¢¡¢¡ ¢¡¢¡¢¡ ¢¡¢¡ ¢ ¡ ¡ ¡¢¡ ¡ ¡¢¡ ¡¢¡ ¡ ¡¢¡ ¡¢  ¢ ¡¡¡ ¢ ¡¡¡ ¢ ¡¡ ¢ ¡¡¡ ¢ ¡¡ ¢  ¡¢¡¢¡¡¢¡¢¡¡¢¡¡¢¡¢¡¡¢¡ ¡¢¡¤ ¢¡¡¢¡¢¡¡¢¡¡¢¡¢¡¡¢¡                 ¢ ¢¡¡¡¢ ¢¡¡¡¢ ¢¡¡¢ ¢¡¡¡¢ ¢¡¡¢ ¢ ¡ ¡ ¡¡ ¡ ¡¡ ¡¡ ¡ ¡¡ ¡ ¡ ¢¡ ¢¡¡ ¢¡ ¢¡¡ ¢¡¡ ¢¡ ¢¡¡ ¢¡  ¢ ¡¡¡ ¢ ¡¡¡ ¢ ¡¡ ¢ ¡¡¡ ¢ ¡¡ ¢  (I. r. o admiten desarrollos en serie de potencias.2) . r.1 Sean 0 ≤ R1 < R2 ≤ +∞. La serie de Laurent de f respecto a la corona C(a. a ∈ C y f holomorfa sobre la corona C(a. como la corona C(a. R2 ).1) donde C es un recorrido cerrado dentro la corona.9. (ζ − a)k+1 (I. R2 ) es un conjunto abierto. R) es k=+∞ ∞ ∞ ak (z − a)k = k=−∞ k=1 a−k (z − a)−k + k=0 ak (z − a)k .I. La corona de centro a. a ∈ Int C. se tiene k=+∞ f (z) = k=−∞ ak (z − a)k uniformemente sobre ρ1 ≤ |z − a| ≤ ρ2 . R) = {z ∈ Z|r < |z − a| < R}.9. planteamos o ak = 1 2iπ C f (ζ) dζ.Sean ρ1 . R). R1 . consecuencia de uno de los corolarios del teorema de Cauchy. Entonces para todo ρ1 . a Definici´n I. Series de Laurent En la secci´n precedente hemos estudiado el hecho que las funciones que son holomorfas sobre un disco.9. R1 . Demostraci´n. ρ2 con R1 < ρ1 ≤ ρ2 < R2 . 0 ≤ r < R.

ζ −z ¢    ¢©¨ f (ζ) dζ = ζ −z f (ζ) dζ + ζ −z f (ζ) dζ. la f´rmula integral de Cauchy da o f (z) = 1 2iπ |ζ−z|=r Γ2 Γ1 Sobre Γ2 . al existir convergencia uniforme sobre {z| |z − a| ≥ ρ1 }. Para r > 0 lo suficientemente peque˜o D(z. ρ1 . se tiene que 1 1 = ζ −z ζ −a ∞ k=0 z−a ζ −a k ¯ uniformente. k≥0 Sobre Γ1 . al existir convergencia uniforme sobre el disco D(a. (ζ − a)−k+1 a−k . se tiene 1 2iπ f (ζ) dζ = − ζ −z ∞ k=1 Γ1 1 2iπ Γ1 f (ζ) dζ (z − a)−k . ≤ ρ2 ρ2 < 1. es decir la circunferencia de centro a y radio ρ2 . se tiene que 1 1 =− ζ −z z−a ∞ k=0 ζ −a z−a k uniformente. ζ −z ¥¡ ¤ ¢ £¡ ¦ ¢¨ ¤¨ © ¤¨ Sea z ∈ {z|ρ1 ≤ |z − a| ≤ ρ2 . ρ2 ). se tiene § R1 < ρ1 < ρ1 ≤< ρ2 < ρ2 < R2 . ρ2 ). se tiene 1 2iπ f (ζ) dζ = ζ −z ∞ k=0 Γ2 1 2iπ Γ2 f (ζ) dζ (z − a)k . . r) ⊂ C(a. se tiene 1 1 1 = = ζ −z (ζ − a) − (z − a) (ζ − a) 1 − Como z−a ζ−a z−a ζ−a . es decir la circunferencia de centro a y radio ρ1 .56 existen ρ1 y ρ2 tales que CAP´ ITULO I. VARIABLE COMPLEJA Γ2 Γ1 |ζ−z|=r Por otro lado. Por consiguiente. ≤ ρ1 ρ1 < 1. Por lo tanto. se tiene 1 1 1 = =− ζ −z (ζ − a) − (z − a) (z − a) 1 − Como ζ−a z−a ζ−a z−a . k≥1 ¤ f (ζ) 1 dζ = ζ −z 2iπ f (ζ) dζ − ζ −z f (ζ) dζ . (ζ − a)k+1 ak . de acuerdo a otro n colorario del teorema de Cauchy sobre integrales. Por consiguiente.

9. (−1)k (z − i)k (2i)k ∞ = k=−1 (−1)k+1 (z − i)k . Demostraci´n. r. Determinemos o a 1 + z2 la serie de Laurent en la corona C(i. entonces 1 2iπ f (ζ) dζ. (2i)k+2 2. (ζ − a)k+1 Ak = C donde C es un contorno simple en la corona C(a. . Consideremos la funci´n f (z) = o 1 . 2) = {z|0 < |z − i| < 2}.. en cuyo interior se encuentra a. Consideremos la funci´n f (z) = 1z(z−) y hallemos las series de Laurent para las coronas 0 < |z| < 1 o y la corona 1 < |z|. en lugar de utilizar la f´rmula integral (I.1) para o determinar la serie de Laurent de una funci´n es preferible utilizar propiedades de series y series ya conocidas.1 Si f (z) = o k=−∞ Ak (z − a)k en una corona C(a. (ζ − a)l+1 0 2iπ k=l k=l = k=−∞ C (ζ − a)l+1 C = k=−∞ Ak 2iπ Al igual que las series enteras. r. SERIES DE LAURENT 57 k=∞ Proposici´n I. se tiene 1 1 = (z + i)(z − i) z−i 1 2i ∞ k=0 1 1 = (z + i)(z − i) z−i 1 1 1 z − i 2i 1 + z−i 2i 1 z − i + 2i . 0. con las series de Laurent.Dejamos al estudiante la justificaci´n de los c´lculos. o Ejemplos 1.9. R). remarcando que existen otras tres coronas donde se puede desarrollar en serie de Laurent la funci´n f (z).I.9. se tiene o o a al = 1 2iπ 1 2iπ k=∞ C f (ζ) dζ (ζ − a)l+1 k=∞ Ak (ζ − a)k dζ = (ζ − a)k dζ = Al . R). Se tiene o 1 1 + z2 = = Como |z − i| / |2i| < 1. Esta funci´n no est´ definida en z = i y z = −i.

VARIABLE COMPLEJA ∞ k=0 1 zk = − − 1 − z − z2 − · · · . 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.ak = 0 para k < 0 (la parte principal de la serie de Laurent es nula). 0. En este caso. Por ejemplo. podemos clasificar el punto a: i. Como |z| < 1.1. 2 z z z I. la serie de Laurent es e ∞ f (z) = ak0 (z − a)k0 + ak0 +1 (z − a)k0 +1 + · · · a−1 (z − a)−1 + k=0 ak (z − a)k . Proposici´n I.. 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. R) y se dira que a es una singularidad suprimible. iii.9. (la parte principal contiene una infinidad de t´rminos no e nulos). se tiene −1 1 = z(z − 1) z en la corona 0 < |z| < 1. en este caso f es holomorfa sobre el disco D(a. De acuerdo al comportamiento de la parte principal de la serie de Laurent.. Demostraci´n. para 0 < |z| a ∞ e1/z = k=0 1 k! 1 z k .2 Sea f : {z|0 < |z − a| < r} → C holomorfa. Puntos Singulares Aislados de Funciones Holomorfas ∞ Consideremos una funci´n holomorfa sobre una corona de radio inferior 0.9. se tiene 1 1 1 = 2 1 = z2 z(z − 1) z (1 − z ) 1+ CAP´ ITULO I. Se dir´ que a es una singularidad esencial. R). {0 < |z − a| < R}. (la parte principal contiene un n´mero finito de u t´rminos no nulos). Se dira que a es un polo de orden −k0 .Existe k0 < 0 tal que ak0 = 0 y ak = 0 para k < k0 . ii. Por ejemplo sin z z tiene 0 como singularidad suprimible.Se tiene o f (z) = a−n (z − a)−n + a−n+1 (z − a)−n+1 + · · · = h(z)(z − a)−n . .. z 1 1 + 2 + ··· z z = 1 1 1 + 3 + 4 + ···. Existe una infinidad de k < 0 con ak = 0.58 3. Para la corona |z| > 1.

si existe > 0 tal que ∀δ > 0. Si f es acotada.9. es decir que toda sucesi´n zn → a verifica o o f (zn ) → 0. Si f es acotada. de donde 1/f es acotada y a es una singularidad suprimible de acuerdo a la proposici´n o precedente. f (z) h(a) si y solamente si 1/f tiene un cero de orden n.3 Sea f : {z|0 < |z − a| < r} → C holomorfa.1 f posee una singularidad esencial en a.Por el absurdo. Demostraci´n.9. r) y h(a) = a−n = 0. f tiene un polo de orden n. Lo que conduce a una contradicci´n. Corolario I. SERIES DE LAURENT 59 h(z) es holomorfa sobre todo el disco D(a. Esto es posible. entonces existe una sucesi´n zn → a tal que o f (zn ) → 0. Proposici´n I. por consiguiente 1 2π |ζ−a|=ρ |ak | = f (ζ) 1 M M dζ ≤ 2πρ = k . lo que conduce |ak | = 0. 1 2iπ |ζ−a|=ρ = f (ζ) dζ.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 . si y solamente si h(z) es holomorfa y h(a) = 0. tal que |f (z)| ≤ M . existe M > 0. tomemos δ > 0 con f holomorfa sobre 0 < |z − a| < δ. se tiene que |1/f (z)| ≤ sobre 0 < |z − a| < δ.2 Si f posee una singularidad esencial en a. supongamos lo contrario.9. hacemos tender ρ → 0. Por consiguiente..9. si y solamente si 1 1 = (z − a)n . n Por lo tanto. Corolario I. o .I. (ζ − a)k+1 2π ρk+1 ρ Para k < 0. Sino ser´ posible construir una sucesi´n con las caracter´ ıa o ısticas se˜aladas. (ζ − a)k+1 con O < ρ < r.. entonces la singularidad es o suprimible. Demostraci´n. se tiene 0 < |z − a| < δ ⇒ |f (z)| ≥ . si y solamente si 1/f posee una singularidad esencial en a.

. Residuos y Aplicaciones El concepto de residuo y sus aplicaciones provienen de manera natural de las Series de Laurent. entonces para todo c ∈ C.1) Demostraci´n.60 CAP´ ITULO I. entonces  z ∗ ∈D z ∗ ∈int C C  f (ζ) dζ = 2iπ   Resz=z∗ (f )  (I.int C es un conjunto acotado. entonces existe r > 0 tal que f es holomorfa sobre la corona C(z ∗ . donde D es un conjunto discreto C ⊂ Ω contorno simple con C ∩ D = ∅. r) y la serie de Laurent respecto a esta corona es k=∞ f (z) = k=−∞ ak (z − z ∗ )k . Por lo tanto. Demostraci´n.1 (Teorema de los Residudos) Sea f : Ω − D → C holomorfa. donde D es un conjunto discreto. se tiene D ∩ int C es un conjunto a lo m´s finito. un conjunto D ⊂ Ω discreto y sea f : Ω − D → C holomorfa.Planteamos g(z) = f (z) − c y aplicacmos la proposici´n precedente. existe una sucesi´n o zn → a tal que f (zn ) → c. o o I.10.10.3 f posee una singularidad esencial en a. Definici´n I. si z ∗ ∈ D.10.1 Sea f : Ω − D → C holomorfa. n Teorema I.10. si z ∗ es un punto singular de f . Por o a . VARIABLE COMPLEJA Corolario I.. 0. entonces la serie de Laurent se confunde con la serie de Taylor alrededor de x∗ . El residuo de f en el o punto z ∗ ∈ Ω es Resz=z∗ (f ) = a−1 (z ∗ ) = 1 2iπ |ζ−z ∗ |=ρ f (ζ) dζ. con ρ > 0 lo suficientemente peque˜o.9. Consideremos un abierto Ω ⊂ C.

. z→0 sin z sin z 2.1.10. ´sta tiene un polo simple en el origen. C´lculo de Residuos a Si bien. la determinaci´n a o del residuo en un punto singular pasa por la determinaci´n de la serie de Laurent alrededor del punto aislado.10. . Por corolario del teorema de Cauchy se tiene   61 n f (ζ) dζ C ¡ = k=1|ζ−z |=ρ k k n f (ζ) dζ = 2iπ ¥ ¦¢ Resz=zk (f ) . Sup´ngamos que la funci´n f (z) es de la forma o o f (z) = P (z) . el residuo de una funci´n f en punto a est´ definido mediante una integral. . z2 . Q (a)R(a) . o Polos Simples En este caso f (z) = a−1 (z − a)−1 + k=0 ∞ Ahora bien. Por consiguiente. de donde a1 = l´ (z − a)f (z). Q(a) = 0 y Q (a) = 0. . en este caso. o e Resz=0 ( 1 z ) = l´ ım = 1. zn }. RESIDUOS Y APLICACIONES consiguiente D ∩ int C = {z1 . ım z→a Ejemplos 1.I. la funci´n o (z − a)f (z) = a−1 + a0 (z − a) + · · · es holomorfa en z = a. P (z)(z − a) = l´ ım z→a Q(z)R(z) P (z) Q(z)−Q(a) R(z) z−a = P (a) . la utilizaci´n de residuos o a o se justifica para el c´lculo de integrales por medio del teorema del residuo. k=1 I. se tiene Resz=a (f (z)) = l´ ım z→a ¨¢ § ¤¢ £ ak (z − a)k . Consideremos la funci´n f (z) = 1/ sin z. Q(z)R(z) con P (a) = 0. R(a) = 0.

El desarrollo en serie de potencias alrededor de a de la funci´n g es por consiguiente o g(z) = a−n + · · · + a−1 (z − a)n−1 + · · · . (n − 1)! 1 dn−1 (n − 1)! dz n−1 (2n − 2)! = −i 2n−1 . Realizando desarrollos en serie de potencias o limitados a un n´mero finito de t´rminos. 2 de donde . que tiene polos de orden n en z = ±i.. est´n dados por a sin Resz=zk (cot z) = cos(πk) = 1. los residuos en los polos simples zk = πk. el desarrollo de la serie de Laurent alrededor de este polo est´ dada por a f (z) = a−n (z − a)−n + · · · + a−1 (z − a)−1 + a0 + a1 (z − z0 ) + · · · . 2 Resz=0 (csc3 z) = 1 . calcular la n − 1-sima derivada de una funci´n.La funci´n csc3 z tiene un polo de orden 3 en el origen. por consiguiente e Resz=a (f (z)) = 1 dn−1 (g(z))z=a . El residuo buscado de f es el coeficiente del t´rmino de grado n − 1. por que a es una singularidad suprimible para o g.Consideremos la funci´n f (z) = 1/(1 + z 2 )n . consideremos f (z) = cot z.. (z + i)n 1 (z + i)−n z=i = (−n) · (−n − 1) · (−2n + 2)(i + i)−2n+1 . La funci´n g(z) = f (z)(z − a)n es holomorfa alrededor de a. e ´ u e Ejemplo 4.62 CAP´ ITULO I. Se tiene g(z) a−1 = f (z)(z − i)n = = 1 = (z + i)−n . VARIABLE COMPLEJA Como ilustraci´n. Calculemos el residuo o en z = i. o o z sabiendo que cot z = cos z . (n − 1)! dz n−1 Ejemplo 3. 2 ((n − 1)!)2 Ahora bien. cos(πk) Polos de orden superior Supongamos que f tiene un polo de orden n en el punto a. esta funci´n tiene polos simples en z = πk con k entero. 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 + · · · . generalmente no es una tarea simple por lo o que tambi´n es util realizar desarrollos de series de Laurent limitados a un n´mero finito de t´rminos.

I. RESIDUOS Y APLICACIONES 63 I. la integral se convierte 2π 2π R(cos θ. sin θ) dθ = 0 γ R z + z −1 z − z −1 . 1. y) = P (x. a + cos θ que mediante la transformaci´n dada m´s arriba. a Planteando z = eiθ y γ la circunferencia unitaria. con |a| > 1. Integrales del tipo: 0 R(cos θ. sin θ) = 0 para todo θ ∈ [0. y) polinomios. iz Ejemplo 5. y)/Q(x. El residuo de f (z) en z1 es Resz=z1 (f (z)) = 1 1 .Consideremos la integral. que dicho sea de paso es real. sin θ) dθ Donde R(x.10. 2π]. = √ 2z1 + 2a 2 a2 − 1 2π 1 1 =√ .2. se convierte en o a 2π 0 1 dθ = −2i a + cos θ γ z2 1 dz + 2az + 1 aplicamos el teorema de los residuos y obtenemos 2π 0 2. dθ = (−2i)(2iπ) √ 2−1 a + cos θ 2 a a2 − 1 R(x) dx . 2π 0 1 dθ. y).. C´lculo de Integrales a Una de las aplicaciones de los residuos est´ dada por el c´lculo de integrales definidas y/o impropias reales. Suponemos adem´s que Q(cos θ. y) y Q(x. P (x. 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. en las cuales la utilizaci´n de residuos permite facilmente o evaluar integrales. 2 2i dz .10. A a a continuaci´n veremos algunas situaciones t´ o ıpicas.

Si por ejemplo deg P (x) + 2 ≤ deg Q(x). se tiene l´ zP (z)/Q(z) = 0. la idea es construir un contorno en el semiplano superior o inferior. Para γ1 . esta vez. −r £¤  ¥ Observando la figura. 1 (2n − 2)! dx = π 2n−2 (1 + x2 )n 2 ((n − 1)!)2 (I. 3. ım z→∞ Por consiguiente la integral impropia en cuesti´n existe y ademas o +∞ r Pasando al l´ ımite. usualmente se toma semicircunferencias para construir un contorno. el teorema de los residuos da r→∞ de donde Ejemplo 6..2) ¥ ¦  f (z)eiaz dz ≤ M (R) γ1 0 e−aRt R dt = M (R) 1 − e−aR a . Para resolver este tipo de integrales. se tiene r §§   ¡   R(x) dx = −r γ R(z) dz − Cr R(z) dz. P (x) y Q(x) polinomios con Q(x) = 0 para todo x ∈ R. si γ es el contorno cerrado. el unico que se encuentra en el semiplano complejo superior y ´ utilizando el resultado del ejemplo 3 se llega al resultado enunciado.64 CAP´ ITULO I. se tiene a 1 ∞ ©§ § ¨ ¡¢  ¡ £ ¤¢ R(x) dx = l´ ım −∞ r→+∞ R(x) dx. 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)). Integrales del tipo −∞ f (x)eiax dx Donde f (z) → 0 cuando z → ∞.La integral impropia ∞ −∞ porque i es un polo de orden n. VARIABLE COMPLEJA Donde R(x) = P (x)/Q(x). de manera que el recorrido que no se encuentra sobre la recta real tienda a O y aplicar el teorema de los residuos. Cr la mitad de la circunferencia. γ2 y γ3 a arcos simples que no est´n sobre la recta real.10. Consideremos el caso en que a > 0. observando la figura de la derecha. se verifica R(z) dz ≤ πr m´x |P (z)/Q(z)| → 0 cuando r → ∞ a Cr z∈Cr Para el contorno γ. al igual que se ha hecho en el caso precedente. trabajaremos sobre un rect´ngulo. se tienen γ1 .

I. Esta funci´n tiene un polo simple en z = 0. consideramos el recorrido dado por γ = [−R. obteniendo ∞ −∞ ∞ sin x x dx = π. (I. Similarmente la integral sobre γ3 tiende a 0. La funci´n f (z) = sin z/z tiene una singularidad (suprimible en z=0). o z 1+α f (z) → 0 cuando z → ∞ y que satisface (xei2π )α f (xei2π ) = βxf (x). R]. Se tiene ¡ ¢ ¤ ¥£ ¡   −δ −R sin x x ∞ dx + δ sin x x dx = γ sin z x dz − Cδ sin z z dz. se tiene la mayoraci´n o R f (z)eiaz dz ≤ M (R) γ2 −R e−R dt = 2M (R)e−R R → 0 cuando R → 0. 2iz γ Para e−iz /2iz agregamos a γ un recorrido. Integrales del tipo 0 xα f (x) dx Donde −1 < α < 1 y f (z) es una funci´n holomorfa que no se anula sobre el semieje positivo real. a Ejemplo 7. por consiguiente o ∞ −∞ sin x x −δ dx = l´ ım R→∞ δ→0+ −R sin x x ∞ dx + δ sin x x dx . de manera que obtengamos un rect´ngulo en el semi a plano superior. pero tomando el rect´ngulo en el semiplano inferior. Para el arco γ2 . en lugar de considerar el intervalo [−R. 4. −δ] + Cδ + [δ. de manera que obtengamos un rect´ngulo en el semia plano inferior. de donde o eiz dz = 2iπ Resz=0 (eiz /(2iz)) = π. por lo que sin z x dz = γ γ eiz e−iz dz − intγ dz. Ahora bien.10. ver figura. por lo tanto o e−iz dz = 0 2iz γ Hacemos tender R → ∞ y δ → 0+ . Para a < 0 se procede de la misma manera. esta funci´n no tiene polos en el interior del rectangulo. 2iz 2iz Para eiz /2iz agregamos a γ un recorrido.3) . De esta manera la integral sobre γ1 tiende a 0 cuando a R → ∞..10.Determinar ∞ −∞ sin x x dx. Por otro lado sin z = (eiz − e−iz )/2i. RESIDUOS Y APLICACIONES 65 donde M (R) = m´x |f (z)| → 0 cuando R → 0. R] como habitualmente hemos hecho.

La condici´n sobre z 1+α f (z) cuando z → ∞ hace que la integral o sobre γ1 tienda a 0 cuando R → ∞. xα f (x) dx = 2iπ 1−β zi α Resz=zi (f (z)). y utilizando I.66 CAP´ ITULO I.10. la integral sobre γ3 . La condici´n −1 < α < 1 hace que la integral sobre γ4 tienda a 0 o cuando δ → 0+ . la condici´n a > 0 asegura que la integral o sobre γ4 tienda a 0 cuando δ tiende a 0 y la condici´n a < b asegura que la integral sobre la o circunferencia de radio R tienda a 0 cuando R → ∞. es muy posible que en esta integral no se pueda cumplir la condici´n I. se deduce facilemente que ∞ 0 Ejemplo 8. (I.10. (xei2π )α f (xei2π ) dx = −β δ xα f (x) dx. VARIABLE COMPLEJA Para encontrar el valor de la integral. se obtiene ∞ Suponiendo que β = 0. γ2 es la circunferencia de radio R.10.4) tomando como determinaci´n del logaritmo. Sin embargo. (1 − β) 0 xα f (x) dx = 2iπ zi polo zi =0 zi α Resz=zi (f (z)). (I. γ3 es el segmento de origen R y llegada δ y finalmente γ4 es la circunferencia de radio δ.3.Determinar la integral de Euler ∞ 0 Observando el contorno.5) . por lo o ¡¢  ¥ ¦  £ ¤  © ¨ § ¦  R zi α Resz=zi (f (z)).3. para este tipo de integrales. zi polo zi =0 xa−1 dx 1 + xb 0 < a < b.. Aplicando el teorema de los residuos sobre el contorno γ. consideramos el recorrido γ = γ1 + γ2 + γ3 + γ4 . haciendo tender R → ∞ y δ → 0+ .10. aquella en que o arg(−1) = π. se tiene z α f (z) dz = 2iπ γ zi polo zi =0 Gracias a I. vale δ R Por lo tanto.10. donde γ1 es el segmento de origen δ > 0 y llegada R > 0.4.

xa−1 πeiaθ/2 pi 1 . sobre γ2 el arco de circunferencia de radio R. Haciendo tender δ a 0 y R al infinito. dx = − 1−ei(a−1)θ = b b sin aπ 1+x b b 2i (I. Mayoremos las integrales sobre los diferentes arcos. 1 2 log2 (zi ) Resz=zi (R(z)) − iπ zi polo zi =0 ∞ R(x) dx.6) con determinaci´n del argumento dada por arg(−1) = π y el contorno o de la figura de la izquierda. hacemos tender δ → 0 y R → ∞. γ3 (log z)2 R(z) dz = R (log x + i2π)2 R(x) dx. se tiene (log z)2 R(z) dz γ2 ≤ (2πR)(log2 R + 4π 2 ) + O(R−2 ) = log2 R O(R−1 ) → O cuando R → 0. RESIDUOS Y APLICACIONES que.10.I. logx R(x)dx. para obtener ∞ log x R(x) dx = − 0 Ejemplo £ ¤  © ¡ ¢  ∞ ¡ ¢  ¥ ¦  © ¦  § ¨ ¥ ¦  ¦  § ¨ xa−1 ei(a−1)θ/2 eiaθ/2 dx = 2iπ i(b−1)θ/2 = −2iπ 1 + xb b be porque eibθ/2 = −1. £¤  De la misma manera (log z)2 R(z) dz ≤ (2πδ)(log2 δ + 4π 2 )O(1) = log2 δ O(δ) → 0 γ4 cuando δ → 0. Existe un unico polo simple en el o ´ interior del contorno dado por z = eiθ/2 . se tiene (1 − eiθ(a−1) ) 0 ∞ Por lo tanto 0 ∞ 0 5.7) .10. 0 (I. Para resolver esta integral consideramos la funci´n o f (z) = log2 z R(z). 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. Integrales del tipo log xR(x) dx Donde R(x) = P (x)/Q(x) es una funci´n racional que no se anula sobre el semi eje real positiovo y o deg P + 2 ≤ deg Q. elegimos otro contorno. en lugar de elegir el contorno sugerido m´s arriba.10. (log z)2 R(z) dz = −2iπ δ log x R(x) dx + 4π 2 δ R(x) dx. a 67 La novedad consiste en tomar como γ3 el segmento de recta de direcci´n dada por eiθ donde θ = 2π/b.

CR CR = {Reit |t ∈ [0. Integrales de otro tipo Referirse a textos de consulta.10.10.10. Teorema I.. presenta dos l´ o ımites. o donde el valor principal puede tener cierto rol. VARIABLE COMPLEJA log x dx. . zn . Esta definici´n puede adaptarse a otras situaciones. 2 6.7) y (I. si zk = 0 zk es un polo simple y si adem´s a f (z) → 0 cuando R → ∞. El valor principal de −∞ f (x) dx. π]}. x Remarca.8). . an } → R continua.9) zk punto singular zk >0 zk polo simple zk =0 .68 9.Si una integral impropia existe. si existe. Si f es holomorfa sobre Ω. . 1 + x2 Utilizamos las f´rmulas (I. La funci´n R(z) = 1/(1 + z 2 ) tiene polos o o simples en z = i y z = −i. . Se tiene v.10. .2) con n = 1. .8) Ejemplo 1. ∞ Definici´n I.p −∞ ∞ 1 dx = 0.10. de donde ∞ 0 log x 1 dx = − 1 + x2 2 π2 9π + 8i −8i − pi2 i = 0. obviamente existe su valor principal y este es igual a la integral impropia.. .2 Sea f : R − {a1 .10.Calcular la integral impropia ∞ 0 CAP´ ITULO I. uno alrededor de los puntos singulares y otro l´ ımite en las extremidades. .p −∞ f (x) dx = l´ ım δ→0+ R→∞ f (x) dx + −R a+ δ f (x) dx + · · · + an +δ f (x) dx .p ∞ f (x) dx = 2iπ −∞ Resz=zk (f (z)) + iπ Resz=zk (f (z)) (I. Remarca. entonces v.10. como Variable Compleja de la Serie Schaum. salvo en z1 .La definici´n de valor principal dada por (I.. I.10. o est´ dado por a ∞ a1 −δ a2 −δ R v. (I.3.2 Sean f : Ω → C. Valor Principal de Cauchy En el curso de Primer A˜o de An´lisis 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. H = {z| z ≥ 0} ⊂ Ω abierto. z2 .

2π]. Las funciones trigonom´tricas cos z..1 Sea Ω ⊂ C un abierto no vacio. sec z y csc z son funciones meromorfas. por el teorema de los residuos n f (z) dz = 2iπ © ¦ §  ¥ ¢  £ ¤  γ Por otro lado.. se tiene alrededor de zk f (z) = Resz=zk (f (z)) + gk (z) z − zk (I. C(z) = {R(z) = P (z)/Q(z)|P.11. zk punto singular zk >0 zk polo simple zk =0 .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. Q = 0} el conjunto de las funciones racionales sobre C es un subcuerpo de M(C).11. Para R > 0 lo suficientemente grande y δ > 0 lo suficientemente peque˜o se tiene. entonces M(Ω) es un es cuerpo que prolonga C. sin z.I.10.11. o 2. cot z. La verificaci´n es un simple ejercicio. de donde f (z) dz = −iπ Resz=zk (f (z)). Se dir´ que f : Ω − D → C holomorfa es meromorfa. tan z. Funciones Meromorfas Definici´n I. los segmentos o [ak + δ.10) zk punto singular zk >0 zk = 0. ¡ ¢  ©¨ Resz=zk (f (z)) (I. excepto sin z y cos z tienen una infinidad de polos simples. Proposici´n I.11. Ck Por consiguiente a1 −δ a2 −δ R f (x) dx + −R a+ δ Pasando a los l´ ımites se tiene el resultado deseado. FUNCIONES MEROMORFAS 69 Demostraci´n. si D es un o a conjunto discreto y para todo z ∈ D z es un polo o singularidad suprimible. Qpolinomio. ak+1 − δ] y las semicircunferencias Ck = {z = ak + δeit |t ∈ [π. o Ejemplos 1.10. Denotamos por M(Ω) el conjunto de funciones meromorfas sobre Ω.Consideramos el contorno γ dado por la semicircunferencia CR de radio R.Ejercicio. si zk polo simple con con gk holomorfa. I. De las e cuales. o Demostraci´n.1 Sea Ω ⊂ C abierto.

Por lo tanto. 2 (z + 2) z+2 (I.5) nos hace pensar que es posible expresar funciones meromorfas en desarrollos de fracciones parciales.11. por ejemplo en integraci´n.11. VARIABLE COMPLEJA I.7) csc z = = ··· + 1 1 1 1 1 − + − + + ··· z + 2π z + π z z − π z − 2π (I. la descomposici´n en fracciones parciales es conocida desde hace 300 a˜os y es o n muy util. Consideremos la fracci´n ´ o o f (z) = 6z 4 − 20z 2 + 4z + 19 (z − 1)3 (z + 2)2 (I. (I.1.11.11.11. 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. como o u l´ f (z) = 0 y por el teorema de Liouville. Lass series de Laurent. y Resz=kπ (csc z) = (−1)k .70 CAP´ ITULO I. 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.4) la funci´n f (z) − p1 (z) − p2 (z) tiene ningu´n polo y por consiguiente es holomorfa sobre todo C.1) Tenemos un polo de orden 3 en z = 1 y uno de orden 2 en z = −2. Caso de una infinidad de polos El resultado (I.11. inclusive en el caso en que la funci´n en cuesti´n tenga una infinidad de polos.3) Denotando las partes principales de estos desarrollos por p1 (z) = 1 2 3 − + 3 2 (z − 1) (z − 1) z−1 y p2 (z) = − 1 3 + .11. esta diferencia es 0. alrededor de coronas de centros z = 1 y z = −2 est´n dadas por: a f (z) f (z) = 1 2 3 8 7 2 − + − (z − 1) + (x − 1)2 + · · · .11.2) (I.5) que es un desarrollo en fracciones parciales de p(z).11.8) . 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.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. Desarrollo en Fracciones Parciales de Funciones Meromorfas Para las funciones racionales.

Puesto que Ck es acotado y f es meromorfa. Consideramos una ∞ sucesi´n de contornos Cn tal que o n=1 Int Cn = C y para todo n no hay polos de f sobre Cn . planteamos pj (z) Int (I. FUNCIONES MEROMORFAS 71 Ahora bien. segundo.1 (Series de fracciones parciales) Sea f : C → C una funci´n meromorfa. puede escribirse como f (z) = zj ∈ Ck zj polo pj (z) + Int Ck f (ζ) dζ. zk polo n=1 n→∞ (I.11. tanto (I.11.11. ζ −z ∀z ∈ Int Ck .11. a En consecuencia.11.11. se tiene f (z) = (I.11.11.11.10). de donde (I. ζ −z ∀z ∈ Int Ck . como (I. se tiene pj (ζ) dz = ζ −z pj (ζ) dζ → 0. con ∞ Cn = C. entonces la serie (I. Sea f : Ω → C meromorfa. por lo que es necesario hacer un an´lisis de convergencia. es necesario proceder de otra manera. f (z) → 0 cuando z → ∞.I. ζ −z ∀z ∈ Int Ck . para cualquier z ∈ C.11.11.7). ζ −z y las integrales.12) Cn entonces.11. sino al contrario son series.11. o Aplicando la f´rmula integral de Cauchy. Si existe una sucesi´n o {Cn } de contornos.8) no son sumas finitas. denotamos o por pk la parte principal del desarrollo de la serie de Laurent de f alrededor del polo zk . (I. Ck gk (ζ) dζ = ζ −z Ck f (ζ) dζ − ζ −z zj ∈ Ck zj polo Int Ck pj (ζ) dζ. se tiene para todo z ∈ M a f (ζ) dζ ≤ κn → 0 ζ −z (I.11.9) donde pk es la parte principal del desarrollo de Laurent alrededor del polo zj . se obtiene o gk (z) = Ck gk (ζ) dζ. |ζ|=R ζ − z Ck cuando R → ∞. . En el caso de una infinidad de polos exite dos inconvenientes: el primero.9) es finita y la funci´n gk es holomorfa en el dominio definido por Ck . (I.13) Si adem´s para M ⊂ C compacto. gk (z) = f (z) − zj ∈ Ck zj polo Para k ∈ N dado.11) Teorema I.5) es correcto. la suma (I.14) Cn cuando n → ∞. (I. es decir f (z) = zj ∈ Ck zj polo pj (z) + Int Ck gk (ζ) dζ. para R > 0 arbitrariamente grande.10) Ahora bien. tal que para cualquier z ∈ C se tenga l´ ım f (ζ) dζ = 0 ζ −z pk (z).13) converge uniformemente sobre M. porque trabajamos con un n´mero finito de terminos y por que la funci´n u o f tiende a 0 cuando z tiende a infinito.

VARIABLE COMPLEJA Figura I. Elegimos como contornos los cuadrados Cn de centro el origen. Esta funci´n tiene polos simples en z = kπ o o con k ∈ C y la serie en fracciones parciales conjeturada est´ dada por la f´rmula (I. se tiene sin(x + iδn ) = sin x cos(iδn ) + cos x sin(iδn ) = sin x cosh δn − i cos x sinh δn . cosh y (I.11.16) La funci´n csc ζ/ζ es una funci´n par. como csc es 2π peri´dica. utilizando identidades o trigonom´tricas.18) CN Ahora mayoremos csc ζ sobre Cn . Utilizando el hecho que 1 1 z = + .11.8).11.11. . Mostremos que a o esta formula es correcta.1: Mapas de cot z y csc z Ilustremos el teorema (I.1) con la funci´n csc z = 1/ sin z.11.11.72 CAP´ ITULO I.11. ζ z csc ζ dζ = 0 ζ(ζ − z) (I. por lo que o o csc ζ dζ = 0.17) CN de donde es suficiente mostrar que n→∞ l´ ım (I. de lados verticales que pasan por (π/2 + 2(n − 1)π) y lados verticales que pasan por i(π/2 + 2(n − 1)π). se tiene csc((π/2 + 2(n − 1)π) + iy) = csc(π/2 + iy) y por consiguiente.11. cos(iy) 1 ≤ 1. La segunda gr´fica de la figura I. se obtiene e 1 sin( π + iy) 2 π csc( + iy) 2 = = 1 . ζ(ζ − z) (I.1 nos sugiere inmediatamente que contornos a elegir.15) csc ζ dζ = ζ −z CN csc ζ dζ + ζ CN z csc ζ dζ. Comenzemos por el lado vertical que pasa por (π/2 + 2(n − 1)π).11. ζ −z ζ ζ(ζ − z) se tiene Cn (I.19) Para el lado horizontal que para por i(π/2 + 2(n − 1)π) = δn .

I.11. FUNCIONES MEROMORFAS |sin(x + iδn )| = |csc(x + iδn )| ≤ π cos2 x sinh2 δn + sin2 x cosh2 δn ≤ sinh δn ≤ sinh( ), 2 1 ≤ 1. sinh π 2

73

(I.11.20)

Como csc z es una funci´n 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 funci´n 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´ definido y es continuo sobre Ω, excepto sobre los ceros y polos de f . En particular es continuo sobre el a arco γ. Definici´n I.11.2 (Indice de Cauchy) El ´ o ındice de Cauchy, Ind(f, γ), de la funci´n f sobre el contorno o γ, es el n´mero de vueltas, (tomando como sentido positivo el movimeinto de las manecillas de un reloj), u que da el campo Φ al recorrer el contorno γ. Ver figurea I.11.2. Para un contorno γ : [a, b] → Ω y una funci´n f : Ω → C meromorfa, sin polos, ni ceros sobe el contorno, o consideremos la funci´n continuea o Φ : [a, b] → R t → ϑ f (γ(t)) = eiϑ . |f (γ(t))| (I.11.21)

Esta funci´n est´ bien definida si se conoce por ejemplo Φ(a) y su c´lculo 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 definido Φ, 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

CAP´ ITULO I. VARIABLE COMPLEJA

Figura I.11.2: Indice de Cauchy para f (z) =

z 2 −4 ez −i .

Teorema I.11.2 Sean f : Ω → C merormorfa y C un contorno en Ω en el cual no hay, ni polos, ni ceros de f , entonces 1 f (z) Ind(f, C) = dz. (I.11.25) 2iπ C f (z)

Demostraci´n.- Ejercicio o

Antes de enunciar el resultado principal de esta secci´n 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)

Demostraci´n.- 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 n´mero de ceros, contando su multiplicidad, de f en el interior de C y P es el n´mero de u u polos, contando su orden en el interior de C.

I.11. FUNCIONES MEROMORFAS

75

Demostraci´n.- Puesto que f es meromorfa y el interior de C es acotado, el n´mero de polos y ceros o u son en cantidad finita. Denotemos por {z1 , z2 , . . . , zn } los ceros y polos, dos a dos diferentes. Con > 0 lo suficientemente peque˜o aplicamos el corolario 1.6.3 del teorema de Cauchy lo que da n f (z) dz = f (x)
n |z−zk |=

C

k=1

f (z) dz. f (z)

(I.11.29)

Sea zk un polo o un cero, veamos cada uno de los casos i)zk es un polo, supongamos de orden nk , por el lema precedente se tiene f (z) = (z − zk )−nk g(z) ⇒ de donde
|z−zk |=

f (z) −nk (z − zk )−nk −1 g(z) + (z − zk )−nk g (z) 1 g (z) = = −nk + f (x) (z − zk )−nk g(z) (z − zk ) g(z) f (z) dz = −nk 2iπ. f (z) (I.11.30)

ii)zk es un cero, supongamos de multiplicidad nk , por el lema precedente se tiene f (z) = (z − zk )nk g(z) ⇒ de donde
|z−zk |=

f (z) nk (z − zk )nk −1 g(z) + (z − zk )nk g (z) 1 g (z) = = nk + 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 n´mero de ceros en el interior del u contorno C. Demostraci´n.- Consideramos la funci´n definida por h(t, z) = f (z) + tg(z) con t ∈ [0, 1]. Esta funci´n 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 definido para todo t ∈ [0, 1] a Ind(h(t, z), C) = 1 2iπ h (t, z) dz h(t, z) (I.11.32)

C

Considerando Ind(h(t, z), C) como una funci´n respecto a t est´ es continua y que solo toma valores enteros, o a lo que significa que necesariamente es constante.

76

CAP´ ITULO I. VARIABLE COMPLEJA

28 dominio simple. 55 77 cuerpo de los complejos. 3 o parte imaginaria. 5 o forma polar. 11 holomorfa. 5 funci´n o C-diferenciable. 4 divisi´n. 37 interior. 33 Cauchy ´ ındice. 6 radio.´ Indice alfab´tico e ´ ındice Cauchy. 18 diferenciable. 7 funciones exponenciales. 12 o c´lculo de integrales a residuos. 17 homograf´ 20 ıa. 15 conforme. 68 Cayley transformaci´n. 4 parte real. 37 convergencia. 8 o a trigonom´trica e compleja. 14 Hadamard f´rmula. 28 o argumento determinaci´n. . 18 o contorno. 15 entera. 5 o forma polar. 43 F´rmula de Moivre. 13 divisi´n o arco simple. 43 corona. 5 o multiplicaci´n. 8 parte real. 52 exponencial. 10 representaci´n gr´fica. 5 o conforme funci´n. 4 cuerpo de los. 4 sustracci´n. 14 inversa. 51 determinaci´n o argumento. 31 simple. 3 o conjugado. 13 logaritmo. 4 desigualdad Cauchy. 43 o holomorfa. 8 polinomial. 49 complejos adici´n. 49 orden. 15 funciones complejas. 73 desigualdad. 38 valor principal. 24 o cero. 18 arco simple. 16 f´rmula o Hadamard. 12 principal. 12 meromorfa. 63 cambio variable. 51 teorema. 28 o partici´n. 5 m´dulo. 27 divisi´n. 73 a ´ngulo orientado. 38 ecuaciones Cauchy-Riemann. 69 parte compleja. 17 logaritmo complejo.

3 compactificaci´n. 37 representaci´n conforme. 60 rotaci´n. 75 e valor medio. 54 o fundamental del ´lgebra. 13 primitiva funci´n. 52 Morera. 52 valor principal Cauchy. 5 o meromorfa funci´n. 42 Principio del M´ximo. 43 . 44 teorema Cauchy. 69 o Morera teorema. 8 o parte principal serie de Laurent. 52 m´dulo. 30 H-V. 38 Cauchy-Taylor. 24 o residuo. 12 Louiville teorema. 60 residuos c´lculo de integrales. 43 Laurent. 58 parte real. 63 a polo de orden superior. 34 integral. 53 a residuos. 2 o Rouch´ e teorema. 42 parte imaginaria. 8 o plano complejo. 30 simple. 28 l´ ımites. 53 proyecci´n estereogr´fica.78 homotecia. 44 serie de Laurent parte principal. 7 o a radio de convergencia. 24 homogr´fica. 52 Weistraß. 7 o polo. 4 de una funci´n. 53 a Louiville. 43 transformaci´n o Cayley de. 60 Rouch´. 58 potencias. 58 similitud. 13 o logaritmo complejo. 62 polo simple. 2 singularidad esencial. 43 recorrido. 44 funci´n abierta. 6 logaritmo determinaci´n. 4 de una funci´n. 55 Taylor. 2 integral recorrido. 75 serie entera. 58 suprimble. 31 o Principio del M´ximo a teorema. 58 ´ ´ INDICE ALFABETICO Taylor serie. 61 teorema. 68 Weistraß teorema. 34 horizontal-vertical. 30 sobre arco simple. 20 a valor medio teorema.

Sign up to vote on this title
UsefulNot useful