Professional Documents
Culture Documents
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),
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.
29
(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.
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
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
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 =
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
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}.
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
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
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 Funciones elementales
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