Funcin hiperblica

ndice
[ocultar]

1 Definicin analtica 2 Definicin geomtrica 3 Relacin con la trigonometra 4 Punto de vista algebraico 5 Desarrollos en series 6 Funciones recprocas, derivadas e primitivas

7 Referencias

[escribe]Definicin

analtica

Se llaman funciones hiperblicas al coseno hiperblico (denotado cosh o ch), seno hyperblico (senh o sh) y las funciones que se obtienen a partir de ellas, como la tangente (tanh o th), cotangente (coth), la secante (sech) y la cosecante (cosech) hiperblicas: Coseno hiperblico:

es la parte par de la exponencial Seno hiperblico:

es la parte impar de la exponencial Tangente hiperblica:

Cotangente hiperblica:

, definida sobre

y ms generalmente sobre

Secante hiperblica:

Cosecante hiperblica:

, definida sobre

y ms generalmente sobre

. Sh, th, coth y csch son funciones impares mientras que ch y sech son pares.

[escribe]Definicin

geomtrica

De la misma manera que las funciones trigonomtricas permiten localizarse sobre el crculo trigonomtrico, las funciones hiperblicas dan la posicin de un punto cualquiera de la rama positiva de la hiprbola de ecuacin

(en un sistema de coordenadas ortonormal). Un punto A(ch a, sh a) pertenece al esta hiprbola porque sus coordenadas verifican su ecuacin, concretamente .

Esto equivale a decir que el sistema ecuacin paramtrica) de esta rama de hiprbola.

es una representacin paramtrica (o

Sin embargo lo ms sorprendente es que el parmetro a tiene una interpretacin geomtrica sencilla: es el doble del rea delimitada por eje de abscisas, la recta (OA) y la hiprbola (superficie dibujada en azul). La semejanza con la trigonometra circular es llamativa y deja entrever que existe un vnculo muy profundo entre ambas geometras, la circular (eucldea) y la hiperblica. Prueba: El tringulo OAB tiene como rea

y el rea azul

ms l del tringulo OAB mide, integrando para con las ordenadas:

. El cambio de variable da: en la integral anterior

. Luego

[escribe]Relacin

con la trigonometra

El vnculo entre las funciones hiperblicas y trigonomtricas es la frmula de Euler

que tiene como consecuencia estas escrituras del coseno y del seno:

es la parte real de eix, y

es su parte imaginaria. Se obtienen fcilmente las relaciones: , , . ,

Gracias a estas ltimas, se traducen automticamente todas las relaciones trigonomtricas en la lengua de la geometra hiperblica. Vemos como, con un ejemplo sencillo: Bien es sabido que

. Es esto cierto para todo x real, luego para todo x complejo (por propiedad de las funciones holomorfas), por tanto para todo complejo de la forma ix:

. Remplazando

por

se obtiene:

es decir

. En la prctica, una frmula trigonomtrica de cosenos y senos se trasforma en la frmula similar con

con slo cambiar el signo de los eventuales factores

de un trmino y trasformarlos en

. Por ejemplo

dara

. De aqu en adelante, se escriben en azul los signos que cambian entre la geometra circular y la hiperblica. Ms generalmente, el factor

corresponde a

cuando n = 4k n = 4k + 1 , k siendo entero (n es congruente a 0 1 modulo 4) y a

cuando n = 4k + 2 n = 4k + 3.

Frmulas de adicin:

Dividiendo la ltima frmula por la penltima, se

obtiene: Frmulas de duplicacin: se toma y = x en las anteriores.

Se deducen las frmulas del medio ngulo: Gracias al que ch es par e sh impar, se deducen las frmulas de

sustraccin: Luego, cambinando las frmulas de adicin y de sustraccin, se obtienen las de multiplicacin, llamadas tambin

de linearizacin: sirven para integrar productos de funciones hiperblicas.

que

Todo lo anterior permite encontrar las otras frmulas, sin embargo existe un punto de vista ms elegante y terico que subraya la analoga entre ambas geometras. Lo exponemos en el prrafo siguiente.
[escribe]Punto

de vista algebraico

Para entender plenamente la trigonometra hiperblica es preciso realizar el mismo trabajo que se hizo al pasar de los reales a los complejos para entender la trigonometra circular. Las frmulas de adicin de la geometra circular son consecuencia directa de :

que se escribe

, y que se desarolla en:

Igualando las partes reales (en azul) se obtiene la frmula del coseno, y con las partes imaginarias (en rojo) la del seno. Pues bien, remplazando la unidad imaginaria

que verifica

por el nmero

tal que

sin que

sea 1, ni - 1 ni otro nmero complejo - se trabaja en el anillo cociente

[1]

- se obtienen las frmulas de adicin de ch y sh:

que se desarolla en:

luego en:

De la misma manera la frmula de De Moivre como equivalente: tiene

(La prueba es similar a la de la frmula de De Moivre, por induccin sobre n entero natural, luego para n entero negativo). Como ejemplo se puede calcular

para obtener

con el binomio de Newton:

con 2 = 1 y 3 = :

con ch2 x = sh2 x + 1:

desarrollando y reuniendo:

La derivada de ch es sh y recprocamente, como se puede ver facilmente. Luego, considerando la expresin recin introducida, se observa que:

Esto significa que la funcin de la ecuacin

es solucin

diferencial que, por analoga, f sea denotada con una exponencial:

y sugiere

Esta notacin se justifica plenamente al mirar los desarrollos en series de ch x, sh x y ex:

Sabiendo que el siguiente:

, el desarrollo de ex es

En resumen:

Esto permite reescribir las dos relaciones anteriores recuadradas as:

[escribe]Desarrollos

en series

Como partes par e impar de la exponencial, los desarollos en series de Taylor del seno y coseno hiperblicos son los siguientes:

Mediante divisin eucldea de polinomios se obtienen los desarollos de las dems funciones:

para

, para

Y en series de Laurent (por el trmino

):

, para

para

[escribe]Funciones

recprocas, derivadas e

primitivas
Gracias a las derivadas: mayores dificultades a las siguientes: y se obtienen sin

Al restringir adecuadamente sus dominios y codominios, las funciones hiperblicas se vuelven biyectivas. Su recprocas tienen una variedad de apelaciones: cosh 1 = ch
1

= argch = arcch = ach = argcosh = arccosh= arcosh = ... segn los pases y

las costumbres. Aqu hemos escogido la notacin ms corta que prescinde del exponente -1 que se mezcla mal con el smbolo ' de la derivacin: ash, ach, ath ... (el prefijo "a" es la abreviatura de "rea" que proviene de la definicin geomtrica de estas funciones) Estas recprocas intervienen muy a menudo en el mbito de las integrales reales, por eso nos hemos restringido al dominio real. sh es biyectiva de [1; +[, th de hacia , ch lo es del intervalo [0; +[ hacia

hacia ]-1; 1[

Prueba: Hay que expresar x en funcin de y en sh x = y: . Estaecuacin de segundo grado en X tiene como nica solucin estrictamente

positiva

luego, como X = ex > 0 (por eso se descarta la solucin

negativa)

lo que da la expresin de ash.

Prueba: Obviamente se puede derivar la expresin anterior, pero lo ms rpido es utilizar la propiedad de la derivada de la funcin

recproca:

Las expresiones siguientes se demuestran de la misma manera.

Como consecuencia conocemos la integrales generales siguientes:

(con c y k constantes cualesquieran, k no

nulo), ,

Adems tenemos, gracias a las dems funciones hiperblicas recprocas:

Sin olvidar estas relaciones que no precisan de las recprocas: ,

[escribe]Referencias

Notas

1.
base

En la

es te anillo es trivialmente isomorfo a

, que tiene una estructura multiplicativa muy sencilla

Otras fuentes de informacin Autor: M.Romero Schmidtke