Ver el código de «Funciones hiperbólicas inversas»

[[Image:Hyperbolic functions-2.svg|thumb|300px|right|Un rayo desde el centro de la [[hipérbola unitaria]] <math>\scriptstyle x^2\ -\ y^2\ =\ 1</math> hacia el punto <math>\scriptstyle (\cosh\,a,\,\sinh\,a)</math>, donde <math>\scriptstyle a</math> es el doble del área entre el rayo, la hipérbola y el eje <math>\scriptstyle x</math>]]
[[File:Mplwp inverse hyperbolic functions.svg|thumb|300px|right|Funciones hiperbólicas inversas]]

En [[matemáticas]], las '''funciones hiperbólicas inversas''' son las [[función inversa (análisis matemático)|funciones inversas]] de las [[función hiperbólica|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 {{nowrap|1=''xy'' = 1}}, o el doble del área del sector correspondiente de la [[hipérbola unitaria]] {{nowrap|1=''x''<sup>2</sup> − ''y''<sup>2</sup> = 1}}, al igual que un [[Ángulo|á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.<ref name="Bronshtein_2005"/><ref name="Ebner_2005"/><ref name="Mejlbro_2006"/><ref name="Mejlbro_2008"/><ref name="Mejlbro_2010"/><ref name="Duran_2012"/><ref name="Weltner_2014"/><ref name="Reimers_Lapdf"/>

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 [[ecuación diferencial|ecuaciones diferenciales]] lineales (como la ecuación que define una [[catenaria]]), [[ecuación de tercer grado|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 [[función trigonométrica inversa|funciones trigonométricas inversas]].<ref>{{Cite web|date=2020-03-25|title=Comprehensive List of Algebra Symbols|url=https://mathvault.ca/hub/higher-math/math-symbols/algebra-symbols/|access-date=2020-08-30|website=Math Vault|language=en-US}}</ref> Los primeros son nombres erróneos, ya que el prefijo ''arc'' es la abreviatura de ''arco'', mientras que el prefijo ''ar'' significa ''área''.<ref name="Gullberg1997">As stated by [[Jan Gullberg]], ''Mathematics: From the Birth of Numbers'' (New York: [[W. W. Norton & Company]], 1997), {{ISBN|0-393-04002-X}}, p. 539:
<blockquote>Otra forma de notación, {{nowrap|arcsinh ''x''}}, {{nowrap|arccosh ''x''}}, etc., es una práctica que debe ser rechazada, ya que estas funciones no tienen nada que ver con<u>arc</u>, pero sí con <u>ar</u>ea, como lo demuestran sus nombres latinos completos,
arsinh &nbsp;&nbsp;&nbsp; ''area sinus hyperbolicus''

arcosh &nbsp;&nbsp;&nbsp; ''area cosinus hyperbolicus, etc.''</blockquote>
</ref><ref name="ZeidlerEtAl2004">As stated by {{Interlanguage link multi|Eberhard Zeidler (mathematician)|de|Eberhard Zeidler (Mathematiker)|lt=Eberhard Zeidler}}, [[Wolfgang Hackbusch]] and Hans Rudolf Schwarz, translated by Bruce Hunt, ''[[ Oxford Users' Guide to Mathematics]]'' (Oxford: [[Oxford University Press]], 2004), {{ISBN|0-19-850763-1}}, Section 0.2.13: "The inverse hyperbolic functions", p. 68: "The Latin names for the inverse hyperbolic functions are area sinus hyperbolicus, area cosinus hyperbolicus, area tangens hyperbolicus and area cotangens hyperbolicus (of ''x'').&nbsp;..." Esta referencia anterior utiliza las notaciones arsinh, arcosh, artanh y arcoth para las respectivas funciones hiperbólicas inversas.</ref><ref name="BronshteinEtAl2007">Según lo establecido por [[Ilja N. Bronshtein]], [[Konstantin A. Semendyayev]], Gerhard Musiol y Heiner Mühlig, en el ''[[Handbook of Mathematics]]'' (Berlin: [[Springer Science+Business Media|Springer-Verlag]], 5th ed., 2007), {{ISBN|3-540-72121-5}}, {{doi|10.1007/978-3-540-72122-2}}, Section 2.10: "Area Functions", p. 91:
<blockquote>Las ''funciones de área'' son las funciones inversas de las funciones hiperbólicas, es decir, las ''funciones hiperbólicas inversas''. Las funciones {{nowrap|sinh ''x''}}, {{nowrap|tanh ''x''}}, y {{nowrap|coth ''x''}} son estrictamente monótonas, por lo que tienen inversos únicos sin ninguna restricción; la función cosh ''x'' tiene dos intervalos monótonos, por lo que se pueden considerar dos funciones inversas. El nombre ''área'' se refiere al hecho de que la definición geométrica de las funciones es el área de ciertos sectores hiperbólicos ...</blockquote></ref>

Otros autores prefieren usar la notación '''arg''' sinh, argcosh, argtanh, etc., donde el prefijo '''arg''' es la abreviatura del latín ''argumentum''.<ref>{{cite book
 |title=Differential and Integral Calculus |first1=Harold Maile |last1=Bacon |publisher=McGraw-Hill |year=1942 |page=203 |url=https://books.google.com/books?id=3shEAAAAIAAJ}}</ref> En [[informática]], a menudo se abrevia como "asinh".

También se usa la notación {{nowrap|sinh<sup>−1</sup>(''x'')}}, {{nowrap|cosh<sup>−1</sup>(''x'')}}, etc.,<ref name=":0">{{Cite web|last=Weisstein|first=Eric W.|title=Inverse Hyperbolic Functions|url=https://mathworld.wolfram.com/InverseHyperbolicFunctions.html|access-date=2020-08-30|website=mathworld.wolfram.com|language=en}}</ref><ref name=":1">{{Cite web|title=Inverse hyperbolic functions - Encyclopedia of Mathematics|url=https://encyclopediaofmath.org/wiki/Inverse_hyperbolic_functions|access-date=2020-08-30|website=encyclopediaofmath.org}}</ref><ref name="Press1992">{{cite book | last1=Press | first1=WH | last2=Teukolsky | first2=SA | last3=Vetterling | first3=WT | last4=Flannery | first4=BP | year=1992 | title=Numerical Recipes in FORTRAN: The Art of Scientific Computing | edition=2nd | publisher=Cambridge University Press | publication-place=New York | isbn=0-521-43064-X | chapter=Section 5.6. Quadratic and Cubic Equations}}</ref><ref>{{Citation | last=Woodhouse | first = N. M. J. | author-link = N. M. J. Woodhouse | title = Special Relativity | publisher = Springer | place = London | date = 2003 | page = 71 | isbn = 1-85233-426-6}}</ref> 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, {{nowrap|cosh<sup>−1</sup>(''x'')}} frente a {{nowrap|cosh(''x'')<sup>−1</sup>).}}

==Definiciones en términos de logaritmos==
[[Archivo:Trigonometrikus és hiperbolikusz függvények.jpg|miniaturadeimagen|A trigonometrikus és hiperbolikusz függvények képei (+ inverzek)]]
Dado que las [[funciones hiperbólicas]] son [[función racional|funciones racionales]] de {{math|''e''<sup>''x''</sup>}} cuyo numerador y denominador son de grado como máximo dos, estas funciones pueden resolverse en términos de {{math|''e''<sup>''x''</sup>}}, utilizando la [[fórmula cuadrática]]; luego, tomando [[logaritmo natural|logaritmos naturales]] se obtienen las siguientes expresiones para las funciones hiperbólicas inversas.

Para los argumentos [[Número complejo|complejos]], las funciones hiperbólicas inversas, [[raíz cuadrada]] y el logaritmo son [[función multivaluada|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 [[Conjunto conexo|conexo]].

===Seno hiperbólico inverso===
El ''seno hiperbólico inverso'' (también conocido como ''área del seno hiperbólico'') ([[Latín]]: ''Area sinus hyperbolicus''):<ref name=":0" /><ref name=":1" />

: <math>   \operatorname{arsinh} x  =\log \left ( x + \sqrt{x^2 + 1} \right )
</math>
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''):<ref name=":0" /><ref name=":1" />

: <math>   \operatorname{arcosh} x  =\log\left ( x + \sqrt{x^2-1} \right )
</math>
El dominio es el [[intervalo (matemática)|intervalo]] {{math|[1, +∞ )}}.

===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''):<ref name=":1" />

: <math>
  \operatorname{artanh} x  =\frac12\log\left(\frac{1+x}{1-x}\right) 
</math>
El dominio es el intervalo {{math|(−1, 1)}}.

===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''):

: <math>
  \operatorname{arcoth} x =  \frac12\log\left(\frac{x+1}{x-1}\right)
</math>
El dominio es la unión de los intervalos abiertos {{math|(−∞, −1)}} y {{math|(1, +∞)}}.

===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''):

: <math>
  \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) 
</math>

El dominio es el intervalo semiabierto {{math|(0, 1]}}.

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

: <math>\operatorname{arcsch} x  
= \ln \left( \frac{1}{x} + \sqrt{\frac{1}{x^2}+ 1} \right)=\ln \left(\frac{1+\sqrt{1+x^2}}{x} \right)</math>
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==

: <math>\operatorname{arsinh} u \pm \operatorname{arsinh} v = \operatorname{arsinh} \left(u \sqrt{1 + v^2} \pm v \sqrt{1 + u^2}\right)</math>

: <math>\operatorname{arcosh} u \pm \operatorname{arcosh} v = \operatorname{arcosh} \left(u v \pm \sqrt{(u^2 - 1) (v^2 - 1)}\right)</math>

: <math>\operatorname{artanh} u \pm \operatorname{artanh} v = \operatorname{artanh} \left( \frac{u \pm v}{1 \pm uv} \right)</math>

: <math>\begin{align}\operatorname{arsinh} u + \operatorname{arcosh} v & = \operatorname{arsinh} \left(u v + \sqrt{(1 + u^2) (v^2 - 1)}\right) \\
                                                                      & = \operatorname{arcosh} \left(v \sqrt{1 + u^2} + u \sqrt{v^2 - 1}\right) \end{align}</math>

==Otras identidades==

: <math>
\begin{align}
2\operatorname{arcosh}x&=\operatorname{arcosh}(2x^2-1)      &\quad \hbox{ para }x\geq 1 \\
4\operatorname{arcosh}x&=\operatorname{arcosh}(8x^4-8x^2+1) &\quad \hbox{ para }x\geq 1 \\
2\operatorname{arsinh}x&=\operatorname{arcosh}(2x^2+1)      &\quad \hbox{ para }x\geq 0 \\
4\operatorname{arsinh}x&=\operatorname{arcosh}(8x^4+8x^2+1) &\quad \hbox{ para }x\geq 0 
\end{align}
</math>

: <math>
\ln(x) = \operatorname{arcosh} \left( \frac{x^2 + 1}{2x}\right)  = \operatorname{arsinh} \left( \frac{x^2 - 1}{2x}\right)
= \operatorname{artanh} \left( \frac{x^2 - 1}{x^2 + 1}\right)
</math>

==Composición de funciones hiperbólicas e hiperbólicas inversas==

: <math>\begin{align}
 &\sinh(\operatorname{arcosh}x) = \sqrt{x^{2} - 1}  \quad \text{para} \quad |x| > 1 \\
 &\sinh(\operatorname{artanh}x) = \frac{x}{\sqrt{1-x^{2}}} \quad \text{para} \quad -1 < x < 1 \\
 &\cosh(\operatorname{arsinh}x) = \sqrt{1+x^{2}} \\
 &\cosh(\operatorname{artanh}x) = \frac{1}{\sqrt{1-x^{2}}} \quad \text{para} \quad -1 < x < 1 \\
 &\tanh(\operatorname{arsinh}x) = \frac{x}{\sqrt{1+x^{2}}} \\
 &\tanh(\operatorname{arcosh}x) = \frac{\sqrt{x^{2} - 1}}{x} \quad \text{para} \quad |x| > 1
\end{align}</math>

==Composición de funciones hiperbólicas y trigonométricas inversas==

:<math>
  \operatorname{arsinh} \left( \tan  \alpha \right)
= \operatorname{artanh} \left( \sin  \alpha  \right)
= \ln\left( \frac{ 1 + \sin  \alpha }{ \cos  \alpha } \right)
= \pm \operatorname{arcosh} \left( \frac {1} {\cos \alpha  }\right)
</math>

:<math>
  \ln \left( \left| \tan  \alpha \right|\right)
= -\operatorname{artanh} \left( \cos  2 \alpha  \right)
</math><ref>{{cite web|title=Identities with inverse hyperbolic and trigonometric functions|url=https://math.stackexchange.com/q/1878399 |website=math stackexchange|publisher=[[stack Exchange]]|access-date=2016-11-03}}</ref>

==Conversiones==

:<math>
  \ln x = \operatorname{artanh} \left( \frac{x^2-1}{x^2+1}\right)
= \operatorname{arsinh} \left( \frac{x^2-1}{2 x}\right)
= \pm \operatorname{arcosh} \left( \frac{x^2+1}{2 x}\right)
</math>

: <math>
  \operatorname{artanh} x
= \operatorname{arsinh} \left( \frac{x}{\sqrt{1-x^2}}\right)
= \pm \operatorname{arcosh} \left( \frac{1}{\sqrt{1-x^2}}\right)
</math>

: <math>
  \operatorname{arsinh} x
= \operatorname{artanh} \left( \frac{x}{\sqrt{1+x^2}}\right)
= \pm \operatorname{arcosh} \left( \sqrt{1+x^2}\right)
</math>

: <math>
  \operatorname{arcosh} x
= \left| \operatorname{arsinh} \left( \sqrt{x^2-1}\right) \right|
=  \left| \operatorname{artanh} \left(  \frac{\sqrt{x^2-1}}{x}
\right) \right|
</math>

==Derivadas==

: <math>
\begin{align}
\frac{d}{dx} \operatorname{arsinh} x & {}= \frac{1}{\sqrt{x^2+1}}, \text{ para todo } x \text{ real}\\
\frac{d}{dx} \operatorname{arcosh} x & {}= \frac{1}{\sqrt{x^2-1}}, \text{ para todo } x>1 \text{ real}\\
\frac{d}{dx} \operatorname{artanh} x & {}= \frac{1}{1-x^2}, \text{ para todo } |x|<1 \text{ real}\\
\frac{d}{dx} \operatorname{arcoth} x & {}= \frac{1}{1-x^2}, \text{ para todo } |x|>1 \text{ real}\\
\frac{d}{dx} \operatorname{arsech} x & {}= \frac{-1}{x\sqrt{1-x^2}}, \text{ para todo } x \in (0,1) \text{ real}\\
\frac{d}{dx} \operatorname{arcsch} x & {}= \frac{-1}{|x|\sqrt{1+x^2}}, \text{ para todo } x\text{ real, excepto } 0\\
\end{align}</math>

Ejemplo de una derivada: sea ''θ'' = arsinh ''x'', entonces (donde sinh<sup>2</sup> ''θ'' = (sinh ''θ'') <sup>2</sup>):
: <math>\frac{d\,\operatorname{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}}.</math>

==Desarrollos en serie==

Se pueden obtener desarrollos en serie para las funciones anteriores:

:<math>\begin{align}\operatorname{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}^\infty \left( \frac {(-1)^n(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{2n+1}} {2n+1} , \qquad \left| x \right| < 1  \end{align} </math>

:<math>\begin{align}\operatorname{arcosh} x & = \ln(2x) - \left( \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 \right) \\
                      & = \ln(2x) - \sum_{n=1}^\infty \left( \frac {(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{-2n}} {2n} , \qquad \left| x \right| > 1 \end{align} </math>

:<math>\begin{align}\operatorname{artanh} 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} , \qquad \left| x \right| < 1 \end{align} </math>

:<math>\begin{align}\operatorname{arcsch} x = \operatorname{arsinh} \frac1x & = 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}^\infty \left( \frac {(-1)^n(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{-(2n+1)}} {2n+1} , \qquad \left| x \right| > 1 \end{align} </math>

: <math>\begin{align}\operatorname{arsech} x = \operatorname{arcosh} \frac1x & = \ln \frac{2}{x} - \left( \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 \right) \\
                      & = \ln \frac{2}{x} - \sum_{n=1}^\infty \left( \frac {(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{2n}} {2n} , \qquad 0 < x \le 1 \end{align} </math>

: <math>\begin{align}\operatorname{arcoth} x = \operatorname{artanh} \frac1x & = x^{-1} + \frac {x^{-3}} {3} + \frac {x^{-5}} {5} + \frac {x^{-7}} {7} +\cdots \\
                      & = \sum_{n=0}^\infty \frac {x^{-(2n+1)}} {2n+1} , \qquad \left| x \right| > 1 \end{align} </math>
La expansión asintótica para el arsinh ''x'' viene dada por
:<math>\operatorname{arsinh} x = \ln(2x) + \sum\limits_{n = 1}^\infty  {\left( { - 1} \right)^{n - 1} \frac{{\left( {2n - 1} \right)!!}}{{2n\left( {2n} \right)!!}}} \frac{1}{{x^{2n} }}</math>

==Valores principales en el plano complejo==

En el [[análisis complejo]], las funciones hiperbólicas inversas son [[función multivaluada|funciones multivaluadas]], que son [[Función analítica|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 [[Arco (geometría)|arcos]] (generalmente [[recta]]s o [[segmento]]s) se han eliminado. Estos arcos se denominan [[rama cortada|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 <math>\sqrt x</math> en lo que sigue. De manera similar, el valor principal del logaritmo, denotado <math>\operatorname{Log}</math> 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, [[Conjunto conexo|no conexo]].

===Valor principal del seno hiperbólico inverso===

El valor principal del seno hiperbólico inverso está dado por
: <math>\operatorname{arsinh} z = \operatorname{Log}(z + \sqrt{z^2 + 1} \,)\,.</math>

El argumento de la raíz cuadrada es un [[número real]] no positivo, si y solo si {{math|''z''}} pertenece a uno de los intervalos {{math|[''i'', +''i''∞)}} y {{math|(−''i''∞, −''i'']}} 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 {{math|[''i'', +''i''∞)}} y {{math|(−''i''∞, −''i'']}}. Esto es óptimo, ya que los cortes de rama deben conectar los puntos singulares {{math|''i''}} y {{math|−''i''}} 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 {{math|''z''}} imaginario. Por lo tanto, la raíz cuadrada debe factorizarse, lo que lleva a
: <math>\operatorname{arcosh}  z = \operatorname{Log}(z + \sqrt{z+1} \sqrt{z-1} \,)\,.</math>

Los valores principales de las raíces cuadradas están definidos, excepto si {{math|''z''}} pertenece al intervalo real {{math|(−∞, 1]}}. Si el argumento del logaritmo es real, {{math|''z''}} es real y tiene el mismo signo. Por tanto, la fórmula anterior define un valor principal del arcosh fuera del intervalo real {{math|(−∞, 1]}}, 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
: <math>
\begin{align}
\operatorname{artanh} z  &=\frac12\operatorname{Log}\left(\frac{1+z}{1-z}\right) 
    \\
 \operatorname{arcoth} z &=  \frac12\operatorname{Log}\left(\frac{z+1}{z-1}\right)
  \end{align}
</math>
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 {{math|''z''}} es real. Para artanh, este argumento está en el intervalo real {{math|(−∞, 0]}}, si {{math|''z''}} pertenece a {{math|(−∞, −1]}} o {{math|[1, ∞)}}. Para el arcoth, el argumento del logaritmo está en {{math|(−∞, 0]}}, si y solo si {{math|''z''}} pertenece al intervalo real {{math|[−1, 1]}}.

Por lo tanto, estas fórmulas definen valores principales convenientes, para los cuales los cortes de rama son {{math|(−∞, −1]}} y {{math|[1, ∞)}} para la tangente hiperbólica inversa y {{math|[−1, 1]}} 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 {{math|1=''z'' = 0}}. Las dos definiciones de <math> \operatorname {artanh} </math> difieren para los valores reales de <math> z </math> con <math> z > 1 </math>. Los de <math> \operatorname {arcoth} </math> difieren para los valores reales de <math> z </math> con <math> z \in [0, 1) </math>.
: <math>
  \begin{align}
    \operatorname{artanh} z &= \tfrac12\operatorname{Log}\left({1+z}\right) -  \tfrac12\operatorname{Log}\left({1-z}\right)
    \\
    \operatorname{arcoth} z &= \tfrac12\operatorname{Log}\left({1+\frac{1}{z} }\right) -   \tfrac12\operatorname{Log}\left({1-\frac{1}{z}}\right)
 \end{align}
</math>

===Valor principal de la cosecante hiperbólica inversa===

Para la cosecante hiperbólica inversa, el valor principal se define como
: <math>\operatorname{arcsch} z = \operatorname{Log}\left( \frac{1}{z} + \sqrt{ \frac{1}{z^2} +1 } \,\right)</math>.

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 {{math|[−''i'', ''i'']}} de la recta imaginaria. Si el argumento del logaritmo es real, entonces {{math|''z''}} 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 {{math|[−''i'', ''i'']}} de la línea imaginaria.

Para {{math|1=''z'' = 0}}, 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
: <math>
    \operatorname{arsech} z = \operatorname{Log}\left( \frac{1}{z} + \sqrt{ \frac{1}{z} + 1 } \, \sqrt{ \frac{1}{z} -1 } \right).
</math>

Si el argumento de una raíz cuadrada es real, entonces {{math|''z''}} es real, y se deduce que ambos valores principales de raíces cuadradas están definidos, excepto si {{math|''z''}} es real y pertenece a uno de los intervalos {{math|(−∞, 0]}} y {{math|[1, +∞)}}. Si el argumento del logaritmo es real y negativo, {{math|''z''}} 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 [[corte de rama|cortes de rama]], los intervalos reales {{math|(−∞, 0]}} y {{math|[1, +∞)}}.

Para {{math|1=''z'' = 0}}, 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 [[corte de rama|cortes de rama]] definidos anteriormente son mínimos.

{{multiple image
 | perrow = 3
 | align = center
 | width = 200
 | footer = Funciones hiperbólicas inversas en el plano z complejo: el color en cada punto del plano [[coloreado de dominios|representa el valor complejo]] de la función respectiva en ese punto
 | image1 = Complex ArcSinh.jpg
 | image2 = Complex ArcCosh.jpg
 | image3 = Complex ArcTanh.jpg
 | image4 = Complex ArcCoth.jpg
 | image5 = Complex ArcSech.jpg
 | image6 = Complex ArcCsch.jpg
 | alt1 = Square representing central portion of the complex z-plane painted in psychedelic colours
 | alt2 = Square representing central portion of the complex z-plane painted in psychedelic colours
 | alt3 = Square representing central portion of the complex z-plane painted in psychedelic colours
 | alt4 = Square representing central portion of the complex z-plane painted in psychedelic colours
 | alt5 = Square representing central portion of the complex z-plane painted in psychedelic colours
 | alt6 = Square representing central portion of the complex z-plane painted in psychedelic colours
 | caption1 = <math>\operatorname{arsinh}(z)</math>
 | caption2 = <math>\operatorname{arcosh}(z)</math>
 | caption3 = <math>\operatorname{artanh}(z)</math>
 | caption4 = <math>\operatorname{arcoth}(z)</math>
 | caption5 = <math>\operatorname{arsech}(z)</math>
 | caption6 = <math>\operatorname{arcsch}(z)</math>
 }}

==Véase también==
* [[Logaritmo complejo]]
* [[Distribución secante hiperbólica]]
* [[ISO/IEC 80000]]
* [[Anexo:Integrales de funciones inversas hiperbólicas]]

==Referencias==
{{reflist|refs=
<ref name="Bronshtein_2005">{{cite book |author-first1=Ilja N. |author-last1=Bronshtein |author-first2=Konstantin A. |author-last2=Semendyayev |author-first3=Gerhard |author-last3=Musiol |author-first4=Heiner |author-last4=Mühlig |title=Handbook of Mathematics |publisher=[[Springer Science+Business Media]] |edition=5 |date=2007 |isbn=3-540-72121-5 |doi=10.1007/978-3-540-72122-2 |page=91 |chapter=Chapter 2.10: Area Functions}}</ref>
<ref name="Ebner_2005">{{cite book |title=Preparatory Course in Mathematics |author-first=Dieter |author-last=Ebner |publisher=Department of Physics, [[Universidad de Constanza]] |date=2005-07-25 |edition=6 |url=https://www.math.uni-konstanz.de/numerik/personen/gubisch/de/teaching/ws0708/vorkurs-skript.pdf |access-date=2017-07-26 |archive-url=https://web.archive.org/web/20170726195140/https://www.math.uni-konstanz.de/numerik/personen/gubisch/de/teaching/ws0708/vorkurs-skript.pdf |archive-date=2017-07-26}}</ref>
<ref name="Mejlbro_2006">{{cite book |title=Real Functions in One Variable – Calculus |volume=1a |author-first1=Leif |author-last1=Mejlbro |publisher=[[ Ventus Publishing ApS]] / [[ Bookboon]] |date=2006 |edition=1 |isbn=87-7681-117-4 |url=http://lib.bvu.edu.vn/bitstream/TVDHBRVT/15641/1/Real-Functions-in-One-Variable.pdf |access-date=2017-07-26 |archive-url=https://web.archive.org/web/20170726213654/http://lib.bvu.edu.vn/bitstream/TVDHBRVT/15641/1/Real-Functions-in-One-Variable.pdf |archive-date=2017-07-26}}</ref>
<ref name="Mejlbro_2008">{{cite book |title=The Argument Principle and Many-valued Functions - Complex Functions Examples |volume=c-9 |author-first1=Leif |author-last1=Mejlbro |publisher=[[ Ventus Publishing ApS]] / [[ Bookboon]] |date=2008 |edition=1 |isbn=978-87-7681-395-6 |url=http://www.westeastuniversity.com/books/Complex%20Functions%20Examples%20c-9.pdf |access-date=2017-07-26 |archive-url=https://web.archive.org/web/20170726213220/http://www.westeastuniversity.com/books/Complex%20Functions%20Examples%20c-9.pdf |archive-date=2017-07-26}}</ref>
<ref name="Mejlbro_2010">{{cite book |title=Stability, Riemann Surfaces, Conformal Mappings - Complex Functions Theory |volume=a-3 |author-first1=Leif |author-last1=Mejlbro |publisher=[[ Ventus Publishing ApS]] / [[ Bookboon]] |date=2010-11-11 |edition=1 |isbn=978-87-7681-702-2 |id={{ISBN|87-7681-702-4}} |url=http://netsaver.myds.me/sym/pub/Netsaver%20Library/Mejlbro,%20Leif/Complex%20Functions%20Theory,%20vol.3%20-%20S%20(2365)/Complex%20Functions%20Theory,%20vol.3%20-%20Mejlbro,%20Leif.pdf |access-date=2017-07-26 |archive-url=https://web.archive.org/web/20170726203321/http://netsaver.myds.me/sym/pub/Netsaver%20Library/Mejlbro,%20Leif/Complex%20Functions%20Theory,%20vol.3%20-%20S%20(2365)/Complex%20Functions%20Theory,%20vol.3%20-%20Mejlbro,%20Leif.pdf |archive-date=2017-07-26 }}</ref>
<ref name="Duran_2012">{{cite book |title=Mathematical methods for wave propagation in science and engineering |volume=1: Fundamentals |author-first=Mario |author-last=Durán |publisher=Ediciones UC |date=2012 |edition=1 |isbn=978-956141314-6 |id={{ISBN|956141314-0}} |page=89}}</ref>
<ref name="Weltner_2014">{{cite book |title=Mathematics for Physicists and Engineers: Fundamentals and Interactive Study Guide |author-first1=Klaus |author-last1=Weltner |author-first2=Sebastian |author-last2=John |author-first3=Wolfgang J. |author-last3=Weber |author-first4=Peter |author-last4=Schuster |author-first5=Jean |author-last5=Grosjean |publisher=[[Springer Science+Business Media]] |date=2014-06-27 (1ª ed. 2009) |edition=2 |isbn=978-364254124-7 |id={{ISBN|3642541240}} |url=https://books.google.com/books?isbn=3642541240}}</ref>
<ref name="Reimers_Lapdf">Detlef Reimers http://tug.ctan.org/macros/latex/contrib/lapdf/fplot.pdf</ref>
}}

==Bibliografía==
* [[ Herbert Busemann]] y Paul J. Kelly (1953) '' Geometría proyectiva y métricas proyectivas '', página 207, [[Academic Press]].

==Enlaces externos==
* {{springer|title=Inverse hyperbolic functions|id=p/i052370}}

{{Funciones trigonométricas e hiperbólicas}}
{{Control de autoridades}}
[[Categoría:Funciones hiperbólicas inversas| ]]