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

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

iv ´ INDICE DE FIGURAS .

Prefacio v .

vi PREFACIO .

.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

el segmento que une z con z + ∆z. . .3 Sean D dominio simple y D1 . z .6.. k. . Corolario I.. z |·|≤ |∆z|→0 si ∆z → 0 y tomando como arco.Consideremos D dominio simple con 0 ∈ D◦ . Por lo tanto D k 0= ˆ D f (z) dz + ˇ D f (z) dz = D f (z) dz + i=1 − ∂Di f (z) dz D 1 D 2 D k ˆ ˇ porque f es holomorfa sobre los dominios D y D y la integrales se anulan en los bordes comunes (diferentes sentidos de integraci´n) o Ejemplo 4. . . 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π. k Ω ⊃ (D − i=1 Di ) abierto y f : Ω → C holomorfa.Realizamos un corte del dominio simple D en dos subdominios simples: D y D de manera o que los bordes de ambos caminos cubran en su totalidad los bordes del dominio D y los dominios Di . Entonces D D k D 2 ∂D f (z) dz = ∂D1 f (z) dz + · · · ∂Dk f (z) dz. . . Dk ⊂ D◦ dominios simples con Di ∩ Dj = ∅ si i = j. 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ζ . .40 El cociente de Newton se convierte q(z) = 1 ∆z z+∆z CAP´ ITULO I. i = 1. D 1 ˆ ˇ Demostraci´n.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful