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

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

iv ´ INDICE DE FIGURAS .

Prefacio v .

vi PREFACIO .

.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

con λ = 0. v2 ) −− − − − − −→ −−−−−−− → u1 u2 ¯ C =z      wA (z)   −− − − − − −→ −−−−−−− → v1 v2 ¯ C =z Es facil verificar que wA = wA ⇐⇒ A = λA . 0)} (v1 . wA es inversible y su inversa wA−1 .1.4.4. (I. consideremos el siguiente diagrama C2 − {(0. . u2 )     A  det A=0   C2 − {(0.2 Se tiene las siguientes propiedades: o 1.2) Proposici´n I. una homograf´ puede ser inducida por una matriz de 2 × 2 inversible ıa. La composici´n de transformaciones homogr´ficas es una transformaci´n homogr´fica.20 CAP´ ITULO I.2 Una transformaci´n homogr´fica es una expresi´n de la forma o o a o w(z) = az + b cz + d con det a c b d = 0. Por otro lado. VARIABLE COMPLEJA I. o a o a A induce wA A induce wA 2.4. ¯ ı Remarcamos que las homograf´ pueden prolongarse al plano complejo acabado C as´ ıas ¯ w:C z ¯ −→ C   →  az+b cz+d a c ∞ si z = d/c si z = ∞ si z = d/c. A= a b c d wA (z) = az + b .4. 0)} (u1 . cz + d En efecto. Homograf´ ıas Definici´n I. ⇒ A A induce wA ◦ wA .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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