Functions and Models
Functions are the central objects of calculus. This chapter sets the stage: what a function is, the four ways to describe one, the families of functions used to model the real world, and how to build new functions by transforming, combining, and inverting old ones.
Before we touch a single derivative, make peace with functions. Almost every mistake I see later in the course traces back to shaky ground here — domain errors, forgetting that a function gives exactly one output, or treating fg and f∘g as the same thing. Spend real time on 1.1 and 1.3.
Four Ways to Represent a Function
A function relationship appears whenever one quantity is determined by another: the area of a circle by its radius, world population by year, postage cost by weight, ground acceleration by elapsed time during a quake. In each case a rule assigns to every allowed input exactly one output.
Function
A function f is a rule that assigns to each element x in a set D (the domain) exactly one element f(x) in a set E. The key word is exactly one: an input can never produce two different outputs.
Domain, Range, and Variables
The domain is the set of permitted inputs. The range is the set of all outputs f(x) as x runs through the domain. A symbol for an arbitrary input is the independent variable; a symbol for the corresponding output is the dependent variable. When the domain is not stated, take it to be every real number for which the rule produces a real value.
The same function can be presented in four complementary ways, and moving between them deepens understanding:
- Verbally — a description in words.
- Numerically — a table of input–output pairs.
- Visually — a graph in the coordinate plane.
- Algebraically — an explicit formula.
A function defined by a table is called a tabular function; one fitted to data is a mathematical model. Some situations favour one representation: a seismograph trace is most naturally a graph, while the area of a circle is cleanest as a formula.
Graph of a Function
The graph of f is the set of points (x, y) with y = f(x) and x in the domain. The height of the graph above a point on the horizontal axis reads off the value f(x). The graph lets you see the domain projected onto the x-axis and the range onto the y-axis.
Some functions use different rules on different parts of the domain. The absolute value is the prototype.
The Vertical Line Test
A curve in the xy-plane is the graph of a function of x if and only if no vertical line meets the curve more than once. The reasoning is direct: if a vertical line x = a hits the curve twice, the input a would have two outputs, which a function forbids.
Even and Odd Functions
A function is even if \( f(-x) = f(x) \) for every x in its domain; its graph is symmetric about the y-axis (for example \( x^2 \)). It is odd if \( f(-x) = -f(x) \); its graph is symmetric about the origin (for example \( x^3 \)). Most functions are neither.
Monotonicity
On an interval I, a function is increasing if \( f(x_1) < f(x_2) \) whenever \( x_1 < x_2 \) in I, and decreasing if \( f(x_1) > f(x_2) \) under the same condition. The inequality must hold for every such pair, not just a sampled few.
Domain hunting is a recurring exam skill. Two rules cover almost everything: you cannot divide by zero, and you cannot take an even root of a negative. Set those expressions safe and solve the inequality. Write the domain in interval notation — graders expect it.
Mathematical Models: A Catalog of Essential Functions
Mathematical Model
A mathematical model is a function or equation that describes a real-world phenomenon — population, demand, a falling object — in order to understand it and predict its behaviour. Modelling runs in a cycle: formulate a model from the real problem, solve it mathematically, interpret the conclusions back in the real world, then test against fresh data and refine. A model is always an idealization; a good one is simple enough to compute yet accurate enough to be useful.
Linear Model
A linear function has a straight-line graph and grows at a constant rate. The slope is precisely that rate of change of y with respect to x.
When no physical law guides the choice, an empirical model is fitted directly to data — often the least-squares regression line, which minimizes the total squared vertical distance from the points to the line. Estimating inside the data range is interpolation; predicting outside it is extrapolation, which is far less reliable.
Polynomial
A polynomial has the form below, with constant coefficients and a domain of all real numbers. If the leading coefficient is nonzero, its index n is the degree. Degree 1 is linear; degree 2 is quadratic (a parabola, opening up if the leading coefficient is positive, down if negative); degree 3 is cubic.
Power Function
A power function has the form \( f(x) = x^a \) for a constant exponent a. When a = n is a positive integer the graph resembles a parabola (for even n) or a cubic (for odd n). When \( a = 1/n \) it is a root function. When \( a = -1 \) it is the reciprocal function \( 1/x \), a hyperbola — the form behind Boyle's Law, where volume is inversely proportional to pressure.
Rational and Algebraic Functions
A rational function is a ratio of two polynomials \( P(x)/Q(x) \); its domain excludes the zeros of Q. An algebraic function is anything built from polynomials using addition, subtraction, multiplication, division, and roots. Every rational function is algebraic.
Trigonometric Functions
In calculus, angles are measured in radians by default. Sine and cosine have domain all reals, range \( [-1, 1] \), and period \( 2\pi \); they model repetitive phenomena such as tides and waves. Tangent equals \( \sin x / \cos x \), is undefined where \( \cos x = 0 \), and has period \( \pi \).
Exponential and Logarithmic Functions
An exponential function \( f(x) = a^x \) has a positive constant base and the variable in the exponent; with \( a > 1 \) it models growth, with \( a < 1 \) decay. Logarithmic functions \( f(x) = \log_a x \) are their inverses (Section 1.6). Transcendental functions are those that are not algebraic — the trigonometric, exponential, logarithmic functions, and more.
New Functions from Old Functions
Starting from the catalog of Section 1.2, we generate new functions by shifting, stretching, and reflecting graphs, and by combining functions arithmetically or through composition.
Vertical and Horizontal Shifts
Suppose \( c > 0 \). Then \( y = f(x) + c \) shifts the graph up by c; \( y = f(x) - c \) shifts it down by c; \( y = f(x - c) \) shifts it right by c; and \( y = f(x + c) \) shifts it left by c. Horizontal shifts run opposite to intuition: subtracting inside the function moves the graph rightward.
Stretching, Compressing, and Reflecting
Suppose \( c > 1 \). Then \( y = cf(x) \) stretches vertically by c and \( y = \tfrac{1}{c}f(x) \) compresses vertically by c; \( y = f(cx) \) compresses horizontally by c and \( y = f(x/c) \) stretches horizontally by c; \( y = -f(x) \) reflects across the x-axis and \( y = f(-x) \) reflects across the y-axis.
Arithmetic Combinations
Two functions combine pointwise into the sum, difference, product, and quotient. The domain of a combination is the intersection of the two domains — and for the quotient we must additionally discard points where the denominator is zero.
Composition
The composite \( f \circ g \) feeds the output of g into f. Order matters: in \( (f \circ g)(x) \), g acts first and f second. The domain consists of those x in the domain of g whose output \( g(x) \) lands in the domain of f.
Composition is where students lose marks by reading inside-out the wrong way. My trick: read \( f \circ g \) right-to-left as "g, then f." When asked to decompose a messy function, work from the outermost operation inward and name each layer as a separate function before you write anything down.
Graphing Calculators and Computers
Graphing devices draw a function by plotting many evenly spaced points inside a chosen rectangle and joining them. They are powerful but fallible: the wrong window can hide a graph entirely, manufacture false vertical lines, or alias a rapidly oscillating curve into nonsense.
Viewing Rectangle
The visible region is the set of points with the x-values between a chosen minimum and maximum and the y-values between their own minimum and maximum. Choosing this window well is the whole skill: too small and you miss features, too large and you blur them.
Treat the calculator as a draftsman, not an oracle. Before plotting, work out the domain, range, and any period by hand — then pick the window. Half the "weird graph" questions in homework are really "did you analyze the function first?" questions in disguise.
Exponential Functions
Exponential Function
An exponential function \( f(x) = a^x \) has a positive constant base a and the variable as the exponent — do not confuse it with the power function \( x^2 \), where the variable is the base. The definition extends from integer to rational to irrational exponents by filling the gaps so the function stays increasing; the domain becomes all reals and the range is \( (0, \infty) \).
Laws of Exponents
For positive bases a, b and any real exponents x, y, the familiar algebraic rules continue to hold:
Three behaviours occur: if \( 0 < a < 1 \) the function decreases, if \( a = 1 \) it is constant, and if \( a > 1 \) it increases. All graphs of \( a^x \) pass through \( (0,1) \), and larger bases grow faster for \( x > 0 \). Reflecting \( y = a^x \) across the y-axis gives \( y = (1/a)^x \).
The Number e
Among all bases, one is most convenient for calculus: the base e for which the tangent line to \( y = a^x \) at \( (0,1) \) has slope exactly 1. This number lies between 2 and 3 and is approximately \( 2.71828 \). The resulting natural exponential function \( y = e^x \) crosses the y-axis with slope 1, which simplifies the calculus to come.
Exponential functions outpace power functions: for large x, \( 2^x \) eventually exceeds \( x^2 \) and stays above it. Constant multiples of \( e^x \) (or any \( a^x \)) describe bacterial growth, radioactive decay, and population trends under ideal conditions.
Inverse Functions and Logarithms
An inverse function reverses a rule: where f turns inputs into outputs, \( f^{-1} \) turns those outputs back into the original inputs. Not every function has one — only the one-to-one functions.
One-to-One Function
A function is one-to-one if it never produces the same output twice: \( f(x_1) \neq f(x_2) \) whenever \( x_1 \neq x_2 \). Each output corresponds to exactly one input.
The Horizontal Line Test
A function is one-to-one if and only if no horizontal line meets its graph more than once. If a horizontal line crossed the graph twice, two inputs would share an output, breaking the one-to-one condition.
Inverse Function
Let f be one-to-one with domain A and range B. Its inverse \( f^{-1} \) has domain B and range A, defined by \( f^{-1}(y) = x \iff f(x) = y \). The domain and range simply swap. Caution: the \( -1 \) is notation for "inverse," not a reciprocal exponent.
Logarithmic Function
For \( a > 0,\ a \neq 1 \), the logarithm \( \log_a x \) is the inverse of \( a^x \): it answers "to what power must a be raised to give x?" It has domain \( (0, \infty) \), range all reals, and its graph is the reflection of \( a^x \) across \( y = x \). Every logarithmic graph passes through \( (1, 0) \).
Laws of Logarithms
For positive numbers x, y and any real r:
Natural Logarithm and Change of Base
The logarithm with base e is the natural logarithm, written \( \ln x \). Its defining relations are \( \ln x = y \iff e^y = x \), with \( \ln e = 1 \). Any logarithm converts to natural logs through the change-of-base formula, which is how calculators evaluate \( \log_a x \).
Restricting the Domain
The trigonometric functions repeat, so they fail the Horizontal Line Test and have no inverse as given. We restrict each to an interval where it is one-to-one. The inverse sine (arcsine) uses \( [-\pi/2,\ \pi/2] \); the inverse cosine (arccosine) uses \( [0,\ \pi] \); the inverse tangent (arctangent) uses \( (-\pi/2,\ \pi/2) \).
Two habits will save you all term. First, logs and exponentials are inverse operations — when you see one trapping a variable, hit it with the other. Second, for any inverse-trig simplification, draw the right triangle implied by the inner function and read the answer off the sides. It is faster and far less error-prone than chasing identities.