Funcións hiperbólicas inversas

Gráficas das funcións hiperbólicas inversas.

As funcións hiperbólicas Modelo:Math, Modelo:Math e Modelo:Math en relación a unha hipérbole unitaria son análogas ás funcións circulares Modelo:Math, Modelo:Math, Modelo:Math en relación á circunferencia unitaria. O argumento das funcións hiperbólicas é unha medida de ángulo hiperbólico.

En matemáticas, as funcións hiperbólicas inversas son as funcións inversas das funcións hiperbólicas, análogas ás funcións trigonométricas inversas. Hai seis de uso común: seno hiperbólico inverso, coseno hiperbólico inverso, tanxente hiperbólica inversa, cosecante hiperbólica inversa, secante hiperbólica inversa e cotanxente hiperbólica inversa. Denomínanse habitualmente polos símbolos das funcións hiperbólicas, con prefixo arc ou ar, ou cun superíndice $-1$ (como en ${\sinh }^{-1}$).

Para un valor dado dunha función hiperbólica, a función hiperbólica inversa proporciona o correspondente ángulo hiperbólico, por exemplo, $\mathrm{arsinh}(\sinh a)=a$ e $\sinh (\mathrm{arsinh}x)=x.$ A medida do ángulo hiperbólico é a lonxitude do arco dunha hipérbole unitaria $x^2-y^2=1$ medida no plano de Lorentz (non a lonxitude dun arco hiperbólico no plano euclidiano) e dúas veces a área do sector hiperbólico correspondente. Tamén, o ángulo hiperbólico é a área dun sector da hipérbole $xy=1.$ Algúns autores chaman ás funcións hiperbólicas inversas funcións de área hiperbólica.

As funcións hiperbólicas ocorren no cálculo de ángulos e distancias en xeometría hiperbólica. Tamén ocorren nas solucións de moitas ecuacións diferenciais lineares (como a ecuación que define unha catenaria), ecuacións cúbicas e ecuación de Laplace en Coordenadas cartesianas.

Notación

Un raio a través da hipérbole unitaria $x^2-y^2=1$ no punto $(\cosh a,\sinh a)$, onde $a$ é o dobre da área entre o raio, a hipérbole e o eixo $x$.

Os símbolos máis antigos e máis adoptados usan o prefixo arc (é dicir: Modelo:Math, Modelo:Math, Modelo:Math, Modelo:Math, Modelo:Math, Modelo:Math), por analoxía coas funcións trigonométricas inversas (Modelo:Math, etc.).

Tamén é común a notación ${\sinh }^{-1},$ ${\cosh }^{-1},$ etc., aínda que hai que ter coidado de evitar interpretacións erróneas do superíndice −1 como expoñente. A convención estándar é que ${\sinh }^{-1}x$ ou ${\sinh }^{-1}(x)$ significa a función inversa mentres que $(\sinh x{)}^{-1}$ ou $\sinh (x{)}^{-1}$ significa o inverso multiplicativo $1/\sinh x$.

${\sinh }^{2}x$ significa convencionalmente $(\sinh x{)}^2$ e non $\sinh (\sinh x).$

As abreviaturas estándar ISO 80000-2 usan o prefixo ar (é dicir: Modelo:Math, Modelo:Math, Modelo:Math, Modelo:Math, Modelo:Math, Modelo:Math).

Nas linguaxes de programación informática, as funcións circulares inversas e hiperbólicas adoitan nomearse co prefixo máis curto a (Modelo:Math, etc.).

Este artigo adoptará coherentemente o prefixo ar por comodidade.

Definicións en termos de logaritmos

Dado que as funcións hiperbólicas son funcións racionais cadráticas da función exponencial $\exp x$, pódense resolver mediante a fórmula cadrática e despois escribirse en termos do logaritmo natural.

$\begin{array}{cccc}\mathrm{arsinh}x& =\ln (x+\sqrt{x^2+1})& -\mathrm{\infty }& <x<\mathrm{\infty },\\ \mathrm{arcosh}x& =\ln (x+\sqrt{x^2-1})& 1& \le x<\mathrm{\infty },\\ \mathrm{artanh}x& =\frac{1}{2}\ln \frac{1+x}{1-x}& -1& <x<1,\\ \mathrm{arcsch}x& =\ln (\frac{1}{x}+\sqrt{\frac{1}{x^2}+1})& -\mathrm{\infty }& <x<\mathrm{\infty },x\ne 0,\\ \mathrm{arsech}x& =\ln (\frac{1}{x}+\sqrt{\frac{1}{x^2}-1})& 0& <x\le 1,\\ \mathrm{arcoth}x& =\frac{1}{2}\ln \frac{x+1}{x-1}& -\mathrm{\infty }& <x<-1\text{or}1<x<\mathrm{\infty }.\end{array}$

Para os argumentos complexos, as funcións circulares inversas e hiperbólicas inversas, a raíz cadrada e o logaritmo natural son todas funcións multivaloradas.

Fórmulas de suma

$\mathrm{arsinh}u\pm \mathrm{arsinh}v=\mathrm{arsinh}(u\sqrt{1+v^2}\pm v\sqrt{1+u^2})$

$\mathrm{arcosh}u\pm \mathrm{arcosh}v=\mathrm{arcosh}(uv\pm \sqrt{(u^2-1)(v^2-1)})$

$\mathrm{artanh}u\pm \mathrm{artanh}v=\mathrm{artanh}\left(\frac{u\pm v}{1\pm uv}\right)$

$\mathrm{arcoth}u\pm \mathrm{arcoth}v=\mathrm{arcoth}\left(\frac{1\pm uv}{u\pm v}\right)$

$\begin{array}{cc}\mathrm{arsinh}u+\mathrm{arcosh}v& =\mathrm{arsinh}(uv+\sqrt{(1+u^2)(v^2-1)})\\ & =\mathrm{arcosh}(v\sqrt{1+u^2}+u\sqrt{v^2-1})\end{array}$

Outras identidades

$\begin{array}{ccc}2\mathrm{arcosh}x& =\mathrm{arcosh}(2x^2-1)& \text{ para }x\ge 1\\ 4\mathrm{arcosh}x& =\mathrm{arcosh}(8x^4-8x^2+1)& \text{ para }x\ge 1\\ 2\mathrm{arsinh}x& =\pm \mathrm{arcosh}(2x^2+1)\\ 4\mathrm{arsinh}x& =\mathrm{arcosh}(8x^4+8x^2+1)& \text{ para }x\ge 0\end{array}$

$\ln (x)=\mathrm{arcosh}\left(\frac{x^2+1}{2x}\right)=\mathrm{arsinh}\left(\frac{x^2-1}{2x}\right)=\mathrm{artanh}\left(\frac{x^2-1}{x^2+1}\right)$

Composición de funcións hiperbólicas e hiperbólicas inversas

$\begin{array}{cc}& \sinh (\mathrm{arcosh}x)=\sqrt{x^2-1}\text{para}|x|>1\\ & \sinh (\mathrm{artanh}x)=\frac{x}{\sqrt{1-x^2}}\text{para}-1<x<1\\ & \cosh (\mathrm{arsinh}x)=\sqrt{1+x^2}\\ & \cosh (\mathrm{artanh}x)=\frac{1}{\sqrt{1-x^2}}\text{para}-1<x<1\\ & \tanh (\mathrm{arsinh}x)=\frac{x}{\sqrt{1+x^2}}\\ & \tanh (\mathrm{arcosh}x)=\frac{\sqrt{x^2-1}}{x}\text{para}|x|>1\end{array}$

Composición de funcións hiperbólicas inversas e circulares non inversas

$\mathrm{arsinh}(\tan \alpha )=\mathrm{artanh}(\sin \alpha )=\ln \left(\frac{1+\sin \alpha }{\cos \alpha }\right)=\pm \mathrm{arcosh}\left(\frac{1}{\cos \alpha }\right)$

$\ln \left(|\tan \alpha |\right)=-\mathrm{artanh}(\cos 2\alpha )$

Conversións

$\ln x=\mathrm{artanh}\left(\frac{x^2-1}{x^2+1}\right)=\mathrm{arsinh}\left(\frac{x^2-1}{2x}\right)=\pm \mathrm{arcosh}\left(\frac{x^2+1}{2x}\right)$

$\mathrm{artanh}x=\mathrm{arsinh}\left(\frac{x}{\sqrt{1-x^2}}\right)=\pm \mathrm{arcosh}\left(\frac{1}{\sqrt{1-x^2}}\right)$

$\mathrm{arsinh}x=\mathrm{artanh}\left(\frac{x}{\sqrt{1+x^2}}\right)=\pm \mathrm{arcosh}\left(\sqrt{1+x^2}\right)$

$\mathrm{arcosh}x=|\mathrm{arsinh}\left(\sqrt{x^2-1}\right)|=|\mathrm{artanh}\left(\frac{\sqrt{x^2-1}}{x}\right)|$

Derivadas

$\begin{array}{cc}\frac{d}{dx}\mathrm{arsinh}x& =\frac{1}{\sqrt{x^2+1}},\text{ para todo real }x\\ \frac{d}{dx}\mathrm{arcosh}x& =\frac{1}{\sqrt{x^2-1}},\text{ para todo real }x>1\\ \frac{d}{dx}\mathrm{artanh}x& =\frac{1}{1-x^2},\text{ para todo real}|x|<1\\ \frac{d}{dx}\mathrm{arcoth}x& =\frac{1}{1-x^2},\text{ para todo real }|x|>1\\ \frac{d}{dx}\mathrm{arsech}x& =\frac{-1}{x\sqrt{1-x^2}},\text{ para todo real }x\in (0,1)\\ \frac{d}{dx}\mathrm{arcsch}x& =\frac{-1}{|x|\sqrt{1+x^2}},\text{ para todo real }x\text{, agás }0\\ \end{array}$

Estas fórmulas pódense obter en función das derivadas das funcións hiperbólicas. Por exemplo, se $x=\sinh \theta$, entón $dx/d\theta =\cosh \theta =\sqrt{1+x^2},$

$\frac{d}{dx}\mathrm{arsinh}(x)=\frac{d\theta }{dx}=\frac{1}{dx/d\theta }=\frac{1}{\sqrt{1+x^2}}.$

Expansións en serie

Pódense obter expansións en series de potencia para as funcións anteriores:

$\begin{array}{cc}\mathrm{arsinh}x& =x-\left(\frac{1}{2}\right)\frac{x^3}{3}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{x^5}{5}-\left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)\frac{x^7}{7}\pm \cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\left(\frac{(-1{)}^n(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{2n+1}}{2n+1},\left|x\right|<1\end{array}$

$\begin{array}{cc}\mathrm{arcosh}x& =\ln (2x)-(\left(\frac{1}{2}\right)\frac{x^{-2}}{2}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{x^{-4}}{4}+\left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)\frac{x^{-6}}{6}+\cdots )\\ & =\ln (2x)-\sum _{n=1}^{\mathrm{\infty }}\left(\frac{(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{-2n}}{2n},\left|x\right|>1\end{array}$

$\begin{array}{cc}\mathrm{artanh}x& =x+\frac{x^3}{3}+\frac{x^5}{5}+\frac{x^7}{7}+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{x^{2n+1}}{2n+1},\left|x\right|<1\end{array}$

$\begin{array}{cc}\mathrm{arcsch}x=\mathrm{arsinh}\frac{1}{x}& =x^{-1}-\left(\frac{1}{2}\right)\frac{x^{-3}}{3}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{x^{-5}}{5}-\left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)\frac{x^{-7}}{7}\pm \cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\left(\frac{(-1{)}^n(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{-(2n+1)}}{2n+1},\left|x\right|>1\end{array}$

$\begin{array}{cc}\mathrm{arsech}x=\mathrm{arcosh}\frac{1}{x}& =\ln \frac{2}{x}-(\left(\frac{1}{2}\right)\frac{x^2}{2}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{x^4}{4}+\left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)\frac{x^6}{6}+\cdots )\\ & =\ln \frac{2}{x}-\sum _{n=1}^{\mathrm{\infty }}\left(\frac{(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{2n}}{2n},0<x\le 1\end{array}$

$\begin{array}{cc}\mathrm{arcoth}x=\mathrm{artanh}\frac{1}{x}& =x^{-1}+\frac{x^{-3}}{3}+\frac{x^{-5}}{5}+\frac{x^{-7}}{7}+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{x^{-(2n+1)}}{2n+1},\left|x\right|>1\end{array}$

Unha expansión asintótica para $\mathrm{arsinh}$ é dada por

$\mathrm{arsinh}x=\ln (2x)+\sum _{n=1}^{\mathrm{\infty }}{\left(-1\right)}^{n-1}\frac{\left(2n-1\right)!!}{2n\left(2n\right)!!}\frac{1}{x^{2n}}$

Valores principais no plano complexo

Como funcións de variábel complexa, as funcións hiperbólicas inversas son funcións multivaloradas que son funcións analíticas excepto nun número finito de puntos.

Para tal tipo de funcións, é común definir un valor principal, que é unha función analítica de valor único que coincide cunha rama específica da función multivalorada, sobre un dominio que consiste no plano complexo no que un número finito de arcos elimináronse. Estes arcos chámanse corte de rama. O valor principal da multifunción escóllese nun punto particular e os valores noutros lugares do dominio de definición defínense para coincidir cos atopados por continuación analítica.

Por exemplo, para a raíz cadrada, o valor principal defínese como a raíz cadrada que ten unha parte real positiva. Isto define unha función analítica con valor único, que se define en todas partes, excepto para os valores reais non positivos das variábeis (onde as dúas raíces cadradas teñen unha parte real cero). Este valor principal da función raíz cadrada denotase $\sqrt{x}$ no que segue.

Do mesmo xeito, o valor principal do logaritmo, denotado como $\mathrm{Log}$ no que segue, defínese como o valor para o cal a parte imaxinaria ten o menor valor absoluto. Defínese en todas as partes agás para os valores reais non positivos da variábel, para os que dous valores diferentes do logaritmo alcanzan o mínimo.

Para todas as funcións hiperbólicas inversas, o valor principal pódese definir en termos dos valores principais da raíz cadrada e da función logarítmica. Porén, nalgúns casos, as fórmulas de Modelo:Section link non dan un valor principal correcto, xa que dan un dominio de definición que é demasiado pequeno e, nun caso, non conexo.

Valor principal do seno hiperbólico inverso

O valor principal do seno hiperbólico inverso vén dado por

$\mathrm{arsinh}z=\mathrm{Log}(z+\sqrt{z^2+1}).$

O argumento da raíz cadrada é un número real non positivo, se e só se Modelo:Math pertence a un dos intervalos Modelo:Math e Modelo:Math do eixo imaxinario. Se o argumento do logaritmo é real, entón é positivo. Así, esta fórmula define un valor principal para arsinh, con cortes de rama Modelo:Math e Modelo:Math. Isto é óptimo, xa que os cortes de rama deben conectar os puntos singulares Modelo:Math e Modelo:Math ao infinito.

Valor principal do coseno hiperbólico inverso

A fórmula para o coseno hiperbólico inverso dada en Modelo:Section link non é conveniente, xa que de xeito similar aos valores principais do logaritmo e da raíz cadrada, o valor principal de arcosh non se definiría para o Modelo:Math imaxinario. Así, a raíz cadrada ten que ser factorizada, dando lugar a

$\mathrm{arcosh}z=\mathrm{Log}(z+\sqrt{z+1}\sqrt{z-1}).$

Os valores principais das raíces cadradas están definidos, excepto se Modelo:Math pertence ao intervalo real Modelo:Math. Se o argumento do logaritmo é real, entón Modelo:Math é real e ten o mesmo signo. Así, a fórmula anterior define un valor principal de arcosh fóra do intervalo real Modelo:Math, que é polo tanto o único corte de rama.

Valores principais da tanxente e da cotanxente hiperbólica inversa

As fórmulas dadas en Modelo:Section link suxire

$\begin{array}{cc}\mathrm{artanh}z& =\frac{1}{2}\mathrm{Log}\left(\frac{1+z}{1-z}\right)\\ \mathrm{arcoth}z& =\frac{1}{2}\mathrm{Log}\left(\frac{z+1}{z-1}\right)\end{array}$

para a definición dos valores principais da tanxente hiperbólica inversa e da cotanxente. Nestas fórmulas, o argumento do logaritmo é real se e só se Modelo:Math é real. Para artanh, este argumento está no intervalo real Modelo:Math, se Modelo:Math pertence a Modelo:Math ou a Modelo:Math. Para arcoth, o argumento do logaritmo está en Modelo:Math, se e só se Modelo:Math pertence ao intervalo real Modelo:Math.

Polo tanto, estas fórmulas definen valores principais convenientes, para os que os cortes de rama son Modelo:Math e Modelo:Math para a tanxente hiperbólica inversa, e Modelo:Math para a cotanxente hiperbólica inversa.

Valor principal da cosecante hiperbólica inversa

Para a cosecante hiperbólica inversa, o valor principal defínese como

$\mathrm{arcsch}z=\mathrm{Log}(\frac{1}{z}+\sqrt{\frac{1}{z^2}+1})$.

Defínese excepto cando os argumentos do logaritmo e da raíz cadrada son números reais non positivos. O valor principal da raíz cadrada defínese así fóra do intervalo Modelo:Math da liña imaxinaria. Se o argumento do logaritmo é real, entón Modelo:Math é un número real distinto de cero, e isto implica que o argumento do logaritmo é positivo.

Así, o valor principal defínese pola fórmula anterior fóra do corte de rama que consiste no intervalo Modelo:Math da liña imaxinaria.

(En Modelo:Math, hai un punto singular que se inclúe no corte de rama).

Valor principal da secante hiperbólica inversa

Aquí, como no caso do coseno hiperbólico inverso, temos que factorizar a raíz cadrada. Isto dá o valor principal

$\mathrm{arsech}z=\mathrm{Log}(\frac{1}{z}+\sqrt{\frac{1}{z}+1}\sqrt{\frac{1}{z}-1}).$

Se o argumento dunha raíz cadrada é real, entón Modelo:Math é real, e dedúcese que os dous valores principais das raíces cadradas están definidos, agás se Modelo:Math é real e pertence a un dos intervalos Modelo:Math e Modelo:Math. Se o argumento do logaritmo é real e negativo, entón Modelo:Math tamén é real e negativo. Dedúcese que o valor principal de arsech está ben definido, pola fórmula anterior fóra de dous cortes de rama, os intervalos reais Modelo:Math e Modelo:Math.

Para Modelo:Math, hai un punto singular que se inclúe nun dos cortes de rama.

Representación gráfica

Na seguinte representación gráfica dos valores principais das funcións hiperbólicas inversas, os cortes de rama aparecen como descontinuidades da cor. O feito de que os cortes de rama completos aparezan como discontinuidades, mostra que estes valores principais poden non estenderse a funcións analíticas definidas en dominios máis grandes. Noutras palabras, os corte de rama definidos anteriormente son mínimos.

Véxase tamén

Bibliografía

• Herbert Busemann and Paul J. Kelly (1953) Projective Geometry and Projective Metrics, page 207, Academic Press.

Outros artigos

• Logaritmo complexo
• Función hiperbólica

Ligazóns externas

• Modelo:Springer