1
$\begingroup$

I find the exponential function extremely hard to grasp from a rigorous point of view. For example, I want to show that $0 \le e^x \le 1$ for $x \in \mathbb{R}_{\le 0}$.

  1. First, if $x = 0$, then $e^x = e^0 = \Sigma_{n=1}^\infty \frac{0^n}{n!}= 0 + \frac{0^2}{2} + \ldots = 0$.

  2. Otherwise if $x < 0$ then we have

$e^x = \Sigma_{n=1}^\infty \frac{x^n}{n!}= x + \frac{x^2}{2} + \frac{x^3}{6} \ldots$

Now clearly the odd terms in this sequence are negative while the even terms of this sequence are positive. But it's not clear to me why this sequence will always be bounded by $1$. For example, if we took out the negative terms the sequence could certainly be larger than $1$ (so we can't bound $e^x$ by its positive terms).

What then are then some useful bounds with the exponential function to solve problems like this and related problems? What if we fixed $t > 0$ and considered for example $e^{tx}$?

  • 0
    By the way, all of this is done rigorously in the relevant chapter of Ahlfors. I'm sure there's a more accessible source, but I can't think of one off the top of my head.2012-10-29

1 Answers 1

2

Short answer: If you believe (*) $e^{x+y} = e^x e^y$, in particular for any $a > 0$ we have $e^{a + -a} = 1 \Rightarrow e^{-a} = \frac{1}{e^a}$, so it suffices to show $e^{a} > 1$ which is clear (first term is already 1, rest are all positive in the power series).

Slightly more: a big motivation for introducing the exponential function at all is that a priori real numbers under addition, and positive reals under multiplication are very different things. $exp$ furnishes an "isomorphism" of "groups" between them that's continuous and normalized nicely. So it helps (me at least) to keep in mind the "purpose" of the exponential function, even when working with it rigorously.

To see ($*$), there's a lovely fact that power series converge absolutely where they converge at all, so you're free to shuffle terms around in the most naive way. With this, I claim you can check (*) directly by binomially expanding $(x+y)^k$ in each term of $e^{x+y}$. It's a good exercise! Hope that helps.