Вы находитесь на странице: 1из 9

www.LibrosZ.com

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

SESI”N 06: LAS FUNCIONES B£SICAS III

En esta sesiÛn concluiremos el estudio de las funciones complejas b·sicas, estu- diando las funciones trigonomÈtricas e hiperbÛlicas (con sus inversas). TambiÈn estu- diaremos las llamadas funciones lineales fraccionarias, que son un ejemplo muy ˙til de transformaciones conformes.

1. Funciones trigonomÈtricas

DeÖniciÛn 1 Dado un n˙mero complejo z , deÖnimos

sin z :=

e iz e iz

2i

;

cos z :=

e iz + e iz

2

:

A modo de justiÖcaciÛn de estas deÖniciones, observemos que, si z es real, reco- bramos la fÛrmula de Euler (Ec. (1), SesiÛn 4). Las restantes funciones trigonomÈtricas directas se deÖnen en la forma usual a partir de las dos anteriores:

sin z

tan z = cos z ; cot z =

1

1

tan z ; sec z = cos z ; csc z =

1

sin z :

Debido a su deÖniciÛn, las propiedades de las funciones trigonomÈtricas complejas

son consecuencia m·s o menos inmediata de las propiedades algebraicas y analÌticas

de la funciÛn exponencial. En particular, son funciones univaluadas, si bien no inyec-

tivas. Como veremos a continuaciÛn, la mayorÌa de las propiedades de las funciones

trigonomÈtricas reales se veriÖcan tambiÈn en el caso complejo.

Teorema 1 Propiedades algebraicas de las funciones trigonomÈtricas

1.

2. sin 2 z + cos 2 z = 1 ; 1 + tan 2 z = sec 2 z;

3. sin( z 1 z 2 ) = sin z 1 cos z 2 cos z 1 sin z 2 :

4. cos( z 1 z 2 ) = cos z 1 cos z 2 sin z 1 sin z 2 :

5. tan(z 1 z 2 ) = (tan z 1 tan z 2 )=(1 tan z 1 tan z 2 ) :

sin( z ) = sin z;

cos( z ) = cos z; tan( z ) = tan z:

1 + cot 2 z = csc 2 z:

Prueba. Se deja como ejercicio.

Sustituyendo z = x + iy en la deÖniciÛn de sin z y cos z y utilizando la deÖniciÛn de la exponencial compleja, obtenemos las dos fÛrmulas siguientes:

compleja, obtenemos las dos fÛrmulas siguientes: sin( x + iy ) = sin x cosh y

sin( x

+

iy ) =

sin x cosh y + i cos x sinh y;

(1)

cos( x

+

iy ) = cos x cosh y i sin x sinh y:

(2)

www.LibrosZ.com

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

Ejemplo 1 Demostrar que los ceros de sin z y cos z son los mismos que los de las correspondientes funciones reales:

SoluciÛn. (i) De (1) se deduce que

j sin(x + iy ) j 2 =

sin 2 x cosh 2 y + cos 2 x sinh 2 y

= sin 2 x (1 + sinh 2 y ) + cos 2 x sinh 2 y

= sin 2 x + sinh 2 y:

Luego

sin(x + iy ) = 0 , j sin( x + iy )j = 0 ,

de donde x = k ; k 2 Z ; e y = 0:

(ii ) De (2) se deduce que

sin x = 0 ; sinh y = 0 ;

j cos( x + iy ) j 2 =

cos 2 x cosh 2 y + sin 2 x sinh 2 y

= cos 2 x (1 + sinh 2 y ) + sin 2 x sinh 2 y

=

cos 2 x + sinh 2 y:

Luego

cos( x + iy ) = 0 , j cos(x + iy )j = 0 ,

cos x = 0 ; sinh y = 0 ;

de donde x = (2 k + 1) = 2 ; k 2 Z ; e y = 0 :

Por tanto, las funciones tan z y sec z tienen singularidades en los puntos del eje real

f (2k + 1) = 2 ; 0) : k 2 Z g ; y las funciones cot z y csc z , en f ( k; 0) : k 2 Z g :

Teorema 2 ( Propiedades analÌticas de las funciones trigonomÈtricas)

1. Las funciones sin z y cos z son enteras y

(sin z ) 0 = cos z; (cos z ) 0 = sin z:

2. Las funciones tan z y sec z son analÌticas en C f (2k + 1) = 2 ; 0) : k 2 Z g y

(tan z ) 0 = sec 2 z; (sec z ) 0 = tan z sec z:

3. Las funciones cot z y csc z son analÌticas en C f ( k; 0) : k 2 Z g y

(cot z ) 0 = csc 2 z; (csc z ) 0 = cot z csc z:

Prueba. El c·lculo de las derivadas se deja como ejercicio.

El c·lculo de las derivadas se deja como ejercicio. Nota 1 A pesar de todas las

Nota 1 A pesar de todas las similitudes formales anteriores, hay una diferencia esen- cial entre las funciones trigonomÈtricas reales y complejas: mientras que el seno y coseno de un n˙mero real est· acotado en valor absoluto por 1 ; el valor absoluto del seno y coseno complejos no est· acotado.

www.LibrosZ.com

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

Ejemplo 2

1. sin iy = sin 0 cosh y +

i cos 0 sinh y = i sinh y ) j sin iy j = j sinh y j :

2. cos iy = cos 0 cosh y i sin 0 sinh y = cosh y ) j cos iy j = cosh y:

Ejemplo 3 Probar las identidades:

1. cos 5 = 16 cos 5

20 cos 3 + 5 cos :

sin 5

2. = 16 cos 4

sin

12 cos 2 + 1 ( 6= 2 k ) :

3.

4. cos 4 = 8 cos 4 +

sin 3 = 4 sin 1

3

1

4

sin 3 :

2 cos 2 + 8 3 :

1

SoluciÛn.

( a) y ( b ) Por la fÛrmula de Moivre,

cos 5

+ i sin 5 = (cos + i sin ) 5

=

=

cos + 5 cos i sin + 10 cos 3 ( i sin ) 2

+10 cos (i sin ) + 5 cos ( i sin ) 4 + ( i sin ) 5

cos 10 cos sin + 5 cos sin 4

+

5

5

4

3

2

3

2

4

i 5 cos sin 10 cos sin 3 + sin 5 :

2

Igualando las partes real e imaginaria (y utilizando eventualmente la identidad sin 2 =

1 cos 2 ) se obtienen las dos primeras identidades.

( c )

sin 3 =

e i e i

2i

3

= 1

8

i

=

1

8

i

e i3

3e i2 e i + 3e i e i 2 e i 3

e i3 3e i + 3e i e i 3

=

4 e i e i 1

3

4 e i 3 e i 3

2

i

2i

=

3

4 sin 4 sin 3 :

1

( d ) Se obtiene an·logamente a (c ) desarrollando por la fÛrmula del binomio la expresiÛn

a ( c ) desarrollando por la fÛrmula del binomio la expresiÛn sin 4 = e

sin 4 = e i + e i

2

4

:

www.LibrosZ.com

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

2. Funciones hiperbÛlicas

Las funciones hiperbÛlicas complejas est·n deÖnidas de la siguiente manera:

sinh z = e z e z ;

2

cosh z = e z + 2 e z

;

y

tanh z = sinh z z ; coth z = tanh z ; sech z = cosh z ; csch z

cosh

1

1

=

1

sinh z :

Comparando las deÖniciones de las funciones trigonomÈtricas e hiperbÛlicas obser- vamos que se puede pasar de unas a otras sin m·s que sustituir z por iz y, en el caso de las funciones seno y tangente, multiplicar por i:

ProposiciÛn 1 Entre las funciones trigonomÈtricas e hiperbÛlicas existen las siguien- tes relaciones:

(3)

sin iz = i sinh z; cos iz = cosh z; tan iz = i tanh z;

sinh iz = i sin z; cosh iz = cos z; tanh iz = i tan z:

De las identidades (3) se pueden deducir autom·ticamente todas las propiedades

algebraicas y analÌticas de las funciones hiperbÛlicas a partir de las propiedades corres-

pondientes de las funciones trigonomÈtricas. En particular:

Corolario 1 ( Propiedades algebraicas de las funciones hiperbÛlicas)

1. sinh( z ) = sinh z; cosh( z ) = cosh z; tanh( z ) = tanh z:

2.

3. sinh( z 1 z 2 ) = sinh z 1 cosh z cosh z sinh z :

4. cosh( z 1 z 2 ) = cosh z 1 cosh z sinh z sinh z :

5. tanh( z 1 z 2 ) = (tanh z 1 tanh z 2 )=(1 tanh z 1 tanh z 2 ) :

cosh 2 z

sinh 2 z = 1; 1 tanh z = sech z; coth z 1 = csc h 2 z:

2

2

2

2

1

2

2

1

2

Ejercicio 1 Calcular los ceros de las funciones sinh z y cosh z:

Ejemplo 4 Calcular

Im tanh 1 + 2 i

SoluciÛn. Sea z = 1 2 + 1 2 i . Entonces

:

Luego

tanh z = e e z z + e e z z

=

(e z e z )( e z + e z )

(e z + e z )( e z + e z )

=

=

e z + z + e z z e (z z ) e ( z + z )

e z + z + e z z + e (z z ) + e ( z + z )

e + e i e i e 1 = sinh 1 + i sin 1

e + e i + e i + e 1

cosh 1 + cos 1 :

Im tanh 1 + i

sin 1

=

2 cosh 1 + cos 1 :

www.LibrosZ.com

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

3. Las funciones trigonomÈtricas e hiperbÛlicas in- versas

Si z = sin w , entonces w = sin 1 z se llama el seno inverso de z . Las dem·s funciones trigonomÈtricas inversas (multivaluadas), cos 1 z; tan 1 z; etc. se deÖnen an·logamente. Para hallar las expresiones explÌcitas de todas estas funciones, se resuelven las ecua- ciones

(4)

con respecto a w .

e iw e iw

2

i

;

e iw + e iw

2

z = 1 i

e iw e iw

e

iw

+

e iw :

z =

z =

y

ProposiciÛn 2 Se cumple:

1. sin 1 z = 1 log iz + p 1 z 2 :

i

2. cos 1 z = 1 log z + p z 2 1 :

i

3. tan 1 z = 1 i log

2

1 + iz

1 iz

:

Prueba. Probaremos 1. Multiplicando la primera ecuaciÛn de (4) por e iw ; obtenemos:

e 2 iw 2ize iw 1 = 0;

iw

y resolviendo esta ecuaciÛn de segundo grado en e ,

e iw = iz + p (iz ) 2 + 1 = iz + p 1 z 2 ;

de donde se obtiene la aÖrmaciÛn:

Nota 2 ObsÈrvese que la expresiÛn p 1 z 2 en el sin 1 z y en el cos 1 z tiene dos valores ( excepto para z = 1), que se diferencian en el signo. Una vez elegido uno de ellos, existe adicionalmente un n˙mero inÖnito de valores para la funciÛn logarÌtmica. AsÌ, pues, las funciones inversas sin 1 z y el cos 1 z son inÖnitamente multivaluadas por partida doble.

Ejemplo 5

1. sin 1

=

1

2 = 1 i

log

i

2

+ 3

4 1=2 = 1

i

i log p 3 + 2 2
i
log p 3 +
2
2

8
<

:

1 i log e i =6 = 1 i + i 2 k = + 2 k;

i

6

6

1

i

log e i 5 =6 = 1

i

i 5

6

+ i 2 k = 5 + 2 k;

6

2.

donde k 2 Z :

sin 1 2 = 1 log 2 i p 3 i = 1 ln(2 p 3) + i ( + 2k ) = ( + 2 k ) i 1 ; 317 ; donde k 2 Z :

i

i

2

2

www.LibrosZ.com

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

Las funciones hiperbÛlicas inversas sinh 1 z; cosh 1 z; tanh 1 z; etc. se obtienen an·logamente y son asimismo multivaluadas:

y

sinh 1 z = log z + p z 2 + 1 ; cosh 1 z = log z + p z 2 1 ;

tanh 1 z = 2 log

1

+ z z :

1

1

Si se usan ramas especÌÖcas de las funciones raÌz cuadrada y logaritmo, las funciones inversas trigonomÈtricas e hiperbÛlicas pasan a ser univaluadas y analÌticas, puesto que entonces son composiciones de funciones analÌticas. Las derivadas correspondientes se hallan con facilidad mediante la regla de la cadena. Las derivadas de las funciones inversas que contienen raÌces cuadradas dependen de los valores elegidos para las raÌces

cuadradas:

4.

(sin 1 z ) 0 =

(sinh 1 z ) 0 =

1 z 2 ; (cos 1 z ) 0 =

1

1 z 2 ; (tan 1 z ) 0 =

1

1

1 + z 2 ;

p

1

p 1

1

1 z 2 :

p 1 + z 2 ; (cosh 1 z ) 0 = p z 2 1 ; (tanh 1 z ) 0 =

Las funciones lineales fraccionarias

Las funciones racionales reducibles m·s simples son las llamadas funciones lineales

fraccionarias, que son de la forma

T (z ) =

az + b

cz + d

(5)

donde a; b; c; d 2 C : En lo sucesivo supondremos que ad bc 6= 0 ya que, de lo contrario, T ( z ) es constante (øpor quÈ?). Observemos algunos casos particulares. Si ponemos a = 1; c = 0 y d = 1; obtenemos T (z ) = z + b; que es una translaciÛn por el vector b . Si b = c = 0 ; d = 1 ; entonces T ( z ) = az; que es una rotaciÛn por el ·ngulo arg a y un rescalamiento por j a j , es decir, una homotecia : La aplicaciÛn T ( z ) = 1=z = z= j z j 2 ; que corresponde a a = d = 0 y b = c = 1 ; es una inversiÛn con respecto al cÌrculo j z j = 1 . Es evidente que la composiciÛn de dos funciones lineales fraccionarias es asimismo una funciÛn lineal fraccionaria.

Ejercicio 2 Interpretar geomÈtricamente la inversiÛn.

Lema 1 La aplicaciÛn lineal fraccionaria (5) es biyectiva y conforme del conjunto A = f z 2 C : z 6= d=c g sobre el conjunto B = f w 2 C : w 6= a=c g : La aplicaciÛn inversa es tambiÈn una funciÛn lineal fraccionaria y est· dada por

T 1 (w ) = cw dw + a b

www.LibrosZ.com

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

A veces es conveniente adoptar la convenciÛn T ( d=c ) = 1 : Se puede demostrar

entonces que las funciones lineales fraccionarias son aplicaciones conformes del plano

complejo extendido C sobre sÌ mismo.

A continuaciÛn veremos dos propiedades fundamentales de las funciones lineales

fraccionarias.

Lema 2 Sea T una funciÛn lineal fraccionaria. Si L C es una lÌnea recta y S C un cÌrculo, entonces T ( L ) es una lÌnea recta o un cÌrculo y T ( S ) es una lÌnea recta o un cÌrculo.

Si consideramos a las lÌneas rectas como cÌrculos de radio inÖnito, el lema anterior

se puede resumir diciendo que las funciones lineales fraccionarias transforman cÌrculos en cÌrculos.

Prueba. Si c 6= 0 ; podemos escribir T = T 4 T 3 T 2 T 1 ; donde

T 1 ( z ) =

T 3 ( z ) = ( bc ad )z=c 2

z + d=c

T 2 ( z ) = 1 =z T 4 ( z ) = z + a=c

(translaciÛn); T 3 (homotecia)

T 4 (translaciÛn) transforman lÌneas rectas en lÌneas rectas y cÌrculos en cÌrculos.

Por tanto, sÛlo falta veriÖcar la conclusiÛn del lema para T 2 (inversiÛn). Sabemos por

y

Si c = 0; entonces T ( z ) = ( a=d) z + b=d: Es evidente que T 1

geometrÌa analÌtica del plano que una recta o un cÌrculo est·n determinados por una

ecuaciÛn del tipo

Ax + By + C ( x + y ) = D

2

2

(

A; B; C; D 2 C )

donde no todos los coeÖcientes A; B; C son cero. Sea z = x + iy 6= 0 y 1 =z = u + iv; de

manera que u = x= ( x 2 + y 2 ) y v = y= (x + y ). Entonces la ecuaciÛn anterior implica

2

2

Au Bv D (u 2 + v 2 )

= C

que es asimismo una recta ( D = 0) o un cÌrculo ( D 6= 0) :

una recta ( D = 0) o un cÌrculo ( D 6 = 0) : Lema

Lema 3 ( Invariancia de la razÛn doble) Dados dos conjuntos de puntos distintos z 1 ; z 2 ; z y w 1 ; w 2 ; w 3 ; existe una ˙nica funciÛn lineal fraccionaria T tal que T ( z i ) = w i ; i = 1; 2; 3 : En efecto: si T ( z ) = w; entonces

w

w 1 w 3 w 2 = z z 1 z 3 z 2

w

w 2

w 3 w 1

z z 2

z 3 z 1

(6)

Prueba. Por sustituciÛn directa se comprueba que, efectivamente, T ( z i ) = w i ; i = 1; 2; 3 :

Vamos a probar la unicidad. Sea

S ( z ) = z

z 1 z z 2

z 3 z 2 z 3 z 1

www.LibrosZ.com

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

Entonces S es una funciÛn lineal fraccionaria que aplica z 1 7! 0 ; z 3 7! 1 y z 2 7! 1 ( z 2 es la singularidad de S ) : Sea R ( z ) = (az + b)=(cz + d ) otra funciÛn lineal fraccionaria

tal que R ( z 1 ) = 0 ; R ( z 3 ) = 1 y R ( z 2 ) = 1: Entonces az 1 + b = 0 ; ( az 3 + b ) = ( cz 3 + d ) = 1

y cz 2 + d = 0 ; respectivamente. Resolviendo estas ecuaciones, se obtiene R = S:

Dada, pues, la funciÛn lineal fraccionaria T del enunciado del teorema, la funciÛn ST 1 aplica w 1 = T ( z 1 ) 7! 0 ; w 3 = T (z 3 ) 7! 1 y w 2 = T ( z 2 ) 7! 1 : Por lo dicho en el p·rrafo anterior, ST 1 es ˙nica y, con ella, T = ( ST 1 ) 1 S:

1 es ˙nica y, con ella, T = ( ST 1 ) 1 S: Ejercicio 3

Ejercicio 3 Comprobar que ( 6) deÖne una funciÛn lineal fraccionaria.

Luego podemos utilizar una funciÛn lineal fraccionaria T para aplicar tres puntos

z 1 ; z 2 ; z 3 2 C (plano complejo extendido) en cualquiera otros tres w 1 ; w 2 ; w 3 2 C . Adem·s, la funciÛn transformar· la recta o cÌrculo L que pasa por z 1 ; z 2 ; z 3 en la recta

o cÌrculo T ( L ) que pasa por w 1 ; w 2 ; w 3 . Basta estudiar la imagen de un solo punto de, por ejemplo, el interior (si L es un cÌrculo) o uno de los semiplanos en que L divide al

plano complejo (si L es una recta) para comprender cÛmo T transforma C .

Ejemplo 6 Encontrar una aplicaciÛn conforme del plano complejo ampliado que aplique

1 7! i; 0 7! 1 y 1 7! i:

SoluciÛn. Observemos que, en este caso, z = 1 ; z = 0; z 3 = 1 est·n sobre el eje

real, mientras que w 1 = i; w 2 = 1; w = i est·n sobre el cÌrculo unidad centrado en

el origen. De la ecuaciÛn ( 6) con w = T (z ), tenemos que

1

2

3

T ( z ) i i + 1 = z + 1 1 0

1 + 1

T ( z ) + 1

i i

z 0

y, despejando T ( z ) ;

T (z ) =

z i

z + i

Adem·s, como T ( i) = 0 ; vemos que T transforma el semiplano superior de C en el

interior del cÌrculo j z j = 1:

superior de C en el interior del cÌrculo j z j = 1 : 5. Problemas

5. Problemas propuestos

1. Calcular

(

a ) sin

3 i

1 + 2i

;

(b) Re tan 1 1 + i ;

2

( c ) Im tanh 1 + 2 i

:

2. Hallar todas las soluciones de las ecuaciones

(

1

a ) cos z = 4 (3 + i );

(b)

sin z = i ;

( c ) cosh z = 0 :

www.LibrosZ.com

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

4. Si es la raÌz c˙bica principal de la unidad, encontrar la transformaciÛn lineal fraccionaria que aplica 1 , y 2 en 1, 0 e 1 , respectivamente.

5. Encontrar la imagen del eje real mediante la transformaciÛn lineal fraccionaria

w = iz + 1

z + i :

6. Lecturas adicionales

1. J.M. AmigÛ: Fundamentos de Matem·ticas. Servicios de ReprografÌa de la Uni- versidad Miguel Hern·ndez, Elche, 2001.

2. J.E. Marsden, M.J. Ho§man: Basic Complex Analysis. W.H. Freeman, New York,

1999.

3. M.R. Spiegel: Variable Compleja. McGraw-Hill, MÈjico, 2000.

4. A.D. Wunsh: Variable Compleja con Aplicaciones. Addison-Wesley, MÈjico, 1999.