Otras funciones trascendentes y sus derivadas

Introduccin
En el texto de lgebra y Trigonometra de esta misma serie se presentaron con sus propiedades ms importantes dos funciones que aparecen en muchas aplicaciones de la matemtica, como son la funcin exponencial y la funcin logartmica. stas aparecen como funciones inversas una de la otra, y el conocimiento de una de ellas permite deducir el mismo comportamiento de la otra. En este mdulo asumimos que el lector conoce estas dos funciones con sus propiedades bsicas. Nos compete a nosotros presentar las reglas de derivacin de las mismas y sus respectivas generalizaciones.
El Gateway Arch es un monumento ubicado en el Parque Nacional Jefferson en la ciudad de San Luis, Estado de Missouri, Estados Unidos. Tiene la forma de un arco de la catenaria.

Preguntas bsicas
Teniendo en cuenta que las funciones trigonomtricas estn intimamente relacionadas con el crculo trigonomtrico, por esta razn en algunas ocasiones se les llama funciones circulares. En efecto, las ecuaciones paramtricas x = cos t, y = sen t describen el crculo unitario x2 + y2 = 1. 1. Se puede afirmar entonces que las ecuaciones paramtricas x = cosh t, y = senh t describen alguna seccin cnica conocida? 2. Por qu el nombre de hiperblicas?

Contenidos del mdulo

14.1 14.2 14.3 14.4 14.5 Derivada de las funciones exponencial y logartmica El nmero e como un lmite Las funciones hiperblicas y sus derivadas Las funciones hiperblicas inversas y sus derivadas Aplicaciones de las funciones hiperblicas: la catenaria y el gudermanniano

ww

w.

1. Repasar las funciones trascendentes: exponencial y logartmica y presentar sus reglas correspondientes de derivacin. 2. Combinar adecuadamente las funciones ex y ex para generar las funciones hiperblicas, sus derivadas y algunas aplicaciones a la ingeniera.

at em

at

Objetivos del mdulo

ic

a1

.c

om

14.1 Derivada de las funciones exponencial y logartmica

A pesar de que la funcin f (x) = ex ha sido estudiada en el curso de lgebra y Trigonometra, nada se ha dicho acerca de su base e, excepto que es un nmero irracional cuya representacin decimal viene dada por e 2.7182818...
Existen muchas definiciones y teoremas acerca del nmero e, dependiendo en cada caso de la necesidad terica del autor. En nuestro caso se dar inicialmente la definicin del nmero e como un nmero real que satisface cierta condicin. Posteriormente se presentar como resultado de un lmite. Definiciones a. e es el nmero real que satisface la siguiente condicin:

lim

eh 1 = 1. h 0 h
se define a x (funcin exponencial de base a) como:

b.

Si a > 0, a 1 y

Teorema 1: Derivada de funciones exponenciales a. b.

Dx (e x ) = e x .

ww

c. d.

Demostracin a. De acuerdo a la definicin de derivada para una funcin, se tiene que:

w.

Regla de derivacin 23 (RD23)

Dx (eu ( x ) ) = eu ( x ) u ( x).

Dx (a x ) = a x ln a.

Regla de derivacin 24 (RD24)

Dx (a u ( x ) ) = a u ( x ) u ( x ) ln a.

at em
ex+h ex h0 h = lim e x eh e x , h 0 h

Dx (e x ) = lim

at

ic

Los siguientes teoremas, que se enuncian y se demuestran a continuacin, recogen las reglas de derivacin para las funciones exponencial y logartmica.

a1

.c

om

a x = exln a .

= lim

e x (eh 1) (eh 1) = e x lim , h 0 h 0 h h

= e x 1 (definicin anterior, parte a).

= ex .
b. c. Use la parte a y la regla de la cadena (RD8).
Dx ( a x ) = Dx (e x ln a ) (definicin anterior, parte b).

= e x ln a Dx ( x ln a ) (regla de derivacin 23).

= exln a ln a.

= a x ln a (definicin anterior, parte b).

d. Use la parte c y la regla de la cadena (RD8).

Teorema 2: Derivada de funciones logartmicas

Dx (log a x) = 1 . x ln a

a.

b.

Regla de derivacin 25 (RD25)

Dx (log a u ( x )) =
1 Dx (ln x) = . x

c. d.

Regla derivacin de 26 (RD26)

Dx (ln u( x)) = u ( x) . u ( x)

Demostracin a. Sea y = log a x. De acuerdo a la definicin de la funcin logartmica,

y = log a x x = a y .

Derivando con respecto a x ambos miembros de la ltima igualdad, se tiene que:

Dx ( x) = Dx (a y ), 1 = a y Dx ( y ) ln a (regla de derivacin 24),

1 = x Dx (log a x) ln a.

ww

w.

at em

u ( x) , u ( x ) ln a siendo u (x) una funcin derivable.

at

ic

a1

.c

om

De donde,
Dx (log a x) = 1 . x ln a

b.

Use la parte a y la regla de la cadena (RD8) En particular, cuando a = e, entonces log a x = ln x, y log a u ( x) = ln u ( x). Al sustituir en a y b se deducen inmediatamente las partes c y d.

En los ejemplos 19.9, 19.10, 19.13 y 19.15 de la seccin 19.2 al final del captulo 3, y en la seccin 14.3 de este mismo captulo, se ilustra la manera de usar las reglas de derivacin mencionadas anteriormente. Observaciones a. Teniendo en cuenta que x n = enln x , n , se tiene entonces que:
Dx ( x n ) = Dx (e nln x ) = enln x Dx (n ln x),

ww

w.

b.

Para hallar la derivada de expresiones algebraicas de la forma f ( x ) g ( x ) se puede aplicar la derivacin logartmica, como se ilustra a continuacin. Sea y = f ( x) g ( x ) . (1)

Tomando logaritmo natural en ambos miembros de (1), se tiene que:

ln y = g ( x) ln f ( x).

at em

Ntese entonces que la derivada de xn, con n , obedece a la misma frmula desarrollada en la regla de derivacin 9 (caso 2) para exponentes racionales.

at

ic

= xn n x1 = n xn 1.

a1

1 = enln x n , x

.c

om

(2)

Derivando ambos miembros de (2) con respecto a x,se puede escribir:

Dx (ln y ) = Dx [ g ( x) ln f ( x)] ,
Dx ( y ) = g ( x) ln f ( x) + g ( x) Dx (ln f ( x)), y = g ( x) ln f ( x) + g ( x) f ( x) . f ( x)

De donde,
Dx ( y ) = y ( g ( x) ln f ( x) + g ( x) f ( x) ). f ( x)

Esto es,
f ( x) g ( x) Dx ( f ( x ) g ( x ) ) = f ( x) g ( x) ln f ( x) + g ( x) f ( x) .

Otra forma en la que puede realizarse la derivada es escribiendo:

f ( x) g ( x ) = eln f ( x )
g ( x)

= e g ( x )ln f ( x ) ,

y aplicar luego la regla de derivacin 23. En el ejemplo 19.9c de la seccin 19.2 al final del captulo 3 se ilustra la manera de proceder en estos casos.

14.2 El nmero e como un lmite

.c
Sea f (x) = ln x, entonces f '( x) = 1 y f '(1) = 1. x De otro lado, usando la definicin de derivada para la misma funcin se tiene que:
f '(1) = lim
h0

f (1 + h) f (1) ln (1 + h) ln1 = lim , h0 h h 1 . ln (1 + h) = lim ln (1 + h)1/ h . h0 h

= lim
h0

Por tanto,

1 = lim ln (1 + h)1/ h .
h 0

ww

w.

Se hace la prueba asumiendo que la funcin ln x es continua en su dominio y adems que su derivada en x = 1 es igual a 1.

at em

Demostracin

at
(1)

Ahora, como la funcin logartmica es continua en su dominio, se tiene que:

1 = ln lim (1 + h)1/ h (seccin 7.1.2). h 0

ic

e = lim (1 + h)1/ h .
h 0

a1

om

Teorema 3: El nmero e como un lmite

y de aqu,

ln e = ln lim (1 + h)1/ h , h 0
o equivalentemente,
e = lim (1 + h)1/ h .
h 0

Observacin Es comn dar la definicin del nmero e mediante el lmite anterior. Es interesante hallar un valor aproximado para el nmero e. Para ello se calcula el valor de (1 + h)1/ h para valores pequeos de h (tanto positivos como negativos) (tabla 14.1).
Tabla 14.1. Valores aproximados del nmero e

at em

at

ic

h 0.1 0.001 0.0001 0.00001 0.000001

.c

om

(1 + h)1/ h 2.704814 2.716924

2.718146 2.718268 2.718280

a1
w.

h 0.1 0.001 0.0001 0.00001 0.000001

(1 + h)1/ h 2.731999 2.719642

2.718418 2.718295 2.718283

La ltima lnea de la tabla anterior nos da valores para el nmero e con una aproximacin de cinco cifras decimales. Es decir: e 2.71828.

14.3 Las funciones hiperblicas y sus derivadas

En algunos problemas de fsica e ingeniera se presentan ciertas combinaciones de las funciones ex y ex que por su inters y caractersticas especiales merecen ser consideradas con algn detenimiento. Tales combinaciones de ex y ex se llaman funciones hiperblicas y se definen de la siguiente manera: Definiciones a. La funcin coseno hiperblico, denotada por cosh x, se define como
cosh x = e x + e x , x cualquier real. 2

ww

b.

La funcin seno hiperblico, denotada por senh x, se define como

senh x = e x e x , x real. 2

Observacin Las funciones senh x y cosh x son las funciones hiperblicas de ms frecuente uso. A partir de stas se definen las funciones tangente hiperblica, cotangente hiperblica, secante hiperblica y cosecante hiperblica de la siguiente manera:
tanh x = senh x , x real cosh x

a.

b. c.

coth x =
sech x =

cosh x , x 0. senh x
1 , x real. cosh x 1 , x 0. senh x

a.

tanh x =

e x e x , x real. e x + e x

b.

coth x =

e x + e x , x 0. e x e x
2 , x real. e + e x
x

c.

sech x =

d.

csch x =

2 , x 0. e e x
x

En el siguiente teorema se presentan algunas identidades importantes relativas a las funciones hiperblicas y cuyas demostraciones son sencillas de realizar. Teorema 4 a. b. c. d.

cosh 2 x senh 2 x = 1.
cosh x + senh x = ex . cosh x senh x = e x .
senh (a b) = senh a cosh b cosh a senh b.

ww

w.

at em

at

De acuerdo con las definiciones anteriores, se tiene lo siguiente:

ic

a1

d.

csch x =

.c

om

e. f. g. h. i. j. k.

cosh (a b) = cosh a cosh b senh a senh b.

senh 2 x = 2 senh x cosh x.

cosh 2 x = cosh 2 x + senh 2 x.

senh 2 x = cosh 2 x = cosh 2 x 1 . 2 cosh 2 x + 1 . 2

1 tanh 2 x = sech 2 x.

1 coth 2 x = csch 2 x.

Ejemplo 14.1 i. ii. Demuestre que cosh x > 0, para cualquier x . Demuestre que senh x 0, siempre que x 0, y senh x < 0, siempre que x < 0.

Solucin

esto es, cosh x > 0, para todo x .

e 0 + e 0 = 1. 1 Para x 0, se tiene que x x, y como la funcin exponencial ex es crecien-

ii.

at em

En particular, cosh 0 =

at

ic

a1

.c

om

i.

Puesto que e x > 0 y ex > 0 para cualquier x , entonces

e x + e x > 0, 2

ww

w.

te, entonces e x e x , de donde

e x e x 0 senh x 0. 2

En particular, senh 0 =

e0 e 0 = 0. 2

Para x < 0, se tiene que x <

x, y como la funcin exponencial ex es creciente,

e x e x < 0 senh x < 0. 2

entonces ex < ex, de donde

En el ejemplo 25.4 al final del mdulo 25 se analiza y se traza la grfica de la funcin senh x con todos sus elementos. Por ser combinacin de funciones exponenciales, las funciones hiperblicas son derivables para todo x (x 0, para coth x y para csch x). El siguiente teorema rene las frmulas de derivacin de las funciones hiperblicas. Teorema 5: Derivada de las funciones hiperblicas Regla de derivacin 27 (RD27)
Dx (senh u ( x)) = cosh u ( x ) u ( x).

Regla de derivacin 28 (RD28)

Dx (cosh u ( x)) = senh u ( x) u ( x).

Regla de derivacin 29 (RD29)

Dx (tanh u ( x)) = sech 2 u ( x) u ( x).

Regla de derivacin 30 (RD30)

Dx (coth u ( x)) = csch 2 u ( x) u ( x).

Regla de derivacin 31 (RD31)

Dx (sech u ( x)) = sech u ( x) tanh u ( x) u ( x).

Regla de derivacin 32 (RD32)

Dx (csch u ( x)) = csch u ( x) coth u ( x) u ( x ).

= =

= senh u ( x) u '( x).

1 1 Dx (sech u ( x)) = Dx senh u ( x) u ( x), = cosh u ( x) cosh 2 u ( x)

= sec hu ( x) tan hu ( x) u ( x).

14.4 Las funciones hiperblicas inversas y sus derivadas

e x e x es continua y creciente en los reales (vea 2 el ejemplo 25.4 del mdulo 25), entonces existe su inversa (teorema 1, seccin 3.7, apndice III), la cual se denota por senh1 x. En el caso de la funcin cosh x es necesario restringir su dominio (intervalo donde sea continua y montona) para que exista la funcin inversa. La funcin tanh x toma todos sus valores en el intervalo (1, 1) y por tanto su inversa tiene su dominio en dicho intervalo. Con las anotaciones anteriores, la definicin de las tres primeras funciones hiperblicas inversas es la siguiente:

Puesto que la funcin senh x =

ww

w.

1 u ( x) ( e eu ( x) ) u( x), 2

at em

1 u ( x) ( e u( x) eu( x) u( x) ) , 2

at

eu ( x ) + e u ( x ) Dx (cosh u ( x)) = Dx , 2

ic

a1

Demostracin

.c

om

Definiciones a. b. c.
y = senh 1 x x = senh y ; y . y = cosh 1 x x = cosh y ; y 0.

y = tanh 1 x x = tanh y ; y .

Se deja al lector el considerar la definicin de las dems funciones hiperblicas inversas. Las funciones hiperblicas inversas figuran en algunas calculadoras y tablas. As como las funciones hiperblicas se expresan en trminos de exponenciales, las inversas se expresan mediante logaritmos. Comencemos por ejemplo con la inversa de senh x.
y = senh 1 x x = senh y,

x=

e y e y , 2

a1

( e y ) 2 x ( e y ) 1 = 0.
2

.c

om

x=

e2 y 1 e2 y 2 xe y 1 = 0, 2e y
(1)

at em

at

La ecuacin (1) corresponde a una ecuacin cuadrtica en ey y, por tanto,

2 x 4 x2 + 4 = x 2

ic

ey =

Como e y > 0 y x < x 2 + 1, el signo () debe descartarse. As que:

ww

w.

x2 + 1 .

e y = x + x 2 + 1 y = ln x +

x2 + 1 ,

senh 1 x = ln x +

x2 + 1 .

Por tanto, senh 1 x = ln x +

x2 + 1 .

(2)

Si se quiere, por ejemplo, calcular la derivada de senh 1 x, se utiliza la ltima identidad (2) y la regla de derivacin 26. De manera similar se pueden expresar las dems funciones hiperblicas inversas, en trminos de logaritmos, las cuales aparecen en la tabla 14.2, con sus respectivos dominios y la regla correspondiente de derivacin. En el ejercicio 19.11 de la seccin 19.2 se demuestra la frmula correspondiente a cosh1 x.

Tabla 14.2. Funciones hiperblicas inversas en trminos de logaritmos

Funcin

Frmula

Derivada

Dominio de f eje x

senh 1 x cosh 1 x
tanh 1 x

ln x +

x2 + 1

1 x2 + 1

ln x +

x2 1

1 x2 1
1 1 x2 1 1 x2

x 1

1 1+ x ln 2 1 x 1 x +1 ln 2 x 1
1 + 1 x2 ln x

x <1 x >1

coth 1 x

sech 1 x

1 x 1 x2

0 < x 1

csch 1 x

La catenaria

toma la forma y = a cosh x . a

ww

Si un cable flexible homogneo o una cadena estn suspendidos entre dos puntos fijos a la misma altura, forman una curva llamada catenaria (figura 14.1a). Adems, se puede colocar una catenaria en un sistema coordenado, de modo que la ecuacin

w.

at em

at

14.5 Aplicaciones de las funciones hiperblicas: la catenaria y el gudermanniano

ic

a1

.c

om

1 1 ln + 1 + 2 x x

1 x 1 + x2

x0

Figura 14.1

Para deducir la ecuacin de la catenaria consideremos la seccin AP del punto ms bajo A al punto P (x, y) (figura 14.1b), e imaginemos que ha sido retirada la parte restante del cable. Las fuerzas que actan sobre el cable son: H: tensin horizontal que tira de A. T: tensin tangencial que tira de P. W = S : peso del cable cuya densidad es libras/pie.

T cos = H .

at

ic

Para que la porcin de cable est en equilibrio, se debe cumplir que: (1) (2)

T sen = W = S .

ww

Dado que tan = dy , se obtiene dx

dy = S (S, longitud, es funcin de x). dx H

w.

De (1) y (2) se deduce que

T sen S = tan = . T cos H

at em

a1

.c

om

(3)

Derivando nuevamente ambos miembros de (3) con respecto a x, se obtiene

d 2 y dS = , dx2 H dx
dS dy = 1 + , la ltima ecuacin se puede escribir finalmente como dx dx
2

y como

d2y dy 1+ . = dx 2 H dx
2

(4)

x Demostraremos ahora que y = a cosh satisface la ecuacin diferencial (4) para a

a= H

x H cosh x , entonces Si y = a cosh = a H

dy H senh x . = = senh x , dx H H H d2y d dy d = = 2 dx dx dx dx

senh H

x = cosh H

x . , H

cosh 2 H

x senh 2 x = 1 (teorema 4, parte a), H

cosh x = H
As que
d2y = H dx 2

1 + senh 2 x . H
dy 1+ . dx
2

El gudermanniano El gudermanniano de t, denotado por gd (t), se define como

gd (t ) = tan 1 (senh t ).

a.

Pruebe que gd (t) es una funcin impar. Debemos probar que gd (t ) = gd (t ).

ww

y teniendo en cuenta que cosh es mayor o igual a 1, se deduce que

w.

at em

at

Pero de la identidad

ic

a1

d2y cosh x . = dx 2 H H

.c

om

En efecto,

et e ( t ) gd (t ) = tan 1 (senh(t )) = tan 1 , 2 1 1 = tan ( senh t ) = tan ( senh t ) , = gd (t ).

b. Pruebe que gd (t) es una funcin creciente. En efecto,

Dt gd (t ) = Dt (tan 1 (senh t ), 1 Dt (senh t ), 1 + senh 2 t 1 1 . cosh t = . = 2 cosh t cosh t =

gd (t) es positiva y de esta forma la funcin es creciente (teorema 23.1).

ww

w.

at em

at

ic

a1

.c

om

Puesto que cos ht 1, entonces

1 > 0, lo que indica que la derivada de cosht