y=arcosh⁡xy = \operatorname{arcosh} x

Inverse Hyperbolic Cosine y=arcosh⁡xy = \operatorname{arcosh} x

arcosh⁡x\operatorname{arcosh} x, the inverse hyperbolic cosine or area hyperbolic cosine, is the inverse of cosh⁡x=ex+e−x2\cosh x = \dfrac{e^x + e^{-x}}{2}1. Since cosh⁡\cosh is even and takes the same value at a point and at its negative, it has no inverse as it stands, so the inverse of the branch with x≥0x \geq 0, the principal branch, is what is called arcosh⁡\operatorname{arcosh}.

Definition and closed form

y=arcosh⁡xy = \operatorname{arcosh} x is the value yy with x=cosh⁡yx = \cosh y and y≥0y \geq 0. Written with a logarithm it has the following closed form.

arcosh⁡x=ln⁡(x+x2−1)\operatorname{arcosh} x = \ln\left(x + \sqrt{x^2 - 1}\right)

For the quantity under the root to be non-negative we need x≥1x \geq 1, and for x<1x < 1 the expression takes no real value.

Domain and range

  • The domain is x≥1x \geq 1
  • The range is y≥0y \geq 0
  • It increases monotonically
  • It is neither even nor odd

The range of cosh⁡\cosh, which was y≥1y \geq 1, has passed straight over to become the domain of the inverse.

Monotonicity

The derivative is as follows.

ddxarcosh⁡x=1x2−1(x>1)\frac{d}{dx}\operatorname{arcosh} x = \frac{1}{\sqrt{x^2 - 1}} \quad (x > 1)

It is always positive, so the function increases monotonically over its whole domain.

The tangent at the endpoint

The graph begins at the point (1,0)(1, 0). There the denominator of the derivative tends to 00, so the slope grows without bound and the tangent is vertical. The horizontal tangent that cosh⁡\cosh has at its minimum, x=0x = 0, appears as a vertical tangent on the inverse. A small increase of xx beyond 11 lifts yy abruptly.

Notable values

xxarcosh⁡x\operatorname{arcosh} x
1100
22ln⁡(2+3)≈1.3170\ln(2 + \sqrt{3}) \approx 1.3170
33≈1.7627\approx 1.7627
1010≈2.9932\approx 2.9932

For large xx we have x2−1≈x\sqrt{x^2-1} \approx x, so arcosh⁡x≈ln⁡(2x)\operatorname{arcosh} x \approx \ln(2x) and the growth is logarithmic and slow. There is no horizontal asymptote.

Comparison with the inverse hyperbolic sine

Itemarsinh⁡x\operatorname{arsinh} xarcosh⁡x\operatorname{arcosh} x
Domainall real numbersx≥1x \geq 1
Rangeall real numbersy≥0y \geq 0
Closed formln⁡(x+x2+1)\ln(x + \sqrt{x^2+1})ln⁡(x+x2−1)\ln(x + \sqrt{x^2-1})
Derivative1x2+1\dfrac{1}{\sqrt{x^2+1}}1x2−1\dfrac{1}{\sqrt{x^2-1}}
Tangent at the endnonevertical at (1,0)(1, 0)

A single sign under the root is the whole difference, and yet it decides whether the domain is the entire line or a half-line.

Applications

It appears as the result of an integral.

∫dxx2−1=arcosh⁡x+C(x>1)\int \frac{dx}{\sqrt{x^2 - 1}} = \operatorname{arcosh} x + C \quad (x > 1)

It is used in the geometry of hyperbolas and in physical calculations such as electromagnetism and heat conduction.

  1. Inverse hyperbolic functions, Wikipedia