Exponential function

From Wikipedia, the free encyclopedia

Jump to: navigation, search

The exponential function is a function in mathematics. The application of this function to a value x is written as exp(x). Equivalently, this can be written in the form ex, where e is the mathematical constant that is the base of the natural logarithm (approximately 2.718281828) and that is also known as Euler's number.

The exponential function is nearly flat (climbing slowly) for negative values of x, climbs quickly for positive values of x, and equals 1 when x is equal to 0. Its y value always equals the slope at that point.

As a function of the real variable x, the graph of y = ex is always positive (above the x axis) and increasing (viewed left-to-right). It never touches the x axis, although it gets arbitrarily close to it (thus, the x axis is a horizontal asymptote to the graph). Its inverse function, the natural logarithm, ln(x), is defined for all positive x. In older sources it is often referred as an anti-logarithm which is the inverse function of a logarithm.

Sometimes, especially in the sciences, the term exponential function is more generally used for functions of the form cbx, where b, called the base, is any positive real number, not necessarily e. See exponential growth for this usage.

In general, the variable x can be any real or complex number, or even an entirely different kind of mathematical object; see the formal definition below.


[edit] Overview and motivation

The exponential function is written as an exponentiation of the mathematical constant e because it is equal to e when applied to 1 and obeys the basic exponentiation identity, that is:

\,\exp(1) = e ,
\,\exp(x+y) = \exp(x) \cdot \exp(y) \ .

It is the unique continuous function satisfying these identities for real number exponents. Because of this it can be used to define exponentiation to a non rational exponent.

The exponential function has an analytic continuation which is an entire function, that is it has no singularity over the whole complex plane. The occurrence of the exponential function in Euler's formula gives it a central place when working with complex numbers. The definition has been usefully extended to some non-numeric exponents, for instance as the matrix exponential or the exponential map.

There are a number of other characterizations of the exponential function. The one which mainly leads to its pervasive use in mathematics is as the function for which the rate of change is equal to its value, and which is 1 at 0. In the general case where the rate of change is directly proportional (rather than equal) to the value the resulting function can be expressed using the exponential function as follows:

f'(x) = k f(x) \ ,
f(0) = c \ ,


f(x) = c e^{k x} \ .

If b = ek then this has the form cbx. Exponentiation with a general base b as in bx (called the exponential function with base b) is defined using the exponential function and its inverse the natural logarithm as follows:

\,\!\, b^x=\left(e^{\ln b}\right)^x=e^{x \ln b}.\,

Its use in science is described in exponential growth and exponential decay.

[edit] Formal definition

The exponential function (in blue), and the sum of the first n+1 terms of the power series on the left (in red).

The exponential function ex can be defined, in a variety of equivalent ways, as an infinite series. In particular it may be defined by a power series:

e^x = \sum_{n = 0}^{\infty} {x^n \over n!} = 1 + x + {x^2 \over 2!} + {x^3 \over 3!} + {x^4 \over 4!} + \cdots.

Note that this definition has the form of a Taylor series. Using an alternate definition for the exponential function should lead to the same result when expanded as a Taylor series.

Less commonly, ex is defined as the solution y to the equation

x = \int_{1}^y {dt \over t}.

It is also the following limit:

e^x = \lim_{n \rightarrow \infty} \left(1 + \frac{x}{n}\right)^{n}.

The error term of this limit-expression is described by

\left(1+\frac{x}{n}\right)^n=e^x \left(1-\frac{x^2}{2n}+\frac{x^3(8+3x)}{24n^2}+\dots \right),

where, the polynomial's degree (in x) in the nominator with denominator nk is 2k.

[edit] Derivatives and differential equations

The importance of exponential functions in mathematics and the sciences stems mainly from properties of their derivatives. In particular,

\,{d \over dx} e^x = e^x.

That is, ex is its own derivative and hence is a simple example of a pfaffian function. Functions of the form Kex for constant K are the only functions with that property. (This follows from the Picard-Lindelöf theorem, with y(t) = et, y(0)=K and f(t,y(t)) = y(t).) Other ways of saying the same thing include:

  • The slope of the graph at any point is the height of the function at that point.
  • The rate of increase of the function at x is equal to the value of the function at x.
  • The function solves the differential equation y ′ = y.
  • exp is a fixed point of derivative as a functional.

In fact, many differential equations give rise to exponential functions, including the Schrödinger equation and Laplace's equation as well as the equations for simple harmonic motion.

For exponential functions with other bases:

{d \over dx} a^x = (\ln a) a^x.

A proof being,

y = ax
lny = lnax
lny = xlna
\frac{1}{y} \frac{dy}{dx} = \ln a
\frac{dy}{dx} = (\ln a) y = (\ln a) a^x

Thus, any exponential function is a constant multiple of its own derivative.

If a variable's growth or decay rate is proportional to its size — as is the case in unlimited population growth (see Malthusian catastrophe), continuously compounded interest, or radioactive decay — then the variable can be written as a constant times an exponential function of time.

Furthermore for any differentiable function f(x), we find, by the chain rule:

{d \over dx} e^{f(x)} = f'(x)e^{f(x)}.

[edit] Continued fractions for ex

Via Euler's identity:

\ e^x=1+x+\frac{x^2}{2!}+\cdots=

More advanced techniques are necessary to construct the following:

\ e^{2m/n}=1+\cfrac{2m}{(n-m)+\cfrac{m^2}{3n+\cfrac{m^2}{5n+\cfrac{m^2}{7n+\cfrac{m^2}{9n+\cfrac{m^2}{\ddots}}}}}}\,

Setting m = x and n = 2 yields

\ e^x=1+\cfrac{2x}{(2-x)+\cfrac{x^2}{6+\cfrac{x^2}{10+\cfrac{x^2}{14+\cfrac{x^2}{18+\cfrac{x^2}{\ddots}}}}}}\,

[edit] On the complex plane

Exponential function on the complex plane. The transition from dark to light colors shows that the magnitude of the exponential function is increasing to the right. The periodic horizontal bands indicate that the exponential function is periodic in the imaginary part of its argument.

As in the real case, the exponential function can be defined on the complex plane in several equivalent forms. Some of these definitions mirror the formulas for the real-valued exponential function. Specifically, one can still use the power series definition, where the real value is replaced by a complex one:

\,\!\, e^z = \sum_{n = 0}^\infty\frac{z^n}{n!}

Using this definition, it is easy to show why {d \over dz} e^z = e^z holds in the complex plane.

Another definition extends the real exponential function. First, we state the desired property ex + iy = exeiy. For ex we use the real exponential function. We then proceed by defining only: eiy = cos(y) + isin(y). Thus we use the real definition rather than ignore it.[1]

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

\,\!\, e^{z + w} = e^z e^w
\,\!\, e^0 = 1
\,\!\, e^z \ne 0
\,\!\, {d \over dz} e^z = e^z

for all z and w.

It is a holomorphic function which is periodic with imaginary period \,2 \pi i and can be written as

\,\!\, e^{a + bi} = e^a (\cos b + i \sin b)

where a and b are real values. This formula connects the exponential function with the trigonometric functions 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.

See also Euler's formula.

Extending the natural logarithm to complex arguments yields a multi-valued function, ln(z). We can then define a more general exponentiation:

\,\!\, z^w = e^{w \ln z}

for all complex numbers z and w. This is also a multi-valued function. The above stated exponential laws remain true if interpreted properly as statements about multi-valued functions. Because it is multi-valued the rule about multiplying exponents for positive real numbers doesn't work in general:

\,\!\, (e^z)^w \ne e^\left(z w\right)

See failure of power and logarithm identities for more about problems with combining powers.

The exponential function maps any line in the complex plane to a logarithmic spiral in the complex plane with the center at the origin. Two special cases might be noted: when the original line is parallel to the real axis, the resulting spiral never closes in on itself; when the original line is parallel to the imaginary axis, the resulting spiral is a circle of some radius.

[edit] Computation of exp(z) for a complex z

This is fairly straightforward given the formula

\,e^{x + yi} = e^xe^{yi} = e^x(\cos(y) + i \sin(y)) = e^x\cos(y) + ie^x\sin(y).

Note that the argument y to the trigonometric functions is real.

[edit] Computation of ab where both a and b are complex

Complex exponentiation ab can be defined by converting a to polar coordinates and using the identity (eln(a))b = ab:

\,a^b = (re^{{\theta}i})^b = (e^{\ln(r) + {\theta}i})^b = e^{(\ln(r) + {\theta}i)b}.

However, when b is not an integer, this function is multivalued, because θ is not unique (see failure of power and logarithm identities).

[edit] Matrices and Banach algebras

The definition of the exponential function given above can be used verbatim for every Banach algebra, and in particular for square matrices (in which case the function is called the matrix exponential). In this case we have

\,\ e^{x + y} = e^x e^y \mbox{ if } xy = yx
\,\ e^0 = 1
\,\ e^x is invertible with inverse \,\ e^{-x}
the derivative of \,\ e^x at the point \,\ x is that linear map which sends \,\ u to \,\ ue^x.

In the context of non-commutative Banach algebras, such as algebras of matrices or operators on Banach or Hilbert spaces, the exponential function is often considered as a function of a real argument:

\,\ f(t) = e^{t A}

where A is a fixed element of the algebra and t is any real number. This function has the important properties

\,\ f(s + t) = f(s) f(t)
\,\ f(0) = 1
\,\ f'(t) = A f(t)

[edit] On Lie algebras

The exponential map sending a Lie algebra to the Lie group that gave rise to it shares the above properties, which explains the terminology. In fact, since R is the Lie algebra of the Lie group of all positive real numbers with multiplication, the ordinary exponential function for real arguments is a special case of the Lie algebra situation. Similarly, since the Lie algebra M (n, R) of all square real matrices belongs to the Lie group of all invertible square matrices, the exponential function for square matrices is a special case of the Lie algebra exponential map. In general, when the argument of the exponential function is noncommutative, the formula is given explicitly by the Baker-Campbell-Hausdorff formula.

[edit] Double exponential function

The term double exponential function can have two meanings:

  • a function with two exponential terms, with different exponents
  • a function f(x) = aax; this grows even faster than an exponential function; for example, if a = 10: f(−1) = 1.26, f(0) = 10, f(1) = 1010, f(2) = 10100 = googol, ..., f(100) = googolplex.

Factorials grow faster than exponential functions, but slower than double-exponential functions. Fermat numbers, generated by \,F(m) = 2^{2^m} + 1 and double Mersenne numbers generated by \,MM(p) = 2^{(2^p-1)}-1 are examples of double exponential functions.

[edit] Similar properties of e and the function ez

The function ez is not in C(z) (ie. not the quotient of two polynomials with complex coefficients).

For n distinct complex numbers {a1,..., an}, {ea1z,..., eanz} is linearly independent over C(z).

The function ez is transcendental over C(z).

[edit] See also

[edit] References

  1. ^ Ahlfors, Lars V. (1953). Complex analysis. McGraw-Hill Book Company, Inc.. 

[edit] External links

Personal tools