FUNCIONES HIPERBLICAS

En ciertas ocasiones las combinaciones de ex, e-x aparecen frecuentemente. En tales ecuaciones, se acostumbra escribir el modelo matemtico que le corresponde utilizando las funciones hiperblicas definidas como sigue: La funcin f: [R![R, definida por: f(x) = senh x = , x " R, se denomina funcin seno hiperblico. f(x) = cosh x = , x " R, se denomina funcin coseno hiperblico. f(x) = tgh x = , x " R, se llama funcin tangente hiperblico. f(x) = cotgh x = , x " 0, se llama funcin cotangente hiperblico. f(x) = sech x = , x " R, se llama funcin secante hiperblico. f(x) = cosch x = , x " 0, se llama funcin cosecante hiperblico. Con la ayuda de las derivadas y los lmites para hallar los extremos, concavidades y asntotas, se pueden graficar estas funciones fcilmente. Su grficos se muestran en las siguientes figuras.

Considerando las definiciones de cada una de las funciones hiperblicas, se puede mencionar algunas propiedades tales como: senh(x) = 0 ! x = 0, cosh(x) = 1 ! x son funciones impares, [f(-x) = - f(x)] y por tanto sus grficas son simtricas respecto al origen, las funciones: f(x) = senh x ; f(x) = tgh x; f(x) = cotgh x; f(x) = cosch x Son funciones pares, [f(-x) = f(x)] y por tanto sus grficas son simtricas respecto al eje y, las funciones: f(x) = cosh x; f(x) = sech x De las definiciones se seno hiperblico y coseno hiperblico los valores de estas funciones estn relacionados a las coordenadas de los puntos de una hiprbola equiltera, de manera similar a la que los valores de las correspondientes funciones trigonomtricas estn relacionadas a las coordenadas de los puntos de una circunferencia. IDENTIDADES HIPERBLICAS Las funciones hiperblicas, verifican ciertas identidades, similares a las que satisfacen las funciones trigonomtricas. Por ejemplo. Cosh x - senhx = Esta y otras identidades, son las que a continuacin se presenta, dejando al lector la verificacin de las mismas. coshx - senhx = 1 sechx + tghx = 1 cotghx - coschx = 1 senh (x y) = senh x cosh y cosh x senh y cosh (x y) = cosh x cosh y senh x senh y tgh (x y) = senh (2x) = 2 senh x cosh x cosh (2x) = coshh + senhx senh a + senh b = 2 senh cosh a + cosh b = 2 cosh 2senh = cosh x - 1 2cosh = cosh x + 1 (senh x + cosh x)n = senh (nx) + cosh (nx) , (Frmula de Moivre)

DERIVADAS DE LAS FUNCIONES HIPERBLICAS

Las frmulas de derivacin para las funciones hiperblciicas se deducen fcilmente aplicando las reglas de derivacin de la funcin exponencial ex. As por ejemplo Las derivadas de las funciones hiperblicas lo resumimos en la siguiente proposicin, dejando al lector la verificacin correspondiente. Proposicin 1.- Las funciones hiperblicas son derivables en sus correspondientes dominios y se tiene: Si f(x) = senh x, entonces, f'(x) = cosh x Si f(x) = cosh x, entonces, f'(x) = senh x Si f (x) = tgh x, entonces, f'(x) sechx Si f(x) = cotgh x, entonces, f' (x) = - coschx

 Si f(x) = sech x, entonces, f'(x) = - sech x tgh x Si f(x) = cosh x, entonces, f'(x) = - cosch x cotgh x En virtud de esta proposicin y de la regla de la cadena, si u = u(x) es funcin diferenciable (respecto a la variable x) se obtiene el siguiente corolario: Corolario 1.- Si u = u(x) es diferenciable, entonces: Dx (senh u) = cosh u. Dx(u) Dx (cosh u) = senh u. Dx(u) Dx (tgh u) = sech u. Dx(u) Dx (cotgh u) = - cosch u. Dx(u) Dx (sech u) = sech u. Tgh u. Dx(u) Dx (cosch u) = - cosch u. cotgh u. Dx(u)

TEOREMA DE ROLLE
El teorema de Rolle dice lo siguiente: Si:

es una funcin continua definida en un intervalo cerrado es derivable sobre el intervalo abierto

Entonces: existe un nmero perteneciente al intervalo

tal que

En palabras ms sencillas, si una curva regular sale y llega a la misma altura, en algn punto tendr tangente horizontal. En la figura se ven tres casos distintos. Si la funcin empieza subiendo, tendr luego que bajar para reencontrar su valor inicial, entre la subida y la bajada, hay un punto donde la funcin alcanza un mximo, y en ste, f ' se anula. Lo mismo sucede si la funcin empieza bajando, y f ' es nula en el mnimo de f. El tercer ejemplo muestra que no se garantiza la unicidad de c. Prueba

Gracias a la continuidad de f, la imagen de [a, b], conjunto conexo es un conjunto conexo de R, y por lo tanto es un intervalo, el intervalo imagen. La imagen por una funcin continua de un conjunto compacto es un conjunto compacto, y por lo tanto el intervalo imagen es cerrado y de longitud finita: es de la forma [m, M], con m el valor mnimo de f y M su valor mximo. Si m = M , la funcin es constante, y cualquier punto c de (a, b) conviene. Descartado este caso, m M significa que uno de los dos no es igual a f(a) = f(b). Supongamos que sea M. Entonces M > f(a) = f(b), y por lo tanto el

mximo M est alcanzado en el interior del intervalo (corresponde al primer ejemplo).

Sea c en (a, b) tal que f(c) = M. Por definicin del mximo, M = f(c) f(x) para todo x de [a, b]. Entoces el cociente (f(c) - f(x)) / (c - x) es no negativo cuando x < c (porque su numerador es siempre no negativo y su denominador es positivo no nulo), y es no positivo cuando x > c (el denominador se vuelve negativo no nulo). Pero f '(c) es por definicin el lmite de este cociente cuando x tiende hacia c. El lmite por la izquierda, f '(c-)positivo, tiene que ser igual al lmite por la derecha, f '(c+). Por lo tanto este lmite comn es nulo, o sea f '(c) = 0.

La prueba es muy parecida si es el mnimo que est alcanzado en (a, b).

TEOREMA DE VALOR MEDIO, DE LAGRANGE DE INCREMENTOS FINITOS

Si:

f es una funcin continua definida en un intervalo [a, b] f es derivable sobre el intervalo (a, b)

Entonces: existe un nmero c en el intervalo (a, b) tal que :

Es decir que existe un punto en donde la tangente es paralela a la cuerda AB. Su prueba es sencilla, pues utiliza el teorema precedente. Sea p la pendiente de la cuerda: p = (f(b) - f(a)) / (b - a), y se define la funcin g(x) = f(x) - px. Entonces g(b) - g(a) = f(b) - pb - (f(a) - pa) = f(b) - f(a) - p(b - a) = f(b) f(a) -(f(b) - f(a)) = 0, y g como f, es continua sobre [a, b] y derivable en su interior. Segn el teorema anterior, existe un c en (a, b) tal que g '(c) = 0; pero esto se escribe f ' (c) = p. Este teorema se escribe tambin, con las mismas hiptesis: f(b) = f(a) + f '(c)(ba) lo que deja entrever el teorema de Taylor-Young: f(b) = f(a) + (b-a)f '(a) + ... + (b-a)n/n! f(n)(c), con f n veces derivable sobre (a, b).