Welcome to Hyperbolic Functions!
Ever noticed how a power line or a heavy necklace hangs between two points? It creates a beautiful curve that looks a bit like a parabola, but it’s actually a curve called a catenary. This curve is described by hyperbolic functions! In this chapter, we’re going to explore these functions, which are like the "cousins" of the trigonometric functions (sin, cos, and tan) you already know, but based on the number \(e\) instead of circles.
Don't worry if this seems a bit abstract at first. If you can handle \(e^x\) and basic algebra, you've already got the tools you need to master this topic!
1. The Big Three: sinh, cosh, and tanh
In standard trigonometry, we use a unit circle to define functions. For hyperbolic functions, we use a hyperbola. Here are the three main definitions you need to know. Think of these as the "blueprints" for everything else in this chapter.
The Definitions
Hyperbolic Sine: \(\sinh x = \frac{e^x - e^{-x}}{2}\)
Hyperbolic Cosine: \(\cosh x = \frac{e^x + e^{-x}}{2}\)
Hyperbolic Tangent: \(\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}}\)
Memory Aid: Spot the Difference!
Notice that \(\cosh x\) has a plus sign. You can remember this because Cosh is Complimentary (positive/additive). Also, notice how similar these are to the definitions of \(\sin \theta\) and \(\cos \theta\) you saw in the Complex Numbers chapter using Euler’s identity!
Graphs and Characteristics
Understanding what these look like helps you remember their Domain (what \(x\) can be) and Range (what \(y\) comes out as).
- \(\sinh x\): Looks like a "stretched out" \(x^3\) graph. It passes through \((0,0)\). Range: All real values.
- \(\cosh x\): Looks like a valley or a hanging chain. It never goes below 1! It passes through \((0,1)\). Range: \(y \ge 1\).
- \(\tanh x\): Looks like an "S" curve flattened between two horizontal lines. Range: \(-1 < y < 1\).
Did you know? The \(\cosh x\) graph is the exact shape of the Gateway Arch in St. Louis, USA!
Key Takeaway: Hyperbolic functions are just specific combinations of \(e^x\) and \(e^{-x}\). If you ever get stuck, just replace the hyperbolic term with its \(e\) definition!
2. Calculus with Hyperbolic Functions
One of the best things about hyperbolic functions is that their derivatives are even easier than circular trig! There are fewer "minus sign" traps to fall into.
Differentiation Rules
\(\frac{d}{dx}(\sinh x) = \cosh x\)
\(\frac{d}{dx}(\cosh x) = \sinh x\) (Note: No minus sign here!)
\(\frac{d}{dx}(\tanh x) = \text{sech}^2 x\)
Common Mistake: Students often write \(\frac{d}{dx}(\cosh x) = -\sinh x\) because they are used to regular trigonometry. In hyperbolic land, cosh stays positive when differentiated!
Integration Rules
Integration is just the reverse. Remember to always add your constant \(+ C\) for indefinite integrals!
- \(\int \sinh x \, dx = \cosh x + C\)
- \(\int \cosh x \, dx = \sinh x + C\)
Step-by-Step Example: Differentiate \(y = \tanh(3x)\)
1. Use the chain rule.
2. The derivative of \(\tanh(u)\) is \(\text{sech}^2(u)\).
3. The derivative of the "inside" (\(3x\)) is \(3\).
4. Multiply them together: \(\frac{dy}{dx} = 3\text{sech}^2(3x)\).
3. Inverse Hyperbolic Functions
If we want to go backwards (find \(x\) when we know \(\sinh x\)), we use the inverse functions: \(\text{arsinh } x\), \(\text{arcosh } x\), and \(\text{artanh } x\).
Domains and Ranges
Because some hyperbolic functions aren't "one-to-one" (like the \(\cosh\) valley), we have to be careful with their inverses:
- \(\text{arsinh } x\): Defined for all \(x\).
- \(\text{arcosh } x\): Only defined for \(x \ge 1\) (Since \(\cosh\) never goes below 1).
- \(\text{artanh } x\): Only defined for \(-1 < x < 1\).
The Logarithmic Forms
Since the original functions are made of \(e^x\), it makes sense that the inverses are made of natural logs (\(\ln\)). You need to be able to use (and sometimes derive) these:
\(\text{arsinh } x = \ln(x + \sqrt{x^2 + 1})\)
\(\text{arcosh } x = \ln(x + \sqrt{x^2 - 1})\) for \(x \ge 1\)
\(\text{artanh } x = \frac{1}{2}\ln(\frac{1+x}{1-x})\) for \(|x| < 1\)
How to derive \(\text{arsinh } x\):
Don't worry, it's just algebra! Here is the process:
1. Start with \(x = \sinh y = \frac{e^y - e^{-y}}{2}\).
2. Multiply by 2: \(2x = e^y - e^{-y}\).
3. Multiply everything by \(e^y\) to get rid of the negative power: \(2xe^y = (e^y)^2 - 1\).
4. Rearrange into a quadratic: \((e^y)^2 - 2x(e^y) - 1 = 0\).
5. Use the quadratic formula to solve for \(e^y\).
6. Take \(\ln\) of both sides.
Quick Review: Inverse functions "swap" the \(x\) and \(y\). If \(\cosh(0) = 1\), then \(\text{arcosh}(1) = 0\)!
4. Advanced Integration
The final part of this chapter is using hyperbolic functions to solve tricky integrals that involve square roots. These are common in exam questions!
Standard Results
You can use these standard patterns to integrate "fractional root" functions:
1. \(\int \frac{1}{\sqrt{x^2 + a^2}} \, dx = \text{arsinh}(\frac{x}{a}) + C\)
2. \(\int \frac{1}{\sqrt{x^2 - a^2}} \, dx = \text{arcosh}(\frac{x}{a}) + C\)
Choosing the Right Substitution
If you see a square root in an integral, try these substitutions to simplify your life:
- For \(\sqrt{x^2 + a^2}\), try \(x = a\sinh u\).
- For \(\sqrt{x^2 - a^2}\), try \(x = a\cosh u\).
Analogy: Choosing a substitution is like choosing the right key for a lock. If the lock has a "plus" (\(x^2 + a^2\)), the \(\sinh\) key usually fits perfectly because of the identity \(\cosh^2 u - \sinh^2 u = 1\).
Key Takeaway: If an integral looks like a nightmare involving \(\sqrt{x^2 \pm a^2}\), hyperbolic substitutions are your best friend to turn it into something simple.
Summary of Key Points
- Definitions: \(\sinh\) and \(\cosh\) are just combinations of \(e^x\).
- Calculus: \(\sinh \rightarrow \cosh\) and \(\cosh \rightarrow \sinh\). No sign flip for \(\cosh\)!
- Inverses: These have logarithmic forms (like \(\ln(x + \sqrt{x^2+1})\)).
- Integration: Use hyperbolic substitutions to deal with \(\sqrt{x^2 \pm a^2}\) terms.
Keep practicing! Hyperbolic functions might feel "extra" at first, but once you see the patterns, they are some of the most consistent and predictable functions in Further Maths.