Está en la página 1de 565

·ANALISIS SASICO DE

VARIABL C PL JA
JERAOLD E. MARSDEN MICHAEL J. HOFFMAN

" Iodice de contenido


Prologo Cap. 1. Funciones analfticas 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. Introducci6n a los mirneros complejos, II. Propiedades de los ruimeros complejos, 22. Algunas funciones elementales, 36. Funciones continuas, 53. Funciones analfticas, 73. Diferenciaci6n de las funciones elementales, 96. Ejercicios de repaso del capitulo I, 105 5 11

Cap. 2. Teorema de Cauchy 2. 1. Integrales de contorno, 109. Suplemento de la secci6n 2.1: sumas de Riemann, 124. 2.2. El teorema de Cauchy: versi6n intuitiva, 126. 2.3. El teorema de Cauchy: versi6n precisa, 139. Suplemento A de la secci6n 2.3, 157. Suplemento B de la secci6n 2.3, 161. 2.4. F6rmula integral de Cauchy, 165. 2.5. El teorema del m6dulo maximo y funciones arm6nicas, 185. Ejercicios de repaso del capitulo 2, 199. Cap. 3. Representacion en series de funciones analfticas

109

203

3.1. Series convergentes de funciones analfticas, 204. 3.2. Series de potencias y el teorema de Taylor. 226. 3.3. Series de Laurent y c1asificaci6n de singularidades, 243. Ejercicios de repaso del capitulo 3, 257.

10
Cap. 4. Calculo de residuos 4.1. Calculo de residuos, 261. 4.2. EI teorema del residuo, 274. Suplemento a la secci6n 4.2: residuos y comportamiento en infinito, 280. 4.3. Evaluaci6n de integrales definidas, 288. 4.4. Evaluaci6n de series infinitas y expansiones en fracciones parciales, 321. Ejercicios de repaso del capitulo 4, 330. Cap. 5. Mapeos conformes

261

335

5.1. Teoria basica de los mapeos conformes, 335. 5.2. Fraccionales lineales y transformaciones de Schwarz-Christoffel, 342. 5.3. Aplicaci6n de los mapeos conformes ala ecuaci6n de Laplace, la conducci6n del calor, electrostatic a e hidrodinamica, 362. Ejercicios de repaso del capitulo 5, 378. Cap. 6. Desarrollo adicional de la teorfa

383

6.1. Continuaci6n analitica y superficies de Riemann elernentales, 383. 6.2. EI teorema de Rouche y el principio del argumento, 402. 6.3. Propiedades de las funciones analfticas como mapeo, 417. Suplemento A del capitulo 6: familias normales y el teorema del mapeo de Riemann, 423. Suplemento B del capitulo 6: la dinamica de los mapeos analiticos complejos, 429. Ejercicios de repaso del capitulo 6, 432. Cap. 7. Metodos asint6ticos 436

7.1. Productos infinitos y la funci6n gamma, 436. 7.2. Expansiones asintoticas y el metodo del descenso mas pronunciado, 456. Suplemento a la secci6n 7.2: variaci6n acotada y la demostraci6n de la f6rmula de la fase estacionaria, 475. 7.3. La f6rmula de Stirling y las funciones de Bessel, 483. Ejercicios de repaso del capitulo 7, 491. Cap. 8. La transformada de Laplace y aplicaciones 495

8.1. Propiedades basicas de las transformadas de Laplace, 495. 8.2. La formula de inversi6n compleja, 509. 8.3. Aplicaci6n de las transformadas de Laplace a las ecuaciones diferenciales ordinarias, 514. Suplemento de la secci6n 8.3: la transformada de Fourier y la ecuaci6n de onda, 516. Ejercicios de repaso del capitulo 8, 530. Respuestas a los ejercicios impares indice analltico

533
567

1
Funciones analiticas
En este capitulo se introducen las ideas basicas acerca de los mimeros complejos y de las funciones analfticas. La organizaci6n del texto es analoga a la de un libro de calculo elemental que empieza con la recta real R y una funci6nj(x) de una variable real x y entonces estudia la diferenciaci6n de f De manera similar, en el anal isis complejo empezamos con los mimeros complejos z y el estudio de funciones diferenciablesj(z) (estas son llamadas funciones analfticas). La analogfa es, sin embargo, engafiosa, porque el analisis complejo es una teorfa mucho mas rica; puede deeirse mucho mas acerca de una funci6n analitica que acerca de una funci6n diferenciable de variable real. Las propiedades de las funciones analftieas se desarroBaran por eompleto en capftulos subsecuentes. Ademas de familiarizarse con la teorfa, el estudiante debe alcanzar alguna facilidad can las funciones estdndar (0 elementales) -tales como polinomios, e', log z, sen z- que son usadas en el calculo. Estas funciones se estudian en la seeci6n 1.3 y aparecen frecuentemente a 10 largo del texto.

1.1. INTRODUCCION A LOS NUMEROS COMPLEJOS


Bosquejo historfco

La siguiente diseusi6n presupone eierta familiaridad con las principales propiedades de los numeros reales. El sistema de los numeros reales fue el resultado de la biisqueda de un sistema (un eonjunto abstracto can ciertas reglas) que incluyera a los racionales, pero que tambien proporcionara soluciones a ecuaeiones polinomiales tales como x2 - 2 = O. Hist6ricamente, una consideraei6n similar dio origen a la extensi6n de los mimeros reales. A principios del siglo XVI, Geronimo Cardano consider6 ecuaciones cuadraticas (y ciibicas) tales como x2 + 2x + 2 = 0, que no son satisfe-

11

12

CAP. 1. FUNCIONES ANALITICAS

chas por ningiin mirnero real x. La formula cuadratica (-b :.:t lb2 - 4ac)/2a da expresiones "formales" para las dos soluciones de la ecuacion ax2 + bx + c = O. Pero esta formula puede requerir rafces cuadradas de mimeros negativos, por ejernplo, -1 :.:t /-1 para la ecuacion x2 + 2x + 2 = O. Cardano noto que si estos "mimeros complejos" son tratados como mimeros ordinarios con la regla f-=r • /-=-1 = -1, estos, resolvfan en efecto las ecuaciones. Ala importante expresion ,Cl se Ie da ahora la ampliamente aceptada designacion de i = r-I .Una convencion alternativa es seguida por muchos ingenieros electricos, quienes prefieren el sfrnbolo j = \Cl, puesto que ellos desean reservar el sfrnbolo i para la corriente electrica. Sin embargo, en el pasado se senna que ningun significado podrfa realmente ser asignado a tales expresiones, que fueron entonces llamadas "imaginarias". Gradualmente, en especial como resultado del trabajo de Leonhard Euler en el siglo XVIII, estas cantidades imaginarias llegaron a desempefiar un papel importante. Por ejemplo, la formula de Euler ei9 = cos e + i sen e revelo la existencia de una profunda relacion entre los mirneros complejos y las funciones trigonometricas, Se encontro que la regIa ei(9l + 9) = et9l ei92 resumfa las reglas para la expansion del sene y del coseno de la suma de dos angulos de una manera sencilla, y este solo resultado indico que algiin significado deberfa ser atribuido a estos mimeros "imaginaries". Sin embargo, no fue hasta los trabajos de Casper Wessel (circa 1797), Jean Robert Argand (1806), Karl Friedrich Gauss (1831), Sir William R. Hamilton (1837) y otros, que se clarifico el significado de los mimeros complejos y se comprendi6 que no hay nada de "imaginario" en ellos (aun cuando este terrnino se emplea todavfa. El analisis complejo, que es el tema de este libro, fue desarrollado en el siglo XIX, principalmente por Augustin Cauchy (1789-1857), Posterionnente, su teoria se hizo mas rigurosa y fue extendida por matematicos como Peter Dirichlet (1805-1859), Karl Weierstrass (1815-1897) y Georg Friedrich Bernhard Riemann (1826-1866). La busqueda de un metodo para describir la conduccion del calor influencio el desarrollo de la teorfa, la cual encontr6 muchos usos fuera de las maternaticas. En los capitulos subsecuentes se discutiran algunas de estas aplicaciones a problemas en ffsica e ingeniena, tales como hidrodinamica y electrostatica. La teorfa tiene tambien aplicaciones matematicas en problemas que a primera vista no parecen involucrar ruimeros complejos. Por ejemplo, la demostracion de que

o que

f: f~
xu-1

sen2 x 1t dx =x2 2

l+x

dx

sen (an)

para 0 < a < 1

o que

o a + sen e

de

21t ra2-1

1.1. INTRODUCCION

A LOS NUMEROS

COMPLEJOS

13

puede ser diffcil 0 imposible si se usa el calculo elemental, pero estas identidades pueden ser probadas rapidamente al usar las tecnicas de variable compleja. El analisis complejo se ha vuelto una herramienta usual e indispensable en el trabajo de matematicos, ffsicos e ingenieros. El descuido de este puede ser un serio impedimento en la mayorfa de las areas de investigacion y aplicacion que involucran ideas y tecnicas matematicas.

Definicion de los mimeros complejos


La primera tarea en esta seccion sera definir los mimeros complejos y mostrar que poseen propiedades que son adecuadas para que las manipulaciones algebraicas usuales se cumplan. La idea basica de los mimeros complejos se atribuye a Jean Robert Argand, quien sugirio usar puntos en el plano para representar a los mimeros complejos. EI estudiante recordara que el plano xy, denotado por R2, consiste de todas las parejas ordenadas (x, y) de rnimeros reales. Vamos a empezar con la definicion formal, seguida de una discusion de por que la multiplicacion de mimeros complejos es definida de la manera en que se hace .. Definicion 1.1.1. El sistema de los ntimeros complejos, denotado par C, es el conjunto R2 junto can las reglas usuales de Laadicion de vectores y la multiplicacion escalar par un numero real, a saber
(Xl' Yl) + (x2' Y2) = (Xl + x2' YI + Y2)
a(x, y)

= (ax,

ay)

y can Laopera cion de multiplicacion compleja, definida como

En vez de usar (x, y) para representar a los mimeros complejos, encontraremos mas conveniente regresar a una notacion mas estandar, como sigue. Vamos a identificar a los mimeros reales X con puntos en el eje X; entonces x y (x, 0) representan al mismo punto (x, 0) en R2. EI eje y sera llamado el eje imaginario y el punto (0, 1) sera denotado por i. Asf, por definicion, i = (0, 1). Entonces,
(x, y) =x

+ yi

pues ellado derecho de la ecuacion representa a (x, 0) + yeO, 1) = (x, 0) + (0, y) = (x, y). Usando y = (y, 0) y la definicion 1.1.1 de multiplicacion de complejos, obtenemosiy=(O, l)(y,0)=(0·y-l·0,y·l +O·O)=(O,y)=y(O, 1)=yiyasftambien podemos escribir (x, y) = x + iy. Un solo sfmbolo tal como z = a + ib se usa generalmente para indicar un mimero complejo. La notacion Z E C significa que pertenece al conjunto de 10s,n~merQs<;pmplejos'{lc "!~ II, Notesequei2"=i.i=(O, 1)·(0~ 1)=(0.0·1',(1·0+0·1»=(-1,0)=-1, de esta manera tenemos la propiedad que quaefubs: "/~ "h
i2 =-1
Z

14

CAP. 1. FUNCIONES ANALlTICAS

Si reeordamos esta eeuaei6n, entonees la regIa para la multiplicacion ros eompJejos es tambien facil de recordar y de motivar: (a + ib)(i: + id) = ae + iad + ibe + i2bd = (ae - bd) + i(ad + be)
<, "

de mime-

,j

Entonces, por ejemplo, 2 + 3i es el mimero complejo (2, 3) Y otra manera de deeir que (2,3) (1, -4) = (2 . 1 - 3 (-4), 3 . 1 + 2 (-4» = (14, -5) es (2 + 3i) (1 - 4i) = 2 - 12i2 + 3i - 8i = 14 - 5i. La razon de usar la expresion a + bi es doble. Primero, es convencional. Segundo, la regIa P = -1 es mas facil de usar que la regIa (a, b) (e, d) = (ae - bd, be + ad), aun cuando ambas reglas producen el mismo resultado. Puesto que la multiplicacion de mimeros reales es asociativa, conmutativa y distributiva, la multiplicacion de mimeros complejos tambien 10 es; es decir, para todos los mimeros complejos z, w, s, tenemos (zw)s = z(ws), zw = wz, y z(w + s) = zw + zs.Vamos a verificar la primera de estas propiedades, las otras pueden ser verificadas similannente. Sea z = a + ib, W = e + id Y s = e + if. Entonces zw = (ae - bd) + i(be + ad) y entonces (zw)s = e(ae - bd) - f(be + ad) + i[e(be + ad) + f(ae - bd)]. Similarmente. z(ws) = (a + bi)[(ee - df) + iicf + de)]
= a(ee - df) - beef

+ de) + i[a(ef + de) + btce - df) ]

Si comparamos estas expresiones y aceptamos las propiedades usuales de los mimeros reales, concluimos que (zw)s z(ws). Asf, podemos eseribir, sin ambiguedad, una expresion como zn = Z ••• Z (n veces). Notese que a + ib = e + id significa que a = e y b = d (puesto que este es el significado de la igualdad en R2) y que 0 representa a 0 + iO = (0, 0). Entonces a + ib 0 significa que ambos, a = 0 y b = O. i,En que sentido los mimeros complejos son una extension de los mimeros reales? Ya hemos dicho que si a es real, podemos tambien escribir a en Iugar de a + Oi = (a, 0). En otras palabras, los reales R son identificados con el eje x en C = R2; vemos entonces que los mimeros reales son aquellos mimeros complejos a + bi para los cuales b = O. Si en la expresion a + bi, el termino a = 0, llamamos a bi = 0 + bi un numero imaginario puro. En la expresion a + bi, decimos que a es la parte real y b es la parte imaginaria. Algunas veces esto es escrito como Re z = a, 1m z = b, donde z = a + bi. N6tese que Re z e 1m z son siempre mimeros reales (vease figura 1.1.1). En efecto, C obedece todas las reglas algebraicas que los mimeros reales ordinarios obedecen. Por ejemplo, en la siguiente discusion se demostrara que el inverso multiplicativo existe para cualquier elemento distinto de cero. Esto significa que si z # 0, entonces existe un mimero (complejo) z' tal que zz' = 1 Y escribimos z' = Z -I. Podemos escribir esta expresion sin ninguna ambiguedad (en otras palabras, z' esta determinado en forma unica), puesto que si tambien zz"= 1, entonces z' = z' • 1 = z' (zz") = (z' z) z" 1 • z" = z" y as! z" z'. Para demostrar que z' existe, sup6ngase que z = a + bi # O. Entonces al menos alguna de las condiciones se satisface, a # 0 0 b # 0 Y as! a2 + b2 # O. Para encontrar z', hagamos z' = a' + b'i. La

1.1. INTRODUCCI6N A lOS NUMEROS COMPlEJOS

15

condici6n zz' = 1 impone condiciones que nos permitiran calcular a' y b'. Ca1culando el producto da zz' = (aa' - bb') + (ab' + a'b)i. Las ecuaciones lineales aa' - bb' = 1 y ab' + a'b = 1 pueden ser resueltas para a' y b' haciendo a' = a/(a2 + b2) y b' = -b/(a2 + b2), ya que a2 + b2 =;If O. Entonces para z = a + ib =;If 0, podemos establecer. ib

y
2z

= (2a,

2b)

y=Imw

x=Rew

Figura 1.1.1. La geometrfa de los nurneros complejos. Si z y w son mimeros complejos, con w =;If 0, entonces el sfmbolo z/ w significa zw ": llamamos a ztw el cociente de z por w. Por ende, Z-l = liz. Para calcular Z-I. es cornun usar la siguiente serie de ecuaciones y es tambien una iitil manera de recordar la anterior f6nnula para Z-l: = ------= ------------a

a-ib

a-ib

+ ib

(a

+ ib)(a - ib)

En resumen, todas las reglas usuales para la manipulaci6n de numeros reales, fracciones, poJinomios, etcetera, se satisfacen en el analisis complejo. EI sistema de los numeros complejos es, formalmente, un ejemplo de un campo. Las reglas cruciales para un campo, enunciadas aquf como referencia, son:

16

CAP. 1. FUNCIONES

ANALlTICAS

Reglas de la adicion:
(i) (ii)

z +w = w +z

z + (w + s) = (z + w) + s

(iii) z + 0 = z (iv) z + (-z) = 0 Reglas de la multiplicacion:


(i) zw

= wz

(ii) (zw)s = z(ws)

(iii) lz = z (iv) Z(Z-I) = 1 para z ¥ 0 Ley distributiva: z(w + s) En resumen, tenemos: Teorema 1.1.2. Los numeros complejos C forman un campo. Se previene al estudiante que generalmente no definimos el sfrnbolo ~, como en z ~ w, para eomplejos z y w. Si uno requiere que las propiedades usuales de orden para los reales se satisfagan, entonees tal orden es imposible para los ruimeros eomplejos. Esta afirmacion puede ser probada como sigue. Supongase que tal orden existe. Entonees 0 i ~ 0, 0 i ~ O. Supongamos que i ~ O. Entonees i . i ~ 0 y, por tanto, - 1 ~ 0, 10 eual es absurdo. Alternativamente, supongase que i ~ O. Entonees -i ~0, asf (-0 (-0 ~ 0 0 -1 ~ 0, otra vez absurdo. Si z = a + ib Y w = c + id, podemos decir que z ~ w si a ~ c y b ~ d. De cierta manera esto es un orden, pero no satisfaee todas las reglas que podrfan ser requeridas, tales como aquellas obedecidas por los rnimeros reales. Por 10 tanto, en el texto, la notacion z ~ w sera evitada a menos que z y w resulten ser reales.

= zw + zs

Raices de ecuaciones cuadraticas


Como previamente se menciono, una de las razones para usar los rnirneros complejos es la de permitirnos sacar rafces cuadradas de rnimeros reales negativos. Que, en efeeto, esto puede ser hecho para todos los mimeros complejos, se verifica en la siguiente proposici6n. Proposlclon 1.1.3. Sea z E C. Entonces existe un que -W tambien satisface esta ecuacion.y
WEe

tal que w2 = z. (N6tese

Vamos a dar una 'demostracion puramente algebraica. (Otra demostracion, basada en coordenadas polares, se da en la seccion 1.2.)

1.1. INTRODUCCl6N

A LOS NUMEROS COMPLEJOS

17

Sea z = a + hi. Queremos encontrar w = x + iy tal que a + hi = + (2xy)i, as! que debemos resolver simultaneamente x2 - y2 = a y 2xy = h. La existencia de tales soluciones es geometricamente clara a partir del examen de las graficas de las dos ecuaciones. Estas se muestran en la figura 1.1.2 para el caso en que ambas, a y b, son positivos. A partir de la grafica es claro que debe haber dos soluciones que son negativas una con respecto de la otra, estas seran obtenidas algebraicamente en el siguiente parrafo.
(x

+ iy)2 = (x2

Demostraci6n.

- y2)

<,

' ...... ...._,-----

2xy=b

Figura 1.1.2. Graficas de las curvas x2

y2 = a y 2xy = b.

Sabemos que (xl + y2)2 = (xl - y2)2 + 4xly2 = a2 + b2 . Por tanto, x2 + y2 y por en de x2 = (a + ~a2 + b2)12 y y2 = (- a + ~a2 + b2)12. Si hacemos a + ~ a2 + b2 2

= ) a2 + h2 ,

donde \/- denota la rafz cuadrada positiva de mimeros reales positivos, entonces, en el caso que b es positivo, tenemos que x = a y y = 13, 0 x = -a y y = -13; en el caso en que b es negativo, tenemos que x = a y y = -13, 0 x = -ex y y = 13, Concluimos que la ecuaci6n w2 = z tiene soluciones -r(a + J...ll3i), donde J.1 = 1 si b ~ 0, Y J.1 = -1 si b < 0.• De las expresiones para a y 13 podemos concluir tres cosas: I) Las rakes cuadradas de un mimero complejo son reales si y s610 si el mirnero complejo es real y positivo; 2) las rakes cuadradas de un mimero complejo son puramente imaginarias si y s610 si el mimero complejo es real y negativo, y 3) las dos rafces cuadradas de un mimero coinciden si y s610 si el mimero complejo es cero. (EI estudiante debera comprobar estas conclusiones.) Podemos facilmente verificar que la ecuacion cuadratica az2 + bz + c = 0, para rnimeros complejos a, b, c, tiene soluciones z = (-b + ~b2 - 4ac)/2a, donde ahora el sfrnbolo [U denota la raiz cuadrada de un mimero complejo, u, como se construyo en la proposicion 1.1.3.

18

Unicidad de los mimeros complejos


La siguiente discusi6n no sent completamente rigurosa, mas bien sera, en momentos, algo informal, Una explicaci6n absolutamente precisa serfa equivalente a un curso corto de algebra abstracta. A pesar de esto, el estudiante debe ser capaz de reconocer los puntos importantes de la presentaci6n. Hemos construido el campo C, que contiene a los reales y en el que cada ecuaci6n cuadratica tiene una soluci6n. Es natural preguntarse si hay otros campos, que contengan a los reales, en los que cada ecuaci6n cuadratica tenga una soluci6n. La respuesta es que cualquier otro campo, llamernosle F. debe contener a los mirneros complejos; por 10 tanto, el conjunto de los mimeros complejos es el mas pequeiio campo que contiene a R. en el cual todas las ecuaciones cuadraticas son resolubles. En este sentido es unico. La raz6n es muy simple. Sea j en F cualquier soluci6n de la ecuaci6n Z2 + 1 = O. Considerese. en F, a todos los numeros de la forma a + jb, para mimeros reales a y b. Este conjunto es, algebraicamente, el mismo que C, por el simple hecho de que j juega el papel de i y puede ser identificado con i, puesto que j2 = -1. Debemos tarnbien comprobar que a + jb = c + jd implica que a = c y b = d, para estar seguros que la igualdad en este conjunto coincide con la de C. En efecto, (a - c) + j(b - d) = 0, por 10 tanto, debemos pro bar que e + jf = implica que e = 0 s i= (donde e = a - c v I= b - d). Si!= 0, entonces, claramente tambien e = 0. Pero sit ~ 0, entonces j = -elf, que es real y ningiin mimero real satisface que j2 = -1, puesto que el cuadrado de cualquier mirnero real es no negativo y, por tanto, f debe ser O. Esto prueba nuestra afirmaci6n. Podemos reformular nuestro resultado diciendo que C es La extension de campo mas pequeiia de R en el

cuallas

ecuaciones

cuadrdticas

son resolubles.

Otra pregunta surge en este punto. Convertimos a R2 en un campo. iPara que otra n, puede ser R" convertido en un campo? Vamos a pedir en principio que las operaciones algebraicas coincidan con aquellas de R, suponiendo que R es el eje x. La respuesta es; s610 en el caso en que n = 2. Una estructura parecida a la de un campo, Hamada los cuatemiones, puede ser obtenida para n = 4, excepto que la regIa zw = wz falla, Tal estructura es llamada un campo no conmutativo, La prueba de estos resultados puede encontrarse en un texto de algebra abstracta avanzada.

Ejemplos resueltos
1.1.4. Pruebe que IIi = -i y que 1/(i + I) = (I - i)/2. Soluci6n. Primero.

- = _.
ya
que i- -;

--

=r]

-i

=-i

=-

(i) 2

= -(-I)
i+ I

= I. Asimismo I-i ;+1 I-i 1-; =--2

---=
puesto que (I + i) (I - i) = I + I

= 2.

1.2. PROPIEDADES DE LOS NUMEROS COMPLEJOS

29

La proposicion compleja. Proposicion 1.2.4


(i)

1.2.4 resume las principales

propiedades

de la conjugacion

z + z'

(ii) zz'

= z Z!.

= z + Z:.
para z' =;6 O.

(iii) z/z'
(v)
Z

=z/z'

(iv) zz = Izl2yen consecuencia

= z si y solo

si z =;6 0, tenemos que


/2i.

Z-l

= z/lzI2.

sf z es real.

(vi) Re z = (z + z)/2 e 1m z (vii) z = z. Demostracion

= (z - z)

(i) Sea z = a + ib Y sea z' = a' + ib'. Entonces, z +.z' = (a + a') + i(b + b') y, por 10 tanto, z + Z' = (a + a') - itb + b") = a - ib + a' - ib' = + ? (ii) Sea z = a + ib Y sea z' = a' + lb'. Entonces

zz'
(iii) (iv) (v) (vi) (vii)

= (aa' - bb')

Por otra parte,

-u: = (a - ib) (a' - ib') = (aa' - bh') - i(ab'

+ i(ah' +a' b) = (aa' - bb') - i(ab' + a' b)


+ a 'b).

zz

De (ii) tenemos que? z/ z' = z' z/ z' = Z. Asf, z/ z' = "i/ z' . = (a + ib) (a - ih) = a2 + b2= Iz12. Si a + ib = a - ib, entonces ib = -ib y, por tanto, b = O. Esta afirmacion es clara de la definicion de Z. Esta afirmacion tarnbien es clara de la definicion de la conjugacion compleja .•

EI valor absoluto de un mimero complejo, Izl = la + ibl =~a2 + b2, el cual es meramente la longitud euclidiana usual del vector que representa al numero complejo, ya ha sido definido. De la proposicion 1.2.4 (iv), notamos que lzlesta tambien dado como Izl2 = El valor absoluto de un ruimero complejo aparece a 10 largo de todo el analisis complejo; las siguientes propiedades del valor absoluto son basicas.

zz.

Proposicion 1.2.5
(i) I zz'l = lzl • Iz'l. (ii) Si z' =;6 0, entonces Iz/z'l = lzl /lz'l.

(iii) -Izl ~ Re z ~ Izl y -Izl ~ 1m z ~ lzl ; esto es, IRe zl ~ Izl y 11mzl ~ Izl. (iv) (v) (vi) (vii) lzl = Izl. Iz + z'l ~ Izl + Iz'l. Iz - z'l ~ I lzl - Iz'l I. IzI W I + ... + z nW n- < ~ Iz1 12+ ••• + Izn12 fI~112 +---=-=-=-+TwnI2. 1

30

CAP. 1. FUNCIONES

ANALITICAS

EI resuItado (iv) es claro geornetricamente de la figura 1.2.9, (v) es Ia desigualdad del tridngulo usual para vectores en R2 (vease figura 1.2.10) y (vii) es referida como la desigualdad de Cauchy. Mediante la aplicacion repetida de (v) obtenemos el postulado generallz I + ... + z/ll ~ lz II + ... + IZ/Ii.
y

Figura 1.2.10.

Desigualdad

del trlangulo.

Demostracion
(i) Esta identidad fue probada en la proposicion 1.2.1. (ii) Por (i), Iz'llz / z'l lz' • (z/z') lzl, asf que Iz/z'l Izl /lz'l.

(iii) Si z = a + ib, entonees - J a2 +77~ a:5 J a + b puesto que b2 ;:::O. La otra desigualdad afirmada en (iii) se prueba en forma similar. (iv) Si z = a + ib, entonees Z = a - ib, Y claramente tenemos que lzl = .[a2 + b2 = J a2 + (-b )2 = Izl . (v) Por la proposicion 1.2.4 (iv),
2 2

lz

+ z'12 = (z + z') (z + z') = (z + z') + z') = zz + z'z' + z'z + zz'

(z

Pero zz' es el conjugado de z'z ( GPor que"), por tanto, por la proposicion 1.2.4 (vi) y (iii) de esta demostracion, Izl2+ Iz'l 2 + 2 Re z'z :5 Izl2+ Iz'I2 + 2lz'zl = Izl2+ Iz'12+ 21z1 lz'I. Pero esto es igual a (lzi + IZ'I)2,con 10 que obtenemos nuestro resultado. (iv) Al aplicar (v) a z' y z - z', obtenemos Izl = Iz' + (z - z')1 :5lz'l + lz - z'I, por 10 tanto, lz =: z'l ;:::lzl - lz'L Al intercambiar los roles de z y z', obtenemos de modo semejante que lz - z'l ;:::Iz'l - Izl = -(lzi - Iz'I), que es 10 que original mente afirmamos. (vii) Esta desigualdad es menos evidente y su prueba requiere de un pequefio truco matematico (vease el ejercicio 22 para una demostracion diferente). Supongamos que no todos los wI.' = 0 ( en otro caso el resultado es claro). Sea

31
n

t=Llw/
k=l

s=LZkWk
k=I

y c=s sit

Ahara considerese

L Izkk'" I

cw l
k
n

la cual es ;;:: e igual a 0


V

+ 1c12t-c
k

L ~~-cLZkwk =
=
I k

+ Ic12t-2 Re cs
Isl2 SS ---2Rc-t 1

=v+

Dado que 1 es real y S5 = Isl2 es real, v + (lsi 211) - 2(lsI2It) Asf, Is12::;;vt, que es el resultado deseado.. .

= v -lsI2It;;::

O.

EjempJos resueltos
1.2.6. Resuelva para
Solucion.
z, zK

I.

Dado que I 1.2.3 nos da


Z

= cos

k21t + i sen k21t, donde k es cualquier entero, el corolario

= cos

--


8

+ i sen

k21t

8
-I

= 0,
-I 2

1, 2, ... , 7

I i =I,--+--,i,--+--,-I,--

i [2-

,Ii

r2~

J2:

- --,-i,--

r5.

F2-

---

J 2-

Estes pueden dibujarse como puntos igualmente espaciados sobre el cfrculo en el plano complejo (vease figura 1.2.11).
(3 + 7i)2] [ (3 - 7i)2 = ---(8-6i)

1.2.7. Muestre que

(8+6i)

Solucion. El punto aquf no es necesariamente

desarrollar primero (3 + 7i)2/(8 + 6;); si


Z2

simplemente usamos las propiedades desarrolladas en el texto, a saber,

2/? , obtenemos

= (Z)2 Y zl z'

que

(3 + 7i)2] (8 + 6i)

7;)2 (3 +7;)2 (3- 7i)2 = = -:;( 8;:;:+=;:6,:;-") 8 - 6i 8 - 6;


(3 +

32

CAP. 1. FUNCIONES

ANALITICAS

J 1.2.8. Si Izl

1, pruebe que az+~I=l

l bz -s a

para cualesquiera numeros complejos a y b. Solucion. Puesto que lzl = 1, tenemos que z = Z-l. Por 10 tanto az+b bz+a y

1 --+--

/1

II

-1

-1 --+--

II

J2

-l

--+--

II

J2

Figura 1.2.11. Las ocho rakes octavas de la unidad. Por las propiedades del valor absoluto y puesto que lzl = I,

l~z+:1 a bz +
t 1.2.9.

=Ia~+b I. aZ +b

lzl

ya que laz + bl = laz + bl = laz + bl. Muestre que el maximo del valor absoluto de z2 + 1 en el disco Izl 5 1 es 2. Solucion. Por la desigualdad del triangulo. Iz2 + 115 Iz21+ 1 5 Izl2 + 1 5 12 + 1 = 2, ya que Izl 5 1, asf Iz2 + 11no excede a 2 en el disco. Puesto que el valor 2 se alcanza en z= I, entonces el maximo es 2. 1.2.10. Exprese cos 39 en terminos de cos 9 y sen 9 usando la formula de De Moivre. Solucion. La f6rmula de De Moivre para (cos 9 + i sen 9)3
r x:

1 y n = 3 nos da la identidad

= cos 39 + i sen 39

1.2. PROPIEDADES

DE LOS NUMEROS

COMPLEJOS

33

Cuando se expande el Iado Izquierdo de esta ecuaci6n (vease el ejercicio 14 de la secci6n 1.1), resulta cos:'

e + ;3 cos? e sen e -

3 cos

e sen2e -

i sen''

Al igualar las partes reales e imaginarias, obtenemos que cos y la f6rmula adicional sen

3e = cos3e - 3 cos e sen2 e e + 3 cos? e sen e

3e ;; -

sen?

1.2.11. Escriba, en notacion compleja, la ecuacion de una linea recta, de un cfrculo y de una elipse. Solucion La linea recta se expresa mas convenientemente en forma parametrizada: z = a + bt, a, b E C, t E R, Ia cua1 representa una lfnea en la direccion de b y que pasa por el punta a. EI cfrculo puede expresarse como Iz - al = r (radio r, centro a). La elipse puede expresarse como lz - dl + lz + dl = 2a; los focos estan localizados en :!::.d y el semieje mayor es igual a a. Estas ecuaciones, en las que I • I es interpretado como la longitud, son las definiciones de estos lugares geornetricos. 1.2.12. Suponga que u = a + ib y v = c + id son nameros complejosfijos y que IJ. es un numero real positivo. Demuestre que la ecuacion.

I
describe un circulo
0

Z-U

I2=IJ.

una linea recta en el plano complejo.

Solucion. Si hacemos z

= x + iy, Ia ecuaci6n
-

resulta
(x_a)2+(y_b)2 (x-c)2+(y-d)2

(X-a)+i(y-b)12
II I"'" I

(x-c)+i(y-d)

Despues de hacer el producto cruzado, desarrollar y luego agrupar los terminos en x y y en ellado izquierdo, obtenemos

Si IJ. = 1, esta es la ecuaci6n de una linea. En efecto, es la lfnea perpendicular que bisecta el segmento entre u y v. Si IJ. ¥ I, al completar cuadrados obtenemos

34
X ( _

a-

~C

)2 + (Y _

b -lld)2
1-1l

~(C2

+d)

(a

+ b ) + ( a -IlC)2
1-1l

+ (b -

~d)2

1-~

I-~

1-1l

que es la ecuacion y de radio (,I III J 1

de un cfrculo

con centro

en

« a -llc)/(I

-Il),

(b -lld)/(l

-Il)

-Ill ) n;;=-~)'r;'-(b-~)2~ d

Ejercicios
1. Resuelva
las siguientes ecuaciones: b)
Z4

+i

=0

2. Resuelva
a)
Z6

las siguientes

ecuaciones:

+8=0
complejo complejo de (3 + 8i)4/(1 + i)IO ? de (8 - 2;)10/(4 + 6i)5? de cos x y sen x.

3. l,Cmll es el conjugado 4. i,Cual es el conjugado

5. Exprese cos 5x y sen 5x en terminos 7. Encuentre


8.) Encuentre el valor absoluto el valor absoluto de [i(2

6. Exprese cos 6x y sen 6x en terrninos de cos x y sen x.

+ 3;) (5 - 2;)]/(- 2 - i).

de (2 - 3i)2/(8 + 6if.

9. Sea w una rafz n-esima de la unidad, w ¥= 1. Demuestre que 1 + w + w2 + ... + wn - I = O. 10. Demuestre que las rafces de un polinomio con coeficientes reales ocurren en parejas
conjugadas. 11. Si a, b
E

C, pruebe la identidad geornetricamente se satisface que lzl = 1 la igualdad

del paralelogramo: del ejercicio en la desigualdad

Ja - bJ2 + la 11.

+ bl2

= 2(la12

+ IbI2).

12. Interprete 13. l,Cuando


14. Suponga

la identidad

del triangulo IZI + Z2 su resultado. que

+ ... + znl ~

IZII + IZ21 +

... + IZnl? Interprete geornetricarnente


0

Iwl = 1 y que

ZW ¥= 1, demuestre

IZ-~I=l zw
115. l,Es cierto que
res de
Z2

= Iz12? Si

10 es, demuestre

esta identidad.

Si no 10 es, (,para que valo-

z es
Z

cierto?

16.
17.

Haciendo Sean lados.

+ iy, pruebe que Ixl + Iyl ~ 121zl. a + ib y z' = a' + ib'. Pruebe que lzz'l
z

=x

lzl Iz'l evaluando cada uno de los

1.2. PROPIEDADES DE LOS NUMEROS COMPLEJOS

35

18. Pruebe 10 siguiente:


a) c)

arg

z ;::;:; ~arg

(mod 21t)

b)

argrz/w)

arg z - arg w (mod 21t)

Izl;::;:; si y solo si z ;::;:; 0 0

19. loCuM es la ecuacion del cfrculo con radio 3 y centro en 8 + 5i en notacion compleja? 20. Usando la formula
Z-I ;::;:; Ilzl2,

muestre como construir geometricamente

Z-I.

21. Describa al conjunto de todas las z tales que 1m (z + 5) 22. Pruebe la identidad de Lagrange:

= O.

Deduzca la desigualdad de Cauchy a partir de su demostraci6n. 23. Encuentre el maximo de lz" + al para aquellas ros reales: IRe (iz3 + 1) tal que lzl < 2). 25. Pruebe la identidad trigonometrica de Lagrange: sen + ~) 8 +------2 8 2 sen
r=

z con

lzl S 1.

24. Calcule la minima cota superior (esto es, el supremo) del siguiente conjunto de mime-

I + cos 8 + cos 28 + ...

+ cos n8

(n

(Suponga que sen (8/2) ¥- 0.) 26. Suponga que los mimeros complejos
Zj' Z2' Z3

satisfacen la ecuacion

Pruebe que IZ2 - z II ;::;:;Z3 - z II ;::;:;IZ2- z31 . iSugerencia: argumente geornetricamente, I terpretando el resultado de cada afirrnacion.) 27. De una condicion necesaria y suficiente para
a) Z l' Z 2' Z 3
Z2' Z3'

in-

b) z l'

esten en una linea recta. Z4' esten en una linea recta

en un cfrculo.

28. Pruebe la identidad sen


Sugerencia: 1t

sen

21t

sen

(n-I)1t

=
I

El producto dado puede ser escrito como 112" rafces diferentes de cero del polinomio (1 - z)n - I.)

veces el producto de las

36

CAP. 1. fUNCIONES

ANALiTICAS
=1=

29. Sea w una rafz n-esirna de la unidad, w

1. Evalue 1 + 2w + 3w2 + ... + nwll


a

30. La correspondencia del mimero complejo z = a + ib can la matriz ( b

-b)
a

J.

= 'V'z mencio-

nada en el parrafo anterior al resultado 1.2.2, da otra manera de representar los mimeros complejos. Demuestre que
a)

'l'zw = 'l'z'l'w. b) 'l'z + co = 'l'z +'I'w.


c) d) e) f) g) h)

= (~ ~). I..'V' = 'V'AZ si I.. es real.


'1'1
Z

'V'z = ('1'/ (la matriz transpuesta). 'V'I/z

= ('V')-I. = ('I'X

z es real si y s610 si 'V'z

lzl = lsi y s610 si 'V'z es una matriz ortogonal.

1.3. ALGUNAS FUN ClONES ELEMENTALES


Las funciones trigonometricas seno y coseno, as! como la funci6n exponencial y la funci6n logaritmo, se estudian en calculo elemental. Recuerdese que las funciones trigonometricas pueden definirse en terminos de las razones de los lados de. un triangulo rectangulo, La definici6n de "angulo" puede extenderse hasta incluir cualquier mimero real y de este modo cos e y sen e se convierten en funciones con valores reales de variable real, e. Es un hecho basico que el cos e y sen e son diferenciables, con derivadas dadas por d(cos e)/ de = -sen e y d(sen e)/ de = cos e. Alternativamente, el cos e y el sen 8 pueden definirse por sus series de potencias:
senx=x-

x3 x5 --+--3! 5!
1-

cosx=

--+--2! 4!

x2

X4

La convergencia de estas series, por supuesto, debe tambien demostrarse; tal demostraci6n puede encontrarse en el capitulo 3 y en cualquier texto de calculo.' Alternativamente, el sen x puede definirse como la iinica soluci6n f(x) de la ecuaci6n diferencial f" (x) -+ f(x) = 0 que satisface f( 0) = 0, f' (0) = l ; y el cos x puede definirse como la iinica soluci6n de f"(X) + f(x) = 0, f(O) =1, f'(O) = 0 (otra vez, vease un texto de calculo para las demostraciones).
I Tal como, 1. Marsden cap. 12.

y A. Weinstein,

Calculus, 2a. ed., Nueva York, Springer-Verlag,

1985,

37

La funcion exponencial
La funcion exponencial, denotada por eX, puede definirse como la iinica solucion de la ecuacion diferencialj'(x) = I(x), sujeta a la condicion inicialj'(O) = 1. (Puede demostrarse que existe una iinica solucion.) La funcion exponencial tambien puede definirse por su serie de potencias: x2 x3 eX = 1 +x+--+--+··· 2! 3! Aceptamos del calculo el hecho que eX es una funcion de x, positiva y estrictamente creciente. Por tanto, para y > 0, log y puede definirse como la funcion inversa de eX; esto es, e10g y = y. Otro enfoque que es usado frecuentemente en libros de calculo es empezar por definir logy

para y > y entonces definir e' como la funcion inversa de log y. (Nota: Muchos libros de calculo escriben In y para el logaritrno con base en e. Como en la mayorfa de los textos avanzados de matematicas, a 10 largo de este libro escribiremos log y en vez de In y.) En esta seccion, se extenderan estas funciones al plano complejo. En otras paJabras, se definiran las funciones sen z, cos z, eZ y log z para complejos z y sus restricciones a la lfnea real seran los usuales sen x, cos x, eX y log x. La extension a los mimeros complejos debe ser natural en el sentido que muchas de las propiedades familiares de sen, cos, exp y log se conserven. Estas funciones, aSI como la funcion potencia z" , se estudiaran geometricamente mas adelante en esta misma seccion. Primero extenderemos la funcion exponencial. Sabemos del calculo que para un mimero real x, eX puede representarse por su serie de Maclaurin: eX= 1 -+ I!
X

y 1

1 -dt
t

+ --

x2 2!
eiy

+ --+
3! par

x3

AsI. debe ser de 10 mas natural definir


(iy)

1+--+--+
I!

(iy)2

2!

para y e R. Por supuesto, esta definicion no es muy legftima, ya que la convergencia de series en C no ha sido aiin discutida. En el capitulo 3 se rnostrara que esta serie efectivamente representa un mirnero complejo bien definido para cada y, pero por el momento, 1a serie es usada informal mente como la base de la definicion que sigue, la cual sera precisa. Un ligero reordenamiento de la serie (usando el ejercicio 16, seccion 1.1.) muestra que eiy =

(1- L
. 2!

+~

4!

- ... ) +

i(y-

Y3 !

+ --5!

y5

...

38

CAP. t. FUNCIONES ANALiTICAS

Pero reconocemos

que esto es simplemente

cos y

+ i sen

y. Por 10 tanto,

defi-

nimos.
eiy:::

cos y + i sen y.

l.Como definimos

eZ para z a 10 largo de los ejes real e imaginario. Deseamos que nuestra extension de 1a exponencial conserve las propiedades familiares y entre estas esta la ley de los exponentes: e" + b e" • e", Este requisito nos obliga a definir eX + iy e':: eiy• Esto puede expresarse en una definicion formal:
Hasta aqui, hemos definido
eZ

= eX + iy?

Definicion 1.3.1. Si z = x + iy, entonces definimos eZ como eX (cos y + i sen y).


Notese que si z es real (esto es, si y = 0), esta definicion coincide con 1a funcion exponencial usual e", EI estudiante debe ser cauto en este punto, no estamos pensando a eZ como "e elevado a la «potencia» z" puesto que e1 concepto de exponentes comp1ejos no ha sido definido aiin. La notacion e'- es meramente una abreviatura de la funcion definida como eX(cos y + i sen y). Existe tambien otra razon, puramente formal, para definir eiy cos y + i sen y. Si escribimos eiy = fey) + ig(y), notamos que puesto que queremos que eO = l, debemos tener f(O) = 1 y g(O) = O. Al derivar con respecto de y nos da iei)' = I' (y) + ig'(y), por 10 tanto, cuando y = 0, obtenemosf'(O) = 0, g'(O) = 1. Al diferenciar nuevamente nos queda _eiy = f"(y) + ig"(y). Si comparamos estos resultados con e iy ::: f(y) + ig(y), obtenemos que l''(y) + f(y) = O,f( 0) = l,f' (0) = 0, de modo quef(y) = cos y; y g"(y) + g(y) = 0, g(O) = 0, g'(O)::: 1, de modo que g(y) sen y, por la definicion de sen y y cos y en terminos de ecuaciones diferenciales. Asf, obtenemos que eiy = cos y + i sen y, como en la definicion 1.3.1. Algunas de las propiedades importantes de e'- estan resumidas en la siguiente proposicion, Para enunciarlas necesitamos recordar la definicion de funcion periodica, a saber, una funcion f: C ~ C se llama periodica, si existe un W E C (llamado periodo) tal quef(z + w) fez) para toda z E C.

Proposicion 1.3.2 para toda z,w E C. (ii) e nunca es O. (iii) Si x es real, entonces eX > 1 cuando x > 0, Y eX < 1 cuando x < O. (iv) leX + iYI = e".
(i) eZ+w
Z

= eZe

(v) elti12 (vii) e


Z

= i, elti

:::

=I, e3lti12 = -I, ehi

= l.

(vi) eZ es periodica,

cualquier periodo de eZ tiene laforma 21tni, n entero.

= 1 si y s610 si z = 2n1ti para

algun entero n (positivo, negativo, 00).

Demostracion
(i) Sea z = x + iy y sea w = s + it. Por nuestra definicion de e',

1.2. PROPIEDADES DE LOS NUMEROS COMPLEJOS

29

La proposicion compleja. Proposicion 1.2.4


(i)

1.2.4 resume las principales

propiedades

de la conjugacion

z + z'

(ii) zz'

= z Z!.

= z + Z:.
para z' =;6 O.

(iii) z/z'
(v)
Z

=z/z'

(iv) zz = Izl2yen consecuencia

= z si y solo

si z =;6 0, tenemos que


/2i.

Z-l

= z/lzI2.

sf z es real.

(vi) Re z = (z + z)/2 e 1m z (vii) z = z. Demostracion

= (z - z)

(i) Sea z = a + ib Y sea z' = a' + ib'. Entonces, z +.z' = (a + a') + i(b + b') y, por 10 tanto, z + Z' = (a + a') - itb + b") = a - ib + a' - ib' = + ? (ii) Sea z = a + ib Y sea z' = a' + lb'. Entonces

zz'
(iii) (iv) (v) (vi) (vii)

= (aa' - bb')

Por otra parte,

-u: = (a - ib) (a' - ib') = (aa' - bh') - i(ab'

+ i(ah' +a' b) = (aa' - bb') - i(ab' + a' b)


+ a 'b).

zz

De (ii) tenemos que? z/ z' = z' z/ z' = Z. Asf, z/ z' = "i/ z' . = (a + ib) (a - ih) = a2 + b2= Iz12. Si a + ib = a - ib, entonces ib = -ib y, por tanto, b = O. Esta afirmacion es clara de la definicion de Z. Esta afirmacion tarnbien es clara de la definicion de la conjugacion compleja .•

EI valor absoluto de un mimero complejo, Izl = la + ibl =~a2 + b2, el cual es meramente la longitud euclidiana usual del vector que representa al numero complejo, ya ha sido definido. De la proposicion 1.2.4 (iv), notamos que lzlesta tambien dado como Izl2 = El valor absoluto de un ruimero complejo aparece a 10 largo de todo el analisis complejo; las siguientes propiedades del valor absoluto son basicas.

zz.

Proposicion 1.2.5
(i) I zz'l = lzl • Iz'l. (ii) Si z' =;6 0, entonces Iz/z'l = lzl /lz'l.

(iii) -Izl ~ Re z ~ Izl y -Izl ~ 1m z ~ lzl ; esto es, IRe zl ~ Izl y 11mzl ~ Izl. (iv) (v) (vi) (vii) lzl = Izl. Iz + z'l ~ Izl + Iz'l. Iz - z'l ~ I lzl - Iz'l I. IzI W I + ... + z nW n- < ~ Iz1 12+ ••• + Izn12 fI~112 +---=-=-=-+TwnI2. 1

30

CAP. 1. FUNCIONES

ANALITICAS

EI resuItado (iv) es claro geornetricamente de la figura 1.2.9, (v) es Ia desigualdad del tridngulo usual para vectores en R2 (vease figura 1.2.10) y (vii) es referida como la desigualdad de Cauchy. Mediante la aplicacion repetida de (v) obtenemos el postulado generallz I + ... + z/ll ~ lz II + ... + IZ/Ii.
y

Figura 1.2.10.

Desigualdad

del trlangulo.

Demostracion
(i) Esta identidad fue probada en la proposicion 1.2.1. (ii) Por (i), Iz'llz / z'l lz' • (z/z') lzl, asf que Iz/z'l Izl /lz'l.

(iii) Si z = a + ib, entonees - J a2 +77~ a:5 J a + b puesto que b2 ;:::O. La otra desigualdad afirmada en (iii) se prueba en forma similar. (iv) Si z = a + ib, entonees Z = a - ib, Y claramente tenemos que lzl = .[a2 + b2 = J a2 + (-b )2 = Izl . (v) Por la proposicion 1.2.4 (iv),
2 2

lz

+ z'12 = (z + z') (z + z') = (z + z') + z') = zz + z'z' + z'z + zz'

(z

Pero zz' es el conjugado de z'z ( GPor que"), por tanto, por la proposicion 1.2.4 (vi) y (iii) de esta demostracion, Izl2+ Iz'l 2 + 2 Re z'z :5 Izl2+ Iz'I2 + 2lz'zl = Izl2+ Iz'12+ 21z1 lz'I. Pero esto es igual a (lzi + IZ'I)2,con 10 que obtenemos nuestro resultado. (iv) Al aplicar (v) a z' y z - z', obtenemos Izl = Iz' + (z - z')1 :5lz'l + lz - z'I, por 10 tanto, lz =: z'l ;:::lzl - lz'L Al intercambiar los roles de z y z', obtenemos de modo semejante que lz - z'l ;:::Iz'l - Izl = -(lzi - Iz'I), que es 10 que original mente afirmamos. (vii) Esta desigualdad es menos evidente y su prueba requiere de un pequefio truco matematico (vease el ejercicio 22 para una demostracion diferente). Supongamos que no todos los wI.' = 0 ( en otro caso el resultado es claro). Sea

31
n

t=Llw/
k=l

s=LZkWk
k=I

y c=s sit

Ahara considerese

L Izkk'" I

cw l
k
n

la cual es ;;:: e igual a 0


V

+ 1c12t-c
k

L ~~-cLZkwk =
=
I k

+ Ic12t-2 Re cs
Isl2 SS ---2Rc-t 1

=v+

Dado que 1 es real y S5 = Isl2 es real, v + (lsi 211) - 2(lsI2It) Asf, Is12::;;vt, que es el resultado deseado.. .

= v -lsI2It;;::

O.

EjempJos resueltos
1.2.6. Resuelva para
Solucion.
z, zK

I.

Dado que I 1.2.3 nos da


Z

= cos

k21t + i sen k21t, donde k es cualquier entero, el corolario

= cos

--


8

+ i sen

k21t

8
-I

= 0,
-I 2

1, 2, ... , 7

I i =I,--+--,i,--+--,-I,--

i [2-

,Ii

r2~

J2:

- --,-i,--

r5.

F2-

---

J 2-

Estes pueden dibujarse como puntos igualmente espaciados sobre el cfrculo en el plano complejo (vease figura 1.2.11).
(3 + 7i)2] [ (3 - 7i)2 = ---(8-6i)

1.2.7. Muestre que

(8+6i)

Solucion. El punto aquf no es necesariamente

desarrollar primero (3 + 7i)2/(8 + 6;); si


Z2

simplemente usamos las propiedades desarrolladas en el texto, a saber,

2/? , obtenemos

= (Z)2 Y zl z'

que

(3 + 7i)2] (8 + 6i)

7;)2 (3 +7;)2 (3- 7i)2 = = -:;( 8;:;:+=;:6,:;-") 8 - 6i 8 - 6;


(3 +

32

CAP. 1. FUNCIONES

ANALITICAS

J 1.2.8. Si Izl

1, pruebe que az+~I=l

l bz -s a

para cualesquiera numeros complejos a y b. Solucion. Puesto que lzl = 1, tenemos que z = Z-l. Por 10 tanto az+b bz+a y

1 --+--

/1

II

-1

-1 --+--

II

J2

-l

--+--

II

J2

Figura 1.2.11. Las ocho rakes octavas de la unidad. Por las propiedades del valor absoluto y puesto que lzl = I,

l~z+:1 a bz +
t 1.2.9.

=Ia~+b I. aZ +b

lzl

ya que laz + bl = laz + bl = laz + bl. Muestre que el maximo del valor absoluto de z2 + 1 en el disco Izl 5 1 es 2. Solucion. Por la desigualdad del triangulo. Iz2 + 115 Iz21+ 1 5 Izl2 + 1 5 12 + 1 = 2, ya que Izl 5 1, asf Iz2 + 11no excede a 2 en el disco. Puesto que el valor 2 se alcanza en z= I, entonces el maximo es 2. 1.2.10. Exprese cos 39 en terminos de cos 9 y sen 9 usando la formula de De Moivre. Solucion. La f6rmula de De Moivre para (cos 9 + i sen 9)3
r x:

1 y n = 3 nos da la identidad

= cos 39 + i sen 39

1.2. PROPIEDADES

DE LOS NUMEROS

COMPLEJOS

33

Cuando se expande el Iado Izquierdo de esta ecuaci6n (vease el ejercicio 14 de la secci6n 1.1), resulta cos:'

e + ;3 cos? e sen e -

3 cos

e sen2e -

i sen''

Al igualar las partes reales e imaginarias, obtenemos que cos y la f6rmula adicional sen

3e = cos3e - 3 cos e sen2 e e + 3 cos? e sen e

3e ;; -

sen?

1.2.11. Escriba, en notacion compleja, la ecuacion de una linea recta, de un cfrculo y de una elipse. Solucion La linea recta se expresa mas convenientemente en forma parametrizada: z = a + bt, a, b E C, t E R, Ia cua1 representa una lfnea en la direccion de b y que pasa por el punta a. EI cfrculo puede expresarse como Iz - al = r (radio r, centro a). La elipse puede expresarse como lz - dl + lz + dl = 2a; los focos estan localizados en :!::.d y el semieje mayor es igual a a. Estas ecuaciones, en las que I • I es interpretado como la longitud, son las definiciones de estos lugares geornetricos. 1.2.12. Suponga que u = a + ib y v = c + id son nameros complejosfijos y que IJ. es un numero real positivo. Demuestre que la ecuacion.

I
describe un circulo
0

Z-U

I2=IJ.

una linea recta en el plano complejo.

Solucion. Si hacemos z

= x + iy, Ia ecuaci6n
-

resulta
(x_a)2+(y_b)2 (x-c)2+(y-d)2

(X-a)+i(y-b)12
II I"'" I

(x-c)+i(y-d)

Despues de hacer el producto cruzado, desarrollar y luego agrupar los terminos en x y y en ellado izquierdo, obtenemos

Si IJ. = 1, esta es la ecuaci6n de una linea. En efecto, es la lfnea perpendicular que bisecta el segmento entre u y v. Si IJ. ¥ I, al completar cuadrados obtenemos

34
X ( _

a-

~C

)2 + (Y _

b -lld)2
1-1l

~(C2

+d)

(a

+ b ) + ( a -IlC)2
1-1l

+ (b -

~d)2

1-~

I-~

1-1l

que es la ecuacion y de radio (,I III J 1

de un cfrculo

con centro

en

« a -llc)/(I

-Il),

(b -lld)/(l

-Il)

-Ill ) n;;=-~)'r;'-(b-~)2~ d

Ejercicios
1. Resuelva
las siguientes ecuaciones: b)
Z4

+i

=0

2. Resuelva
a)
Z6

las siguientes

ecuaciones:

+8=0
complejo complejo de (3 + 8i)4/(1 + i)IO ? de (8 - 2;)10/(4 + 6i)5? de cos x y sen x.

3. l,Cmll es el conjugado 4. i,Cual es el conjugado

5. Exprese cos 5x y sen 5x en terminos 7. Encuentre


8.) Encuentre el valor absoluto el valor absoluto de [i(2

6. Exprese cos 6x y sen 6x en terrninos de cos x y sen x.

+ 3;) (5 - 2;)]/(- 2 - i).

de (2 - 3i)2/(8 + 6if.

9. Sea w una rafz n-esima de la unidad, w ¥= 1. Demuestre que 1 + w + w2 + ... + wn - I = O. 10. Demuestre que las rafces de un polinomio con coeficientes reales ocurren en parejas
conjugadas. 11. Si a, b
E

C, pruebe la identidad geornetricamente se satisface que lzl = 1 la igualdad

del paralelogramo: del ejercicio en la desigualdad

Ja - bJ2 + la 11.

+ bl2

= 2(la12

+ IbI2).

12. Interprete 13. l,Cuando


14. Suponga

la identidad

del triangulo IZI + Z2 su resultado. que

+ ... + znl ~

IZII + IZ21 +

... + IZnl? Interprete geornetricarnente


0

Iwl = 1 y que

ZW ¥= 1, demuestre

IZ-~I=l zw
115. l,Es cierto que
res de
Z2

= Iz12? Si

10 es, demuestre

esta identidad.

Si no 10 es, (,para que valo-

z es
Z

cierto?

16.
17.

Haciendo Sean lados.

+ iy, pruebe que Ixl + Iyl ~ 121zl. a + ib y z' = a' + ib'. Pruebe que lzz'l
z

=x

lzl Iz'l evaluando cada uno de los

1.2. PROPIEDADES DE LOS NUMEROS COMPLEJOS

35

18. Pruebe 10 siguiente:


a) c)

arg

z ;::;:; ~arg

(mod 21t)

b)

argrz/w)

arg z - arg w (mod 21t)

Izl;::;:; si y solo si z ;::;:; 0 0

19. loCuM es la ecuacion del cfrculo con radio 3 y centro en 8 + 5i en notacion compleja? 20. Usando la formula
Z-I ;::;:; Ilzl2,

muestre como construir geometricamente

Z-I.

21. Describa al conjunto de todas las z tales que 1m (z + 5) 22. Pruebe la identidad de Lagrange:

= O.

Deduzca la desigualdad de Cauchy a partir de su demostraci6n. 23. Encuentre el maximo de lz" + al para aquellas ros reales: IRe (iz3 + 1) tal que lzl < 2). 25. Pruebe la identidad trigonometrica de Lagrange: sen + ~) 8 +------2 8 2 sen
r=

z con

lzl S 1.

24. Calcule la minima cota superior (esto es, el supremo) del siguiente conjunto de mime-

I + cos 8 + cos 28 + ...

+ cos n8

(n

(Suponga que sen (8/2) ¥- 0.) 26. Suponga que los mimeros complejos
Zj' Z2' Z3

satisfacen la ecuacion

Pruebe que IZ2 - z II ;::;:;Z3 - z II ;::;:;IZ2- z31 . iSugerencia: argumente geornetricamente, I terpretando el resultado de cada afirrnacion.) 27. De una condicion necesaria y suficiente para
a) Z l' Z 2' Z 3
Z2' Z3'

in-

b) z l'

esten en una linea recta. Z4' esten en una linea recta

en un cfrculo.

28. Pruebe la identidad sen


Sugerencia: 1t

sen

21t

sen

(n-I)1t

=
I

El producto dado puede ser escrito como 112" rafces diferentes de cero del polinomio (1 - z)n - I.)

veces el producto de las

36

CAP. 1. fUNCIONES

ANALiTICAS
=1=

29. Sea w una rafz n-esirna de la unidad, w

1. Evalue 1 + 2w + 3w2 + ... + nwll


a

30. La correspondencia del mimero complejo z = a + ib can la matriz ( b

-b)
a

J.

= 'V'z mencio-

nada en el parrafo anterior al resultado 1.2.2, da otra manera de representar los mimeros complejos. Demuestre que
a)

'l'zw = 'l'z'l'w. b) 'l'z + co = 'l'z +'I'w.


c) d) e) f) g) h)

= (~ ~). I..'V' = 'V'AZ si I.. es real.


'1'1
Z

'V'z = ('1'/ (la matriz transpuesta). 'V'I/z

= ('V')-I. = ('I'X

z es real si y s610 si 'V'z

lzl = lsi y s610 si 'V'z es una matriz ortogonal.

1.3. ALGUNAS FUN ClONES ELEMENTALES


Las funciones trigonometricas seno y coseno, as! como la funci6n exponencial y la funci6n logaritmo, se estudian en calculo elemental. Recuerdese que las funciones trigonometricas pueden definirse en terminos de las razones de los lados de. un triangulo rectangulo, La definici6n de "angulo" puede extenderse hasta incluir cualquier mimero real y de este modo cos e y sen e se convierten en funciones con valores reales de variable real, e. Es un hecho basico que el cos e y sen e son diferenciables, con derivadas dadas por d(cos e)/ de = -sen e y d(sen e)/ de = cos e. Alternativamente, el cos e y el sen 8 pueden definirse por sus series de potencias:
senx=x-

x3 x5 --+--3! 5!
1-

cosx=

--+--2! 4!

x2

X4

La convergencia de estas series, por supuesto, debe tambien demostrarse; tal demostraci6n puede encontrarse en el capitulo 3 y en cualquier texto de calculo.' Alternativamente, el sen x puede definirse como la iinica soluci6n f(x) de la ecuaci6n diferencial f" (x) -+ f(x) = 0 que satisface f( 0) = 0, f' (0) = l ; y el cos x puede definirse como la iinica soluci6n de f"(X) + f(x) = 0, f(O) =1, f'(O) = 0 (otra vez, vease un texto de calculo para las demostraciones).
I Tal como, 1. Marsden cap. 12.

y A. Weinstein,

Calculus, 2a. ed., Nueva York, Springer-Verlag,

1985,

37

La funcion exponencial
La funcion exponencial, denotada por eX, puede definirse como la iinica solucion de la ecuacion diferencialj'(x) = I(x), sujeta a la condicion inicialj'(O) = 1. (Puede demostrarse que existe una iinica solucion.) La funcion exponencial tambien puede definirse por su serie de potencias: x2 x3 eX = 1 +x+--+--+··· 2! 3! Aceptamos del calculo el hecho que eX es una funcion de x, positiva y estrictamente creciente. Por tanto, para y > 0, log y puede definirse como la funcion inversa de eX; esto es, e10g y = y. Otro enfoque que es usado frecuentemente en libros de calculo es empezar por definir logy

para y > y entonces definir e' como la funcion inversa de log y. (Nota: Muchos libros de calculo escriben In y para el logaritrno con base en e. Como en la mayorfa de los textos avanzados de matematicas, a 10 largo de este libro escribiremos log y en vez de In y.) En esta seccion, se extenderan estas funciones al plano complejo. En otras paJabras, se definiran las funciones sen z, cos z, eZ y log z para complejos z y sus restricciones a la lfnea real seran los usuales sen x, cos x, eX y log x. La extension a los mimeros complejos debe ser natural en el sentido que muchas de las propiedades familiares de sen, cos, exp y log se conserven. Estas funciones, aSI como la funcion potencia z" , se estudiaran geometricamente mas adelante en esta misma seccion. Primero extenderemos la funcion exponencial. Sabemos del calculo que para un mimero real x, eX puede representarse por su serie de Maclaurin: eX= 1 -+ I!
X

y 1

1 -dt
t

+ --

x2 2!
eiy

+ --+
3! par

x3

AsI. debe ser de 10 mas natural definir


(iy)

1+--+--+
I!

(iy)2

2!

para y e R. Por supuesto, esta definicion no es muy legftima, ya que la convergencia de series en C no ha sido aiin discutida. En el capitulo 3 se rnostrara que esta serie efectivamente representa un mirnero complejo bien definido para cada y, pero por el momento, 1a serie es usada informal mente como la base de la definicion que sigue, la cual sera precisa. Un ligero reordenamiento de la serie (usando el ejercicio 16, seccion 1.1.) muestra que eiy =

(1- L
. 2!

+~

4!

- ... ) +

i(y-

Y3 !

+ --5!

y5

...

38

CAP. t. FUNCIONES ANALiTICAS

Pero reconocemos

que esto es simplemente

cos y

+ i sen

y. Por 10 tanto,

defi-

nimos.
eiy:::

cos y + i sen y.

l.Como definimos

eZ para z a 10 largo de los ejes real e imaginario. Deseamos que nuestra extension de 1a exponencial conserve las propiedades familiares y entre estas esta la ley de los exponentes: e" + b e" • e", Este requisito nos obliga a definir eX + iy e':: eiy• Esto puede expresarse en una definicion formal:
Hasta aqui, hemos definido
eZ

= eX + iy?

Definicion 1.3.1. Si z = x + iy, entonces definimos eZ como eX (cos y + i sen y).


Notese que si z es real (esto es, si y = 0), esta definicion coincide con 1a funcion exponencial usual e", EI estudiante debe ser cauto en este punto, no estamos pensando a eZ como "e elevado a la «potencia» z" puesto que e1 concepto de exponentes comp1ejos no ha sido definido aiin. La notacion e'- es meramente una abreviatura de la funcion definida como eX(cos y + i sen y). Existe tambien otra razon, puramente formal, para definir eiy cos y + i sen y. Si escribimos eiy = fey) + ig(y), notamos que puesto que queremos que eO = l, debemos tener f(O) = 1 y g(O) = O. Al derivar con respecto de y nos da iei)' = I' (y) + ig'(y), por 10 tanto, cuando y = 0, obtenemosf'(O) = 0, g'(O) = 1. Al diferenciar nuevamente nos queda _eiy = f"(y) + ig"(y). Si comparamos estos resultados con e iy ::: f(y) + ig(y), obtenemos que l''(y) + f(y) = O,f( 0) = l,f' (0) = 0, de modo quef(y) = cos y; y g"(y) + g(y) = 0, g(O) = 0, g'(O)::: 1, de modo que g(y) sen y, por la definicion de sen y y cos y en terminos de ecuaciones diferenciales. Asf, obtenemos que eiy = cos y + i sen y, como en la definicion 1.3.1. Algunas de las propiedades importantes de e'- estan resumidas en la siguiente proposicion, Para enunciarlas necesitamos recordar la definicion de funcion periodica, a saber, una funcion f: C ~ C se llama periodica, si existe un W E C (llamado periodo) tal quef(z + w) fez) para toda z E C.

Proposicion 1.3.2 para toda z,w E C. (ii) e nunca es O. (iii) Si x es real, entonces eX > 1 cuando x > 0, Y eX < 1 cuando x < O. (iv) leX + iYI = e".
(i) eZ+w
Z

= eZe

(v) elti12 (vii) e


Z

= i, elti

:::

=I, e3lti12 = -I, ehi

= l.

(vi) eZ es periodica,

cualquier periodo de eZ tiene laforma 21tni, n entero.

= 1 si y s610 si z = 2n1ti para

algun entero n (positivo, negativo, 00).

Demostracion
(i) Sea z = x + iy y sea w = s + it. Por nuestra definicion de e',

39
eZ+W

e(x+s)+i(y+l)

= eX+s

[cos (y +t) +i sen (y +t)]

= [eX (cos y

+ i sen

y)]

[eS(cos t + i sen t)]

al usar las formulas de adicion para senos y cosenos y la propiedad, bien conocida del calculo elemental, de que e" + S = e+: e" para mimeros reales x y s. Asf, eZ + W = eZ • eW para cualesquiera mirneros complejos z y w. (ii) Para cada z, tenemos que eZ • e-Z = eO = 1 ya que como sabemos la funcion exponencial usual satisface eO =1. Asf, eZ nunca puede ser cero, porque si 10 fuera, entonces eZ • e= serfa cero, 10 cual no es cierto. (iii) Esto se sigue del calculo elemental. Por ejemplo, es obvio que

1+--+
I!

--+
2!

x2

--+
3!

x3

... >1 cuando x >

(Otra demostracion, que utiliza la definicion de eZ en terminos de ecuaciones diferenciales es la siguiente. Recordemos que eZ es 1a unica solucion de f' (x) = f(x) con eO = 1 (x real). Dado que e" es continua y nunca se hace cero, debe ser estrictamente positiva. Por 10 tanto, (eX)' = e" es siempre positiva y, en consecuencia, e" es estrictamente creciente. ASI, para x> 0, e=» 1 y parax< 0, e+« 1.) (iv) Usando Izz'l = lzl Iz'l (vease la proposicion 1.2.5), obtenemos

= eX Icos y

+ i sen yl

ya que e" >

= eX

ya que cos ' y + sen? y =1

(v) De la definicion, eTCi12 = cos (1[12) + i sen (1[/2) = i. La prueba de las otras formulas es similar. (vi) Suponga que eZ + W = eZ para toda z E C. Haciendo z = 0, obtenemos e " = 1. Si w = s + ti, entonces, usando (iv), eW = 1 implica que e" = 1 y, por 10 tanto, S = Asf, cualquier periodo es de la forma ti, t E R. Suponga que eli = 1, esto es, que cos t + i sen t = 1. Entonces cos t = 1, sen t = 0, y, por tanto, t = 21[n para algun entero n. (vii) eO = 1, como hemos visto y e21tni = 1 pues eZ es periodica, por (vi). Recfprocamente, eZ = 1 implica que eZ + z: = e" para toda z'; asf, por (vi), z = 21[ni para algun entero n .•

l,Como podemos representar eiy? Conforme y va de a 21[, eiy se mueve a 10 largo del cfrculo unitario en la direccion contraria a la de las manecillas del reloj, a1canzando i en y = 1[12, -1 en 1[, =i en 31[/2 y 1 nuevamente en 21[. ASI, eiy es el punto sobre el cfrculo unitario con argumento y (vease figura 1.3.1).

40

Figura 1.3.1. Puntas en el drculo unitario. Notese que en forma exponencial, plejrr tom a la forma la representacion polar de un mimero com-

z = Izle i(arg la cual se abrevia algunas veces como z = reiO •

z)

Las funciones trigonometrtcas


A continuacion, deseamos extender las definiciones de seno y coseno al plano complejo. La extension de la exponencial al plano complejo sugiere un modo de extender las definiciones de seno y coseno. Tenemos que eiy = cos y + i sen y, y e-iy = cos y -i sen y, 10 cual implica que seny
=---y

2i

cosy

=----

eiy

+ e-;Y
2

Pero como e;z esta definida ahara para cualquier z la siguiente definicion: Definicion 1.3.3 senz =---2i para cualquier numero complejo z.
y

C, esto nos conduce a fonnular

eiz + e-;z cos z =----

Nuevamente, si z es real, estas definiciones coinciden con las definiciones usuales de seno y coseno aprendidas en calculo elemental.

1.3. ALGUNAS

FUNCIONES

ELEMENTALES

41

La siguiente proposicion enlista algunas de las propiedades de las funciones seno y coseno, que ahara han sido definidas en todo C y no tan solo en R.

Proposiclon 1.3.4
(i) sen2 z (ii) sen (z cos (z

+ cos? z = 1'''1/1 + w) = sen Z • sen w + cos z . cos w y + w) = cos z . cos w - sen z . sen w.

Otra vez, el estudiante debe ser cauto con estas f6rmulas, aun cuando son plausibles, deben ser probadas, ya que hasta el momenta nosotros conocemos su validez s610 cuando w y Z son reales. Demostracion (i)

sen? z + cos? Z

__ (e

iZ

-2l.e-

iZ

)2

(e

iZ

+2 e~i.Z _

)2
4

e2iz

2 + e-2iz

-4
(ii) sen

z . cos

+ cos z • sen w
eiw

eiz _ e-iz

+ e-iw
2

2i

eiz

+ e-iz
2

eiw _ e-iw

2; a

la cual, al usar eiz e'"


ei(z + w) _ e-i(z + w)

= ei(z + w), se simplifica

ei(z + w) _ e-i(z + w)

e i(z + w) _ e-i(z + w)

4i

-------= 4i

2i

sen (z

+ w) + w) .•

El estudiante puede verificar, en forma similar, la f6rmula para cos (z

Ademas del cos z y el sen z, podemos definir tan Z (sen z)/(cos z) cuando cos z '1= 0 Y obtener similarmente las otras funciones trigonometricas.

La funcion logaritmo
Definiremos ahora el logaritmo de tal forma que nuestra definicion coincida con la definicion usual de log x, cuando x esta localizado en la parte positiva del eje real. En el caso real podemos definir al iogaritmo como la inversa de la exponencial (esto es, log x y es la solucion de eY x). Cuando permitimos a z variar sobre C, debemos ser mas cuidadosos porque, como se ha mostrado, la exponencial es peri6dica y por ende no tiene inversa, Mas aiin, la exponencial nunca es cero, por 10 que no podemos esperar que se pueda definir el logaritmo en cero. Asf,

42

CAP. 1. FUNCIONES ANALITICAS

debemos ser mas cuidadosos en nuestra eleccion del dominio en C sobre el cual podemos definir el logaritmo. La siguiente proposicion indica como puede hacerse esto. Proposicion 1.3.5. Den6tese por A
Yo

el conjunto

de numeros

complejos

x + iy tales

que Yo::':; Y < Yo

+ 21t;

simbolicamente,

AyO :;:;: x + iy I x
Entonces

R Y Yo::':; Y < Yo + 21t )

eZ mapea A

Yo

en forma

uno a uno sobre el conjunto

C\{O).

Recuerdese que una funcion es uno a uno cuando manda cualesquiera dos puntos distintos en dos puntos distintos; en otras palabras: dos puntos distintos nunca son enviados al mismo punto. Afirmar que una funcion es sobre en un conjunto B, significa que cad a punto de B es la imagen de algun punto bajo la funcion. La notacion C\{O) significa todo el plano complejo menos el punto 0; esto es, el plano complejo con el origen removido. Demostracion, Si eZl :;:;:Z2, entonees eZl - Z2:;:;: e y asf Zl - Z2 ::: 21tin, para algun entero n, por la proposicion 1.3.2. Pero dado que ambos, Z I Y Z2' estan en Ay , donde la diferencia entre las partes imaginarias de eualesquiera dos puntos es o menor que 21t, debemos tener que z I :::Z2' Este argumento muestra que eZ es uno a uno. Sea W E C con w -¥= O. Afirmamos que la ecuacion eZ :;:;: w tiene soluci6n z en Ay . La ecuacion eX + iy :::W es equivalente a las dos ecuaciones eX::;::: y eiy ::: W / Iwl Iwl o (l,por que"). La solucion de la primera ecuacion es x :::log Iwl, donde"log" es el logaritmo ordinario definido en la parte positiva del eje real. La segunda ecuaci6n tiene una infinidad de soluciones y, y cada una de ellas difiere de las otras par un rmiltiplo entero de 21t, pero exactamente una de estas esta en el intervalo [y 0' Yo + 21t[. Esta y es simplemente arg w, donde el rango especificado para la funcion arg w es [y 0' Yo + 21t[. Asi, eZ es sobre en C\jO} .• Los conjuntos definidos en esta proposicion se muestran en la figura 1.3.2. Aquf eZ mapea la banda horizontal entre Yoi y (y 0 + 21t)i en forma uno a uno sobre C\{O). (La notacion z ~ f(z) es usada para indicar que z es mandada af(z) bajo la funcion j.)
y
v

0'0 + 21t)i

------+--------i-.-

Figura 1.3.2. eZ es una funci6n uno a uno

sobre en

cxlo].

\
1.3. ALGUNAS FUNCIONES ELEMENTALES

43

En la demostracion de la proposicion 1.3.5 tambicn se dedujo una expresion implfcita para la inversa de eZ, restringida a la banda Yo ~ 1m z'< Yo + 2n y esta expresi6n es enunciada formalmente en la siguiente definici6n. Definicion 1.3.6. La funcion log: estd definida como

C\lo)

---7

C,

con rango Yo ~ 1m log z < Yo + 2n,

log z = log Izl + i arg z, donde arg z toma valores en el intervalo [Yo' Yo + 2n[ y log Izl es el logaritmo usual del numero real positivo Izl. Algunas veces, esta funcion es referida como "la rama de la funcion logaritrna en [x + i y I Yo ~ Y < Yo + 2n}". Pero, debemos recordar que la funcion log z esta bien definida cuando especifieamos un intervalo de longitud 2n en el cual arg z toma sus valores, esto es, cuando se elige una ranta especffica. Par ejemplo, supongase- que iiI intervalo especificado es [0, 2n[. Entonees log(l + i) = log IT + inl4. Sin embargo, si el intervalo especificado es [n, 3n[, entonces log (l + i) = log ff + i9n14. Cualquier rama del logaritmo definida de est a forma sufre un saIto repentino con forme z se mueve a traves del rayo arg z = Yo' Para evitar esto, uno puede restringir el dominio a Yo < y < Yo + 2n. Esta idea sera importante en la seccion 1.6. Proposiclon 1.3.7. log z es La inversa de eZ en el siguiente sentido: Para cualquier rama de log z, tenemos que elog Z = z, si escogemos La rama comprendida en y 0 ~ y < Yo + 2n, entonces log (e-) = z para z = x + iy y Yo ~ Y < Yo + 2n. Demostracion. Dado que log z = log Izi + i arg z. elogz = eloglzleiargl

= Izleiargl= z

Recfprocamente, suponga que z = x + iy YYo ~ Y < Yo + 2n. Por definicion, log el = log lell + i arg e', Pero lell = e' y arg eZ = y por nuestra eleccion de la rama. Asf, log eZ = log eX + iy = x + iy = z .• Ellogaritmo definido en C\{O} se comporta de la misma manera con respccto del producto, que ellogaritmo restringido a la parte positiva del eje real. Proposlcion 1.3.8. Si zl' z2 E cvo] entonces log (zlz2) = log zl + log z2 (excepto por Laadicion de un mtiltiplo entero de 2ni). Demostracion; log ZlZ2 = log Iz1z21 + i arg (ZIZ2)' donde se ha elegido un intervalo [y 0' Yo + 2n[ para los val ores de la funcion argo Sabemos que log lz IZ21= log Iz 11lz 21=log lz II + log lz 21y arg (z IZ2) = arg Z I + arg Z2 (excepto por un rruiltiplo entero de 2n). Entonces log z I Z2 = (log lz II + i arg Z I) + (log IZ21+ i arg Z2) = log Z I + log Z2 (excepto por rmiltiplos enteros de 2ni) .•

44

CAP. 1. FUNCIONES

ANALITICAS

Para ejemplificar: Eneontremos log [(-1 - i) (1 - i)] donde el fango de la funei6n arg es escogido como, por ejemplo, [0, 21t[. Entonees log [(-1 - i) (1 - i)] = log (-2) = log 2 + xt. Por otra parte, log (-I - i) = log ff + i 5Tt/4 y log (1 -I) = log IT + OTt/4. As), log (-1 - i) + log (1 - i) = log 2 + i 3Tt = (log 2 + Tti) + 21t i; por 10 que en este caso, cuando Zl = -1 - i Y Z2 = 1 - i, log ZlZ2 difiere de log ZI + log Z2 por
2Tti.

La propiedad basica de la proposici6n 1.3.8 puede ayudar a uno a reeordar la definici6n de log Z si se escribe log Z = log (reiO) = log r + log ei9 = log Izi + iarg z.

Potencias complejas
Estamos ahora en posici6n de definir el termino a", donde a, b e C y a =;f 0 (lease "a elevado a la potencia b"). Por supuesto, no importa e6mo definamos a", la definici6n debe reducirse a la usual cuando a y b son mimeros reales. El trueo eonsiste en notar que a tambien puede escribirse como eloga de aeuerdo a la proposicion 1.3.7. Si b es un entero, tenemos que ab = (e1og a)b = eb log a. Esta ultima . igualdad es valida ya que si n es un entero y z es cualquier mimero complejo, (eZ)n = e' ••. eZ = e'" por la proposici6n 1.3.2 (i), 10 que nos conduce a formular la siguiente definici6n. Definicion 1.3.9. ab (donde a, b e C y a =;f 0) se define como eb log a, se sobreentiende que se ha elegido algun intervalo [y 0' Yo + 21t[ (esto es, una rama de log), en el que lafunci6n arg toma sus valores. Es de extrema importaneia entender precisamente 10 que est a definici6n involucra. En especial n6tese que, en general, log z es una funci6n "multivaluada"; esto es, a log z se le pueden asignar varios valores distintos porque pueden elegirse diferentes intervalos [y 0' Yo + 2Tt[. Esto no es sorprendente, ya que si b = 11q, donde q es un entero, entonees nuestro trabajo previo con la f6rmula de De Moivre nos llevarfa a esperar que a'' sea una de las q-esimas rafces de a y, por tanto, debe tener q valores distintos. El siguiente teorema dirime este pun to. Proposicion 1.3.10 Sean a, b s C, a =;f 0. Entonces ab es univaluada (esto es, el vaLor de a b no depende de Laeleccion de la rama de log) si y s610 si b es un entero. Si b es un numero real racional y si b = plq estd en suforma reducida (en otras palabras, si p y q no tienen Jactores comunes), entonces ab tiene exactamente q valores distintos, a saber, las q raices de aP. Si b es real e irracional 0 si b tiene parte imaginaria diferente de cero, entonces ab tiene una infinidad de vaLores. Cuando ab tiene distintos valores, estos valores difieren por un factor de Laforma e 21tnbi. Demostracion. Elfjase un intervalo, por ejemplo, [0, 2Tt[, para los valores de la funcion argo Sea log z la rama correspondiente del logaritmo. Si escogieramos cualquier otra rama de la funcion log, obtendriamos log a + 2Ttni en lugar de log a, para algun entero n, Asi, ab= eb log a + 'Innbi = eb log a • e21tnbi, donde el valor de n depende de la rama del logaritmo (esto es, del intervalo elegido para los valores de la funci6n arg). Pero por la proposicion 1.3.2, e2rr:nbi es el mismo valor para diferentes

1.3. ALGUNAS

FUNCIONES

ELEMENTALES

45

valores de n si y s610 si b es un entero. Similarmente puede mostrarse que e27tniplq tiene q valores distintos si p y q no tienen faetores eomunes. Si b es irraeional y si e27tnbi = e27tmbi se sigue que e(27tbi) (n - m) = I y, por tanto, ben - m) es un entero; dado que b es irraeional, esto impliea que n - m = 0. Asf, si b es irraeional, e27tnbi tiene una infinidad de valores distintos. Si b es de la forma x + iy, y ~ 0, entonees e27tnbi = e-27tny • e27tnix, que tarnbien tiene una infinidad de valores distintos .• Reiteramos: Cuando eseribimos e'' log a, se sobreentiende que se ha elegido alguna rama de log y, aeorde con esto, e!' loga tiene un valor bien definido. Pero al eambiar la rama de log, obtenemos valores de e!' loga que difieren por un factor de la forma e27tinb. Esto es 10 que entendemos euando decimos que ab = eb loga es "multivaluada". Un ejemplo debe clarificar esto. Sea a = 1 + i Y sea b algun mimero real e irraeional. Entonces la infinidad de posib1es valores distintos de a" son dados por eb[log (1 + i) + 27tni] = eb (log 12+ i7tl4 + 27tni) = (eb log IT + ih1[/4) eb2rrni a medida que n toma todos los valores enteros (cada uno correspondiente a una eleeei6n diferente de 1a rama). POf ejernplo, si usamos la rama correspondientc a [-n, n[ 0 [0 , 21t[, harfamos n = o. Algunas propiedades de ab aparecen en los ejercieios al final de esta secci6n, pero ahora estamos interesados en el caso especial en el que b es de la forma lin, porque este nos da la rafz n-esima.

La funci6n r'afz n-esima


Sabemos que nfZtiene exactamente n valores para z ~ o. Para obtener una funci6n especffica debemos nuevamente eseoger una rama de log como se deseribi6 en el parrafo anterior.

Definicion 1.3.11. La funcion rai; ti-esima se define como.

vz- =

Z lIn

= e (log z)/n
nfZ

para una eleccion especifica de la rama de log z; can esta eleccion, es llamada una rama de Lafuncion rai: u-esima. EI siguiente teorema no debe sorprendernos. Proposicion 1.3.12. "fZasi definida, sigue. Si z = re'", entonces

=e

(log z)ln

es una rai; n-esima de z. Se obtiene como

nrz:= n[f e i9/n donde e es elegida de modo que permanezca dentro de un intervalo particular correspondiente a la rama elegida. Conforme se agregan multiplos de 21t a e, obte-

46

CAP. 1. FUNCIONES

ANALITICAS

nemos las n raices ti-esimas de z. En ellado derecho, del numero real positivo r. Demostracion. Por nuestra definicion.

nrr- es la rai: ti-esima positiva

Pero log Z = log r + i 8 , as!


e(log z)ln

= e (log r)ln

ei91n = ~r ei91n

La afirrnacion es entonees clara .• Elleetor debera, ahora, tomar su tiempo para conveneerse de que este modo de describir las n rafces lH~simas de Z es el mismo que el descrito en el corolario 1.2.3.

Geometria de las funciones elementales


Para entender mejor las funciones z", '~r-i~ y log z, consideraremos la intere' pretacion geometrica de cada una de elias en 10 que resta de esta seccion. Empecemos con la funcion potencia ZIZ, con n = 2. Sabemos que Z2 tiene longitud Izl2 y argumento 2 arg z. Asf, la funcion z ~ Z2 eleva al cuadrado las longitudes y dupJica los argumentos (vease figura 1.3.3).

Eje imaginario

Eje real

Figura 1.3.3. Funci6n elevar al cuadrado.

Debe ser claro, de la duplicacion de angulos, que la funcion potencia Z2 transforma el primer cuadrante en todo el semiplano superior (vease figura 1.3.4). Similarmente, el semiplano superior es transformado en la totalidad del plano.

47

Figura 1.3.4. Efecto de la funci6n elevar al cuadrado en el primer cuadrante.

Considerese ahora la funcion rafz euadrada ~ i-= [rei8/2. Suponga que elegimos una ram a espeeifieando el intervalo 0 ~ 8 < 2n. Entonees 0 ~ 8/2 < n, por 10 tanto, [Z permaneee siempre en el semiplano superior y los angulos se reducen a la mitad. La situacion es similar a la de la exponeneial ya que z ~Jz-es la inversa de z ~ Z2, cuando la ultima se restringe a la region en la eual es uno a uno. En la misma medida, si elegimos la rama -n ~ 8 < n tenemos que -n12 ~ 812 < n12, por 10 que fTtoma sus valores en el semiplano de la dereeha en lugar del semiplano superior. (En general, puede usarse cualquier "serniplano", vease figura 1.3.5). Si elegimos una rama especffica de tambien elegimos cual de las dos posibles rafces euadradas obtendremos.

rz-,

l'

Figura 1.3.5. La funci6n

elevar al cuadrado

y su inversa.

Pueden formularse varios enunciados geometricos en relacion a la funci6n Z ~ Z 2 que tambien dan informaci6n sobre Ia inversa, z ~ Por ejemplo, un cfrculo de radio r, descrito por el conjunto de puntos re'", 0 ~ 8 < 2n, es transform ado en r2ei2B, un cfrculo de radio r2; conforme re'" se mueve una vez alrededor del primer cfrculo, el punto imagen da dos vueltas (vease figura 1.3.6). EI mapeo inverso haee 10 eontrario: eonforme z se mueve alrededor del cfrculo rei8 de radio r, JZ se mueve la mitad de rapido alrededor del cfrculo jrei8/2 de radio Ii- ~

{z:

Figura 1.3.6. Efecto de la fund6n elevar al cuadrado en un cfrculo de radio r. Los dominios correctos sobre los cuales z ~ eZ y z ~ log z son inversas, se han discutido ya (vease figura 1.3.2). Notemos que una linea y constante, descrita por los puntos x + iy con forme x varia, son mapeados par la funci6n z ~ eZ en puntos eXeiy, que es un rayo con argumento y. Conforme x varia de _00 a +00, el punto imagen sobre el rayo va desde 0 hasta infinito (vease figura 1.3.7). Similarmente, la lfnea vertical x constante es mapeada en un cfrculo de radio eX. Si res- tringimos y a un intervalo de longitud 2n, el cfrculo imagen es descrito una vez, pero si no se restringe y, el cfrculo imagen es descrito un mimero infinito de veces conforme y varia de _00 a +00. EI logaritmo, que es la inversa de e+; mapea puntos en la direcci6n contraria a e', como se muestra en la figura 1.3.7. Debido ala naturaleza especial de las regiones en forma de banda en las figuras 1.3.2 y 1.3.7 (sobre ellas eZ es uno a uno) y debido a la periodicidad de e-, estas regiones merecen un nombre. Ellas son usualmente llamadas bandas de periodicidad de e':

__ :xJ~~~ (!~~:
.)

log
~

o(--t

Banda de perl()(,:idad

= eon stante
it

------------~------~--~x x
y = eonstante ---------------

, , ,
I

Figura 1.3.7. Geometria de eZ y log z.

Ejemplos resueltos
1.3.13. Encuentre las partes real e imaginaria de exp e'·. (exp w es otra forma de escribir eW.) ~ Solucion. Sea z =:l + iy: entonees el eX eos y + ie" sen y. De este modo exp eZ = ee'cos Y [cos (eX sen y) + i sen (eX sen y)]. En consecuencia, Re (exp eZ) = (eeXCOS Y) cos (eX sen y) e 1m (exp eZ) (ee-"COSY) x (eX sen y).

1.3. ALGUNAS

FUNCIONES

ELEMENTALES

49

1.3.14.

Demuestre que sen (iy) = i senh y, donde, par definicion, senhy=----

Solucion. sen (iy)

2i

i senh y.

1.3.15.

Encuentre todos las valores de ii. Solucion. ij

=e

i log i

= e i[log 1 +

(irt/2)

+ (2rtn)j]

= (e -2rtn)e

-rt/2=

e-

21t(n

1/4)

Todos los valores de i j estan dados par la ultima expresion conforme toma valores enteros, n = 0, ± 1, ±2, ... 1.3.16. Resuelva cos z = 2' Solucion. Sabemos que zn = ±(1t/3 + 2M), n entero, resuelven la ecuaci6n cos z = vamos a mostrar ahora que Z n' n = 0, ± 1, ... , son las unicas soluciones; esto es, no hay soluciones fuera del eje real. Hemos dado cos En consecuencia e2iz iz
e=
1

-t '

+ e=" 2

2
+

= log

(+

e'i + 1 = 0, as! e iz

± Dil2)

= (1

.,/-3)1 2

is.n. Por

10 tanto

±log ( ~ + ffil2),

ya que + + .[3i/2 y+ -[3il2

son reef-

procos uno del otro. Obtenemos as!

1_~_1 '7_

Con .s:;d"'rp 1n 7:rnn.ljDnnflcion2

Z~

san trans/armadas en elipses trans/armadas en hiperbolas.

sen z_ Muestre que lineas paralelas al eje real y que lineas paralelas al eje imaginario san

Solucion. Usando la proposici6n 1.3.4 (vease tambien el ejemplo 1.3.14), obtenemos sen z

sen(x + iy)

sen x cos(iy) + sen(iy) cos x

sen x cosh y + i senh y cos x


2 La palabra mapping, en el original, se tradujo indistintarnente por funcion, transformacion 0 transformada, excepto en algunos casos que se tradujo como mapeo para ajustarse aI uso establecido en Mexico. (N. del E.)

50

CAP. 1. FUNCIONES

ANALlTICAS

donde

cosh y

----

senhy

Suponga que y = Yo es constante; entonces, si escribimos sen z tenemos

= u + iv

COSh2Yo Puesto que sen 2 x + COS X 2 Similarmente, nemos

senh? Yo

=1

= 1. Esta

es una eli pse. de la ecuaci6n COSh2y - senh? y = I obte-

si x = Xo es constante,

=1
la cual es una hiperbola. 1.3.18. Sea fez) = z2 Y suponga f(zo) = a + bi. Describa las curvas definidas implicitamente en el plano xy par las ecuaciones Re fez) a e 1m fez) b. Demuestre que estas curvas son perpendiculares una de Laotra en el punta zOo

Solucion. Si z = x + iy, entonees fez) = x2 - y2 + 2.xyi. Las curvas hiperbolas x2 - y2 a y .xy = bl2. las cuales estan esbozadas en la el caso en que a > 0 y b > O. Estas eurvas son las curvas de nivel u(x, y) = x2 - y2 Y vex, y)= 2.xy. Los veetores normales a elias calculo, por sus gradientes

deseadas son las figura 1.3.8 para de las funciones estan dadas, del

Vu
y

(2x, -2y)

Vv = (2y,2x)
En un punto zo
4xoY
0-

+ iyo sabre ambas curvas, su producto punto es Vu . Vv Los vectores normales son entonees perpendiculares uno del otro en Zo y de esta manera las eurvas 10 son tambien.
4yox
0

= O.

= Xo

51
y
\

\ \

Vv \
\

"-,
Zo

--_
<,

"

\ \

Figura 1.3.8. Los conjuntos de nivel de Re f(z) e 1m f(z) para f(z) ;;;;;; Z2.

Ejercicios
1. Exprese en la forma a + bi:
a) e2+i

b) sen

(l

+ i)

2. Exprese en la forma a + bi:


a) e3-i

b) cos (2 + 3i)

3. Resuelva:
a)
COSZ ;;;;;;-

+ il4

b) cos z;;;;;; 4

4. Resuelva a) senz ;;;;;; + i/4 4 5. Encuentre todos los valores de:


3

b) sen Z

;;;;;; 4

a) log 1 6. Encuentre todos los valores de: a) log


(-i)

b) log i

b)

log (l + i)

52

CAP. 1. FUNCIONES ANALITICAS

7. Encuentre todos los valores de:


a) (- i)i b) (l +i)l+i

8. Encuentre todos los valores de:

9. l,Para que valores de z se satisface (eiz)

= efi?
..f;i = z?

10. Den6tese par la rafz cuadrada particular definida par ~ r(cos 0 + i sen 0) == rlt2 [cos (0/2) + i sen (0/2)],0:5 0 < 2n; la otra rafz es r1l2 {cos[(O + 27t)/2] + i sen [(0 + 2n)/2]j. l,Para que valores de z se cumple la ecuaci6n 11. l,Sobre que rayos a traves del origen (un rayo esta determinado par arg z existe lfrn leZI?
z~
00

r-

= costante)

12. Pruebe que


Z

= tan
de

1 ~ 1 + iz . [ -:- log
I

1 -IZ

)112]
±oo y el comportamiento de

13. Simplifique ez2

eiz, y ellz donde z

= x + iy. Para
cuando

e liz especificamos que z ¥- O.


e" + iy

14. Examine el comportamiento cuando y -) ±oo.

eX + iy

x -)

15. Pruebe que sen (-z) == -sen z, que cos (-z) 16. Defina senh y cosh sabre todo C como Pruebe que:
a) cosh2
Z-

= cos z, y que sen (n 12 - z) = cos z. senh z = (e e- )/2 y cosh z = (e + e- )/2.


Z Z l Z

senh- z = 1

b) senh (z I

+ Z2)== senh z 1 cosh

Z2

+ senh z 1 senh d) senh (x + iy)= senh x cos y + i cosh x sen y


e) cosh (x

c) cosh (z I + Z2)

= cos z J cosh Z2

+ cosh z 1 senh

Z2 Z2

+ iy)

= cosh x cos y + i senh x sen y

17. Use Ia ecuaci6n sen z sen x cosh y + i senh y cos x, donde z Isenh yl :5 Isen zl :5 Icosh yl. 18. Si b es real, pruebe que labl = lal b. 19. l,Es cierto que labl lallblpara toda a, b e C?

= x + iy para

probar que

20.

a) Para los mimeros complejos a, b, c, pruebe que abac a" + c, usando una rama fija del log. b) Demuestre que (ab)C == a/b" si escogemos ramas tales que log (ab) log a + log b

(sin 2nni extra). 21. Usando coordenadas polares, demuestre que z ~ intervalo [-2, 2]sobre el eje x.
22. a) l,Sobre que mapea la funci6n z ~ b) Discuta la geornetrfa de z ~
Z3

z + liz mapea el cfrculo lzl =

1 en el

rzcomo fue hecho en el texto para rz:

al primer cuadrante?

23. La funci6n z ~ 1/ z toma al exterior del cfrculo unitario en el interior (excluyendo al cero) y vice versa. l, En que son transforrnadas las lfneas arg z = constante?

1.4. FUNCIONES CONTINUAS

53

24. l,Cmil es la imagen de lfneas horizontales

y verticales bajo z ~

cos z?

25. l,Bajo que condiciones se satisface que log (Use la rama del log con -x:s < n ).

ab

= b log a para mimeros complejos a, b?

26. a) Demuestre que bajo la funci6n z ~ Z2, lfneas paralelas al eje real son transformadas en parabolas. b) Demuestre que bajo (una rama de) z ~ fZ. lfneas paralelas al eje real son trans formadas en hiperbolas. 27. Demuestre w = e2ltiln. 28. Demuestre
ei(x1

que las n rafces n-esimas de la unidad son 1, que las identidades


l' iX2.

W,

w2, w3,

.••

,wn-1,

donde que

+ Xz)

29. Demuestre que sen z = 0 si z = kn; k = 0, ± 1, ±2, .... 30. Demuestre que el seno y el coseno son peri6dicas con periodo minima 2x, esto es, que
a) b)

= e ix e

trigonornetricas

pueden

deducirse

si se supone

c) sen (z + ro) = sen z para toda z, implica que co = 2xn \,ara algun entero n. d) cos (z + ro) = cos z para todo z implica que ro = 2xn para algun entero n.
31. 32. Encuentre el maximo de Icos zl en el cuadrado O:s Re z:s 2x, O:S 1m z:S 2x. Demuestre que ellog z = 0 si z = 1, usando la rama con -x < arg z :S x. numericamente, hasta dos cifras significativas, 10 siguiente: (1.2 - 3.0i), sen (S.li - 3.2). que sen e 3.2 +
6.li,

(z + 2x) cos (z + 2x)


sen

= sen = cos

z para toda z. z para toda z.

33. Calcule

log

34. Demuestre

~ I).

z mapea la banda -x/2 < Re z < xl2 sobre C\{ z I 1m z = 0 y IRe zl

35. Discuta la funcion inversa sen :' z. cos :' z. Por ejemplo, l,es el sen z uno a uno en 0 :S Re z < 2x?

1.4. FUN ClONES CONTINUAS


y

En esta seccion y en la siguiente, seran analizadas las nociones de continuidad diferenciabilidad para funciones con valores complejos de una variable compleja. Los resultados son muy similares a aquellos aprendidos en el calculo de funciones de variables reales. Estas secciones se dedicaran principal mente a la teorfa basica, Esta teorfa sera aplicada a las funciones elementales en la secci6n 1.6. Dado que C es R2 con la estructura adicional de la multiplicaci6n compleja, varios conceptos geometricos pueden ser trasladados de R2 a la notaci6n compleja. Esto ya ha sido hecho para el valor absoluto, lzl, el cual es igual a la norma 0 longitud de z considerado como un vector en R2. Mas aiin, muy pronto el estudiante sera capaz de usar sus conocimientos del calculo de funciones de dos variables en el estudio de funciones de una variable compleja.

Conjuntos abiertos
Primero es necesario poder disponer de la nocion de un conjunto abierto. Un conjunto ACe = R2 es abierto, cuando para cada punto Zo en A, existe un rnimero

54

CAP. 1. FUNCIONES ANALITICAS

real E > tal que Z E A siempre que Iz - zol < E (vease figura 1.4.1). Note que el valor de E depende de zO' con forme Zo se aeerea a la "orilla" de A, E se haee mas pequefia, Intuitivamente, un conjunto es abierto si no eontiene a ninguno de sus puntos

"frontera" u "orilla",
y

Figura 1.4.1. Un conjunto abierto. Para un mimero r> 0, la r-vecindad 0 r-disco en torno a un punto Zo en C, se define como el conjunto D(zo; r) = { Z ECtal que lz - zol < r }. Como practica, el estudiante debe probar que para cada WOE C Y r > 0, el disco A = 1 Z ECtal que lz - wol < r} es en sf mismo, abierto. Una r-vecindad agujerada, es una r-vecindad cuyo centro ha sido removido. Por 10 que una vecindad agujerada tiene la forma D(zo; r)\ {zo}' la cual representa al conjunto D(zo; r) men os el conjunto con un solo elemento {zo} (vease figura 1.4.2). Una vecindad de un punto Zo es, por definicion, un conjunto abierto que contiene a ZOo Asf podemos reformular la definicion de "abierto" como sigue; un conjunto A es abierto, si para cada Zo en A, existe una rvecindad de Zo totalmente contenida en A. Las propiedades basicas de los conjuntos abiertos se recopilan en la proposidon 104.1.

a) Figura 1.4.2. Una vecindad


(a)

b)

y una vecindad agujerada (b).

1.4. FUNCIONES CONTINUAS

55

Proposicion

1.4.1

(i) C es abierto.
(ii)

El conjunto vacio, 0, es abierto,

(iii) La union de cualquier coleccion de subconjuntos abiertos de C es abierta. (iv) La interseccion de cualquier coleccion fin ita de subconjuntos abiertos de C es abierta. Demostraclon. Las dos primeras afirmaciones son validas casi por definicion; la primera l?orque cualquier E servira para cualquier punto Zo y la segunda porque no hay puntas para los que se requiera encontrar una E. Al lector se Ie pide dar la demostracion de las iiltimas dos afirmaciones en los ejercicios 19 y 20, al final de esta secci6n .•

Funciones, lfmites y continuidad


Sea A un subconjunto de C. Recordemos que una funcion f : A ~ C asigna un punto especffico fez) en C a cada punto z en A. EI conjunto A es llamado el dominio de f y decimos que f esta definida en A. Cuando el dominio y el rango (el conjunto de valores que toma f) son ambos subconjuntos de C, como aquf, hablamos de f como una fun cion compleja de una variable compleja. Alternativamente, podemos pensar a f como una funcion f : A C R 2 ~ R 2; en tal caso f es Hamada una funci6n de dos variables reales con valores vectoriales. Para f: Ace ~ C, podemos escribir z = x + iy = (x, y) y definir u(x, y) = Re fez) y vex, y) = 1m fez). Entonces u y v son simplemente las componentes si se piensa a f como una funci6n vectorial. Por tanto, podemos escribir, de manera unica, f(x + iy)= u(x, y) + i(x, y), donde u y v son funciones reales definidas en A. Enseguida vamos a transcribir la nocion de lfrnite a la notaci6n de mimeros complejos. 1.4.2. Sea f definida en un conjunto que contiene alguna t-vecindad agujerada de zo0 La expresion Definicion lfrn fez) = a
"

z ~Zo

significa que para cada E > 0, existe una 8> 0 tal que z 8 implica que If(z) - al < E.

D(zo; r), z

::;i<

zo' Y Iz - zol <

La expresi6n en esta definici6n tiene el mismo significado intuitivo que el que tiene en calculo, a saber,f(z) esta cerca de a cuando z esta cerca de ~o. No es necesario definir f sobre toda Ia vecindad agujerada para tener una teorfa de lfrnites valida, pero se usan aquf las vecindades agujeradas por motivo de simplicidad y tambien porque tal tratamiento sera mas apropiado a 10 largo del texto. Exactamente como con los mimeros reales y con las funciones de valores reales,

56

CAP. 1. FUNCIONES

ANALITICAS

una funci6n no puede tener mas de un lfmite en un punto y los Ifrnites se comportan bien con respecto de las operaciones algebraicas. ESle es el contenido de las siguientes dos proposiciones. Proposicion 1.4.3. Los limites son unicos, si existen. Suponga que lfmf(z)
Z~

Demostracion,

Zo

=a

y que lfmf(z)
z ~Zo

= b eon

a oF b. Sea 2£ =

la - bl, de modo que e > O. Existe una 5 > 0 tal que 0 < lz - zol < 5 impliea que If(z) - al < e y If(z) - hi < E. Elijase un punto tal que z oF Zo (pueslo que f esta definida en una vecindad agujerada de zo)' Entonces, por la desigualdad del triangulo, la - hi ~ la - f(z)1 + If(z) - bl < 2£ , 10 eual es una eontradicci6n. Por 10 tanto a = b.• Proposicion 1.4.4. Si lfrn fez) = a y lfrn g(z) = b, entonces
z 4 Zo Z
-4

Zo

(i) lfrn [ fez)


Z~Zo

+ g(z)] = a + b.

(ii) lim [ fez) g(z)] = abo (iii) lim [ f(z)/g(z)]


z -+ Zo

= alb si b oF O.

Demostraci6n. Unicamente se probara aquf la afirmaei6n (ii). La demostraei6n de laafirmaci6n (i) es facil y la demostraci6n de la afirmaci6n (iii) es ligeramente mas retadora, pero el lector puede obtener las c1aves necesarias a partir del correspondiente caso de variable real. Para probar la afirmaci6n (ii), escribimos If(z)g(z) - ahl ~ If(z)g(z) - f(z)bl

+ If(z)b

- abl

(desigualdad del triangulo)

= If(z)llg(z)

- bl + If(z)

- alibi

(factorizando)

Queremos estimar cada termino. Para hacerlo, escojamos 51 > 0 de modo que o < lz - zol < 5 I implique que If(z) - al < 1 y, por 10 tanto, If(z)1 < lal + 1, ya que If(z)1 - al ~ If(z)1 -Ial, por la proposicion 1.2.5 (vi). Dada E > 0, podemos escoger 52 > 0, tal que 0 < lz - zol < 52 implique que
E

If(z)

- al <

21bl 1

si h#O
Sl

=0

Y 53 > 0 tal que si 0 < lz - zol < 53' entonces Ig(z) - hi < __ E_ _ 2 (Ial + 1)

1.4. FUNCIONES CONTINUAS

57

Sea

la menor de

°°°
l'

2,

3,

Entonces, si

°<

lz - zol < 0,

If(z)g(z)

- abl ~ If(z)lIg(z)

- bl + If(z) - alibi

<

E If(z)1 + _E_lbl 2(lal + 1) 21bl

(si b # 0; si b = 0 reemplace el segundo termino nor 0)

:::;2 + 2

e
=E•

Definicion 1.4.5. Sea Ace un conjunto abierto y sea f: A ~ C una funcion. Decimos que f es continua en Zo e A si y solo si lfrn fez) = f(zo)
Z~Zo

y que f es continua en A sf f es continua en cada punto Zo en A.


Esta definicion tiene el mismo significado intuitivo 'que en calculo elemental: Si z esta cerca de zo' entonces j'(z) esta eerca def(zo)' De la proposicion 1.4.4 podemos inmediatamente deducir que si f y g son continuas en A, entonces tambien 10 son la sumaf + g y el productofg, y tambienf/g si g (zo) # 0, para todos los puntos Zo en A. Es tambien verdadero que una cornposicion de funciones eontinuas es continua.

Proposicion 1.4.6
(i)

Si lfrn fez) = a y h es una funcion definida en una vecindad de ayes contiz~ '0 nua ell a, entonces Ifm h (I(z) = h(a).
I..

-+ Zo

(ii) Si f es una funcion continua en un conjunto abierto A en C y h es continua en f(A), entonces la funcion composicion (h 0 f) (z) = h (ftz) es continua en A. Demostraclon, Dada e > 0, existe una 0,> 0 tal que Ih(w) - h(a)[ < E cuando Iw - ar < 0, y existe una > tal que If(z) - al < 0, cuando 0 < lz - zol < 0. Por tanto obtenemos Ih(f(z» - h(a)1 < e euando 0 < lz - zol < 0, 10 eual estableee (i). Una demostraei6n de (ii) se sigue a partir de (i) y se pide en el ejercieio 22 al final de esta seccion .•

°°

Sucesiones
EI eoneepto de sueesiones eonvergentes de mimeros eomplejos es analogo a aquel para sucesiones de mimeros reales estudiado en calculo. Una sucesion zn' n = 1, 2, 3, ... , de puntos de C converge a Zo si y solo si para cada e > 0, existe un entero N tal que n ~ N implica IZn - zol < e. Ellfmite de una sueesi6n se expresa como Ifm zn
II~""

= Zo

zn ~

Zo

58

CAP. 1. FUNCIONES ANALITICAS

Los limites de sucesiones tienen las mismas propiedades (obtenidas por las mismas demostraciones) que los limites de funeiones. Por ejemplo, el limite es tinico si este existe; y si Zn ~ Zo y W n ~ wo' entonees
(i) (ii) y
zn

+ wn
~

~ Zo

Zo

+ Wo

znwn

Wo

(si Wo y

wn

no son 0)

Tambien, zn ~ Zo si Re zn ~ Re Zo e 1m zn ~ 1m ZOo Una prueba de esto para funciones, se pide al final de la seeci6n en el ejercicio 2. Una sueesi6n zn es Hamada una sucesion de Cauchy, si para cada E > 0 existe un entero N tal que IZn - zml < E cuando ambas, n ~ Ny m ~ N. Una propiedad basica de los mirneros reales, la eual sera aceptada sin demostraei6n, es que toda sucesi6n de Cauchy en R converge. Mas precisamente, si [ xn }: = I es una sucesi6n
n~oo

de Cauchy de numeros reales entonces existe un mimero real Xo tal que Ifm x n = xO' Esto es equivalente ala complete: del sistema de los mimeros reales.' Del hecho de que zn ~ Zo si Re zn ~ Re 20 e 1m Zn ~ 1m ZO' podemos concluir que toda sucesion de Cauchy en C converge. Este es un punto tecnico, pero es iitil en las demostraciones de eonvergencia, como veremos en el capitulo 3. Debe notarse que existe un vinculo entre sucesiones y continuidad, a saber, I: A C C ~ C es continua si para toda sucesi6n convergente zn ~ Zo de puntos en A (esto es, zn e A y Zo e A), tenemos f(z.) ~ I(zo)' Se pide que el estudiante demuestre esto en el ejercicio 18 al final de esta secci6n.

Conjuntos cerrados
Se dice que un subconjunto F de C es cerrado, si su complemento, C\F = {z e CI z ~ F} es abierto. Tomando complementos y usando la proposiei6n 1.4.1, uno descubre las siguientes propiedades de los conjuntos cerrados. Proposicion 1.4.7 (i) El conjunto vacio es cerrado. (ii) C es cerrado. (iii) La interseccionde cualquier coleccion de subconjuntos cerrada. (iv) La union.de cualquier coleccion finita de subconjuntos cerrada.

cerrados de C es cerrados de C es

3 Ver, por ejemplo, J. Marsden, Elementary Classical Analysis, Nueva York, W.H. Freeman and Company, 1974.

1.4. FUNCIONES CONTINUAS

59

Los conjuntos cerrados y abiertos son importantes por su relaei6n con las funciones continuas y las sucesiones, y por otras construcciones que veremos despues, Proposicion 1.4.8. Un conjunto FCC es cerrado si siempre que z I, z2, z3, ... una sucesi6n de puntos en F tal que w = Ifm z existe, entonces WE F.
n---+OO n

es

Demostr'acion. Suponga que F es eerrado y que z , es una sucesi6n de puntos en F. Si D(w; r) es eualquier disco alrededor de w, entonees, por la definici6n de eonvergeneia, z , esta en D(w; r) para n sufieientemente grande. Asf, D(w; r) no puede estar contenida en el complemento de F. Ya que el complemento es abierto, w no debe estar en el eomplemento de F. Debe estar en F. Si F no es cerrado, entonces el comp1emento no es abierto. En otras palabras, hay puntos w en C\F tales que ninguna vecindad de w esta contenida en C\F. En particular, podemos escoger puntos zn en F n D(w; lIn); esto nos da una sucesi6n convergente de puntos en F cuyo limite no esta en F .• Proposjcion 1.4.9. Si f: C ~ C, las siguientes afirmaciones son equivalentes

(i) f es continua. (ii) La imagen inversa (iii) La imagen inversa

de cualquier conjunto cerrado es cerrada. de cualquier conjunto abierto es abierta.

r:'

Demostracion, Para dernostrar que (i) implica (ii), suponga que f es continua y que F es cerrado. Sea Z l' Z2' Z 3' ... una sucesi6n de puntos en f -I (F) y suponga que z , ~ w. Puesto quefes continua.j'(z j) ~ few). Pero los puntosf(Zn) estan en el conjunto cerrado F y, por tanto,j(w) esta tambien en F. Esto es, w esta enj-I(F). La proposici6n 1.4.8 demuestra quef-I(F) es cerrado. Para dernostrar que (ii) implica (iii), sea U abierto. Entonces F = C\U es cerrado. Si se cumple (ii), entouces j "! (F) es cerrado. Por 10 tanto C\j -I(F) = (C\F) =1-1 (U) es abierto. Para demostrar que (iii) implica (i), ffjese Zo y sea E > O. Entonces Zo es un elemento del conjunto abierto 1-1 (D(f( z''): En conseeuencia existe una 0 > 0 con D(zo; 8) c.j:' (D(j(Zo);E». Esto nos dice precisamente que 'fez) - I(zo) , < E siempre que lz - zol < O. Obtenemos asf exactamente la desigua1dad que se necesita para establecer la continuidad .•

E».

Para manejar la continuidad en un subconjunto de C es conveniente introducir la noci6n de conjuntos abiertos y cerrados relativos. Si A C C, un subconjunto B de A es llamado abierto relativo de A si B = A n U para algun conjunio abierto U. Se dice que es cerrado relativo de A si B = A n F para algun eonjunto cerrado F. Esto nos conduce ala siguiente proposici6n, cuya demostraci6n se deja allector. Proposlcion 1.4.10. Si f: A ~ C, las siguientes afirmaciones son equivalentes

(i) f es continua.

60

CAP. 1. FUNCIONES ANALITICAS

(ii) La imagen inversa de todo conjunto cerrado es cerrado relativo de A. (iii) La imagen inversa de todo conjunto abierto es abierto relativo de A.

Conjuntos conexos
En esta subsecci6n y en la siguiente, se estudiaran dos importantes clases de conjuntos los cuales ocupan, hasta cierto punto, el lugar en la teorfa de la variable compleja, que el que ocupan los intervalos, y los intervalos cerrados acotados en la teorfa de funciones de una variable real. Estos son los conjuntos conexos y los conjuntos compactos. Un conjunto conexo debe ser uno que "consista de una pieza", Esto puede enfocarse desde un punto de vista positivo: "Cualquier punto puede ser conectado a cualquier otro" 0 desde uno negativo: "EI conjunto no puede separarse en dos partes." Esto nos conduce ados posibles definiciones. Definicion 1.4.11. Un conjunto C en C es conexo por trayectorias si para cada par de puntos a, b en C existe una funcion continua y: [0, 1] ---7 C con y (0) = a y y (1) = b. Decimos que yes una trayectoria que une a y b. Con frecuencia uno puede decir facilmente si un conjunto es conexo por trayectorias, como en el caso que se muestra en la figura 1.4.3. El punto de vista negativo sugiere una definici6n ligeramente distinta. Definicion 1.4.12. Un conjunto C C C no es conexo si hay conjuntos abiertos U y V tales que

yen V ¥= 0 (iii) (C n U) n (C n V) = 0

(i) C C U uV (ii) C C U ¥= 0

a)

b)

c)

Figura 1.4.3. Conexidad. a) y b) son regiones conexas: c) no es conexa.

61

Figura 1.4.4. EI

conjunto C no es conexo.

La noci6n de conjuntos abiertos y cerrados relativos nos pennite refonnular esto en terminos de subconjuntos de C. Dado que la intersecci6n de C con U es igual ala intersecci6n de C con el cornplemento de V, el conjunto C n U es tanto abierto como cerrado relativo de C, y tambien 10 es C n V. Esto prueba el siguiente resultado. Proposicion 1.4.13. Un conjunto C es conexo si y solo si los unicos subconjuntos de C que son tanto abiertos como cerrados relativos a C, son el vacio y el propio conjunto C. Las dos siguientes proposiciones dan la relaci6n entre las dos definiciones, Las dos nociones no son en general equivalentes, pero sf 10 son para conjuntos abiertos. La prueba de est a ultima afinnaci6n (dada mas abajo en la proposici6n 1.4.15) ilustra un modo bastante tipico de usar la noci6n de conectividad. Uno prueba que cierta propiedad es valida en todo C mostrando que el conjunto donde es valida es no vacfo y que es tanto abierto relativo como cerrado relativo. Proposicion 1.4.14. Un conjunto conexo por trayectorias es conexo. Demostracion. Sup6ngase que C es un conjunto conexo por trayectorias y que D es un conjunto no vacfo que es a un mismo tiempo abierto y cerrado relativo de C. Si C #= D, existe un punto Zl en D y un punto Z2 en C\D. Sea y: [a, b] ~ C una trayectoria continua que une a Z I con Z2. Sea B = y-l (D), entonces B es un subconjunto del intervalo [a, b] el cual es tanto abierto como cerrado relativo de [a, b], puesto que yes continua. (Vease proposici6n 1.4.10.) Ya que a esta en B, B es no vacfo y [a, b]\B es no vacfo pues contiene a b.

62

CAP. 1. FUNCIONES

ANALITICAS

Este argumento muestra que es sufieiente probar el teorema para el easo de un intervalo [a, b]. Neeesitamos, entonees, estableeer el siguiente lema: Los intervalos de Larecta real son conexos. Una demostraei6n requiere del uso de la propiedad del supremo (0 de alguna otra earaeterizaci6n del hecho de que el sistema de los numeros reales es eompleto). Sea x = sup B (esto es, el supremo de B). Nos encontramos con que x esta en B ya que B es cerrado. Pero B es abierto y por ende existe una vecindad en torno a x contenida en B (reeuerde que x oF b pues b esta en [a, b]\B). Esto significa que para alguna E > 0, el punto x + E est a en B. Asf que x no puede ser el supremo. Esta contradicci6n muestra que B no puede existir. • Un conjunto conexo no es necesariamente conexo por trayectorias, 4 pero si es abierto, entonees sf 10 es. De hecho, aun mas es cierto. Proposici6n 1.4.15. Si C es un conjunto abierto conexo yay b estdn en C, entonces existe una trayectoria diferenciable y: [0, 1] ~ C con yeO) ::::a y y( 1) ::::b. Demostraci6n. T6mese a en C. Si Zo esta en C, puesto que C es abierto, existe una E > 0 tal que el disco D(zo; E) esta contenido en C. Al combinar una trayectoria de a a Zo con una de Zo a z, el cual esta en el disco, vemos que Zo puede coneetarse con a por una trayectoria diferenciable si y s610 si 10 mismo es cierto para cualquier punto z en Dezo; E). Esto muestra que ambos conjuntos
A y B

"

= Iz Eel = {z Eel

z no puede conectarse a a por una trayectoria diferenciable} z no puede conectarse a

a}
0

son abiertos. Puesto que C es conexo, uno de los conjuntos A Obviamente 10 es B. Vease figura 1.4.5 .•

B debe ser vacfo.

Figura 1.4.5. Un conjunto abierto conexo es conexo por trayectorias.


4 Un ejemplo usual esta dado al hacer C la union de la grafica y = sen IIx, donde x > 0, y el segmento de Ifnea -1 ::;y::; I, x = O.Este conjunto es conexo pero no por trayectorias.

1.4. FUNCIONES CONTINUAS

63

Debido a la importancia de los conjuntos abiertos y conexos, estes se. designan frecuentemente mediante un termino especial. Aun cuando su uso no es completamente estandar en la bibliograffa, las palabras region y dominio se usan frecuentementeo En este texto, estos terminos seran usados como sinonimos de un subconjunto abierto y conexo de C. EI lector debe tener cuidado y debe checar el significado de estas palabras cuando las encuentre en otros textos, La nocion de conjuntos conexos sera usada por nosotros en varias ocasiones. Una observacion es que una funcion continua no puede separar un conjunto conexo. Proposici6n 1.4.16. Si f es una funcion continua definida en un conjunto conexo C, entonces el conjunto imagen fCC) tambien es conexo. Demostraci6n. Si V y V son conjuntos abiertos que desconectan entoncesf-I(V) y f-I(V) son conjuntos abiertos que desconectan a C. • a f( C),

Tenga cuidado, esta proposicion trabaja en la direccion opucsta a aquella acerca de conjuntos abiertos y cerrados. Para funciones continuas, Ia imagen inversa de conjuntos abiertos es abierta y la imagen inversa de cofijuntos cerrados es cerrada. Peroes para las imageries directas para las que se garantiza 1a conectividad y no para las imageries inversas de conjuntos conexos. (Podrfa pensar en algun ejemplo.) La misma situacion se presentara con la clase de conjuntos estudiados en la siguiente subseccion, los conjuntos compactos.

Conjuntos compactos
La siguiente c1ase de conjuntos especiales que queremos introducir es la de los conjuntos compactos. Estes resultaran ser aquellos subconjuntos K de C que son acotados en el sentido que existe un numero M tal que lzl ::; M para toda z en K y que son cerrados. Una de las agradables propiedades de estos subconjuntos es que toda sucesion de puntos en el conjunto, debe tener una subsucesion la cual converja a algun punto en el conjunto. Por ejemplo, la sucesion 1, __I_, ~, _!_, ~, _!_, L, __I_, _'!_, ••• de puntos
2 2 3 J 445 5

en ]0, 1[ tiene la subsucesion

1, __I_,

el intervalo abierto ]0, 1[, pero esta en el intervalo cerrado [0, 1]. Notese que en la propiedad pretendida, no se asegura que la sucesion misma converja. Todo 10 que se pretende es que algunas subsucesiones 10 hagan; el ejemplo demuestra que esto es necesario. Como sucede frecuentemente en matematicas, el estudio consiste de tres partes:
(i) Una caracterizacion facilmente reconocible: cerrado y acotado. (ii) Una propiedad que queremos: la existencia de subsucesiones gentes. (iii) Una definicion tecnica, iitil en demostraciones y problemas.

_!_, ••• 23

la cual converge al punto 0, que no esta en

conver-

En el caso en cuestion, la definicion tecnica involucra la relacion entre compacidad y conjuntos abiertos. Una coleccion de conjuntos abiertos Va para a en algiin conjunto de fndices s4 es Hamada una cubierta (0 una cubierta abierta) de un

64

CAP. 1. FUNCIONES ANALITICAS

conjunto K, si K esta contenida en su union: K C u aE .<A V0: Por ejemplo, la coleccion de todos los discos abiertos de radio 2 es una cubierta abierta de C:

u, = D(z;

2)

C C uzeC D(z; 2)

Podrfa ser, como aquf, que el proceso de recubrimiento haya sido excesivo, al usar mas conjuntos de los necesarios. En ese caso, podrfamos usar solo algunos de los conjuntos y hablar de una subcubierta, por ejemplo, C C un, nlezD(n + mi; 2), donde Z denota al conjunto de enteros. Definicion 1.4.17. Un conjunto K es compacto si toda cubierta abierta de K tiene una subcubiertafinita. Esto es, si Va es cualquier coleccion de conjuntos abiertos cuya union contiene a K, entonces existe una subcoleccion finita Va I, Va, 2 ... , Va k tal que KC uVa U···uVa· 12k

o:

Proposicion 1.4.18. Las siguientes condiciones son equivalentes para un subconjunto K de C (0 de R): es cerrado y acotado. (ii) Toda sucesion de puntos en K tiene una subsucesion que converge a algun punto en K. (iii) K es compacto.
(i) K

Esta proposicion requiere un estudio mas profundo de las propiedades de completez de los mirneros complejos del que es necesario para llegar hasta aquf, por 10 que se omite la dernostracion. Esta puede encontrarse en la mayorfa de los textos de calculo avanzado 0 analisis (tal como Elementary Classical Analysis, de J. Marsden, Nueva York, W.H. Freeman and Co., 1974). Es facil ver porque (i) es necesaria para (ii) y (iii). Si K no es acotado, podemos escoger z 1 en K y sucesivamente elegir Z2 con IZ21 > Iz]1 + 1 y, en general, zn con Iz) > Izn_]1 + 1. Esto da una sucesion que no contiene una subsucesion convergente. Los discos abiertos D(O; n), n = 1, 2, 3, ... serfan una cubierta abierta sin ninguna subcubierta finita. Si K es un conjunto en C que no es cerrado, entonces existe un punto w en C\K y una sucesion z l' Z2' ... de puntos en K que converge a w. Puesto que la sucesion converge, w es el tinico posible limite de una subsucesion, por 10 tanto, ninguna subsucesion puede converger a un punto de K. Los conjuntos [z tal que lz - wi > lin) para n ~ 1, 2, 3, ... forman una cubierta abierta de K sin ninguna subcubierta. La utiIidad de la definicion tecnica 1.4.17 se ilustra en los siguientes resultados. Proposici6n 1.4.19. Si K es un conjunto compacta y f es una funcion continua definida en K, entonces el conjunto imagen f(K) tambien es compacto.

1.4. FUNCIONES CONTINUAS

65

Demostracion, Si Va es una cubierta abierta de f( K), entonces r' (Va) forma una cubierta abierta de K. La seleccion de una subcubierta finita nos da.

por

10 tantof(K)

eVa)

U •••

u U ak' •

1.4.20. Teorema del valor extremo. Si K es un conjunto compacto y f: K ~ R es continua, entonces f alcanza sus valores maximo y minima, y ambos son finitos. Demostracion. La imagen f(K) es un compacto, por ende cerrado y acotado. Puesto que es acotado, los mimeros M = sup {fez) I z E K I y m = inf {fez) I z E K} son finitos. Ya quef(K) es cerrado, my M estan incluidos enf(K) .• Otra ilustraci6n del uso de 1a compacidad esta dada por el siguiente lema, el cual establece que 1a distancia de un conjunto compacto a un conjunto cerrado es positiva. Esto es, debe haber un espacio entre los dos conjuntos. Lema de la distancia. 1.4.21. Suponga que K es compacta, C es cerrado y K n C = 0. Entonces, la distancia d(K, C) de K aCes mayor que O. Esto es, existe un numero p > 0 tal que Iz - wi > p siempre y cuando z este en k y w este en C. Demostracion, El comp1emento de C, V = C\C, es un abierto, y K C U, por 10 que cada punto z en K es el centro de algun disco Dtr; p(z)) C U. La familia de discos mas pequefios Dtz; p(z)/2) tambien cubre a K y, por la compacidad, existe una colecci6n finita de ellos, que denotamos por Dk = D(zk; p(zk)/2), k = 1,2,3, ... ,N, que cubre a K (vease figura 1.4.6). Sean p k ::= p(z k)/2 y p = min (p l' P 2' ... , p n)' Si z esta en K y w esta en C, entonces z esta en Dk para alguna k, y por ende lz - Zkl < PI( Pero Iw - Zkl > P(Zk) = 2Pk' Asf que lz - wi > p k > p .•

Figura 1.4.6. La distancia entre un conjunto cerrado C y un conjunto compacto K es


mayor que cero.

66

Continuidad uniforme
Recuerdese que una funcion se dice que es continua en un conjunto K si es continua en cada puntode K. Este es un ejemplo de 10 que se llama una propiedad local. Esta se define en terminos del comportamiento de una funci6n en 0 cerca de cada pun to, y puede detenninarse para cada punto mirando solamente cerca de este y no al conjunto en su totalidad. Esto esta en contraste con las propiedades globales de una funci6n, las cuales dependen del comportamiento en todo el conjunto. Un ejemplo de una propiedad global es el de ser acotada. Decir que una funcion J es acotada por algun mimero M en un conjunto K, es una afinnaci6n que depende de la totalidad del conjunto. Si la funci6n es continua es, ciertamente, acotada cerca de cada punto, pero esto no dirfa automaticamente que es acotada en todo el conjunto. Por ejemplo, la funci6n J(x) = 1/x es continua en el intervalo abierto ]0, 1[, pero ciertamente allf no es acotada. Hemos visto que si J es continua en un conjunto compacto K, entonces es acotada en K y que, en efecto, las cotas son alcanzadas. Asi la compacidad de K nos pennite llevar la propiedad local de ser acotada cerca de cada punto, dada por la continuidad, a todo el conjunto. Con frecuencia, la compacidad puede ser usada para llevar una propiedad local a una global. La siguiente es una versi6n global de la continuidad. 1.4.22. Una funcion J: A ~ C (0 R) es uniformemente continua en A, si para cualquier eleccion de E > a existe 0> a tal que I f(s) -f(t)1 < E siempre que s y t esten en A y Is - tl < 8. Definicion Notese que la diferencia entre esta y la definicion ordinaria de continuidad, es que ahora la elecci6n de 0 puede hacerse de modo que la misma 0 trabaje en cualquier parte del conjunto A. Obviamente, las funciones unifonnemente continuas son continuas. En un compacto, 10 opuesto tambien es verdad. Proposlcion 1.4.23. Una funcion continua en un conjunto compacto es uniforme-

"

mente continua.
Demostracion. Supongase que J es una funcion continua en el conjunto compacto K y sea E > O. Para cada apunto ten K, existe un mimero o(t) tal que IJ(s) J(t)1 < EI2 siempre que Is - tl < 8. Los conjuntos abiertos D(t; 0(t)/2) cubren a K y, por compacidad, existe un mimero finito de puntos t i- t 2' ... , t N tales que los conjuntos Dk = D(t k; oct k)/2) cubren a K. Sea Ok = O(tk)12 y sea 8 igual al minimo de 81' 82" •• , ON' Si Is - tl < 0, entonces testa en D k para alguna k y, en consecuencia, It - tkl < 8k. Asf, If (t) - f(tk)1 < EI2. Pero tambien

Is - t kl = Is - t + t - t kl ~ Is - 11 + It - t kl
~ O+Ok

s 8 (t k)

1.4. FUNCIONES CONTINUAS

67

y as! If(s) -

to» ::;J2. Por f


If(s)

10 tanto I = If(s) - f(tk)

- f(t)

s I f(s)

+ f(tk) - f(t)1 - f(t k) + If(t k) - f(t)1


£

< £/2 + £/2 =

Hemos producido una sola 0 que trabaja en todas partes de Ky. por 10 tanto,f es uniformemente continua .•

Lema de la cubierta de una trayectoria


La nocion de continuidad uniforme es muy poderosa y no sera de utilidad varias veces, la usaremos primero en conjuncion con el lema de la distancia y algunas propiedades de los conjuntos compactos, para establecer un uti I lema geometrico acerca de curvas en subconjuntos abiertos del plano complejo. Este lema sera util en el texto posteriorrnente, en particular para estudiar integrales a 10 largo de tales CUfvas. Este nos dice que una curva puede ser cubierta con un numero finito de discos cuyos centros estan a 10 largo de la curva, de tal manera que cada disco esta contenido en el conjunto abierto y cada disco contiene tanto el centro del disco anterior como el del siguiente, a 10 largo de la curva (vease figura 1.4.7).

Figura 1.4.7. Una trayectoria continua en un conjunto abierto puede ser cubierta por
un nurnero finite de discos que se traslapen adecuadamente.

Lema de la cubierta de una trayectoria. 1.4.24. Supongase que y: [a, b] -4 G es una trayectoria continua del intervalo [a, b] en el subconjunto abierto G de C. Entonces existe un numero p > 0 y una subdivision del intervalo a = to < t1 < t2 ... < tn = b tal que
(i) D(y(tk); p) C G (ii) yet) E D(y(to); p) (iii) yet) E D(y(tk); p) (iv) yet)
E

para toda k para to ::; t ::;t 1 para tk_1 para tn_1


::; t::; tk+ 1

D(y(tn); p)

s t s tn

68

CAP. 1. FUNCIONES ANALITICAS

Demostracion. Dado que yes continua y el intervale cerrado [a, b] es compacta, la curva imagen K = y( [a, b]) es compacta. Del lema de la distancia 1.4.21, existe un numero p tal que cada punto de la curva esta a una distancia de al menos p del complemento de G. En consecuencia, D(y(t); p) C G para todo t en [a, b]. Ya que y es continua en el conjunto compacto [a, b], es uniforrnemente continua y existe un mimero <> > 0 tal que ly(t) - y(s)1 < p siempre y cuando Is - tl < <>. Asf, si la subdivision se toma 10 suficientemente fina de modo que t k - t k _ I < <> para toda k = 1, 2, 3, . . . , N, entonces las conclusiones del teorema se satisfacen .•

La esfera de Riemann y el "punto al infinito"


Para ciertos prop6sitos es conveniente introducir un punto "00" ademas de los puntos z e C. Uno debe ser cauteloso al hacerlo, pues esto puede lIevar a confusion y abuso del sfrnbolo 00, pero con cuidado esto puede ser iitil y, ciertamente, queremos ser capaces de hablar inteligiblemente sobre Ifrnites infinitos y limites al infinito. En contraste con la recta real, en la cual +00 y -00 pueden ser agregados, tenemas solo un 00 para C. La razon de esto es que C no tiene un orden natural, como el que tiene R. Formalmente, agregamos el sfrnbolo "00" a C para obtener el plano complejo extendido, C, y definimos las operaciones can 00 mediante las "reglas" z+oo=OO z'OO=OO
00+00=00 00' 00=00

siempre que

¥- 0

para z e C. Notese que algunas casas no estan definidas: 00/00, 0 . 00, 00 - 00, y asf sucesivamente, sonformas indeterminadas par la misma razon, esencialrnente, que 10 son en el calculo de ruimeros reales. Tambien definimos apropiadamente conceptos de Ifmite: limf(z) = Zo significa: Para cualquier E > 0, existe R > 0 tal que If(z) - zol < E siempre que Izl ;;::: R. lfmf(z) = 00 significa: Para cualquier R > 0, existe una <> > 0 tal que If(z)1 > R
z ---t
00

siempre que Iz - Zol < O.


y para sucesiones:
n-+oon

-+

Zo

lfm z = 00 significa: Para cualquier R > 0, existe una N > 0 tal que lzn I > R siem-

pre que n

e N.

Asf un punto Z E C esta "cerca de 00" cuando esta situado en el exterior de un cfrculo grande. Este tipo de cercania puede ilustrarse geometricamente por medio de la esfera de Riemann, mostrada en la figura 1.4.8. Por el metoda de proyeccion esterogrdfica ilustrado en esta figura, un punto z' sobre la esfera es asociado con cada punto z en C. Se ha omitido exactamente un punta sobre la esfera S -el polo

1.4. FUNCIONES CONTINUAS

69

"norte"-. Asignamos 00 en C al polo norte de S. Geometricamente vemos que z esta cerca de 00 si y solo si los puntos correspondientes sobre la esfera de Riemann estan cerca en el sentido usual de cercanfa en R 3• La demostracion de esto se pide en el ejercicio 24.

"

Figura l.4.B. La esfera de Riemann.

La esfera deRiemann S representa una ilustracion geometrica conveniente del plano extendido C = C u loo}. La esfera destaca un hecho acerca del plano extendido el cual es algunas veces iitil en la teorfa subsecuente. Puesto que S es un subconjunto cerrado y acotado de R3, es compacto. Por 10 tanto, toda sucesion en el tiene una subsucesion convergente. Puesto que la proyeccion estereografica hace que la convergencia en S coincida con la convergencia de la sucesi6n de puntos correspondientes en C, 10 mismo es cierto allf. Esto es, C es compacto. Toda sucesion de puntos en C debe tener una subsucesion convergente en C. Cuidado: Ya que la convergencia se da en el plano extendido, ellfmite podrfa ser 00, en cuyo caso podrfamos decir normalmente que el limite no existe. Basicarnente, hemos afiadido el punto al infinito como otro lfrnite disponible, de forma tal, que sucesiones que formalmente no tenfan un lfmite, ahora 10 tengan. La esfera puede usarse para ayudar a visualizar asf como para hacer precisas algunas nociones acerca del desarrollo de funciones "al infinito" que nos encontraremos en capftulos posteriores.
-

Ejemplos resueltos
1.4.25. i Donde es continua la funcion

fez)

So/udall. Puesto que las sumas, productos y cocientes de funciones continuas son continuas, excepto donde el denominador es 0, esta funcion es continua sobre todo el plano excepto en las rafces ciibicas de-I. Esto es, sobre C\{e1ti13, e51til3, -I}.

70

CAP. 1. FUNCIONES ANALiTICAS

1.4.26.

Demuestre

que

Izi Re z > 01 es abierto.


de los

Solucion. Una demostraci6n puede basarse en las siguientes propiedades mimeros complejos (vease ejercicio 1): Si WE C, entonees (i) IRe wl:S;Iwl (ii) 11mwi :s;Iwl (iii) Iwl:s;IRe wi + 11mwi

Sea U = (zlRe z > y sea Zo en U. Suponga que z esta en el disco D(zo' Re zo)' Entonees IRe z - Re zol = IRe (z - zo)l:S; lz - zol < Re Zo y, por 10 tanto, Re z > 0 y z esta en U. Asf D(zo; Re zo) es una vecindad de Zo que esta eontenida en U. Puesto que esto puede hacerse para eualquier punto Zo que este en U, el eonjunto U es abierto. Vease figura 1.4.9.

01

Figura 1.4.9. EI semiplano derecho abierto.

1.4.27. Demuestre la siguiente afirmacion: Sea A C C abierto y Zo E A. y suponga que Dr= (z tal que Iz - zol:S;r] C A. Entonces, existe un ';zimero p > r tal que D (zo; p) C A. Solucion. Sabemos del teorema del valor extrema (1.4.20), que una funci6n continua de valores reales en un conjunto cerrado y acotado de C, alcanza su maximo y su mfnimo en algdn punto del conjunto. Para z en Dr seaf( z) inf liz - wi tal que w E C\A]. (Aqul "inf" significa la mas grande de las cotas inferiores.) En otras palabras, fez) es la distancia de Z al complemento de A. Puesto que A es abierto,f(z) > 0 para toda z en Dr' Podemos tambien verificar que f es continua. De este modo, f alcanza su mfnimo en algun punto z I en Dr' Tome p f( Z I) + r, y cheque que esta p tiene las propiedades deseadas. Vease figura. 1.4.10.

71
y

-_ -_
Figura 1.4.10. Un disco cerrado en un conjunto 1.4.28. Encuentre
'. It m
Z~OO

---.

- - - ---

--+---------------------------------------------------~x
abierto puede ser agrandado.

3z4 + 2z2 - Z --------,-4 ------Z +1

+1

Solucion.

usando lim
:~oo

Z-l

= 0 y las propiedades

basicas de lfrnites.

Ejercicios
1. Demuestre que si
a)
WEe,

entonces
b) 11m wi::;; Iwl
-

IRe wi ::;;!wl

c)

Iwl s: IRe wi + 11mwi

2. a) Demuestre que IRe z I - Re z21s: lz I - z21s: IRe ZI cualesquiera dos rnimeros complejos z I y Z2'
b) Sif(z)

Re z21 + 11mz I - 1m z21 para

= u(x,

y)

+ iv(x, y), demuestre que


Hmf(z)
Z~Zo

;;;;;fm u(x, y) + i lfrn vex, y) I


X~Xo X~Xo

y ~Yo

Y~Yo

existe si ambos lfrnites en ellado derecho de la ecuaci6n existen. Recfprocamente, si el limite de la izquierda existe, demuestre que ambos lfrnites de la derecha tambien existen y que la igualdad se cumple. Demuestre quej'(z) es continua si u y v 10 son.

72

CAP. 1. FUNCIONES

ANAlfTICAS

3. Demuestre:

Sifes

continua y f(zo)

~ O. existe una vecindad de

4. Si

Zo E

C, demuestre que el conjunto

! I es cerrado.
Zo

Zo

en la cualfes

~ O.

5. Demuestre: EI complemento de un ruimero finito de puntos es un conjunto abierto. 6. Use el hecho de que una funci6n es continua si y s610 si la imagen inversa de todo conjunto abierto es abierta, para dernostrar que una composici6n de dos funciones continuas es continua.

7. Muestre quef(z)
8. Muestre quef(z)

z es continua.

= lzl es continua.

9. l,Cual es el conjunto mas grande sobre el cualla funci6nf(z)

10. Demuestre 0 de un ejemplo si es falso: Si lim fez) y lfrn hew)


w~ a

= a, h esta definida
Podriamos

= 1/(1 -

el) es continua? en los puntosf(z),

= c, entonces

lim !t(f(z»
Z

--+

2:0

11. l,Para que valores de z converge

12. Definaf: C ~ C haciendof(O) = 0 y fer [cos a + i sen aD sen f es discontinua en 0 pero es continua en cualquier otro lugar.

= c. [Sugerencia: la sucesi6n zn = nz"?

Z~Zo

tener !tea) ~ c).

a si r » O. Muestre

que

13. Para cada uno de los siguientes conjuntos, establezca (i) si es


no es cerrado
a)

no es abierto y (ii) si es 0

[z tal que lzl <

II

b)

Izi 0 < lzl s

II

c)

[z I I s Re z s 2)

14. Para cad a uno de los siguientes conjuntos, establezca (i) si es 0 no es abierto y (ii) si es
o no es cerrado.
a)

[z I Im z > 2)

b)

{z I

I~ lzl ~ 2)

c)

Izl-1

< Re z ~ 2)

15. Para cada uno de los siguientes conjuntos, establezca (i) si es 0 no es conexo y (ii) si es
o no es compacto.
a) c)

[zit ~lzl~2) [z tal que IRe zl s 1)

b) d)

[z tal que lz] S 3 y IRezl ~ 1)


[z tal que IRe zl ~

1]
0

16. Para cada uno de los siguientes conjuntos establezca (i) si es


o no es compacto. a) {zll <Rez~21
'c) b)

no es conexo y (ii) si es

{z

I 2 ~ Izi S

3)

[z tal que lzl ~ 5 y 11mzl ~

1]
Zo

17. Si A c C y f; C ~ C, muestre que C\j-I(A) =f-I (C\A). 18. Muestre quef: ACe ~ C es continua si y s610 si zn ~ ~ !ezo)' 19. Muestre que la uni6n de cualquier colecci6n de subconjuntos
20. Muestre que la intersecci6n es abierta.

en A implica que!(zn)

abiertos de C es abierta. abiertos de C

de cualquier colecci6n finita de subconjuntos

21. De un ejemplo para mostrar que la afirmaci6n palabra "finita",

en el ejercicio 20 es falsa si se omite la

1.5. FUNCIONES ANALITICAS

73

22. Demuestre la parte (ii) de la proposici6n 1.4.6. usando la parte (i). 23. Muestre que si lzl > 1, entonces Ifm (zn/n)
n-+oo

00.

24. Introduzca la metrica cordal p en C haciendo p(z I' Z2) = d(z;, z~) donde z; y z~ son los puntos correspondientes en la esfera de Riemann y d es la distancia usual entre puntos de R 3.
a) b)

Muestre que z, ~ Muestre que z" ~

Z
00

en C si y s610 si p(z", z) ~ 0. si Ys610 si p(z",


00) ~

0.. continua en
00.

c) Sif(z)

= (az

+ b)/(cz + d) y ad - be # 0, muestre quejes

1.5. FUNCIONES ANALITICAS


Aun cuando la continuidad es un concepto importante, su importancia en el analisis complejo es ensombrecido por el concepto de derivada compleja. Existen varios enfoques de la teorfa de diferenciaci6n compleja.Ernpezaremos por definir la derivada como el limite del cociente de diferencias, exactamente como se hace en el calculo de variables reales. Varias de las propiedades de las derivadas y, en particular, de las reglas para ca1cularlas, se siguen de las propiedades de limite, justo como se hace en el calculo de funciones de variables reales. Sin embargo, existen algunos resultados sorprendentes y hermosos exclusivos de la teorfa compleja. Se emplean varias palabras diferentes para describir a las funciones que son diferenciables en el sentido complejo; por ejemplo, "regular", "holomorfa" y "analftica", Nosotros usaremos el termino "analftica", la misma palabra que se usa en el calculo para describir a las funciones cuya serie de Taylor converge al valor de la funcion. Un elegante resultado del analisis complejo justifica la eleccion de este lenguaje. En efecto, veremos en el capitulo 3 que, como una drastic a distincion con el caso de una sola variable real, la suposicion de que una funcion es diferenciable en el sentido de la variable compleja, garantiza la validez de la expansion de Taylor de dicha funcion,

Diferenciabilidad
Definicion 1.5.1. Sea f: A -? C, donde ACe es un conjunto abierto. Entonces se dice que f es diferenciable (en el sentido complejo) en Zo E A si
lfrn fez) - f(zo)
1.-+7.0

z-zo

existe. Este Limite se denota por fl(ZO)' 0 algunas veces por dfldz(zo)' As. fl(ZO) es un numero complejo. Se dice que f es analftica en A si f es compleja-diferenciable en cada Zo E A. La palabra "holomorfa", Lacual es usada algunas veces, es sinonimo de La palabra analitica. La frase analitica en Zo signijica analftica en una vecindad de zOo

74

CAP. 1. FUNCIONES

ANALlTICAS

Notese que
fez) - f(zo)

z -Zo
esta indefinida en Zo = Z Y esta es la razon por la que se usaron vecindades agujeradas en la definicion de limite. Se previene al estudiante que aun cuando la definicion de la derivadaf'(zo) es similar a la de la deri vada usual de una funcion de una variable real y aun cuando varias de sus propiedades son semejantes, el caso complejo es mucho mas rico. Notese tambien que en la definicion def' (zo)' dividimos por el mimero complejo z - Zo y la naturaleza especial de la division de mimeros complejos es una consideraei6n clave. EI limite cuando z ~ Zo se toma para una z arbitraria que se aproxima a Zo y no a 10 largo de alguna direccion particular. La existencia de I' implica mucho acerca de f. Se probara en la seccion 2.4. que si I' existe, entonces todas las derivadas de / existen (esto es, f", la derivada [compleja] def' existe y asf sucesivamente). Esto esta en marcado contraste con el caso de una funcion g(x) de la variable real x, en el cual s' (x) puede existir sin la existencia de g"(x). EI analisis de las llamadas ecuaciones de Cauchy-Riemann, en el teorema 1.5.8, mostrara c6mo la derivada eompleja de f se relaciona con las usuales derivadas parciales de f como una funcion de las variables reales (x, y), y proporcionara un criterio iitil para determinar la existencia de f' (zo)' Como en el calculo elemental, la eontinuidad de / no implica la diferenciabilidad; por ejemplo, fez) = lzl es continua pero no es diferenciable (vease el ejercicio 10 al final de esta seccion). Sin embargo, como en el calculo de una variable, una funcion diferenciable debe ser continua: Proposicion 1.5.2. Si f'(zo) existe, entonces f es continua en zOo

Dernostracion. Por la regla de suma para Ifmites, solo necesitamos mostrar que
lim [fez)
z -+
ZO

- f(zo)]=

Pero

10 cual, por la regia del producto para Ifrnites, es igual af' (zo) • 0

= O••

Las reglas usuales del calculo -Ia regIa del producto, la regla del cociente, la regIa de la cadena y la regIa de la funcion inversapueden empJearse cuando se diferencien funciones analfticas. Ahora expondremos estas reglas en detaIle.

1.5. FUNCIONES ANALITICAS

75

Proposlcion 1.5.3. Suponga que f y g son analiticas en A, donde ACe junto abierto. Entonces

es un con-

(i) af + bg es analftica en A y (af + bg)' (z) = af'(z) + bg'(z) para cualesquiera numeros complejos a y b. (ii) fg es analitica en A y (fg) ,(z) = f' (z)g(z) + fCz)g (z).
I

(iii) Si g(z) ¥= 0 para toda z

A,

entonces fig es analitica en A y f/(z)g(z) - g '(z)f(z)


[g(z)]2

(iv)

Cualquier polinomio ao + at z + ••• + anzn es analitico en todo C con derivada at + 2a2z + ••• + nanzn- '.

(v) Cualquier funcion racional

bo + b Iz + ..• + b m zm

a 0' +az+···+azn

es analitica en el conjunto abierto consistente de toda z excepto aquellos puntos (a 10 mas, m) donde el denominador es cero. (Vease ejercicio de repaso 24 para el capitulo l.) Demostracion. Las pruebas de (i), (ii) y (iii) son similares a las demostraciones de los resultados correspondientes encontrados en el calculo. EI procedimiento puede ilustrarse con la demostraci6n de (ii). Al aplicar los teoremas de lfrnites y el hecho de que Iimf(z) = f(zo) (proposici6n l.5.2.), obtenemos
Z~Zo

lim

!(z)g(z)
Z

- !(zo)g(zo)

= Ifm [!(Z)g(Z)
Z~
Zo

- !(z)g(zo)
Z - Z0

+ !(z)g(zo)

- !(zo)
Z - Z0

g(zo)]

-z

== lfm
Z~ Zo

f!(z)g(z)-g(zo) z - Zo

] +Ilm
Z~ z()

[f(Z)-f(Zo) Z - Zo

g(zo>]

Para probar (iv) debemos primero mostrar que f' = 0 si f es constante. Esto es inmediato de la definici6n de derivada porque fez) - !(zo) = o. Es igualmente sencillo mostrar que dz/ dz = 1. Entonces, usando (ii), podemos probar que
--

dz

Z2

1 • z + Z • 1 = 2z

y
_'!!:_Z3

dz

= _!j__ (z • Z2) = dz .

1 • Z2 + Z

2z

= 3z2

76

CAP. 1. FUNCIONES ANALITICAS

En general, vemos por induccion que dd'ldz esto y de (i) y (v) se sigue de (iv) y de (iii) .• Por ejemplo.

= nz" - 1. Entonces

(iv) se sigue de

dZ'

z+1

1)

= - (z + 1)2

El estudiante tambien recordara que una de las reglas mas importantes para la diferenciaci6n es la regIa de la cadena 0 Ia regIa de Ia "funcion de una funci6n". Para ilustrar,
--

d
dz

(Z3

+ 1)10 =

IO(Z3

+ 1)9. 3z2

Este procedimiento para diferenciar debe ser familiar y se justifica con el siguiente resultado. Regia de la cadena. 1.5.4. Sean f: A ~ C y g: B ~ C analiticas (A, B son conjuntos abiertos) y asuma que f(A) C B. Entonces g 0 f (z) = g(f(z» es analitica y
d dz g
0

fez) = g'(f(z»

• f'(z)

La idea basic a de la demostracion de este teorema es que si w = fez) y Wo = f(zo)' entonces


g(f(z» - g(f(zo» _

z -Zo

g(w) - g(wo)

fez) - f(zo) z-zo

Y si hacemos que z ~ zo' tambien tenemos que w ~ w 0 y el lado derecho de la ecuaci6n precedente resulta ser g'(wo)f'(zo). EI problema es que aun si z oF zo' podrfamos tener w = wo. Debido a esta posibilidad, damos una demostraci6n mas cuidadosa. (Aun cuando aquf la regIa de Ia cadena puede deducirse de la regIa de Ia cadena para la derivada usual de funciones de varias variables -vease la demostraci6n de 1.5.8.-, una demostraci6n independiente es instructiva.) Demostracion. Sea Wo =f(zo) y deffnase, para wEB,

1.5. fUNCIONES

ANALITICAS

77

Dado que g'(wo) continuas es continua.

existe, h es continua.

Como la composici6n

de funciones

lfrn h(f( zl)


~~ Zo

= h( w 0) = 0

De la definici6n de h y haciendo w = fez), obtenemos que g 0 fez) - g(wo)= [h (f(z» + g 'Cwo)] [fez) - wo]· Notese que esto se satisface aun sif(z) = woo Para z =F zo' obtenemos

Como Z ~ Zo' ellado derecho de la ecuaci6n converge a [0 + g'(wo)] asf que el teorema queda demostrado .•

• [!'(zo)],

Un argumento similar a este, muestra que si y: la, b[ ~ C es diferenciable, podemos diferenciar la curva oCt) = f( y(t» y obtener cr' (t) = f' (y(t» • y' (t). Aquf y' (t) es la derivada de y como una funci6n la, b[ ~ R2, 'esto es, si yet) = (x(t), y(t», entonces y' (t) = (x' (t), y' (1» = x' (t) + iy' (r). Esta ultima versi6n de la regIa de la cadena nos permite desarrollar una versi6n compleja del teorema de calculo que establece que una funci6n cuya derivada es identicamente 0, debe ser constante. El resultado ilustra la importancia de las regiones, 0 conjuntos abiertos y conexos, en los cuales podemos, de acuerdo con la proposici6n 1.4.15, conectar cualesquiera dos puntos distintos mediante una trayectoria diferenciable.

o en A, entonces

Proposiclon

1.5.5. Sea Ace abierto y conexo y sea f: A ~ C analitica. Si f' (z) f es con stante en A.
Z

Demostracion. Sean z I' Z 2' eA. Queremos mostrar que f(

I)

= fez

2). Sea y( t)

una trayectoria que une Zl con Z2" Por la regIa de la cadena, df("((t»)ldt =f'(y(1» • "('(t) = 0, ya que!, = O. De este modo, sif= u + iv, tenemos que du(y(t»Jdt =0y dv(y(t»Jdt O. Del calculo, sabemos que esto implica que u(y(1» y v(y(t» son

funciones
f(zl)

constantes

de t. Si comparamos

los valores en t = a y t = b nos da que

=f(Z2)'

Claramente, se necesita la conexidad puesto que si A consiste de dos piezas disjuntas, podrfamos hacer f = 1 en una de las piezas y f = 0 en la otra. Entonces f' (z) serfa igual a 0, perofno serfa constante en A.

Mapeos conformes
La existencia de ]a derivada complejaf' da lugar a severas, pero muy iitiles, restricciones sobre f. La primera de estas restricciones sera aquf discutida brevemente. Otra restricci6n se rnencionara cuando se analicen las ecuaciones de Cauchy-Riemann en el teorema 1.5.8.

78
y

C
~

--~--------------------~x
Figura 1.5.1. Un mapeo conforme en
zOo

--,_--------------------~x

J es una rotaci6n

Se mostrara que "infinitesimalmente" cerca de un punto Zo en el cuaIJ'(zo) oF 0, por arg J'(zo) y una amplificaci6n por If '(zo)1. EI terrnino "infinitesimalmente" se define mas precisamente despues, pero intuitivamente esto significa que localmente J es aproximadamente una rotaci6n junto con una amplificacion (vease figura 1.5.1). Si f'(zo) = 0, la estructura de J es mas complicada. (Este punto sera estudiado mas adelante, en el capitulo 6.) Definicion 1.5.6. Un mapeo f : A ~ C es llamado conforme en Zo si existe una e E [0, 21t[ y una r > tal que para cualquier curva y( t) que es diferenciable en t = 0, para la cual yet) E Ay yeO) = Zoo, y que satisface y'(O) =F 0, Lacurva ort) = f(y(t» es diferenciable en t = y, haciendo u = cr'(O) y v = y'(O), tenemos que lui = r Ivl y arg u = arg v + e (mod 21t).

En este texto, un map eo sera llamado conforme punto.

cuando es conJorme en todo

Asf, un mapeo conforme meramente rota y alarga vectores tangentes a curvas. Este es el significado preciso de "infinitesimal" como se uso previamente. Debe notarse que un mapeo conforme preserva dngulos entre curvas que se intersectan. (Por definicion, el angulo entre dos curvas es el angulo entre sus vectores tangentes; vease figura 1.5.2.)
y

f
~

--~----------------------x

--,_----------------------x

Figura 1.5.2. Preservaci6n de angulos por un mapeo conforme.

1.5. FUNCIONES

ANALITICAS

79

entonces definicion

Teorema del mapeo conforme 1.5.7. Si f : A ~ C es analftica y si f'(zo) #- 0, f es conforme en Zo con e = arg fl(ZO) y r =If'(zo)l, verificando La 1.5.6. La demostraci6n de este teorema es notablemente simple:

Demostracion, Usando la notacion precedente y la regia de la cadena, obtenemos u = o'(O) =f'(zo) • y'(O) =f'(zo) • v. Asf, arg u = eig f" (zo) + arg v (mod 21t) y lui = If' (zo)1. lvi, como se pedia .• El punto en esta demostraci6n es que el vector tangente v a cualquier curva se multiplica por un mimero complejo fijo, a saber, f'(ZO) sin importar en que direccion esta apuntando v. Esto se debe a que, en la definici6n de f' (zo)' lim se "toma en todas las posibles direcciones" cuando z ~ zo0 z ~ Zo

Ecuaciones de Cauchy- Riemann


Recordemos que sif: ACe = R2 ~ R2 y sif(x, y) = (u(x, y), vex, y» = u(x, y) + iv(x, y), entonces la matri; jacobiana de f se define como la matriz de las derivadas parciales dada por

Df(x, y) =

en cada punto (x, y). Vamos a relacionar estas derivadas parciales con Ia derivada compleja. Desde el punto de vista de las variables reales, se dice quefes diferenciable con derivada la matriz Df(xo' Yo) en (xo' Yo) si para toda E > 0, existe una 0 > tal que Ixo' Yol- (x, y)1 < 0 irnplica

donde Df(xo' Yo) • [(x, y) - (xo' Yo)] significa la matriz Df(xo' (columna)

Yo) aplicada al vector

y Iwl representa la longitud de un vector w. Si f es diferenciable, entonces las parciales usuales au/ax, au/ay, av/ax y av/ay existen y Df(xo' Yo) esta dada por la matriz jacobiana. La expresi6n Df(xo' Yo) [w] representa la derivada de fen la direccion w, Si las parciales existen y son continuas, entonces f es diferenciable, Generalmente, entonces, la diferenciabilidad es un

80

CAP. 1. FUNCIONES ANALITICAS

poco mas fuerte que la existencia de las parciales indi viduales. (Las demostraciones de las afirmaciones precedentes no estan inc1uidas aquf pero pueden encontrarse en cualquier texto de calculo avanzado, tal como Elementary Classical Analysis, de J. Marsden, Nueva York, W.H. Freeman and Co., 1974 cap. 6. EI principal resultado que relaciona las derivadas parciales y la analiticidad se enuncia en el siguiente teorema. Teorema de Cauchy-Riemann 1.5.8. Sea f: A C C ~ C una funcion dada, con A un conjunto abierto. Entonces f'(zo) existe si y s610 si f es diferenciable en el sentido de las variables reales y en (xo' Yo) = zo' u y v satisfacen

--ax- -

dU

dV dy

dU dy

= ---

dV

dX

(llamadas las ecuaciones de Cauchy-Riemann). Asf si aulax, duldY, dV/dx, y dV/dY existen, son continuas en A y satisfacen ecuaciones de Cauchy-Riemann, entonces f es analftica en A. Si f' (zo) existe, entonees
f'(zo) = --+

las

au av
dy

ax

1--=

. av

ax

af
dX
-

= ---1--=

. au ay

1
j

--

af ay
existe, entonees

Demostracion. Vamos primero a demostrar que si!'(zo) satisfaeen las eeuaciones de Cauchy-Riemann. En ellfmite

uyv

/' (z ) = lfrn fez) - /(zo) o Z-Uij Z-Zo


vamos a tomar el caso especial en el que z = x + iy. Entonees

z-Zo
=

u(x, Yo) + iv(x, Yo) - u(xo' Yo) - iv(xo' Yo) x-xo u(x, Yo) - u(xo' Yo)
x-xo

+i-------------x-xo

vex,

)'0) -

v(xo'

)'0)

Conforme x ~ xo' el lado izquierdo de la ecuacion converge al limite f'(zo)' Entonees tanto Iii parte real como la imaginaria dellado derecho deben converger a un Ifmite (vease el ejereicio 2 de la seccion 1.4). De la definicion de derivadas parciales, este limite es (au/ax)(xo' Yo) + i(avlax)(xo' )'0)' As} f'(zo) = au/ax + i iJvldx evaluadas en (xo' Yo). Enseguida hagase z = xo + iy. De modo similar tenemos que

81 fez) - f(zo) o o o o --------- --~--------~------~~----~--~ = z - Zo iCy - Yo) = u(xo' y) - u(xo' Yo) iCy - Yo) Cuando y ~ Yo' obtenemos
1 au av ----+--=---1-i ay ay

u(x ' y) + iv(x ' y) - u(x ' yo) - iv(x ' Yo)

av ay

. au ay

De este modo, puesto que f' (zo) existe y tiene el mismo valor sin importar c6mo z se aproxima a zo' obtenemos f'(zo)
= ~+

dX

i~=

dX

~-i

dy

ay

au

Al comparar las partes real e imaginaria de estas ecuaciones, deducimos las ecuaciones de Cauchy-Riemann, asf como las dos formulas para/'(zo)'. Otro argumento para esta direcci6n de Ia demostraci6n y uno para la implicaci6n contraria, puede basarse en la representaci6n matricial desarrollada en el ejercicio 10 de Ia secci6n. 1.1: Lema 1.5.9. Una matri:

represen ta, bajo la multiplicacion de matrices, la multiplicaci6n por un ntimero complejo si a = d y b = - c. El numero complejo en cuestion es a + ic = d - ib. Demostracion. Primero, vamos a considerar la multiplicacion por el mimero complejo a + ie. Esta manda x + iy a (a + ic) (x + iy) :::ax - cy + i(ay + ex), que es 10 mismo que
ax-ey)

ex+ay

Recfprocamente, supongamos que (ac db)

(Xy ) __ z·

(x

+ iy)

82

CAP. 1. FUNCIONES

ANALITICAS

para un mimero complejo z = ex. + iJ3. Entonces obtenemos


ax +

by = ax - J3y

ex + dy

= ex.y + J3x

para toda x, y. Esto implica (haciendo x = 1, y = b = -13, e = 13, y d = a, por 10 tanto la demostracion

y luego x = 0, y = 1) que a = o, esta completa ....

Podemos ahora completar la demostracion del teorema 1.S.S. De la definicion de 1', la afirmaci6n de que t' (z 0) existe es equi valente a la siguiente afirmacion: Para cualquier E > 0, existe una (5 > 0 tal que < lz - zol < (5 implica

Primero vamos a suponer que l' (zo) existe. Por definicion, Df(xo' Yo) es la iinica matriz con la propiedad que para cualquier E > existe una (5 > tal que, haciendo Z = (x, y) y Zo = (xo 'Yo)' < lz - zol < (5 implica

Si comparamos esta ecuacion con la precedente y uno recuerda que la multiplicacion por un mimero complejo es una transformacion lineal, conc1uimos quejes diferenciable en cl sentido de las variables reales y que la matriz Dj(zo) representa la multiplicacion por el mirnero complejo I' (zo)' Asf, al aplicar ellema a la matriz

----

au au
ax
av
ay

----

ax

av ay

con a = aulax, b = aulay, e = avlax, d = avlay, tenemos a = d, b = - e, las cuales son las ecuaciones de Cauchy-Riemann. Recfprocamente, si se satisfacen las ecuaciones de Cauchy-Riemann, Dj(zo) representa la multiplicacion por un numero complejo (por el lema) y entonces, como arriba, la definicion de diferenciabilidad en el sentido de variables reales se reduce a la de la derivada compleja. La formula para t' (zo) se sigue de la ultima afirmacion del lema .• Podemos tambien .expresar las ecuaciones de Cauchy-Riemann en terminos de coordenadas polares, pero debe hacerse con cuidado, puesto que el cambio de coordenadas polares definido por r = Jx2 + y2 Y e = arg (x + iy) es un cambio diferenciable s610 si se restringe e al intervale abierto ]0, 21t[ 0 a cualquier otro intervale abierto de longitud 21t y si se omite el origen (r = 0). Sin tal restricci6n, e es discontinua porque salta 21t al cruzar el eje x. Si usamos ax/ar cos e, ay/ar sen e, vemos que las ecuaciones de Cauchy-Riemann son equivalentes a decir que

83

a;-=

au

---

1
r

ae

av

av

ar

=----

-1
r

au
ae

Aquf estamos empleando un usual abuso de notaci6n al escribir u(r,

en una region contenida en otra region tal como aquella mostrada en la figura 1.5.3. e) = u(r cos e, r sen e). (Para un enunciado mas preciso, vease el ejercicio 12 al final de esta seccion.)
y y

Figura 1.5.3. Dos regiones de validez de las coordenadas

polares.

Funciones inversas
Un teorema basico del analisis real es el teorema de Ia funcion inversa: Una funcion continuamente diferenciable es uno a uno y sobre en un eonjunto abierto y tiene una inversa diferenciable en alguna vecindad de un punto donde el determinante jacobiano de la matri: derivada no es O. Daremos aquf una demostracion de la contraparte compleja de este resultado, la cual supone que la derivadaf' es continua y depende del eorrespondiente teorema para funciones de variables reales. Despues de que hayamos probado el teorema de Cauchy en el capitulo 2, veremos que la continuidad de f' es automatic a y en el capitulo 6 probaremos el teorema de otra manera que no depende del teorema de variable real. La demostraci6n dada aqui, de cualquier modo, ilustra la relacion entre variables reales y complejas, y la relevancia de las ecuaciones de Cauchy-Riemann. Teorema de la funcion inversa 1.5.10 Sea f : A ~ C analitica (eon f' continua) y suponga que f'(zo) ~ O. Entonees existe una vecindad U de Zo y una vecindad V de f(zo) tal que f : U ~ V es una biyeccion (esto es, es uno a uno y sobre) y su funcion inversa f-1 es analitiea eon su derivada dada por
d -1 _ 1 dw f (w) - f'(z)

donde w = fez)

Se previene al estudiante que la aplicacion del teorema de la funci6n inversa permite a uno unicamente concIuir la existencia de una inversa local para f Por ejemplo, vamos a considerar fez) = Z2 definida en A = C\{O}.Entoneesf'(z) = 2z ~ a

84

CAP. 1. FUNCIONES

ANALITICAS

en cada punto de A. EI teorema de la funci6n inversa dice que f tiene una inversa analftica local, que es, en efecto, simplemente alguna rama de la funci6n rafz cuadrada. Pero f no es uno a uno en todo A, ya que, por ejemplo, f(1) :::f( -1). Asf f sera uno a uno unicarnente dentro de una vecindad suficientemente pequefia alrededor de cada punto. Para demostrar este teorema, recordemos el enunciado para variables reales en dos dimensiones:
Teorema de la Cundon inversa para funciones de variable real. Si f : A C R2 ~ R2 es continuamente diferenciable y Df(xo' Yo) tiene determinante diferente de cero, entonces existen vecindades U de (xo' Yo) y V de f(xo' Yo) tales que f: U ~ V es una biyeccion, f-I: V ~ U es diferenciable, y Df-I (f(x,
y»:::

[Df(x, y)]-I

(esta es la inversa de Lamatri: de las parciales). La demostraci6n de este teorema puede encontrarse en textos de calculo avanzado. Vease, por ejemplo, Elementary CLassical Analysis de J. Marsden (Nueva York: W.H. Freeman and Co., 1974), capitulo 7. Aceptando este enunciado y asumiendo que en el teorema 1.5.10,f' es continua podemos completar la demostraci6n. Demostracion del teorema 1.5.10. Para funciones analfticas tales como fez), hemos visto que la matriz de las derivadas parciales es
----

Df:::

au au ax ay av av ---ax ay

----

au -iJu ax ax av au ---ax ax

que tiene detenninante

( ~y

+ ( ~:

= 1 (z)I' t"

ya que f' (z) :::au/ax + i avlax. Todas estas funciones son evaluadas en el punto (xo' yo) ~ 0, por 10 tanto, Det Df(xo' Yo) ::: If'(zo)12 ~ 0. Por ende, se aplica el teorema de la funci6n inversa para funciones de variable real. Por el teorema de Cauchy-Riemann s610necesitamos verificar que los elementos de [Df(x, y)]-l satisfagan las ecuaciones de Cauchy-Riemann y dar (f-I), como se estableci6. Como acabamos de ver
::: zoo Ahoraf'(zo)

Df=

ax ay
av av ax dY

au au

1.5. FUNCIONES ANALITICAS

85

y 1a inversa de la matriz es

DetDf

av -av ax ay -av au ax ax

Por 10 tanto, si escribimos j "! (x, y) = t(x, y) + is(x, y), entonces, comparando

con la matriz inversa de Df, obtenemos

ax
y =---DetDf Similarmente,
1

at

1 = Det Df

--ay-

av

1 = Det Df

au ax

=----

DetDf

evaluada enf(xo'

Yo)

ay -

at

1 -D-e-tD-Ij-

ay

as

= DetDf

Asf las ecuaciones de Cauchy-Riemann se satisfacen para t y s ya que se satisfacen para u y v. Por 10 tanto, es compleja-diferenciable. Del teorema de CauchyRiemann vemos que en el puntof(zo)

r:'

-I'

(f

at ax

. as ax

1 Oet

au -

Dfax

. au ) ax

f'(zo) If' (zo)12

1 j-'-Cz- )o


en

Una manera alternativa el ejercieio 7.

de demostrar

que (f-I),(f(z»

= l/j'(z) .

se bosqueja

Funciones arm6nicas y armonicas conjugadas


Las partes real e imaginaria de una funci6n analitiea debe satisfacer las ecuaeiones de Cauchy-Riemann. La manipulaei6n de estas ecuaciones nos lleva direetamente a otra propiedad muy importante, la eual ahora separaremos. Una funcion dos

86

CAP. 1. FUNCIONES ANALITICAS

veces continuamente diferenciable Hamada armonica si

u :A

--7

R definida en un conjunto abierto A es

(1)

La expresi6n V2u se llama ellaplaciano de u y es una de las operaciones mas basicas en matematicas y en ffsica. Las funciones arm6nicas juegan un papel fundamental en los ejemplos ffsicos discutidos posteriormente en los capftulos 5 y 8. Por el momento vamos a estudiarlas desde el punto de vista matematico. Para que la ecuaci6n (1) tenga senti do, la funcion u debe ser dos veces diferenciable. En el capitulo 3 se mostrara que una funcion analftica es infinitamente diferenciable. Asf sus partes real e imaginaria son infinitamente diferenciables. Vamos a aceptar (0 a asumir) estas propiedades aquf. En particular, las segundas derivadas parciales son continuas y asf, un resuItado usual del calculo dice que las parciales cruzadas son iguales. Las ecuaciones de Cauchy-Riemann pueden entonces set usadas para mostrar que estas funciones son arm6nicas. Proposici6n 1.5.11 Si f es analitica en un conjunto abierto A y f si u = Re f y v = 1m f), entonces u y v son armonicas en A.

=u+

iv (esto es,

Demostraci6n. Usamos las ecuaciones de Cauchy-Riemann, au/ax = av/ay y au/ay == -dV/dX. Diferenciando la primera ecuacion con respecto de x y la segunda ecuacion con respecto de y obtenemos y Del calculo sabemos que las segundas parciales son simetricas: (2)

Si sumamos las ecuaciones

en el conjunto de ecuaciones

(2) nos da

.....,..--- = 0

av
2

aYdX

La ecuacion para v se prueba en la misma forma .• Si u y v son funciones con valores reales definidas en un subconjunto A de C tal que la funcion con valores complejosJ= u + iv es analftica en A, decimos que u y v son armonicas conjugadas en A. Por ejernplo, y
veX, y) = 2xy

son armonicas conjugadas una de la otra ya que ellas son las partes real e imaginaria

1.5. FUNCIONES ANALITICAS

87

def(z)

= Z2. En el ejemplo resuelto 1.3.18 vimos que las curvas de nivel de u y v se

intersectan en angulos rectos. Esto no es accidental, la demostraci6n de su validez general para funciones arm6nicas usa la misma idea que en 1.3.18 Y tambien las ecuaciones de Cauchy-Riemann. Proposicion 1.5.12. Sean u y v armonicas conjugadas en una region A. Suponga que u(x, y) = constante = c]
y vex, y)= constante = c2 definen curvas suaves. Entonces estas curvas se intersectan ortogonalmente

(vease

la figura 1.5.4.)

= con stante
v

= constante

Figura 1.5.4. Arrnonicas conjugadas en el caso u = x2

y2,

= 2xy,

f(z)

= Z2.

Aceptamos, del calculo, el hecho que u(x, y) = c 1 define una curva suave si el gradiente grad u(x, y) = (au/ax, au/ay) = (au/ax) + i(au/ay) es diferente de cero para x y y que satisfacen u(x, y) = C I' (EI estudiante debe enterarse de este hecho aun cuando es un pun to tecnico que no juega un papel mayor en los ejemplos concretos.) Tambien es cierto que el vector gradiente u es perpendicular a la curva (vease figura 1.5.5). Esto puede explicarse como sigue. Si (x(t), yet»~ es la curva, entonces u(x(t), yet»~ = c I' de modo que

dt [u(x(t).

yet»~]

=0

88

CAP. 1. FUNCIONES ANALITICAS

y asf, par la regla de la cadena

au . x ,(t) + -_. au -ax


Esto es,

ay

Y "(r) = 0 t

ax au) (au ay .('x (t), Y '(t)) = 0

grad u

U(X,y) = constante

Figura 1.5.5. Los gradientes son ortogonales a los conjuntos de nivel. Demostraci6n de la proposici6n 1.5.12. Debido a las anteriores observaciones, es suficiente mostrar que grad u y grad v son perpendiculares. Su producto interior es grad u • grad v = --

au ax

. --

av ax

+ --

au ay

• -.•

ay

dV

el cual es cero debido a las ecuaciones de Cauchy-Riemann

Esta propiedad de ortogonalidad de las arm6nicas conjugadas tiene una irnportante interpretaci6n ffsica que se empleara en el capftulo 5. Otra forma de ver por que se debe satisfacer esta propiedad es considerar mapeos conformes y el teorema de la funci6n inversa. Esto se ilustra en la figura 1.5.6. Si I = u + iv es analftica y j'(zo) ¥- 0, entoncesj"! es analftica en una vecindad V de Wo = I(zo) Y ir:': (wo) ¥- 0 debido al teorema de la funci6n inversa. Si w 0 = e I + ie 2' entonces las curvas u(x, y) elY vex, y) e 2 son las image_!les de la lfneas vertical y horizontal que pasan a traves de w 0 bajo el mapeo I-I. Estas deben cruzarse en angulos rectos ya quej" J es conforme por el teorema 1.5.7.

89

----...
J
j-I ~

-------~--

-----------+------+-----~tI
'CI I
I I

Figura 1.5.6. Puesto que f y t:' son analfticas, son conformes y, por 10 tanto, preservan ortogonalldad, La proposici6n 1.5.11 dice que la parte real de una funci6n analftica es ann6nica. Una pregunta natural es 10 opuesto: LToda funci6n ann6nica es la parte real de una funci6n analftica? Mas precisamente: Dada una funci6n arm6nica u en un conjunto A, l,necesita haber una ann6nica conjugada v tal que J = u + iv es analftica en A? La respuesta cabal es un poco tortuosa y depende del conjunto A. Sin embargo, la respuesta es mas simple si nos confiamos nosotros mismos a vecindades pequefias. En efecto, la propiedad de ser ann6nica es 10 que se llama una propiedad local. La funci6n u es arm6nica en un conjunto si las ecuaciones (1) son validas en todo punto de ese conjunto y la validez de estas ecuaciones depende unicarnente del comportamiento de u cerca de ese punto.

Proposicien 1.5.13. Si u es una funcion armonica dos veces diferenciable en un conjunto abierto A y Zo E A, entonces existe una vecindad de Zo en fa cual u es fa parte real de una funcion analitica.
En otras palabras, existe una r > 0 y una funci6n v definida en el disco abierto D(zo; r) tal que u y v son arm6nicas conjugadas en D(zo; r). En efecto, D(zo; r) puede ser tornado como el disco mas grande centrado en Zo y contenido en A. Una demostraci6n directa de esto se bosqueja en el ejercicio 32. Una demostraci6n distinta de un resultado ligeramente mas fuerte se dara en el capitulo 2. Ya que las ecuaciones de Cauchy-Riemann deben satisfacerse, vesta unicamente determinada excepto por la suma de una con stante. Estas ecuaciones pueden usarse como un metoda para encontrar v cuando u es dada. (Vease e1 ejemplo resuelto 1.5.20.)

Ejemplos resueltos
1.5.14. lEn donde es analitica
f(z)

Caicule fa derivada.

90

CAP. 1. FUNCIONES ANALITICAS

Solucion. Por la proposici6n 1.5.3. (iii)fes analftica en el conjunto A:;;:; [z E C fZ3 + 1 ¥- 0 ), esto es, f es analftica en todo el plano excepto en las rakes ctibicas de -1 :;;:; elt!: a saber, los puntas elti/3, elt! y e5ltil3 Par la f6rmula para derivar un cociente, 1a derivada es

f'(z)

(Z3

+ 1)(3z2 + 2) (Z3

(Z3

+ 2z + 1)(3z2)

+ 1)2

:;;:;

1.5.15.

Considere

fez) :;;:; + 1. Estudie el comportamiento z3

infinitesimal

de fen Zo

= i.

Solucion. Usaremos el teorema del mapeo conforme (1.5.7). En este caso f'(zo) 3i2 -3. As! frota local mente un angulo 1t arg (-3)y multi plica longitudes par 3 If'(zo)1 . Mas precisamente, si c es cualquier curva que pasa a traves de Zo i, 1a curva imagen tendra, enf(zo)' su vector tangente rotado par 1t y alargado par un factor 3.

1.5.16.

Demuestre

que fez)

= z no

es analitica.

Soluci6n. Seaf(z) u(x, y) + iv(x, y) = x - iy donde z (x, y) x + iy. As! u(x, y) x, vex, y) :;;:; Pero au/ax -yo 1 y av/ay -1, en consecuencia au/ax ¥- av/ay y, por 10 tanto, las ecuaciones de Cauchy-Riemann no se satisfacen. Por ende.j'(z) :;;:; no Z puede ser analftica, par el teorema de Cauchy-Riemann (1.5.8).

1.5.17.

Sabemos, por Laproposici6n 1.5.3, que fez) z3 + 1 es analitica. ciones de Cauchy-Riemann para esta funcion.

Verifique las ecua-

Soluci6n Sif(z) u(x, y) + iv(x, y) cuando z= (x, y) x + iy, entonees en este caso u(x, y) :;;:; - 3xy2 + I Y vex, y) = 3x2y - y3. Par 10 tanto, au/ax x3 3x2 - 3y2, au/ay = 2 - 3y2, de 10 cual vemos que au/ax = av/ay y au/ay -6xy, av/ax = 6xy y av/ay = 3x =-av/ax.

1.S.1S. Sea A un subconjunto

abierto de C y A*

= [z IZ E

A). Suponga que f es analitica en

A y defina una funci6n g en A * como g(z) :;;:; f(z.). Demuestre que g es analitica en A *. Solucion. Sif(z)

= u(x, y) + iv(x, y), entonees g(z) = fez) :;;:; -y) - iv(x, -y). Checau(x, mos las ecuacione.s de Cauchy-Riemann para g como sigue: "_a_ ax
(Re g)

=~ a

ax

u(x, -y) _ -

au ax
d
dy

I -~I ay
(x. -y) -

(x. -y)

=-

ay

[-v(x,-y)]

=-

(1m g)

1.5. FUNCIONES ANALITICAS

91

a ay

(Reg)

a = ay =-

u(x, -y)

a:

~; ,= L
=-

[-vex, -y)]

a:

av ax

(x,-v)

(1m g)

Puesto que las ecuaciones de Cauchy-Riemann se satisfacen y g es diferenciable en el sentido de las variables reales (l,por que"), g es analftica en A * por el teorema de Cauchy-Riemann. (Uno puede resolver directamente este ejercicio apelando directamente a la definicion de diferenciabilidad.) 1.5.19. Suponga que f es una funcion analitica en una region (un conjunto abierto conexo) A y que If(z)1es constante en A. Muestre que fez) es constante en A. Solucion. Usaremos las ecuaciones de Cauchy-Riemann para mostrar quef'(z) = 0 en todo A. Seaf= u + iv. Entonces Ifl2 = u2 + v2:;;;; C es constante. Si c = 0, entonces If(z)1 = 0 y, por tanto,f(z) = 0 para toda z en A. Si c =;6 0, tomamos las derivadas de u 2 + v2 = C con respecto a x y y para obtener 2u~+ 2v~=0
y

ax

ax

2u--

au ay

+ 2v--

av ay

=0

Por las ecuaciones de Cauchy-Riemann esto se convierte en


u---v--=O

ax

au

au
ay

v--+u--=O

au ax

au ay

Como un sistema de ecuaciones para las dos incognitas au/ax y au/ay, la matriz de coeficientes tiene determinante u2 + v2 = C, que es diferente de O. Asf la iinica solucion es au/ax = au/ay = 0 en todos los puntos de A. Por 10 tanto,!'(z) = au/ax + i(av/ax) = 0 en todo A. Puesto que A es conexo,f es con stante (por la proposici6n 1.5.5). 1.5.20. Encuentre las armonicas conjugadas de las siguientes funciones armonicas en C:
a)

u(x. y)

= xl _ y2

b)

u(x, y)

= sen x cosh y

Observacion: EI estudiante podrfa reconocer x2 - y2 Ysen x cosh y como las partes reales de Z2 y sen z. z = x + iy. A partir de esta observacion se sigue que las conjugadas, excepto por la suma de constantes, son 2xy y senh y cos x. (Vamos a ver en la siguiente secci6n que sen z es analftica.) Es instructivo, sin embargo, resolver el problema directamente usando las ecuaciones de Cauchy-Riemann, debido a que el estudiante no siempre podrfa reconocer una funcionanalftica apropiadaf(z) por simple inspecci6n.

92
Solucion
a) Si v es una ann6nica conjugada de u, entonces avlax 2y Y avlay 2x. Por 10 tanto, v 2yx + gl(Y) y v = 2xy + g2(x). As] g 1(Y) = gix) = constante y, por tanto, vex, y) 2yx + con stante. b) avlax = -sen x senh y y avlay = cos x cosh y. La primera ecuaci6n implica que v cos x senh y + gl(Y) y la segunda ecuaci6n implica que v cos x senh y + g2(x). En consecuencia g 1 (y) g 2 (x) con stante. Por 10 tanto, vex, y) = cos x

senh y + con stante.

I.S.21.

Muestre que u (x, y) monicas conjugadas.

= log

~ x2 + y2 es armonica en

C\lo).

Discuta las posibles ar-

Solucion. Un calculo directo muestra que

--+--= 2
ax ay2

a2u

a2u

la ecuaci6n de Laplace, ecuaci6n 0), se satisface y, por 10 tanto, la funci6n es arm6nica. Si vex, y) es una conjugada arm6nica, entonces

--=---=----

av ax

au ay

y
x2 + y2

--=--=---

av ay

au ax

x2

+ y2

Como resultado de integrar la primera ecuaci6n, v = -tan-I (x/y) + gl(Y)' y de la segunda, v = tan:" (ylx) + g2(x). Pero tan=! (ylx) + tan"! (x/y) = rrJ2 (wor que") y, por ende, v = tan-I (ylx) + constante. N6tese que si z x + iy, entonces lzl = ~ x2 + y2 y u(x, y) es la parte real de log z = log Izl + i arg z. Si zo=/= 0, podemos escoger el intervale para el argumento de forma tal que la correspondiente rama del logaritmo este definida y sea continua en una vecindad de ZOo Nuestra funci6n u(x. y) = log lzl es la parte real de esta, La funci6n vex, y) = tan:" (x/y) = arg z es una arm6nica conjugada para u en una vecindad de Zo y las ecuaciones de Cauchy-Riemann se satisfacen, y, por tanto, log Zfs analitica. (Vease figura 1.5.7.) y

Figura 1.5_7. Una rama del


logaritmo vecindad es analftica de ZOo en una
./
./

1.5. FUNCIONES

ANALITICAS

93

Sin embargo, aun cuando u es ann6nica en todo C\jOJ, no hay forma de escoger una ann6nica conjugada que trabaje en todo este conjunto al mismo tiempo, ya que se debe hacer una elecci6n de tan! (y/x). Tal conjugada deberfa ser una elecci6n de una rama del argumento, y no hay forma de hacer esto sin una discontinuidad de saito en algun lado. (Vamos a estudiar log z mas sistematicamente en las siguientes secciones.)

Ejercicios
1. Determine los conjuntos en los cuales son analfticas las siguientes funciones y calcule sus

derivadas:
a)

(z +lP

b)

z+-

c)

C~ yo
1
3z2

d)

(Z3 -

1) (Z2 + 2)

2. Determine los conjuntos en los cuales las siguientes funciones son analfticas y calcule sus derivadas:
a) c)

+ Tz + 5

b)

(2z

+ 3)4

3z - 1

3-z 3. l,En que conjuntos son analfticas las siguientes funciones? Calcule la derivada para cada una de ellas.
a)

z", n es un entero (positivo


1
(z

negativo)

b)
c)

lIZ)2

z/(z n -

2), n es un entero positivo.

4. Para y: la, b[ ~ C diferenciable y f: A ~ C analftica, con y( ]a, b[) C A pruebe que (J = f yes diferenciable con (J' (r) = f' (y( t»y' (t) imitando la demostraci6n de la regIa de la cadena (1.5.4). 5. Estudie el comportamiento infinitesimal de las siguientes funciones en los puntos indicados:
0

a)

f(

z) :;;;z + 3, Zo :;;; 3 + 4i

c) f(z)

Z2

+z + 1
z-l

,zo

=0

6. Estudie el comportamiento indicados:

infinitesimal

de las siguientes funciones en los puntos

94
a) fez) c) f(z)

= 2z + 5, Zo = 5 + 6i
=
I/(z-I),zo=i

7. Demuestre que df-Ildw = l/j'(z), donde w = fez), diferenciandof-I(J(z» = z y usando la regia de la cadena. Asuma quef-l esta definida y es analftica. 8. Use el teorema de la funci6n inversa para mostrar que si f: A ~ C es analftica y J'(z) '# 0 para toda z en A, entonces f mapea conjuntos abiertos de A en conjuntos abiertos. 9. Verifique las ecuaciones de Cauchy-Riemann para la funci6nf(z) = Z2 + 3z + 2. 10. Demuestre quef(z) = lzl no es analftica, 11. Demuestre, por cambio de variables, que las ecuaciones de Cauchy-Riemann, en terrninos de coordenadas polares, son
--= ---

av aa

--=----

av
ar

aa

12. Haga cuidadosamente los calculos en el ejercicio 11 por medio del siguiente procedimiento. Sea f definida en el conjunto abierto A C C (esto es, f: ACe ~ C) y suponga quef(z) = «(z) + iv(z). Sea T: ] 0, 21t[x R+ ~ R2 donde R+ == Ix E RI x> oj, dada por T(a. r) = (r cos a, r sen a). Asf T es uno a uno y sobre el conjunto R2\ 0)1 x ~ 01. Deffnase Ii (a. r) = lI(r cos a, r sen a) y = (r cos a. r sen a). Demuestre que

Icx.

a) T

es continuamente diferenciable y tiene una inversa continuamente diferenciable. b) f es analftica en A\lx + iy I y = O. x ~ oj si y s610 si (ii T-l (A)-+ R2 es diferenciable y

.v) :

.ali

--= ---

ali

ar

ae

avar

au
r aa

en T-1 (A) 13. Defina el sfrnbolo

aflaz como

«._ az
z

_1 2

(af

ax

i ay

af)
az = o.

Demuestre que las ecuaciones de Cauchy-Riemann son equivalentes a afl

NOTA. Debido a este resultado, algunas veces se dice que las funciones analfticas no son funciones de z sino solamente de z. Esta afirmaci6n puede hacerse mas precisa como sigue. Dada j'(x, y). escrfbase x;::; (1/2) (z + z) y y = (1/2i) (z - z). Entoncesfse convierte en una funci6n de z y y la regIa de la cadena nos da

af = afax dz ax az-

af
dy

dy dZ-

=~
2

(af

__ 1 dx i

df ) dy

1.5. FUNCIONES

ANALiTICAS

95

14. Defina el sfrnbolo aj/az

como

=
a)

(!L .!!_)
+ _I
ax i ay
y

Dcmuestre que sijes analftica, entonces!'= ajlaz. Si j(z) = z. demuestre que ajlaz = 1 Y ajlaz = O. e) Sij(z) demuestre que aflaz = 0 y aj7a-z = 1. d) Demuestre que el sfmbolo a/az y a/az cumple las reglas de suma, producto multiplicacion escalar para las derivadas.
b)

=z.

e)

Demuestre que la expresion

L~=o L~=(} anm znzm es una funci6n analftica de z si y

s610 si anm = 0 siempre que m ~ O. 15. Suponga quejes una funci6n analftica en el disco D = {z tal que Izl > 1) Y que Re j'(z) = 3 para toda z en D. Demuestre quejes constante en D. 16. a) Seaf(z) = u(x, y) + iv(x, y) una funci6n analftica en un conjunto conexo A. Si au(x, y) + bv(x, y) = c en A, donde a, b, c son constantes reales no todas 0, demuestre que f' es constante en A. b) i,El resultado obtenido en a) es aun valido si a, b, e, son constantes cornplejas? 17. Suponga que f es analftica en A = [z I Re z > I} Y que aulax + avlay = 0 en A. Dernuestre que existe una constante real c y una con stante compJeja d tal que fez) = =icz. + d en A. 18. Seaf(z) = z5/1z14 si z ~ 0 y j(O) = o.
a) Muestre quef(z)lz no tiene un Ifmite cuando z ~ 0 b) Si u = Refy v Imf, muestre que u(x, 0) x, yeO, y) = y, u(x, 0) = vex, 0) = e) Concluya que las parciales de u y v existen, y que las ecuaciones de CauchyRiemann se satisfacen, pero que!' (0) no existc. i.Contradice esta conclusion el

o.

teorema de Cauchy-Riemann?
d) Repita el ejercicio c), haciendo
e)

f=

1 en los ejes x y y, yO en cuaJquier otro lado.

Repita el ejercicio c) haciendof(z)


= (z + I )/(z - I).

= ni_){

19. Seaf(z)
a)

i,D6nde esfanalftica? "\ i,Esjconforme en z = O? c) l.Cuales son las imageries de los ejes x y y bajo f? d) i,En que angulo se intersectan estas irnagenes?
b)

20. Seaj una funci6n analftica en un conjunto abicrto conexo A y suponga que J<n + lJ(z) (la derivada n + 1) existe y es cero en A. Muestre quefes un polinomio de grado n, 21. i,En que conjunto es
u(x, y)

= Re

z
z3_ 1

arm6nica?

96

CAP. 1. FUNCIONES ANALITICAS

22. Verifique directamente que las partes real e imaginaria def(z) = Z4 son arm6nicas. 23. lEn que conjuntos son arm6nicas cada una de las siguientes funciones?
a) u(x, y)

= 1m (Z2

+ 3z + 1)

b)

u(x, y)

x-I

-=2----=-2 ---

+ Y - 2x + 1

24. LEn que conjuntos son arm6nicas cada una de las siguientes funciones?
a) u(x, y)

= 1m (z + liz)

b)

u(x,y)

y
(x-I)
2

+y

25. Seanf: A ~ C y w: B ~ R arm6nicas conf(A) C B. Muestre que w of: A ~ R es arm6nica. 26. Si u es arm6nica, demuestre que, en terminos de coordenadas polares,

(Sugerencia:

use las ecuaciones de Cauchy-Riemann en forma polar, ejercicio 11.)

27. a) Muestre que u(x, y) = eX cos y es arm6nica en C. b) Encuentre una arm6nica conjugada vex, y) para u en C tal que yeO, 0) = 0. c) Muestre que j'(z) = eZ es analftica en C. 28. Muestre que u(x, y) = x3 - 3xy2 es armonica en C y encuentre una armonica conjugada v tal que yeO, 0) = 2. 29. Si u(z) es arm6nica y v(z) es arrnonica, entonees
a)

b)

i,Es u(v(z» arm6nica. lEs u(z) • v(z) arm6nica? c) i,Es u(z) + v(z) arm6nica?

30. Considere la funcionj'(z) = liz. Dibuje los eontornos de u = Ref= constante y v = Imf = con stante. i,Como se intersectan? i,Es siempre cierto que grad v es paralelo a la curva v = constante? 31. Suponga que u es una funcion de valores reales dos veces continuamente diferenciable en un disco D(Zo; r) centrado en Zo = Xo + iyo. Para (Xl' Yl) E D(zo; r), muestre que la ecuacion

define una arm6nica conjugada para u en D(zo' r) con v(xo' Yo) = c.

1.6. DIFERENCIACION

DE LAS FUNCIONES ELEMENT ALES


de las fun-

En esta secci6n se discutiran las propiedades de diferenciabilidad ciones elementales discutidas en la seccion 1.3.

97 Funci6n exponencial y logaritmo


Proposicion 1.6.1 La funcion f: C
--7

C,

Z --7

eZ, en analitica en C y

Demostracion. Por definici6n,J(z) = eX (cos y + i sen y) y asi las partes real e imaginaria son u(x, y) = eX cos y y vex, y) = e' sen y. Estas son funciones Coo (diferenciables un mimero infinito de veces) y, por ende, J es diferenciable en el sentido de las variables reales. Para demostrar que J es analftica debemos verificar las ecuaciones de Cauchy-Riemann. Pero
--

au ax

= eX cosy

--

au
ay
--

= -ex seny

--av = ax
y duldY analitica. Ademas, ya que
--= Asf dU/dX

eX seny

dV dy

= eX cosy

= dV/dy
df

= ..:()VldX y por el teorema


dV

de Cauchy-Riemann,Jes

d;

--+ i--=

dU

ax

ax

eX(cosy+iseny)=ez

la proposici6n queda probada .• Una funci6n que esta definida yes analitica en todo el plano C es llamado entera. = eZ es una funci6n entera. Usando las reglas de diferenciaci6n (proposici6n 1.5.3) como se emplean en calculo elemental, podemos diferenciar eZ en combinaci6n con varias funciones. Por ejemplo, ez2 + 1 es entera porque z ~ Z2 Y W ~ eW son analiticas y asf por la regIa de la cadena, z ~ Z2 es analitica. Por la regIa de la cadena y la regia de la suma, d(eZ2 + 1) ld: = 2zeZ2• Recordemos que log z: C\{O} --7 C es una inversa de eZ cuando se restringe eZ a una banda de periodicidad {x + iyl Yo::;; y < y + 21t}. Sin embar~o, la diferenciabilidad de log z debe restringirse a un conjunto mas pequefio que C\tO}. La raz6n es simple: log z = log lzl + i arg z, para, digamos, 0 ::;;arg z < 21t. Pero la funci6n arg es discontinua, salta 21t al cruzar el eje real. Si removemos el eje real entonces estamos excluyendo los reales positivos sobre los que queremos que log z este definido. En consecuencia, es conveniente usar la rama -1t < arg z < 1t. Entonces un conjunto apropiado sobre el cuallog z es analftica esta dado como sigue.
Asi,f(z) Proposicion 1.6.2. Sea A el conjunto abierto que es igual a C menos el eje real negativo incluyendo at cero (esto es, C\{x + iyl x ::;;0 y y = OJ). Definase una rama de log en A como

98
log z = loglzl + i arg z
- 1t

< arg z < 7t Entonees log z es analitica en

Lacual es llamada la rama principal dellogaritmo. Aeon


d --log z= 1

dz

Afirmaciones andlogas son vdlidas para otras ramas. Primera demostracion (usando el teorema de la funcion inversa). De la secci6n 1.3, sabemos que log z es la tinica inversa de la funcion j'(z) = eZ restringida al conjunto {zl z = x + iy, -7t < Y < 7t}. Dado que de'Id; = eZ ~ 0, el teorema de la funcion inversa implica que, localmente, eZ tiene una inversa analitica. Puesto que la
inversa es unica, esta debe ser log z. La derivada de f-l(w) es 1If' (z). En este caso f'(z) =f(z) = w, y as! df-1ldw = lIw en cada punto we A y as! el teorema esta probado .•

Segunda demostracion (usando las ecuaciones de Cauchy-Riemann en su forma polar. En forma polar log z = log r + ie, y as! u(r, e)= log r, vCr, e) = a, las cuales son funciones Coo de r, e. Tambien, las ecuaciones de Cauchy-Riemann, expresadas en coordenadas polares, son una herramienta valida en la region A, como se explico en la secci6n 1.5 y los ejercicios 11 y 12 al final de esa seccion. Pero

-a;- = -;: = -;:


y 1 ----=
r

au

ae
av ar ae ax

av

au ae a --a:;r

=-

y par ende las ecuaciones

de Cauchy-Riemann

son validas. Tenemos tambien log r + i

dz

log z =

1 =---+l-Es obvio que en A,

ar ax

. ae ax
si se usa, par ejemplo,

(ylx), y asf
d --

ar/ax = xlr y ae/ax = -ylr2


log

e = tarr '

dz

iy z1 = --x - --r2 = --Izl2 = -z • r2

El dominio en el cual la rama principal de log z es analftica, se da en la figura 1.6.1. Aquf esta un ejemplo de otra rama: log z = .log lzl + i arg z, < arg z < 27t, es

99
y

Figura 1.6.1. Dominio del log z.

analftica en C\{x + iyl x ~ 0, y = oj. Usaremos la rama principal a menos que se establezea otra eosa. Cuando usamos log z en composiciones, debemos ser cuidadosos de pennanecer en e1 dominio de log. Por ejemplo, eonsideremosj(z) = log Z2 usando la rama - principal de log. Esta funci6n es analftiea en A = {z Iz :F 0 y arg z :F +1t/2j debido al siguiente razonamiento. La proposici6n 1.5.3. muestra que Z2 es analftica en todo C. La imagen de A bajo el mapeo z r-'). Z2 es precisamente C\{x = iyl x :s; 0, y = oj (l,por que"), el eual es precisamente el eonjunto en el que la rama principal de log esta definida y es analftica. Por la regia de la cadena z ~ log Z2 es analftica en A (vease la figura 1.6.2).
y y y

Figura 1.6.2. Dominio de analiticidad del log

T.

La funcion j( z) = log Z2 tambien ilustra que cierta cantidad de cuidado debe ejereerse al manipular logaritmos. Considere las dos funciones log Z2 y 2 log z. Si eonsideramos todos los posibles valores del logaritmo, las dos coleeciones son iguales. Sin embargo, si eseogemos una rama particular, por ejemplo, la rama principal y la usamos para ambas, entonces las dos no son siempre iguales. Por ejemplo, si z = 1 + i, entonees arg z = 31t/4 Y log Z2 = log 2 - 1til2, mientras que 2 log z = log 2 + 3 1til2. La funci6n log Z2 es analftica en el plano con el eje imaginario removido, mientras que 2 log z es analitiea en el plano con el eje real negativo removido.

100

CAP. 1. FUNCIONES ANALITICAS

Las funciones trfgonometrlcas


Ahora que hemos establecido propiedades de e", la diferenciacion de las funciones seno y coseno se sigue rapidamente, Proposiclon 1.6.3. sen z y cos z son funciones enteras con sus derivadas dad as par -sen z = cos z dz
d y

-cos z = - sen z dz

Demostracion, sen Z = (eiz - e -iZ)/2i, al usar la regia de la suma, la regIa de la cadena y el hecho de que la funci6n exponencial es entera, podemos concluir que sen z es entera y que d(sen z)/dz = {ieiz - (-ie-iZ)j/2i = (eiZ + e-iZ)/2 = cos z. Similar-

mente,
d d -cosz = __ dz dz = -__

(eiZ

+ e-iZ) = .

2i

(e'Z

e-IZ)

= - sen z

Podemos discutir tambien scn ' z y cos" Z en mas 0 menos la misma forma que discutimos log z (que es exp " z con dominios y rangos apropiados). Estas funciones se analizan en el ejercicio 6 al final de esta secci6n.

La funcion potencia
Sean a y b mimeros complejos. Recordemos que ab = eb log a, que es, en general, multivaluada de acuerdo a las diferentes ramas para ellog que escojamos. Queremos ahora considerar las funciones z ~ Zb Y z ~ a', Aun cuando estas funciones parecen ser similares, sus propiedades de analiticidad son completamente diferentes. El caso en que b es un entero fue cubierto en la proposici6n 1.5.3. La situaci6n para b en general es ligeramente mas complicada. Proposicion 1.6.4
(i) Para cualquier elecci6n de una rama para ellogaritmo,
I

la funcion z ~ aZ

es entera y tiene derivada z ~ (log a)az• (ii) Fijese una rama para lafunci6n log -par ejemplo, la rama principalentonces fa funcion z ~ zb es analitica en el dominio de la rama escogida y la derivada es z ~ bzb-I.
Demostracion
(i)

aZ = eZ log a. Por la regIa de la cadena esta funci6n es analftica en C con derivada (log a) eZ log a = (log a)aZ (log a es meramente una constante).

1.6. DIFERENCIACI6N

DE LAS FUNCIONES

101

(ii)

Zb

= eb logz. Esta funci6n es analftica en el dominio de log z, ya que w ~ ebw es entera. Tambien, por Ia regIa de la cadena, b e"
Z
log z

.!!_ Zb
Z

(Que esto es igual a bz

b- I se

sigue del ejercicio 20 al final de la seccion 1.3.) •

Por supuesto, en (ii), si b es un entero ;:: 0 sabemos que Zb es entera (con derivada bz" -1). Pero en general, Zb es analftica s610 en el dominio de log z.

,~ " " ,;, ---~~t;.-:-'


;

;, ; , , ,; ,

'

, ----

"

.... x

Figura 1.6.3. Regiones de analiticidad

para z ~ z".

Vamos a enfatizar 10 que se estableci6 en (ii), Si escogemos la rama principal del log z, que tiene dominio C\{x + iyl y = 0 y x ~ o} y rango RX]-1t , 1t[ (lPor que"), entonces z ~ ZU es analitica en C\{x + iyl y = 0, x ::s;; o} (vease la figura 1.6.3). Podrjamos tarnbien escoger la rama del Jog que tiene dominio C\{x + ixl x;:: o} y rango ~X]-77t/4, 7t/4[, entonces z ~ za serfa analftica en C\{x + ixl x;:: OJ.

La funcion rafz n -esima


Una de las rafces n-esimas de z esta dada por zlln, para una elecci6n de una rama de log z. Las otras rafces estan dadas por las otras elecciones de las ramas, como en la secci6n 1.3. La rama principal es la que es mas usual mente empleada. Asf, por la proposici6n 1.6.4 (ii), obtenemos, como un caso especial. Proposicion 1.6.S. La funcion z ~ zlln = nfZes analitica en el dominio de log z (por ejemplo, la rama principal) y tiene derivada
z~ -

1 n

z(l/n)-I

102

CAP. 1. FUNCIONES ANALITICAS

Como con el log z, debemos ejercer cuidado con las funciones z ~ Zb. Z ~ VZ cuando las componemos con otras funciones, para estar seguros que permanecemos en el dominio de analiticidad. El procedimiento para la funci6n rafz cuadrada se ilustra en el ejercicio resuelto 1.6.8.

Ejemplos resueltos
1.6.6. Diferencie las siguientes funciones, junciones son anallticas:
a) eel b) d)

dando la region apropiada en La cuaL las

sen (e<)
.j eZ + 1 So/uciones

e) cos

Z
Z

f)

c) eZ/(z2 + 3)

g) log (eZ

lI(e -1) + 1)

a)

eel • e' es entera, por la regia de la cadena z ~ eel es entera. Asimismo, por la regia de la cadena la derivada en z es eZeez• b) z ~ sen es. Ambas, z ~ eZ y w ~ sen w son enteras. Tambien, por la regia de la cadena, z ~ sen eZ es entera y la derivada en z es (cos eZ)ez. c) Z ~ e'Zl(z2 + 3). La funci6n z ~ eZ es entera y la funci6n z ~ 1I(z2 + 3) es analftica
Z~

tica en C\{

± .f3i J. En consecuencia z ~ eZI(z2 + 3) es analftica en ci] ± Oi} y

tiene derivada en

z~

±[3i dada por

------- = -----------(Z2 + 3)2 (Z2 + 3)2


d) z ~ ~eZ + 1. Escoja la rama de la funci6n w ~ que es analftica en C\{x + iyl y = 0, x ~ oj. Entonces debemos escoger la regi6n A tal que si Z E A entonees eZ + 1 no es al mismo tiempo real y :s; O. N6tese que eZ es real si y 1m z = n7e para algiin entero n (l,por que"), Cuando n es par. eZ es positiva; cuando n es irnpar, eZ es negativa. Aquf le'l = e', donde x = Re z y e" ;2; 1 si x;2; O. Por 10 tanto, si definimos A C\(x + iy I x;2; 0, Y (2n + I)x, n variando a traves de los enteros positivos y negativos y el cero] (como en la figura 1.6.4), entonces e' + 1 es real y ~ 0 si Z E A. Puesto que

eZ

2z

ez(z2 - 2z + 3)

rw

eZ + 1 es entera, esta es, ciertamente, analttica en A. Por la regia de la cadena, ~ eZ + 1


es analitica enA con derivada en z dada por(el
e) Z ~

+1)-112 (eZ)/2.

cos Z. Ya que z = x + iy, por la proposici6n 1.3.4, cos Z cos (x - iy) cos x cos(-iy) - sen x sen(-iy) = cos x cosh y + i sen x senh y as. u(x, y) cos x cosh Y Y

vex,y) sen x senh y. Por 10 tanto, cos fuera analftica, aulax serfa igual a avlay, 10 cual ocurrirfa si sen x=O (esto es, si x 0, 0 si x xn, n ± I, ±2, ... ). As! no existe un conjunto abierto A (no vacfo) en el cual z ~ cos z es analftica, f) z ~ lI(e' - 1). Por la proposici6n 1.5.3 (iii) Y el hecho que z ~eZ - 1 es entera, eoncluimos que Z ~ l/(e' - l ) es analftica en el conjunto en el que e' - 1 y6 0; a saber, el conjunto A C\{z 21tniln = 0, ± I, ±2, ... }. La derivada en Z es _eZ/(e'Z_I)2. g) Z ~ log (e<': + I). Como ellog (en la rama principal) esta definida y es analftica en la misma regi6n que la raiz cuadrada, a saber, A C\{x + iy I y 0, x:s; O}.podemos usar

= aul ax = - sen x cosh y, avlay = sen x cosh y. Si

103
y

Figura 1.6.4. Regi6n de analiticidad

de z - ~eZ + 1.

(eZ

los resultados de d). Por la regia de la cadena y por los resultados de'd), z ~ log + I) es analftica en la region descrita en la figura 1.6.4.

1.6.7. Verifi{{uedirectamente que lafuncion eZ preserva dngulos entre lineas paralelas a los ejes coordenados. Solucion. La}fnea determinada por y = Yo es mapeada en el rayo {x + ix tan I Yo Ix > O}. y la lfnea determinada por x = Xo es mapeada en el cfrculo [z tal que lzl = exo}, vease la figura. 1.3.7. EI angulo entre cualquiera de tales rayos y el vector tangente al cfrculo en el punto de contacto del rayo y el cfrculo es rtl2. Asf los angulos se preservan. Esto es consistente con el teorema del mapeo conforme (1.5.7). 1.6.S. Muestre que puede definirse una rama de la funcion w ~ ,fW de talforma que z~ ~ z2_ 1 es analitica en Laregion sombreada en lafigura 1.6.5. y use las notaciones de esa figura para muestrar que ~ z2 -1 = ~ ei(91 + 92)12, donde 0 < 61 < 21t, -it < 62 < it.

104

Figura 1.6.5. Dominio de analiticidad de J Z2

1.

Solucion. Si
entonees escoger~

rz=T es una

rafz cuadrada de z - 1 Y fZ+T es una rafz cuadrada de z + 1,


de
Z2 -

rz=T. fZ+T es una rafz cuadrada

1 (l.por que"). Para z ~ JZ=T podemos


es analftica en

definida y analftica en C\jx + iy I y

= 0 y x ~ 0]; asf z ~ Jz=T

fZ+l pcdemos escogervdefinida y analftieaen C\{x+ iy I y = 0 y x ~ 0); por 10 tanto, z ~ !Z+T es analftica en C\{x + iy I y = 0, x ~ - I}. Por ende; z ~
C\{x+ iyly =O,x~ 1).Para z+>

.rz=T {Z+T es analftica rz+T

en C\(x + iyl y = 0, Ixl ~ I] con las ramas apropiadas de .;-: como se

indic6. Con estas ramas tenemos

J z - 1 =-Jr;eiBI/2 y IZ+1

= J r, r

= rr; e

i9 2 / ),

por 10 tanto

ei(81 + 92)/2.

Como z ~ ~

fZ+1 es analftica

en C\{x + iy I y

= 0, Ixl ~ I], =

JZ=T

debe corresponder a alguna rama de la funci6n raiz cuadrada ~ en la funcion z ~ J Z2 - 1. Para ver cual de ellas, n6tese que z E C\lx + iy I y = 0, Ixl ~ I] si Z2 -1 E C/{x + iy I y 0, x ~ 0] ((.por que") y asf, si tomamos la ~definida

y analftica en C\lx + iy I y

= 0, x ~ 0]. entonees

z~ ~
NOTA.

es analftica en C\{x + iyl y = 0, Ixl ~ 1].

Se ha usado aquf el sfmbolo ~ para expresar diferentes ramas de la funci6n rafz cuadrada, la rama particular es clara a partir del contexto. El estudiante debe habituarse a pensar en ,r- junto con la eleccion de una rama.

Ejercicios
1. Diferencie y de la region apropiada de analiticidad para cad a una de las siguientes: b) liz
Z3 (

c) sen z leos z

d) exp

z -1

+1)

EJERCICIOS DE REPASO DEL CAPITULO 2. Diferencie


a) 3z c) z(l e)

105

y de la regi6n apropiada

de analiticidad
b)

para cada una de las siguientes: log (z + 1)

rz

+i)

d).JZ
si existen los siguientes lfrnites complejos
-

3. Determine eZ

y encuentre lfrn sen izl ~o z y encuentre

sus valores, si existen.

a) Urn --z -e
O

z
si existen los siguientes

b)

4. Debemos

lfrnites complejos

sus valores, si existen:

a)

lfrn
z~1

log z-1

b)

lim --;:~ I z-1

z-1

5. LEs verdad que Isen zl ~ 1 para toda z e; C? 6. Resuelva sen z = W, muestre como escoger un dominic y de esta manera como escoger una rama particular de sen :' z de modo que sea analftica en el dominio. De la derivada de esta ram a del serr ' z: vease el ejercicio 35 al final de la seccion 1.3. 7. Seaf(z) 1/(1 - z). Les continua en el interior del cfrculo unitario? 8. Sean u(x, y) y vex, y) funciones con valores reales definidas en un conjunto abierto A C R2 = C y suponga que satisfacen las ecuaciones de Cauchy-Riemann en A. Demuestre que u1(x, y) = [u(x, y)]2 - [vex, y)]2 y vt(x, y) = 2u(x, y)v(x, y) satisfacen las ecuaciones de Cauchy-Riemann en A y que las funciones ulx, y) =eu(x,y) cos vex, y) y vi x, y) eU(X'y) sen vex, y) tambien satisfacen las ecuaciones de Cauchy-Riemann en A. LPuede usted hacer esto sin realizar ningun calculo? 9. Encuentre la region de analiticidad y la derivada de cada una de las siguientes funciones:

b)

eZ

+ (liz)

10. Encuentre
ciones:

la regiondeanaliticidad

y la derivada

de cada una de las siguientes

fun-

b)

sen

r:
dernostracion de la

11.

Encuentre el mfnimo de lez21 para aquellas z con lzl ~ I. 12. Demuestre la proposicion 1.6.5 usando el metoda de la primera proposicion 1.6.2. 13. LDonde es analftica z ~ 2;:2? L Y z ~ z2z?

14. Defina una rama de ~ 1 + ,fZ y muestre que es analftica.

EJERCICIOS DE REPASO DEL CAPITULO 1


1. Calcule e'; log (1 + i); sen i: 3i; e2 log (-I) 2. LPara que valores de z se satisface log z2 lados de la ecuaci6n?

= 2 log

z si se usa la rama principal

en ambos

106

CAP. 1. FUNCIONES

ANALITICAS

3. 4. 5. 6. 7.

Encuentre las rafces octavas de i. Encuentre todos los mlmeros z tales que Z2 = 1 + i. Resuelva para z: cos z = IT. Resuelva para z. sen z = J3. Describa geometricamente el conjunto de puntos z E C que satisfacen
a)

lz + ;1 = lz - il

b)

lz - 11 = 31z - 21

8. Describa geometricamente el conjunto de puntos z E C que satisfacen


a)

Iz - 11

= Iz + 11

b)

Iz - II

= 21z1

9. Diferencie las siguientes expresiones en las regiones apropiadas:


a) Z3

+8
(Z4 -

c) exp

I)

10. lEn que conjunto es analftica ~Z2 - 2? Calcule la derivada. 11. Describa los conjuntos en que son analfticas las siguientes funciones y ca1cule sus derivadas:
a) ellz b)

(I - sen

Z)2

c) ----

a2 + Z2

para a real

12. Repita el ejercicio de repaso 11 para las siguientes funciones:


a)

exp

l-az

para a E C

b)

sen z

13. lPuede definirse una rama uni-valuada (analftica) del log z, para los siguientes conjuntos?
a)

[z 11 < lzl < 2} c) [z IRe z > 1m z]

b)

{zIRez>O}

14. Muestre que la funci6n z .......,.+ lIz transforma el cfrculo {z tal que lzl = e} en la elipse z descrita por {w = u + iv I u = (c + lie) cos e. v = (c - lIe) sen e. 0 ~ e ~ 21t].lPodemos permitir c = I? 15. Seafanalltica en A. Deffnase g : A ~ C como g(z) = fez). lCuando es analftica g? 16. Encuentre las partes real e imaginaria de fez) = Z3 Y verifique directamente que satisfacen las ecuaciones de Cauchy-Riemann. 17. Seaf(x + iy) = (x2 + 2y) + i(x2 + y2). lEn que puntos existef'(zo)?
18. See
a)

f :A

C ~ C analftica en un conjunto abierto A. Sea

A = {z I z E A}

Describa geometricarnente a A. b) Defina g : A ~ C como g(z) = [f(Z)]2.

Demuestre que g es analftica.

EJERClClOS DE REPASO DEL CAPITULO

107

19. Suponga que f : ACe ~ C es analftica en un conjunto abierto conexo A y que j{z) es real para toda z E A. Demuestre quefes constante. 20. Demuestre las ecuaciones de Cauchy-Riemann como sigue. Seaf: A C C ~ C diferenciable en Zo = Xo = + iyo' Sea g 1(I) = 1 + iyo y g2(1) = Xo + it. Aplique la regia de la cadena af 0 g 1 Y f 0 g2 para demostrar el resultado. 21. Seaf( z) analftica en el disco lz - 11 < 1. Suponga que f' (z) = 1/z, f( I) = O. Demuestre que fez) = log z, 22. Use el teorema de la funci6n inversa para demostrar el siguiente resultado. Seaf: A C C ~ C analftica (donde A es abierto y conexo) y suponga quef(A) C tal que lzl = 3]. Entonces f es constante. 23. Demuestre que

lz

h~O

Urn

('0

+ h)n - z ~ h

- IlZ 0 -

n -I

para cualquier Zo E C. 24. a) Si un polinomio p(z)= ao + alZ + .•• + anzn tiene una rafz c, entonces muestre que podemos escribir p(z) = (z - c)h (z), donde h(z) es un polinomio de grado 11 - I. (Use la division de polinomios para mostrar que z - c divide a p(z).) b) Use la parte a) para mostrar que p no puede tener mas de 11 rafces. c) l,Cuando es c una rafz de ambas, p(z) y p'(z)? 25. lEn que conjunto es analftica la funci6n z ~ Z2? Calcule su derivada. 26. Sea g analftica en el conjunto abierto A. Sea B = [z E A I g(z) oF 0). Muestre que B es abierto y que 1/g es analftica en B. 27. Encuentre y represente graficamente todas las soluciones de Z3 = -8i. 28. Seaf: ACe ~ C analftica en el conjunto abierto A y seaf'(Zo) oF 0 para toda Zo E A. Muestre que {Ref(z) I z a A] C Res abierto. 29. Demuestre que u(x, y)= x3 - 3xy2, vex, y) = 3x2y - y3 satisfacen las ecuaciones de Cauchy-Riemann. Comente el resultado. 30. Demuestre que las siguientes funciones son continuas en z = 0:
a)

f(z)

{~Rez'l'AzI'

z~O
z =0

b) fez) = lzl

31. lEn que puntos z son diferenciables las siguientes funciones?


a)

fez) = Izl2

b) fez) = y - ix
1lX.

32. Use el teorema de De Moivre para encontrar la suma de sen x + sen 2x + ... + sen 33. Para la funci6n u(x, y) = y3 - 3x2y,
a)

Muestre que u es arm6nica (vease la proposici6n 1.5.11). b) Determine una arm6nica conjugada vex, y) tal que u + iv es analftica.

34. Considere la funci6n w(z) = liz. Dibuje las curvas de nivel u constante. Discuta. 35. Determine los cuatro diferentes valores de z que son mapeados en la unidad por la funci6n w(z) = Z4.