Funciones hiperbólicas inversas

Un rayo desde el centro de la hipérbola unitaria $x^2-y^2=1$ hacia el punto $(\cosh a,\sinh a)$, donde $a$ es el doble del área entre el rayo, la hipérbola y el eje $x$

Funciones hiperbólicas inversas

En matemáticas, las funciones hiperbólicas inversas son las funciones inversas de las funciones hiperbólicas.

Para un valor dado de una función hiperbólica, la función hiperbólica inversa correspondiente proporciona el ángulo hiperbólico. El tamaño del ángulo hiperbólico es igual al área del sector hiperbólico correspondiente de la hipérbola Plantilla:Nowrap, o el doble del área del sector correspondiente de la hipérbola unitaria Plantilla:Nowrap, al igual que un ángulo circular es el doble del área del sector circular de la circunferencia goniométrica. Algunos autores han llamado a las funciones hiperbólicas inversas "funciones de área", con el fin de dar un sentido más directo a los ángulos hiperbólicos.

Las funciones hiperbólicas aparecen en los cálculos de ángulos y distancias en geometría hiperbólica. También forman parte de las soluciones de muchas ecuaciones diferenciales lineales (como la ecuación que define una catenaria), ecuaciones de tercer grado y en la ecuación de Laplace en coordenadas cartesianas. La ecuación de Laplace es importante en muchas áreas de la física, incluido el electromagnetismo, la transferencia de calor, la fluidodinámica y la teoría de la relatividad especial.

Notación

Las abreviaturas más comunes son las especificadas por el estándar ISO/IEC 80000. Consisten en ar- seguido de la abreviatura de la función hiperbólica correspondiente (por ejemplo, arsinh, arcosh).

Sin embargo, arc- seguido de la función hiperbólica correspondiente (por ejemplo, arcsinh, arccosh) también se ve comúnmente, por analogía con la nomenclatura de las funciones trigonométricas inversas. Los primeros son nombres erróneos, ya que el prefijo arc es la abreviatura de arco, mientras que el prefijo ar significa área.

Otros autores prefieren usar la notación arg sinh, argcosh, argtanh, etc., donde el prefijo arg es la abreviatura del latín argumentum. En informática, a menudo se abrevia como "asinh".

También se usa la notación Plantilla:Nowrap, Plantilla:Nowrap, etc., a pesar del hecho de que se debe tener cuidado para evitar malas interpretaciones del superíndice -1 como una potencia, en lugar de una abreviatura para denotar la función inversa (por ejemplo, Plantilla:Nowrap frente a Plantilla:Nowrap

Definiciones en términos de logaritmos

A trigonometrikus és hiperbolikusz függvények képei (+ inverzek)

Dado que las funciones hiperbólicas son funciones racionales de Plantilla:Math cuyo numerador y denominador son de grado como máximo dos, estas funciones pueden resolverse en términos de Plantilla:Math, utilizando la fórmula cuadrática; luego, tomando logaritmos naturales se obtienen las siguientes expresiones para las funciones hiperbólicas inversas.

Para los argumentos complejos, las funciones hiperbólicas inversas, raíz cuadrada y el logaritmo son funciones multivaluadas, y las igualdades de las siguientes subsecciones pueden verse como igualdades de funciones de varios valores.

Para todas las funciones hiperbólicas inversas (excepto la cotangente hiperbólica inversa y la cosecante hiperbólica inversa), el dominio de la función real es conexo.

Seno hiperbólico inverso

El seno hiperbólico inverso (también conocido como área del seno hiperbólico) (Latín: Area sinus hyperbolicus):

$\mathrm{arsinh}x=\log (x+\sqrt{x^2+1})$

El dominio es la recta real completa.

Coseno hiperbólico inverso

El coseno hiperbólico inverso (también conocido como área del coseno hiperbólico) (latín: Area cosinus hyperbolicus):

$\mathrm{arcosh}x=\log (x+\sqrt{x^2-1})$

El dominio es el intervalo Plantilla:Math.

Tangente hiperbólica inversa

La tangente hiperbólica inversa (también conocida como área de la tangente hiperbólica) (en latín: Area tangens hyperbolicus):

$\mathrm{artanh}x=\frac{1}{2}\log \left(\frac{1+x}{1-x}\right)$

El dominio es el intervalo Plantilla:Math.

Cotangente hiperbólica inversa

La cotangente hiperbólica inversa (también conocida como área de la cotangente hiperbólica) (en latín: Area cotangens hyperbolicus):

$\mathrm{arcoth}x=\frac{1}{2}\log \left(\frac{x+1}{x-1}\right)$

El dominio es la unión de los intervalos abiertos Plantilla:Math y Plantilla:Math.

Secante hiperbólica inversa

La secante hiperbólica inversa (también conocida como área de la secante hiperbólica) (en latín: Area secans hyperbolicus):

$\mathrm{arsech}x=\ln (\frac{1}{x}+\sqrt{\frac{1}{x^2}-1})=\ln \left(\frac{1+\sqrt{1-x^2}}{x}\right)$

El dominio es el intervalo semiabierto Plantilla:Math.

Cosecante hiperbólica inversa

La cosecante hiperbólica inversa (también conocida como área de la cosecante hiperbólica) (latín: Area cosecans hiperbolicus):

$\mathrm{arcsch}x=\ln (\frac{1}{x}+\sqrt{\frac{1}{x^2}+1})=\ln \left(\frac{1+\sqrt{1+x^2}}{x}\right)$

El dominio es toda la recta real, excepto el 0; y la última igualdad se tiene sólo si x>0.

Fórmulas de la 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)$

$\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}$

Otras 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& =\mathrm{arcosh}(2x^2+1)& \text{ para }x\ge 0\\ 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 funciones 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 funciones hiperbólicas y trigonométricas 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 )$

Conversiones

$\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 }x\text{ real}\\ \frac{d}{dx}\mathrm{arcosh}x& =\frac{1}{\sqrt{x^2-1}},\text{ para todo }x>1\text{ real}\\ \frac{d}{dx}\mathrm{artanh}x& =\frac{1}{1-x^2},\text{ para todo }|x|<1\text{ real}\\ \frac{d}{dx}\mathrm{arcoth}x& =\frac{1}{1-x^2},\text{ para todo }|x|>1\text{ real}\\ \frac{d}{dx}\mathrm{arsech}x& =\frac{-1}{x\sqrt{1-x^2}},\text{ para todo }x\in (0,1)\text{ real}\\ \frac{d}{dx}\mathrm{arcsch}x& =\frac{-1}{|x|\sqrt{1+x^2}},\text{ para todo }x\text{ real, excepto }0\\ \end{array}$

Ejemplo de una derivada: sea θ = arsinh x, entonces (donde sinh² θ = (sinh θ) ²):

$\frac{d\mathrm{arsinh}x}{dx}=\frac{d\theta }{d\sinh \theta }=\frac{1}{\cosh \theta }=\frac{1}{\sqrt{1+{\sinh }^2\theta }}=\frac{1}{\sqrt{1+x^2}}.$

Desarrollos en serie

Se pueden obtener desarrollos en serie para las funciones 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}$

La expansión asintótica para el arsinh x viene 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 principales en el plano complejo

En el análisis complejo, las funciones hiperbólicas inversas son funciones multivaluadas, que son analíticas, excepto en un número finito de puntos. Para tales funciones, es común definir un valor principal, que es una función analítica de un solo valor que coincide con una rama específica de la función multivalor, sobre un dominio que consiste en un plano complejo en el que un número finito de arcos (generalmente rectas o segmentos) se han eliminado. Estos arcos se denominan ramas cortadas. Para especificar la rama, es decir, definir qué valor de la función multivalor se considera en cada punto, generalmente se define en un punto particular y se deduce el valor en todas las partes del dominio de definición del valor principal por extensión analítica. Cuando sea posible, es mejor definir el valor principal directamente, sin hacer referencia a la continuación analítica.

Por ejemplo, para la raíz cuadrada, el valor principal se define como la raíz cuadrada que tiene un número complejo positivo. Esto define una función analítica de valor único, que se define en todas partes, excepto para los valores reales no positivos de las variables (donde las dos raíces cuadradas tienen una parte real cero). Este valor principal de la función raíz cuadrada se denota como $\sqrt{x}$ en lo que sigue. De manera similar, el valor principal del logaritmo, denotado $\mathrm{Log}$ a continuación, se define como el valor para el cual un número complejo tiene el valor absoluto más pequeño. Se define en todas partes excepto en los valores reales no positivos de la variable, para los cuales dos valores diferentes del logaritmo alcanzan el mínimo.

Para todas las funciones hiperbólicas inversas, el valor principal puede definirse en términos de los valores principales de la raíz cuadrada y la función logarítmica. Sin embargo, en algunos casos, las fórmulas de las definiciones en términos de logaritmos no dan un valor principal correcto, ya que dan un dominio de definición que es demasiado pequeño y, en un caso, no conexo.

Valor principal del seno hiperbólico inverso

El valor principal del seno hiperbólico inverso está dado por

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

El argumento de la raíz cuadrada es un número real no positivo, si y solo si Plantilla:Math pertenece a uno de los intervalos Plantilla:Math y Plantilla:Math del eje imaginario. Si el argumento del logaritmo es real, entonces es positivo. Por tanto, esta fórmula define un valor principal para arsinh, con cortes de rama Plantilla:Math y Plantilla:Math. Esto es óptimo, ya que los cortes de rama deben conectar los puntos singulares Plantilla:Math y Plantilla:Math al infinito.

Valor principal del coseno hiperbólico inverso

La fórmula para el coseno hiperbólico inverso dada en el coseno hiperbólico inverso no es conveniente, ya que similar a los valores principales del logaritmo y la raíz cuadrada, el valor principal del arcosh no estaría definido para Plantilla:Math imaginario. Por lo tanto, la raíz cuadrada debe factorizarse, lo que lleva a

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

Los valores principales de las raíces cuadradas están definidos, excepto si Plantilla:Math pertenece al intervalo real Plantilla:Math. Si el argumento del logaritmo es real, Plantilla:Math es real y tiene el mismo signo. Por tanto, la fórmula anterior define un valor principal del arcosh fuera del intervalo real Plantilla:Math, que es, por tanto, el único corte de rama.

Valores principales de la tangente y de la cotangente hiperbólicas inversas

Las fórmulas dadas en las definiciones en términos de logaritmos sugieren que

$\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 la definición de los valores principales de la tangente y de la cotangente hiperbólicas inversas. En estas fórmulas, el argumento del logaritmo es real si y solo si Plantilla:Math es real. Para artanh, este argumento está en el intervalo real Plantilla:Math, si Plantilla:Math pertenece a Plantilla:Math o Plantilla:Math. Para el arcoth, el argumento del logaritmo está en Plantilla:Math, si y solo si Plantilla:Math pertenece al intervalo real Plantilla:Math.

Por lo tanto, estas fórmulas definen valores principales convenientes, para los cuales los cortes de rama son Plantilla:Math y Plantilla:Math para la tangente hiperbólica inversa y Plantilla:Math para la cotangente hiperbólica inversa.

En vista de una mejor evaluación numérica cerca de los cortes de rama, algunos autores utilizan las siguientes definiciones de los valores principales, aunque el segundo introduce una singularidad evitable en Plantilla:Math. Las dos definiciones de $\mathrm{artanh}$ difieren para los valores reales de $z$ con $z>1$. Los de $\mathrm{arcoth}$ difieren para los valores reales de $z$ con $z\in [0,1)$.

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

Valor principal de la cosecante hiperbólica inversa

Para la cosecante hiperbólica inversa, el valor principal se define como

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

Se define cuando los argumentos del logaritmo y la raíz cuadrada no son números reales no positivos. El valor principal de la raíz cuadrada se define así fuera del intervalo Plantilla:Math de la recta imaginaria. Si el argumento del logaritmo es real, entonces Plantilla:Math es un número real distinto de cero, y esto implica que el argumento del logaritmo es positivo.

Así, el valor principal está definido por la fórmula anterior fuera del corte de rama, que consiste en el intervalo Plantilla:Math de la línea imaginaria.

Para Plantilla:Math, hay un punto singular que se incluye en el corte de rama.

Valor principal de la secante hiperbólica inversa

Aquí, como en el caso del coseno hiperbólico inverso, se tiene que factorizar la raíz cuadrada. Esto da el valor principal

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

Si el argumento de una raíz cuadrada es real, entonces Plantilla:Math es real, y se deduce que ambos valores principales de raíces cuadradas están definidos, excepto si Plantilla:Math es real y pertenece a uno de los intervalos Plantilla:Math y Plantilla:Math. Si el argumento del logaritmo es real y negativo, Plantilla:Math también es real y negativo. De ello se deduce que el valor principal de arsech está bien definido, por la fórmula anterior fuera de dos cortes de rama, los intervalos reales Plantilla:Math y Plantilla:Math.

Para Plantilla:Math, hay un punto singular que se incluye en uno de los cortes de rama.

Representación gráfica

En la siguiente representación gráfica de los valores principales de las funciones hiperbólicas inversas, los cortes de las ramas aparecen como discontinuidades del color. El hecho de que todos los cortes de rama aparezcan como discontinuidades, muestra que estos valores principales pueden no extenderse a funciones analíticas definidas en dominios más amplios. En otras palabras, los cortes de rama definidos anteriormente son mínimos.

Véase también

• Logaritmo complejo
• Distribución secante hiperbólica
• ISO/IEC 80000
• Anexo:Integrales de funciones inversas hiperbólicas

Bibliografía

• Herbert Busemann y Paul J. Kelly (1953) Geometría proyectiva y métricas proyectivas , página 207, Academic Press.

Enlaces externos

• Plantilla:Springer