After *addition*, *multiplication* (serial addition), *subtraction* (addition in reverse), and *division* (inverse multiplication), comes ** exponentiation** (serial multiplication). Most of us learned about the basic

**stuff in school — it just means**

*x*²*x-times-x*. Likewise,

**just means**

*x*³*x-times-x-times-x*. Serial multiplication. No problem.

But sometimes it’s ** x⁻²** or

**, and it’s hard to see how those work as**

*x*^{½}*x-times-x-etc*. As it turns out, they, and much more, can be understood based on a

**single axiom**:

Which is the rule behind the basic understanding you already have. The exponent says how many times to multiply a value times itself. Put in formal math terms, it looks like this:

From this axiom we can very easily derive the **first theorem**:

Any number to the power of one is just that number because there is only one instance of it in the multiply chain.

We can also derive something so important that it’s often presented as a second axiom (but here is treated as a derived theorem):

Because:

The multiply chain can be broken into two parts consisting of ** a**–

*count*instances and

**b**–

*count*instances (where

**). Those two parts are obviously multiplied together, so we**

*a*+*b*=*n**derive*the

**second theorem**:

It’s perfectly possible to treat this and the first theorem above as the axioms and derive the axiom shown above (along with everything else). Doing it this way requires defining two axioms because we need the first theorem above as the seed:

This generalizes to the basic axiom we started with above (making it a derived theorem).

We derive another key equality by noting that (by addition and the first theorem):

And therefore (using the second theorem):

If we divide the last two terms by ** x¹** (which, per the first theorem, is just

**)…**

*x*…we end up with the very important **third theorem**:

Any number raised to the power of zero is just one. The exception is **0⁰** because analysis leads to contradictions: For all non-zero exponents, **0 ⁿ=0**, but according to the third theorem,

**0⁰=1**. So, in some math circles,

**0⁰**is considered undefined (like division by zero).

Alternately, we can accept that **0 ⁿ** is a weird function that acts somewhat like the Dirac Delta function. It returns zero for all

**except zero, where it returns one. The justification comes from viewing any multiplication as starting with the multiplicative identity (one) and then applying successive multiplications. Then**

*n***3×42**is viewed as first taking one to three (1×3) and then taking three to 126 (3×42). This seems redundant with regular numbers but makes more sense where multiplication is abstracted to other types of numbers.

Note that **0 ⁿ** can be made to trigger on other values of

**, just like the Dirac Delta:**

*n*Which returns zero for all ** x** except

**(for some**

*n*–*x*=0**). But, of course, this requires an algebra where**

*n***0⁰=1**. (The Windows 10 calculator does.)

The theorem for ** x⁰** lets us derive a rule that might be surprising. We start by noting that:

By subtraction and the third theorem. If we re-express this as:

Then we then can invoke the second theorem to say:

If we divide the last two terms by ** xⁿ** (similar to how we did it just above), we have the

**fourth theorem**:

Which says that negative exponents are the inverses of positive ones. A negative exponent just means *“one-over”* the positive version.

We can also derive what happens with non-integer exponents. We’ll start with a simple example by first noting that:

By addition and the first theorem. As we’ve done above, we can invoke the second theorem to give us:

And if we take the square root of the last two terms, we get a special case of the **fifth theorem**:

We can make this more general by starting with:

Where the fraction **1/ n** is repeated

**times, and then, using the second theorem:**

*n*Using the same logic as above (taking the ** n^{th}** root of last two terms) we get the general case of the

**fifth theorem**:

So fractional exponents (with a numerator of one) give us roots.

Finally, recursive exponents such as:

Note that, by the initial axiom:

And each ** x^{a}** expands to:

So, we have ** x** times itself

**times, times itself**

*a***times, which is just**

*b***times**

*a***in terms of total instances of**

*b***. This gives us the**

*x***sixth theorem**:

Note that ** a** and

**commute here because multiplication commutes. Recursive exponents just multiply. This works nicely in reverse. For instance:**

*b*Which can be very helpful with fractional exponents that have numerators other than one.

Amazing the theorems we can derive from that initial axiom, eh?

With regard to that last example, we have the general case:

Where the

function returns the integer part of the division, and the **int**

function returns the remainder. Using the second theorem, we get:**rem**

Which we can simply to:

Which means any fractional exponent can be divided into an integer and a remaining fraction. Note that ** n** can be zero, and

**0 <=**. See the chart below for an idea of how that plays out.

*r*< 1.0In some cases, the fraction is the sum of one or more roots. Then the exponent, ** r**, is the sum of a finite set of rational numbers in the form

**1/**. In the simplest case, the fraction is

*q***1/2**, which is the square root of

**. [See the fifth theorem above.]**

*x*But we could also have:

Which is a simple example with just two roots. Other fractions can more involved, requiring lots of roots. The general form is:

Where ** a,b,c,d,e,… ∈ {0, 1}**. A coefficient is one if the root should be included in the sum, otherwise zero. A real exponent requires an infinite sum, but a rational exponent is a finite sum of the above series.

Lastly, here are some useful equalities. Just take them on faith for now. They’re all based on this general one:

This can be useful if you have a large number in exponential form and want to convert it to a more familiar form (or just a form compatible with some other exponential number). For example, we can convert between the natural logarithm and the more familiar base ten:

It’s also useful for translating large powers of two into (or from) base ten:

Note that the ** log(base)** term in the exponent is just a constant. Note also that, in the two pairs above, the constants are the inverse of each other.

Basically, `log`

is a function that reverses exponentiation:

Which means:

We see the utility of the log function when we combine the above with the second theorem:

Logs let us do products by doing (much easier) sums. They’re how slide rules work.

Here’s a little table that illustrates the above theorems and shows a progression from very small values to vary large:

This | Equals | Because |
---|---|---|

x⁻³ | 1/(x⋅x⋅x) | 4th theorem |

x⁻² | 1/(x⋅x) | 4th theorem |

x⁻¹ | 1/(x) | 4th theorem |

x⁻¹⸍² | 1/(²√x) | 4th+5th theorem |

x⁻¹⸍³ | 1/(³√x) | 4th+5th theorem |

x⁻¹⸍⁴ | 1/(⁴√x) | 4th+5th theorem |

x⁰ | 1 | 3rd theorem |

x⁺¹⸍⁴ | ⁴√x | 5th theorem |

x⁺¹⸍³ | ³√x | 5th theorem |

x⁺¹⸍² | ²√x | 5th theorem |

x⁺³⸍⁴ | ²√x⋅⁴√x | x⁺¹⸍²⋅x⁺¹⸍⁴ |

x⁺¹ | x | 1st theorem |

x⁺³⸍² | x⋅²√x | x⁺¹⋅x⁺¹⸍² |

x⁺² | x⋅x | initial axiom |

x⁺⁵⸍² | x⋅x⋅²√x | x⁺²⋅x⁺¹⸍² |

x⁺³ | x⋅x⋅x | initial axiom |

The actual values, of course, depend on the value of ** x**.

### The Exponential Function

An examination of exponents wouldn’t be complete without a few words about the *exponential function*:

It’s formally defined:

Which expands to the conceptually infinite series:

Or, evaluating what we can:

What’s great about this definition is that for ** x** we can plug in anything with a multiplication operation — complex numbers, even matrices. Each appearance of

**here has a positive integer power, so each appearance is just**

*x***times itself some number of times (including zero and one). This makes the exponential function widely applicable.**

*x*It’s common in complex math where it’s one side of **Euler’s Formula**:

This is the source of **Euler’s Identity**, which has been called the most beautiful equation in math:

See the *Beautiful Math* post for an overview. Also see *Circular Math* and *Sideband #70: The exp Function* for more on the exponential function.

It’s worth digging into the mechanics of taking the derivative of the exponential function. It begins with the basic fact that the derivative of the exponential function ** is** the exponential function:

The slope of ** e^{x}** at

**is always just**

*x***. Note this is true when the exponent is just**

*e*^{x}**. (We’ll sort of see why below.) If the exponent is an**

*x**expression containing*

**, then the expression is a**

*x**function*of

**, and the chain rule applies.**

*x*The chain rule is:

If a function, **f**, depends on a sub-function, **g**, multiply the derivative of the outer function times the derivative of the inner function.

To see how this works, we can see what happens when we apply the chain rule to the basic exponential function (which we know derives to itself). We’ll treat the plain ** x** in the exponent as a function,

**g(**, that just returns

*x*)**:**

*x*Applying the chain rule and setting ** u=g(x)** to simplify the exponential:

Since the derivative of ** x** is just

**1**, we end up with, as expected, the original exponential. Rearranged a bit, this is a basic formula for deriving the exponential function:

Where ** u** is some expression containing (at least one occurrence of)

**. Just take the derivative of that expression and multiply it to the exponential.**

*x*With that understanding, let’s try this:

Because the derivative of **2 x** is just

**2**.

Here’s one with a *square* of ** x**, such as appears in the Gaussian exponential function:

Because the derivative of ** x²** is

**2**.

*x*If there was a constant in front of the exponential, it just gets multiplied by the derived exponent:

We can break this down as an instance of the product rule, which is:

But since ** a** is a constant, it derives to zero, so:

Which gives us the result shown above.

Finally, note that, since a constant derives to zero, an exponential function with a constant exponent also derives to zero:

Hopefully this helps make it clear how to derive more involved exponential functions!

(more to come).

November 18th, 2022 at 5:05 pm

LaTeX Bonanza! 😁