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

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

iv ´ INDICE DE FIGURAS .

Prefacio v .

vi PREFACIO .

.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful