LAS FUNCIONES HIPERBLICAS

Por Juan Manuel PREZ DELGADO

1. Interpretacin geomtrica del argumento de las funciones hiperblicas. 2. La definicin de las funciones hiperblicas. 3. Frmulas de la suma y diferencia de argumentos. 4. Relaciones entre las funciones hiperblicas y circulares.

1. Interpretacin hiperblicas:

geomtrica

del

argumento

de

las

funciones

Si en el uso de las funciones circulares el argumento ms frecuentemente el ngulo central AOC = con origen en el centro de la circunferencia desde el semieje positivo de abcisas en el sentido contrario a las agujas para las funciones hiperblicas no podemos usar este tipo de argumento faltara la congruencia geomtrica que s posee en las funciones circulares.

usado es y medido del reloj, porque le

Sin embargo, se podra haber tomado como argumento de las funciones circulares un valor x, correspondiente al rea del sector circular con ngulo central FOC=2 , puesto que de la circunferencia unidad se tiene que: rea

1 2

R 2 2a

a ngulocentralmitad

sen x = dis DC = sen ,

cos x = dis OD = cos

tg x = dis AB = tg

Traduciendo esta idea a la siguiente figura que obtenemos desde la rama derecha 2 2 de la hiprbola equiltera x y = 1, se obtendra:

Si llamamos dis DC = t, dis OA = c, dis AB = s se tienen los siguientes hechos:

1) El punto B, de coordenadas (c,s) pertenece a la hiprbola, luego 2) Se tiene, por el Teorema de Thales, la relacin siguiente:

1.

Si ahora calculamos el rea notacin que usamos:

x por mtodos de clculo integral, se tiene, con la

c

Area " x" s.c 2

1

x 2 1.dx x2 1

Como una primitiva es Se tiene:

1.dx 1 Lx 2

1 1 x x2 1 Lx 2 2
c

Area " x" s.c

1 2 x x 1 2

x Lc

1
1

s.c c c 2 1

1 Lc

c2 1

Con lo cual obtenemos que

Area " x" L c

[1]

De aqu, podemos redefinir la dis OA = c, en funcin del rea x.

Lc

c e
2x

1 e
x

e e 2

2x

2.e .c c

e 2 x 1 2.e x .c
Tambin, a partir de [1] y de la relacin

1
x

2.e c
2

s
2

1: 1 s, e
2x

x e
x

Lc s
2

c 1

1 s

Lc s e
x

L s s
2

luego se obtiene que

s 2.e .s
x

1 e
2x

e.e .s s e
x

e 2x 1
Y por ltimo, dado que es

1
x

s c

2.e

e 2

: 1 1 t2

s c

c2 1 c

t .c

c2 1

t 2 .c 2 c 2 1

Adems,

c.t

t 1 t 1 1 t
2 2

, luego:

Lc s

t 1 t
2

1 t 1 t
2

1 t 1 t2

1 t 1 t

1 1 t L 2 1 t

de donde se tiene:

2x

1 t 1 t

2x

e .t 1 t

2x

2x

2x

1 .t

2x

e 2x 1

e e x e e

x x

2. La definicin de las funciones hiperblicas: 2.1. Definicin: De lo anterior se tiene que las frmulas deducidas para las distancias s, c, t son, precisamente, las definiciones formales de las funciones hiperblicas. Seno hiperblico:

shx
Coseno hiperblico:

e 2 e 2

chx
Tangente hiperblica:

thx

e e x e e

x x

Se observa que, en el campo real, las funciones x dependientes de la funcin trascendente elemental e .

hiperblicas

son funciones

Esto no ocurre en las funciones circulares que son funciones trascendentes elementales, independientes de la funcin exponencial, en el campo real. Sin embargo, como se obtiene por las frmulas de Euler, en el campo complejo no ocurre as, siendo todas las funciones, circulares e hiperblicas, dependientes de la z funcin exponencial compleja e .

2.2. Frmulas elementales: Para las funciones hiperblicas se cumplen frmulas anlogas a las frmulas de las funciones circulares:

1)

cthx

1 thx

e e x e e

x x

2)

sec hx

1 chx 1 shx

2 e e
x

3)

cos echx

2 e
x

2.3. Dominios y grficas: Veamos los dominios y las grficas de las funciones trigonomtricas hiperblicas:

Seno hiperblico y su inverso, la cosecante hiperblica:

shx

e 2

Dom shx shx

R ( IMPAR )

sh(0) 0

sh ( x )

cos ehx

2 e
x

Dom cos ehx

Coseno hiperblico y su inverso, la secante hiperblica:

chx

e 2

Dom chx

ch(0) 1

ch ( x )

chx ( PAR)

sec hx

2 e
x

Dom sec hx

Tangente hiperblica y su inverso, la cotangente hiperblica:

thx

e e x e e R

x x

Dom tghx

ctghx

ex x e R

e e

x x

Dom ctghx

2.4. Otras relaciones: De la frmula bsica siguientes: 1) Dividiendo por 2) Dividiendo por
2

ch 2 x sh 2
2

se obtienen, por ejemplo, las dos relaciones

sh x : ch x :
2

ctgh x 1 cos ech x 1 th x

2

sec h x

Anlogamente se obtienen de forma inmediata otras cualesquiera relaciones que permiten expresar una funcin mediante otra del mismo argumento.

3. Frmulas de la suma y diferencia de argumentos: Si partimos de las expresiones del seno y coseno hiperblico para dos argumentos distintos:

shx chx

e e

e 2 e 2

shy chy

e e

e 2 2 e

Se tienen las siguientes expresiones de los productos:

e e e . 2 2 x y x e e B chx.shy e e . 2 2 x y x e e C chx.chy e e . A shx.chy 2 2 x y e e e e . 2 2

x

ex

e
y

x y

e e

x y

e 4 e 4 e 4 e 4

x y

e e e e

x y

e
y

x y

x y

x y

e
y

e e

x y

x y

x y

shx.shy

x y

x y

x y

x y

As, se puede deducir de forma algebraica:

A B
O sea:

shx.chy chx.shy

2.e x

2.e 4

(x y)

sh ( x y )

sh( x y )

shx.chy chx.shy

Del mismo modo, se obtienen de inmediato las relaciones:

ch( x sh( x ch( x

y ) chx.chy shx.shy y) shx.chy chx.shy y ) chx.chy shx.shy

Para las frmulas del argumento doble bastar hacer en las sumas x=y , con lo cual

sh(2 x)
2

2.shx.chx

ch(2 x ) ch 2 x sh 2 x 2.ch x 1 1 2.sh 2 x

Y de esta ltima expresin obtenemos las frmulas del argumento mitad:

sh 2 x ch 2 x

1 ch2 x 1 2 1 ch2 x 1 2

sh ch

x 2 x 2

1 chx 1 2 1 chx 1 2

4. Relaciones entre las funciones hiperblicas y circulares: Como comentbamos antes ver pgina 5-, las funciones trigonomtricas en el campo complejo no son independientes de la funcin exponencial, pues de hecho podemos definir:

sen z

iz

e 2i e

iz

3! z
2

5! z
4

...

cos z

iz

iz

2 e 2 e

1 z

2!
3

4! z
5

...

sh z

3! z
2

5! z
4

...

ch z

2!

4!

...

Por lo que se deducen algunas relaciones:

sh(iz ) e
O bien,

iz

sen z

i.sh (iz )

e 2

iz

i i

i .sen z

Anlogamente, se deducen las siguientes:

cos z ch( iz ) tg z ith( iz ) sh z isen (iz ) ch z cos(iz ) th z itg ( iz )

Estas expresiones para el argumento real x tienen como consecuencias las relaciones de Euler y el poder demostrar, a partir de las frmulas de la trigonometra circular, las frmulas de la trigonometra hiperblica. Veamos, como ejemplo de demostracin de este tipo, la frmula del argumento suma en la trigonometra hiperblica a partir de la frmula del argumento suma en la trigonometra circular: Es decir, partimos de la expresin que tambin es

sen( x y )

senx.cos y cos x.seny

para probar

sh( x y )

shx.chy chx.shy :

sh( x y )

i.sen i ( x y ) i.sen( ix iy ) i. sen(ix ). cos(iy ) cos(ix ). sen(iy ) i. i.shx . chy chx . i.shy shx.chy chx.shy

En cuanto a la derivacin de las funciones hiperblicas, es inmediato obtener las x funciones derivadas a partir de la derivada de la funcin exponencial elemental e :

ex ' ex

As, se tiene, para el seno y coseno hiperblicos, las derivadas:

shx '

e 2 e 2

' e
x

e 2 e 2

chx

chx '

' e

shx

---oo0oo---