The hyperbolic functions are defined as combinations of the exponential functions ex and e−x.
The basic hyperbolic functions are the hyperbolic sine function and the hyperbolic cosine function. They are defined as follows:
\[\sinh x = \frac{{{e^x} - {e^{ - x}}}}{2},\;\;\cosh x = \frac{{{e^x} + {e^{ - x}}}}{2}.\]
The other hyperbolic functions tanh x, coth x, sech x, csch x are obtained from sinh x and cosh x in exactly the same way as the trigonometric functions tan x, cot x, sec x and csc x are defined in terms of sin x and cos x:
\[\sinh x = \frac{{{e^x} - {e^{ - x}}}}{2},\;\;\cosh x = \frac{{{e^x} + {e^{ - x}}}}{2}.\]
The derivatives of hyperbolic functions can be easily found as these functions are defined in terms of exponential functions. So, the derivatives of the hyperbolic sine and hyperbolic cosine functions are given by
As you can see, the derivatives of the hyperbolic functions are very similar to the derivatives of trigonometric functions. However, it is important to note the difference in signs! If the derivative of the cosine function is given by
\[\left( {\cos x} \right)^\prime = - \sin x,\]
then the minus sign is missing for the derivative of the hyperbolic cosine:
\[\left( {\cosh x} \right)^\prime = \sinh x.\]
For the secant function, the situation with the sign is exactly reversed:
Consider now the derivatives of \(6\) inverse hyperbolic functions. The corresponding differentiation formulas can be derived using the inverse function theorem.
Take, for example, the function \(y = f\left( x \right) \) \(= \text{arcsinh}\,x\) (inverse hyperbolic sine). Together with the function \(x = \varphi \left( y \right) \) \(= \sinh y\) they form a pair of mutually inverse funtions. Then the derivative of the inverse hyperbolic sine is given by
As you can see, the derivatives of the functions \(\text{arctanh}\,x\) and \(\text{arccoth}\,x\) are the same, but they are determined for different values of \(x.\) The domain restrictions for the inverse hyperbolic tangent and cotangent follow from the range of the functions \(y = \tanh x\) and \(y = \coth x,\) respectively.
We also derive the derivatives of the inverse hyperbolic secant and cosecant, though these functions are rare.
In accordance with the described algorithm, we write two mutually inverse functions: \(y = f\left( x \right) = \text{arcsech}\,x\) \(\left( {x \in \left( {0,1} \right]} \right)\) and \(x = \varphi \left( y \right) = \text{sech}\,y\) \(\left( {y \gt 0} \right).\)
Calculate the derivative:
\[\left( {\text{arcsech}\,x} \right)^\prime = f'\left( x \right) = \frac{1}{{\varphi'\left( y \right)}} = \frac{1}{{{{\left( {\text{sech}\,y} \right)}^\prime }}} = -\frac{1}{{\text{sech}\,y\tanh y}}.\]
Express \(\tanh y\) in terms of \(\text{sech}\,y\) given that \(y \gt 0:\)
Similarly, we can find the derivative of the inverse hyperbolic cosecant. Suppose that \(y = f\left( x \right) \) \(= \text{arccsch}\,x\) \(\left( {x \in \mathbb{R},\;x \ne 0} \right)\) and \(x = \varphi \left( y \right) \) \(= \text{csch}\,y\) \(\left( {y \ne 0} \right).\)
We first consider the branch \(x \gt 0\). In this case, the variable \(y\) takes the values \(y \gt 0.\) The derivative of the inverse hyperbolic cosecant is expressed as
\[\left( {\text{arccsch}\,x} \right)^\prime = f'\left( x \right) = \frac{1}{{\varphi'\left( y \right)}} = \frac{1}{{{{\left( {\text{csch}\,y} \right)}^\prime }}} = - \frac{1}{{\text{csch}\,y\coth y}}.\]
Now we consider a pair of mutually inverse functions for \(x \lt 0\). Due to the oddness of the hyperbolic cosecant, this corresponds to the condition \(y \lt 0\). Moreover, the hyperbolic cosecant is also negative for \(y \lt 0\): \(\coth y \gt 0\), i.e. in this case it is necessary to write the hyperbolic identity as