Introduction to Special Functions and Domain Restrictions
Welcome to the Higher Level study of functions! In your Standard Level journey, you learned that a function is a rule that maps an input to a unique output. At the Higher Level, we look deeper into the "personality" of functions. Some functions have beautiful symmetries (odd and even), some are their own opposites (self-inverse), and some need a bit of "trimming" (domain restriction) before we can find their inverse. Understanding these properties helps you solve complex equations and sketch graphs with much greater speed and accuracy.
1. Even and Odd Functions
Symmetry is a shortcut in mathematics. If you know how half of a graph looks and you know its symmetry, you know the whole graph!
Even Functions
An even function is perfectly symmetrical across the \(y\)-axis. Think of the \(y\)-axis as a mirror.
The Algebraic Rule: A function is even if \(f(-x) = f(x)\) for all \(x\) in the domain.
Example: Let \(f(x) = x^2\).
If we test \(f(-x)\), we get \((-x)^2\), which is just \(x^2\).
Since \(f(-x) = f(x)\), the function is even.
Common examples: \(x^2\), \(x^4\), \(|x|\), and \(\cos(x)\).
Odd Functions
An odd function has rotational symmetry of \(180^{\circ}\) about the origin \((0,0)\). If you turn the graph upside down, it looks exactly the same!
The Algebraic Rule: A function is odd if \(f(-x) = -f(x)\) for all \(x\) in the domain.
Example: Let \(f(x) = x^3\).
If we test \(f(-x)\), we get \((-x)^3 = -x^3\).
Since \(f(-x) = -f(x)\), the function is odd.
Common examples: \(x\), \(x^3\), \(\frac{1}{x}\), and \(\sin(x)\).
Quick Check: How to determine the type?
To check if a function is even, odd, or neither, always follow these steps:
- Substitute \(-x\) into the function wherever you see \(x\).
- Simplify the expression.
- If you get the original function back, it's even.
- If you get exactly negative the original function, it's odd.
- If neither happens, it is neither! (Many functions are neither).
Key Takeaway: Even functions are "mirror images" across the \(y\)-axis; Odd functions look the same when rotated \(180^{\circ}\) around the center.
2. Domain Restriction for Inverses
In your SL studies, you learned that for a function to have an inverse, it must be one-to-one. This means every \(y\)-value comes from exactly one \(x\)-value. This is checked using the Horizontal Line Test.
The Problem
Consider \(f(x) = x^2\). A horizontal line like \(y = 4\) hits the graph at both \(x = 2\) and \(x = -2\). It fails the test, so it doesn't have an inverse function.
The Solution: Domain Restriction
We can "cut" the graph to make it one-to-one. If we only look at \(f(x) = x^2\) for \(x \ge 0\), the graph passes the horizontal line test. Now we can find an inverse!
Step-by-Step: Finding a Restricted Inverse
Example: Find the inverse of \(f(x) = (x-3)^2 + 1\) for \(x \ge 3\).
- Replace \(f(x)\) with \(y\): \(y = (x-3)^2 + 1\)
- Swap \(x\) and \(y\): \(x = (y-3)^2 + 1\)
- Solve for \(y\):
\(x - 1 = (y-3)^2\)
\(\pm\sqrt{x-1} = y - 3\)
\(y = 3 \pm\sqrt{x-1}\) - Choose the correct sign: Since our original domain was \(x \ge 3\), our inverse range must be \(y \ge 3\). Therefore, we choose the positive root: \(f^{-1}(x) = 3 + \sqrt{x-1}\).
Did you know? The domain of the original function becomes the range of the inverse function, and the range of the original becomes the domain of the inverse.
Key Takeaway: If a function isn't one-to-one, we must restrict its domain (limit the \(x\)-values) so that it passes the horizontal line test before we can define an inverse function.
3. Self-Inverse Functions
A self-inverse function is a special type of function that is its own inverse. If you apply the function twice, you end up back where you started.
Algebraic Definition: \(f(x) = f^{-1}(x)\), which also means \(f(f(x)) = x\).
Geometric Property: The graph of a self-inverse function is symmetrical about the line \(y = x\). If you reflect the graph over that diagonal line, it doesn't change!
Common Self-Inverse Examples
- The reciprocal function: \(f(x) = \frac{1}{x}\)
- Linear functions with a gradient of \(-1\): \(f(x) = c - x\) (e.g., \(f(x) = 5 - x\))
- The identity function: \(f(x) = x\)
- Rational functions of the form \(f(x) = \frac{ax+b}{cx-a}\)
How to prove a function is self-inverse?
Don't worry if this seems tricky at first! There are two main ways to prove it:
- Method A: Find the inverse \(f^{-1}(x)\) algebraically. If it looks exactly like \(f(x)\), it's self-inverse.
- Method B: Calculate the composite function \(f(f(x))\). If it simplifies all the way down to just \(x\), the function is self-inverse.
Key Takeaway: Self-inverse functions "undo" themselves. Their graphs are always symmetric across the diagonal line \(y = x\).
Summary Quick Review
Odd vs. Even:
- Even: \(f(-x) = f(x)\). Symmetry: \(y\)-axis.
- Odd: \(f(-x) = -f(x)\). Symmetry: \(180^{\circ}\) rotation about origin.
Domain Restriction:
- Used to make a function one-to-one.
- Required to find an inverse for functions like parabolas (\(x^2\)).
- Common Mistake: Forgetting to check if you need the positive or negative square root when solving for the inverse!
Self-Inverse:
- \(f(x) = f^{-1}(x)\).
- Graphically: Reflecting across \(y = x\) leaves the graph unchanged.
Note: For more on how these functions interact with others, see the chapters on "Rational functions (HL)" and "Modulus graphs (HL)".