CP 8.1 - The functions sinh, cosh and tanh

CP 8.1 - The functions sinh, cosh and tanh

Build three new functions from exponentials, understand their domains, ranges and graphs, and use their identities to solve exact equations (CP 8.1). Their names resemble trigonometric functions, but their behaviour comes from exponentials rather than repeated motion round a circle.

Three functions made from exponentials

Can an equation such as sinh⁡2x=4sinh⁡x\sinh 2x=4\sinh x have three real solutions even though the exponential function is one-to-one? It can: the new functions combine exponentials in different ways. You will find all three solutions at the end.

Take x=ln⁡3x=\ln3. Then ex=3\mathrm{e}^x=3 and e−x=1/3\mathrm{e}^{-x}=1/3. Their half-sum is 5/35/3; their half-difference is 4/34/3. These two combinations are the starting point.

You already know

From A-level Mathematics, ex>0\mathrm{e}^x>0 for every real xx, e−x=1/ex\mathrm{e}^{-x}=1/\mathrm{e}^x, and ln⁡\ln reverses the exponential function. In particular, eln⁡a=a\mathrm{e}^{\ln a}=a requires a>0a>0.

The names hyperbolic sine, hyperbolic cosine and hyperbolic tangent are abbreviated as follows. Read sinh⁡x\sinh x as one function, not as a product of letters.

Hyperbolic functions

For real xx,

sinh⁡x=ex−e−x2,cosh⁡x=ex+e−x2,tanh⁡x=sinh⁡xcosh⁡x\sinh x=\frac{\mathrm{e}^x-\mathrm{e}^{-x}}2, \qquad \cosh x=\frac{\mathrm{e}^x+\mathrm{e}^{-x}}2, \qquad \tanh x=\frac{\sinh x}{\cosh x}

For example, sinh⁡0=0\sinh0=0, cosh⁡0=1\cosh0=1 and tanh⁡0=0\tanh0=0. These are exponential definitions; sinh⁡x\sinh x does not mean sin⁡x\sin x with a new spelling.

Not in the formula booklet: learn it.

The denominator of tanh⁡x\tanh x is never zero: cosh⁡x\cosh x is the half-sum of two positive numbers. Thus all three functions are defined for every real input.

Worked example 1: exact values at a logarithm

Question. Find the exact values of sinh⁡(ln⁡3)\sinh(\ln3), cosh⁡(ln⁡3)\cosh(\ln3) and tanh⁡(ln⁡3)\tanh(\ln3).

Plan. Evaluate the exponential and its reciprocal, then use the half-difference, half-sum and quotient.

eln⁡3=3,e−ln⁡3=13reciprocal exponentialssinh⁡(ln⁡3)=3−1/32=43half-differencecosh⁡(ln⁡3)=3+1/32=53half-sumtanh⁡(ln⁡3)=4/35/3=45quotient\begin{aligned} \mathrm{e}^{\ln3}&=3,\qquad \mathrm{e}^{-\ln3}=\frac13 && \text{reciprocal exponentials} \\ \sinh(\ln3)&=\frac{3-1/3}{2}=\frac43 && \text{half-difference} \\ \cosh(\ln3)&=\frac{3+1/3}{2}=\frac53 && \text{half-sum} \\ \tanh(\ln3)&=\frac{4/3}{5/3}=\frac45 && \text{quotient} \end{aligned}

Why this step? Evaluating the exponentials first keeps every quantity exact and makes the reciprocal easy to see.

Answer. sinh⁡(ln⁡3)=4/3\sinh(\ln3)=4/3, cosh⁡(ln⁡3)=5/3\cosh(\ln3)=5/3 and tanh⁡(ln⁡3)=4/5\tanh(\ln3)=4/5.

Check. (5/3)2−(4/3)2=1(5/3)^2-(4/3)^2=1; you will soon see why this relationship always holds.

Change only the sign of the input. The two exponentials exchange places, so their difference reverses sign but their sum does not.

Worked example 2: changing the input's sign

Question. Find sinh⁡(−ln⁡3)\sinh(-\ln3), cosh⁡(−ln⁡3)\cosh(-\ln3) and tanh⁡(−ln⁡3)\tanh(-\ln3) exactly.

Plan. Exchange the exponential values and use the same definitions.

e−ln⁡3=13,eln⁡3=3input is now negativesinh⁡(−ln⁡3)=1/3−32=−43difference reversescosh⁡(−ln⁡3)=1/3+32=53sum is unchangedtanh⁡(−ln⁡3)=−45divide the two values\begin{aligned} \mathrm{e}^{-\ln3}&=\frac13,\qquad \mathrm{e}^{\ln3}=3 && \text{input is now negative} \\ \sinh(-\ln3)&=\frac{1/3-3}{2}=-\frac43 && \text{difference reverses} \\ \cosh(-\ln3)&=\frac{1/3+3}{2}=\frac53 && \text{sum is unchanged} \\ \tanh(-\ln3)&=-\frac45 && \text{divide the two values} \end{aligned}

Why this step? The sign of the input swaps the terms in the numerator of sinh⁡\sinh; it does not put a minus sign in front of their sum.

Answer. The values are −4/3-4/3, 5/35/3 and −4/5-4/5, respectively.

Check. The definitions give sinh⁡(−x)=−sinh⁡x\sinh(-x)=-\sinh x, cosh⁡(−x)=cosh⁡x\cosh(-x)=\cosh x, and consequently tanh⁡(−x)=−tanh⁡x\tanh(-x)=-\tanh x.

These symmetries will give two of the graphs rotational symmetry about the origin and the other reflection symmetry in the vertical axis.

Watch out

Wrong: sinh⁡x=(ex+e−x)/2\sinh x=(\mathrm{e}^x+\mathrm{e}^{-x})/2. That is cosh⁡x\cosh x. The minus sign distinguishes the functions and controls the signs in their identities.

Use a different logarithmic input without rounding.

Graphs, domains and ranges

The exponential definitions determine the shapes of the graphs, including their symmetry, turning points and asymptotes.

For sinh⁡x\sinh x, increasing xx increases ex\mathrm{e}^x and decreases e−x\mathrm{e}^{-x}. Subtracting the latter makes both changes increase the result. Thus sinh⁡x\sinh x is strictly increasing, passes through the origin, and takes every real value: it grows without bound to the right and becomes arbitrarily negative to the left.

For cosh⁡x\cosh x, the symmetry is even. Its smallest value is 11, because

cosh⁡x−1=12(ex/2−e−x/2)2≥0\cosh x-1=\frac12\left(\mathrm{e}^{x/2}-\mathrm{e}^{-x/2}\right)^2\ge0

Equality holds only at x=0x=0. The function decreases towards (0,1)(0,1) on the left and increases away from it on the right. It never crosses either axis except for its vertical intercept (0,1)(0,1).

For tanh⁡x\tanh x, divide the defining numerator and denominator by e−x\mathrm{e}^{-x}:

tanh⁡x=e2x−1e2x+1=1−2e2x+1\tanh x=\frac{\mathrm{e}^{2x}-1}{\mathrm{e}^{2x}+1} =1-\frac2{\mathrm{e}^{2x}+1}

As xx increases, the last fraction decreases, so tanh⁡x\tanh x increases. It approaches 11 as xx tends to infinity and −1-1 as xx tends to negative infinity, but reaches neither at a finite input.

[DIAGRAM: asset_name: The three hyperbolic graphs; asset_slug: 9fm0-hyperbolic-graphs; caption: All three domains are real, but their ranges and symmetries differ; description: Three separate labelled Cartesian panels show sinh x increasing through the origin with odd symmetry, cosh x with even symmetry and minimum (0,1), and tanh x increasing through the origin between dashed horizontal asymptotes y equals minus 1 and y equals 1. Equal positive and negative horizontal extents are used, and each panel states its range.]
All three domains are real, but their ranges and symmetries differ

Domains and ranges of the hyperbolic functions

Each function has domain R\mathbb R. Their ranges are

FunctionRangeSymmetrysinh⁡xRoddcosh⁡x[1,∞)eventanh⁡x(−1,1)odd\begin{array}{c|c|c} \text{Function}&\text{Range}&\text{Symmetry}\\ \hline \sinh x&\mathbb R&\text{odd}\\ \cosh x&[1,\infty)&\text{even}\\ \tanh x&(-1,1)&\text{odd} \end{array}

For example, cosh⁡x=1\cosh x=1 has one real solution, while cosh⁡x=1/2\cosh x=1/2 has none. The equation tanh⁡x=1\tanh x=1 has no real solution; an asymptote is not an attained value.

None of these graphs is periodic. Despite the familiar-looking names, copying the oscillating shapes of sine and cosine would give the wrong functions entirely. Their definitions and graph features are not supplied in the formula booklet; learn them.

Key idea

sinh⁡\sinh and tanh⁡\tanh are one-to-one on the real line; cosh⁡\cosh takes the same value at opposite inputs and has minimum value 11.

Use those ranges and symmetries to count solutions before calculating any.

Identities from the definitions

Hyperbolic identities can be proved by substituting the exponential definitions and collecting terms; their signs are part of the mathematics, not a detail to borrow from trigonometry.

For the fundamental identity,

cosh⁡2x−sinh⁡2x=(ex+e−x)2−(ex−e−x)24use definitions=4exe−x4=1difference of squares\begin{aligned} \cosh^2x-\sinh^2x &=\frac{(\mathrm{e}^x+\mathrm{e}^{-x})^2-(\mathrm{e}^x-\mathrm{e}^{-x})^2}{4} && \text{use definitions} \\ &=\frac{4\mathrm{e}^x\mathrm{e}^{-x}}4=1 && \text{difference of squares} \end{aligned}

The cross-terms survive with a plus sign after the subtraction. It follows that 1−tanh⁡2x=1/cosh⁡2x1-\tanh^2x=1/\cosh^2x, since cosh⁡x\cosh x never vanishes. The reciprocal 1/cosh⁡x1/\cosh x is written sech⁡x\operatorname{sech}x, so this is also 1−tanh⁡2x=sech⁡2x1-\tanh^2x=\operatorname{sech}^2x.

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account