Exponential Functions and Laws of Exponents

An exponential function has the form $f (x) = b^{x}$ where the variable sits in the exponent and the base $b > 0$ . The laws of exponents ( $b^{m} b^{n} = b^{m + n}$ , etc.) extend repeated multiplication consistently to negative, fractional, and real exponents. They apply everywhere quantities grow or decay by a constant factor per step — compound interest, radioactivity, population, pH. Codified across millennia, with modern notation crystallizing in the 17th century (Descartes, Newton).

An exponential function is a rule $f (x) = b^{x}$ in which a fixed positive base $b$ is raised to a variable exponent $x$ . This differs fundamentally from a power function like $x^{2}$ , where the base varies and the exponent is fixed. Exponential functions matter because they model any process whose rate of change is proportional to its current size — the defining signature of "constant percentage" growth or decay. The laws of exponents are not arbitrary rules to memorize: each one is forced by the requirement that $b^{x}$ behave consistently as we extend $x$ from whole numbers to all real numbers. A surprising fact: among all exponential functions, exactly one, $e^{x}$ , equals its own slope at every point, which is why the number $e \approx 2.71828$ appears throughout nature and finance.

The Core Insight

Repeated multiplication, $b^{n} = n b \cdot b \dots b$ , only makes literal sense for positive whole numbers $n$ . Everything else — $b^{0}$ , $b^{- 3}$ , $b^{1/2}$ , $b^{π}$ — is defined so that the single identity $b^{m + n} = b^{m} b^{n}$ keeps holding. That one demand determines every other rule. Exponentiation is the operation that turns addition in the exponent into multiplication of values, which is why it converts arithmetic growth (steady steps) into geometric growth (steady factors).

Formal Statement

Exponential Function

For a fixed real base $b$ with $b > 0$ and $b \neq = 1$ , the exponential function with base $b$ is

f (x) = b^{x}, x \in R .

⟳extend

b^{n}

(repeated multiplication) to all reals by continuity; the conditions

b > 0

b \neq = 1

ensure

b^{x}

is real-valued and non-constant.

Here $x$ is the exponent (or argument), $b^{x}$ is the value, and $b$ is the constant base. We require $b > 0$ so that fractional powers like $b^{1/2} = b$ stay real, and $b \neq = 1$ so the function is not the constant $1$ .

The Laws of Exponents

For $b, c > 0$ and any real numbers $m, n$ :

b^{m} \cdot b^{n} = b^{m + n} .

⟳for whole numbers, count factors —

m

copies times

n

copies gives

m + n

copies; extend by definition to all reals.

\frac{b ^{m}}{b ^{n}} = b^{m - n} .

⟳division undoes multiplication, so it subtracts counts of factors; set

b^{m - n} \cdot b^{n} = b^{m}

via [2].

(b^{m})^{n} = b^{mn} .

⟳raising

b^{m}

to the

n

stacks

n

groups of

m

factors, giving

mn

total.

(b c)^{n} = b^{n} c^{n} .

⟳a product raised to a power distributes because multiplication is commutative — regroup all

b

's and all

c

's.

b^{0} = 1, b^{- n} = \frac{1}{b ^{n}}, b^{m / n} = n b^{m} .

⟳each is the unique value making [2]–[4] hold — e.g.

b^{0}

must satisfy

b^{0} b^{n} = b^{n}

, forcing

b^{0} = 1

Existence and Uniqueness of the Continuous Extension

There is exactly one continuous function $f : R \to (0, \infty)$ satisfying $f (1) = b$ and $f (x + y) = f (x) f (y)$ for all real $x, y$ . This function is $f (x) = b^{x}$ .

Why the rules are forced

We show the definitions in [6] are not choices but consequences of insisting [2] always holds.

Step 1 — Whole numbers. Define

b^{n} = b \cdot b \dots b

(

n

factors) for

n \geq 1

. Counting factors gives [2] directly:

b^{m} b^{n}

has

m + n

factors. Step 2 — Zero exponent. We want [2] to hold even when one exponent is

0

b^{0} \cdot b^{n} = b^{0 + n} = b^{n} .

Dividing both sides by

b^{n}

(nonzero since

b > 0

) forces

b^{0} = 1

. Step 3 — Negative exponents. Apply [2] with

m = - n

b^{- n} \cdot b^{n} = b^{- n + n} = b^{0} = 1 ⟹ b^{- n} = \frac{1}{b ^{n}} .

Step 4 — Fractional exponents. Apply [4] with the rational

1/ n

raised to the

n

(b^{1/ n})^{n} = b^{(1/ n) \cdot n} = b^{1} = b,

b^{1/ n}

is the (positive)

n

-th root of

b

, and

b^{m / n} = (b^{1/ n})^{m} = n b^{m}

. Step 5 — Irrational exponents. Every irrational

x

is a limit of rationals

q_{k} \to x

. Define

b^{x} = lim_{k \to \infty} b^{q_{k}}

. Continuity guarantees this limit exists, is independent of the sequence chosen, and preserves [2]–[5].

■

Leonhard Euler | 1707–1783

Euler systematized exponential and logarithmic functions in his Introductio in analysin infinitorum (1748). He popularized the symbol $e$ for the natural base, established the series $e^{x} = \sum_{n = 0}^{\infty} x^{n} / n!$ , and forged the link between exponentials and trigonometry through Euler's formula $e^{i θ} = cos θ + i sin θ$ . His treatment turned exponentiation from a computational trick into a central analytic function.

Building Intuition

Think of the exponent as counting doublings (or any fixed factor). With base $2$ : $2^{3} = 8$ means "double three times starting from 1." The law $2^{3} \cdot 2^{4} = 2^{7}$ then just says "doubling 3 times, then 4 more times, is doubling 7 times total" — addition of exponents is the bookkeeping of how many factors you applied.

Negative and fractional exponents extend this story smoothly. $2^{- 1} = \frac{1}{2}$ means "halve once" — undoing a doubling. $2^{1/2} = 2$ means "the factor that, applied twice, doubles" — a half-doubling. The continuous curve $2^{x}$ interpolates all these factor-steps without any jumps.

The deepest intuition: exponential functions are the ones where equal additions to $x$ multiply $y$ by equal factors. Add $1$ to $x$ , multiply $y$ by $b$ . This is the signature of every "per period" process — interest compounding, cells dividing, isotopes decaying.

Exponential growth $y=2^x$ versus decay $y=(1/2)^x$, sharing the value $1$ at $x=0$.

Worked Examples

Compound Interest

Given: \$2000 invested at 6% annual interest, compounded monthly, for 5 years. Find the final balance.

The model is $A = P (1 + \frac{r}{n})^{n t}$ , an exponential function of $t$ .

Step 1 — Identify values.

P = 2000

r = 0.06

n = 12

t = 5

. Step 2 — Base per period.

1 + \frac{0.06}{12} = 1 + 0.005 = 1.005.

Step 3 — Exponent.

n t = 12 \times 5 = 60.

Step 4 — Evaluate using law [4] implicitly (

1.00 5^{60}

A = 2000 \times 1.00 5^{60} = 2000 \times 1.348850 \dots

Step 5 — Compute.

A \approx $2697.70

The investment grew by about \$697.70.

Radioactive Decay and Half-Life

Given: A 80 mg sample of a substance with half-life 12 years. How much remains after 30 years?

The model is $m (t) = m_{0} (\frac{1}{2})^{t / T}$ where $T$ is the half-life.

Step 1 — Identify values.

m_{0} = 80

mg,

T = 12

yr,

t = 30

yr. Step 2 — Exponent.

\frac{t}{T} = \frac{30}{12} = 2.5.

Step 3 — Apply law [6] to split

2.5 = 2 + 0.5

(\frac{1}{2})^{2.5} = (\frac{1}{2})^{2} (\frac{1}{2})^{0.5} = \frac{1}{4} \cdot \frac{1}{2} = \frac{1}{4 2} \approx 0.17678.

Step 4 — Multiply.

m (30) = 80 \times 0.17678 \approx 14.14 mg .

Answer:

m (30) \approx 14.1 mg

Common Misconceptions

Exponents do NOT distribute over addition

A pervasive error is writing $b^{m + n} = b^{m} + b^{n}$ or $(x + y)^{2} = x^{2} + y^{2}$ . The correct law [2] turns a sum in the exponent into a product of values, never a sum:

b^{m + n} = b^{m} \cdot b^{n} \neq = b^{m} + b^{n} .

Likewise

a + b \neq = a + b

. Powers distribute over multiplication ([5]), never over addition.

Testing the false rule

Suppose $(x + y)^{2} = x^{2} + y^{2}$ . Take $x = 3$ , $y = 4$ :

(3 + 4)^{2} = 7^{2} = 49, 3^{2} + 4^{2} = 9 + 16 = 25.

Since

49 \neq = 25

, the rule fails. The missing

24 = 2 x y

is the cross term. Similarly,

2^{1 + 2} = 8

but

2^{1} + 2^{2} = 6

— they differ.

Negative bases break fractional exponents

The restriction $b > 0$ is essential. Consider $(- 8)^{1/3}$ . While $3 - 8 = - 2$ in real arithmetic, the rule [4] would also give $(- 8)^{2/6} = 6 (- 8)^{2} = 664 = 2$ , a contradiction. To keep the laws consistent and the function continuous, exponential functions are defined only for positive bases.

Connections

Exponential functions sit at a crossroads of mathematics:

They are the inverse of Logarithmic Functions: $b^{x} = y ⟺ lo g_{b} y = x$ , so every exponent law mirrors a logarithm law (products become sums).
The slope of $b^{x}$ leads directly into Differential Calculus, where $\frac{d}{d x} e^{x} = e^{x}$ defines the unique self-derivative function.
They generalize Geometric Sequences: $b^{n}$ for integer $n$ is exactly a geometric sequence with ratio $b$ .
Through Euler's Formula, $e^{i θ}$ ties exponentials to Trigonometric Functions and rotation in the complex plane.
They are the solution to the simplest Differential Equations, $y^{'} = k y$ .

Real-World Applications

Exponential functions and the laws of exponents underpin quantitative reasoning across fields:

Compound interest & finance — balances grow as $P (1 + r / n)^{n t}$ ; continuous compounding gives $P e^{r t}$ .
Radioactive dating — carbon-14 decay $N = N_{0} e^{- λ t}$ dates fossils and artifacts up to ~50,000 years.
Population dynamics — unconstrained bacterial or animal populations grow as $P_{0} e^{r t}$ before resources limit them.
Pharmacokinetics — drug concentration in the bloodstream decays exponentially, defining dosing intervals via half-life.
Moore's Law — transistor counts on chips doubled roughly every two years: $N (t) = N_{0} \cdot 2^{t /2}$ .
Richter & decibel scales — earthquake energy and sound intensity use exponential (logarithmic) scaling; each unit is a fixed factor.
Epidemiology — early-stage disease spread grows exponentially with reproduction number $R_{0}$ , as seen in COVID-19 case curves.

Historical Development

c. 2000 BCE — Babylonian tablets list squares, cubes, and compound-interest tables, early exponential thinking.
c. 300 BCE — Euclid's Elements treats geometric proportions, the integer-exponent backbone.
1484 — Nicolas Chuquet uses positive, zero, and negative integer exponents in Triparty.
1544 — Michael Stifel's Arithmetica Integra pairs arithmetic and geometric progressions, foreshadowing logarithms.
1614 — John Napier publishes logarithms, the functional inverse of exponentiation, revolutionizing computation.
1637 — René Descartes introduces the modern superscript notation $x^{3}$ in La Géométrie.
1676 — Isaac Newton extends exponents to fractional and negative values in correspondence on the binomial series.
1748 — Leonhard Euler unifies the theory in Introductio, fixing the constant $e$ and the series for $e^{x}$ .
1873 — Charles Hermite proves $e$ is transcendental, settling the deep nature of the natural base.

Subtleties & Limits

Once exponents move beyond positive reals, subtleties multiply. Complex exponentiation is multivalued: $b^{z} = e^{z l n b}$ depends on which branch of $ln$ one chooses, so $i^{i}$ has infinitely many real values (all $e^{- π /2 + 2 π k}$ ). Even for real inputs, how fast exponentials grow remains a frontier: questions about the irrationality or transcendence of values like $2^{2}$ (resolved by the Gelfond–Schneider theorem, 1934) or the still-unsettled nature of numbers like $e + π$ show how much remains unknown. Meanwhile, iterated exponentiation (tetration, $b^{b^{b^{\dots}}}$ ) lacks a single universally accepted extension to real heights — defining " $b$ raised to a fractional number of times" is an open area of research.