Articulo de referencia

funciones hiperbólicas

En matemáticas , las funciones hiperbólicas son análogas a las funciones trigonométricas ordinarias , pero definidas mediante la hipérbola en lugar del círculo . Así como los pu...

En matemáticas , las funciones hiperbólicas son análogas a las funciones trigonométricas ordinarias , pero definidas mediante la hipérbola en lugar del círculo . Así como los puntos (cos t , sin t ) forman un círculo de radio unitario , los puntos (cosh t , sinh t ) forman la mitad derecha de la hipérbola unitaria . De manera similar a como las derivadas de sin( t ) y cos( t ) son cos( t ) y –sin( t ) , las derivadas de sinh( t ) y cosh( t ) son cosh( t ) y sinh( t ) .

Las funciones hiperbólicas se utilizan para expresar el ángulo de paralelismo en geometría hiperbólica . En relatividad especial, se emplean para expresar transformaciones de Lorentz como rotaciones hiperbólicas . También aparecen en las soluciones de numerosas ecuaciones diferenciales lineales (como la ecuación que define una catenaria ), ecuaciones cúbicas y la ecuación de Laplace en coordenadas cartesianas . Las ecuaciones de Laplace son importantes en diversas áreas de la física , como la teoría electromagnética , la transferencia de calor y la dinámica de fluidos .

Las funciones hiperbólicas básicas son: [ 1 ]

  • seno hiperbólico " sinh " ( / ˈ s ɪ ŋ , ˈ s ɪ n , ˈ ʃ n / ), [ 2 ]
  • coseno hiperbólico " cosh " ( / ˈ k ɒ ʃ , ˈ k ʃ / ), [ 3 ]

de los cuales se derivan: [ 4 ]

  • tangente hiperbólica " tanh " ( / ˈ t æ ŋ , ˈ t æ n , ˈ θ æ n / ), [ 5 ]
  • cotangente hiperbólica " coth " ( / ˈ k ɒ θ , ˈ k θ / ), [ 6 ] [ 7 ]
  • secante hiperbólica " sech " ( / ˈ s ɛ , ˈ ʃ ɛ k / ), [ 8 ]
  • cosecante hiperbólica " csch " o " cosech " ( / ˈ k s ɛ , ˈ k ʃ ɛ k / [ 3 ] )

correspondientes a las funciones trigonométricas derivadas.

Las funciones hiperbólicas inversas son:

  • seno hiperbólico inverso " arsinh " (también denotado " sinh −1 ", " asinh " o a veces " arcsinh ") [ 9 ] [ 10 ] [ 11 ]
  • coseno hiperbólico inverso " arcosh " (también denotado " cosh −1 ", " acosh " o a veces " arccosh ")
  • tangente hiperbólica inversa " artanh " (también denotada " tanh −1 ", " atanh " o a veces " arctanh ")
  • cotangente hiperbólica inversa " arcoth " (también denotada " coth −1 ", " acoth " o a veces " arccoth ")
  • secante hiperbólica inversa " arsech " (también denotada " sech −1 ", " asech " o a veces " arcsech ")
  • cosecante hiperbólica inversa " arcsch " (también denotada " arcosech ", " csch −1 ", " cosech −1 ", " acsch ", " acosech ", o a veces " arccsch " o " arccosech ")
Un rayo que pasa por la hipérbola unitaria = 1 en el punto (cosh a , sinh a ) , donde a es el doble del área entre el rayo, la hipérbola y el eje x . Para los puntos de la hipérbola que se encuentran por debajo del eje x , el área se considera negativa (véase la versión animada con comparación con las funciones trigonométricas (circulares)).

Las funciones hiperbólicas toman como argumento un ángulo hiperbólico . La magnitud de un ángulo hiperbólico es el área de su sector hiperbólico en xy = 1. Las funciones hiperbólicas pueden definirse en términos de los catetos de un triángulo rectángulo que cubre este sector.

En análisis complejo , las funciones hiperbólicas surgen al aplicar las funciones seno y coseno ordinarias a un ángulo imaginario. El seno hiperbólico y el coseno hiperbólico son funciones enteras . Por consiguiente, las demás funciones hiperbólicas son meromorfas en todo el plano complejo.

Según el teorema de Lindemann-Weierstrass , las funciones hiperbólicas tienen un valor trascendental para cada valor algebraico distinto de cero del argumento. [ 12 ]

Historia

El primer cálculo conocido de un problema de trigonometría hiperbólica se atribuye a Gerardus Mercator al publicar la proyección cartográfica de Mercator alrededor de 1566. Requiere tabular soluciones a una ecuación trascendental que involucra funciones hiperbólicas. [ 13 ]

El primero en sugerir una similitud entre el sector del círculo y el de la hipérbola fue Isaac Newton en su Principia Mathematica de 1687. [ 14 ]

Roger Cotes sugirió modificar las funciones trigonométricas utilizando la unidad imaginaria.i=1{\displaystyle i={\sqrt {-1}}}para obtener un esferoide oblato a partir de uno prolato. [ 14 ]

Las funciones hiperbólicas fueron introducidas formalmente en 1757 por Vincenzo Riccati . [ 14 ] [ 13 ] [ 15 ] Riccati usó Sc. y Cc. ( seno/coseno circular ) para referirse a las funciones circulares y Sh. y Ch. ( seno/coseno hiperbólico ) para referirse a las funciones hiperbólicas. [ 14 ] Ya en 1759, Daviet de Foncenex demostró la intercambiabilidad de las funciones trigonométricas e hiperbólicas usando la unidad imaginaria y extendió la fórmula de de Moivre a las funciones hiperbólicas. [ 15 ] [ 14 ]

Durante la década de 1760, Johann Heinrich Lambert sistematizó el uso de funciones y proporcionó expresiones exponenciales en diversas publicaciones. [ 14 ] [ 15 ] Lambert reconoció a Riccati la terminología y los nombres de las funciones, pero modificó las abreviaturas a las que se usan actualmente. [ 15 ] [ 16 ]

Notación

Definiciones

Triángulos rectángulos con catetos proporcionales a senh y cosh

Con un ángulo hiperbólico u , las funciones hiperbólicas sinh y cosh se pueden definir con la función exponencial e u . [ 1 ] [ 4 ] En la figura A=(mi,mi), B=(mi, mi), OA+OB=Odo{\displaystyle A=(e^{-u},e^{u}),\ ​​B=(e^{u},\ e^{-u}),\ ​​OA+OB=OC}.

Definiciones exponenciales

sinh x es la mitad de la diferencia entre e x y e x
cosh x es el promedio de e x y e x
  • Seno hiperbólico: la parte impar de la función exponencial, es decir,sinhincógnita=miincógnitamiincógnita2=mi2incógnita12miincógnita.{\displaystyle \sinh x={\frac {e^{x}-e^{-x}}{2}}={\frac {e^{2x}-1}{2e^{x}}}.}
  • Coseno hiperbólico: la parte par de la función exponencial, es decir,aporrearincógnita=miincógnita+miincógnita2=mi2incógnita+12miincógnita.{\displaystyle \cosh x={\frac {e^{x}+e^{-x}}{2}}={\frac {e^{2x}+1}{2e^{x}}}.}
sinh , cosh y tanh
csch , sech y coth
  • Tangente hiperbólica:tanhincógnita=sinhincógnitaaporrearincógnita=miincógnitamiincógnitamiincógnita+miincógnita=mi2incógnita1mi2incógnita+1.{\displaystyle \tanh x={\frac {\sinh x}{\cosh x}}={\frac {e^{x}-e^{-x}}{e^{x}+e^{-x}}}={\frac {e^{2x}-1}{e^{2x}+1}}.}
  • Cotangente hiperbólica: para x ≠ 0 ,cothincógnita=aporrearincógnitasinhincógnita=miincógnita+miincógnitamiincógnitamiincógnita=mi2incógnita+1mi2incógnita1.{\displaystyle \coth x={\frac {\cosh x}{\sinh x}}={\frac {e^{x}+e^{-x}}{e^{x}-e^{-x}}}={\frac {e^{2x}+1}{e^{2x}-1}}.}
  • secante hiperbólica:sechincógnita=1aporrearincógnita=2miincógnita+miincógnita=2miincógnitami2incógnita+1.{\displaystyle \operatorname {sech} x={\frac {1}{\cosh x}}={\frac {2}{e^{x}+e^{-x}}}={\frac {2e^{x}}{e^{2x}+1}}.}
  • Cosecante hiperbólica: para x ≠ 0 ,cschincógnita=1sinhincógnita=2miincógnitamiincógnita=2miincógnitami2incógnita1.{\displaystyle \operatorname {csch} x={\frac {1}{\sinh x}}={\frac {2}{e^{x}-e^{-x}}}={\frac {2e^{x}}{e^{2x}-1}}.}

Definiciones de ecuaciones diferenciales

Las funciones hiperbólicas pueden definirse como soluciones de ecuaciones diferenciales : El seno y el coseno hiperbólicos son la solución ( s , c ) del sistema. do(incógnita)=s(incógnita),s(incógnita)=do(incógnita),{\displaystyle {\begin{aligned}c'(x)&=s(x),\\s'(x)&=c(x),\\\end{aligned}}} con las condiciones inicialess(0)=0,do(0)=1.{\displaystyle s(0)=0,c(0)=1.}Las condiciones iniciales hacen que la solución sea única; sin ellas, cualquier par de funciones(amiincógnita+bmiincógnita,amiincógnitabmiincógnita){\displaystyle (ae^{x}+be^{-x},ae^{x}-be^{-x})}sería una solución.

sinh( x ) y cosh( x ) son también la solución única de la ecuación f ″( x ) = f ( x ) , de modo que f (0) = 1 , f ′(0) = 0 para el coseno hiperbólico, y f (0) = 0 , f ′(0) = 1 para el seno hiperbólico.

Definiciones trigonométricas complejas

Las funciones hiperbólicas también pueden deducirse de funciones trigonométricas con argumentos complejos :

  • Seno hiperbólico: [ 1 ]sinhincógnita=ipecado(iincógnita).{\displaystyle \sinh x=-i\sin(ix).}
  • Coseno hiperbólico: [ 1 ]aporrearincógnita=porque(iincógnita).{\displaystyle \cosh x=\cos(ix).}
  • Tangente hiperbólica:tanhincógnita=ibroncearse(iincógnita).{\displaystyle \tanh x=-i\tan(ix).}
  • Cotangente hiperbólica:cothincógnita=icuna(iincógnita).{\displaystyle \cot x=i\cot(ix).}
  • secante hiperbólica:sechincógnita=segundo(iincógnita).{\displaystyle \operatorname {sech} x=\sec(ix).}
  • cosecante hiperbólica:cschincógnita=icsc(iincógnita).{\displaystyle \operatorname {csch} x=i\csc(ix).}

donde i es la unidad imaginaria con i 2 = −1 .

Las definiciones anteriores están relacionadas con las definiciones exponenciales a través de la fórmula de Euler (véase la sección «  Funciones hiperbólicas para números complejos » más adelante).

Propiedades de caracterización

coseno hiperbólico

Se puede demostrar que el área bajo la curva del coseno hiperbólico (sobre un intervalo finito) es siempre igual a la longitud del arco correspondiente a ese intervalo: [ 17 ]área=abaporrearincógnitadincógnita=ab1+(ddincógnitaaporrearincógnita)2dincógnita=longitud de arco.{\displaystyle {\text{área}}=\int _{a}^{b}\cosh x\,dx=\int _{a}^{b}{\sqrt {1+\left({\frac {d}{dx}}\cosh x\right)^{2}}}\,dx={\text{longitud de arco.}}}

tangente hiperbólica

La tangente hiperbólica es la solución (única) de la ecuación diferencial f ′ = 1 − f 2 , con f (0) = 0 . [ 18 ] [ 19 ]

Relaciones útiles

Las funciones hiperbólicas satisfacen muchas identidades, todas ellas similares en forma a las identidades trigonométricas . De hecho, la regla de Osborn [ 20 ] (llamada así por George Osborn ) establece que se puede convertir cualquier identidad trigonométrica (hasta pero sin incluir los senos hiperbólicos o los senos hiperbólicos implícitos de cuarto grado) paraθ{\displaystyle \theta },2θ{\displaystyle 2\theta },3θ{\displaystyle 3\theta }oθ{\displaystyle \theta }yφ{\displaystyle \varphi }en una identidad hiperbólica, por:

  1. expandiéndolo completamente en términos de potencias enteras de senos y cosenos,
  2. cambiar seno a sinh y coseno a cosh, y
  3. cambiando el signo de cada término que contiene un producto de dos sinh.

Funciones pares e impares : sinh(incógnita)=sinhincógnitaaporrear(incógnita)=aporrearincógnitatanh(incógnita)=tanhincógnitacoth(incógnita)=cothincógnitasech(incógnita)=sechincógnitacsch(incógnita)=cschincógnita{\displaystyle {\begin{aligned}\sinh(-x)&=-\sinh x\\\cosh(-x)&=\cosh x\\\tanh(-x)&=-\tanh x\\\coth(-x)&=-\coth x\\\operatorname {sech} (-x)&=\operatorname {sech} x\\\operatorname {csch} (-x)&=-\operatorname {csch} x\end{aligned}}}

Recíprocos:

culoincógnita=arcosh(1incógnita)arcschincógnita=arsinh(1incógnita)Arcothincógnita=artanh(1incógnita){\displaystyle {\begin{aligned}\operatorname {arsech} x&=\operatorname {arcosh} \left({\frac {1}{x}}\right)\\\operatorname {arcsch} x&=\operatorname {arsinh} \left({\frac {1}{x}}\right)\\\operatorname {arcoth} x&=\operatorname {artanh} \left({\frac {1}{x}}\right)\end{aligned}}}

Análogo a la fórmula de Euler :

aporrearincógnita+sinhincógnita=miincógnitaaporrearincógnitasinhincógnita=miincógnita{\displaystyle {\begin{aligned}\cosh x+\sinh x&=e^{x}\\\cosh x-\sinh x&=e^{-x}\end{aligned}}}

Análogo a la identidad trigonométrica pitagórica :

aporrear2incógnitasinh2incógnita=11tanh2incógnita=sech2incógnitacoth2incógnita1=csch2incógnita{\displaystyle {\begin{aligned}\cosh ^{2}x-\sinh ^{2}x&=1\\1-\tanh ^{2}x&=\operatorname {sech} ^{2}x\\\coth ^{2}x-1&=\operatorname {csch} ^{2}x\end{aligned}}}

Sumas y diferencias de argumentos

sinh(incógnita+y)=sinhincógnitaaporreary+aporrearincógnitasinhyaporrear(incógnita+y)=aporrearincógnitaaporreary+sinhincógnitasinhytanh(incógnita+y)=tanhincógnita+tanhy1+tanhincógnitatanhysinh(incógnitay)=sinhincógnitaaporrearyaporrearincógnitasinhyaporrear(incógnitay)=aporrearincógnitaaporrearysinhincógnitasinhytanh(incógnitay)=tanhincógnitatanhy1tanhincógnitatanhy{\displaystyle {\begin{aligned}\sinh(x+y)&=\sinh x\cosh y+\cosh x\sinh y\\\cosh(x+y)&=\cosh x\cosh y+\sinh x\sinh y\\\tanh(x+y)&={\frac {\tanh x+\tanh y}{1+\tanh x\tanh y}}\\\sinh(x-y)&=\sinh x\cosh y-\cosh x\sinh y\\\cosh(x-y)&=\cosh x\cosh y-\sinh x\sinh y\\\tanh(x-y)&={\frac {\tanh x-\tanh y}{1-\tanh x\tanh y}}\\\end{aligned}}} particularmente aporrear(2incógnita)=sinh2incógnita+aporrear2incógnita=2sinh2incógnita+1=2aporrear2incógnita1sinh(2incógnita)=2sinhincógnitaaporrearincógnitatanh(2incógnita)=2tanhincógnita1+tanh2incógnita{\displaystyle {\begin{aligned}\cosh(2x)&=\sinh ^{2}{x}+\cosh ^{2}{x}=2\sinh ^{2}x+1=2\cosh ^{2}x-1\\\sinh(2x)&=2\sinh x\cosh x\\\tanh(2x)&={\frac {2\tanh x}{1+\tanh ^{2}x}}\\\end{aligned}}}

Fórmulas de suma y resta

sinhincógnita+sinhy=2sinh(incógnita+y2)aporrear(incógnitay2)aporrearincógnita+aporreary=2aporrear(incógnita+y2)aporrear(incógnitay2)sinhincógnitasinhy=2aporrear(incógnita+y2)sinh(incógnitay2)aporrearincógnitaaporreary=2sinh(incógnita+y2)sinh(incógnitay2){\displaystyle {\begin{aligned}\sinh x+\sinh y&=2\sinh \left({\frac {x+y}{2}}\right)\cosh \left({\frac {x-y}{2}}\right)\\\cosh x+\cosh y&=2\cosh \left({\frac {x+y}{2}}\right)\cosh \left({\frac {x-y}{2}}\right)\\\sinh x-\sinh y&=2\cosh \left({\frac {x+y}{2}}\right)\sinh \left({\frac {x-y}{2}}\right)\\\cosh x-\cosh y&=2\sinh \left({\frac {x+y}{2}}\right)\sinh \left({\frac {x-y}{2}}\right)\\\end{aligned}}}

Fórmulas de productos

aporrearincógnitaaporreary=12( aporrear(incógnita+y)+aporrear(incógnitay))sinhincógnitasinhy=12( aporrear(incógnita+y)aporrear(incógnitay))sinhincógnitaaporreary=12( sinh(incógnita+y)+sinh(incógnitay))aporrearincógnitasinhy=12( sinh(incógnita+y)sinh(incógnitay)){\displaystyle {\begin{aligned}\cosh x\,\cosh y&={\tfrac {1}{2}}{\bigl (}\!\!~\cosh(x+y)+\cosh(x-y){\bigr )}\\[5mu]\sinh x\,\sinh y&={\tfrac {1}{2}}{\bigl (}\!\!~\cosh(x+y)-\cosh(x-y){\bigr )}\\[5mu]\sinh x\,\cosh y&={\tfrac {1}{2}}{\bigl (}\!\!~\sinh(x+y)+\sinh(x-y){\bigr )}\\[5mu]\cosh x\,\sinh y&={\tfrac {1}{2}}{\bigl (}\!\!~\sinh(x+y)-\sinh(x-y){\bigr )}\\[5mu]\end{aligned}}}

fórmulas de medio argumento

sinh(incógnita2)=sinhincógnita2(aporrearincógnita+1)=sgnincógnitaaporrearincógnita12aporrear(incógnita2)=aporrearincógnita+12tanh(incógnita2)=sinhincógnitaaporrearincógnita+1=sgnincógnitaaporrearincógnita1aporrearincógnita+1=miincógnita1miincógnita+1{\displaystyle {\begin{aligned}\sinh \left({\frac {x}{2}}\right)&={\frac {\sinh x}{\sqrt {2(\cosh x+1)}}}&&=\operatorname {sgn} x\,{\sqrt {\frac {\cosh x-1}{2}}}\\[6px]\cosh \left({\frac {x}{2}}\right)&={\sqrt {\frac {\cosh x+1}{2}}}\\[6px]\tanh \left({\frac {x}{2}}\right)&={\frac {\sinh x}{\cosh x+1}}&&=\operatorname {sgn} x\,{\sqrt {\frac {\cosh x-1}{\cosh x+1}}}={\frac {e^{x}-1}{e^{x}+1}}\end{aligned}}}

donde sgn es la función signo .

Si x ≠ 0 entonces

tanh(incógnita2)=aporrearincógnita1sinhincógnita=cothincógnitacschincógnita{\displaystyle \tanh \left({\frac {x}{2}}\right)={\frac {\cosh x-1}{\sinh x}}=\coth x-\operatorname {csch} x}

Fórmulas de medio argumento de tangente

Cuandot=tanh(incógnita2){\displaystyle t=\tanh \left({\frac {x}{2}}\right)} , sinhincógnita=2t1t2,aporrearincógnita=1+t21t2,tanhincógnita=2t1+t2,cothincógnita=1+t22t,sechincógnita=1t21+t2,cschincógnita=1t22t.{\displaystyle {\begin{aligned}&\sinh x={\frac {2t}{1-t^{2}}},&&\cosh x={\frac {1+t^{2}}{1-t^{2}}},\\[8pt]&\tanh x={\frac {2t}{1+t^{2}}},&&\coth x={\frac {1+t^{2}}{2t}},\\[8pt]&\operatorname {sech} x={\frac {1-t^{2}}{1+t^{2}}},&&\operatorname {csch} x={\frac {1-t^{2}}{2t}}.\end{aligned}}}

fórmulas cuadradas

sinh2incógnita=12(aporrear2incógnita1)aporrear2incógnita=12(aporrear2incógnita+1){\displaystyle {\begin{aligned}\sinh ^{2}x&={\tfrac {1}{2}}(\cosh 2x-1)\\\cosh ^{2}x&={\tfrac {1}{2}}(\cosh 2x+1)\end{aligned}}}

Desigualdades

La siguiente desigualdad es útil en estadística: [ 21 ]aporrear(t)mit2/2.{\displaystyle \operatorname {cosh} (t)\leq e^{t^{2}/2}.}

Esto se puede demostrar comparando la serie de Taylor de las dos funciones término a término.

Funciones inversas como logaritmos

arsinh(incógnita)=ln(incógnita+incógnita2+1)arcosh(incógnita)=ln(incógnita+incógnita21)incógnita1artanh(incógnita)=12ln(1+incógnita1incógnita)|incógnita|<1Arcoth(incógnita)=12ln(incógnita+1incógnita1)|incógnita|>1culo(incógnita)=ln(1incógnita+1incógnita21)=ln(1+1incógnita2incógnita)0<incógnita1arcsch(incógnita)=ln(1incógnita+1incógnita2+1)incógnita0{\displaystyle {\begin{aligned}\operatorname {arsinh} (x)&=\ln \left(x+{\sqrt {x^{2}+1}}\right)\\\operatorname {arcosh} (x)&=\ln \left(x+{\sqrt {x^{2}-1}}\right)&&x\geq 1\\\operatorname {artanh} (x)&={\frac {1}{2}}\ln \left({\frac {1+x}{1-x}}\right)&&|x|<1\\\operatorname {arcoth} (x)&={\frac {1}{2}}\ln \left({\frac {x+1}{x-1}}\right)&&|x|>1\\\operatorname {arsech} (x)&=\ln \left({\frac {1}{x}}+{\sqrt {{\frac {1}{x^{2}}}-1}}\right)=\ln \left({\frac {1+{\sqrt {1-x^{2}}}}{x}}\right)&&0<x\leq 1\\\operatorname {arcsch} (x)&=\ln \left({\frac {1}{x}}+{\sqrt {{\frac {1}{x^{2}}}+1}}\right)&&x\neq 0\end{aligned}}}

Derivados

ddincógnitasinhincógnita=aporrearincógnitaddincógnitaaporrearincógnita=sinhincógnitaddincógnitatanhincógnita=1tanh2incógnita=sech2incógnita=1aporrear2incógnitaddincógnitacothincógnita=1coth2incógnita=csch2incógnita=1sinh2incógnitaincógnita0ddincógnitasechincógnita=tanhincógnitasechincógnitaddincógnitacschincógnita=cothincógnitacschincógnitaincógnita0{\displaystyle {\begin{aligned}{\frac {d}{dx}}\sinh x&=\cosh x\\{\frac {d}{dx}}\cosh x&=\sinh x\\{\frac {d}{dx}}\tanh x&=1-\tanh ^{2}x=\operatorname {sech} ^{2}x={\frac {1}{\cosh ^{2}x}}\\{\frac {d}{dx}}\coth x&=1-\coth ^{2}x=-\operatorname {csch} ^{2}x=-{\frac {1}{\sinh ^{2}x}}&&x\neq 0\\{\frac {d}{dx}}\operatorname {sech} x&=-\tanh x\operatorname {sech} x\\{\frac {d}{dx}}\operatorname {csch} x&=-\coth x\operatorname {csch} x&&x\neq 0\end{aligned}}}ddincógnitaarsinhincógnita=1incógnita2+1ddincógnitaarcoshincógnita=1incógnita211<incógnitaddincógnitaartanhincógnita=11incógnita2|incógnita|<1ddincógnitaArcothincógnita=11incógnita21<|incógnita|ddincógnitaculoincógnita=1incógnita1incógnita20<incógnita<1ddincógnitaarcschincógnita=1|incógnita|1+incógnita2incógnita0{\displaystyle {\begin{aligned}{\frac {d}{dx}}\operatorname {arsinh} x&={\frac {1}{\sqrt {x^{2}+1}}}\\{\frac {d}{dx}}\operatorname {arcosh} x&={\frac {1}{\sqrt {x^{2}-1}}}&&1<x\\{\frac {d}{dx}}\operatorname {artanh} x&={\frac {1}{1-x^{2}}}&&|x|<1\\{\frac {d}{dx}}\operatorname {arcoth} x&={\frac {1}{1-x^{2}}}&&1<|x|\\{\frac {d}{dx}}\operatorname {arsech} x&=-{\frac {1}{x{\sqrt {1-x^{2}}}}}&&0<x<1\\{\frac {d}{dx}}\operatorname {arcsch} x&=-{\frac {1}{|x|{\sqrt {1+x^{2}}}}}&&x\neq 0\end{aligned}}}

segundas derivadas

Cada una de las funciones sinh y cosh es igual a su segunda derivada , es decir: d2dincógnita2sinhincógnita=sinhincógnita{\displaystyle {\frac {d^{2}}{dx^{2}}}\sinh x=\sinh x}d2dincógnita2aporrearincógnita=aporrearincógnita.{\displaystyle {\frac {d^{2}}{dx^{2}}}\cosh x=\cosh x\,.}

Todas las funciones con esta propiedad son combinaciones lineales de sinh y cosh , en particular las funciones exponenciales.miincógnita{\displaystyle e^{x}}ymiincógnita{\displaystyle e^{-x}}. [ 22 ]

Integrales estándar

sinh(aincógnita)dincógnita=a1aporrear(aincógnita)+doaporrear(aincógnita)dincógnita=a1sinh(aincógnita)+dotanh(aincógnita)dincógnita=a1ln(aporrear(aincógnita))+docoth(aincógnita)dincógnita=a1ln|sinh(aincógnita)|+dosech(aincógnita)dincógnita=a1arctan(sinh(aincógnita))+docsch(aincógnita)dincógnita=a1ln|tanh(aincógnita2)|+do=a1ln|coth(aincógnita)csch(aincógnita)|+do=a1Arcoth(aporrear(aincógnita))+do{\displaystyle {\begin{aligned}\int \sinh(ax)\,dx&=a^{-1}\cosh(ax)+C\\\int \cosh(ax)\,dx&=a^{-1}\sinh(ax)+C\\\int \tanh(ax)\,dx&=a^{-1}\ln(\cosh(ax))+C\\\int \coth(ax)\,dx&=a^{-1}\ln \left|\sinh(ax)\right|+C\\\int \operatorname {sech} (ax)\,dx&=a^{-1}\arctan(\sinh(ax))+C\\\int \operatorname {csch} (ax)\,dx&=a^{-1}\ln \left|\tanh \left({\frac {ax}{2}}\right)\right|+C=a^{-1}\ln \left|\coth \left(ax\right)-\operatorname {csch} \left(ax\right)\right|+C=-a^{-1}\operatorname {arcoth} \left(\cosh \left(ax\right)\right)+C\end{aligned}}}

Las siguientes integrales se pueden demostrar utilizando la sustitución hiperbólica : 1a2+2d=arsinh(a)+do12a2d=sgnarcosh|a|+do1a22d=a1artanh(a)+do2<a21a22d=a1Arcoth(a)+do2>a21a22d=a1culo|a|+do1a2+2d=a1arcsch|a|+do{\displaystyle {\begin{aligned}\int {{\frac {1}{\sqrt {a^{2}+u^{2}}}}\,du}&=\operatorname {arsinh} \left({\frac {u}{a}}\right)+C\\\int {{\frac {1}{\sqrt {u^{2}-a^{2}}}}\,du}&=\operatorname {sgn} {u}\operatorname {arcosh} \left|{\frac {u}{a}}\right|+C\\\int {\frac {1}{a^{2}-u^{2}}}\,du&=a^{-1}\operatorname {artanh} \left({\frac {u}{a}}\right)+C&&u^{2}<a^{2}\\\int {\frac {1}{a^{2}-u^{2}}}\,du&=a^{-1}\operatorname {arcoth} \left({\frac {u}{a}}\right)+C&&u^{2}>a^{2}\\\int {{\frac {1}{u{\sqrt {a^{2}-u^{2}}}}}\,du}&=-a^{-1}\operatorname {arsech} \left|{\frac {u}{a}}\right|+C\\\int {{\frac {1}{u{\sqrt {a^{2}+u^{2}}}}}\,du}&=-a^{-1}\operatorname {arcsch} \left|{\frac {u}{a}}\right|+C\end{aligned}}}

donde C es la constante de integración .

Expresiones de la serie Taylor

Es posible expresar explícitamente la serie de Taylor en cero (o la serie de Laurent , si la función no está definida en cero) de las funciones anteriores.

sinhincógnita=incógnita+incógnita33¡+incógnita55¡+incógnita77¡+=norte=0incógnita2norte+1(2norte+1)¡{\displaystyle \sinh x=x+{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}+{\frac {x^{7}}{7!}}+\cdots =\sum _{n=0}^{\infty }{\frac {x^{2n+1}}{(2n+1)!}}} Esta serie converge para cada valor complejo de x . Dado que la función sinh x es impar , solo aparecen exponentes impares para x en su serie de Taylor.

aporrearincógnita=1+incógnita22¡+incógnita44¡+incógnita66¡+=norte=0incógnita2norte(2norte)¡{\displaystyle \cosh x=1+{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}+{\frac {x^{6}}{6!}}+\cdots =\sum _{n=0}^{\infty }{\frac {x^{2n}}{(2n)!}}} Esta serie es convergente para cada valor complejo de x . Dado que la función cosh x es par , solo aparecen exponentes pares para x en su serie de Taylor.

La suma de las series sinh y cosh es la expresión en serie infinita de la función exponencial .

Las siguientes series van seguidas de una descripción de un subconjunto de su dominio de convergencia , donde la serie es convergente y su suma es igual a la función. tanhincógnita=incógnitaincógnita33+2incógnita51517incógnita7315+=norte=122norte(22norte1)B2norteincógnita2norte1(2norte)¡,|incógnita|<π2cothincógnita=incógnita1+incógnita3incógnita345+2incógnita5945+=norte=022norteB2norteincógnita2norte1(2norte)¡,0<|incógnita|<πsechincógnita=1incógnita22+5incógnita42461incógnita6720+=norte=0mi2norteincógnita2norte(2norte)¡,|incógnita|<π2cschincógnita=incógnita1incógnita6+7incógnita336031incógnita515120+=norte=02(122norte1)B2norteincógnita2norte1(2norte)¡,0<|incógnita|<π{\displaystyle {\begin{aligned}\tanh x&=x-{\frac {x^{3}}{3}}+{\frac {2x^{5}}{15}}-{\frac {17x^{7}}{315}}+\cdots =\sum _{n=1}^{\infty }{\frac {2^{2n}(2^{2n}-1)B_{2n}x^{2n-1}}{(2n)!}},\qquad \left|x\right|<{\frac {\pi }{2}}\\\coth x&=x^{-1}+{\frac {x}{3}}-{\frac {x^{3}}{45}}+{\frac {2x^{5}}{945}}+\cdots =\sum _{n=0}^{\infty }{\frac {2^{2n}B_{2n}x^{2n-1}}{(2n)!}},\qquad 0<\left|x\right|<\pi \\\operatorname {sech} x&=1-{\frac {x^{2}}{2}}+{\frac {5x^{4}}{24}}-{\frac {61x^{6}}{720}}+\cdots =\sum _{n=0}^{\infty }{\frac {E_{2n}x^{2n}}{(2n)!}},\qquad \left|x\right|<{\frac {\pi }{2}}\\\operatorname {csch} x&=x^{-1}-{\frac {x}{6}}+{\frac {7x^{3}}{360}}-{\frac {31x^{5}}{15120}}+\cdots =\sum _{n=0}^{\infty }{\frac {2(1-2^{2n-1})B_{2n}x^{2n-1}}{(2n)!}},\qquad 0<\left|x\right|<\pi \end{aligned}}}

dónde:

Productos infinitos y fracciones continuas

Las siguientes expansiones son válidas en todo el plano complejo:

sinhincógnita=incógnitanorte=1(1+incógnita2norte2π2)=incógnita1incógnita223+incógnita223incógnita245+incógnita245incógnita267+incógnita2{\displaystyle \sinh x=x\prod _{n=1}^{\infty }\left(1+{\frac {x^{2}}{n^{2}\pi ^{2}}}\right)={\cfrac {x}{1-{\cfrac {x^{2}}{2\cdot 3+x^{2}-{\cfrac {2\cdot 3x^{2}}{4\cdot 5+x^{2}-{\cfrac {4\cdot 5x^{2}}{6\cdot 7+x^{2}-\ddots }}}}}}}}}
aporrearincógnita=norte=1(1+incógnita2(norte1/2)2π2)=11incógnita212+incógnita212incógnita234+incógnita234incógnita256+incógnita2{\displaystyle \cosh x=\prod _{n=1}^{\infty }\left(1+{\frac {x^{2}}{(n-1/2)^{2}\pi ^{2}}}\right)={\cfrac {1}{1-{\cfrac {x^{2}}{1\cdot 2+x^{2}-{\cfrac {1\cdot 2x^{2}}{3\cdot 4+x^{2}-{\cfrac {3\cdot 4x^{2}}{5\cdot 6+x^{2}-\ddots }}}}}}}}}
tanhincógnita=11incógnita+13incógnita+15incógnita+17incógnita+{\displaystyle \tanh x={\cfrac {1}{{\cfrac {1}{x}}+{\cfrac {1}{{\cfrac {3}{x}}+{\cfrac {1}{{\cfrac {5}{x}}+{\cfrac {1}{{\cfrac {7}{x}}+\ddots }}}}}}}}}

Comparación con funciones circulares

El círculo y la hipérbola tangente en (1, 1) muestran la geometría de las funciones circulares en términos del área del sector circular u y las funciones hiperbólicas que dependen del área del sector hiperbólico u .

Las funciones hiperbólicas representan una extensión de la trigonometría más allá de las funciones circulares . Ambos tipos dependen de un argumento , ya sea un ángulo circular o un ángulo hiperbólico .

Dado que el área de un sector circular con radio r y ángulo u (en radianes) es r²u / 2 , será igual a u cuando r = √2 . En el diagrama, dicho círculo es tangente a la hipérbola xy = 1 en (1, 1) . El sector amarillo representa un área y una magnitud de ángulo. De manera similar, las regiones amarilla y roja juntas representan un sector hiperbólico cuyo área corresponde a una magnitud de ángulo hiperbólico.

Los catetos de los dos triángulos rectángulos con la hipotenusa en el rayo que define los ángulos tienen una longitud de 2 veces las funciones circular e hiperbólica.

El ángulo hiperbólico es una medida invariante con respecto al mapeo de compresión , al igual que el ángulo circular es invariante bajo rotación. [ 23 ]

La función de Gudermann establece una relación directa entre las funciones circulares y las funciones hiperbólicas que no involucra números complejos.

La gráfica de la funciónaaporrear(incógnita/a){\displaystyle a\cosh(x/a)} es la catenaria , la curva formada por una cadena flexible uniforme que cuelga libremente entre dos puntos fijos bajo una gravedad uniforme.

Relación con la función exponencial

La descomposición de la función exponencial en sus partes pares e impares da las identidades miincógnita=aporrearincógnita+sinhincógnita,{\displaystyle e^{x}=\cosh x+\sinh x,} y miincógnita=aporrearincógnitasinhincógnita.{\displaystyle e^{-x}=\cosh x-\sinh x.} Combinado con la fórmula de Eulermiiincógnita=porqueincógnita+ipecadoincógnita,{\displaystyle e^{ix}=\cos x+i\sin x,} esto da miincógnita+iy=(aporrearincógnita+sinhincógnita)(porquey+ipecadoy){\displaystyle e^{x+iy}=(\cosh x+\sinh x)(\cos y+i\sin y)} para la función exponencial compleja general .

Además, miincógnita=1+tanhincógnita1tanhincógnita=1+tanhincógnita21tanhincógnita2{\displaystyle e^{x}={\sqrt {\frac {1+\tanh x}{1-\tanh x}}}={\frac {1+\tanh {\frac {x}{2}}}{1-\tanh {\frac {x}{2}}}}}

Funciones hiperbólicas para números complejos

Dado que la función exponencial puede definirse para cualquier argumento complejo , también podemos extender las definiciones de las funciones hiperbólicas a argumentos complejos. Las funciones sinh z y cosh z son entonces holomorfas .

Las relaciones con las funciones trigonométricas ordinarias vienen dadas por la fórmula de Euler para números complejos: miiincógnita=porqueincógnita+ipecadoincógnitamiiincógnita=porqueincógnitaipecadoincógnita{\displaystyle {\begin{aligned}e^{ix}&=\cos x+i\sin x\\e^{-ix}&=\cos x-i\sin x\end{aligned}}} entonces: aporrear(iincógnita)=12(miiincógnita+miiincógnita)=porqueincógnitasinh(iincógnita)=12(miiincógnitamiiincógnita)=ipecadoincógnitatanh(iincógnita)=ibroncearseincógnitaaporrear(incógnita+iy)=aporrear(incógnita)porque(y)+isinh(incógnita)pecado(y)sinh(incógnita+iy)=sinh(incógnita)porque(y)+iaporrear(incógnita)pecado(y)tanh(incógnita+iy)=tanh(incógnita)+ibroncearse(y)1+itanh(incógnita)broncearse(y)aporrearincógnita=porque(iincógnita)sinhincógnita=ipecado(iincógnita)tanhincógnita=ibroncearse(iincógnita){\displaystyle {\begin{aligned}\cosh(ix)&={\frac {1}{2}}\left(e^{ix}+e^{-ix}\right)=\cos x\\\sinh(ix)&={\frac {1}{2}}\left(e^{ix}-e^{-ix}\right)=i\sin x\\\tanh(ix)&=i\tan x\\\cosh(x+iy)&=\cosh(x)\cos(y)+i\sinh(x)\sin(y)\\\sinh(x+iy)&=\sinh(x)\cos(y)+i\cosh(x)\sin(y)\\\tanh(x+iy)&={\frac {\tanh(x)+i\tan(y)}{1+i\tanh(x)\tan(y)}}\\\cosh x&=\cos(ix)\\\sinh x&=-i\sin(ix)\\\tanh x&=-i\tan(ix)\end{aligned}}}

Por lo tanto, las funciones hiperbólicas son periódicas con respecto a la componente imaginaria, con período2πi{\displaystyle 2\pi i}(πi{\displaystyle \pi i}para la tangente hiperbólica y la cotangente).

Véase también

Referencias

  1. 1 2 3 4 Weisstein, Eric W. "Funciones hiperbólicas" . mathworld.wolfram.com . Consultado el 29 de agosto de 2020 .
  2. (1999) Diccionario conciso Collins , 4.ª edición, HarperCollins, Glasgow, ISBN 0 00 472257 4pág. 1386
  3. 1 2 Diccionario conciso Collins , pág. 328
  4. 1 2 "Funciones hiperbólicas" . www.mathsisfun.com . Consultado el 29 de agosto de 2020 .
  5. Diccionario conciso de Collins , pág. 1520
  6. Diccionario conciso de Collins , pág. 329
  7. tanh
  8. Diccionario conciso de Collins , pág. 1340
  9. Woodhouse, NMJ (2003), Relatividad especial , Londres: Springer, pág. 71, ISBN  978-1-85233-426-0
  10. Abramowitz, Milton ; Stegun, Irene A. , eds. (1972), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables , Nueva York: Dover Publications , ISBN 978-0-486-61272-0
  11. Algunos ejemplos del uso de arcsinh encontrados en Google Libros .
  12. Niven, Ivan (1985). Números irracionales . Vol. 11. Asociación Matemática de América. ISBN  9780883850381. JSTOR 10.4169/j.ctt5hh8zn . 
  13. 1 2 George F. Becker; CE Van Orstrand (1909). Funciones hiperbólicas . Biblioteca Digital Universal. La Institución Smithsoniana.
  14. 1 2 3 4 5 6 McMahon, James (1896). Funciones hiperbólicas . Universidad Osmania, Biblioteca Digital de la India. John Wiley And Sons.
  15. 1 2 3 4 Bradley, Robert E.; D'Antonio, Lawrence A.; Sandifer, Charles Edward. Euler a los 300 años: una apreciación. Asociación Matemática de América, 2007. Página 100.
  16. Becker, Georg F. Funciones hiperbólicas. Read Books, 1931. Página xlviii.
  17. NP, Bali (2005). Cálculo Integral Dorado . Firewall Media. pág. 472. ISBN  81-7008-169-6.
  18. Steeb, Willi-Hans (2005). Nonlinear Workbook, The: Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden Markov Models, Fuzzy Logic With C++, Java And Symbolicc++ Programs (3.ª ed.). World Scientific Publishing Company. p. 281. ISBN   978-981-310-648-2.Extracto de la página 281 (usando lambda=1)
  19. Oldham, Keith B.; Myland, Jan; Spanier, Jerome (2010). Un atlas de funciones: con Equator, la calculadora de funciones del atlas (2.ª ed., ilustrada). Springer Science & Business Media. pág. 290. ISBN   978-0-387-48807-3.Extracto de la página 290
  20. Osborn, G. (julio de 1902). "Mnemotecnia para fórmulas hiperbólicas" . The Mathematical Gazette . 2 (34): 189. doi : 10.2307/3602492 . JSTOR 3602492. S2CID 125866575 .  
  21. Audibert, Jean-Yves (2009). "Tasas de aprendizaje rápidas en inferencia estadística mediante agregación". Anales de Estadística. pág. 1627. 
  22. Olver, Frank WJ ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., eds. (2010), "Funciones hiperbólicas" , NIST Handbook of Mathematical Functions , Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .
  23. Haskell, Mellen W. , "Sobre la introducción de la noción de funciones hiperbólicas", Bulletin of the American Mathematical Society 1 :6:155–9, texto completo