user
Is sinh bijective on the set R
alphonsio

Graph of the sinh function

The hyperbolic sine function is bijective on the set R\mathbb{R}.


To demonstrate bijectivity, we'll show that for any x∈Rx \in \R it admits a unique solution yy in its arrival set, in this case R\R.

We'll now show that the function f(x)=yf(x)=y has a single solution with y∈Ry \in \R.

Let's solve the equation f(x)=yf(x)=y, with unknown x∈Rx \in \R. To do this, let set X=exX=e^x.
As a reminder, ex>0e^x>0, so X>0X>0. This point is important for what follows.

f(x)=ex−e−x2⟺X−1X=2yf(x)= \frac{e^x-e^{-x}}{2} \Longleftrightarrow X-\frac{1}{X}=2y
X2−2Xy−1=0X^2 - 2Xy -1 =0

Using the relation (X−y)2=X2+y2−2Xy(X-y)^2 = X^2 + y^2 -2Xy, we can write :

(X−y)2−y2−1=0(X-y)^2 -y^2 - 1 = 0
(X−y)2=y2+1(X-y)^2 = y^2+1

X=y±y2+1X = y \pm \sqrt{y^2 + 1}

There are therefore two solutions for XX :

X1=y+y2+1X2=y−y2+1\begin{align*} X_1 &=& y + \sqrt{y^2 + 1} \\ X_2 &=& y - \sqrt{y^2 + 1} \end{align*}

Analysis of X2X_2

For all y∈Ry \in \R, X2=y−y2+1<0X_2 = y - \sqrt{y^2 + 1} <0, since y≤y2<y2+1y \leq \sqrt{y^2} < \sqrt{y^2+1} ).
X2X_2 can't be a solution because X=ex>0X=e^x >0, or X2<0X_2<0.

Analysis of X1X_1

Similarly, y+y2+1>0y+\sqrt{y^2+ 1} > 0, so X=y+y2+1X = y + \sqrt{y^2 + 1}.
So X1X_1 is a solution of f(x)=yf(x)=y, because X1>0X_1>0 .

Conclusion

So, for all y∈Ry \in \R, the equation has a unique solution (defined on R\R ):

x=ln(y+y2+1)x = ln(y + \sqrt{y^2+1})

In conclusion, ff is bijective and its reciprocal function is f−1:{R→Rx→ln(y+y2+1)f^{-1} : \begin{cases} \R \rightarrow \R \\ x \rightarrow ln(y + \sqrt{y^2+1}) \end{cases}

Reciprocal function of (e(x)-e(-x))/2

To sum up, the function sinhsinh is bijective on the set R\mathbb{R}.