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

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

iv ´ INDICE DE FIGURAS .

Prefacio v .

vi PREFACIO .

.

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

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

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

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

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

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

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

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

2: Gr´fica Transformaci´n a o Figura I.2.3: Gr´fica del Campo de Vectores a .I. 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.2.2.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

existe un recorrido cerrado H-V tal que f (z) dz < . ∂D ∂D orientada dejando el interior a la izquierda. D ⊂ Ω dominio simple. Un corona {z|r ≤ |z − z0 | ≤ R} no es un dominico simple. Demostraci´n. Un disco cerrado {z| |z − z0 | ≤ r} es un dominio simple. donde C es un contorno simple. Un rect´ngulo R es un dominio simple a 2. Si es necesario afinar H-V. Utilizando el mismo u a argumento que la proposici´n precedente. Teorema I.. 3. entonces f (z) dz = 0.3 D ⊂ C es un dominio simple si D es de la forma o D = C ∪ Int C.38 CAP´ ITULO I. 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. o .5. para o o f (z) dz = ∂D H−V > 0.6. VARIABLE COMPLEJA Definici´n I.Utilizando la proposici´n I. por la proposici´n precedente.6.1 (Cauchy) Sea f : Ω → C holomorfa. se puede suponer que es un recorrido simple. Ejemplos 1.6.

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

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 . 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.Consideremos D dominio simple con 0 ∈ D◦ . Corolario I. . . . z |·|≤ |∆z|→0 si ∆z → 0 y tomando como arco. D 1 ˆ ˇ Demostraci´n. z . Entonces D D k D 2 ∂D f (z) dz = ∂D1 f (z) dz + · · · ∂Dk f (z) dz. . . k Ω ⊃ (D − i=1 Di ) abierto y f : Ω → C holomorfa.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.3 Sean D dominio simple y D1 . . el segmento que une z con z + ∆z.. .6. 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π. i = 1. 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ζ .

ζ − z0 ∂D Demostraci´n.4 Sea C un contorno simple y a ∈ C. C z−a 1 dz = −.7.2 Sea f : Ω → C holomorfa.Ejercicio.6. a condici´n que la circunferencia est´ dentro del o e dominio. F´rmulas Integrales de Cauchy o Teorema I. 0 |ζ−z0 |=r El valor de la segunda integral es independiente de r. C z−a Demostraci´n.7..6.´ I. ∂D Teorema I.7.1 Sea f : Ω → C holomorfa. FORMULAS INTEGRALES DE CAUCHY 41 Corolario I.. Puesto que f es continua. D ⊂ Ω dominio simpler. 2iπ ∂D (ζ − z)n+1 .7. entonces: a ∈ Int C a ∈ Int C ⇐⇒ ⇐⇒ 1 dz = 2iπ. o I.Utilizando el corolario I.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. Entonces f (z0 ) = 1 2iπ f (ζ) dζ. 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 ). D ⊂ Ω dominio simple y z ∈ D◦ . Entonces f es indefinidamente C-derivable y n! f (ζ) f (n) (z) = dζ. z0 ∈ D◦ .

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

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

∞ ii) n=0 iii) f (z) = n=0 ∞ an z n es holomorfa sobre |z| < R.2 Sea n=0 ∞ i) n=0 ∞ an z n converge uniformemente sobre |z| ≤ r. R). R) ⊂ Ω. ¯ Demostraci´n. z0 ∈ Ω. R). VARIABLE COMPLEJA an z n una serie entera de radio de convergencia R > 0. a Definici´n I.Sea D un dominio simple que contiene D(z0 ..8. Entonces ∞ f (n) (z0 ) f (z) = (z − z0 )n n! n=0 ¯ uniformemente sobre D(z0 . Entonces: Teorema I.. nan z n . an z n diverge sobre |z| > R.3 ((Cauchy-Taylor)) Sea f : Ω → C holomorfa.8. 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 . iv) f (z) = n=1 Demostraci´n. n! k=0 ¯ Teorema I. la serie de Taylor de o f en el punto z0 es ∞ f (k) (z0 ) ST fz0 (z) = (z − z0 )k . 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 < R.44 ∞ CAP´ ITULO I. (ζ − z0 )n+1 . z0 ∈ Ω.8. R > 0 tal que D(z0 . (z0 ) n! 2iπ f (ζ) ∂D (ζ−z0 )n+1 ∞ n=0 z − z0 ζ − z0 n ∂D f (ζ) dz (z − z0 )n . Los puntos iii) y o a n iv) son consecuencia del teorema de Weirstraßenunciado m´ arriba. f indefinidamente C derivable en z0 . esto es posible por Ω es un abierto.Para los dos primeros puntos revisar el curso de an´lisis de primer a˜o. ∀r < R. converge uniformemente sobre |z| ≤ r.1 Sea f : Ω ⊂ C → R.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

C´lculo de Residuos a Si bien. . de donde a1 = l´ (z − a)f (z). Sup´ngamos que la funci´n f (z) es de la forma o o f (z) = P (z) . Q (a)R(a) . . Q(z)R(z) con P (a) = 0. . z2 . z→0 sin z sin z 2. la funci´n o (z − a)f (z) = a−1 + a0 (z − a) + · · · es holomorfa en z = a. RESIDUOS Y APLICACIONES consiguiente D ∩ int C = {z1 . se tiene Resz=a (f (z)) = l´ ım z→a ¨¢ § ¤¢ £ ak (z − a)k . 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 ) . Consideremos la funci´n f (z) = 1/ sin z. ım z→a Ejemplos 1. la utilizaci´n de residuos o a o se justifica para el c´lculo de integrales por medio del teorema del residuo. 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. ´sta tiene un polo simple en el origen. en este caso. k=1 I.1. . zn }. P (z)(z − a) = l´ ım z→a Q(z)R(z) P (z) Q(z)−Q(a) R(z) z−a = P (a) . el residuo de una funci´n f en punto a est´ definido mediante una integral. Por consiguiente.I.10. o e Resz=0 ( 1 z ) = l´ ım = 1.10. R(a) = 0. Q(a) = 0 y Q (a) = 0. o Polos Simples En este caso f (z) = a−1 (z − a)−1 + k=0 ∞ Ahora bien.

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

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

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

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

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

a 67 La novedad consiste en tomar como γ3 el segmento de recta de direcci´n dada por eiθ donde θ = 2π/b. se tiene (1 − eiθ(a−1) ) 0 ∞ Por lo tanto 0 ∞ 0 5.10. RESIDUOS Y APLICACIONES que. 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. 1 2 log2 (zi ) Resz=zi (R(z)) − iπ zi polo zi =0 ∞ R(x) dx. γ3 (log z)2 R(z) dz = R (log x + i2π)2 R(x) dx. (log z)2 R(z) dz = −2iπ δ log x R(x) dx + 4π 2 δ R(x) dx. dx = − 1−ei(a−1)θ = b b sin aπ 1+x b b 2i (I. xa−1 πeiaθ/2 pi 1 .10. 0 (I. Mayoremos las integrales sobre los diferentes arcos.I. 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. 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. £¤  De la misma manera (log z)2 R(z) dz ≤ (2πδ)(log2 δ + 4π 2 )O(1) = log2 δ O(δ) → 0 γ4 cuando δ → 0.10. 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. Para resolver esta integral consideramos la funci´n o f (z) = log2 z R(z). en lugar de elegir el contorno sugerido m´s arriba. hacemos tender δ → 0 y R → ∞. elegimos otro contorno. Existe un unico polo simple en el o ´ interior del contorno dado por z = eiθ/2 . Haciendo tender δ a 0 y R al infinito.6) con determinaci´n del argumento dada por arg(−1) = π y el contorno o de la figura de la izquierda. sobre γ2 el arco de circunferencia de radio R.7) . logx R(x)dx.

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

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

Consideremos la fracci´n ´ o o f (z) = 6z 4 − 20z 2 + 4z + 19 (z − 1)3 (z + 2)2 (I. o o Este es el caso de cot z y csc z que presentan polos simples en z = kπ con k ∈ Z. Caso de una infinidad de polos El resultado (I. 3 2 (z − 1) (z − 1) z − 1 9 27 27 1 3 34 14 17 = − + − − (z + 2) − (z + 2)2 + · · · (z + 2)2 z + 2 27 27 81 (I.11. por ejemplo en integraci´n. y Resz=kπ (csc z) = (−1)k . inclusive en el caso en que la funci´n en cuesti´n tenga una infinidad de polos. 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 + · · · .7) csc z = = ··· + 1 1 1 1 1 − + − + + ··· z + 2π z + π z z − π z − 2π (I.4) la funci´n f (z) − p1 (z) − p2 (z) tiene ningu´n polo y por consiguiente es holomorfa sobre todo C.11.1) Tenemos un polo de orden 3 en z = 1 y uno de orden 2 en z = −2. Desarrollo en Fracciones Parciales de Funciones Meromorfas Para las funciones racionales.11. la descomposici´n en fracciones parciales es conocida desde hace 300 a˜os y es o n muy util.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. Lass series de Laurent. como o u l´ f (z) = 0 y por el teorema de Liouville. VARIABLE COMPLEJA I.11.8) .5) que es un desarrollo en fracciones parciales de p(z).70 CAP´ ITULO 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.2) (I.5) nos hace pensar que es posible expresar funciones meromorfas en desarrollos de fracciones parciales.11.11. 2 (z + 2) z+2 (I. (I.1.11. Se tiene Resz=kπ (cot z) = 1.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. Por lo tanto.11.

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

1) con la funci´n csc z = 1/ sin z.18) CN Ahora mayoremos csc ζ sobre Cn .72 CAP´ ITULO I. se tiene csc((π/2 + 2(n − 1)π) + iy) = csc(π/2 + iy) y por consiguiente. VARIABLE COMPLEJA Figura I.1 nos sugiere inmediatamente que contornos a elegir. Elegimos como contornos los cuadrados Cn de centro el origen. 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 .19) Para el lado horizontal que para por i(π/2 + 2(n − 1)π) = δn .11. por lo que o o csc ζ dζ = 0. ζ z csc ζ dζ = 0 ζ(ζ − z) (I. ζ(ζ − z) (I.11. .15) csc ζ dζ = ζ −z CN csc ζ dζ + ζ CN z csc ζ dζ.11.16) La funci´n csc ζ/ζ es una funci´n par.11. Utilizando el hecho que 1 1 z = + . ζ −z ζ ζ(ζ − z) se tiene Cn (I. utilizando identidades o trigonom´tricas. de lados verticales que pasan por (π/2 + 2(n − 1)π) y lados verticales que pasan por i(π/2 + 2(n − 1)π).11.11. Comenzemos por el lado vertical que pasa por (π/2 + 2(n − 1)π). cos(iy) 1 ≤ 1.11.11.11.8). Mostremos que a o esta formula es correcta. como csc es 2π peri´dica. La segunda gr´fica de la figura I. 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.1: Mapas de cot z y csc z Ilustremos el teorema (I. se obtiene e 1 sin( π + iy) 2 π csc( + iy) 2 = = 1 . cosh y (I.17) CN de donde es suficiente mostrar que n→∞ l´ ım (I.

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

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

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