MA101.12 The exponential functions

We define

\exp{x} = 1 +x+\frac{x^2}{2!}+\frac{x^3}{3!}+...+\frac{x^n}{n!}+... which in fact converges \forall x \in \mathbb{R}.

\begin{aligned} \exp{x} \cdot  \exp{y} &= (1 +x+\frac{x^2}{2!}+...)(1 +y+\frac{y^2}{2!}+...) \\&= 1 +x+y+\frac{x^2}{2!}+xy+\frac{y^2}{2!}+...+\frac{x^n}{n!}+\frac{x^{n-1}y}{n-1!}+\frac{x^{n-2}y^2}{(n-2)!2!}+...+\frac{y^2}{2!}+... \\&= 1 +(x+y)+\frac{(x+y)^2}{2!}+...+\frac{(x+y)^n}{n!}+... \\&= \exp{(x+y)} \end{aligned}

We have assumed that we can multiply infinite series as if they were finite algebraic expressions. This is not always true, but it is for convergent power series.

The relationship \exp{x}\cdot\exp{y} = \exp{(x+y)} leads us to write \exp{x}=e^x so that e^x\cdot e^y = e^{x+y}.

Note, \exp{1} = e^1 = e = 1+1+\frac{1}{2!}+\frac{1}{3!}+...

On the assumption that a power series can be differentiated term by term \frac{d e^x}{dx} = 0 + 1 +\frac{x^2}{2!}+...=e^x.

Properties of exp

The graph of y=e^x is as shown, (with series definition this is not easy to see), but there is some evidence from the property e^{x_1}\cdot e^{x_2}=e^{x_1+x_2}

Observe from the graph the properties:

  1. \displaystyle \lim_{x\to\infty}e^x=\infty.
  2. \displaystyle \lim_{x\to-\infty}e^x=0.
  3. \forall x, e^x >0.
  4. e^x is continuous everywhere.
  5. D(e^x)=\mathbb{R}.
  6. e^x is an injection (or one to one).
    ie. x_1 \neq x_2 \Rightarrow f(x_1) \neq f(x_2).

This means there will be an inverse function. We call it the log function. We have \log{y} equal to the unique x such that y=e^x.

y=e^x and x=\ln{y} mean of course the same thing. The graph of y=\ln{x} will be a reflection of y=e^x in the line y=x.

Note that the domain of ln = range of exp = \mathbb{R}^+.

Properties of ln
  1. If y=\ln{x} then x=e^y, so \frac{dx}{dy} = e^y.
    Therefore, \frac{dy}{dx} = \frac{1}{\frac{dx}{dy}} = \frac{1}{e^y} = \frac{1}{x}.
  2. \ln{x} is an injection.
    Proof:
    Let \ln{x}=\ln{y}.
    Put \ln{x}=p and \ln{y}=p.
    So, e^p=x and e^p=y.
    Whence x=y.
  3. \forall x, x=e^{\ln{x}}.
    Proof:
    Let y=e^{ln{x}}.
    Then \ln{y} = \ln{x}.
    Whence x=y by 2.
    So, x=e^{\ln{x}}.
  4. \ln{xy}=\ln{x}+\ln{y}.
    Proof:
    \begin{aligned} \ln{xy}&=\ln{e^{\ln{x}}\cdot e^{\ln{y}}} \\&= \ln{e^{\ln{x}+\ln{y}}} \\ xy &= e^{ln{x}+\ln{y}} \\ \mbox{Hence}\; \ln{x}+\ln{y} &= \ln{xy} \end{aligned}.
  5. \forall a \in \mathbb{R}^+
    (i) if  m in an integer then a^m = m\ln{a}.
    (ii) if \frac{m}{n} is in \mathbb{Q}, then equally we have \ln{a\frac{m}{n}}=\frac{m}{n}\ln{a}. (a^{\frac{m}{n}} \mbox{ means } \sqrt[n]{a^m}.
Definition

For a \in \mathbb{R}^+ and x \in \mathbb{R} we define a^x = e^{x\ln{a}}.

For example 3^{\sqrt{2}}=e^{\sqrt{2}\ln{3}}.

Note that this definition fits in with the usual one when x is rational.

For fixed a \in \mathbb{R}^+, a^x is a function.

Note: \frac{d(a^x)}{dx} = \frac{d(e^{\ln{a^x}}}{dx} = \frac{d(e^{x\ln{a}})}{dx} = \ln{a(e^{x\ln{a}})} = a^x\ln{a}.

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.