# §4.37(i) General Definitions

The general values of the inverse hyperbolic functions are defined by

 4.37.1 $\displaystyle\mathop{\mathrm{Arcsinh}\/}\nolimits z$ $\displaystyle=\int_{0}^{z}\frac{dt}{(1+t^{2})^{1/2}},$ Defines: $\mathop{\mathrm{Arcsinh}\/}\nolimits z$: general inverse hyperbolic sine function Symbols: $dx$: differential of $x$, $\int$: integral and $z$: complex variable Referenced by: §4.37(i), §4.37(ii) Permalink: http://dlmf.nist.gov/4.37.E1 Encodings: TeX, pMML, png 4.37.2 $\displaystyle\mathop{\mathrm{Arccosh}\/}\nolimits z$ $\displaystyle=\int_{1}^{z}\frac{dt}{(t^{2}-1)^{1/2}},$ Defines: $\mathop{\mathrm{Arccosh}\/}\nolimits z$: general inverse hyperbolic cosine function Symbols: $dx$: differential of $x$, $\int$: integral and $z$: complex variable Referenced by: §4.37(i) Permalink: http://dlmf.nist.gov/4.37.E2 Encodings: TeX, pMML, png 4.37.3 $\displaystyle\mathop{\mathrm{Arctanh}\/}\nolimits z$ $\displaystyle=\int_{0}^{z}\frac{dt}{1-t^{2}},$ $z\neq\pm 1$, Defines: $\mathop{\mathrm{Arctanh}\/}\nolimits z$: general inverse hyperbolic tangent function Symbols: $dx$: differential of $x$, $\int$: integral and $z$: complex variable Referenced by: §4.37(i), §4.37(ii) Permalink: http://dlmf.nist.gov/4.37.E3 Encodings: TeX, pMML, png 4.37.4 $\displaystyle\mathop{\mathrm{Arccsch}\/}\nolimits z$ $\displaystyle=\mathop{\mathrm{Arcsinh}\/}\nolimits\!\left(1/z\right),$ Defines: $\mathop{\mathrm{Arccsch}\/}\nolimits z$: general inverse hyperbolic cosecant function Symbols: $\mathop{\mathrm{Arcsinh}\/}\nolimits z$: general inverse hyperbolic sine function and $z$: complex variable Permalink: http://dlmf.nist.gov/4.37.E4 Encodings: TeX, pMML, png 4.37.5 $\displaystyle\mathop{\mathrm{Arcsech}\/}\nolimits z$ $\displaystyle=\mathop{\mathrm{Arccosh}\/}\nolimits\!\left(1/z\right),$ Defines: $\mathop{\mathrm{Arcsech}\/}\nolimits z$: general inverse hyperbolic secant function Symbols: $\mathop{\mathrm{Arccosh}\/}\nolimits z$: general inverse hyperbolic cosine function and $z$: complex variable Permalink: http://dlmf.nist.gov/4.37.E5 Encodings: TeX, pMML, png 4.37.6 $\displaystyle\mathop{\mathrm{Arccoth}\/}\nolimits z$ $\displaystyle=\mathop{\mathrm{Arctanh}\/}\nolimits\!\left(1/z\right).$ Defines: $\mathop{\mathrm{Arccoth}\/}\nolimits z$: general inverse hyperbolic cotangent function Symbols: $\mathop{\mathrm{Arctanh}\/}\nolimits z$: general inverse hyperbolic tangent function and $z$: complex variable Permalink: http://dlmf.nist.gov/4.37.E6 Encodings: TeX, pMML, png

In (4.37.1) the integration path may not pass through either of the points $t=\pm i$, and the function $(1+t^{2})^{1/2}$ assumes its principal value when $t$ is real. In (4.37.2) the integration path may not pass through either of the points $\pm 1$, and the function $(t^{2}-1)^{1/2}$ assumes its principal value when $t\in(1,\infty)$. Elsewhere on the integration paths in (4.37.1) and (4.37.2) the branches are determined by continuity. In (4.37.3) the integration path may not intersect $\pm 1$. Each of the six functions is a multivalued function of $z$. $\mathop{\mathrm{Arcsinh}\/}\nolimits z$ and $\mathop{\mathrm{Arccsch}\/}\nolimits z$ have branch points at $z=\pm i$; the other four functions have branch points at $z=\pm 1$.

# §4.37(ii) Principal Values

The principal values (or principal branches) of the inverse $\mathop{\sinh\/}\nolimits$, $\mathop{\cosh\/}\nolimits$, and $\mathop{\tanh\/}\nolimits$ are obtained by introducing cuts in the $z$-plane as indicated in Figure 4.37.1(i)-(iii), and requiring the integration paths in (4.37.1)–(4.37.3) not to cross these cuts. Compare the principal value of the logarithm (§4.2(i)). The principal branches are denoted by $\mathop{\mathrm{arcsinh}\/}\nolimits$, $\mathop{\mathrm{arccosh}\/}\nolimits$, $\mathop{\mathrm{arctanh}\/}\nolimits$ respectively. Each is two-valued on the corresponding cut(s), and each is real on the part of the real axis that remains after deleting the intersections with the corresponding cuts.

The principal values of the inverse hyperbolic cosecant, hyperbolic secant, and hyperbolic tangent are given by

 4.37.7 $\displaystyle\mathop{\mathrm{arccsch}\/}\nolimits z$ $\displaystyle=\mathop{\mathrm{arcsinh}\/}\nolimits\!\left(1/z\right),$ Defines: $\mathop{\mathrm{arccsch}\/}\nolimits z$: inverse hyperbolic cosecant function Symbols: $\mathop{\mathrm{arcsinh}\/}\nolimits z$: inverse hyperbolic sine function and $z$: complex variable A&S Ref: 4.6.4 Referenced by: §4.37(iv), §4.45(i), §4.45(ii) Permalink: http://dlmf.nist.gov/4.37.E7 Encodings: TeX, pMML, png 4.37.8 $\displaystyle\mathop{\mathrm{arcsech}\/}\nolimits z$ $\displaystyle=\mathop{\mathrm{arccosh}\/}\nolimits\!\left(1/z\right).$ Defines: $\mathop{\mathrm{arcsech}\/}\nolimits z$: inverse hyperbolic secant function Symbols: $\mathop{\mathrm{arccosh}\/}\nolimits z$: inverse hyperbolic cosine function and $z$: complex variable A&S Ref: 4.6.5 Permalink: http://dlmf.nist.gov/4.37.E8 Encodings: TeX, pMML, png 4.37.9 $\displaystyle\mathop{\mathrm{arccoth}\/}\nolimits z$ $\displaystyle=\mathop{\mathrm{arctanh}\/}\nolimits\!\left(1/z\right),$ $z\neq\pm 1$. Defines: $\mathop{\mathrm{arccoth}\/}\nolimits z$: inverse hyperbolic cotangent function Symbols: $\mathop{\mathrm{arctanh}\/}\nolimits z$: inverse hyperbolic tangent function and $z$: complex variable A&S Ref: 4.6.6 Referenced by: §4.37(iv), §4.45(i), §4.45(ii) Permalink: http://dlmf.nist.gov/4.37.E9 Encodings: TeX, pMML, png

These functions are analytic in the cut plane depicted in Figure 4.37.1(iv), (v), (vi), respectively.

Except where indicated otherwise, it is assumed throughout the DLMF that the inverse hyperbolic functions assume their principal values.

Graphs of the principal values for real arguments are given in §4.29. This section also indicates conformal mappings, and surface plots for complex arguments.

# §4.37(iii) Reflection Formulas

 4.37.10 $\displaystyle\mathop{\mathrm{arcsinh}\/}\nolimits\!\left(-z\right)$ $\displaystyle=-\mathop{\mathrm{arcsinh}\/}\nolimits z.$ Symbols: $\mathop{\mathrm{arcsinh}\/}\nolimits z$: inverse hyperbolic sine function and $z$: complex variable A&S Ref: 4.6.11 Permalink: http://dlmf.nist.gov/4.37.E10 Encodings: TeX, pMML, png 4.37.11 $\displaystyle\mathop{\mathrm{arccosh}\/}\nolimits\!\left(-z\right)$ $\displaystyle=\pm\pi i+\mathop{\mathrm{arccosh}\/}\nolimits z,$ $\imagpart{z}\gtrless 0$. Symbols: $\mathop{\mathrm{arccosh}\/}\nolimits z$: inverse hyperbolic cosine function, $\imagpart{}$: imaginary part and $z$: complex variable A&S Ref: 4.6.12 (has an error even in the tenth printing.) Referenced by: §4.37(iii) Permalink: http://dlmf.nist.gov/4.37.E11 Encodings: TeX, pMML, png 4.37.12 $\displaystyle\mathop{\mathrm{arctanh}\/}\nolimits\!\left(-z\right)$ $\displaystyle=-\mathop{\mathrm{arctanh}\/}\nolimits z,$ $z\neq\pm 1$. Symbols: $\mathop{\mathrm{arctanh}\/}\nolimits z$: inverse hyperbolic tangent function and $z$: complex variable A&S Ref: 4.6.13 Permalink: http://dlmf.nist.gov/4.37.E12 Encodings: TeX, pMML, png 4.37.13 $\displaystyle\mathop{\mathrm{arccsch}\/}\nolimits\!\left(-z\right)$ $\displaystyle=-\mathop{\mathrm{arccsch}\/}\nolimits z.$ 4.37.14 $\displaystyle\mathop{\mathrm{arcsech}\/}\nolimits\!\left(-z\right)$ $\displaystyle=\mp\pi i+\mathop{\mathrm{arcsech}\/}\nolimits z,$ $\imagpart{z}\gtrless 0$. 4.37.15 $\displaystyle\mathop{\mathrm{arccoth}\/}\nolimits\!\left(-z\right)$ $\displaystyle=-\mathop{\mathrm{arccoth}\/}\nolimits z,$ $z\neq\pm 1$.

# §4.37(iv) Logarithmic Forms

Throughout this subsection all quantities assume their principal values.

# Inverse Hyperbolic Sine

 4.37.16 $\mathop{\mathrm{arcsinh}\/}\nolimits z=\mathop{\ln\/}\nolimits\!\left((z^{2}+1% )^{1/2}+z\right),$ $z/i\in\Complex\setminus(-\infty,-1)\cup(1,\infty)$;

compare Figure 4.37.1(i). On the cuts

 4.37.17 $\mathop{\mathrm{arcsinh}\/}\nolimits\!\left(iy\right)=\tfrac{1}{2}\pi i\pm% \mathop{\ln\/}\nolimits\!\left((y^{2}-1)^{1/2}+y\right),$ $y\in[1,\infty)$,
 4.37.18 $\mathop{\mathrm{arcsinh}\/}\nolimits\!\left(iy\right)=-\tfrac{1}{2}\pi i\pm% \mathop{\ln\/}\nolimits\!\left((y^{2}-1)^{1/2}-y\right),$ $y\in(-\infty,-1]$,

the upper/lower signs corresponding to the right/left sides.

# Inverse Hyperbolic Cosine

 4.37.19 $\mathop{\mathrm{arccosh}\/}\nolimits z=\mathop{\ln\/}\nolimits\!\left(\pm(z^{2% }-1)^{1/2}+z\right),$ $z\in\Complex\setminus(-\infty,1)$,

the upper or lower sign being taken according as $\realpart{z}\gtrless 0$; compare Figure 4.37.1(ii). Also,

 4.37.20 $\mathop{\mathrm{arccosh}\/}\nolimits\!\left(iy\right)=\pm\tfrac{1}{2}\pi i+% \mathop{\ln\/}\nolimits\!\left((y^{2}+1)^{1/2}\pm y\right),$ $y\gtrless 0$.

It should be noted that the imaginary axis is not a cut; the function defined by (4.37.19) and (4.37.20) is analytic everywhere except on $(-\infty,1]$. Compare Figure 4.37.1(ii).

An equivalent definition is

 4.37.21 $\mathop{\mathrm{arccosh}\/}\nolimits z=2\mathop{\ln\/}\nolimits\!\left(\left(% \frac{z+1}{2}\right)^{1/2}+\left(\frac{z-1}{2}\right)^{1/2}\right),$ $z\in\Complex\setminus(-\infty,1)$;

see Kahan (1987).

On the part of the cuts from $-1$ to $1$

 4.37.22 $\mathop{\mathrm{arccosh}\/}\nolimits x=\pm\mathop{\ln\/}\nolimits\!\left(i(1-x% ^{2})^{1/2}+x\right),$ $x\in(-1,1]$,

the upper/lower sign corresponding to the upper/lower side.

On the part of the cut from $-\infty$ to $-1$

 4.37.23 $\mathop{\mathrm{arccosh}\/}\nolimits x=\pm\pi i+\mathop{\ln\/}\nolimits\!\left% ((x^{2}-1)^{1/2}-x\right),$ $x\in(-\infty,-1]$,

the upper/lower sign corresponding to the upper/lower side.

# Inverse Hyperbolic Tangent

 4.37.24 $\mathop{\mathrm{arctanh}\/}\nolimits z=\tfrac{1}{2}\mathop{\ln\/}\nolimits\!% \left(\frac{1+z}{1-z}\right),$ $z\in\Complex\setminus(-\infty,-1]\cup[1,\infty)$;

compare Figure 4.37.1(iii). On the cuts

 4.37.25 $\mathop{\mathrm{arctanh}\/}\nolimits x=\pm\tfrac{1}{2}\pi i+\tfrac{1}{2}% \mathop{\ln\/}\nolimits\!\left(\frac{x+1}{x-1}\right),$ $x\in(-\infty,-1)\cup(1,\infty)$,

the upper/lower sign corresponding to the upper/lower sides.

# Other Inverse Functions

For the corresponding results for $\mathop{\mathrm{arccsch}\/}\nolimits z$, $\mathop{\mathrm{arcsech}\/}\nolimits z$, and $\mathop{\mathrm{arccoth}\/}\nolimits z$, use (4.37.7)–(4.37.9); compare §4.23(iv).

# §4.37(v) Fundamental Property

With $k\in\Integer$, the general solutions of the equations

 4.37.26 $z=\mathop{\sinh\/}\nolimits w,$
 4.37.27 $z=\mathop{\cosh\/}\nolimits w,$
 4.37.28 $z=\mathop{\tanh\/}\nolimits w,$

are respectively given by

 4.37.29 $\displaystyle w$ $\displaystyle=\mathop{\mathrm{Arcsinh}\/}\nolimits z$ $\displaystyle=(-1)^{k}\mathop{\mathrm{arcsinh}\/}\nolimits z+k\pi i,$ 4.37.30 $\displaystyle w$ $\displaystyle=\mathop{\mathrm{Arccosh}\/}\nolimits z$ $\displaystyle=\pm\mathop{\mathrm{arccosh}\/}\nolimits z+2k\pi i,$ 4.37.31 $\displaystyle w$ $\displaystyle=\mathop{\mathrm{Arctanh}\/}\nolimits z$ $\displaystyle=\mathop{\mathrm{arctanh}\/}\nolimits z+k\pi i,$ $z\neq\pm 1$.

# §4.37(vi) Interrelations

Table 4.30.1 can also be used to find interrelations between inverse hyperbolic functions. For example, $\mathop{\mathrm{arcsech}\/}\nolimits a=\mathop{\mathrm{arccoth}\/}\nolimits\!% \left((1-a^{2})^{-1/2}\right)$.