Welcome to Hyperbolic Functions!

Welcome to one of the most elegant chapters in Further Mathematics. If you’ve ever wondered why power lines hang in a specific curve, or how the shape of the Gateway Arch in St. Louis was designed, you’re about to find out!

In this chapter, we explore Hyperbolic Functions. Think of these as the cousins of the trigonometric functions (\(\sin\), \(\cos\), and \(\tan\)) you already know. While regular trig functions are based on circles, hyperbolic functions are based on hyperbolas. They behave very similarly, which makes them easier to learn, but they have a few unique "personality traits" we need to master.

1. The Definitions: Meet the Family

In regular trig, we use coordinates on a unit circle. In hyperbolic trig, we define everything using the exponential function \(e^x\). This is the "DNA" of hyperbolic functions.

The Big Three

1. Hyperbolic Sine (pronounced 'shine'): \( \sinh x = \frac{e^x - e^{-x}}{2} \)

2. Hyperbolic Cosine (pronounced 'kosh'): \( \cosh x = \frac{e^x + e^{-x}}{2} \)

3. Hyperbolic Tangent (pronounced 'than' or 'tansh'): \( \tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}} \)

Quick Review:

  • \(\sinh x\) is an odd function (symmetrical about the origin).
  • \(\cosh x\) is an even function (symmetrical about the y-axis).
  • \(\cosh x\) can never be less than 1. Think of it as a "cup" that never touches the floor!

Analogy: Imagine \(\sinh\) and \(\cosh\) are like ingredients in a recipe. They are both made of the same things (\(e^x\) and \(e^{-x}\)), but \(\sinh\) subtracts them while \(\cosh\) adds them together.

Key Takeaway: All hyperbolic functions are just combinations of \(e^x\) and \(e^{-x}\). If you forget a formula, you can always go back to these exponential definitions!

2. Visualizing the Functions: Graphs

Knowing what these look like will help you solve equations and understand their domain (what \(x\) can be) and range (what \(y\) can be).

The Graph of \(y = \cosh x\)

This is often called a catenary. It looks like a "U" shape or a hanging chain.
Domain: \(x \in \mathbb{R}\) (Any real number)
Range: \(y \geq 1\)

The Graph of \(y = \sinh x\)

This looks like a cubic graph (\(x^3\)) but it gets steeper much faster because of the exponential terms.
Domain: \(x \in \mathbb{R}\)
Range: \(y \in \mathbb{R}\)

The Graph of \(y = \tanh x\)

This looks like a "slide" squeezed between two horizontal lines (asymptotes).
Asymptotes: \(y = 1\) and \(y = -1\)
Domain: \(x \in \mathbb{R}\)
Range: \(-1 < y < 1\)

Key Takeaway: \(\cosh x\) is the only one with a restricted range (\(y \geq 1\)). \(\tanh x\) is "trapped" between -1 and 1.

3. Hyperbolic Identities

Just like \(\sin^2 x + \cos^2 x = 1\), hyperbolic functions have their own rules. The most important one is:
\( \cosh^2 x - \sinh^2 x \equiv 1 \)

Don't worry if this seems tricky at first! Notice the minus sign. It’s the opposite of the circular trig identity.

Memory Aid: Osborne’s Rule

To turn any regular trig identity into a hyperbolic one:
1. Keep the formula the same.
2. Change the sign of any term that involves a product of two sines (like \(\sin^2 x\), \(\tan^2 x\), or \(\sin A \sin B\)).

Example: \(\cos(2x) = 1 - 2\sin^2 x\) becomes \(\cosh(2x) = 1 + 2\sinh^2 x\). (We changed the minus to a plus because of the \(\sinh^2\)!)

Did you know? You can prove any of these identities by replacing \(\sinh\) and \(\cosh\) with their exponential definitions and expanding the brackets!

Key Takeaway: Use Osborne's Rule to adapt your existing trig knowledge. Just be careful with that sign change on "sine-squared" terms!

4. Differentiation and Integration

Calculus is actually simpler with hyperbolic functions than with regular trig because there are fewer negative signs to worry about.

Derivatives

\( \frac{d}{dx}(\sinh x) = \cosh x \)
\( \frac{d}{dx}(\cosh x) = \sinh x \) (No minus sign here!)
\( \frac{d}{dx}(\tanh x) = \text{sech}^2 x \)

Integrals

\( \int \cosh x \, dx = \sinh x + C \)
\( \int \sinh x \, dx = \cosh x + C \)

Common Mistake: Students often put a minus sign in \(\frac{d}{dx}(\cosh x)\) because they are used to \(\frac{d}{dx}(\cos x) = -\sin x\). In hyperbolic world, \(\sinh\) and \(\cosh\) differentiate into each other positively!

Key Takeaway: Differentiating \(\sinh\) and \(\cosh\) is a "loop" with no negative signs. This makes them very friendly for long calculus problems.

5. Inverse Hyperbolic Functions

If we have \(y = \sinh x\), then the inverse is \(x = \text{arsinh } y\). We use the prefix "ar" (standing for area) rather than "arc".

Logarithmic Forms

Because hyperbolic functions are made of \(e^x\), their inverses are made of natural logarithms (\(\ln\)). You need to know these:

1. \( \text{arsinh } x = \ln(x + \sqrt{x^2 + 1}) \) for all \(x\)

2. \( \text{arcosh } x = \ln(x + \sqrt{x^2 - 1}) \) for \(x \geq 1\)

3. \( \text{artanh } x = \frac{1}{2}\ln\left(\frac{1+x}{1-x}\right) \) for \(|x| < 1\)

How to derive them (Step-by-Step)

If you are asked to derive \(y = \text{arcosh } x\):
1. Write it as \(x = \cosh y\).
2. Use the definition: \(x = \frac{e^y + e^{-y}}{2}\).
3. Multiply by \(2\) and then by \(e^y\) to get: \(2xe^y = (e^y)^2 + 1\).
4. This is a quadratic in disguise: \((e^y)^2 - 2x(e^y) + 1 = 0\).
5. Use the quadratic formula to solve for \(e^y\), then take \(\ln\) of both sides!

Key Takeaway: Inverse hyperbolic functions are just specific types of logarithms. If you see an integral result involving a square root, it might lead you to one of these!

Final Chapter Summary

- Definitions: Always remember \(\sinh x = \frac{e^x - e^{-x}}{2}\) and \(\cosh x = \frac{e^x + e^{-x}}{2}\).
- Identities: \(\cosh^2 x - \sinh^2 x = 1\). Use Osborne's Rule for others.
- Calculus: \(\sinh \to \cosh\) and \(\cosh \to \sinh\). No negatives!
- Inverses: These can be expressed as logarithms. Use the "quadratic in disguise" method to derive them.