Functions and Mathematical Models

A progressive guide to functions, their domains and representations, transformations and inverses, major function families, mathematical modeling, and the calculus ideas used to analyze change.

Understanding Functions and Their Representations

A assigns exactly one output to each permitted input. In $y=f(x)$ , the input is commonly $x$ , and the output is $f(x)$ . For example, if $f(x)=2x+3$ , then $f(4)=11$ .

The same relationship can be represented in several complementary ways:

Algebraically: with an equation such as $f(x)=x^2-4$
Graphically: as a curve in the coordinate plane
Numerically: with a table of input-output values
Verbally: with a description of a relationship or process

The input is often called the independent variable, while the output is the dependent variable. If $P(t)$ represents the population of a city $t$ years after 2020, then $P(5)=850{,}000$ means that the model predicts a population of 850,000 in 2025.

A relation fails to be a when one input is associated with two or more outputs. On a graph, this is checked with the : every vertical line must intersect the graph at most once.

Takeaway: Interpret what each input and output represents before manipulating a formula.

, , and Features

The contains every permitted input, and the contains every resulting output. Both are determined by the formula and by restrictions imposed by the situation.

Common algebraic restrictions include:

A denominator cannot be zero. For $f(x)=\frac{1}{x-2}$ , the restriction is $x\ne 2$ , so the is $(- \infty,2)\cup(2,\infty)$ .
An even-root radicand must be nonnegative. For $g(x)=\sqrt{x+5}$ , the condition $x+5\ge 0$ gives the $[-5,\infty)$ .
A logarithm argument must be positive. For $h(x)=\ln(3-x)$ , the condition $3-x>0$ gives the $(- \infty,3)$ .
An application can impose additional restrictions, such as $t\ge 0$ for elapsed time or nonnegative values for length, mass, and population.

From a graph, read the horizontally and the vertically. Open circles indicate excluded values, closed circles indicate included values, and arrows indicate continuation. A graph beginning at the closed point $(-2,1)$ and continuing rightward while rising without bound has $[-2,\infty)$ and $[1,\infty)$ .

Important features include zeros, the $y$ -intercept, intervals of increase and decrease, local and absolute extrema, symmetry, asymptotes, end behavior, and continuity or discontinuity.

Takeaway: State restrictions explicitly, especially when a formula is being used as a real-world model.

Recognizing Common Families

Recognizing a family helps predict its graph and behavior.

A linear has the form $f(x)=mx+b$ . The slope $m$ is the constant rate of change, and $b$ is the vertical intercept.
A polynomial has the form $f(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0$ . It is defined for all real inputs and is continuous. Its leading term determines its end behavior.
A rational has the form $f(x)=\frac{p(x)}{q(x)}$ , with $q(x)\ne 0$ . It may contain holes or vertical, horizontal, or oblique asymptotes.
Power and root functions include examples such as $x^2$ , $x^3$ , and $\sqrt{x}$ . Even-root functions generally require nonnegative inputs, while odd-root functions such as $\sqrt[3]{x}$ are defined for all real inputs.
Trigonometric functions describe periodic behavior associated with angles, circles, and waves.
Exponential functions describe multiplicative growth or decay.
Logarithmic functions are inverses of exponential functions and are useful for solving for an exponent or time.

Classification is not merely a naming exercise. It suggests likely restrictions, asymptotes, end behavior, rates of change, and modeling uses.

Takeaway: Identify the family before analyzing a graph or choosing a model.

Transformations of Functions

Starting with a parent $y=f(x)$ , a broad transformation has the form

y=a f\bigl(b(x-h)\bigr)+k.

The parameters affect the graph as follows:

$h$ shifts the graph right by $h$ units when $h>0$ .
$k$ shifts the graph up by $k$ units when $k>0$ .
$|a|>1$ produces a vertical stretch, while $0<|a|<1$ produces a vertical compression.
$a<0$ reflects the graph across the $x$ -axis.
$|b|>1$ produces a horizontal compression, while $0<|b|<1$ produces a horizontal stretch.
$b<0$ reflects the graph across the $y$ -axis.

Horizontal changes work inversely. Rewrite the inside in factored form before interpreting it. For example,

y=\sqrt{2x-6}+1=\sqrt{2(x-3)}+1

comes from $y=\sqrt{x}$ by shifting right $3$ units, horizontally compressing by a factor of $\frac{1}{2}$ , and shifting up $1$ unit.

A dependable method is to identify the parent , factor the input when possible, apply transformations consistently, and check a few corresponding points.

Takeaway: Vertical factors act directly, but horizontal factors act inversely.

and Inverse Functions

The of $f$ and $g$ is

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

The inner $g$ acts first, and its output becomes the input of $f$ . The is defined only when $x$ belongs to the of $g$ and $g(x)$ belongs to the of $f$ .

For $f(x)=x^2+1$ and $g(x)=3x-2$ ,

(f\circ g)(x)=f(3x-2)=(3x-2)^2+1,

whereas

(g\circ f)(x)=g(x^2+1)=3(x^2+1)-2=3x^2+1.

Thus, is generally order-sensitive. If $d(t)$ gives distance as a of time and $C(d)$ gives cost as a of distance, then $C(d(t))$ gives cost directly as a of time.

An reverses the input-output process. It exists as a only when the original is one-to-one, meaning distinct inputs produce distinct outputs. The horizontal line test checks this graphically.

For $f(x)=2x-5$ , start with $y=2x-5$ , swap $x$ and $y$ , and solve:

x=2y-5\quad\Longrightarrow\quad f^{-1}(x)=\frac{x+5}{2}.

The graph of an inverse is the reflection of the original graph across $y=x$ . The inverse's is the original , and its is the original . Although $f(x)=x^2$ is not one-to-one on all real numbers, restricting it to $[0,\infty)$ gives the inverse $f^{-1}(x)=\sqrt{x}$ .

Takeaway: For , work from the inside outward; for inversion, check one-to-one behavior and restrictions.

Trigonometric and Sinusoidal Functions

Trigonometric functions model repeating behavior from circles, angles, oscillations, and waves. The basic functions are $\sin x$ , $\cos x$ , and $\tan x$ . Calculus uses radians because the rules take their simplest form:

\frac{d}{dx}(\sin x)=\cos x, \qquad \frac{d}{dx}(\cos x)=-\sin x.

A can be written as

y=A\sin(B(x-C))+D

y=A\cos(B(x-C))+D.

Its features are:

Amplitude: $|A|$
Period: $\frac{2\pi}{|B|}$
Phase shift: $C$
Midline: $y=D$
Maximum: $D+|A|$
Minimum: $D-|A|$

For

y=3\cos\left(2x-\frac{\pi}{2}\right)+1,

rewrite the angle as $2\left(x-\frac{\pi}{4}\right)$ . The amplitude is $3$ , the period is $\pi$ , the midline is $y=1$ , and the phase shift is $\frac{\pi}{4}$ to the right.

The tangent satisfies $\tan x=\frac{\sin x}{\cos x}$ , so it is undefined when $\cos x=0$ . Its vertical asymptotes occur at

x=\frac{\pi}{2}+k\pi,\qquad k\in\mathbb{Z}.

The reciprocal functions are $\sec x=\frac{1}{\cos x}$ , $\csc x=\frac{1}{\sin x}$ , and $\cot x=\frac{\cos x}{\sin x}$ .

Takeaway: Use radians in calculus and read amplitude, period, shift, and midline from the parameters.

Exponential and Logarithmic Functions

An has the form $f(x)=ab^x$ , where $b>0$ and $b\ne 1$ . When $b>1$ , it represents growth; when $0<b<1$ , it represents decay. The natural is $e^x$ , where $e\approx 2.71828$ , and it satisfies

\frac{d}{dx}(e^x)=e^x.

The natural logarithm $\ln x$ is the inverse of $e^x$ :

\ln(e^x)=x, \qquad e^{\ln x}=x\quad (x>0).

The $y=e^x$ has $\mathbb{R}$ , $(0,\infty)$ , and horizontal asymptote $y=0$ . The $y=\ln x$ has $(0,\infty)$ , $\mathbb{R}$ , and vertical asymptote $x=0$ .

Continuous growth and decay are commonly modeled by

P(t)=P_0e^{kt},

where $P_0$ is the initial amount and $k$ is the continuous growth constant. If a substance begins with $500$ grams and decays continuously at rate $0.08$ per hour, then

P(t)=500e^{-0.08t}.

After $6$ hours,

P(6)=500e^{-0.48}.

Logarithms can be used to solve such a model for time when the desired amount is known.

Takeaway: Exponential models describe multiplicative change, while logarithms reverse exponential operations.

Mathematical Modeling and Calculus Reasoning

A is a or collection of functions used to represent a real-world situation. A model is useful only when its variables, , assumptions, and interpretation are clear.

A practical modeling process is:

Define the variables. State what each quantity represents and include units.
Identify the relationship. Decide whether the behavior is linear, polynomial, rational, exponential, logarithmic, trigonometric, or another type.
Determine the . Combine algebraic restrictions with real-world conditions.
Build or select the model. Use data, measurements, known formulas, or stated assumptions.
Analyze the model. Examine values, rates of change, extrema, intercepts, asymptotes, and long-term behavior.
Check reasonableness. Compare predictions with known values and ask whether the assumptions remain valid.
Communicate the conclusion. State the result with appropriate units, precision, and context.

A population model may fit observed data well for a decade but become unrealistic over centuries if resources, migration, or environmental limits are omitted. A formula should not be extrapolated automatically beyond the situation for which it was designed.

Calculus problems often concern change, accumulation, or behavior. A reliable process is:

Identify the quantities, units, interval, and requested result.
Represent the situation with an equation, table, graph, or verbal description.
Choose the relevant idea: a limit for behavior near a point, a for instantaneous change, an integral for accumulation, or a differential equation when a rate depends on the quantity or other variables.
Carry out the mathematics while preserving restrictions and units.
Interpret the result in context.
Check it with an estimate, graph, sign analysis, substitution, or another representation.

For a particle with position

s(t)=t^3-6t^2+9t,\qquad 0\le t\le 4,

velocity is the :

v(t)=s'(t)=3t^2-12t+9.

The particle is momentarily at rest when $v(t)=0$ :

3t^2-12t+9=3(t-1)(t-3)=0.

Therefore, it is at rest at $t=1$ and $t=3$ . Since $v(t)>0$ on $(0,1)$ and $(3,4)$ , position increases on those intervals. Since $v(t)<0$ on $(1,3)$ , position decreases there.

Takeaway: A complete calculus answer combines computation with units, interpretation, justification, and a check of reasonableness.