Exponential function: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Milton Beychok
(Deleted categories at Edit page bottom. See discussion in Talk:Logarithm and User talk:Dmitrii Kouznetsov))
imported>Milton Beychok
m (Added more emphasis (by using bold font) to parts of the opening sentence.)
Line 1: Line 1:
{{subpages}}
{{subpages}}
The '''exponential function''' of ''z'', denoted by exp(z) or ''e''<sup>''z''</sup>, can be defined as the solution of the differential equation
The '''exponential function''' of <math>z</math>, denoted by <math> \exp(z)</math> or <font style="vertical-align:+10%;"><math>e^z</math></font>, can be defined as the solution of the differential equation
: <math> \exp^{\prime}(z)\equiv \frac{d e^z}{dz}=\exp(z)</math>
: <math> \exp^{\prime}(z)\equiv \frac{d e^z}{dz}=\exp(z)</math>
with the additional condition  
with the additional condition  

Revision as of 12:45, 29 December 2008

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

The exponential function of , denoted by or , can be defined as the solution of the differential equation

with the additional condition

The study of the exponential function began with Leonhard Euler around 1730.[1] Since that time, it has had wide applications in technology and science; in particular, exponential growth is described with such functions.

Properties

The exponential is an entire function.

For any complex p and q, the basic property holds:

The definition allows to calculate all the derivatives at zero; so, the Taylor expansion has the form

where means the set of complex numbers. The series converges for any complex . In particular, the series converges for any real value of the argument.

Inverse function

The inverse function of the exponential is the logarithm; for any complex , the relation holds:

Exponential also can be considered as inverse of logarithm, while the imaginary part of the argument is smaller than :

When the logarithm has a cut along the negative part of the real axis, exp can be considered.

Number e

is widely used in applications; this notation is commonly accepted. Its approximate value is

Failed to parse (syntax error): {\displaystyle {\rm e}=\exp(1) \approx 2.71828 18284 59045 23536}

Periodicity and relation with sin and cos functions

Exponential is periodic function; the period is :

The exponential is related to the trigonometric functions sine and cosine by de Moivre's formula:

Generalization of exponential

in the complex plane for some real values of .
versus for some real values of .

The notation is used for the exponential with scaled argument;

Notation is used for the iterated exponential:

For non-integer values of , the iterated exponential can be defined as

where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{sexp}_b(z) } is function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} satisfying conditions

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(z+1)=\exp_b\!\Big(F(z)\Big)}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(0)=1}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(z)~ \mathrm{ ~is~ holomorphic~ and~ bounded~ at}~ |\Re(z)|<1}

The inverse function is defined with condition

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F\Big(F^{-1}(z)\Big)=z}

and, within some range of values of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z}

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F^{-1}\Big(F(z)\Big)=z}

If in the notation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exp_b^c} the superscript is omitted, it is assumed to be unity; for example Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exp_b^1=\exp_b} . If the subscript is omitted, it is assumed to be Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{e}} , id est, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exp^c=\exp_\mathrm{e}^c}

Function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f=\exp^c(z)} is shown in figure with levels of constant real part and levels of constant imaginary part. Levels Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Re(f)=-3,-2,-1,0,1,2,3,4,5,6,7,8,9} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Im(f)=-3,-2,-1,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14} are drown with thick lines. Red corresponds to a negative value of the real or the imaginaryt part, black corresponds to zero, and blue corresponds to the positeive values. Levels Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Re(f)=-0.2, -0.4, -0.6, -0.8} are shown with thin red lines. Levels are shown with thin green lines. Levels and Levels are marked with thick green lines, where is fixed point of logarithm. At non-integer values of , and are branch points of function ; in figure, the cut is placed parallel to the real axis. At there is an additional cut which goes along the negative part of the real axis. In the figure, the cuts are marked with pink lines.

For real values of the argument, function is ploted in figure versus for values .
in programming languages, inverse function of exp is called log.

For logarithm on base e, notation ln is also used. In particular, , and so on.

References

  1. William Dunham, Euler, the Master of us all, MAA (1999) ISBN 0-8835-328-0. Pp. 17-37.
  • Ahlfors, Lars V. (1953). Complex analysis. McGraw-Hill Book Company, Inc..
  • H.Kneser. ``Reelle analytische Losungen der Gleichung und verwandter Funktionalgleichungen. Journal fur die reine und angewandte Mathematik, 187 (1950), 56-67.