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 xRx \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 yRy \in \R.

Let's solve the equation f(x)=yf(x)=y, with unknown xRx \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)=exex2X1X=2yf(x)= \frac{e^x-e^{-x}}{2} \Longleftrightarrow X-\frac{1}{X}=2y
X22Xy1=0X^2 - 2Xy -1 =0

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

(Xy)2y21=0(X-y)^2 -y^2 - 1 = 0
(Xy)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=yy2+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 yRy \in \R, X2=yy2+1<0X_2 = y - \sqrt{y^2 + 1} <0, since yy2<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 yRy \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 f1:{RRxln(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}.