Exponential function: Difference between revisions

Content deleted Content added
Correct statement about exponential maps on Banach algebras; mention exponential map on Lie algebras
p-adics, holomorphic, never equal to zero, more exponential laws
Line 5:
exp(''x'') = ∑ ---
 
''n''=0 ''n''!
 
 
Line 15:
''n''→∞
 
(see [[limit]] and [[Infinite Series|infinite series]]). Here ''n''! stands for the [[factorial]] of ''n'' and ''x'' can be any [[real number|real]] or [[complex number|complex]] number, or even any element of a [[Banach algebra]] or the field of [[p-adic numbers|<i>p</i>-adic numbers]].
 
 
Line 23:
 
 
:''a''<sup>''x''</sup> = exp(ln(''a'') ''x'')
 
 
Line 31:
 
The exponential function also gives rise to the [[trigonometric functions]] (as can be seen from [[Eulers formula in complex analysis|Euler's formula]]) and to the [[hyperbolic functions]]. Thus we see that all elementary functions except for the [[polynomial|polynomials]]s spring from the exponential function in one way or another.
 
 
Line 39:
 
 
:''a''<sup>0</sup> = 1
 
:''a''<sup>''x'' + ''y''1</sup> = ''a''<sup>''x''</sup> ''a''<sup>''y''</sup>
 
:''a''<sup>(''xyx'' + ''y'')</sup> = (''a''<sup>''x''</sup>) ''a''<sup>''y''</sup>
 
:''a''<sup>(''xxy'')</sup> = (''ba''<sup>''x''</sup> = (''ab'')<sup>''xy''</sup>
 
:1 d/d''x'' ''a''<sup>''bxx''</sup> = ln(1/''a'') <sup>''bx''</sup> = ''a''<sup>-''bxx''</sup>.
 
:''a''<sup>''x''</sup> ''b''<sup>''x''</sup> = (''ab'')<sup>''x''</sup>
 
These are valid for all positive real numbers ''a'' and ''b'' and all real numbers ''x''.
 
 
These are valid for all positive real numbers ''a'' and ''b'' and all real numbers ''x''. Expressions involving fractions and roots can often be simplified using exponential notation because
 
:1 / ''a'' = ''a''<sup>-1</sup>
The major importance of the exponential functions in the sciences stems from the fact that they are constant multiples of their own [[derivative]]s:
 
:&radic; ''a'' = ''a''<sup>1/2</sup>
 
:<sup>''n''</sup>&radic; ''a'' = ''a''<sup>1/''n''</sup>
 
d/d''x'' ''a''<sup>''bx''</sup> = ln(''a'') ''b'' ''a''<sup>''bx''</sup>.
 
 
The major importance of the exponential functions in the sciences stems from the fact that they are constant multiples of their own [[derivative|derivatives]]s:
 
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.
 
 
:d/d''x'' ''a''<sup>''bx''</sup> = ln(''a'') ''b'' ''a''<sup>''bx''</sup>.
 
When considered as a function defined on the complex plane (or even on a commutative Banach algebra), the exponential function retains the properties
 
 
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.
 
exp'(''z'') = exp(''z'')
 
 
When considered as a function defined on the complex plane (or even on a commutative Banach algebra or the ''p''-adic numbers), the exponential function retains the important properties
 
and
 
 
:exp(''z'' + ''w'') = exp(''z'') exp(''w'')
 
:exp(''z'' + ''w''0) = exp(''z'') exp(''w'')1
 
:exp(''z'') &ne; 0
 
:exp'(''z'') = exp(''z'')
 
 
for all ''z'' and ''w''. The exponential function on the complex plane
 
for all ''z'' and ''w''. The exponential function on the complex plane is a [[holomorphic function]] which
 
is periodic with imaginary period 2&pi;''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:
Line 87 ⟶ 95:
 
 
:''z''<sup>''w''</sup> = exp(ln(''z'') ''w'')
 
 
Line 101 ⟶ 109:
 
 
:''f''(''t'') = exp(''t'' ''A'')
 
 
Line 109 ⟶ 117:
 
 
:''f''(''s'' + ''t'') = ''f''(''s'') ''f''(''t'')
 
:''f''(0) = 1
 
:d/d''t'' ''f''(''t'') = ''A'' ''f''(''t'')
 
 
 
The "exponential map" sending a [[Lie algebra]] to the [[Lie group]] that gave rise to it hasshares the samethese properties, which explains the terminology.