Hyperbolic Functions

A Comprehensive Tutorial: From Geometric Foundations to Advanced Applications

1. Geometric Foundation

Just as circular trigonometric functions arise naturally from the unit circle, hyperbolic functions emerge from the geometry of the hyperbola. This geometric perspective provides intuition for their properties and explains the striking parallels (and important differences) with circular functions.

1.1 Conic Sections and the Hyperbola

A hyperbola is one of the four conic sections formed by intersecting a plane with a double cone. The standard form of a rectangular hyperbola is:

\[x^2 - y^2 = 1\]

Key Properties of the Unit Hyperbola \(x^2 - y^2 = 1\):

Two branches: right branch (\(x \geq 1\)) and left branch (\(x \leq -1\))
Vertices at \((1, 0)\) and \((-1, 0)\)
Asymptotes: \(y = x\) and \(y = -x\)
Symmetric about both axes

1.2 Unit Circle vs. Unit Hyperbola

Property	Unit Circle	Unit Hyperbola
Equation	\(x^2 + y^2 = 1\)	\(x^2 - y^2 = 1\)
Parametric form	\((\cos t, \sin t)\)	\((\cosh t, \sinh t)\)
Fundamental identity	\(\cos^2 t + \sin^2 t = 1\)	\(\cosh^2 t - \sinh^2 t = 1\)

Why This Matters: The sign change from + to − fundamentally alters the geometry. While circular functions are periodic and bounded, hyperbolic functions are non-periodic and unbounded.

1.3 Parametrization of the Hyperbola

We parametrize the right branch of the unit hyperbola using:

\[x = \cosh t = \frac{e^t + e^{-t}}{2}, \quad y = \sinh t = \frac{e^t - e^{-t}}{2}\]

Verification that \((\cosh t, \sinh t)\) lies on the hyperbola:

\begin{align} (\cosh t)^2 - (\sinh t)^2 &= \left[\frac{e^t + e^{-t}}{2}\right]^2 - \left[\frac{e^t - e^{-t}}{2}\right]^2 \\ &= \frac{(e^t + e^{-t})^2 - (e^t - e^{-t})^2}{4} \\ &= \frac{4e^t e^{-t}}{4} = 1 \quad \checkmark \end{align}

1.4 The Fundamental Identity

\[\cosh^2 t - \sinh^2 t = 1\]

This is the hyperbolic analogue of the Pythagorean identity, with a crucial minus sign.

1.5 Area Interpretation

For the unit hyperbola, the parameter \(t\) equals twice the area of the hyperbolic sector swept out from the positive x-axis to the point \((\cosh t, \sinh t)\), measured from the origin. This parallels the circular case where the angle equals twice the sector area.

2. Foundation Level

2.1 Definitions Using Exponentials

Primary Hyperbolic Functions:

\[\sinh x = \frac{e^x - e^{-x}}{2} \quad \text{(hyperbolic sine)}\] \[\cosh x = \frac{e^x + e^{-x}}{2} \quad \text{(hyperbolic cosine)}\] \[\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}} \quad \text{(hyperbolic tangent)}\]

Reciprocal Functions:

\[\text{csch}\, x = \frac{1}{\sinh x}, \quad \text{sech}\, x = \frac{1}{\cosh x}, \quad \coth x = \frac{1}{\tanh x}\]

Practice Problem: Prove that \(\cosh x + \sinh x = e^x\).

Solution:

\begin{align} \cosh x + \sinh x &= \frac{e^x + e^{-x}}{2} + \frac{e^x - e^{-x}}{2} \\ &= \frac{2e^x}{2} = e^x \quad \checkmark \end{align}

Similarly, \(\cosh x - \sinh x = e^{-x}\).

2.2 Fundamental Identities

Pythagorean-Type Identities:

\[\cosh^2 x - \sinh^2 x = 1\] \[1 - \tanh^2 x = \text{sech}^2 x\] \[\coth^2 x - 1 = \text{csch}^2 x\]

Even and Odd Properties:

\[\cosh(-x) = \cosh x \quad \text{(even)}\] \[\sinh(-x) = -\sinh x \quad \text{(odd)}\]

Practice Problem: Simplify \(\cosh^2 x + \sinh^2 x\).

Solution:

\[\cosh^2 x + \sinh^2 x = \frac{2e^{2x} + 2e^{-2x}}{4} = \frac{e^{2x} + e^{-2x}}{2} = \cosh(2x)\]

Note: Unlike circular functions where \(\cos^2 x + \sin^2 x = 1\), this gives \(\cosh(2x)\)!

2.3 Comparison with Circular Functions

Type	Circular	Hyperbolic
Fundamental	\(\cos^2\theta + \sin^2\theta = 1\)	\(\cosh^2 x - \sinh^2 x = 1\)
Double Angle	\(\cos 2\theta = \cos^2\theta - \sin^2\theta\)	\(\cosh 2x = \cosh^2 x + \sinh^2 x\)
Addition	\(\cos(\alpha+\beta) = \cos\alpha\cos\beta - \sin\alpha\sin\beta\)	\(\cosh(x+y) = \cosh x \cosh y + \sinh x \sinh y\)

2.4 Domain, Range, and Graphs

\(\sinh x\):

Domain: \((-\infty, \infty)\), Range: \((-\infty, \infty)\)
Odd function, strictly increasing
Passes through origin

\(\cosh x\):

Domain: \((-\infty, \infty)\), Range: \([1, \infty)\)
Even function, minimum at \((0, 1)\)
Forms a catenary curve (shape of hanging chain)

\(\tanh x\):

Domain: \((-\infty, \infty)\), Range: \((-1, 1)\)
Odd function, horizontal asymptotes at \(y = \pm 1\)

Why This Matters: The catenary \(y = \cosh x\) appears in architecture (Gateway Arch) and engineering (hanging cables).

3. Intermediate Level

3.1 Key Algebraic Identities

Power Reduction Formulas:

\[\sinh^2 x = \frac{\cosh 2x - 1}{2}\] \[\cosh^2 x = \frac{\cosh 2x + 1}{2}\]

Product-to-Sum Identities:

\[\sinh x \cosh y = \frac{\sinh(x+y) + \sinh(x-y)}{2}\] \[\cosh x \cosh y = \frac{\cosh(x+y) + \cosh(x-y)}{2}\]

3.2 Addition and Subtraction Formulas

\[\sinh(x \pm y) = \sinh x \cosh y \pm \cosh x \sinh y\] \[\cosh(x \pm y) = \cosh x \cosh y \pm \sinh x \sinh y\] \[\tanh(x \pm y) = \frac{\tanh x \pm \tanh y}{1 \pm \tanh x \tanh y}\]

Double and Triple Angle Formulas:

\[\sinh 2x = 2\sinh x \cosh x\] \[\cosh 2x = \cosh^2 x + \sinh^2 x = 2\cosh^2 x - 1\] \[\sinh 3x = 3\sinh x + 4\sinh^3 x\]

Practice Problem: Prove \(\cosh 2x = 2\cosh^2 x - 1\).

Solution:

\begin{align} \cosh 2x &= \cosh^2 x + \sinh^2 x \\ &= \cosh^2 x + (\cosh^2 x - 1) \\ &= 2\cosh^2 x - 1 \quad \checkmark \end{align}

3.3 Differentiation

\[\frac{d}{dx}[\sinh x] = \cosh x\] \[\frac{d}{dx}[\cosh x] = \sinh x\] \[\frac{d}{dx}[\tanh x] = \text{sech}^2 x\] \[\frac{d}{dx}[\coth x] = -\text{csch}^2 x\] \[\frac{d}{dx}[\text{sech}\, x] = -\text{sech}\, x \tanh x\]

Key Observation: Compare with circular functions:
\(\frac{d}{dx}[\sin x] = \cos x\) vs. \(\frac{d}{dx}[\sinh x] = \cosh x\)
\(\frac{d}{dx}[\cos x] = -\sin x\) vs. \(\frac{d}{dx}[\cosh x] = \sinh x\) (no negative!)

Practice Problem: Find the second derivative of \(\sinh x\).

Solution:

\[\frac{d^2}{dx^2}[\sinh x] = \frac{d}{dx}[\cosh x] = \sinh x\]

Therefore \(\sinh x\) satisfies \(y'' = y\) (compare with \(\sin x\) satisfying \(y'' = -y\)).

3.4 Integration

\[\int \sinh x\, dx = \cosh x + C\] \[\int \cosh x\, dx = \sinh x + C\] \[\int \tanh x\, dx = \ln(\cosh x) + C\] \[\int \text{sech}^2 x\, dx = \tanh x + C\]

Powers of Hyperbolic Functions:

\[\int \sinh^2 x\, dx = \frac{\sinh 2x}{4} - \frac{x}{2} + C\] \[\int \cosh^2 x\, dx = \frac{\sinh 2x}{4} + \frac{x}{2} + C\]

Practice Problem: Evaluate \(\int \tanh^2 x\, dx\).

Solution: Using \(\tanh^2 x = 1 - \text{sech}^2 x\):

\[\int \tanh^2 x\, dx = \int (1 - \text{sech}^2 x)\, dx = x - \tanh x + C\]

3.5 Inverse Hyperbolic Functions

Logarithmic Forms:

\[\sinh^{-1} x = \ln(x + \sqrt{x^2 + 1})\] \[\cosh^{-1} x = \ln(x + \sqrt{x^2 - 1}), \quad x \geq 1\] \[\tanh^{-1} x = \frac{1}{2}\ln\left(\frac{1+x}{1-x}\right), \quad |x| \lt 1\]

Derivatives:

\[\frac{d}{dx}[\sinh^{-1} x] = \frac{1}{\sqrt{x^2 + 1}}\] \[\frac{d}{dx}[\cosh^{-1} x] = \frac{1}{\sqrt{x^2 - 1}}\] \[\frac{d}{dx}[\tanh^{-1} x] = \frac{1}{1 - x^2}\]

Important Integration Result:

\[\int \frac{1}{\sqrt{x^2 + 1}}\, dx = \sinh^{-1} x + C = \ln(x + \sqrt{x^2 + 1}) + C\]

This appears frequently in arc length and surface area problems!

4. Advanced Level

4.1 Complex Number Connections

The deep connection between hyperbolic and circular functions is revealed through Euler's formula: \(e^{ix} = \cos x + i\sin x\)

Fundamental Relationships:

\[\cosh(ix) = \cos x\] \[\sinh(ix) = i\sin x\] \[\cos(ix) = \cosh x\] \[\sin(ix) = i\sinh x\]

Practice Problem: Find all complex solutions to \(\cosh z = 0\).

Solution:

\begin{align} \cosh z = 0 &\implies e^z + e^{-z} = 0 \\ &\implies e^{2z} = -1 = e^{i(2k+1)\pi} \\ &\implies z = \frac{i(2k+1)\pi}{2}, \quad k \in \mathbb{Z} \end{align}

Note: No real solutions exist since \(\cosh x \geq 1\) for all real \(x\).

4.2 Applications in Calculus

The Catenary Curve:

A hanging chain forms the curve \(y = a\cosh(x/a)\). This shape appears in:

Architecture: Gateway Arch in St. Louis (inverted catenary)
Engineering: Power lines, suspension cables
Physics: Shape of soap films between rings

Arc Length of Catenary:

For \(y = a\cosh(x/a)\) from \(x = -b\) to \(x = b\):

\[L = \int_{-b}^b \sqrt{1 + \sinh^2(x/a)}\, dx = \int_{-b}^b \cosh(x/a)\, dx = 2a\sinh(b/a)\]

Hyperbolic Substitution:

For integrals involving \(\sqrt{x^2 + a^2}\), use \(x = a\sinh\theta\):

Example: \(\int \sqrt{x^2 + 1}\, dx\)

Let \(x = \sinh\theta\), then \(dx = \cosh\theta\, d\theta\) and \(\sqrt{x^2 + 1} = \cosh\theta\):

\[\int \cosh^2\theta\, d\theta = \frac{\sinh 2\theta}{4} + \frac{\theta}{2} + C = \frac{x\sqrt{x^2+1}}{2} + \frac{\sinh^{-1} x}{2} + C\]

4.3 Physical Applications

Special Relativity - Rapidity:

In special relativity, rapidities add linearly (unlike velocities). If a particle has rapidity \(\phi\), its velocity is:

\[v = c\tanh\phi\]

Lorentz transformations can be written using \(\cosh\phi\) and \(\sinh\phi\), making calculations more elegant.

Wave Equations:

Solutions to the wave equation often involve hyperbolic functions. For instance, the standing wave equation:

\[y(x,t) = A\cosh(kx)\cos(\omega t)\]

4.4 Series Expansions

Maclaurin Series:

\[\sinh x = x + \frac{x^3}{3!} + \frac{x^5}{5!} + \frac{x^7}{7!} + \cdots = \sum_{n=0}^\infty \frac{x^{2n+1}}{(2n+1)!}\] \[\cosh x = 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \frac{x^6}{6!} + \cdots = \sum_{n=0}^\infty \frac{x^{2n}}{(2n)!}\]

Notice: These series have only positive terms (unlike sin and cos which alternate).

4.5 Differential Equations

Second-Order Linear DEs:

The general solution to \(y'' - k^2y = 0\) is:

\[y = A\cosh(kx) + B\sinh(kx)\]

or equivalently:

\[y = Ce^{kx} + De^{-kx}\]

Practice Problem: Solve \(y'' - 9y = 0\) with \(y(0) = 2\), \(y'(0) = 3\).

Solution:

General solution: \(y = A\cosh(3x) + B\sinh(3x)\)

Initial conditions:

\begin{align} y(0) = A = 2 \\ y'(0) = 3B = 3 \implies B = 1 \end{align}

Therefore: \(y = 2\cosh(3x) + \sinh(3x)\)

Summary and Key Takeaways

Essential Relationships:

Geometric: Hyperbolic functions parametrize the hyperbola \(x^2 - y^2 = 1\)
Algebraic: \(\cosh^2 x - \sinh^2 x = 1\) (note the minus sign!)
Exponential: \(\cosh x + \sinh x = e^x\), \(\cosh x - \sinh x = e^{-x}\)
Complex: \(\cosh(ix) = \cos x\), \(\sinh(ix) = i\sin x\)

Common Pitfalls to Avoid:

Don't write \(\cosh^2 x + \sinh^2 x = 1\) — the correct identity has a minus sign
Remember \(\frac{d}{dx}[\cosh x] = \sinh x\) has NO negative sign (unlike \(\cos x\))
Hyperbolic functions are NOT periodic
\(\cosh x \geq 1\) always; it never equals zero for real \(x\)

Real-World Applications:

Architecture: Catenary arches (Gateway Arch)
Engineering: Hanging cables, suspension bridges
Physics: Special relativity (rapidity), wave equations
Mathematics: Solutions to differential equations, integration techniques

Review Material for This Page

Definitions: Hyperbolic Functions
Formula quizzes: Hyperbolic Identities