Em matemática , as funções hiperbólicas são análogas às funções trigonométricas comuns, mas definidas usando a hipérbole em vez do círculo . Assim como os pontos (cos t , sin t ) formam um círculo com raio unitário , os pontos (cosh t , sinh t ) formam a metade direita da hipérbole unitária. Além disso, similarmente a como as derivadas de sin(t ) e cos(t ) são cos(t ) e –sin(t ) respectivamente, as derivadas de sinh(t ) e cosh(t ) são cosh(t ) e sinh(t ) respectivamente.
As funções hiperbólicas são usadas para expressar o ângulo de paralelismo na geometria hiperbólica . São usadas para expressar boosts de Lorentz como rotações hiperbólicas na relatividade restrita . Também ocorrem nas soluções de muitas equações diferenciais lineares (como a equação que define uma catenária ), equações cúbicas e a equação de Laplace em coordenadas cartesianas . As equações de Laplace são importantes em muitas áreas da física , incluindo a teoria eletromagnética , transferência de calor e dinâmica dos fluidos .
As funções hiperbólicas básicas são:[ 1]
a partir das quais são derivadas:[ 4]
correspondentes às funções trigonométricas derivadas.
As funções hiperbólicas inversas são:
arco seno hiperbólico "arsinh " (também denotado "sinh−1 ", "asinh " ou às vezes "arcsinh ")[ 9] [ 10] [ 11]
arco cosseno hiperbólico "arcosh " (também denotado "cosh−1 ", "acosh " ou às vezes "arccosh ")
arco tangente hiperbólica "artanh " (também denotado "tanh−1 ", "atanh " ou às vezes "arctanh ")
arco cotangente hiperbólica "arcoth " (também denotado "coth−1 ", "acoth " ou às vezes "arccoth ")
arco secante hiperbólica "arsech " (também denotado "sech−1 ", "asech " ou às vezes "arcsech ")
arco cossecante hiperbólica "arcsch " (também denotado "arcosech ", "csch−1 ", "cosech−1 ", "acsch ", "acosech ", ou às vezes "arccsch " ou "arccosech ")
Um raio através da hipérbole unitária x 2 − y 2 = 1 no ponto (cosh a , sinh a ) , onde a é o dobro da área entre o raio, a hipérbole e o eixo x . Para pontos na hipérbole abaixo do eixo x , a área é considerada negativa (veja a versão animada com comparação com as funções trigonométricas (circulares)).
As funções hiperbólicas tomam um argumento chamado ângulo hiperbólico . A magnitude de um ângulo hiperbólico é a área de seu setor hiperbólico em relação a xy = 1 . As funções hiperbólicas podem ser definidas em termos dos catetos de um triângulo retângulo que cobre esse setor.
Em análise complexa , as funções hiperbólicas surgem quando se aplicam as funções seno e cosseno comuns a um ângulo imaginário. O seno hiperbólico e o cosseno hiperbólico são funções inteiras . Como resultado, as outras funções hiperbólicas são meromorfas em todo o plano complexo.
Pelo teorema de Lindemann–Weierstrass , as funções hiperbólicas têm um valor transcendente para todo valor algébrico não nulo do argumento.[ 12]
História
editar
O primeiro cálculo conhecido de um problema de trigonometria hiperbólica é atribuído a Gerardus Mercator ao publicar a projeção cartográfica de Mercator por volta de 1566. Isso exigia a tabulação de soluções para uma equação transcendente envolvendo funções hiperbólicas.[ 13]
O primeiro a sugerir uma semelhança entre o setor do círculo e o da hipérbole foi Isaac Newton em seu Principia Mathematica de 1687.[ 14]
Roger Cotes sugeriu modificar as funções trigonométricas usando a unidade imaginária
i
=
−
1
{\displaystyle i={\sqrt {-1}}}
para obter um esferoide oblato a partir de um prolato.[ 14]
As funções hiperbólicas foram formalmente introduzidas em 1757 por Vincenzo Riccati .[ 14] [ 13] [ 15] Riccati usou Sc. e Cc. (sinus/cosinus circulare ) para se referir às funções circulares e Sh. e Ch. (sinus/cosinus hyperbolico ) para se referir às funções hiperbólicas.[ 14] Já em 1759, Daviet de Foncenex mostrou a intercambialidade das funções trigonométricas e hiperbólicas usando a unidade imaginária e estendeu a fórmula de de Moivre para funções hiperbólicas.[ 15] [ 14]
Durante a década de 1760, Johann Heinrich Lambert sistematizou o uso das funções e forneceu expressões exponenciais em várias publicações.[ 14] [ 15] Lambert creditou Riccati pela terminologia e nomes das funções, mas alterou as abreviações para as usadas atualmente.[ 15] [ 16]
Notação
editar
Definições
editar
Triângulos retângulos com catetos proporcionais a sinh e cosh
Com o ângulo hiperbólico u , as funções hiperbólicas sinh e cosh podem ser definidas com a função exponencial eu .[ 1] [ 4] Na figura
A
=
(
e
−
u
,
e
u
)
,
B
=
(
e
u
,
e
−
u
)
,
O
A
+
O
B
=
O
C
{\displaystyle A=(e^{-u},e^{u}),\ B=(e^{u},\ e^{-u}),\ OA+OB=OC}
.
Definições exponenciais
editar
sinh x é metade da diferença de ex e e −x
cosh x é a média de ex e e −x
Seno hiperbólico: a parte ímpar da função exponencial, isto é,
sinh
x
=
e
x
−
e
−
x
2
=
e
2
x
−
1
2
e
x
.
{\displaystyle \sinh x={\frac {e^{x}-e^{-x}}{2}}={\frac {e^{2x}-1}{2e^{x}}}.}
Cosseno hiperbólico: a parte par da função exponencial, isto é,
cosh
x
=
e
x
+
e
−
x
2
=
e
2
x
+
1
2
e
x
.
{\displaystyle \cosh x={\frac {e^{x}+e^{-x}}{2}}={\frac {e^{2x}+1}{2e^{x}}}.}
sinh , cosh e tanh
csch , sech e coth
Tangente hiperbólica:
tanh
x
=
sinh
x
cosh
x
=
e
x
−
e
−
x
e
x
+
e
−
x
=
e
2
x
−
1
e
2
x
+
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 ,
coth
x
=
cosh
x
sinh
x
=
e
x
+
e
−
x
e
x
−
e
−
x
=
e
2
x
+
1
e
2
x
−
1
.
{\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:
sech
x
=
1
cosh
x
=
2
e
x
+
e
−
x
=
2
e
x
e
2
x
+
1
.
{\displaystyle \operatorname {sech} x={\frac {1}{\cosh x}}={\frac {2}{e^{x}+e^{-x}}}={\frac {2e^{x}}{e^{2x}+1}}.}
Cossecante hiperbólica: para x ≠ 0 ,
csch
x
=
1
sinh
x
=
2
e
x
−
e
−
x
=
2
e
x
e
2
x
−
1
.
{\displaystyle \operatorname {csch} x={\frac {1}{\sinh x}}={\frac {2}{e^{x}-e^{-x}}}={\frac {2e^{x}}{e^{2x}-1}}.}
Definições por equações diferenciais
editar
As funções hiperbólicas podem ser definidas como soluções de equações diferenciais : o seno e o cosseno hiperbólicos são a solução (s , c ) do sistema
c
′
(
x
)
=
s
(
x
)
,
s
′
(
x
)
=
c
(
x
)
,
{\displaystyle {\begin{aligned}c'(x)&=s(x),\\s'(x)&=c(x),\\\end{aligned}}}
com as condições iniciais
s
(
0
)
=
0
,
c
(
0
)
=
1.
{\displaystyle s(0)=0,c(0)=1.}
As condições iniciais tornam a solução única; sem elas, qualquer par de funções
(
a
e
x
+
b
e
−
x
,
a
e
x
−
b
e
−
x
)
{\displaystyle (ae^{x}+be^{-x},ae^{x}-be^{-x})}
seria uma solução.
sinh(x ) e cosh(x ) são também a solução única da equação f ″(x ) = f (x ) ,
tal que f (0) = 1 , f ′(0) = 0 para o cosseno hiperbólico, e f (0) = 0 , f ′(0) = 1 para o seno hiperbólico.
Definições trigonométricas complexas
editar
As funções hiperbólicas também podem ser deduzidas a partir de funções trigonométricas com argumentos complexos :
Seno hiperbólico:[ 1]
sinh
x
=
−
i
sin
(
i
x
)
.
{\displaystyle \sinh x=-i\sin(ix).}
Cosseno hiperbólico:[ 1]
cosh
x
=
cos
(
i
x
)
.
{\displaystyle \cosh x=\cos(ix).}
Tangente hiperbólica:
tanh
x
=
−
i
tan
(
i
x
)
.
{\displaystyle \tanh x=-i\tan(ix).}
Cotangente hiperbólica:
coth
x
=
i
cot
(
i
x
)
.
{\displaystyle \coth x=i\cot(ix).}
Secante hiperbólica:
sech
x
=
sec
(
i
x
)
.
{\displaystyle \operatorname {sech} x=\sec(ix).}
Cossecante hiperbólica:
csch
x
=
i
csc
(
i
x
)
.
{\displaystyle \operatorname {csch} x=i\csc(ix).}
onde i é a unidade imaginária com i 2 = −1 .
As definições acima estão relacionadas às definições exponenciais via fórmula de Euler (veja a seção § Funções hiperbólicas para números complexos abaixo).
Propriedades características
editar
Cosseno hiperbólico
editar
Pode-se mostrar que a área sob a curva do cosseno hiperbólico (sobre um intervalo finito) é sempre igual ao comprimento de arco correspondente a esse intervalo:[ 17]
área
=
∫
a
b
cosh
x
d
x
=
∫
a
b
1
+
(
d
d
x
cosh
x
)
2
d
x
=
comprimento 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{comprimento de arco.}}}
Tangente hiperbólica
editar
A tangente hiperbólica é a solução (única) da equação diferencial f ′ = 1 − f 2 , com f (0) = 0 .[ 18] [ 19]
Relações úteis
editar
As funções hiperbólicas satisfazem muitas identidades, todas semelhantes em forma às identidades trigonométricas . De fato, a regra de Osborn [ 20] (em homenagem a George Osborn) afirma que se pode converter qualquer identidade trigonométrica (até, mas não incluindo, sinhs ou sinhs implícitos de quarto grau) para
θ
{\displaystyle \theta }
,
2
θ
{\displaystyle 2\theta }
,
3
θ
{\displaystyle 3\theta }
ou
θ
{\displaystyle \theta }
e
φ
{\displaystyle \varphi }
em uma identidade hiperbólica, por:
expandindo-a completamente em potências integrais de senos e cossenos,
mudando seno para sinh e cosseno para cosh, e
trocando o sinal de cada termo contendo um produto de dois sinhs.
Funções ímpares e pares :
sinh
(
−
x
)
=
−
sinh
x
cosh
(
−
x
)
=
cosh
x
tanh
(
−
x
)
=
−
tanh
x
coth
(
−
x
)
=
−
coth
x
sech
(
−
x
)
=
sech
x
csch
(
−
x
)
=
−
csch
x
{\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íprocas:
arsech
x
=
arcosh
(
1
x
)
arcsch
x
=
arsinh
(
1
x
)
arcoth
x
=
artanh
(
1
x
)
{\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álogas à fórmula de Euler :
cosh
x
+
sinh
x
=
e
x
cosh
x
−
sinh
x
=
e
−
x
{\displaystyle {\begin{aligned}\cosh x+\sinh x&=e^{x}\\\cosh x-\sinh x&=e^{-x}\end{aligned}}}
Análogas à identidade trigonométrica pitagórica:
cosh
2
x
−
sinh
2
x
=
1
1
−
tanh
2
x
=
sech
2
x
coth
2
x
−
1
=
csch
2
x
{\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}}}
Somas e diferenças de argumentos
editar
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
)
=
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
)
=
tanh
x
−
tanh
y
1
−
tanh
x
tanh
y
{\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
cosh
(
2
x
)
=
sinh
2
x
+
cosh
2
x
=
2
sinh
2
x
+
1
=
2
cosh
2
x
−
1
sinh
(
2
x
)
=
2
sinh
x
cosh
x
tanh
(
2
x
)
=
2
tanh
x
1
+
tanh
2
x
{\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}}}
editar
sinh
x
+
sinh
y
=
2
sinh
(
x
+
y
2
)
cosh
(
x
−
y
2
)
cosh
x
+
cosh
y
=
2
cosh
(
x
+
y
2
)
cosh
(
x
−
y
2
)
sinh
x
−
sinh
y
=
2
cosh
(
x
+
y
2
)
sinh
(
x
−
y
2
)
cosh
x
−
cosh
y
=
2
sinh
(
x
+
y
2
)
sinh
(
x
−
y
2
)
{\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}}}
editar
cosh
x
cosh
y
=
1
2
(
cosh
(
x
+
y
)
+
cosh
(
x
−
y
)
)
sinh
x
sinh
y
=
1
2
(
cosh
(
x
+
y
)
−
cosh
(
x
−
y
)
)
sinh
x
cosh
y
=
1
2
(
sinh
(
x
+
y
)
+
sinh
(
x
−
y
)
)
cosh
x
sinh
y
=
1
2
(
sinh
(
x
+
y
)
−
sinh
(
x
−
y
)
)
{\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}}}
editar
sinh
(
x
2
)
=
sinh
x
2
(
cosh
x
+
1
)
=
sgn
x
cosh
x
−
1
2
cosh
(
x
2
)
=
cosh
x
+
1
2
tanh
(
x
2
)
=
sinh
x
cosh
x
+
1
=
sgn
x
cosh
x
−
1
cosh
x
+
1
=
e
x
−
1
e
x
+
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}}}
onde sgn é a função sinal .
Se x ≠ 0 , então
tanh
(
x
2
)
=
cosh
x
−
1
sinh
x
=
coth
x
−
csch
x
{\displaystyle \tanh \left({\frac {x}{2}}\right)={\frac {\cosh x-1}{\sinh x}}=\coth x-\operatorname {csch} x}
editar
Quando
t
=
tanh
(
x
2
)
{\displaystyle t=\tanh \left({\frac {x}{2}}\right)}
,
sinh
x
=
2
t
1
−
t
2
,
cosh
x
=
1
+
t
2
1
−
t
2
,
tanh
x
=
2
t
1
+
t
2
,
coth
x
=
1
+
t
2
2
t
,
sech
x
=
1
−
t
2
1
+
t
2
,
csch
x
=
1
−
t
2
2
t
.
{\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}}}
editar
sinh
2
x
=
1
2
(
cosh
2
x
−
1
)
cosh
2
x
=
1
2
(
cosh
2
x
+
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
editar
A seguinte desigualdade é útil em estatística:[ 21]
cosh
(
t
)
≤
e
t
2
/
2
.
{\displaystyle \operatorname {cosh} (t)\leq e^{t^{2}/2}.}
Pode ser provada comparando as séries de Taylor das duas funções termo a termo.
Funções inversas como logaritmos
editar
arsinh
(
x
)
=
ln
(
x
+
x
2
+
1
)
arcosh
(
x
)
=
ln
(
x
+
x
2
−
1
)
x
≥
1
artanh
(
x
)
=
1
2
ln
(
1
+
x
1
−
x
)
|
x
|
<
1
arcoth
(
x
)
=
1
2
ln
(
x
+
1
x
−
1
)
|
x
|
>
1
arsech
(
x
)
=
ln
(
1
x
+
1
x
2
−
1
)
=
ln
(
1
+
1
−
x
2
x
)
0
<
x
≤
1
arcsch
(
x
)
=
ln
(
1
x
+
1
x
2
+
1
)
x
≠
0
{\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}}}
Derivadas
editar
d
d
x
sinh
x
=
cosh
x
d
d
x
cosh
x
=
sinh
x
d
d
x
tanh
x
=
1
−
tanh
2
x
=
sech
2
x
=
1
cosh
2
x
d
d
x
coth
x
=
1
−
coth
2
x
=
−
csch
2
x
=
−
1
sinh
2
x
x
≠
0
d
d
x
sech
x
=
−
tanh
x
sech
x
d
d
x
csch
x
=
−
coth
x
csch
x
x
≠
0
{\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}}}
d
d
x
arsinh
x
=
1
x
2
+
1
d
d
x
arcosh
x
=
1
x
2
−
1
1
<
x
d
d
x
artanh
x
=
1
1
−
x
2
|
x
|
<
1
d
d
x
arcoth
x
=
1
1
−
x
2
1
<
|
x
|
d
d
x
arsech
x
=
−
1
x
1
−
x
2
0
<
x
<
1
d
d
x
arcsch
x
=
−
1
|
x
|
1
+
x
2
x
≠
0
{\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
editar
Cada uma das funções sinh e cosh é igual à sua segunda derivada , isto é:
d
2
d
x
2
sinh
x
=
sinh
x
{\displaystyle {\frac {d^{2}}{dx^{2}}}\sinh x=\sinh x}
d
2
d
x
2
cosh
x
=
cosh
x
.
{\displaystyle {\frac {d^{2}}{dx^{2}}}\cosh x=\cosh x\,.}
Todas as funções com esta propriedade são combinações lineares de sinh e cosh , em particular as funções exponenciais
e
x
{\displaystyle e^{x}}
e
e
−
x
{\displaystyle e^{-x}}
.[ 22]
Integrais padrão
editar
∫
sinh
(
a
x
)
d
x
=
a
−
1
cosh
(
a
x
)
+
C
∫
cosh
(
a
x
)
d
x
=
a
−
1
sinh
(
a
x
)
+
C
∫
tanh
(
a
x
)
d
x
=
a
−
1
ln
(
cosh
(
a
x
)
)
+
C
∫
coth
(
a
x
)
d
x
=
a
−
1
ln
|
sinh
(
a
x
)
|
+
C
∫
sech
(
a
x
)
d
x
=
a
−
1
arctan
(
sinh
(
a
x
)
)
+
C
∫
csch
(
a
x
)
d
x
=
a
−
1
ln
|
tanh
(
a
x
2
)
|
+
C
=
a
−
1
ln
|
coth
(
a
x
)
−
csch
(
a
x
)
|
+
C
=
−
a
−
1
arcoth
(
cosh
(
a
x
)
)
+
C
{\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}}}
As seguintes integrais podem ser provadas usando substituição hiperbólica:
∫
1
a
2
+
u
2
d
u
=
arsinh
(
u
a
)
+
C
∫
1
u
2
−
a
2
d
u
=
sgn
u
arcosh
|
u
a
|
+
C
∫
1
a
2
−
u
2
d
u
=
a
−
1
artanh
(
u
a
)
+
C
u
2
<
a
2
∫
1
a
2
−
u
2
d
u
=
a
−
1
arcoth
(
u
a
)
+
C
u
2
>
a
2
∫
1
u
a
2
−
u
2
d
u
=
−
a
−
1
arsech
|
u
a
|
+
C
∫
1
u
a
2
+
u
2
d
u
=
−
a
−
1
arcsch
|
u
a
|
+
C
{\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}}}
onde C é a constante de integração.
Expressões em série de Taylor
editar
É possível expressar explicitamente a série de Taylor em zero (ou a série de Laurent , se a função não for definida em zero) das funções acima.
sinh
x
=
x
+
x
3
3
!
+
x
5
5
!
+
x
7
7
!
+
⋯
=
∑
n
=
0
∞
x
2
n
+
1
(
2
n
+
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 série é convergente para todo valor complexo de x . Como a função sinh x é ímpar , apenas expoentes ímpares de x ocorrem em sua série de Taylor.
cosh
x
=
1
+
x
2
2
!
+
x
4
4
!
+
x
6
6
!
+
⋯
=
∑
n
=
0
∞
x
2
n
(
2
n
)
!
{\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 série é convergente para todo valor complexo de x . Como a função cosh x é par , apenas expoentes pares de x ocorrem em sua série de Taylor.
A soma das séries de sinh e cosh é a expressão em série infinita da função exponencial .
As seguintes séries são seguidas por uma descrição de um subconjunto de seu domínio de convergência, onde a série é convergente e sua soma é igual à função.
tanh
x
=
x
−
x
3
3
+
2
x
5
15
−
17
x
7
315
+
⋯
=
∑
n
=
1
∞
2
2
n
(
2
2
n
−
1
)
B
2
n
x
2
n
−
1
(
2
n
)
!
,
|
x
|
<
π
2
coth
x
=
x
−
1
+
x
3
−
x
3
45
+
2
x
5
945
+
⋯
=
∑
n
=
0
∞
2
2
n
B
2
n
x
2
n
−
1
(
2
n
)
!
,
0
<
|
x
|
<
π
sech
x
=
1
−
x
2
2
+
5
x
4
24
−
61
x
6
720
+
⋯
=
∑
n
=
0
∞
E
2
n
x
2
n
(
2
n
)
!
,
|
x
|
<
π
2
csch
x
=
x
−
1
−
x
6
+
7
x
3
360
−
31
x
5
15120
+
⋯
=
∑
n
=
0
∞
2
(
1
−
2
2
n
−
1
)
B
2
n
x
2
n
−
1
(
2
n
)
!
,
0
<
|
x
|
<
π
{\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}}}
onde:
Produtos infinitos e frações contínuas
editar
As seguintes expansões são válidas em todo o plano complexo:
sinh
x
=
x
∏
n
=
1
∞
(
1
+
x
2
n
2
π
2
)
=
x
1
−
x
2
2
⋅
3
+
x
2
−
2
⋅
3
x
2
4
⋅
5
+
x
2
−
4
⋅
5
x
2
6
⋅
7
+
x
2
−
⋱
{\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 }}}}}}}}}
cosh
x
=
∏
n
=
1
∞
(
1
+
x
2
(
n
−
1
/
2
)
2
π
2
)
=
1
1
−
x
2
1
⋅
2
+
x
2
−
1
⋅
2
x
2
3
⋅
4
+
x
2
−
3
⋅
4
x
2
5
⋅
6
+
x
2
−
⋱
{\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 }}}}}}}}}
tanh
x
=
1
1
x
+
1
3
x
+
1
5
x
+
1
7
x
+
⋱
{\displaystyle \tanh x={\cfrac {1}{{\cfrac {1}{x}}+{\cfrac {1}{{\cfrac {3}{x}}+{\cfrac {1}{{\cfrac {5}{x}}+{\cfrac {1}{{\cfrac {7}{x}}+\ddots }}}}}}}}}
editar
Círculo e hipérbole tangentes em (1, 1) exibem a geometria das funções circulares em termos da área do setor circular u e das funções hiperbólicas dependendo da área do setor hiperbólico u .
As funções hiperbólicas representam uma expansão da trigonometria além das funções circulares. Ambos os tipos dependem de um argumento , seja ângulo circular ou ângulo hiperbólico .
Como a área de um setor circular com raio r e ângulo u (em radianos) é r 2 u /2 , será igual a u quando r = √2 . No diagrama, tal círculo é tangente à hipérbole xy = 1 em (1, 1) . O setor amarelo representa uma área e magnitude angular. Da mesma forma, as regiões amarela e vermelha juntas representam um setor hiperbólico com área correspondente à magnitude do ângulo hiperbólico.
Os catetos dos dois triângulos retângulos com a hipotenusa no raio que define os ângulos têm comprimento √2 vezes as funções circulares e hiperbólicas.
O ângulo hiperbólico é uma medida invariante em relação ao mapeamento de contração, assim como o ângulo circular é invariante sob rotação.[ 23]
A função de Gudermann fornece uma relação direta entre as funções circulares e as funções hiperbólicas que não envolve números complexos.
O gráfico da função
a
cosh
(
x
/
a
)
{\displaystyle a\cosh(x/a)}
é a catenária , a curva formada por uma corrente flexível uniforme, pendurada livremente entre dois pontos fixos sob gravidade uniforme.
editar
A decomposição da função exponencial em suas partes par e ímpar fornece as identidades
e
x
=
cosh
x
+
sinh
x
,
{\displaystyle e^{x}=\cosh x+\sinh x,}
e
e
−
x
=
cosh
x
−
sinh
x
.
{\displaystyle e^{-x}=\cosh x-\sinh x.}
Combinada com a fórmula de Euler
e
i
x
=
cos
x
+
i
sin
x
,
{\displaystyle e^{ix}=\cos x+i\sin x,}
isto fornece
e
x
+
i
y
=
(
cosh
x
+
sinh
x
)
(
cos
y
+
i
sin
y
)
{\displaystyle e^{x+iy}=(\cosh x+\sinh x)(\cos y+i\sin y)}
para a função exponencial complexa geral.
Além disso,
e
x
=
1
+
tanh
x
1
−
tanh
x
=
1
+
tanh
x
2
1
−
tanh
x
2
{\displaystyle e^{x}={\sqrt {\frac {1+\tanh x}{1-\tanh x}}}={\frac {1+\tanh {\frac {x}{2}}}{1-\tanh {\frac {x}{2}}}}}
Funções hiperbólicas para números complexos
editar
Funções hiperbólicas no plano complexo
sinh
(
z
)
{\displaystyle \sinh(z)}
cosh
(
z
)
{\displaystyle \cosh(z)}
tanh
(
z
)
{\displaystyle \tanh(z)}
coth
(
z
)
{\displaystyle \coth(z)}
sech
(
z
)
{\displaystyle \operatorname {sech} (z)}
csch
(
z
)
{\displaystyle \operatorname {csch} (z)}
Como a função exponencial pode ser definida para qualquer argumento complexo , podemos também estender as definições das funções hiperbólicas para argumentos complexos. As funções sinh z e cosh z são então holomorfas .
As relações com as funções trigonométricas comuns são dadas pela fórmula de Euler para números complexos:
e
i
x
=
cos
x
+
i
sin
x
e
−
i
x
=
cos
x
−
i
sin
x
{\displaystyle {\begin{aligned}e^{ix}&=\cos x+i\sin x\\e^{-ix}&=\cos x-i\sin x\end{aligned}}}
assim:
cosh
(
i
x
)
=
1
2
(
e
i
x
+
e
−
i
x
)
=
cos
x
sinh
(
i
x
)
=
1
2
(
e
i
x
−
e
−
i
x
)
=
i
sin
x
tanh
(
i
x
)
=
i
tan
x
cosh
(
x
+
i
y
)
=
cosh
(
x
)
cos
(
y
)
+
i
sinh
(
x
)
sin
(
y
)
sinh
(
x
+
i
y
)
=
sinh
(
x
)
cos
(
y
)
+
i
cosh
(
x
)
sin
(
y
)
tanh
(
x
+
i
y
)
=
tanh
(
x
)
+
i
tan
(
y
)
1
+
i
tanh
(
x
)
tan
(
y
)
cosh
x
=
cos
(
i
x
)
sinh
x
=
−
i
sin
(
i
x
)
tanh
x
=
−
i
tan
(
i
x
)
{\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}}}
Assim, as funções hiperbólicas são periódicas em relação à componente imaginária, com período
2
π
i
{\displaystyle 2\pi i}
(
π
i
{\displaystyle \pi i}
para a tangente e cotangente hiperbólicas).
Ver também
editar
Referências
editar
↑ a b c d Weisstein, Eric W. «Hyperbolic Functions» . mathworld.wolfram.com (em inglês). Consultado em 29 de agosto de 2020
↑ (1999) Collins Concise Dictionary , 4th edition, HarperCollins, Glasgow, ISBN 0 00 472257 4 , p. 1386
↑ a b Collins Concise Dictionary , p. 328
↑ a b «Hyperbolic Functions» . www.mathsisfun.com . Consultado em 29 de agosto de 2020
↑ Collins Concise Dictionary , p. 1520
↑ Collins Concise Dictionary , p. 329
↑ tanh
↑ Collins Concise Dictionary , p. 1340
↑ Woodhouse, N. M. J. (2003). Special Relativity . Londres: Springer. p. 71. ISBN 978-1-85233-426-0
↑ Abramowitz, Milton ; Stegun, Irene A. , eds. (1972). Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables . Nova Iorque: Dover Publications . ISBN 978-0-486-61272-0
↑ Some examples of using arcsinh found in Google Books .
↑ Niven, Ivan (1985). Irrational Numbers . 11 . [S.l.]: Mathematical Association of America. ISBN 9780883850381 . JSTOR 10.4169/j.ctt5hh8zn
↑ a b George F. Becker; C. E. Van Orstrand (1909). Hyperbolic Functions . Universal Digital Library. [S.l.]: The Smithsonian Institution
↑ a b c d e f McMahon, James (1896). Hyperbolic Functions . Osmania University, Digital Library Of India. [S.l.]: John Wiley And Sons
↑ a b c d Bradley, Robert E.; D'Antonio, Lawrence A.; Sandifer, Charles Edward. Euler at 300: an appreciation. Mathematical Association of America, 2007. Page 100.
↑ Becker, Georg F. Hyperbolic functions. Read Books, 1931. Page xlviii.
↑ N.P., Bali (2005). Golden Integral Calculus . [S.l.]: Firewall Media. p. 472. ISBN 81-7008-169-6
↑ 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. [S.l.]: World Scientific Publishing Company. p. 281. ISBN 978-981-310-648-2 Extract of page 281 (using lambda=1)
↑ Oldham, Keith B.; Myland, Jan; Spanier, Jerome (2010). An Atlas of Functions: with Equator, the Atlas Function Calculator 2ª, ilustrada ed. [S.l.]: Springer Science & Business Media. p. 290. ISBN 978-0-387-48807-3 Extract of page 290
↑ Osborn, G. (julho de 1902). «Mnemonic for hyperbolic formulae» . The Mathematical Gazette . 2 (34): 189. JSTOR 3602492 . doi :10.2307/3602492
↑ Audibert, Jean-Yves (2009). «Fast learning rates in statistical inference through aggregation». The Annals of Statistics. p. 1627 [1]
↑ Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., eds. (2010). «Função hiperbólica» . NIST Handbook of Mathematical Functions . [S.l.]: Cambridge University Press. ISBN 978-0-521-19225-5 . MR 2723248
↑ Haskell, Mellen W. , "On the introduction of the notion of hyperbolic functions", Bulletin of the American Mathematical Society 1 :6:155–9, full text
Ligações externas
editar