Exponential function

The exponential function is one of the most important functions in mathematics. It is written as exp(x) or e^x (where e is the base of the natural logarithm) and can be defined in two equivalent ways:

               ∞   xn
    exp(x)  =  ∑  ---
               n=0  n!

    exp(x)  =  lim  (1 + x/n)n
               n→∞

(see limit and infinite series). Here n! stands for the factorial of n and x can be any real or complex number, or even any element of a Banach algebra.

If x is real, then exp(x) is positive and strictly increasing. Therefore its inverse function, the natural logarithm ln(x), is defined for all positive x. Using the natural logarithm, one can define more general exponential functions as follows:

     ax = exp(ln(a) x)

for all a > 0 and all real x.

The exponential function also gives rise to the [trigonometric functions]? (as can be seen from Euler's formula) and to the [hyperbolic functions]?. Thus we see that all elementary functions except for the polynomials spring from the exponential function in one way or another.

Exponential functions "translate between addition and multiplication" as is expressed in the following exponential laws:

     a0  =  1
     ax + y  =  ax ay
     a(xy)  =  (ax)y
     ax bx  =  (ab)x

These are valid for all positive real numbers a and b and all real numbers x.

The major importance of the exponential functions in the sciences stems from the fact that they are constant multiples of their own derivatives. If a variable's growth or decay rate is proportional to its size, as is the case in unlimited population growth, continuously compounded interest or radioactive decay, then the variable can be written as a constant times an exponential function of time.

When considered as a function defined on the complex plane, the exponential function retains the properties

    exp'(z)  =  exp(z)

 and

    exp(z + w)  =  exp(z) exp(w)

for all complex numbers (or even Banach algebra elements) z and w. The exponential function is periodic with imaginary period 2πi, and this is the reason that extending the natural logarithm to complex arguments naturally yields a multi-valued function ln(z). We can define a more general exponentiation:

    zw  =  exp(ln(z) w)

for all complex numbers z and w. This is then also a multi-valued function. The above stated exponential laws remain true if interpreted properly as statements about multi-valued functions.

---

/Talk