[Math] How to Determine a Power Series Represents an Exponential Function

calculusexponential functionpower series

Suppose I define the function
$$
f(x) = \sum_{n = 0}^\infty \frac{x^n}{n!}.
$$
Is there anything I can directly observe about the power series to conclude that it is the expansion of an exponential function?

Noting that $f^\prime(x) = f(x)$ and concluding $f(x) = e^x$ is not quite what I have in mind. Rather, I'm hoping there is some observation that would first allow me to conclude $f(x) = a^x$ for some $a > 0$. Having discovered a very special base for an exponential, I would then define $e = \sum_{n=0}^\infty \frac{1}{n!}$.

Best Answer

You can directly show that the power series for $f$ satisfies $f(x+y) = f(x)f(y)$. Note that the coefficient of $x^iy^j$ on both sides equals $\frac{1}{i!j!} = \frac{1}{(i+j)!}\binom{i+j}{i}$. This property is saying that $f$ is a homomorphism from the additive reals onto the multiplicative group of nonzero reals.

It is straightforward to check by induction that this guarantees that $f(n) = f(1)^n$ and $f(1/n) = f(1)^{1/n}$. More generally, we have that $f(q) = f(1)^q$ for all rational numbers $q$. Since $f(x)$ is continuous, it therefore must be equal to $f(1)^x$.

Related Question