Variable Compleja

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

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

iv ´ INDICE DE FIGURAS .

Prefacio v .

vi PREFACIO .

.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

73

(I.11.20)

Como csc z es una funci´n impar, se tiene sobre el cuadrado Cn , |csc ζ| ≤ 1. Por lo tanto o z csc ζ 1 dz ≤ →0 ζ(ζ − z) rn (rn − |z|)

Cn

cuando n → ∞ donde rn es el radio de la circunferencia inscrita en Cn . Es facil, deducir que para un compacto M, se tiene (I.11.14). Por lo tanto (I.11.8) converge uniformemente.

I.11.2.

N´ mero de Ceros y Polos de Funciones Meromorfas u

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

Esta funci´n est´ bien definida si se conoce por ejemplo Φ(a) y su c´lculo puede efectuarse cambiando o a a determinaciones del argumento. Se tiene 1 Ind(f, γ) = (Φ(b) − Φ(a)). (I.11.22) 2π (I.11.22) muestra que Φ cumple el rol de una primitiva y por consiguiente nos permite pensar que es posible determinar Ind(f, γ) utilizando una integral. Ahora bien, tal como se ha definido Φ, se utiliza de alguna manera determinaciones de arg, que no es holomorfa. Sin embargo las determinaciones de log si lo son y podemos utilizarlas y tendriamos Ind(f, γ) = 1 (log2 (f (γ(b))) − log1 (f (γ(a))))., 2iπ (I.11.23)

donde log1 y log2 son determinaciones de log de manera que Φ sea continuea. Por otro lado, se tiene
b a

f (γ(t)) γ (t) dt = (f (γ(b))) − log1 (f (γ(a))). f (γ(t))

(I.11.24)

Por lo tanto, tenemos el teorema siguiente

74

CAP´ ITULO I. VARIABLE COMPLEJA

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

z 2 −4 ez −i .

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

Demostraci´n.- Ejercicio o

Antes de enunciar el resultado principal de esta secci´n es bueno recordar el siguiente resultado o Lema I.11.1 Sea f : Ω → C meromorfa, entonces a) z0 es un cero de multiplicidad m, si y solamente si existe g : Ω → C meromorfa y holomorfa en z0 tal que f (z) = (z − z0 )m g(z), g(z0 ) = 0. (I.11.26) b) z0 es un polo de orden m, si y solamente si existe g : Ω → C meromorfa y holomorfa en z0 tal que f (z) = (z − z0 )−m g(z), g(z0 ) = 0. (I.11.27)

Demostraci´n.- Ejercicio o

Teorema I.11.3 (Principio del Argumento) Sea f : Ω → C meromorfa y C un contorno sin ceros, ni polos de f , entonces Z − P = Ind(f, C) (I.11.28) donde Z es el n´mero de ceros, contando su multiplicidad, de f en el interior de C y P es el n´mero de u u polos, contando su orden en el interior de C.

I.11. FUNCIONES MEROMORFAS

75

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

C

k=1

f (z) dz. f (z)

(I.11.29)

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

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

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

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

Por lo tanto
C

f (z) dz = 2iπ(Z − P), f (z) Z − P = Ind(f, C).

es decir

Teorema I.11.4 (Teorema de Rouch´) Sean f, g : Ω → C holomorfa, C un contorno con Int C ⊂ Ω. e Si |f (z)| > |g(z)| para todo z ∈ C, entonces f y f + g tienen el mismo n´mero de ceros en el interior del u contorno C. Demostraci´n.- Consideramos la funci´n definida por h(t, z) = f (z) + tg(z) con t ∈ [0, 1]. Esta funci´n es o o o continua respecto a t y holomorfa respecto a z. Por otro lado, se tiene |h(t, z)| = |f (z) + tg(z)| ≥ |f (z)| − t |g(z)| ≥ |f (z)| − |g(z)| > 0. Por lo tanto, est´ bien definido para todo t ∈ [0, 1] a Ind(h(t, z), C) = 1 2iπ h (t, z) dz h(t, z) (I.11.32)

C

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

76

CAP´ ITULO I. VARIABLE COMPLEJA

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

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

Sign up to vote on this title
UsefulNot useful