Mathematical Modeling

Mathematical modeling is the art and science of translating a real-world situation into mathematical language (equations, functions, graphs, or simulations), analyzing that representation, and interpreting the results back in the real world. Key result: a good model captures the essential features of a system precisely enough to explain or predict its behavior while remaining simple enough to be solved and understood. Where it applies: physics, biology, economics, engineering, medicine, climate science — anywhere quantities change or interact. Who/when: developed continuously from Newton (1687) through Lotka–Volterra (1920s) to modern computational and statistical modeling.

A mathematical model is a description of a system using mathematical concepts and language. The process of modeling involves identifying the relevant variables, stating assumptions, building relationships among the variables (often as equations or inequalities), solving or simulating the resulting mathematics, and validating the output against real data. Modeling matters because it turns vague questions ("Will the population grow?" "How hot will the coffee get?") into precise, testable predictions, and because it is the bridge between pure mathematics and every quantitative science. A surprising fact: two completely different physical systems — a swinging pendulum and an oscillating electric circuit — obey the same differential equation, so solving the model once solves both problems at once.

The Core Insight

Reality is infinitely complex; a model deliberately throws away most of that complexity and keeps only what matters for the question being asked. The central skill is choosing good assumptions — the model is only as trustworthy as the simplifications behind it. "All models are wrong, but some are useful" (George Box). Modeling is therefore a cycle: build, solve, test, refine — not a one-shot calculation.

Formal Statement

The Modeling Cycle

A mathematical model is a triple consisting of (1) a set of variables representing measurable quantities, (2) a set of assumptions restricting how those variables may behave, and (3) a set of relationships (equations, inequalities, or rules) linking the variables. The modeling cycle is the iterative procedure:

Identify the real-world problem and the question to answer.
Assume & simplify — list what is ignored and what is kept.
Formulate — write mathematical relationships.
Solve / analyze — apply mathematics to extract predictions.
Interpret — translate the math back into the real world.
Validate — compare with data; if poor, return to step 2.

A classic worked relationship is the exponential growth model, in which the rate of change of a quantity is proportional to the quantity itself:

\frac{d P}{d t} = k P

⟳assume each individual contributes a constant per-capita rate

k

; total rate = rate per individual × number of individuals

P

Here $P = P (t)$ is the population (or amount) at time $t$ , and $k$ is the growth constant (units of inverse time). Solving this gives:

P (t) = P_{0} e^{k t}

⟳separate variables,

\int \frac{d P}{P} = \int k d t

, integrate to

ln P = k t + C

, exponentiate and set

P (0) = P_{0}

When growth is limited by resources, the logistic model replaces the constant rate with one that shrinks as $P$ approaches a carrying capacity $K$ :

\frac{d P}{d t} = k P (1 - \frac{P}{K})

⟳multiply the exponential rate

k P

by a "braking factor"

(1 - P / K)

that equals 1 when

P \approx 0

and 0 when

P = K

Its solution is the logistic curve:

P (t) = \frac{K}{1 + A e ^{- k t}}, A = \frac{K - P _{0}}{P _{0}}

⟳separate variables, use partial fractions

\frac{1}{P ( 1 - P / K )} = \frac{1}{P} + \frac{1/ K}{1 - P / K}

, integrate and solve for

P

Behavior of the Logistic Model

For the logistic equation [3] with $0 < P_{0} < K$ and $k > 0$ , the solution $P (t)$ is strictly increasing, bounded above by $K$ , and satisfies $lim_{t \to \infty} P (t) = K$ . The curve has a single inflection point where $P = K /2$ , at which the growth rate $d P / d t$ is maximized.

Why It Holds / Derivation

Solving the Logistic Equation

Step 1. Start from [3]:

\frac{d P}{d t} = k P (1 - \frac{P}{K})

. Step 2. Separate variables:

\frac{d P}{P ( 1 - P / K )} = k d t .

Step 3. Decompose the left side by partial fractions:

\frac{1}{P ( 1 - P / K )} = \frac{1}{P} + \frac{1/ K}{1 - P / K} .

Step 4. Integrate both sides:

ln P - ln (1 - \frac{P}{K}) = k t + C .

Step 5. Combine logarithms and exponentiate:

\frac{P}{1 - P / K} = e^{k t + C} = B e^{k t} .

Step 6. Solve algebraically for

P

, then apply

P (0) = P_{0}

to fix the constant, yielding

A = (K - P_{0}) / P_{0}

and equation [4]. Step 7 (inflection point). Differentiate [3] and set

d^{2} P / d t^{2} = 0

; this occurs exactly when

1 - 2 P / K = 0

, i.e.

P = K /2

■

Alfred J. Lotka & Vito Volterra | 1880–1949 / 1860–1940

Lotka (a chemist) and Volterra (a mathematician) independently created the predator–prey equations in the 1920s — coupled differential equations modeling how the populations of, say, foxes and rabbits oscillate over time. Volterra was inspired by his son-in-law, a marine biologist puzzled by fish-catch fluctuations in the Adriatic. Their work showed that interaction between species, not external causes, can produce sustained cycles — a landmark demonstration that mathematics can reveal counterintuitive truths about living systems.

Building Intuition

Think of modeling as drawing a map. A map of your city is not the city — it omits trees, traffic, and individual people. But a good map keeps exactly the features you need (streets, distances) and discards the rest, so you can navigate. A subway map distorts geography entirely yet is perfect for its purpose. Likewise, a model of a falling ball might ignore air resistance (a "frictionless map") — wonderful for a bowling ball, useless for a feather. The whole skill is matching the model's level of detail to the question. Ask: what can I safely ignore?

Exponential vs. logistic growth: the same starting slope, very different fates

Worked Examples

Bacterial Growth (Exponential Model)

Given: A bacterial culture starts with

P_{0} = 500

cells and grows so that the population doubles every 3 hours. Predict the population after 12 hours. Step 1 — find $k$ . Doubling in 3 h means

P (3) = 2 P_{0}

, so from [2]:

2 P_{0} = P_{0} e^{3 k} \Rightarrow e^{3 k} = 2 \Rightarrow k = \frac{ln 2}{3} \approx 0.231 h^{- 1} .

Step 2 — evaluate at $t = 12$ h. Note

12 = 4 \times 3

h = 4 doublings:

P (12) = 500 \cdot e^{12 k} = 500 \cdot 2^{4} = 500 \cdot 16.

Answer:

P (12) = 8000 cells

(Check: model assumes unlimited nutrients — valid only for early growth.)

Cooling Coffee (Newton's Law of Cooling)

Given: Coffee at

9 0^{\circ} C

sits in a

2 0^{\circ} C

room. Newton's law of cooling models the temperature

T (t)

\frac{d T}{d t} = - r (T - T_{room}),

whose solution is

T (t) = T_{room} + (T_{0} - T_{room}) e^{- r t}

. After 5 minutes the coffee is

7 0^{\circ} C

. Find

r

, then the temperature at

t = 15

min. Step 1 — set up.

T_{0} = 90

T_{room} = 20

, so

T (t) = 20 + 70 e^{- r t}

. Step 2 — use the data point

T (5) = 70

70 = 20 + 70 e^{- 5 r} \Rightarrow e^{- 5 r} = \frac{50}{70} = 0.7143

r = - \frac{1}{5} ln (0.7143) \approx 0.0673 min^{- 1} .

Step 3 — evaluate at

t = 15

T (15) = 20 + 70 e^{- 0.0673 \times 15} = 20 + 70 e^{- 1.010} = 20 + 70 (0.364) .

Answer:

T (15) \approx 45. 5^{\circ} C

Common Misconceptions

A model that fits the data is not automatically correct. With enough free parameters you can fit almost any curve (this is overfitting). A good model fits the data and makes accurate predictions about new situations and rests on plausible assumptions. Beware also of extrapolation: equation [2] predicts exponential growth forever, but no real population grows without bound — at some point food, space, or disease intervenes. A model is only valid within the range of conditions for which its assumptions hold.

counterexample[Exponential Model Fails Long-Term] Suppose you fit bacteria data perfectly for the first 12 hours with $P (t) = 500 e^{0.231 t}$ . Extrapolating to $t = 48$ h gives $P \approx 500 \cdot e^{11.1} \approx 3.3 \times 1 0^{7}$ , and to $t = 120$ h gives more bacteria than atoms in a petri dish could hold. The model is not wrong — it simply applied outside its valid domain. The logistic model [3], which the exponential model approximates only for small $P$ , corrects this by leveling off at $K$ .

Connections

Mathematical modeling is the connective tissue of applied mathematics. The exponential and logistic equations are instances of Differential Equations, whose solution techniques (separation of variables, integrating factors) come from Integral Calculus. The growth constant $k$ and carrying capacity $K$ are estimated using Regression and Curve Fitting. Models with randomness (e.g. predicting dice, queues, or stock prices) draw on Probability Theory. When a model has no closed-form solution, it is solved approximately via Numerical Methods on a computer. The frequent reuse of one equation for many systems reflects the unifying power of Functions and Graphs and dimensional reasoning.

Real-World Applications

Epidemiology — the SIR model: Susceptible–Infected–Recovered compartments governed by coupled differential equations forecast disease spread; central to COVID-19 policy in 2020.
Climate science — energy-balance models: equate incoming solar radiation with outgoing heat to predict global temperature, scaling up to the IPCC's general circulation models.
Finance — the Black–Scholes equation: a partial differential equation modeling option prices, foundation of modern quantitative finance (Nobel Prize 1997).
Engineering — structural load models: beams and bridges modeled with stress–strain equations to ensure they bear weight safely (e.g. the Tacoma Narrows redesign after the 1940 collapse).
Ecology — Lotka–Volterra predator–prey: explains observed oscillations in lynx and snowshoe-hare populations from Hudson's Bay Company fur records.
Medicine — pharmacokinetics: exponential-decay models of drug clearance set safe dosing intervals.
Logistics — queueing theory: models of arrival and service rates optimize call centers, hospital emergency rooms, and internet routers.

Historical Development

1687 — Isaac Newton's Principia introduces differential equations of motion, the first great predictive physical models.
1798 — Thomas Malthus publishes the exponential population principle, equation [1]–[2], warning of unchecked growth.
1838 — Pierre-François Verhulst introduces the logistic equation [3]–[4] to correct Malthus by adding a carrying capacity.
1840s — Newton's law of cooling formalized as an empirical exponential-decay model.
1920s — Lotka (1925) and Volterra (1926) independently develop predator–prey systems.
1927 — Kermack and McKendrick publish the SIR epidemic model.
1940s–50s — the advent of digital computers makes numerical solution of large models feasible; operations research is born in WWII.
1973 — Black, Scholes, and Merton publish the option-pricing model, revolutionizing finance.
1979 — George Box coins "all models are wrong, but some are useful," crystallizing the modeler's philosophy.

Subtleties & Limits

How much detail is the right amount? There is no algorithm that tells you which features to keep — this remains a matter of judgment, testing, and experience. Modern challenges include modeling complex systems (ecosystems, economies, the brain) where many variables interact nonlinearly and small changes can cascade (chaos). Even when a model is "correct," its parameters may be unidentifiable from available data, and predictions of inherently chaotic systems (like weather beyond ~2 weeks) are fundamentally limited regardless of model quality. The frontier question — how do we model systems too complex to write equations for? — has spawned agent-based simulation and machine-learning models that trade interpretability for predictive power, raising the open issue of whether a black-box model that predicts well but cannot be understood truly "explains" anything.

Mathematical Modeling

The Core Insight

Formal Statement

The Modeling Cycle

Behavior of the Logistic Model

Why It Holds / Derivation

Solving the Logistic Equation

Alfred J. Lotka & Vito Volterra | 1880–1949 / 1860–1940

Building Intuition

Exponential vs. logistic growth: the same starting slope, very different fates

Worked Examples

Bacterial Growth (Exponential Model)

Cooling Coffee (Newton's Law of Cooling)

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads