Funciones elementales

3.1. Funcion exponencial

Ya hemos introducido la exponencial compleja deni ndola como e ez = ex (cos y + i sen y) para todo z = x + iy C. Dicha denici n fue propuesta por Euler para hacerla o consistente con el desarrollo en serie de la exponencial real. Tambi n hemos visto e que con esta denici n se cumplen las propiedades de la exponencial real o eiy1 +iy2 = eiy1 eiy2 , eiy = 1 , eiy

que son obviamente extensibles a cualquier complejo z = x + iy C ya que ez = ex eiy y ex es una exponencial real. As pues, con esta denici n, o ez1 +z2 = ez1 ez2 , La funci n ez cumple (CR): o ux = ex cos y = vy , uy = ex sen y = vx , ez = 1 . ez

28

3 Funciones elementales

luego es derivable. Adem s, a (ez ) = ux + ivx = ez , vericando otra de las identidades b sicas de la exponencial real. a z Veremos m s adelante que e se puede denir a partir de dos propiedades elea mentales: (1) ez es una funci n holomorfa, o (2) para z = x R ez = ex .

Hay una unica funci n holomorfa que verique esas dos propiedades, por tanto la o ecuaci n de Euler la dene. Una manera de encontrarla, alternativa al empleo de o la serie, es buscar una funci n de la forma ez = ex g(y), con g : R C tal que o g(0) = 1. Si ha de ser holomorfa tiene que cumplirse
ux = ex gr (y) = ex gi (y),

siendo g(y) = gr (y) + gi (y). Entonces

gr (y) = gi (y), gi (y) = gr (y),

uy = ex gr (y) = ex gi (y), gr (y) = gr (y), gi (y) = gi (y),

con gr (0) = 1 = gi (0) y gi (0) = 0 = gr (0). La soluci n general de la ecuaci n o o diferencial (y) + (y) = 0

es (y) = A cos y + B sen y, con A y B dos constantes arbitrarias. Con el primer conjunto de condiciones iniciales (0) = A = 1 y (0) = B = 0; con el segundo, (0) = A = 0 y (0) = B = 1; por tanto, gr (y) = cos y, gi (y) = sen y. Que no haya m s funciones holomorfas que coincidan con esta en el eje real es a consecuencia de un teorema que veremos m s adelante. a Finalmente, dos propiedades importantes de la exponencial compleja son las siguientes: ez = 0 para todo z C, algo que es sencillo de probar ya que |ez | = ex > 0 para cualquier x R.

ez es peri dica de periodo imaginario 2i. La raz n es que ez+2i = ez e2i = o o z 2i e , ya que e = 1.

e 3.2 Funciones trigonom tricas

29

3.2. Funciones trigonometricas

De la f rmula de Euler o ei = cos + i sen , de donde cos = es natural, pues, denir eiz + eiz , 2 La denici n tiene sentido porque o cos z = sen z = eiz eiz . 2i ei + ei , 2 ei = cos i sen , sen = ei ei ; 2i

(1) cuando z = x R, las funciones se reducen al coseno y seno reales, (2) por ser combinaciones lineales de funciones holomorfas en C, ambas son holomorfas en C. As que estas son las unicas funciones holomorfas que coinciden con las reales sobre el eje real. Otras propiedades que se siguen de la denici n son: o 1. Para argumentos imaginarios puros, z = iy, las funciones est n relacionadas a con las trigonom tricas hiperb licas: e o cos(iy) = cosh y, 2. Las derivadas se comportan como en R: (cos z) = sen z, cos(z) = cos z, (sen z) = cos z. sen(iy) = i senh y.

3. La paridad de las funciones es como en R: sen(z) = sen z.

4. Se cumplen las mismas relaciones trigonom tricas que en R; por ejemplo, e cos2 z + sen2 z = 1, cos(z1 + z2 ) = cos z1 cos z2 sen z1 sen z2 , sen(z1 + z2 ) = sen z1 cos z2 + cos z1 sen z2 , cos 2z = cos2 z sen2 z, sen 2z = 2 sen z cos z, sen(z + /2) = cos z, cos(z + /2) = sen z, sen(z + ) = sen z, cos(z + ) = cos z,

30

3 Funciones elementales

Parte real e imaginaria se obtienen explicitando z = x + iy en las identidades de la suma: cos z = cos x cosh y i sen x senh y, sen z = sen x cosh y + i cos x senh y, y con ellas, y usando que cosh2 y = 1 + senh2 y, se obtiene f cilmente el m dulo: a o | cos z|2 = cos2 x + senh2 y, sen z = 0 | sen z|2 = sen2 x + senh2 y. z = n,

Los ceros de seno y coseno son los conocidos: n Z, cos z = 0 z = n + , n Z. 2 Comprobar que son ceros es trivial, de la denici n. Probar que no hay m s se o a 2 puede hacer sabiendo que f (z) = 0 implica |f (z)| = 0. Por ejemplo, para el seno eso implica sen2 x + senh2 y = 0 = sen x = 0, senh y = 0.

Como senh y = 0 implica y = 0, los unicos ceros son los del seno real. Para el coseno el razonamiento es id ntico. e Tangente, cotangente, secante y cosecante se denen como en R, a partir de seno y coseno: sen z cos z 1 , cotan z = , sec z = , cos z sen z cos z y las identidades que cumplen son las mismas que en R. tan z = cosec z = 1 , sen z

3.3. Funciones trigonometricas hiperbolicas

Extendiendo las relaciones cos(iy) = cosh y, sen(iy) = i senh y,

al plano complejo, denimos las funciones trigonom tricas hiperb licas como e o ez + ez cosh z = cos(iz) = , 2 ez ez , senh z = i sen(iz) = 2

o 3.4 Funci n logaritmo

31

deniciones que hacen que para z = x coincidan con sus contrapartidas reales. Todas las identidades entre estas funciones se conservan en virtud de que la relaci n que las dene es como en R. As, por ejemplo, o cosh(z) = cosh z, senh(z) = senh z, cosh2 z senh2 z = 1, cosh(z1 + z2 ) = cosh z1 cosh z2 + senh z1 senh z2 , senh(z1 + z2 ) = senh z1 cosh z2 + cosh z1 senh z2 . En cuanto a sus partes reales e imaginarias y m dulos, o cosh z = cosh x cos y + i senh x sen y, senh z = senh x cos y + i cosh x sen y, | cosh z|2 = senh2 x + cos2 y, | senh z|2 = senh2 x + sen2 y. Y sus derivadas son como en R: (cosh z) = senh z, Tambi n se denen como en R e senh z tanh z = , cosh z 1 , sech z = cosh z (senh z) = cosh z. cosh z , senh z 1 cosech z = . senh z cotanh z =

3.4. Funcion logaritmo

Vamos a denir el logaritmo como la funci n inversa de la exponencial. Para o w empezar, como e = 0 para todo w C, la ecuaci n ew = z s lo puede tener soo o i luci n si z = 0. Supongamos que es as, y que z = e en forma polar; entonces, o denotando w = x + iy, ex+iy = ex eiy = ei = x = ln , y = + 2k, k Z.

Los innitos valores que obtenemos reejan el hecho de que, al ser la exponencial una funci n peri dica, no puede denirse una unica inversa sobre todo C. Este o o resultado lo podemos reejar en la siguiente denici n del logaritmo: o log z = ln |z| + i arg z, z=0

32

3 Funciones elementales

(utilizaremos la notaci n log para referirnos al logaritmo de un n mero complejo, o u y ln para referirnos al logaritmo natural de un n mero real positivo). u El logaritmo posee la misma ambivalencia que la funci n arg z: entendida o como conjunto (o como funci n multivaluada) representa las innitas solucioo w nes de la ecuaci n e = z; entendida como funci n, hay que jar la determinaci n o o o de la funci n arg z para que sea univaluada (es decir, una funci n genuina). Cada o o posible determinaci n ja una rama del logaritmo. La soluci n de la ecuaci n o o o ew = z depender de la rama que hayamos jado. Denominaremos rama princia pal del logaritmo a la elecci n de la determinaci n principal para la funci n arg z, o o o y valor principal al valor de log z en la rama principal. Como con el argumento, si no se especica otra cosa se supone que se adopta la rama principal. Que el logaritmo, tal como lo hemos denido, es la funci n inversa de la expoo nencial lo prueba la identidad elog z = z, muy f cil de probar. Sin embargo, hay que hacer notar que para que la segunda a identidad log(ez ) = z sea cierta es necesario que < Im z (adoptando la rama principal del logaritmo).
Ejemplo 3.1. Calcula log(e1+4i ). Dado que nada se dice de la rama, calcularemos el valor principal. En ese caso, como en general log(e1+4i ) = log(e1 e4i ) = ln(e1 ) + 4i + 2ki = 1 + 4i + 2ki, kZ

y 4 (, ] pero 4 2 (, ], el resultado correcto se obtiene para k = 1, de modo que / la respuesta al problema es log(e1+4i ) = 1 + (4 2)i = 1 + 4i.

Este hecho hace que tengamos que tener mucho cuidado cuando intentamos aplicar las identidades tpicas de ln x a log z. Lo m s que puede asegurarse es que, a como conjuntos, verican log(z1 z2 ) = log z1 + log z2 , z1 log = log z1 log z2 , z2 n log z log z n . Especial atenci n merece la ultima relaci n. o o

3.5 Potencias complejas

33

La funci n logaritmo verica las ecuaciones (CR) en su forma polar. Si u(r, ) = o ln r y v(r, ) = , ur = 1 1 = v , r r 1 v r = 0 = u , r

por lo que log z es holomorfa en C S, siendo S la semirrecta del corte que ja la determinaci n o rama. En cuanto a la derivada, o 1 1 1 (log z) = ei (ur + ivr ) = ei = i = , r re z sea cual sea la rama elegida. El hecho de que haya que jar una rama del logaritmo hace que la composici n o de funciones con logaritmos pueda llegar a ser una operaci n elaborada. Veamos o un ejemplo.
Ejemplo 3.2. D nde es holomorfa la funci n f (z) = log(z 2 )? o o Para determinar d nde es holomorfa esta funci n tenemos que ver cu l es la imagen inversa o o a 2 del conjunto C (, 0] por la funci n g(z) = z , es decir, qu valores de C tienen su imagen o e mediante g fuera de la semirrecta (, 0]. Lo m s sencillo es buscar la imagen inversa del corte. a Este est formado por los n meros de la forma t, con t 0, as que buscamos la soluci n de a u o z 2 = t, Las dos soluciones son z = i t, t 0. t 0,

que describen el eje imaginario completo. As pues, f es holomorfa en el conjunto C{Re z = 0}.

3.5. Potencias complejas

Cuando z = 0 y c C, calcularemos la potencia z c como z c = ec log z . Para probar que esta denici n es consistente, vamos a comprobar los dos casos o que tienen denici n alternativa, a saber, z n y z 1/n , con n N. Si z = rei , o z n = en log z = en ln r+in(+2k) = eln r ein ei2nk = rn ein , de acuerdo con el resultado obtenido anteriormente. En cuanto a la raz,
k z 1/n = e n log z = e n ln r+i n (+2k) = eln r ei/n e2ki/n = r1/n ei/n n ,
1 1 1 1/n n

34

3 Funciones elementales

siendo n = e2i/n una raz n- sima de la unidad. El resultado son n n meros e u complejos distintos, los que se obtienen para k = 0, 1, . . . , n 1, tal y como obtuvimos en el captulo 1. Dado que la denici n coincide con los resultados conocidos para c = n y o c = 1/n, vamos a explorarla ahora para otros valores de c.
Ejemplos 3.3. (1) Calcula 9 . Aplicando la denici n, o 9 = e log 9 = e(ln 9+2ki) = e ln 9 [cos(2k 2 ) + i sen(2k 2 )], k Z.

No hay dos valores de k distintos que den el mismo valor de la expresi n entre par ntesis, o e ya que cos(2k1 2 ) + i sen(2k1 2 ) = cos(2k2 2 ) + i sen(2k2 2 ) se cumple si y s lo si o 2k1 2 2k2 2 = 2m para algun entero m; pero eso implica que existen m, k1 y k2 tales que = lo cual es imposible porque Q. / m , k1 k2

En consecuencia, 9 toma innitos valores distintos; eso s, si adoptamos la rama principal del logaritmo (k = 0), 9 = e ln 9 .

(2) Calcula i2i . Como en el ejemplo anterior, i2i = e2i log i = e2i(i/2+2ki) = e(1+4k) , k Z,

de nuevo innitos valores distintos. En la rama principal del logaritmo (k = 0), i2i = e .

Los ejemplos anteriores ilustran el caso general: (a) si c Q, z c genera innitos valores, uno para cada rama del logaritmo; / (b) si c Q Z, z c genera un n mero nito de valores, todos ellos sobre los u v rtices de un polgono regular; e (c) si c Z, z c s lo genera un valor. o

e o 3.6 Funciones trigonom tricas e hiperb licas inversas

35

As que, en general, cuando c Z, para hacer que la funci n sea univaluada / o es preciso jar la rama del logaritmo. Esa rama de la funci n z c ser , entonces, o a holomorfa en C S, siendo S la semirrecta del corte. Su derivada se obtiene mediante la regla de la cadena, (z ) = (e
c c log z

cec log z cec log z ) = = log z = ce(c1) log z = cz c1 , z e

que sigue el patron general de la derivada de una potencia. Hay una precisi n que hacer respecto de la expresi n ec . Esta puede o o signicar dos cosas: (i) la exponencial de c, y (ii) la funci n z c para z = e. En o el caso (i) la expresi n es univaluada y se obtiene a trav s de la denici n de la o e o exponencial; en el caso (ii) la expresi n genera innitos valores, uno para cada o rama de la funci n. Ambas versiones coinciden sobre la rama principal. En C, o pues, hay distinci n entre exp(c) y ec , no como en R. o PRECISI ON :

3.6. Funciones trigonometricas e hiperbolicas inversas

Para denir arc sen z = sen1 z trataremos de resolver la ecuaci n z = sen w, o es decir, eiw eiw . z= 2i Multiplicando por 2ieiw , esta ecuaci n adopta la forma o (eiw )2 2izeiw 1 = 0, que es cuadr tica en eiw . La soluci n es a o eiw = iz + (1 z 2 )1/2 , donde, por supuesto, (1 z 2 )1/2 es bivaluada. Finalmente, tomando logaritmos, arc sen z = i log iz + (1 z 2 )1/2 , que, como consecuencia del logaritmo y de la raz, es una funci n multivaluada. o
Ejemplo 3.4. Calcula arc sen(i). Sustituyendo en la denici n, o arc sen(i) = i log(1 2).

36 Ahora bien, log(1 +

3 Funciones elementales

2) = ln(1 + 2) + 2ki, k Z, log(1 2) = ln( 2 1) + (2k + 1)i, k Z. ln( 2 1) = ln 1 1+ 2

Ambas expresiones se pueden resumir en una sola ya que = ln(1 + 2),

con lo cual obtenemos que log(1 Por lo tanto, arc sen(i) = n + i(1)n+1 ln(1 + 2) = (1)n ln(1 + 2) + ni, 2), n Z. n Z.

Por un procedimiento an logo al de arc sen z se pueden obtener a arc cos z = i log z + i(1 z 2 )1/2 , i+z i , arctan z = log 2 iz as como las inversas hiperb licas o arc senh z = log[z + (z 2 + 1)1/2 ], arc cosh z = log[z + (z 2 1)1/2 ], 1 1+z arc tanh z = log . 2 1z Todas ellas, una vez jadas la rama del logaritmo y, en su caso, la de la raz, se convierten en funciones univaluadas en las correspondientes regiones de C, y por ser composici n de funciones holomorfas, son tambi n holomorfas. Sus correso e pondientes derivadas, obtenidas por la regla de la cadena, son (arc sen z) = (1 z 2 )1/2 , (arc senh z) = (z 2 + 1)1/2 , (arc cosh z) = (z 2 1)1/2 , 1 (arc tanh z) = . 1 z2

(arc cos z) = (1 z 2 )1/2 , 1 , (arctan z) = 1 + z2