Ch 1FREE

Understanding Functions and Their Applications

12 min

Chapter 1: Understanding Functions and Their Applications

This chapter introduces functions — the foundational building blocks of calculus. You'll learn what functions are, how to represent and classify them, how to build new functions from old ones, and how key families of functions (exponential, logarithmic, and inverse functions) behave. Think of this chapter as your toolkit: everything we do in calculus later depends on what we establish here.


1.1 Four Ways to Represent a Function

What is a Function?

At its heart, a function is simply a rule. It takes an input, does something to it, and produces exactly one output. We write f(x)f(x)f(x) — pronounced "f of x" — to denote the output that the function fff assigns to the input xxx.

Function: A rule fff that assigns to each element xxx in a set DDD exactly one element f(x)f(x)f(x) in a set EEE.

The set DDD of all allowable inputs is called the domain, and the set of all possible outputs f(x)f(x)f(x) is called the range. We typically call xxx the independent variable (you get to choose it) and f(x)f(x)f(x) the dependent variable (its value depends on xxx).

A helpful mental model: think of a function as a machine. You feed a number xxx into the machine, and it reliably spits out one number f(x)f(x)f(x). The key word is reliably — for a given input, there is only ever one output.

Four Ways to Represent a Function

A function can be described in four equivalent ways:

  • Verbally — in words ("the area of a circle with radius rrr")
  • Numerically — by a table of input-output pairs
  • Visually — by a graph in the coordinate plane
  • Algebraically — by an explicit formula, such as A(r)=πr2A(r) = \pi r^2A(r)=πr2

No single representation is always best. A graph lets you see trends and shape at a glance; a table is useful when data comes from experiment; a formula is ideal for computation. Often you'll move between all four.

Which Rules Define Functions? The Vertical Line Test

Not every equation or curve defines a function. Remember: a function must assign exactly one output to each input. If the equation y2=xy^2 = xy2=x is given, then for x=4x = 4x=4 we get both y=2y = 2y=2 and y=2y = -2y=2 — two outputs for one input, so it's not a function.

Vertical Line Test: A curve in the xyxyxy-plane is the graph of a function of xxx if and only if no vertical line intersects the curve more than once.

The reason is simple: if a vertical line x=ax = ax=a hits the curve at two points (a,b)(a, b)(a,b) and (a,c)(a, c)(a,c), that means the input aaa produces two different outputs — a violation of the function definition.

Piecewise Defined Functions

Sometimes a function is described by different formulas over different parts of its domain. These are called piecewise defined functions. A classic example is the absolute value function:

x={xif x0xif x<0|x| = \begin{cases} x & \text{if } x \geq 0 \\ -x & \text{if } x < 0 \end{cases}x={xxif x0if x<0

It looks like a "V" shape on the graph, with the vertex at the origin. The key point is that even though two different rules are used, fff is still one function — you just apply whichever formula matches the region the input falls in.

Watch out: step functions (like a postage cost function, where the price jumps at fixed weight intervals) are another common piecewise function. The graph consists of horizontal segments at different heights, with jumps between them.

Even and Odd Functions

There's useful symmetry hiding in many functions. We say fff is:

  • Even if f(x)=f(x)f(-x) = f(x)f(x)=f(x) for all xxx in its domain → the graph is symmetric about the yyy-axis (e.g., f(x)=x2f(x) = x^2f(x)=x2)
  • Odd if f(x)=f(x)f(-x) = -f(x)f(x)=f(x) for all xxx in its domain → the graph is symmetric about the origin (e.g., f(x)=x3f(x) = x^3f(x)=x3)

To test, substitute x-xx for xxx and simplify. If you get the original function back, it's even; if you get its negative, it's odd; if neither, it's neither.

Increasing and Decreasing Functions

A function is increasing on an interval III if f(x1)<f(x2)f(x_1) < f(x_2)f(x1)<f(x2) whenever x1<x2x_1 < x_2x1<x2 in III — in other words, moving left to right, the graph rises. It is decreasing if the graph falls as you move right. This concept will become crucial when we look for maxima and minima in later chapters.

📝 Section Recap: A function is a reliable rule that assigns exactly one output to each input. We can describe functions verbally, numerically, visually, or algebraically. The Vertical Line Test identifies whether a graph represents a function. Piecewise functions use different formulas on different intervals, and functions can be classified by symmetry (even/odd) and by whether they increase or decrease on given intervals.


1.2 A Catalog of the Essential Function Types

Mathematical models of real-world phenomena are built from a handful of core function families. Before you can model anything, you need to know these families well.

Linear Functions

A linear function has the form f(x)=mx+bf(x) = mx + bf(x)=mx+b, where mmm is the slope and bbb is the yyy-intercept. Its graph is a straight line, and its defining characteristic is a constant rate of change — for every unit increase in xxx, f(x)f(x)f(x) changes by mmm units.

When data appears to follow a straight-line trend, we construct a linear model. One powerful tool for this is linear regression, which finds the "line of best fit" through a set of data points by minimizing the sum of squared vertical distances from each point to the line.

Polynomials

A polynomial is a function of the form:

P(x)=anxn+an1xn1++a1x+a0P(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0P(x)=anxn+an1xn1++a1x+a0

where nnn is a non-negative integer (the degree) and the aia_iai are constants (coefficients). The domain of any polynomial is all of R\mathbb{R}R.

Special cases have their own names:

  • Degree 1: linear function
  • Degree 2: quadratic function — graph is a parabola, opening up (a>0a > 0a>0) or down (a<0a < 0a<0)
  • Degree 3: cubic function

Polynomials are extremely flexible models. For example, a falling ball's height can be well approximated by a quadratic function of time.

Power Functions

A power function has the form f(x)=xaf(x) = x^af(x)=xa for a constant aaa. Different values of aaa give strikingly different shapes:

  • a=na = na=n (positive integer): curves like y=x2y = x^2y=x2 (parabola) or y=x3y = x^3y=x3 (cubic). Even powers give even functions; odd powers give odd functions.
  • a=1/na = 1/na=1/n (root functions): f(x)=xnf(x) = \sqrt[n]{x}f(x)=nx. The square root has domain [0,)[0, \infty)[0,); the cube root is defined for all reals.
  • a=1a = -1a=1 (reciprocal): f(x)=1/xf(x) = 1/xf(x)=1/x — a hyperbola with the axes as asymptotes.
  • a=2a = -2a=2 (inverse square law): f(x)=C/x2f(x) = C/x^2f(x)=C/x2. Many natural laws take this form — gravitational force, light intensity, electrostatic force all diminish inversely with the square of distance.

Rational Functions

A rational function is a ratio of two polynomials:

f(x)=P(x)Q(x)f(x) = \frac{P(x)}{Q(x)}f(x)=Q(x)P(x)

The domain excludes any values where Q(x)=0Q(x) = 0Q(x)=0 (division by zero is undefined). Rational functions can have vertical asymptotes where Q(x)=0Q(x) = 0Q(x)=0 and horizontal asymptotes as x±x \to \pm \inftyx±.

Algebraic, Trigonometric, Exponential, and Logarithmic Functions

An algebraic function is built from polynomials using the four arithmetic operations plus taking roots. Any rational function is algebraic.

Functions that are not algebraic are called transcendental. The three major families are:

  • Trigonometric functions (sinx\sin xsinx, cosx\cos xcosx, tanx\tan xtanx, etc.): periodic functions with domain R\mathbb{R}R (for sin\sinsin and cos\coscos) and range [1,1][-1, 1][1,1]. Their periodic nature makes them ideal models for repetitive phenomena like tides, sound waves, and seasonal daylight variation. In calculus, angles are always in radians unless otherwise stated.

  • Exponential functions (f(x)=bxf(x) = b^xf(x)=bx, b>0b > 0b>0): domain is R\mathbb{R}R, range is (0,)(0, \infty)(0,). They model exponential growth (population) or decay (radioactive material).

  • Logarithmic functions (f(x)=logbxf(x) = \log_b xf(x)=logbx): the inverse of exponential functions. Domain is (0,)(0, \infty)(0,), range is R\mathbb{R}R. They grow slowly — much more slowly than power functions.

📝 Section Recap: The core function families are linear, polynomial, power, rational, algebraic, trigonometric, exponential, and logarithmic. Each has a characteristic shape and behavior. Recognizing which family best fits a situation is the first step in building a mathematical model. Linear regression is one tool for fitting data with a linear model.


1.3 Building New Functions from Old Ones

Once you know the basic functions, you can construct an enormous variety of new functions through two main techniques: transformations and combinations.

Transformations: Shifts, Stretches, and Reflections

Starting from a known graph y=f(x)y = f(x)y=f(x), you can obtain new graphs by applying simple modifications. Here's a quick reference:

Transformation Equation Effect
Shift up by ccc y=f(x)+cy = f(x) + cy=f(x)+c Graph moves ccc units up
Shift down by ccc y=f(x)cy = f(x) - cy=f(x)c Graph moves ccc units down
Shift right by ccc y=f(xc)y = f(x - c)y=f(xc) Graph moves ccc units right
Shift left by ccc y=f(x+c)y = f(x + c)y=f(x+c) Graph moves ccc units left
Vertical stretch by ccc y=cf(x)y = c \cdot f(x)y=cf(x) Graph stretches away from xxx-axis
Vertical compression y=1cf(x)y = \frac{1}{c} f(x)y=c1f(x) Graph shrinks toward xxx-axis
Reflect about xxx-axis y=f(x)y = -f(x)y=f(x) Graph flips vertically
Reflect about yyy-axis y=f(x)y = f(-x)y=f(x) Graph flips horizontally

A useful trick: transformations inside the argument (like f(xc)f(x - c)f(xc) or f(cx)f(cx)f(cx)) affect the horizontal direction, and they work oppositely to what you might expect — f(x2)f(x - 2)f(x2) shifts the graph right, not left. Transformations outside the argument (like cf(x)c \cdot f(x)cf(x) or f(x)+cf(x) + cf(x)+c) affect the vertical direction in the intuitive way.

For the absolute value transformation: y=f(x)y = |f(x)|y=f(x) takes any part of the graph below the xxx-axis and reflects it upward, so all yyy-values become non-negative.

Combining Functions: Arithmetic Operations and Composition

Two functions fff and ggg can be combined arithmetically. Their sum, difference, product, and quotient are defined pointwise:

(f+g)(x)=f(x)+g(x),(fg)(x)=f(x)g(x)(f + g)(x) = f(x) + g(x), \quad \left(\frac{f}{g}\right)(x) = \frac{f(x)}{g(x)}(f+g)(x)=f(x)+g(x),(gf)(x)=g(x)f(x)

The domain of f+gf + gf+g (and fgf - gfg, fgfgfg) is the intersection of the domains of fff and ggg. For the quotient f/gf/gf/g, additionally exclude points where g(x)=0g(x) = 0g(x)=0.

The most important combination in calculus is composition. The composite function fgf \circ gfg is defined by:

(fg)(x)=f(g(x))(f \circ g)(x) = f(g(x))(fg)(x)=f(g(x))

Think of it as a two-stage pipeline: first apply ggg to the input xxx, then feed the result into fff. The order matters — in general, fggff \circ g \neq g \circ ffg=gf. The domain of fgf \circ gfg consists of all xxx in the domain of ggg such that g(x)g(x)g(x) is in the domain of fff.

A key skill you'll use constantly in calculus: decomposing a complicated function into simpler pieces. For example, F(x)=cos2(x+9)F(x) = \cos^2(x + 9)F(x)=cos2(x+9) can be decomposed as F=fghF = f \circ g \circ hF=fgh where h(x)=x+9h(x) = x + 9h(x)=x+9, g(x)=cosxg(x) = \cos xg(x)=cosx, and f(x)=x2f(x) = x^2f(x)=x2.

📝 Section Recap: Transformations (shifts, stretches, reflections) let you build new graphs from known ones using a systematic set of rules. Arithmetic combinations and function composition extend this toolkit further. Composition in particular — where the output of one function becomes the input of another — is central to calculus techniques like the chain rule.


1.4 Exponential Functions in Depth

Graphs and Key Properties

An exponential function has the form f(x)=bxf(x) = b^xf(x)=bx, where the base bbb is a positive constant. The variable is in the exponent — this is what makes exponential functions fundamentally different from power functions like x2x^2x2.

For any base b>0b > 0b>0 with b1b \neq 1b=1, the function f(x)=bxf(x) = b^xf(x)=bx has domain R\mathbb{R}R and range (0,)(0, \infty)(0,). All exponential graphs pass through (0,1)(0, 1)(0,1) because b0=1b^0 = 1b0=1. Three qualitatively different behaviors arise:

  • b>1b > 1b>1: increasing exponential (growth)
  • b=1b = 1b=1: constant function f(x)=1f(x) = 1f(x)=1
  • 0<b<10 < b < 10<b<1: decreasing exponential (decay)

Since (1/b)x=bx(1/b)^x = b^{-x}(1/b)x=bx, the graph of y=(1/b)xy = (1/b)^xy=(1/b)x is the reflection of y=bxy = b^xy=bx about the yyy-axis. As bbb gets larger (for b>1b > 1b>1), the growth becomes more and more rapid.

The key algebraic rules governing exponential functions are the Laws of Exponents:

bx+y=bxby,bxy=bxby,(bx)y=bxy,(ab)x=axbxb^{x+y} = b^x b^y, \quad b^{x-y} = \frac{b^x}{b^y}, \quad (b^x)^y = b^{xy}, \quad (ab)^x = a^x b^xbx+y=bxby,bxy=bybx,(bx)y=bxy,(ab)x=axbx

Exponential Growth and Decay in Real Life

Exponential functions model any quantity that grows or shrinks by a constant percentage rate per unit time. A bacteria population that doubles every hour follows p(t)=p02tp(t) = p_0 \cdot 2^tp(t)=p02t. A decaying viral load might follow V(t)=abtV(t) = a \cdot b^tV(t)=abt with b<1b < 1b<1. In both cases, the ratio of successive values stays constant — that's the hallmark of exponential behavior.

The Special Base eee

Among all possible bases, e2.71828e \approx 2.71828e2.71828 is the most natural for calculus. It is defined by the property that the tangent line to y=exy = e^xy=ex at the point (0,1)(0, 1)(0,1) has slope exactly 1. This makes the derivative of exe^xex especially clean (as we'll see in Chapter 3).

The function f(x)=exf(x) = e^xf(x)=ex is called the natural exponential function. Its graph lies between y=2xy = 2^xy=2x and y=3xy = 3^xy=3x, and it grows without bound as xx \to \inftyx while approaching 0 as xx \to -\inftyx (the xxx-axis is a horizontal asymptote).

📝 Section Recap: Exponential functions f(x)=bxf(x) = b^xf(x)=bx have their variable in the exponent and exhibit either rapid growth or decay depending on whether b>1b > 1b>1 or 0<b<10 < b < 10<b<1. The natural base e2.718e \approx 2.718e2.718 is especially important in calculus because of its slope property at the origin. Exponential functions appear throughout nature whenever a quantity grows or decays at a rate proportional to its current size.


1.5 Inverse Functions and Logarithms

One-to-One Functions and Inverses

Not every function has an inverse. To be "invertible," a function must be one-to-one (injective) — it never assigns the same output to two different inputs.

One-to-One Function: fff is one-to-one if f(x1)f(x2)f(x_1) \neq f(x_2)f(x1)=f(x2) whenever x1x2x_1 \neq x_2x1=x2.

The Horizontal Line Test gives a visual check: fff is one-to-one if and only if no horizontal line crosses its graph more than once. For example, f(x)=x3f(x) = x^3f(x)=x3 passes the test (it's one-to-one), while g(x)=x2g(x) = x^2g(x)=x2 fails it (two xxx-values can give the same square).

For a one-to-one function fff with domain AAA and range BBB, the inverse function f1f^{-1}f1 has domain BBB and range AAA, and satisfies:

f1(y)=x    f(x)=yf^{-1}(y) = x \iff f(x) = yf1(y)=xf(x)=y

Think of f1f^{-1}f1 as the "undo" function: f1(f(x))=xf^{-1}(f(x)) = xf1(f(x))=x and f(f1(x))=xf(f^{-1}(x)) = xf(f1(x))=x. Important warning: f1(x)f^{-1}(x)f1(x) does not mean 1/f(x)1/f(x)1/f(x).

To find f1f^{-1}f1 algebraically: (1) write y=f(x)y = f(x)y=f(x), (2) solve for xxx in terms of yyy, (3) swap xxx and yyy to get y=f1(x)y = f^{-1}(x)y=f1(x).

Graphically: the graph of f1f^{-1}f1 is obtained by reflecting the graph of fff about the line y=xy = xy=x. Every point (a,b)(a, b)(a,b) on the graph of fff corresponds to the point (b,a)(b, a)(b,a) on the graph of f1f^{-1}f1.

Logarithmic Functions

Since f(x)=bxf(x) = b^xf(x)=bx (for b>0b > 0b>0, b1b \neq 1b=1) is one-to-one, it has an inverse called the logarithm with base bbb, written logbx\log_b xlogbx. The defining relationship is:

logbx=y    by=x\log_b x = y \iff b^y = xlogbx=yby=x

In plain English: logbx\log_b xlogbx is the exponent you need to raise bbb to in order to get xxx. For example, log100.001=3\log_{10} 0.001 = -3log100.001=3 because 103=0.00110^{-3} = 0.001103=0.001.

The domain of logb\log_blogb is (0,)(0, \infty)(0,) (you can only take logarithms of positive numbers), and the range is all of R\mathbb{R}R.

The Laws of Logarithms mirror the Laws of Exponents:

logb(xy)=logbx+logby\log_b(xy) = \log_b x + \log_b ylogb(xy)=logbx+logby logb ⁣(xy)=logbxlogby\log_b\!\left(\frac{x}{y}\right) = \log_b x - \log_b ylogb(yx)=logbxlogby logb(xr)=rlogbx\log_b(x^r) = r \log_b xlogb(xr)=rlogbx

These laws let you expand or condense logarithmic expressions — a skill you'll use extensively when solving equations.

The Natural Logarithm

The natural logarithm lnx=logex\ln x = \log_e xlnx=logex is the logarithm with base eee. It is the most important logarithm in calculus. Its defining properties are:

lnx=y    ey=x,ln(ex)=x,elnx=x for x>0\ln x = y \iff e^y = x, \qquad \ln(e^x) = x, \qquad e^{\ln x} = x \text{ for } x > 0lnx=yey=x,ln(ex)=x,elnx=x for x>0

In particular, lne=1\ln e = 1lne=1. The Change of Base Formula lets you convert any logarithm to natural log:

logbx=lnxlnb\log_b x = \frac{\ln x}{\ln b}logbx=lnblnx

The graph of y=lnxy = \ln xy=lnx is the reflection of y=exy = e^xy=ex about the line y=xy = xy=x. It is increasing on (0,)(0, \infty)(0,) but grows very slowly — much slower than any positive power of xxx. The yyy-axis (x=0x = 0x=0) is a vertical asymptote, with lnx\ln x \to -\inftylnx as x0+x \to 0^+x0+.

Inverse Trigonometric Functions

Trigonometric functions like sinx\sin xsinx are periodic and therefore not one-to-one over their full domains. To define inverses, we restrict the domain to an interval where the function is one-to-one:

  • Arcsine (sin1(\sin^{-1}(sin1 or arcsin)\arcsin)arcsin): restricts sinx\sin xsinx to [π/2,π/2][-\pi/2, \pi/2][π/2,π/2]. The inverse has domain [1,1][-1, 1][1,1] and range [π/2,π/2][-\pi/2, \pi/2][π/2,π/2].
  • Arccosine (cos1(\cos^{-1}(cos1 or arccos)\arccos)arccos): restricts cosx\cos xcosx to [0,π][0, \pi][0,π]. The inverse has domain [1,1][-1, 1][1,1] and range [0,π][0, \pi][0,π].
  • Arctangent (tan1(\tan^{-1}(tan1 or arctan)\arctan)arctan): restricts tanx\tan xtanx to (π/2,π/2)(-\pi/2, \pi/2)(π/2,π/2). The inverse has domain R\mathbb{R}R and range (π/2,π/2)(-\pi/2, \pi/2)(π/2,π/2).

A common mistake: sin1(x)\sin^{-1}(x)sin1(x) is NOT the same as 1/sin(x)1/\sin(x)1/sin(x) (that would be cscx\csc xcscx). The superscript 1-11 here denotes the inverse function, not a reciprocal.

The graph of y=tan1xy = \tan^{-1} xy=tan1x is especially useful: it has two horizontal asymptotes at y=π/2y = \pi/2y=π/2 and y=π/2y = -\pi/2y=π/2, and the function smoothly transitions between them, passing through the origin.

📝 Section Recap: A one-to-one function has an inverse that exactly "undoes" it. The inverse function's graph is the reflection of the original about the line y=xy = xy=x. Logarithms are the inverses of exponential functions — logbx\log_b xlogbx answers "to what power must I raise bbb to get xxx?" The natural logarithm lnx\ln xlnx (base eee) is the most important for calculus. Inverse trigonometric functions are created by restricting the domain of sin\sinsin, cos\coscos, and tan\tantan to intervals where they are one-to-one.


Chapter Summary

This chapter establishes the language of functions that calculus is built upon. Here's the big picture:

The concept of a function captures any rule that reliably maps inputs to outputs, and we can represent such rules in four ways (verbal, numerical, visual, algebraic). The essential function families — linear, polynomial, power, rational, trigonometric, exponential, logarithmic — each have characteristic graphs and behaviors worth memorizing. We can transform any function by shifting, stretching, or reflecting its graph, and we can combine functions through arithmetic or composition to build new, more complex functions.

Exponential functions grow (or decay) at a rate proportional to their current size, making them the natural model for population growth, radioactive decay, and compound interest. The base e2.718e \approx 2.718e2.718 is singled out for its special role in calculus. Logarithms are the inverses of exponentials, and they appear whenever we need to "undo" exponential behavior — for instance, when solving for time in a growth or decay equation. Inverse functions more broadly reverse the action of a one-to-one function, and inverse trigonometric functions let us recover angles from known trig values.